Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-101.pddlignoring --stats
ignoring --verbose

Domain: blocks
Problem: blocks-50-0
Parser: 5100 ground actions and 2651 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14  5.78 secs
Goal: conjunctive
Simplified: 5100 ground actions and 2651 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 3.12 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 181 MB)
Horizon 0: 2651 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 41406 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 80161 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 118916 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 157671 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 196426 variables
25 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 802 MB)
Horizon 30: 235181 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 273936 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 312691 variables
40 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1118 MB)
Horizon 45: 351446 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 390201 variables
50 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1351 MB)
Horizon 55: 428956 variables
55 UNSAT (0 decisions 0 conflicts)
Horizon 60: 467711 variables
				Allocated 32 MB (total 1487 MB)
60 UNSAT (2 decisions 2 conflicts)
				Allocated 32 MB permanent (total 1626 MB)
Horizon 65: 506466 variables
65 UNSAT (73 decisions 58 conflicts)
				Allocated 32 MB permanent (total 1766 MB)
Horizon 70: 545221 variables
Horizon 75: 583976 variables
				Allocated 32 MB permanent (total 2022 MB)
Horizon 80: 622731 variables
				Allocated 32 MB permanent (total 2170 MB)
Horizon 85: 661486 variables
70 UNSAT (283 decisions 239 conflicts)
				Allocated 32 MB permanent (total 2319 MB)
Horizon 90: 700241 variables
				Allocated 32 MB permanent (total 2471 MB)
Horizon 95: 738996 variables
				Allocated 32 MB permanent (total 2626 MB)
Horizon 100: 777751 variables
				Allocated 32 MB permanent (total 2782 MB)
Horizon 105: 816506 variables
				Allocated 32 MB permanent (total 2941 MB)
Horizon 110: 855261 variables
				Allocated 32 MB permanent (total 3102 MB)
Horizon 115: 894016 variables
				Allocated 32 MB permanent (total 3266 MB)
Horizon 120: 932771 variables
				Allocated 32 MB (total 3298 MB)
				Allocated 32 MB permanent (total 3464 MB)
				Allocated 32 MB permanent (total 3496 MB)
Horizon 125: 971526 variables
				Allocated 32 MB permanent (total 3664 MB)
Horizon 130: 1010281 variables
				Allocated 32 MB permanent (total 3834 MB)
Horizon 135: 1049036 variables
				Allocated 32 MB permanent (total 4007 MB)
				Allocated 32 MB permanent (total 4039 MB)
Horizon 140: 1087791 variables
				Allocated 32 MB (total 4071 MB)
				Allocated 32 MB permanent (total 4246 MB)
Horizon 145: 1126546 variables
				Allocated 32 MB permanent (total 4423 MB)
				Allocated 32 MB permanent (total 4455 MB)
Horizon 150: 1165301 variables
				Allocated 32 MB permanent (total 4635 MB)
Horizon 155: 1204056 variables
				Allocated 32 MB permanent (total 4816 MB)
				Allocated 32 MB permanent (total 4848 MB)
Horizon 160: 1242811 variables
				Allocated 32 MB (total 4880 MB)
				Allocated 32 MB permanent (total 5065 MB)
Horizon 165: 1281566 variables
				Allocated 32 MB permanent (total 5251 MB)
				Allocated 32 MB permanent (total 5283 MB)
Horizon 170: 1320321 variables
				Allocated 32 MB (total 5315 MB)
				Allocated 32 MB (total 5347 MB)
				Allocated 32 MB (total 5379 MB)
				Allocated 32 MB (total 5411 MB)
				Allocated 32 MB (total 5443 MB)
						GC: 322.16 MB
				Allocated 32 MB (total 5475 MB)
				Allocated 32 MB (total 5507 MB)
				Allocated 32 MB (total 5539 MB)
				Allocated 32 MB (total 5571 MB)
				Allocated 32 MB (total 5603 MB)
75 UNSAT (4390 decisions 3366 conflicts)
Horizon 175: 1359076 variables
				Allocated 32 MB (total 5792 MB)
				Allocated 32 MB (total 5824 MB)
				Allocated 32 MB (total 5856 MB)
				Allocated 32 MB (total 5888 MB)
				Allocated 32 MB (total 5920 MB)
						GC: 549.65 MB
						GC: 429.99 MB
				Allocated 32 MB (total 5952 MB)
				Allocated 32 MB (total 5984 MB)
				Allocated 32 MB (total 6016 MB)
				Allocated 32 MB (total 6048 MB)
				Allocated 32 MB (total 6080 MB)
				Allocated 32 MB (total 6112 MB)
				Allocated 32 MB (total 6144 MB)
						GC: 561.67 MB
						GC: 612.63 MB
				Allocated 32 MB (total 6176 MB)
						GC: 608.11 MB
				Allocated 32 MB (total 6208 MB)
				Allocated 32 MB (total 6240 MB)
						GC: 612.78 MB
				Allocated 32 MB (total 6272 MB)
				Allocated 32 MB (total 6304 MB)
				Allocated 32 MB (total 6336 MB)
				Allocated 32 MB (total 6368 MB)
						GC: 699.36 MB
				Allocated 32 MB (total 6400 MB)
				Allocated 32 MB (total 6432 MB)
				Allocated 32 MB (total 6464 MB)
						GC: 698.90 MB
				Allocated 32 MB (total 6496 MB)
				Allocated 32 MB (total 6528 MB)
				Allocated 32 MB (total 6560 MB)
				Allocated 32 MB (total 6592 MB)
				Allocated 32 MB (total 6624 MB)
				Allocated 32 MB (total 6656 MB)
						GC: 827.24 MB
				Allocated 32 MB (total 6688 MB)
						GC: 1123.44 MB
						GC: 862.67 MB
						GC: 982.02 MB
						GC: 833.04 MB
						GC: 805.72 MB
						GC: 844.90 MB
				Allocated 32 MB (total 6720 MB)
						GC: 967.70 MB
						GC: 952.12 MB

