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

Domain: blocks
Problem: blocks-41-1
Parser: 3444 ground actions and 1805 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12  2.18 secs
Goal: conjunctive
Simplified: 3444 ground actions and 1805 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.19 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 158 MB)
Horizon 0: 1805 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 28050 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 54295 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 80540 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 106785 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 133030 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 159275 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 185520 variables
35 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 936 MB)
Horizon 40: 211765 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 238010 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 264255 variables
50 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1244 MB)
Horizon 55: 290500 variables
				Allocated 32 MB (total 1276 MB)
Horizon 60: 316745 variables
55 UNSAT (77 decisions 66 conflicts)
				Allocated 32 MB permanent (total 1500 MB)
Horizon 65: 342990 variables
Horizon 70: 369235 variables
				Allocated 32 MB permanent (total 1730 MB)
Horizon 75: 395480 variables
Horizon 80: 421725 variables
				Allocated 32 MB permanent (total 1966 MB)
Horizon 85: 447970 variables
Horizon 90: 474215 variables
				Allocated 32 MB permanent (total 2208 MB)
Horizon 95: 500460 variables
				Allocated 32 MB permanent (total 2348 MB)
Horizon 100: 526705 variables
60 UNSAT (671 decisions 515 conflicts)
Horizon 105: 552950 variables
				Allocated 32 MB permanent (total 2599 MB)
Horizon 110: 579195 variables
				Allocated 32 MB (total 2631 MB)
				Allocated 32 MB permanent (total 2776 MB)
Horizon 115: 605440 variables
				Allocated 32 MB permanent (total 2921 MB)
Horizon 120: 631685 variables
Horizon 125: 657930 variables
				Allocated 32 MB permanent (total 3185 MB)
Horizon 130: 684175 variables
				Allocated 32 MB permanent (total 3336 MB)
Horizon 135: 710420 variables
				Allocated 32 MB permanent (total 3487 MB)
Horizon 140: 736665 variables
				Allocated 32 MB (total 3519 MB)
				Allocated 32 MB permanent (total 3673 MB)
Horizon 145: 762910 variables
				Allocated 32 MB permanent (total 3828 MB)
Horizon 150: 789155 variables
				Allocated 32 MB permanent (total 3985 MB)
Horizon 155: 815400 variables
				Allocated 32 MB permanent (total 4143 MB)
Horizon 160: 841645 variables
				Allocated 32 MB (total 4175 MB)
				Allocated 32 MB (total 4207 MB)
				Allocated 32 MB (total 4239 MB)
						GC: 192.30 MB
				Allocated 32 MB (total 4271 MB)
				Allocated 32 MB (total 4303 MB)
				Allocated 32 MB (total 4335 MB)
				Allocated 32 MB (total 4367 MB)
				Allocated 32 MB (total 4399 MB)
				Allocated 32 MB (total 4431 MB)
65 UNSAT (5759 decisions 4277 conflicts)
Horizon 165: 867890 variables
						GC: 320.32 MB
						GC: 236.88 MB
				Allocated 32 MB (total 4590 MB)
				Allocated 32 MB (total 4622 MB)
				Allocated 32 MB (total 4654 MB)
				Allocated 32 MB (total 4686 MB)
				Allocated 32 MB (total 4718 MB)
				Allocated 32 MB (total 4750 MB)
						GC: 427.56 MB
						GC: 402.50 MB
				Allocated 32 MB (total 4782 MB)
				Allocated 32 MB (total 4814 MB)
						GC: 403.24 MB
				Allocated 32 MB (total 4846 MB)
				Allocated 32 MB (total 4878 MB)
				Allocated 32 MB (total 4910 MB)
						GC: 471.04 MB
				Allocated 32 MB (total 4942 MB)
				Allocated 32 MB (total 4974 MB)
				Allocated 32 MB (total 5006 MB)
						GC: 517.33 MB
				Allocated 32 MB (total 5038 MB)
				Allocated 32 MB (total 5070 MB)
						GC: 754.96 MB
						GC: 532.87 MB
						GC: 581.98 MB
						GC: 521.28 MB
						GC: 548.60 MB
						GC: 581.82 MB
						GC: 646.85 MB
						GC: 578.31 MB
						GC: 676.45 MB
				Allocated 32 MB (total 5102 MB)
						GC: 692.28 MB
				Allocated 32 MB (total 5134 MB)
						GC: 718.14 MB
						GC: 678.88 MB
				Allocated 32 MB (total 5166 MB)
						GC: 686.75 MB
				Allocated 32 MB (total 5198 MB)
				Allocated 32 MB (total 5230 MB)
						GC: 733.96 MB
				Allocated 32 MB (total 5262 MB)
						GC: 741.69 MB
						GC: 721.41 MB
				Allocated 32 MB (total 5294 MB)
				Allocated 32 MB (total 5326 MB)
				Allocated 32 MB (total 5358 MB)
				Allocated 32 MB (total 5390 MB)
						GC: 834.73 MB