Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS) Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2004/domains/pipesworld-no-tankage-nontemporal-strips/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2004/domains/pipesworld-no-tankage-nontemporal-strips/instances/instance-16.pddlignoring --stats ignoring --verbose -m 8192 Domain: pipesworld_strips Problem: network2new_all_14_6_instance Parser: 1288 ground actions and 339 state variables Invariants: 0 1 2 3 4 5 0.02 secs Goal: conjunctive Simplified: 1011 ground actions and 231 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.01 secs (max SCC size 28) Plan type: E-step Allocated 32 MB permanent (total 127 MB) Horizon 0: 231 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 7631 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 15031 variables Allocated 32 MB (total 390 MB) Horizon 15: 22431 variables Horizon 20: 29831 variables Horizon 25: 37231 variables Horizon 30: 44631 variables 10 UNSAT (311 decisions 252 conflicts) Horizon 35: 52031 variables Horizon 40: 59431 variables Horizon 45: 66831 variables Horizon 50: 74231 variables Horizon 55: 81631 variables Horizon 60: 89031 variables Horizon 65: 96431 variables Horizon 70: 103831 variables Horizon 75: 111231 variables Horizon 80: 118631 variables Allocated 32 MB permanent (total 1633 MB) Horizon 85: 126031 variables Horizon 90: 133431 variables Horizon 95: 140831 variables Horizon 100: 148231 variables Horizon 105: 155631 variables Horizon 110: 163031 variables GC: 8.35 MB GC: 14.86 MB 15 UNSAT (7803 decisions 5905 conflicts) Horizon 115: 170431 variables GC: 25.92 MB GC: 18.89 MB GC: 18.32 MB GC: 21.05 MB Allocated 32 MB (total 2177 MB) GC: 24.41 MB GC: 27.58 MB GC: 28.58 MB GC: 29.02 MB GC: 32.13 MB GC: 31.51 MB GC: 32.93 MB GC: 36.42 MB GC: 35.52 MB GC: 39.92 MB GC: 40.65 MB GC: 41.12 MB GC: 44.37 MB GC: 43.39 MB GC: 44.93 MB GC: 45.12 MB GC: 44.14 MB Allocated 32 MB (total 2209 MB) GC: 49.83 MB GC: 48.77 MB GC: 50.68 MB GC: 52.80 MB GC: 51.53 MB GC: 53.65 MB GC: 55.08 MB GC: 61.75 MB GC: 60.82 MB GC: 63.91 MB GC: 66.45 MB GC: 68.02 MB Allocated 32 MB (total 2241 MB) GC: 72.97 MB GC: 73.22 MB GC: 77.08 MB GC: 79.90 MB GC: 84.20 MB GC: 89.81 MB GC: 91.45 MB GC: 82.79 MB GC: 84.01 MB GC: 88.59 MB GC: 92.38 MB GC: 99.33 MB GC: 92.04 MB GC: 97.40 MB GC: 91.46 MB GC: 84.78 MB GC: 90.42 MB GC: 89.09 MB GC: 89.90 MB Allocated 32 MB (total 2273 MB) GC: 105.30 MB GC: 96.71 MB GC: 93.68 MB GC: 92.85 MB GC: 95.60 MB GC: 96.79 MB GC: 93.99 MB GC: 100.42 MB GC: 105.62 MB GC: 101.34 MB GC: 96.29 MB GC: 105.00 MB GC: 109.05 MB SAT (142953 decisions 78301 conflicts) PLAN FOUND: 80 steps STEP 0: pop-start(s13,b4,a1,a3,b7,oca1,lco) push-start(s12,b8,a1,a2,b10,rat-a,rat-a) STEP 1: pop-end(s13,a1,a3,b12,b7) push-end(s12,a1,a2,b1,b10) STEP 2: pop-start(s13,b6,a1,a3,b4,lco,oca1) push-start(s12,b12,a1,a2,b8,rat-a,rat-a) STEP 3: pop-end(s13,a1,a3,b7,b4) push-end(s12,a1,a2,b10,b8) STEP 4: push-start(s12,b7,a1,a2,b12,lco,rat-a) push-start(s13,b2,a1,a3,b4,oca1,oca1) STEP 5: push-end(s12,a1,a2,b8,b12) push-end(s13,a1,a3,b6,b4) STEP 6: pop-start(s13,b6,a1,a3,b4,lco,oca1) push-start(s12,b9,a1,a2,b7,oc1b,lco) STEP 7: pop-end(s13,a1,a3,b2,b4) push-end(s12,a1,a2,b12,b7) STEP 8: pop-start(s13,b13,a1,a3,b6,rat-a,lco) push-start(s12,b2,a1,a2,b9,oca1,oc1b) STEP 9: pop-end(s13,a1,a3,b4,b6) push-end(s12,a1,a2,b7,b9) STEP 10: pop-start(s12,b1,a1,a2,b9,oca1,oc1b) push-start(s13,b4,a1,a3,b6,oca1,lco) STEP 11: pop-end(s12,a1,a2,b2,b9) push-end(s13,a1,a3,b13,b6) STEP 12: pop-start(s12,b7,a1,a2,b1,lco,oca1) pop-start(s13,b13,a1,a3,b6,rat-a,lco) STEP 13: pop-end(s12,a1,a2,b9,b1) pop-end(s13,a1,a3,b4,b6) STEP 14: pop-start(s12,b10,a1,a2,b7,rat-a,lco) STEP 15: pop-end(s12,a1,a2,b1,b7) STEP 16: pop-start(s12,b3,a1,a2,b10,rat-a,rat-a) push-start(s13,b1,a1,a3,b6,oca1,lco) STEP 17: pop-end(s12,a1,a2,b7,b10) push-end(s13,a1,a3,b13,b6) STEP 18: pop-start(s12,b12,a1,a2,b3,rat-a,rat-a) push-start(s13,b9,a1,a3,b1,oc1b,oca1) STEP 19: pop-end(s12,a1,a2,b10,b3) push-end(s13,a1,a3,b6,b1) STEP 20: pop-start(s12,b5,a1,a2,b12,rat-a,rat-a) push-start(s13,b7,a1,a3,b9,lco,oc1b) STEP 21: pop-end(s12,a1,a2,b3,b12) push-end(s13,a1,a3,b1,b9) STEP 22: pop-start(s12,b0,a1,a2,b5,rat-a,rat-a) pop-start(s13,b6,a1,a3,b9,lco,oc1b) STEP 23: pop-end(s12,a1,a2,b12,b5) pop-end(s13,a1,a3,b7,b9) STEP 24: pop-start(s12,b8,a1,a2,b0,rat-a,rat-a) push-start(s13,b7,a1,a3,b9,lco,oc1b) STEP 25: pop-end(s12,a1,a2,b5,b0) push-end(s13,a1,a3,b6,b9) STEP 26: push-start(s12,b5,a1,a2,b0,rat-a,rat-a) push-start(s13,b3,a1,a3,b7,rat-a,lco) STEP 27: push-end(s12,a1,a2,b8,b0) push-end(s13,a1,a3,b9,b7) STEP 28: pop-start(s13,b13,a1,a3,b7,rat-a,lco) push-start(s12,b12,a1,a2,b5,rat-a,rat-a) STEP 29: pop-end(s13,a1,a3,b3,b7) push-end(s12,a1,a2,b0,b5) STEP 30: pop-start(s12,b0,a1,a2,b5,rat-a,rat-a) pop-start(s13,b6,a1,a3,b13,lco,rat-a) STEP 31: pop-end(s12,a1,a2,b12,b5) pop-end(s13,a1,a3,b7,b13) STEP 32: pop-start(s12,b8,a1,a2,b0,rat-a,rat-a) push-start(s13,b3,a1,a3,b13,rat-a,rat-a) STEP 33: pop-end(s12,a1,a2,b5,b0) push-end(s13,a1,a3,b6,b13) STEP 34: push-start(s12,b5,a1,a2,b0,rat-a,rat-a) push-start(s13,b12,a1,a3,b3,rat-a,rat-a) STEP 35: push-end(s12,a1,a2,b8,b0) push-end(s13,a1,a3,b13,b3) STEP 36: pop-start(s12,b8,a1,a2,b0,rat-a,rat-a) push-start(s13,b7,a1,a3,b12,lco,rat-a) STEP 37: pop-end(s12,a1,a2,b5,b0) push-end(s13,a1,a3,b3,b12) STEP 38: pop-start(s13,b6,a1,a3,b12,lco,rat-a) push-start(s12,b10,a1,a2,b0,rat-a,rat-a) STEP 39: pop-end(s13,a1,a3,b7,b12) push-end(s12,a1,a2,b8,b0) STEP 40: pop-start(s13,b9,a1,a3,b6,oc1b,lco) push-start(s12,b7,a1,a2,b10,lco,rat-a) STEP 41: pop-end(s13,a1,a3,b12,b6) push-end(s12,a1,a2,b0,b10) STEP 42: pop-start(s12,b8,a1,a2,b10,rat-a,rat-a) pop-start(s13,b1,a1,a3,b9,oca1,oc1b) STEP 43: pop-end(s12,a1,a2,b7,b10) pop-end(s13,a1,a3,b6,b9) STEP 44: push-start(s12,b6,a1,a2,b10,lco,rat-a) push-start(s13,b7,a1,a3,b9,lco,oc1b) STEP 45: push-end(s12,a1,a2,b8,b10) push-end(s13,a1,a3,b1,b9) STEP 46: pop-start(s13,b1,a1,a3,b9,oca1,oc1b) push-start(s12,b2,a1,a2,b6,oca1,lco) STEP 47: pop-end(s13,a1,a3,b7,b9) push-end(s12,a1,a2,b10,b6) STEP 48: push-start(s12,b7,a1,a2,b2,lco,oca1) push-start(s13,b4,a1,a3,b9,oca1,oc1b) STEP 49: push-end(s12,a1,a2,b6,b2) push-end(s13,a1,a3,b1,b9) STEP 50: push-start(s12,b12,a1,a2,b7,rat-a,lco) STEP 51: push-end(s12,a1,a2,b2,b7) STEP 52: pop-start(s12,b0,a1,a2,b7,rat-a,lco) STEP 53: pop-end(s12,a1,a2,b12,b7) STEP 54: pop-start(s12,b8,a1,a2,b0,rat-a,rat-a) STEP 55: pop-end(s12,a1,a2,b7,b0) STEP 56: push-start(s12,b5,a1,a2,b0,rat-a,rat-a) STEP 57: push-end(s12,a1,a2,b8,b0) 106 actions in the plan. total time 366.76 preprocess 0.03 total size 2.297 GB max. learned clause length 13554 t val conflicts decisions 0 0 0 0 5 0 0 0 10 0 252 311 15 0 5905 7803 20 -1 277281 405407 25 -1 249553 422449 30 -1 224528 402959 35 -1 202050 367201 40 -1 181839 333082 45 -1 163678 299316 50 -1 147239 269154 55 -1 132553 243573 60 -1 119316 216221 65 -1 107402 197614 70 -1 96691 174942 75 -1 86982 160001 80 1 78301 142953