Madagascar 0.99999 01/02/2018 14:46:04 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-41.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
 -m 8192 -F 60 -T 60
Domain: blocks
Problem: blocks-20-0
Parser: 840 ground actions and 461 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12  0.06 secs
Goal: conjunctive
Simplified: 840 ground actions and 461 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.03 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 128 MB)
Horizon 60: 78521 variables
				Allocated 32 MB (total 241 MB)
				Allocated 32 MB (total 273 MB)
				Allocated 32 MB (total 305 MB)
				Allocated 32 MB (total 337 MB)
						GC: 95.88 MB
				Allocated 32 MB (total 369 MB)
				Allocated 32 MB (total 401 MB)
				Allocated 32 MB (total 433 MB)
				Allocated 32 MB (total 465 MB)
						GC: 184.50 MB
				Allocated 32 MB (total 497 MB)
				Allocated 32 MB (total 529 MB)
				Allocated 32 MB (total 561 MB)
				Allocated 32 MB (total 593 MB)
						GC: 333.15 MB
						GC: 292.51 MB
				Allocated 32 MB (total 625 MB)
						GC: 344.10 MB
						GC: 343.39 MB
				Allocated 32 MB (total 657 MB)
				Allocated 32 MB (total 689 MB)
						GC: 366.51 MB
				Allocated 32 MB (total 721 MB)
				Allocated 32 MB (total 753 MB)
						GC: 495.09 MB
						GC: 416.40 MB
				Allocated 32 MB (total 785 MB)
						GC: 478.01 MB
				Allocated 32 MB (total 817 MB)
						GC: 492.37 MB
				Allocated 32 MB (total 849 MB)
						GC: 491.33 MB
				Allocated 32 MB (total 881 MB)
				Allocated 32 MB (total 913 MB)
						GC: 540.74 MB
				Allocated 32 MB (total 945 MB)
				Allocated 32 MB (total 977 MB)
				Allocated 32 MB (total 1009 MB)
				Allocated 32 MB (total 1041 MB)
						GC: 603.37 MB
				Allocated 32 MB (total 1073 MB)
				Allocated 32 MB (total 1105 MB)
						GC: 809.67 MB
						GC: 544.26 MB
						GC: 722.01 MB
						GC: 633.94 MB
						GC: 570.98 MB
						GC: 550.57 MB
				Allocated 32 MB (total 1137 MB)
				Allocated 32 MB (total 1169 MB)
				Allocated 32 MB (total 1201 MB)
				Allocated 32 MB (total 1233 MB)
				Allocated 32 MB (total 1265 MB)
						GC: 889.52 MB
SAT (0 ID 735108 decisions 547541 conflicts 78521 variables)
PLAN FOUND: 60 steps
STEP 0: unstack(s,c)
STEP 1: stack(s,p)
STEP 2: unstack(c,m)
STEP 3: put-down(c)
STEP 4: unstack(m,q)
STEP 5: stack(m,n)
STEP 6: unstack(q,b)
STEP 7: stack(q,m)
STEP 8: unstack(s,p)
STEP 9: stack(s,c)
STEP 10: unstack(b,t)
STEP 11: stack(b,q)
STEP 12: unstack(t,j)
STEP 13: stack(t,s)
STEP 14: unstack(p,r)
STEP 15: stack(p,t)
STEP 16: unstack(b,q)
STEP 17: stack(b,p)
STEP 18: unstack(q,m)
STEP 19: stack(q,b)
STEP 20: unstack(j,l)
STEP 21: put-down(j)
STEP 22: unstack(l,e)
STEP 23: stack(l,r)
STEP 24: unstack(e,i)
STEP 25: put-down(e)
STEP 26: unstack(i,o)
STEP 27: stack(i,q)
STEP 28: unstack(m,n)
STEP 29: stack(m,i)
STEP 30: unstack(o,g)
STEP 31: put-down(o)
STEP 32: unstack(g,f)
STEP 33: put-down(g)
STEP 34: unstack(f,a)
STEP 35: stack(f,m)
STEP 36: pick-up(j)
STEP 37: stack(j,f)
STEP 38: unstack(l,r)
STEP 39: stack(l,j)
STEP 40: unstack(a,d)
STEP 41: stack(a,l)
STEP 42: pick-up(o)
STEP 43: stack(o,a)
STEP 44: unstack(d,h)
STEP 45: stack(d,r)
STEP 46: pick-up(h)
STEP 47: stack(h,o)
STEP 48: pick-up(g)
STEP 49: stack(g,h)
STEP 50: unstack(d,r)
STEP 51: stack(d,g)
STEP 52: unstack(r,k)
STEP 53: stack(r,d)
STEP 54: pick-up(n)
STEP 55: stack(n,r)
STEP 56: pick-up(e)
STEP 57: stack(e,n)
STEP 58: pick-up(k)
STEP 59: stack(k,e)
60 actions in the plan.


# statistics in YAML format
---
runtime:
  total: 584.73 # [s]
  preprocessing: 0.10 # [s]
maxLearnedClauseLength: 22727
groundActions:
  afterParsing: 840
  afterPreprocessing: 840
stateVariables:
  afterParsing: 461
  afterPreprocessing: 461
stronglyConnectedComponents:
  maxSize: 1
plan:
  found: true
  length: 60
  actions: 60
iterations:
...