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-58.pddlignoring --stats
ignoring --verbose
 -m 8192
Domain: freecell
Problem: freecell-13-3
Parser: 112600 ground actions and 3609 state variables
Invariants: 0 1 2 3  0.15 secs
Goal: conjunctive
Simplified: 25333 ground actions and 379 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 3.91 secs (max SCC size 25190)
Plan type: E-step
				Allocated 32 MB permanent (total 444 MB)
Horizon 0: 379 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 517804 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 1035229 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 1552654 variables
15 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1201 MB)
Horizon 20: 2070079 variables
				Allocated 32 MB (total 1233 MB)
Horizon 25: 2587504 variables
				Allocated 32 MB permanent (total 1754 MB)
Horizon 30: 3104929 variables
Horizon 35: 3622354 variables
				Allocated 32 MB permanent (total 2397 MB)
Horizon 40: 4139779 variables
				Allocated 32 MB permanent (total 2781 MB)
Horizon 45: 4657204 variables
				Allocated 32 MB permanent (total 3195 MB)
Horizon 50: 5174629 variables
				Allocated 32 MB permanent (total 3640 MB)
Horizon 55: 5692054 variables
				Allocated 32 MB permanent (total 4116 MB)
				Allocated 32 MB permanent (total 4148 MB)
Horizon 60: 6209479 variables
				Allocated 32 MB permanent (total 4654 MB)
Horizon 65: 6726904 variables
				Allocated 32 MB (total 4686 MB)
				Allocated 32 MB permanent (total 5223 MB)
Horizon 70: 7244329 variables
				Allocated 32 MB permanent (total 5790 MB)
				Allocated 32 MB permanent (total 5822 MB)
Horizon 75: 7761754 variables
				Allocated 32 MB permanent (total 6420 MB)
				Allocated 32 MB permanent (total 6452 MB)
Horizon 80: 8279179 variables
				Allocated 32 MB (total 6484 MB)
				Allocated 32 MB permanent (total 7112 MB)
Horizon 85: 8796604 variables
				Allocated 32 MB permanent (total 7771 MB)
				Allocated 32 MB permanent (total 7803 MB)
Horizon 90: 9314029 variables
ATTENTION: Horizon 95 will not be started: memory allocated 7803.75 MB limit 8192.00 MB
				Allocated 32 MB (total 7835 MB)
				Allocated 32 MB (total 7867 MB)
				Allocated 32 MB (total 7899 MB)
				Allocated 32 MB (total 7931 MB)
				Allocated 32 MB (total 7963 MB)
				Allocated 32 MB (total 7995 MB)
						GC: 190.89 MB
20 UNSAT (3366 decisions 2687 conflicts)
				Allocated 32 MB (total 8027 MB)
				Allocated 32 MB (total 8059 MB)
				Allocated 32 MB (total 8091 MB)
				Allocated 32 MB (total 8123 MB)
						GC: 317.11 MB
						GC: 247.64 MB
				Allocated 32 MB (total 8155 MB)
				Allocated 32 MB (total 8187 MB)
						GC: 258.11 MB
				Allocated 32 MB (total 8219 MB)
ATTENTION: Memory bound 8192.00 MB reached, 8219.75 MB allocated
						GC: 369.05 MB
						GC: 159.35 MB
						GC: 167.38 MB
						GC: 164.67 MB
						GC: 158.73 MB
						GC: 169.24 MB
						GC: 161.41 MB
						GC: 154.89 MB
						GC: 185.17 MB
						GC: 152.70 MB
						GC: 171.58 MB
						GC: 171.13 MB
						GC: 166.76 MB
						GC: 163.22 MB
						GC: 366.30 MB
						GC: 150.11 MB