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-72.pddlignoring --stats
ignoring --verbose

Domain: blocks
Problem: blocks-35-1
Parser: 2520 ground actions and 1331 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19  0.87 secs
Goal: conjunctive
Simplified: 2520 ground actions and 1331 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.55 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 146 MB)
Horizon 5: 20586 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 7: 28288 variables
7 UNSAT (0 decisions 0 conflicts)
Horizon 10: 39841 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 14: 55245 variables
14 UNSAT (0 decisions 0 conflicts)
Horizon 20: 78351 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 28: 109159 variables
28 UNSAT (0 decisions 0 conflicts)
Horizon 40: 155371 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 56: 216987 variables
56 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 927 MB)
Horizon 80: 309411 variables
				Allocated 32 MB (total 959 MB)
Horizon 113: 436494 variables
				Allocated 32 MB permanent (total 1206 MB)
Horizon 160: 617491 variables
				Allocated 32 MB permanent (total 1366 MB)
Horizon 226: 871657 variables
				Allocated 32 MB permanent (total 1547 MB)
				Allocated 32 MB permanent (total 1579 MB)
Horizon 320: 1233651 variables
80 UNSAT (388 decisions 263 conflicts)
				Allocated 32 MB permanent (total 1790 MB)
				Allocated 32 MB permanent (total 1822 MB)
Horizon 452: 1741983 variables
				Allocated 32 MB permanent (total 2076 MB)
				Allocated 32 MB permanent (total 2108 MB)
				Allocated 32 MB permanent (total 2140 MB)
Horizon 640: 2465971 variables
				Allocated 32 MB permanent (total 2455 MB)
				Allocated 32 MB permanent (total 2487 MB)
				Allocated 32 MB permanent (total 2519 MB)
				Allocated 32 MB permanent (total 2551 MB)
				Allocated 32 MB permanent (total 2583 MB)
Horizon 905: 3486486 variables
				Allocated 32 MB permanent (total 2983 MB)
				Allocated 32 MB permanent (total 3015 MB)
				Allocated 32 MB permanent (total 3047 MB)
				Allocated 32 MB permanent (total 3079 MB)
				Allocated 32 MB permanent (total 3111 MB)
				Allocated 32 MB permanent (total 3143 MB)
Horizon 1280: 4930611 variables
				Allocated 32 MB permanent (total 3663 MB)
				Allocated 32 MB permanent (total 3695 MB)
				Allocated 32 MB permanent (total 3727 MB)
				Allocated 32 MB permanent (total 3759 MB)
				Allocated 32 MB permanent (total 3791 MB)
				Allocated 32 MB permanent (total 3823 MB)
				Allocated 32 MB permanent (total 3855 MB)
				Allocated 32 MB permanent (total 3887 MB)
				Allocated 32 MB permanent (total 3919 MB)
Horizon 1810: 6971641 variables
				Allocated 32 MB permanent (total 4611 MB)
				Allocated 32 MB permanent (total 4643 MB)
				Allocated 32 MB permanent (total 4675 MB)
				Allocated 32 MB permanent (total 4707 MB)
				Allocated 32 MB permanent (total 4739 MB)
				Allocated 32 MB permanent (total 4771 MB)
				Allocated 32 MB permanent (total 4803 MB)
				Allocated 32 MB permanent (total 4835 MB)
				Allocated 32 MB permanent (total 4867 MB)
				Allocated 32 MB permanent (total 4899 MB)
				Allocated 32 MB permanent (total 4931 MB)
				Allocated 32 MB permanent (total 4963 MB)
				Allocated 32 MB permanent (total 4995 MB)
Horizon 2560: 9859891 variables
						GC: 47.72 MB
						GC: 15.04 MB
				Allocated 32 MB (total 5027 MB)
						GC: 17.21 MB
						GC: 23.34 MB
						GC: 25.81 MB
						GC: 27.09 MB
				Allocated 32 MB (total 5059 MB)
						GC: 30.57 MB
						GC: 47.95 MB
						GC: 28.78 MB
						GC: 32.70 MB
						GC: 31.87 MB
						GC: 32.52 MB
						GC: 34.38 MB
						GC: 37.54 MB