Madagascar 0.99999 25/02/2015 09:45:59 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-76.pddlignoring --stats
ignoring --verbose

Domain: blocks
Problem: blocks-37-1
Parser: 2812 ground actions and 1481 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15  1.16 secs
Goal: conjunctive
Simplified: 2812 ground actions and 1481 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.72 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 149 MB)
Horizon 5: 22946 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 7: 31532 variables
7 UNSAT (0 decisions 0 conflicts)
Horizon 10: 44411 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 14: 61583 variables
14 UNSAT (0 decisions 0 conflicts)
Horizon 20: 87341 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 28: 121685 variables
28 UNSAT (0 decisions 0 conflicts)
Horizon 40: 173201 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 56: 241889 variables
				Allocated 32 MB (total 841 MB)
56 UNSAT (31 decisions 31 conflicts)
				Allocated 32 MB permanent (total 969 MB)
Horizon 80: 344921 variables
				Allocated 32 MB permanent (total 1107 MB)
Horizon 113: 486590 variables
Horizon 160: 688361 variables
				Allocated 32 MB permanent (total 1389 MB)
				Allocated 32 MB permanent (total 1421 MB)
Horizon 226: 971699 variables
				Allocated 32 MB permanent (total 1611 MB)
Horizon 320: 1375241 variables
				Allocated 32 MB permanent (total 1834 MB)
				Allocated 32 MB permanent (total 1866 MB)
				Allocated 32 MB permanent (total 1898 MB)
Horizon 452: 1941917 variables
				Allocated 32 MB permanent (total 2169 MB)
				Allocated 32 MB permanent (total 2201 MB)
				Allocated 32 MB permanent (total 2233 MB)
				Allocated 32 MB permanent (total 2265 MB)
Horizon 640: 2749001 variables
				Allocated 32 MB permanent (total 2603 MB)
				Allocated 32 MB permanent (total 2635 MB)
				Allocated 32 MB permanent (total 2667 MB)
				Allocated 32 MB permanent (total 2699 MB)
				Allocated 32 MB permanent (total 2731 MB)
Horizon 905: 3886646 variables
				Allocated 32 MB permanent (total 3165 MB)
				Allocated 32 MB permanent (total 3197 MB)
				Allocated 32 MB permanent (total 3229 MB)
				Allocated 32 MB permanent (total 3261 MB)
				Allocated 32 MB permanent (total 3293 MB)
				Allocated 32 MB permanent (total 3325 MB)
				Allocated 32 MB permanent (total 3357 MB)
Horizon 1280: 5496521 variables
				Allocated 32 MB permanent (total 3924 MB)
				Allocated 32 MB permanent (total 3956 MB)
				Allocated 32 MB permanent (total 3988 MB)
				Allocated 32 MB permanent (total 4020 MB)
				Allocated 32 MB permanent (total 4052 MB)
				Allocated 32 MB permanent (total 4084 MB)
				Allocated 32 MB permanent (total 4116 MB)
				Allocated 32 MB permanent (total 4148 MB)
				Allocated 32 MB permanent (total 4180 MB)
				Allocated 32 MB permanent (total 4212 MB)
Horizon 1810: 7771811 variables
				Allocated 32 MB permanent (total 4971 MB)
				Allocated 32 MB permanent (total 5003 MB)
				Allocated 32 MB permanent (total 5035 MB)
				Allocated 32 MB permanent (total 5067 MB)
				Allocated 32 MB permanent (total 5099 MB)
				Allocated 32 MB permanent (total 5131 MB)
				Allocated 32 MB permanent (total 5163 MB)
				Allocated 32 MB permanent (total 5195 MB)
				Allocated 32 MB permanent (total 5227 MB)
				Allocated 32 MB permanent (total 5259 MB)
				Allocated 32 MB permanent (total 5291 MB)
				Allocated 32 MB permanent (total 5323 MB)
				Allocated 32 MB permanent (total 5355 MB)
				Allocated 32 MB permanent (total 5387 MB)
Horizon 2560: 10991561 variables
				Allocated 32 MB (total 5419 MB)
						GC: 58.80 MB
				Allocated 32 MB (total 5451 MB)
						GC: 35.01 MB
				Allocated 32 MB (total 5483 MB)
						GC: 81.16 MB
						GC: 73.36 MB
				Allocated 32 MB (total 5515 MB)
						GC: 87.73 MB
						GC: 89.61 MB
				Allocated 32 MB (total 5547 MB)
						GC: 94.54 MB
						GC: 88.74 MB
				Allocated 32 MB (total 5579 MB)
						GC: 101.68 MB
						GC: 103.46 MB
						GC: 108.95 MB
				Allocated 32 MB (total 5611 MB)
						GC: 195.71 MB
						GC: 99.33 MB
						GC: 81.37 MB