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/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-51.pddlignoring --stats
ignoring --verbose
 -m 8192
Domain: freecell
Problem: freecell-12-1
Parser: 98488 ground actions and 3145 state variables
Invariants: 0 1 2 3  0.13 secs
Goal: conjunctive
Simplified: 23362 ground actions and 352 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 2.95 secs (max SCC size 23224)
Plan type: E-step
				Allocated 32 MB permanent (total 418 MB)
Horizon 0: 352 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 477542 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 954732 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 1431922 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 1909112 variables
				Allocated 32 MB (total 1147 MB)
				Allocated 32 MB permanent (total 1397 MB)
Horizon 25: 2386302 variables
Horizon 30: 2863492 variables
				Allocated 32 MB permanent (total 1948 MB)
Horizon 35: 3340682 variables
				Allocated 32 MB permanent (total 2282 MB)
Horizon 40: 3817872 variables
				Allocated 32 MB permanent (total 2645 MB)
Horizon 45: 4295062 variables
				Allocated 32 MB permanent (total 3035 MB)
Horizon 50: 4772252 variables
				Allocated 32 MB permanent (total 3454 MB)
Horizon 55: 5249442 variables
				Allocated 32 MB permanent (total 3901 MB)
Horizon 60: 5726632 variables
				Allocated 32 MB permanent (total 4376 MB)
Horizon 65: 6203822 variables
				Allocated 32 MB (total 4408 MB)
				Allocated 32 MB permanent (total 4911 MB)
Horizon 70: 6681012 variables
				Allocated 32 MB permanent (total 5443 MB)
				Allocated 32 MB permanent (total 5475 MB)
Horizon 75: 7158202 variables
				Allocated 32 MB permanent (total 6035 MB)
Horizon 80: 7635392 variables
				Allocated 32 MB permanent (total 6623 MB)
				Allocated 32 MB permanent (total 6655 MB)
Horizon 85: 8112582 variables
				Allocated 32 MB (total 6687 MB)
				Allocated 32 MB permanent (total 7303 MB)
				Allocated 32 MB permanent (total 7335 MB)
Horizon 90: 8589772 variables
				Allocated 32 MB permanent (total 7979 MB)
				Allocated 32 MB permanent (total 8011 MB)
Horizon 95: 9066962 variables
ATTENTION: Horizon 100 will not be started: memory allocated 8011.84 MB limit 8192.00 MB
				Allocated 32 MB (total 8043 MB)
				Allocated 32 MB (total 8075 MB)
				Allocated 32 MB (total 8107 MB)
				Allocated 32 MB (total 8139 MB)
				Allocated 32 MB (total 8171 MB)
				Allocated 32 MB (total 8203 MB)
ATTENTION: Memory bound 8192.00 MB reached, 8203.84 MB allocated
						GC: 181.01 MB
						GC: 131.23 MB
				Allocated 32 MB (total 8235 MB)
						GC: 139.59 MB
20 UNSAT (6453 decisions 5692 conflicts)
						GC: 256.21 MB
						GC: 106.84 MB
						GC: 151.61 MB
						GC: 138.63 MB
						GC: 122.38 MB
						GC: 181.88 MB
						GC: 134.57 MB
						GC: 137.21 MB
						GC: 129.79 MB
						GC: 130.14 MB
						GC: 142.01 MB
						GC: 140.61 MB
						GC: 128.50 MB
						GC: 148.95 MB
						GC: 132.03 MB
				Allocated 32 MB (total 8267 MB)
						GC: 144.08 MB
				Allocated 32 MB (total 8299 MB)
						GC: 156.61 MB
						GC: 139.41 MB
						GC: 298.97 MB
						GC: 128.97 MB