Madagascar 0.99999 25/02/2015 09:45:59 amd64 1-core (no VSIDS)
Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-8.pddlignoring --stats
ignoring --verbose

Domain: mystery-strips
Problem: strips-mysty-x-8
Parser: 6372 ground actions and 513 state variables
Invariants: 0 1 2 3 4 5 6 7 8  0.06 secs
Goal: conjunctive
Simplified: 2970 ground actions and 291 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.03 secs (max SCC size 15)
Plan type: E-step
				Allocated 32 MB permanent (total 143 MB)
Horizon 5: 17876 variables
				Allocated 32 MB (total 254 MB)
5 UNSAT (22 decisions 20 conflicts)
Horizon 7: 24910 variables
Horizon 10: 35461 variables
7 UNSAT (140 decisions 110 conflicts)
Horizon 14: 49529 variables
Horizon 20: 70631 variables
Horizon 28: 98767 variables
Horizon 40: 140971 variables
Horizon 56: 197243 variables
Horizon 80: 281651 variables
Horizon 113: 397712 variables
				Allocated 32 MB permanent (total 1159 MB)
Horizon 160: 563011 variables
Horizon 226: 795133 variables
				Allocated 32 MB (total 1315 MB)
				Allocated 32 MB permanent (total 1489 MB)
Horizon 320: 1125731 variables
				Allocated 32 MB permanent (total 1692 MB)
Horizon 452: 1589975 variables
				Allocated 32 MB (total 1724 MB)
				Allocated 32 MB permanent (total 1965 MB)
Horizon 640: 2251171 variables
				Allocated 32 MB (total 1997 MB)
				Allocated 32 MB (total 2029 MB)
				Allocated 32 MB permanent (total 2326 MB)
				Allocated 32 MB permanent (total 2358 MB)
Horizon 905: 3183176 variables
				Allocated 32 MB (total 2390 MB)
				Allocated 32 MB permanent (total 2764 MB)
				Allocated 32 MB permanent (total 2796 MB)
				Allocated 32 MB permanent (total 2828 MB)
Horizon 1280: 4502051 variables
				Allocated 32 MB (total 2860 MB)
				Allocated 32 MB (total 2892 MB)
				Allocated 32 MB (total 2924 MB)
				Allocated 32 MB (total 2956 MB)
				Allocated 32 MB permanent (total 3441 MB)
				Allocated 32 MB permanent (total 3473 MB)
				Allocated 32 MB permanent (total 3505 MB)
Horizon 1810: 6366061 variables
				Allocated 32 MB (total 3537 MB)
				Allocated 32 MB (total 3569 MB)
				Allocated 32 MB (total 3601 MB)
				Allocated 32 MB (total 3633 MB)
				Allocated 32 MB permanent (total 4274 MB)
				Allocated 32 MB permanent (total 4306 MB)
				Allocated 32 MB permanent (total 4338 MB)
				Allocated 32 MB permanent (total 4370 MB)
				Allocated 32 MB permanent (total 4402 MB)
				Allocated 32 MB permanent (total 4434 MB)
Horizon 2560: 9003811 variables
				Allocated 32 MB (total 4466 MB)
				Allocated 32 MB (total 4498 MB)
				Allocated 32 MB (total 4530 MB)
				Allocated 32 MB (total 4562 MB)
				Allocated 32 MB (total 4594 MB)
				Allocated 32 MB (total 4626 MB)
				Allocated 32 MB (total 4658 MB)
				Allocated 32 MB (total 4690 MB)
				Allocated 32 MB (total 4722 MB)
				Allocated 32 MB (total 4754 MB)
				Allocated 32 MB (total 4786 MB)
				Allocated 32 MB (total 4818 MB)
				Allocated 32 MB (total 4850 MB)
				Allocated 32 MB (total 4882 MB)
10 UNSAT (1635 decisions 1196 conflicts)
				Allocated 32 MB (total 4914 MB)
				Allocated 32 MB (total 4946 MB)
				Allocated 32 MB (total 4978 MB)
				Allocated 32 MB (total 5010 MB)
				Allocated 32 MB (total 5042 MB)
				Allocated 32 MB (total 5074 MB)
				Allocated 32 MB (total 5106 MB)
				Allocated 32 MB (total 5138 MB)
				Allocated 32 MB (total 5170 MB)
				Allocated 32 MB (total 5202 MB)
				Allocated 32 MB (total 5234 MB)
				Allocated 32 MB (total 5266 MB)
				Allocated 32 MB (total 5298 MB)
				Allocated 32 MB (total 5330 MB)
				Allocated 32 MB (total 5362 MB)
				Allocated 32 MB (total 5394 MB)
				Allocated 32 MB (total 5426 MB)
				Allocated 32 MB (total 5458 MB)
				Allocated 32 MB (total 5490 MB)
				Allocated 32 MB (total 5522 MB)
				Allocated 32 MB (total 5554 MB)
				Allocated 32 MB (total 5586 MB)
				Allocated 32 MB (total 5618 MB)
				Allocated 32 MB (total 5650 MB)
				Allocated 32 MB (total 5682 MB)
				Allocated 32 MB (total 5714 MB)
				Allocated 32 MB (total 5746 MB)
				Allocated 32 MB (total 5778 MB)
				Allocated 32 MB (total 5810 MB)
				Allocated 32 MB (total 5842 MB)
				Allocated 32 MB (total 5874 MB)
				Allocated 32 MB (total 5906 MB)
				Allocated 32 MB (total 5938 MB)
				Allocated 32 MB (total 5970 MB)
				Allocated 32 MB (total 6002 MB)
				Allocated 32 MB (total 6034 MB)
				Allocated 32 MB (total 6066 MB)
				Allocated 32 MB (total 6098 MB)
				Allocated 32 MB (total 6130 MB)
				Allocated 32 MB (total 6162 MB)
				Allocated 32 MB (total 6194 MB)
				Allocated 32 MB (total 6226 MB)
						GC: 1626.03 MB

