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

Domain: blocks
Problem: blocks-37-0
Parser: 2812 ground actions and 1481 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21  1.13 secs
Goal: conjunctive
Simplified: 2812 ground actions and 1481 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.72 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 149 MB)
Horizon 5: 22946 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 7: 31532 variables
7 UNSAT (0 decisions 0 conflicts)
Horizon 10: 44411 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 14: 61583 variables
14 UNSAT (0 decisions 0 conflicts)
Horizon 20: 87341 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 28: 121685 variables
28 UNSAT (0 decisions 0 conflicts)
Horizon 40: 173201 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 56: 241889 variables
56 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 937 MB)
Horizon 80: 344921 variables
				Allocated 32 MB (total 969 MB)
				Allocated 32 MB permanent (total 1107 MB)
Horizon 113: 486590 variables
80 UNSAT (68 decisions 64 conflicts)
Horizon 160: 688361 variables
				Allocated 32 MB permanent (total 1389 MB)
				Allocated 32 MB permanent (total 1421 MB)
Horizon 226: 971699 variables
				Allocated 32 MB permanent (total 1611 MB)
Horizon 320: 1375241 variables
				Allocated 32 MB permanent (total 1834 MB)
				Allocated 32 MB permanent (total 1866 MB)
				Allocated 32 MB permanent (total 1898 MB)
Horizon 452: 1941917 variables
				Allocated 32 MB permanent (total 2169 MB)
				Allocated 32 MB permanent (total 2201 MB)
				Allocated 32 MB permanent (total 2233 MB)
				Allocated 32 MB permanent (total 2265 MB)
Horizon 640: 2749001 variables
				Allocated 32 MB permanent (total 2603 MB)
				Allocated 32 MB permanent (total 2635 MB)
				Allocated 32 MB permanent (total 2667 MB)
				Allocated 32 MB permanent (total 2699 MB)
				Allocated 32 MB permanent (total 2731 MB)
Horizon 905: 3886646 variables
				Allocated 32 MB permanent (total 3165 MB)
				Allocated 32 MB permanent (total 3197 MB)
				Allocated 32 MB permanent (total 3229 MB)
				Allocated 32 MB permanent (total 3261 MB)
				Allocated 32 MB permanent (total 3293 MB)
				Allocated 32 MB permanent (total 3325 MB)
				Allocated 32 MB permanent (total 3357 MB)
Horizon 1280: 5496521 variables
				Allocated 32 MB permanent (total 3924 MB)
				Allocated 32 MB permanent (total 3956 MB)
				Allocated 32 MB permanent (total 3988 MB)
				Allocated 32 MB permanent (total 4020 MB)
				Allocated 32 MB permanent (total 4052 MB)
				Allocated 32 MB permanent (total 4084 MB)
				Allocated 32 MB permanent (total 4116 MB)
				Allocated 32 MB permanent (total 4148 MB)
				Allocated 32 MB permanent (total 4180 MB)
				Allocated 32 MB permanent (total 4212 MB)
Horizon 1810: 7771811 variables
				Allocated 32 MB permanent (total 4971 MB)
				Allocated 32 MB permanent (total 5003 MB)
				Allocated 32 MB permanent (total 5035 MB)
				Allocated 32 MB permanent (total 5067 MB)
				Allocated 32 MB permanent (total 5099 MB)
				Allocated 32 MB permanent (total 5131 MB)
				Allocated 32 MB permanent (total 5163 MB)
				Allocated 32 MB permanent (total 5195 MB)
				Allocated 32 MB permanent (total 5227 MB)
				Allocated 32 MB permanent (total 5259 MB)
				Allocated 32 MB permanent (total 5291 MB)
				Allocated 32 MB permanent (total 5323 MB)
				Allocated 32 MB permanent (total 5355 MB)
				Allocated 32 MB permanent (total 5387 MB)
Horizon 2560: 10991561 variables
						GC: 55.06 MB
						GC: 13.19 MB
						GC: 15.96 MB
				Allocated 32 MB (total 5419 MB)
						GC: 20.12 MB
						GC: 24.08 MB
						GC: 30.33 MB
						GC: 23.44 MB
SAT (56372 decisions 17095 conflicts)
PLAN FOUND: 640 steps
STEP 0: unstack(n,x)
STEP 1: put-down(n)
STEP 2: unstack(x,s)
STEP 3: stack(x,n)
STEP 4: unstack(s,a)
STEP 5: put-down(s)
STEP 6: unstack(a,h1)
STEP 7: stack(a,c1)
STEP 8: unstack(h1,l)
STEP 9: stack(h1,x)
STEP 10: unstack(l,f)
STEP 11: stack(l,h1)
STEP 12: unstack(f,g)
STEP 13: put-down(f)
STEP 14: unstack(g,b)
STEP 15: stack(g,f)
STEP 16: unstack(b,v)
STEP 17: stack(b,s)
STEP 18: unstack(v,w)
STEP 19: stack(v,g)
STEP 20: unstack(w,a1)
STEP 21: stack(w,l)
STEP 22: unstack(a1,m)
STEP 23: stack(a1,w)
STEP 24: unstack(m,k1)
STEP 25: stack(m,v)
STEP 26: unstack(k1,o)
STEP 27: stack(k1,m)
STEP 28: unstack(o,e1)
STEP 29: stack(o,a)
STEP 30: unstack(e1,p)
STEP 31: stack(e1,o)
STEP 32: unstack(p,i1)
STEP 33: put-down(p)
STEP 34: unstack(i1,e)
STEP 35: put-down(i1)
STEP 36: unstack(e,j1)
STEP 37: stack(e,a1)
STEP 38: unstack(j1,d)
STEP 39: stack(j1,k1)
STEP 40: unstack(d,c)
STEP 41: put-down(d)
STEP 42: unstack(c,t)
STEP 43: stack(c,d)
STEP 44: unstack(t,q)
STEP 45: stack(t,c)
STEP 46: unstack(q,f1)
STEP 47: put-down(q)
STEP 48: unstack(f1,z)
STEP 49: stack(f1,e1)
STEP 50: unstack(z,b1)
STEP 51: stack(z,q)
STEP 52: unstack(b1,u)
STEP 53: stack(b1,i1)
STEP 54: unstack(u,h)
STEP 55: put-down(u)
STEP 56: unstack(b,s)
STEP 57: stack(b,f1)
STEP 58: unstack(h,d1)
STEP 59: stack(h,s)
STEP 60: unstack(d1,i)
STEP 61: stack(d1,t)
STEP 62: pick-up(p)
STEP 63: stack(p,i)
STEP 64: unstack(j1,k1)
STEP 65: stack(j1,h)
STEP 66: unstack(k1,m)
STEP 67: stack(k1,b1)
STEP 68: unstack(m,v)
STEP 69: stack(m,b)
STEP 70: unstack(v,g)
STEP 71: stack(v,p)
STEP 72: unstack(d1,t)
STEP 73: stack(d1,k1)
STEP 74: unstack(t,c)
STEP 75: put-down(t)
STEP 76: unstack(c,d)
STEP 77: stack(c,m)
STEP 78: pick-up(d)
STEP 79: stack(d,v)
STEP 80: unstack(c,m)
STEP 81: stack(c,u)
STEP 82: unstack(m,b)
STEP 83: stack(m,c)
STEP 84: unstack(b,f1)
STEP 85: stack(b,d)
STEP 86: unstack(f1,e1)
STEP 87: stack(f1,e1)
STEP 88: unstack(m,c)
STEP 89: stack(m,t)
STEP 90: unstack(f1,e1)
STEP 91: stack(f1,g)
STEP 92: unstack(e1,o)
STEP 93: stack(e1,d1)
STEP 94: unstack(o,a)
STEP 95: stack(o,z)
STEP 96: unstack(a,c1)
STEP 97: stack(a,o)
STEP 98: unstack(b,d)
STEP 99: stack(b,e1)
STEP 100: unstack(a,o)
STEP 101: stack(a,d)
STEP 102: unstack(m,t)
STEP 103: stack(m,a)
STEP 104: unstack(e,a1)
STEP 105: stack(e,c)
STEP 106: unstack(a1,w)
STEP 107: stack(a1,f1)
STEP 108: unstack(w,l)
STEP 109: stack(w,e)
STEP 110: unstack(l,h1)
STEP 111: stack(l,t)
STEP 112: unstack(h1,x)
STEP 113: stack(h1,b)
STEP 114: unstack(x,n)
STEP 115: stack(x,h1)
STEP 116: pick-up(n)
STEP 117: stack(n,m)
STEP 118: unstack(o,z)
STEP 119: stack(o,x)
STEP 120: unstack(o,x)
STEP 121: stack(o,z)
STEP 122: unstack(x,h1)
STEP 123: stack(x,o)
STEP 124: unstack(h1,b)
STEP 125: stack(h1,n)
STEP 126: unstack(a1,f1)
STEP 127: stack(a1,w)
STEP 128: unstack(f1,g)
STEP 129: stack(f1,h1)
STEP 130: unstack(x,o)
STEP 131: stack(x,f1)
STEP 132: unstack(o,z)
STEP 133: stack(o,x)
STEP 134: unstack(b,e1)
STEP 135: stack(b,o)
STEP 136: unstack(c1,k)
STEP 137: put-down(c1)
STEP 138: pick-up(k)
STEP 139: stack(k,b)
STEP 140: unstack(k,b)
STEP 141: stack(k,b)
STEP 142: unstack(k,b)
STEP 143: stack(k,g)
STEP 144: unstack(b,o)
STEP 145: stack(b,e1)
STEP 146: unstack(o,x)
STEP 147: stack(o,z)
STEP 148: unstack(x,f1)
STEP 149: stack(x,j1)
STEP 150: unstack(f1,h1)
STEP 151: stack(f1,l)
STEP 152: unstack(h1,n)
STEP 153: stack(h1,x)
STEP 154: unstack(n,m)
STEP 155: put-down(n)
STEP 156: unstack(m,a)
STEP 157: stack(m,h1)
STEP 158: unstack(a,d)
STEP 159: stack(a,o)
STEP 160: unstack(d,v)
STEP 161: stack(d,n)
STEP 162: unstack(v,p)
STEP 163: stack(v,d)
STEP 164: unstack(p,i)
STEP 165: stack(p,c1)
STEP 166: unstack(i,j)
STEP 167: stack(i,p)
STEP 168: unstack(j,r)
STEP 169: stack(j,f1)
STEP 170: unstack(r,y)
STEP 171: stack(r,k)
STEP 172: unstack(a,o)
STEP 173: stack(a,v)
STEP 174: unstack(i,p)
STEP 175: put-down(i)
STEP 176: unstack(p,c1)
STEP 177: stack(p,i)
STEP 178: unstack(a,v)
STEP 179: stack(a,o)
STEP 180: unstack(v,d)
STEP 181: stack(v,p)
STEP 182: unstack(d,n)
STEP 183: stack(d,v)
STEP 184: unstack(a,o)
STEP 185: stack(a,d)
STEP 186: unstack(m,h1)
STEP 187: stack(m,a)
STEP 188: pick-up(n)
STEP 189: stack(n,m)
STEP 190: unstack(h1,x)
STEP 191: stack(h1,n)
STEP 192: unstack(j,f1)
STEP 193: stack(j,y)
STEP 194: unstack(f1,l)
STEP 195: stack(f1,h1)
STEP 196: unstack(x,j1)
STEP 197: stack(x,f1)
STEP 198: unstack(o,z)
STEP 199: stack(o,x)
STEP 200: unstack(b,e1)
STEP 201: stack(b,o)
STEP 202: unstack(e1,d1)
STEP 203: stack(e1,d1)
STEP 204: unstack(z,q)
STEP 205: stack(z,r)
STEP 206: unstack(e1,d1)
STEP 207: stack(e1,d1)
STEP 208: unstack(j,y)
STEP 209: stack(j,q)
STEP 210: unstack(l,t)
STEP 211: stack(l,t)
STEP 212: unstack(y,g1)
STEP 213: stack(y,l)
STEP 214: unstack(z,r)
STEP 215: stack(z,j)
STEP 216: unstack(r,k)
STEP 217: stack(r,k)
STEP 218: unstack(y,l)
STEP 219: stack(y,j1)
STEP 220: unstack(e1,d1)
STEP 221: stack(e1,d1)
STEP 222: unstack(y,j1)
STEP 223: stack(y,l)
STEP 224: unstack(z,j)
STEP 225: stack(z,c1)
STEP 226: unstack(r,k)
STEP 227: put-down(r)
STEP 228: unstack(k,g)
STEP 229: stack(k,b)
STEP 230: pick-up(r)
STEP 231: stack(r,k)
STEP 232: unstack(z,c1)
STEP 233: stack(z,r)
STEP 234: unstack(e1,d1)
STEP 235: stack(e1,z)
STEP 236: unstack(y,l)
STEP 237: stack(y,e1)
STEP 238: pick-up(c1)
STEP 239: put-down(c1)
STEP 240: unstack(a1,w)
STEP 241: stack(a1,g1)
STEP 242: unstack(w,e)
STEP 243: stack(w,y)
STEP 244: pick-up(c1)
STEP 245: stack(c1,w)
STEP 246: unstack(j1,h)
STEP 247: stack(j1,a1)
STEP 248: unstack(l,t)
STEP 249: stack(l,t)
STEP 250: unstack(h,s)
STEP 251: put-down(h)
STEP 252: pick-up(s)
STEP 253: stack(s,c1)
STEP 254: unstack(l,t)
STEP 255: stack(l,s)
STEP 256: unstack(e,c)
STEP 257: put-down(e)
STEP 258: unstack(c,u)
STEP 259: stack(c,j1)
STEP 260: unstack(d1,k1)
STEP 261: stack(d1,t)
STEP 262: unstack(k1,b1)
STEP 263: stack(k1,j)
STEP 264: unstack(b1,i1)
STEP 265: stack(b1,l)
STEP 266: pick-up(i1)
STEP 267: stack(i1,c)
STEP 268: unstack(i1,c)
STEP 269: stack(i1,g)
STEP 270: unstack(c,j1)
STEP 271: stack(c,j1)
STEP 272: unstack(i1,g)
STEP 273: stack(i1,g)
STEP 274: unstack(c,j1)
STEP 275: stack(c,j1)
STEP 276: unstack(c,j1)
STEP 277: stack(c,j1)
STEP 278: unstack(c,j1)
STEP 279: stack(c,k1)
STEP 280: unstack(j1,a1)
STEP 281: stack(j1,b1)
STEP 282: unstack(c,k1)
STEP 283: stack(c,j1)
STEP 284: unstack(i1,g)
STEP 285: stack(i1,c)
STEP 286: unstack(a1,g1)
STEP 287: stack(a1,i1)
STEP 288: pick-up(g1)
STEP 289: stack(g1,e)
STEP 290: unstack(d1,t)
STEP 291: stack(d1,k1)
STEP 292: unstack(g,f)
STEP 293: stack(g,g1)
STEP 294: pick-up(f)
STEP 295: stack(f,a1)
STEP 296: pick-up(h)
STEP 297: stack(h,f)
STEP 298: unstack(d1,k1)
STEP 299: stack(d1,h)
STEP 300: unstack(g,g1)
STEP 301: stack(g,u)
STEP 302: unstack(g1,e)
STEP 303: stack(g1,d1)
STEP 304: unstack(k1,j)
STEP 305: stack(k1,e)
STEP 306: unstack(j,q)
STEP 307: stack(j,g1)
STEP 308: unstack(g,u)
STEP 309: stack(g,q)
STEP 310: unstack(k1,e)
STEP 311: stack(k1,u)
STEP 312: pick-up(e)
STEP 313: stack(e,j)
STEP 314: unstack(g,q)
STEP 315: stack(g,t)
STEP 316: pick-up(q)
STEP 317: stack(q,e)
STEP 318: unstack(g,t)
STEP 319: stack(g,q)
STEP 320: unstack(k1,u)
STEP 321: stack(k1,u)
STEP 322: unstack(k1,u)
STEP 323: stack(k1,t)
STEP 324: pick-up(u)
STEP 325: stack(u,g)
STEP 326: unstack(k1,t)
STEP 327: stack(k1,u)
STEP 328: pick-up(t)
STEP 329: stack(t,k1)
330 actions in the plan.
total time 549.21 preprocess 1.91 
total size 5.494 GB
max. learned clause length 15590
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 0 0
80 0 64 68
113 -1 17498 55963
160 -1 17349 46825
226 -1 17282 54496
320 -1 17221 55416
452 -1 17162 56510
640 1 17095 56372

