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-52.pddlignoring --stats
ignoring --verbose
 -m 8192
Domain: freecell
Problem: freecell-12-2
Parser: 98488 ground actions and 3145 state variables
Invariants: 0 1 2 3  0.14 secs
Goal: conjunctive
Simplified: 23335 ground actions and 351 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 3.09 secs (max SCC size 23198)
Plan type: E-step
				Allocated 32 MB permanent (total 417 MB)
Horizon 0: 351 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 477206 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 954061 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 1430916 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 1907771 variables
				Allocated 32 MB (total 1147 MB)
				Allocated 32 MB permanent (total 1396 MB)
Horizon 25: 2384626 variables
Horizon 30: 2861481 variables
				Allocated 32 MB permanent (total 1947 MB)
Horizon 35: 3338336 variables
				Allocated 32 MB permanent (total 2281 MB)
Horizon 40: 3815191 variables
				Allocated 32 MB permanent (total 2643 MB)
Horizon 45: 4292046 variables
				Allocated 32 MB permanent (total 3034 MB)
Horizon 50: 4768901 variables
				Allocated 32 MB permanent (total 3452 MB)
Horizon 55: 5245756 variables
				Allocated 32 MB permanent (total 3899 MB)
Horizon 60: 5722611 variables
				Allocated 32 MB permanent (total 4374 MB)
Horizon 65: 6199466 variables
				Allocated 32 MB (total 4406 MB)
				Allocated 32 MB permanent (total 4909 MB)
Horizon 70: 6676321 variables
				Allocated 32 MB permanent (total 5440 MB)
				Allocated 32 MB permanent (total 5472 MB)
Horizon 75: 7153176 variables
				Allocated 32 MB permanent (total 6031 MB)
Horizon 80: 7630031 variables
				Allocated 32 MB permanent (total 6619 MB)
				Allocated 32 MB permanent (total 6651 MB)
Horizon 85: 8106886 variables
				Allocated 32 MB (total 6683 MB)
				Allocated 32 MB permanent (total 7299 MB)
				Allocated 32 MB permanent (total 7331 MB)
Horizon 90: 8583741 variables
				Allocated 32 MB permanent (total 7975 MB)
				Allocated 32 MB permanent (total 8007 MB)
Horizon 95: 9060596 variables
				Allocated 32 MB (total 8039 MB)
ATTENTION: Horizon 100 will not be started: memory allocated 8039.61 MB limit 8192.00 MB
				Allocated 32 MB (total 8071 MB)
				Allocated 32 MB (total 8103 MB)
				Allocated 32 MB (total 8135 MB)
				Allocated 32 MB (total 8167 MB)
				Allocated 32 MB (total 8199 MB)
ATTENTION: Memory bound 8192.00 MB reached, 8199.61 MB allocated
						GC: 132.71 MB
				Allocated 32 MB (total 8231 MB)
						GC: 168.76 MB
20 UNSAT (5243 decisions 4517 conflicts)
						GC: 203.73 MB
						GC: 103.42 MB
						GC: 126.90 MB
						GC: 97.44 MB
						GC: 223.59 MB
						GC: 97.48 MB
						GC: 140.33 MB
						GC: 131.71 MB
						GC: 121.18 MB
						GC: 106.87 MB
						GC: 128.94 MB
						GC: 124.77 MB
						GC: 133.03 MB
						GC: 121.88 MB
						GC: 134.33 MB
						GC: 122.68 MB
						GC: 124.47 MB
						GC: 126.23 MB
						GC: 141.26 MB
						GC: 120.68 MB
						GC: 121.19 MB
						GC: 110.20 MB
						GC: 110.80 MB

