Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/no-mystery-sequential-satisficing/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/no-mystery-sequential-satisficing/instances/instance-16.pddlignoring --stats
ignoring --verbose
 -m 8192
Domain: transport-strips
Problem: transport-l11-t1-p11---int100n150-m25---int100c110---s1---e0
Parser: 5162 ground actions and 14234 state variables
Invariants: 0 1 2 3 4 5 6 7 8  0.44 secs
Goal: conjunctive
Simplified: 4963 ground actions and 309 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.24 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 171 MB)
Horizon 0: 309 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 26669 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 53029 variables
				Allocated 32 MB (total 441 MB)
Horizon 15: 79389 variables
Horizon 20: 105749 variables
Horizon 25: 132109 variables
Horizon 30: 158469 variables
Horizon 35: 184829 variables
Horizon 40: 211189 variables
Horizon 45: 237549 variables
Horizon 50: 263909 variables
10 UNSAT (640 decisions 532 conflicts)
				Allocated 32 MB permanent (total 1258 MB)
Horizon 55: 290269 variables
Horizon 60: 316629 variables
				Allocated 32 MB (total 1385 MB)
Horizon 65: 342989 variables
Horizon 70: 369349 variables
				Allocated 32 MB (total 1612 MB)
Horizon 75: 395709 variables
				Allocated 32 MB permanent (total 1845 MB)
Horizon 80: 422069 variables
				Allocated 32 MB (total 1877 MB)
Horizon 85: 448429 variables
Horizon 90: 474789 variables
				Allocated 32 MB (total 2116 MB)
Horizon 95: 501149 variables
				Allocated 32 MB (total 2254 MB)
				Allocated 32 MB permanent (total 2393 MB)
Horizon 100: 527509 variables
				Allocated 32 MB (total 2425 MB)
Horizon 105: 553869 variables
				Allocated 32 MB (total 2567 MB)
Horizon 110: 580229 variables
				Allocated 32 MB (total 2709 MB)
				Allocated 32 MB (total 2741 MB)
				Allocated 32 MB (total 2773 MB)
				Allocated 32 MB (total 2805 MB)
				Allocated 32 MB (total 2837 MB)
				Allocated 32 MB (total 2869 MB)
				Allocated 32 MB (total 2901 MB)
				Allocated 32 MB (total 2933 MB)
						GC: 309.88 MB
SAT (4071 decisions 3077 conflicts)
PLAN FOUND: 15 steps
STEP 0: drive(t0,l1,l2,level155,level10,level165)
STEP 1.0: load(p2,t0,l2)
STEP 1.1: drive(t0,l2,l5,level133,level22,level155)
STEP 2.0: load(p7,t0,l5) load(p8,t0,l5)
STEP 2.1: drive(t0,l5,l2,level111,level22,level133)
STEP 3: drive(t0,l2,l6,level92,level19,level111)
STEP 4.0: load(p4,t0,l6)
STEP 4.1: drive(t0,l6,l9,level79,level13,level92)
STEP 5.0: load(p5,t0,l9) load(p6,t0,l9) unload(p7,t0,l9) unload(p8,t0,l9)
STEP 5.1: drive(t0,l9,l10,level60,level19,level79)
STEP 6.0: unload(p2,t0,l10)
STEP 6.1: drive(t0,l10,l8,level58,level2,level60)
STEP 7.0: load(p10,t0,l8) load(p9,t0,l8) unload(p4,t0,l8) unload(p5,t0,l8)
STEP 7.1: drive(t0,l8,l10,level56,level2,level58)
STEP 8: drive(t0,l10,l0,level38,level18,level56)
STEP 9: drive(t0,l0,l4,level32,level6,level38)
STEP 10.0: load(p0,t0,l4) unload(p6,t0,l4)
STEP 10.1: drive(t0,l4,l3,level20,level12,level32)
STEP 11.0: load(p1,t0,l3) load(p3,t0,l3) unload(p9,t0,l3)
STEP 11.1: drive(t0,l3,l7,level18,level2,level20)
STEP 12.0: unload(p10,t0,l7) unload(p3,t0,l7)
STEP 12.1: drive(t0,l7,l4,level17,level1,level18)
STEP 13: drive(t0,l4,l9,level2,level15,level17)
STEP 14: unload(p0,t0,l9) unload(p1,t0,l9)
36 actions in the plan.
Cost of the plan is 36.
total time 95.57 preprocess 63.77 
total size 2.995 GB
max. learned clause length 300581
t val conflicts decisions
0 0 0 0
5 0 0 0
10 0 532 640
15 1 3077 4071