Madagascar 0.99999 25/02/2015 09:45:59 amd64 1-core (no VSIDS)
Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-84.pddlignoring --stats
ignoring --verbose

Domain: blocks
Problem: blocks-41-1
Parser: 3444 ground actions and 1805 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12  2.23 secs
Goal: conjunctive
Simplified: 3444 ground actions and 1805 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.19 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 158 MB)
Horizon 5: 28050 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 7: 38548 variables
7 UNSAT (0 decisions 0 conflicts)
Horizon 10: 54295 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 14: 75291 variables
14 UNSAT (0 decisions 0 conflicts)
Horizon 20: 106785 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 28: 148777 variables
28 UNSAT (0 decisions 0 conflicts)
Horizon 40: 211765 variables
40 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 860 MB)
Horizon 56: 295749 variables
				Allocated 32 MB (total 892 MB)
Horizon 80: 421725 variables
56 UNSAT (113 decisions 97 conflicts)
				Allocated 32 MB permanent (total 1137 MB)
Horizon 113: 594942 variables
				Allocated 32 MB permanent (total 1295 MB)
Horizon 160: 841645 variables
				Allocated 32 MB permanent (total 1473 MB)
				Allocated 32 MB permanent (total 1505 MB)
Horizon 226: 1188079 variables
				Allocated 32 MB permanent (total 1713 MB)
				Allocated 32 MB permanent (total 1745 MB)
Horizon 320: 1681485 variables
				Allocated 32 MB permanent (total 1994 MB)
				Allocated 32 MB permanent (total 2026 MB)
				Allocated 32 MB permanent (total 2058 MB)
Horizon 452: 2374353 variables
				Allocated 32 MB permanent (total 2365 MB)
				Allocated 32 MB permanent (total 2397 MB)
				Allocated 32 MB permanent (total 2429 MB)
				Allocated 32 MB permanent (total 2461 MB)
Horizon 640: 3361165 variables
				Allocated 32 MB permanent (total 2850 MB)
				Allocated 32 MB permanent (total 2882 MB)
				Allocated 32 MB permanent (total 2914 MB)
				Allocated 32 MB permanent (total 2946 MB)
				Allocated 32 MB permanent (total 2978 MB)
				Allocated 32 MB permanent (total 3010 MB)
Horizon 905: 4752150 variables
				Allocated 32 MB permanent (total 3516 MB)
				Allocated 32 MB permanent (total 3548 MB)
				Allocated 32 MB permanent (total 3580 MB)
				Allocated 32 MB permanent (total 3612 MB)
				Allocated 32 MB permanent (total 3644 MB)
				Allocated 32 MB permanent (total 3676 MB)
				Allocated 32 MB permanent (total 3708 MB)
				Allocated 32 MB permanent (total 3740 MB)
				Allocated 32 MB permanent (total 3772 MB)
Horizon 1280: 6720525 variables
				Allocated 32 MB permanent (total 4442 MB)
				Allocated 32 MB permanent (total 4474 MB)
				Allocated 32 MB permanent (total 4506 MB)
				Allocated 32 MB permanent (total 4538 MB)
				Allocated 32 MB permanent (total 4570 MB)
				Allocated 32 MB permanent (total 4602 MB)
				Allocated 32 MB permanent (total 4634 MB)
				Allocated 32 MB permanent (total 4666 MB)
				Allocated 32 MB permanent (total 4698 MB)
				Allocated 32 MB permanent (total 4730 MB)
				Allocated 32 MB permanent (total 4762 MB)
				Allocated 32 MB permanent (total 4794 MB)
Horizon 1810: 9502495 variables
				Allocated 32 MB permanent (total 5697 MB)
				Allocated 32 MB permanent (total 5729 MB)
				Allocated 32 MB permanent (total 5761 MB)
				Allocated 32 MB permanent (total 5793 MB)
				Allocated 32 MB permanent (total 5825 MB)
				Allocated 32 MB permanent (total 5857 MB)
				Allocated 32 MB permanent (total 5889 MB)
				Allocated 32 MB permanent (total 5921 MB)
				Allocated 32 MB permanent (total 5953 MB)
				Allocated 32 MB permanent (total 5985 MB)
				Allocated 32 MB permanent (total 6017 MB)
				Allocated 32 MB permanent (total 6049 MB)
				Allocated 32 MB permanent (total 6081 MB)
				Allocated 32 MB permanent (total 6113 MB)
				Allocated 32 MB permanent (total 6145 MB)
				Allocated 32 MB permanent (total 6177 MB)
				Allocated 32 MB permanent (total 6209 MB)
				Allocated 32 MB permanent (total 6241 MB)
Horizon 2560: 13439245 variables
SAT (3845 decisions 949 conflicts)
PLAN FOUND: 905 steps
STEP 0: unstack(p,c1)
STEP 1: put-down(p)
STEP 2: unstack(c1,j)
STEP 3: stack(c1,p)
STEP 4: unstack(j,e1)
STEP 5: put-down(j)
STEP 6: unstack(w,f)
STEP 7: stack(w,b)
STEP 8: unstack(f,i)
STEP 9: stack(f,w)
STEP 10: unstack(i,r)
STEP 11: stack(i,c1)
STEP 12: unstack(e1,x)
STEP 13: stack(e1,g1)
STEP 14: unstack(x,a)
STEP 15: stack(x,j)
STEP 16: unstack(i,c1)
STEP 17: stack(i,a)
STEP 18: unstack(i,a)
STEP 19: stack(i,a)
STEP 20: unstack(f,w)
STEP 21: stack(f,x)
STEP 22: unstack(i,a)
STEP 23: stack(i,c1)
STEP 24: unstack(a,c)
STEP 25: put-down(a)
STEP 26: unstack(i,c1)
STEP 27: stack(i,a)
STEP 28: unstack(c,o)
STEP 29: stack(c,i)
STEP 30: unstack(w,b)
STEP 31: stack(w,f)
STEP 32: pick-up(b)
STEP 33: stack(b,c)
STEP 34: unstack(l1,s)
STEP 35: stack(l1,n)
STEP 36: unstack(s,m1)
STEP 37: stack(s,l1)
STEP 38: unstack(m1,u)
STEP 39: stack(m1,e1)
STEP 40: unstack(u,i1)
STEP 41: stack(u,s)
STEP 42: unstack(i1,t)
STEP 43: stack(i1,o)
STEP 44: unstack(m1,e1)
STEP 45: stack(m1,c1)
STEP 46: unstack(u,s)
STEP 47: stack(u,m1)
STEP 48: unstack(t,d)
STEP 49: stack(t,u)
STEP 50: unstack(d,a1)
STEP 51: stack(d,e1)
STEP 52: unstack(a1,d1)
STEP 53: stack(a1,t)
STEP 54: unstack(d1,k)
STEP 55: stack(d1,b)
STEP 56: unstack(a1,t)
STEP 57: put-down(a1)
STEP 58: unstack(t,u)
STEP 59: stack(t,k)
STEP 60: unstack(u,m1)
STEP 61: stack(u,m1)
STEP 62: unstack(u,m1)
STEP 63: stack(u,t)
STEP 64: unstack(m1,c1)
STEP 65: stack(m1,d1)
STEP 66: unstack(u,t)
STEP 67: stack(u,m1)
STEP 68: unstack(t,k)
STEP 69: stack(t,a1)
STEP 70: unstack(k,q)
STEP 71: stack(k,r)
STEP 72: unstack(q,y)
STEP 73: put-down(q)
STEP 74: unstack(y,f1)
STEP 75: stack(y,w)
STEP 76: unstack(f1,e)
STEP 77: stack(f1,t)
STEP 78: unstack(e,z)
STEP 79: put-down(e)
STEP 80: unstack(z,m)
STEP 81: stack(z,k)
STEP 82: unstack(m,b1)
STEP 83: stack(m,u)
STEP 84: unstack(f1,t)
STEP 85: stack(f1,e)
STEP 86: unstack(t,a1)
STEP 87: stack(t,m)
STEP 88: unstack(z,k)
STEP 89: stack(z,y)
STEP 90: unstack(k,r)
STEP 91: stack(k,f1)
STEP 92: pick-up(r)
STEP 93: stack(r,t)
STEP 94: unstack(b1,n1)
STEP 95: stack(b1,r)
STEP 96: pick-up(q)
STEP 97: put-down(q)
STEP 98: pick-up(q)
STEP 99: put-down(q)
STEP 100: unstack(d,e1)
STEP 101: stack(d,k)
STEP 102: unstack(e1,g1)
STEP 103: stack(e1,b1)
STEP 104: pick-up(q)
STEP 105: stack(q,e1)
STEP 106: unstack(s,l1)
STEP 107: stack(s,n1)
STEP 108: unstack(l1,n)
STEP 109: stack(l1,q)
STEP 110: unstack(z,y)
STEP 111: stack(z,s)
STEP 112: unstack(y,w)
STEP 113: stack(y,c1)
STEP 114: unstack(w,f)
STEP 115: stack(w,l1)
STEP 116: unstack(g1,l)
STEP 117: stack(g1,l)
STEP 118: unstack(g1,l)
STEP 119: stack(g1,z)
STEP 120: unstack(l,g)
STEP 121: stack(l,w)
STEP 122: unstack(g1,z)
STEP 123: stack(g1,l)
STEP 124: unstack(f,x)
STEP 125: stack(f,x)
STEP 126: unstack(z,s)
STEP 127: stack(z,y)
STEP 128: unstack(f,x)
STEP 129: stack(f,x)
STEP 130: unstack(d,k)
STEP 131: stack(d,k)
STEP 132: unstack(f,x)
STEP 133: stack(f,x)
STEP 134: unstack(d,k)
STEP 135: stack(d,f)
STEP 136: unstack(z,y)
STEP 137: stack(z,y)
STEP 138: unstack(k,f1)
STEP 139: put-down(k)
STEP 140: unstack(f1,e)
STEP 141: stack(f1,a1)
STEP 142: pick-up(e)
STEP 143: stack(e,g1)
STEP 144: unstack(z,y)
STEP 145: stack(z,e)
STEP 146: unstack(f1,a1)
STEP 147: stack(f1,a1)
STEP 148: unstack(d,f)
STEP 149: stack(d,k)
STEP 150: unstack(f,x)
STEP 151: stack(f,z)
STEP 152: unstack(f1,a1)
STEP 153: stack(f1,f)
STEP 154: unstack(i1,o)
STEP 155: stack(i1,a1)
STEP 156: unstack(o,j1)
STEP 157: stack(o,g)
STEP 158: unstack(j1,v)
STEP 159: stack(j1,y)
STEP 160: unstack(v,h1)
STEP 161: stack(v,f1)
STEP 162: unstack(h1,o1)
STEP 163: put-down(h1)
STEP 164: unstack(o1,h)
STEP 165: stack(o1,i1)
STEP 166: unstack(v,f1)
STEP 167: put-down(v)
STEP 168: unstack(o1,i1)
STEP 169: stack(o1,f1)
STEP 170: unstack(x,j)
STEP 171: stack(x,o1)
STEP 172: pick-up(n)
STEP 173: stack(n,x)
STEP 174: unstack(o,g)
STEP 175: stack(o,n)
STEP 176: unstack(i1,a1)
STEP 177: stack(i1,o)
STEP 178: pick-up(g)
STEP 179: stack(g,i1)
STEP 180: unstack(d,k)
STEP 181: stack(d,g)
STEP 182: pick-up(h)
STEP 183: stack(h,d)
STEP 184: unstack(s,n1)
STEP 185: stack(s,j1)
STEP 186: unstack(n1,k1)
STEP 187: stack(n1,h)
STEP 188: unstack(s,j1)
STEP 189: stack(s,n1)
STEP 190: pick-up(k)
STEP 191: stack(k,s)
STEP 192: unstack(j1,y)
STEP 193: stack(j1,a1)
STEP 194: unstack(y,c1)
STEP 195: stack(y,k)
STEP 196: unstack(c1,p)
STEP 197: stack(c1,y)
STEP 198: pick-up(p)
STEP 199: stack(p,c1)
STEP 200: pick-up(h1)
STEP 201: stack(h1,k1)
STEP 202: unstack(j1,a1)
STEP 203: put-down(j1)
STEP 204: pick-up(a1)
STEP 205: stack(a1,p)
STEP 206: unstack(h1,k1)
STEP 207: stack(h1,a1)
STEP 208: pick-up(j)
STEP 209: stack(j,h1)
STEP 210: pick-up(v)
STEP 211: stack(v,j)
STEP 212: pick-up(k1)
STEP 213: stack(k1,v)
STEP 214: pick-up(j1)
STEP 215: stack(j1,k1)
216 actions in the plan.
total time 46.35 preprocess 3.51 
total size 6.339 GB
max. learned clause length 14817
t val conflicts decisions
5 0 0 0
7 0 0 0
10 0 0 0
14 0 0 0
20 0 0 0
28 0 0 0
40 0 0 0
56 0 97 113
80 -1 1380 2229
113 -1 1322 3423
160 -1 1261 3589
226 -1 1200 3963
320 -1 1140 3443
452 -1 1080 3257
640 -1 1020 3202
905 1 949 3845

