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

Domain: blocks
Problem: blocks-49-0
Parser: 4900 ground actions and 2549 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14  5.38 secs
Goal: conjunctive
Simplified: 4900 ground actions and 2549 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 2.85 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 178 MB)
Horizon 5: 39794 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 7: 54692 variables
7 UNSAT (0 decisions 0 conflicts)
Horizon 10: 77039 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 14: 106835 variables
14 UNSAT (0 decisions 0 conflicts)
Horizon 20: 151529 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 28: 211121 variables
28 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 805 MB)
Horizon 40: 300509 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 56: 419693 variables
56 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1050 MB)
Horizon 80: 598469 variables
				Allocated 32 MB (total 1082 MB)
				Allocated 32 MB permanent (total 1240 MB)
Horizon 113: 844286 variables
				Allocated 32 MB permanent (total 1419 MB)
				Allocated 32 MB permanent (total 1451 MB)
Horizon 160: 1194389 variables
80 UNSAT (231 decisions 166 conflicts)
				Allocated 32 MB permanent (total 1659 MB)
				Allocated 32 MB permanent (total 1691 MB)
Horizon 226: 1686023 variables
				Allocated 32 MB permanent (total 1940 MB)
				Allocated 32 MB permanent (total 1972 MB)
				Allocated 32 MB permanent (total 2004 MB)
Horizon 320: 2386229 variables
				Allocated 32 MB permanent (total 2312 MB)
				Allocated 32 MB permanent (total 2344 MB)
				Allocated 32 MB permanent (total 2376 MB)
				Allocated 32 MB permanent (total 2408 MB)
Horizon 452: 3369497 variables
				Allocated 32 MB permanent (total 2798 MB)
				Allocated 32 MB permanent (total 2830 MB)
				Allocated 32 MB permanent (total 2862 MB)
				Allocated 32 MB permanent (total 2894 MB)
				Allocated 32 MB permanent (total 2926 MB)
				Allocated 32 MB permanent (total 2958 MB)
Horizon 640: 4769909 variables
				Allocated 32 MB permanent (total 3465 MB)
				Allocated 32 MB permanent (total 3497 MB)
				Allocated 32 MB permanent (total 3529 MB)
				Allocated 32 MB permanent (total 3561 MB)
				Allocated 32 MB permanent (total 3593 MB)
				Allocated 32 MB permanent (total 3625 MB)
				Allocated 32 MB permanent (total 3657 MB)
				Allocated 32 MB permanent (total 3689 MB)
				Allocated 32 MB permanent (total 3721 MB)
Horizon 905: 6743894 variables
				Allocated 32 MB permanent (total 4394 MB)
				Allocated 32 MB permanent (total 4426 MB)
				Allocated 32 MB permanent (total 4458 MB)
				Allocated 32 MB permanent (total 4490 MB)
				Allocated 32 MB permanent (total 4522 MB)
				Allocated 32 MB permanent (total 4554 MB)
				Allocated 32 MB permanent (total 4586 MB)
				Allocated 32 MB permanent (total 4618 MB)
				Allocated 32 MB permanent (total 4650 MB)
				Allocated 32 MB permanent (total 4682 MB)
				Allocated 32 MB permanent (total 4714 MB)
				Allocated 32 MB permanent (total 4746 MB)
Horizon 1280: 9537269 variables
				Allocated 32 MB permanent (total 5651 MB)
				Allocated 32 MB permanent (total 5683 MB)
				Allocated 32 MB permanent (total 5715 MB)
				Allocated 32 MB permanent (total 5747 MB)
				Allocated 32 MB permanent (total 5779 MB)
				Allocated 32 MB permanent (total 5811 MB)
				Allocated 32 MB permanent (total 5843 MB)
				Allocated 32 MB permanent (total 5875 MB)
				Allocated 32 MB permanent (total 5907 MB)
				Allocated 32 MB permanent (total 5939 MB)
				Allocated 32 MB permanent (total 5971 MB)
				Allocated 32 MB permanent (total 6003 MB)
				Allocated 32 MB permanent (total 6035 MB)
				Allocated 32 MB permanent (total 6067 MB)
				Allocated 32 MB permanent (total 6099 MB)
				Allocated 32 MB permanent (total 6131 MB)
				Allocated 32 MB permanent (total 6163 MB)
				Allocated 32 MB permanent (total 6195 MB)
Horizon 1810: 13485239 variables
				Allocated 32 MB (total 6227 MB)
						GC: 104.66 MB
				Allocated 32 MB (total 6259 MB)
				Allocated 32 MB (total 6291 MB)
				Allocated 32 MB (total 6323 MB)
						GC: 70.98 MB
						GC: 86.24 MB
						GC: 62.84 MB
				Allocated 32 MB (total 6355 MB)
				Allocated 32 MB (total 6387 MB)
						GC: 148.03 MB
						GC: 126.44 MB
				Allocated 32 MB (total 6419 MB)
						GC: 138.82 MB
				Allocated 32 MB (total 6451 MB)
						GC: 153.05 MB
				Allocated 32 MB (total 6483 MB)
				Allocated 32 MB (total 6515 MB)
						GC: 171.02 MB
						GC: 165.23 MB