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-13.pddlignoring --stats
ignoring --verbose

Domain: freecell
Problem: freecell-4-3
Parser: 19000 ground actions and 585 state variables
Invariants: 0 1 2  0.04 secs
Goal: conjunctive
Simplified: 7316 ground actions and 127 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.29 secs (max SCC size 7270)
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 permanent (total 1368 MB)
Horizon 40: 1217407 variables
				Allocated 32 MB (total 1400 MB)
Horizon 45: 1369567 variables
Horizon 50: 1521727 variables
				Allocated 32 MB (total 1792 MB)
				Allocated 32 MB permanent (total 2020 MB)
Horizon 55: 1673887 variables
Horizon 60: 1826047 variables
				Allocated 32 MB (total 2259 MB)
Horizon 65: 1978207 variables
				Allocated 32 MB (total 2509 MB)
				Allocated 32 MB permanent (total 2769 MB)
Horizon 70: 2130367 variables
				Allocated 32 MB (total 2801 MB)
				Allocated 32 MB (total 2833 MB)
				Allocated 32 MB (total 2865 MB)
				Allocated 32 MB (total 2897 MB)
				Allocated 32 MB (total 2929 MB)
				Allocated 32 MB (total 2961 MB)
				Allocated 32 MB (total 2993 MB)
				Allocated 32 MB (total 3025 MB)
				Allocated 32 MB (total 3057 MB)
				Allocated 32 MB (total 3089 MB)
				Allocated 32 MB (total 3121 MB)
				Allocated 32 MB (total 3153 MB)
				Allocated 32 MB (total 3185 MB)
				Allocated 32 MB (total 3217 MB)
Horizon 75: 2282527 variables
				Allocated 32 MB (total 3489 MB)
				Allocated 32 MB permanent (total 3771 MB)
Horizon 80: 2434687 variables
				Allocated 32 MB (total 3803 MB)
Horizon 85: 2586847 variables
				Allocated 32 MB (total 4097 MB)
				Allocated 32 MB permanent (total 4401 MB)
Horizon 90: 2739007 variables
SAT (153684 decisions 980 conflicts)
PLAN FOUND: 20 steps
STEP 0: move(h3,s2,c4) move(s3,da,h4) sendtofree(s4,c2,n4,n3)
STEP 1: move(da,d4,s2) sendtofree-b(d3,n3,n2,n0,n1)
STEP 2: move(da,s2,c2) newcolfromfreecell(s4,n1,n0,n2,n3)
STEP 3.0: move-b(s2,h3,n0,n1) sendtofree(s3,h4,n3,n2)
STEP 3.1: move(da,c2,s2)
STEP 4: move(da,s2,c2) sendtofree-b(d4,n2,n1,n1,n2)
STEP 5: sendtofree-b(h4,n1,n0,n2,n3) sendtohome(ha,ca,h,n1,h0,n0)
STEP 6: colfromfreecell(d3,s4,n0,n1) sendtohome(da,c2,d,n1,d0,n0) sendtohome-b(h2,h,n2,ha,n1,n3,n4)
STEP 7: move(s2,h3,d3) sendtofree(c2,sa,n1,n0) sendtohome-b(ca,c,n1,c0,n0,n4,n5)
STEP 8: homefromfreecell(c2,c,n2,ca,n1,n0,n1) sendtohome(h3,c4,h,n3,h2,n2) sendtohome(sa,d2,s,n1,s0,n0)
STEP 9: sendtofree(c4,c3,n1,n0) sendtohome(s2,d3,s,n2,sa,n1) sendtohome-b(d2,d,n2,da,n1,n5,n6)
STEP 10: homefromfreecell(s3,s,n3,s2,n2,n0,n1) sendtohome(d3,s4,d,n3,d2,n2) sendtohome-b(c3,c,n3,c2,n2,n6,n7)
STEP 11: sendtohome-b(s4,s,n4,s3,n3,n7,n8)
STEP 12: homefromfreecell(h4,h,n4,h3,n3,n1,n2)
STEP 13: homefromfreecell(c4,c,n4,c3,n3,n2,n3)
STEP 14: newcolfromfreecell(d4,n8,n7,n3,n4)
STEP 19: sendtohome-b(d4,d,n4,d3,n3,n7,n8)
34 actions in the plan.
total time 62.49 preprocess 0.48 
total size 4.423 GB
max. learned clause length 160038
t val conflicts decisions
0 0 0 0
5 0 0 0
10 -1 1171 10812
15 -1 1017 67841
20 1 980 153684