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

Domain: freecell
Problem: freecell-4-1
Parser: 19000 ground actions and 585 state variables
Invariants: 0 1 2  0.04 secs
Goal: conjunctive
Simplified: 7373 ground actions and 129 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.29 secs (max SCC size 7329)
Plan type: E-step
Heuristic: VSIDS
				Allocated 32 MB permanent (total 215 MB)
Horizon 0: 129 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 153009 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 305889 variables
				Allocated 32 MB (total 520 MB)
Horizon 15: 458769 variables
Horizon 20: 611649 variables
Horizon 25: 764529 variables
Horizon 30: 917409 variables
Horizon 35: 1070289 variables
				Allocated 32 MB permanent (total 1371 MB)
Horizon 40: 1223169 variables
				Allocated 32 MB (total 1403 MB)
Horizon 45: 1376049 variables
Horizon 50: 1528929 variables
				Allocated 32 MB permanent (total 1992 MB)
Horizon 55: 1681809 variables
				Allocated 32 MB (total 2024 MB)
Horizon 60: 1834689 variables
				Allocated 32 MB (total 2264 MB)
Horizon 65: 1987569 variables
				Allocated 32 MB permanent (total 2743 MB)
Horizon 70: 2140449 variables
				Allocated 32 MB (total 2775 MB)
				Allocated 32 MB (total 2807 MB)
Horizon 75: 2293329 variables
				Allocated 32 MB permanent (total 3331 MB)
Horizon 80: 2446209 variables
				Allocated 32 MB (total 3363 MB)
Horizon 85: 2599089 variables
				Allocated 32 MB (total 3657 MB)
				Allocated 32 MB permanent (total 3963 MB)
Horizon 90: 2751969 variables
				Allocated 32 MB (total 3995 MB)
Horizon 95: 2904849 variables
				Allocated 32 MB permanent (total 4606 MB)
Horizon 100: 3057729 variables
				Allocated 32 MB (total 4638 MB)
				Allocated 32 MB permanent (total 4976 MB)
Horizon 105: 3210609 variables
				Allocated 32 MB (total 5008 MB)
				Allocated 32 MB (total 5040 MB)
				Allocated 32 MB (total 5072 MB)
				Allocated 32 MB (total 5104 MB)
				Allocated 32 MB (total 5136 MB)
				Allocated 32 MB (total 5168 MB)
				Allocated 32 MB (total 5200 MB)
				Allocated 32 MB (total 5232 MB)
				Allocated 32 MB (total 5264 MB)
				Allocated 32 MB (total 5296 MB)
				Allocated 32 MB (total 5328 MB)
				Allocated 32 MB (total 5360 MB)
				Allocated 32 MB (total 5392 MB)
				Allocated 32 MB (total 5424 MB)
				Allocated 32 MB (total 5456 MB)
				Allocated 32 MB (total 5488 MB)
				Allocated 32 MB (total 5520 MB)
				Allocated 32 MB (total 5552 MB)
SAT (60585 decisions 2049 conflicts)
PLAN FOUND: 10 steps
STEP 0: move(h2,s4,s3) sendtofree(h4,da,n4,n3) sendtonewcol(d3,c2,n1,n0)
STEP 1.0: move(c2,ca,d3) sendtofree(h2,s3,n3,n2)
STEP 1.1: move-b(da,c2,n0,n1)
STEP 2: move-b(d2,s3,n1,n2) sendtohome(ca,sa,c,n1,c0,n0) sendtohome(da,c2,d,n1,d0,n0)
STEP 3: sendtofree(d4,ha,n2,n1) sendtohome(c2,d3,c,n2,ca,n1) sendtohome(d2,s3,d,n2,da,n1) sendtohome-b(sa,s,n1,s0,n0,n2,n3)
STEP 4: sendtofree(s3,c4,n1,n0) sendtohome-b(d3,d,n3,d2,n2,n3,n4)
STEP 5: homefromfreecell(d4,d,n4,d3,n3,n0,n1) sendtohome(c3,h3,c,n3,c2,n2)
STEP 6: sendtohome(c4,s2,c,n4,c3,n3) sendtohome-b(ha,h,n1,h0,n0,n4,n5)
STEP 7: homefromfreecell(h2,h,n2,ha,n1,n1,n2) sendtohome-b(s2,s,n2,sa,n1,n5,n6)
STEP 8: homefromfreecell(s3,s,n3,s2,n2,n2,n3) sendtohome-b(h3,h,n3,h2,n2,n6,n7)
STEP 9: homefromfreecell(h4,h,n4,h3,n3,n3,n4) sendtohome-b(s4,s,n4,s3,n3,n7,n8)
25 actions in the plan.
total time 45.07 preprocess 0.48 
total size 5.548 GB
max. learned clause length 250292
t val conflicts decisions
0 0 0 0
5 0 0 0
10 1 2049 60585