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

Domain: blocks
Problem: blocks-48-1
Parser: 4704 ground actions and 2449 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16  4.43 secs
Goal: conjunctive
Simplified: 4704 ground actions and 2449 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 2.61 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 175 MB)
Horizon 5: 38214 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 7: 52520 variables
7 UNSAT (0 decisions 0 conflicts)
Horizon 10: 73979 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 14: 102591 variables
14 UNSAT (0 decisions 0 conflicts)
Horizon 20: 145509 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 28: 202733 variables
28 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 800 MB)
Horizon 40: 288569 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 56: 403017 variables
56 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1042 MB)
Horizon 80: 574689 variables
				Allocated 32 MB (total 1074 MB)
				Allocated 32 MB permanent (total 1230 MB)
Horizon 113: 810738 variables
				Allocated 32 MB permanent (total 1406 MB)
Horizon 160: 1146929 variables
80 UNSAT (191 decisions 160 conflicts)
				Allocated 32 MB permanent (total 1611 MB)
				Allocated 32 MB permanent (total 1643 MB)
Horizon 226: 1619027 variables
				Allocated 32 MB permanent (total 1886 MB)
				Allocated 32 MB permanent (total 1918 MB)
				Allocated 32 MB permanent (total 1950 MB)
Horizon 320: 2291409 variables
				Allocated 32 MB permanent (total 2250 MB)
				Allocated 32 MB permanent (total 2282 MB)
				Allocated 32 MB permanent (total 2314 MB)
				Allocated 32 MB permanent (total 2346 MB)
				Allocated 32 MB permanent (total 2378 MB)
Horizon 452: 3235605 variables
				Allocated 32 MB permanent (total 2757 MB)
				Allocated 32 MB permanent (total 2789 MB)
				Allocated 32 MB permanent (total 2821 MB)
				Allocated 32 MB permanent (total 2853 MB)
				Allocated 32 MB permanent (total 2885 MB)
Horizon 640: 4580369 variables
				Allocated 32 MB permanent (total 3376 MB)
				Allocated 32 MB permanent (total 3408 MB)
				Allocated 32 MB permanent (total 3440 MB)
				Allocated 32 MB permanent (total 3472 MB)
				Allocated 32 MB permanent (total 3504 MB)
				Allocated 32 MB permanent (total 3536 MB)
				Allocated 32 MB permanent (total 3568 MB)
				Allocated 32 MB permanent (total 3600 MB)
				Allocated 32 MB permanent (total 3632 MB)
Horizon 905: 6475914 variables
				Allocated 32 MB permanent (total 4282 MB)
				Allocated 32 MB permanent (total 4314 MB)
				Allocated 32 MB permanent (total 4346 MB)
				Allocated 32 MB permanent (total 4378 MB)
				Allocated 32 MB permanent (total 4410 MB)
				Allocated 32 MB permanent (total 4442 MB)
				Allocated 32 MB permanent (total 4474 MB)
				Allocated 32 MB permanent (total 4506 MB)
				Allocated 32 MB permanent (total 4538 MB)
				Allocated 32 MB permanent (total 4570 MB)
				Allocated 32 MB permanent (total 4602 MB)
				Allocated 32 MB permanent (total 4634 MB)
Horizon 1280: 9158289 variables
				Allocated 32 MB permanent (total 5508 MB)
				Allocated 32 MB permanent (total 5540 MB)
				Allocated 32 MB permanent (total 5572 MB)
				Allocated 32 MB permanent (total 5604 MB)
				Allocated 32 MB permanent (total 5636 MB)
				Allocated 32 MB permanent (total 5668 MB)
				Allocated 32 MB permanent (total 5700 MB)
				Allocated 32 MB permanent (total 5732 MB)
				Allocated 32 MB permanent (total 5764 MB)
				Allocated 32 MB permanent (total 5796 MB)
				Allocated 32 MB permanent (total 5828 MB)
				Allocated 32 MB permanent (total 5860 MB)
				Allocated 32 MB permanent (total 5892 MB)
				Allocated 32 MB permanent (total 5924 MB)
				Allocated 32 MB permanent (total 5956 MB)
				Allocated 32 MB permanent (total 5988 MB)
Horizon 1810: 12949379 variables
				Allocated 32 MB permanent (total 7180 MB)
				Allocated 32 MB permanent (total 7212 MB)
				Allocated 32 MB permanent (total 7244 MB)
				Allocated 32 MB permanent (total 7276 MB)
				Allocated 32 MB permanent (total 7308 MB)
				Allocated 32 MB permanent (total 7340 MB)
				Allocated 32 MB permanent (total 7372 MB)
				Allocated 32 MB permanent (total 7404 MB)
				Allocated 32 MB permanent (total 7436 MB)
				Allocated 32 MB permanent (total 7468 MB)
				Allocated 32 MB permanent (total 7500 MB)
				Allocated 32 MB permanent (tot