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-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.64 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 5: 32214 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 7: 44272 variables
7 UNSAT (0 decisions 0 conflicts)
Horizon 10: 62359 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 14: 86475 variables
14 UNSAT (0 decisions 0 conflicts)
Horizon 20: 122649 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 28: 170881 variables
28 UNSAT (0 decisions 0 conflicts)
Horizon 40: 243229 variables
40 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 876 MB)
Horizon 56: 339693 variables
56 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1013 MB)
Horizon 80: 484389 variables
				Allocated 32 MB (total 1045 MB)
Horizon 113: 683346 variables
				Allocated 32 MB permanent (total 1327 MB)
				Allocated 32 MB permanent (total 1359 MB)
Horizon 160: 966709 variables
				Allocated 32 MB permanent (total 1548 MB)
Horizon 226: 1364623 variables
				Allocated 32 MB permanent (total 1771 MB)
				Allocated 32 MB permanent (total 1803 MB)
				Allocated 32 MB permanent (total 1835 MB)
Horizon 320: 1931349 variables
				Allocated 32 MB permanent (total 2104 MB)
				Allocated 32 MB permanent (total 2136 MB)
				Allocated 32 MB permanent (total 2168 MB)
Horizon 452: 2727177 variables
				Allocated 32 MB permanent (total 2505 MB)
				Allocated 32 MB permanent (total 2537 MB)
				Allocated 32 MB permanent (total 2569 MB)
				Allocated 32 MB permanent (total 2601 MB)
				Allocated 32 MB permanent (total 2633 MB)
Horizon 640: 3860629 variables
				Allocated 32 MB permanent (total 3064 MB)
				Allocated 32 MB permanent (total 3096 MB)
				Allocated 32 MB permanent (total 3128 MB)
				Allocated 32 MB permanent (total 3160 MB)
				Allocated 32 MB permanent (total 3192 MB)
				Allocated 32 MB permanent (total 3224 MB)
				Allocated 32 MB permanent (total 3256 MB)
Horizon 905: 5458314 variables
				Allocated 32 MB permanent (total 3821 MB)
				Allocated 32 MB permanent (total 3853 MB)
				Allocated 32 MB permanent (total 3885 MB)
				Allocated 32 MB permanent (total 3917 MB)
				Allocated 32 MB permanent (total 3949 MB)
				Allocated 32 MB permanent (total 3981 MB)
				Allocated 32 MB permanent (total 4013 MB)
				Allocated 32 MB permanent (total 4045 MB)
				Allocated 32 MB permanent (total 4077 MB)
				Allocated 32 MB permanent (total 4109 MB)
Horizon 1280: 7719189 variables
				Allocated 32 MB permanent (total 4862 MB)
				Allocated 32 MB permanent (total 4894 MB)
				Allocated 32 MB permanent (total 4926 MB)
				Allocated 32 MB permanent (total 4958 MB)
				Allocated 32 MB permanent (total 4990 MB)
				Allocated 32 MB permanent (total 5022 MB)
				Allocated 32 MB permanent (total 5054 MB)
				Allocated 32 MB permanent (total 5086 MB)
				Allocated 32 MB permanent (total 5118 MB)
				Allocated 32 MB permanent (total 5150 MB)
				Allocated 32 MB permanent (total 5182 MB)
				Allocated 32 MB permanent (total 5214 MB)
				Allocated 32 MB permanent (total 5246 MB)
				Allocated 32 MB permanent (total 5278 MB)
Horizon 1810: 10914559 variables
				Allocated 32 MB permanent (total 6299 MB)
				Allocated 32 MB permanent (total 6331 MB)
				Allocated 32 MB permanent (total 6363 MB)
				Allocated 32 MB permanent (total 6395 MB)
				Allocated 32 MB permanent (total 6427 MB)
				Allocated 32 MB permanent (total 6459 MB)
				Allocated 32 MB permanent (total 6491 MB)
				Allocated 32 MB permanent (total 6523 MB)
				Allocated 32 MB permanent (total 6555 MB)
				Allocated 32 MB permanent (total 6587 MB)
				Allocated 32 MB permanent (total 6619 MB)
				Allocated 32 MB permanent (total 6651 MB)
				Allocated 32 MB permanent (total 6683 MB)
				Allocated 32 MB permanent (total 6715 MB)
				Allocated 32 MB permanent (total 6747 MB)
				Allocated 32 MB permanent (total 6779 MB)
				Allocated 32 MB permanent (total 6811 MB)
				Allocated 32 MB permanent (total 6843 MB)
				Allocated 32 MB permanent (total 6875 MB)
				Allocated 32 MB permanent (total 6907 MB)
Horizon 2560: 15436309 variables
				Allocated 32 MB (total 6939 MB)
				Allocated 32 MB (total 6971 MB)
						GC: 108.78 MB
				Allocated 32 MB (total 7003 MB)
						GC: 94.65 MB
				Allocated 32 MB (total 7035 MB)
						GC: 110.29 MB
				Allocated 32 MB (total 7067 MB)
						GC: 161.44 MB
						GC: 147.88 MB
						GC: 153.76 MB
				Allocated 32 MB (total 7099 MB)
						GC: 177.29 MB
				Allocated 32 MB (total 7131 MB)
						GC: 178.28 MB
						GC: 181.00 MB
						GC: 225.18 MB

