Madagascar 0.99999 25/02/2015 09:03:18 amd64 1-core
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-15.pddlignoring --stats
ignoring --verbose

Domain: freecell
Problem: freecell-4-5
Parser: 19000 ground actions and 585 state variables
Invariants: 0 1 2  0.04 secs
Goal: conjunctive
Simplified: 7317 ground actions and 127 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.30 secs (max SCC size 7269)
Plan type: E-step
Heuristic: VSIDS
				Allocated 32 MB permanent (total 215 MB)
Horizon 0: 127 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 152287 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 304447 variables
				Allocated 32 MB (total 519 MB)
Horizon 15: 456607 variables
Horizon 20: 608767 variables
Horizon 25: 760927 variables
Horizon 30: 913087 variables
Horizon 35: 1065247 variables
				Allocated 32 MB (total 1205 MB)
				Allocated 32 MB permanent (total 1400 MB)
Horizon 40: 1217407 variables
				Allocated 32 MB (total 1432 MB)
Horizon 45: 1369567 variables
				Allocated 32 MB (total 1639 MB)
Horizon 50: 1521727 variables
				Allocated 32 MB (total 1856 MB)
				Allocated 32 MB permanent (total 2084 MB)
Horizon 55: 1673887 variables
				Allocated 32 MB (total 2116 MB)
Horizon 60: 1826047 variables
Horizon 65: 1978207 variables
				Allocated 32 MB (total 2573 MB)
				Allocated 32 MB (total 2605 MB)
				Allocated 32 MB permanent (total 2865 MB)
Horizon 70: 2130367 variables
				Allocated 32 MB (total 2897 MB)
Horizon 75: 2282527 variables
				Allocated 32 MB (total 3169 MB)
				Allocated 32 MB permanent (total 3451 MB)
Horizon 80: 2434687 variables
				Allocated 32 MB (total 3483 MB)
Horizon 85: 2586847 variables
				Allocated 32 MB (total 3777 MB)
				Allocated 32 MB (total 3809 MB)
				Allocated 32 MB permanent (total 4113 MB)
Horizon 90: 2739007 variables
				Allocated 32 MB (total 4145 MB)
				Allocated 32 MB (total 4177 MB)
				Allocated 32 MB (total 4209 MB)
Horizon 95: 2891167 variables
				Allocated 32 MB (total 4524 MB)
				Allocated 32 MB (total 4556 MB)
				Allocated 32 MB (total 4588 MB)
				Allocated 32 MB permanent (total 4914 MB)
Horizon 100: 3043327 variables
				Allocated 32 MB (total 4946 MB)
				Allocated 32 MB (total 4978 MB)
				Allocated 32 MB (total 5010 MB)
				Allocated 32 MB permanent (total 5347 MB)
Horizon 105: 3195487 variables
				Allocated 32 MB (total 5379 MB)
				Allocated 32 MB (total 5411 MB)
				Allocated 32 MB (total 5443 MB)
				Allocated 32 MB (total 5475 MB)
				Allocated 32 MB (total 5507 MB)
				Allocated 32 MB (total 5539 MB)
				Allocated 32 MB (total 5571 MB)
				Allocated 32 MB (total 5603 MB)
				Allocated 32 MB (total 5635 MB)
				Allocated 32 MB (total 5667 MB)
				Allocated 32 MB (total 5699 MB)
						GC: 742.82 MB
SAT (593010 decisions 2891 conflicts)
PLAN FOUND: 25 steps
STEP 0: move-b(c2,h3,n0,n1) sendtofree(h4,c3,n4,n3) sendtohome(ca,s4,c,n1,c0,n0) sendtohome(da,sa,d,n1,d0,n0)
STEP 1: move(h2,s3,c3) sendtofree(s4,d3,n3,n2) sendtohome-b(d2,d,n2,da,n1,n1,n2)
STEP 2: move(s3,ha,d4) newcolfromfreecell(h4,n2,n1,n2,n3) sendtohome(c2,h3,c,n2,ca,n1)
STEP 3: sendtofree(h2,c3,n3,n2) sendtonewcol(s3,d4,n1,n0)
STEP 4: colfromfreecell(h2,s3,n2,n3) sendtohome(c3,s2,c,n3,c2,n2) sendtohome-b(d3,d,n3,d2,n2,n0,n1)
STEP 5: newcolfromfreecell(s4,n1,n0,n3,n4)
STEP 6: move-b(s2,h3,n0,n1) sendtofree(h2,s3,n4,n3)
STEP 7: sendtohome-b(ha,h,n1,h0,n0,n1,n2)
STEP 8: homefromfreecell(h2,h,n2,ha,n1,n3,n4) move-b(s3,d4,n2,n3)
STEP 9: move(s3,d4,h4) sendtofree(s2,h3,n4,n3) sendtohome-b(sa,s,n1,s0,n0,n3,n4)
STEP 10: sendtohome-b(h3,h,n3,h2,n2,n4,n5)
STEP 12: sendtofree-b(s4,n3,n2,n5,n6) sendtohome(d4,c4,d,n4,d3,n3)
STEP 13: sendtofree(s3,h4,n2,n1)
STEP 14: sendtohome-b(h4,h,n4,h3,n3,n6,n7)
STEP 15: sendtofree-b(c4,n1,n0,n7,n8)
STEP 16: newcolfromfreecell(s4,n8,n7,n0,n1)
STEP 17: homefromfreecell(s2,s,n2,sa,n1,n1,n2)
STEP 18: homefromfreecell(s3,s,n3,s2,n2,n2,n3)
STEP 22: homefromfreecell(c4,c,n4,c3,n3,n3,n4)
STEP 24: sendtohome-b(s4,s,n4,s3,n3,n7,n8)
35 actions in the plan.
total time 60.51 preprocess 0.47 
total size 5.692 GB
max. learned clause length 457519
t val conflicts decisions
0 0 0 0
5 0 0 0
10 -1 4426 76810
15 -1 3867 179555
20 -1 3242 276732
25 1 2891 593010

