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