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-54.pddlignoring --stats
ignoring --verbose
 -m 8192
Domain: freecell
Problem: freecell-12-4
Parser: 98488 ground actions and 3145 state variables
Invariants: 0 1 2 3  0.15 secs
Goal: conjunctive
Simplified: 23364 ground actions and 352 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 2.88 secs (max SCC size 23228)
Plan type: E-step
				Allocated 32 MB permanent (total 418 MB)
Horizon 0: 352 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 477572 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 954792 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 1432012 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 1909232 variables
				Allocated 32 MB (total 1147 MB)
				Allocated 32 MB permanent (total 1397 MB)
Horizon 25: 2386452 variables
Horizon 30: 2863672 variables
				Allocated 32 MB permanent (total 1948 MB)
Horizon 35: 3340892 variables
				Allocated 32 MB permanent (total 2282 MB)
Horizon 40: 3818112 variables
				Allocated 32 MB permanent (total 2645 MB)
Horizon 45: 4295332 variables
				Allocated 32 MB permanent (total 3035 MB)
Horizon 50: 4772552 variables
				Allocated 32 MB permanent (total 3454 MB)
Horizon 55: 5249772 variables
				Allocated 32 MB permanent (total 3901 MB)
Horizon 60: 5726992 variables
				Allocated 32 MB permanent (total 4376 MB)
Horizon 65: 6204212 variables
				Allocated 32 MB (total 4408 MB)
				Allocated 32 MB permanent (total 4912 MB)
Horizon 70: 6681432 variables
				Allocated 32 MB permanent (total 5443 MB)
				Allocated 32 MB permanent (total 5475 MB)
Horizon 75: 7158652 variables
				Allocated 32 MB permanent (total 6035 MB)
Horizon 80: 7635872 variables
				Allocated 32 MB (total 6067 MB)
				Allocated 32 MB permanent (total 6655 MB)
				Allocated 32 MB permanent (total 6687 MB)
Horizon 85: 8113092 variables
				Allocated 32 MB permanent (total 7303 MB)
				Allocated 32 MB permanent (total 7335 MB)
Horizon 90: 8590312 variables
				Allocated 32 MB permanent (total 7980 MB)
				Allocated 32 MB permanent (total 8012 MB)
Horizon 95: 9067532 variables
				Allocated 32 MB (total 8044 MB)
ATTENTION: Horizon 100 will not be started: memory allocated 8044.28 MB limit 8192.00 MB
				Allocated 32 MB (total 8076 MB)
				Allocated 32 MB (total 8108 MB)
				Allocated 32 MB (total 8140 MB)
				Allocated 32 MB (total 8172 MB)
20 UNSAT (2572 decisions 2224 conflicts)
						GC: 179.46 MB
				Allocated 32 MB (total 8204 MB)
ATTENTION: Memory bound 8192.00 MB reached, 8204.28 MB allocated
						GC: 151.03 MB
						GC: 146.65 MB
						GC: 122.01 MB
						GC: 105.52 MB
						GC: 201.49 MB
						GC: 141.95 MB
						GC: 127.30 MB
						GC: 123.26 MB
						GC: 116.76 MB
						GC: 112.10 MB
						GC: 122.48 MB
						GC: 122.74 MB
						GC: 121.38 MB
						GC: 115.53 MB
						GC: 117.68 MB
						GC: 115.75 MB
						GC: 105.67 MB
						GC: 109.16 MB
						GC: 120.22 MB
						GC: 125.94 MB
						GC: 136.02 MB
						GC: 131.28 MB
						GC: 220.93 MB