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

Domain: blocks
Problem: blocks-44-1
Parser: 3960 ground actions and 2069 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18  2.61 secs
Goal: conjunctive
Simplified: 3960 ground actions and 2069 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.67 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 165 MB)
Horizon 0: 2069 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 32214 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 62359 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 92504 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 122649 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 152794 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 182939 variables
30 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 862 MB)
Horizon 35: 213084 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 243229 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 273374 variables
45 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1171 MB)
Horizon 50: 303519 variables
50 UNSAT (0 decisions 0 conflicts)
Horizon 55: 333664 variables
55 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1397 MB)
Horizon 60: 363809 variables
60 UNSAT (0 decisions 0 conflicts)
Horizon 65: 393954 variables
				Allocated 32 MB (total 1529 MB)
65 UNSAT (9 decisions 9 conflicts)
				Allocated 32 MB permanent (total 1662 MB)
Horizon 70: 424099 variables
70 UNSAT (37 decisions 24 conflicts)
Horizon 75: 454244 variables
				Allocated 32 MB permanent (total 1902 MB)
Horizon 80: 484389 variables
75 UNSAT (198 decisions 71 conflicts)
Horizon 85: 514534 variables
				Allocated 32 MB permanent (total 2150 MB)
Horizon 90: 544679 variables
				Allocated 32 MB permanent (total 2292 MB)
Horizon 95: 574824 variables
				Allocated 32 MB permanent (total 2436 MB)
Horizon 100: 604969 variables
Horizon 105: 635114 variables
				Allocated 32 MB permanent (total 2698 MB)
Horizon 110: 665259 variables
				Allocated 32 MB permanent (total 2847 MB)
Horizon 115: 695404 variables
				Allocated 32 MB permanent (total 2998 MB)
Horizon 120: 725549 variables
				Allocated 32 MB permanent (total 3151 MB)
Horizon 125: 755694 variables
				Allocated 32 MB permanent (total 3306 MB)
Horizon 130: 785839 variables
				Allocated 32 MB permanent (total 3463 MB)
Horizon 135: 815984 variables
				Allocated 32 MB (total 3495 MB)
				Allocated 32 MB permanent (total 3653 MB)
Horizon 140: 846129 variables
				Allocated 32 MB permanent (total 3813 MB)
Horizon 145: 876274 variables
				Allocated 32 MB permanent (total 3975 MB)
				Allocated 32 MB permanent (total 4007 MB)
Horizon 150: 906419 variables
				Allocated 32 MB permanent (total 4171 MB)
Horizon 155: 936564 variables
				Allocated 32 MB permanent (total 4336 MB)
Horizon 160: 966709 variables
				Allocated 32 MB permanent (total 4504 MB)
Horizon 165: 996854 variables
				Allocated 32 MB (total 4536 MB)
				Allocated 32 MB permanent (total 4705 MB)
				Allocated 32 MB permanent (total 4737 MB)
Horizon 170: 1026999 variables
				Allocated 32 MB permanent (total 4908 MB)
Horizon 175: 1057144 variables
				Allocated 32 MB (total 4940 MB)
				Allocated 32 MB (total 4972 MB)
				Allocated 32 MB (total 5004 MB)
						GC: 284.29 MB
				Allocated 32 MB (total 5036 MB)
				Allocated 32 MB (total 5068 MB)
				Allocated 32 MB (total 5100 MB)
				Allocated 32 MB (total 5132 MB)
				Allocated 32 MB (total 5164 MB)
						GC: 289.08 MB
				Allocated 32 MB (total 5196 MB)
				Allocated 32 MB (total 5228 MB)
						GC: 330.77 MB
				Allocated 32 MB (total 5260 MB)
				Allocated 32 MB (total 5292 MB)
				Allocated 32 MB (total 5324 MB)
						GC: 385.48 MB
				Allocated 32 MB (total 5356 MB)
				Allocated 32 MB (total 5388 MB)
				Allocated 32 MB (total 5420 MB)
				Allocated 32 MB (total 5452 MB)
						GC: 567.89 MB
						GC: 448.19 MB
						GC: 482.52 MB
				Allocated 32 MB (total 5484 MB)
				Allocated 32 MB (total 5516 MB)
						GC: 507.46 MB
80 UNSAT (33350 decisions 19794 conflicts)
Horizon 180: 1087289 variables
						GC: 561.06 MB
						GC: 509.48 MB
						GC: 534.19 MB
						GC: 619.75 MB
						GC: 476.49 MB
						GC: 530.89 MB
						GC: 529.08 MB
						GC: 582.38 MB
						GC: 546.33 MB
						GC: 581.13 MB
						GC: 580.66 MB
						GC: 618.11 MB
				Allocated 32 MB (total 5688 MB)
				Allocated 32 MB (total 5720 MB)
						GC: 668.78 MB
						GC: 649.96 MB