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-59.pddlignoring --stats
ignoring --verbose
 -m 8192
Domain: freecell
Problem: freecell-13-4
Parser: 112600 ground actions and 3609 state variables
Invariants: 0 1 2 3  0.17 secs
Goal: conjunctive
Simplified: 25340 ground actions and 379 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 3.97 secs (max SCC size 25192)
Plan type: E-step
				Allocated 32 MB permanent (total 445 MB)
Horizon 0: 379 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 517849 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 1035319 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 1552789 variables
15 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1201 MB)
Horizon 20: 2070259 variables
				Allocated 32 MB (total 1233 MB)
Horizon 25: 2587729 variables
				Allocated 32 MB permanent (total 1754 MB)
Horizon 30: 3105199 variables
Horizon 35: 3622669 variables
				Allocated 32 MB permanent (total 2398 MB)
Horizon 40: 4140139 variables
20 UNSAT (341 decisions 284 conflicts)
				Allocated 32 MB permanent (total 2782 MB)
Horizon 45: 4657609 variables
				Allocated 32 MB permanent (total 3196 MB)
Horizon 50: 5175079 variables
				Allocated 32 MB permanent (total 3641 MB)
Horizon 55: 5692549 variables
				Allocated 32 MB permanent (total 4116 MB)
				Allocated 32 MB permanent (total 4148 MB)
Horizon 60: 6210019 variables
				Allocated 32 MB (total 4180 MB)
				Allocated 32 MB permanent (total 4686 MB)
Horizon 65: 6727489 variables
				Allocated 32 MB permanent (total 5223 MB)
Horizon 70: 7244959 variables
				Allocated 32 MB permanent (total 5791 MB)
				Allocated 32 MB permanent (total 5823 MB)
Horizon 75: 7762429 variables
				Allocated 32 MB permanent (total 6420 MB)
				Allocated 32 MB permanent (total 6452 MB)
Horizon 80: 8279899 variables
				Allocated 32 MB permanent (total 7081 MB)
Horizon 85: 8797369 variables
				Allocated 32 MB (total 7113 MB)
				Allocated 32 MB permanent (total 7772 MB)
				Allocated 32 MB permanent (total 7804 MB)
Horizon 90: 9314839 variables
ATTENTION: Horizon 95 will not be started: memory allocated 7804.53 MB limit 8192.00 MB
				Allocated 32 MB (total 7836 MB)
				Allocated 32 MB (total 7868 MB)
				Allocated 32 MB (total 7900 MB)
				Allocated 32 MB (total 7932 MB)
				Allocated 32 MB (total 7964 MB)
				Allocated 32 MB (total 7996 MB)
						GC: 180.36 MB
				Allocated 32 MB (total 8028 MB)
				Allocated 32 MB (total 8060 MB)
				Allocated 32 MB (total 8092 MB)
				Allocated 32 MB (total 8124 MB)
				Allocated 32 MB (total 8156 MB)
						GC: 246.35 MB
				Allocated 32 MB (total 8188 MB)
				Allocated 32 MB (total 8220 MB)
ATTENTION: Memory bound 8192.00 MB reached, 8220.53 MB allocated
						GC: 313.76 MB
						GC: 149.91 MB
						GC: 229.76 MB
						GC: 131.36 MB
						GC: 152.26 MB
						GC: 168.94 MB
						GC: 164.68 MB
						GC: 135.33 MB
						GC: 143.28 MB
						GC: 124.04 MB
						GC: 139.41 MB
						GC: 146.44 MB
						GC: 146.85 MB
						GC: 153.35 MB
						GC: 160.50 MB
						GC: 158.18 MB
						GC: 147.04 MB
						GC: 157.51 MB
						GC: 152.54 MB
						GC: 136.71 MB