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-15.pddlignoring --stats
ignoring --verbose
 -m 8192
Domain: transport-strips
Problem: transport-l10-t1-p10---int100n150-m25---int100c110---s1---e0
Parser: 4802 ground actions and 14207 state variables
Invariants: 0 1 2 3 4 5 6 7  0.36 secs
Goal: conjunctive
Simplified: 4594 ground actions and 285 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.21 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 167 MB)
Horizon 0: 285 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 24680 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 49075 variables
				Allocated 32 MB (total 436 MB)
Horizon 15: 73470 variables
Horizon 20: 97865 variables
Horizon 25: 122260 variables
Horizon 30: 146655 variables
Horizon 35: 171050 variables
10 UNSAT (523 decisions 309 conflicts)
Horizon 40: 195445 variables
Horizon 45: 219840 variables
Horizon 50: 244235 variables
Horizon 55: 268630 variables
				Allocated 32 MB permanent (total 1340 MB)
Horizon 60: 293025 variables
				Allocated 32 MB (total 1372 MB)
Horizon 65: 317420 variables
Horizon 70: 341815 variables
Horizon 75: 366210 variables
				Allocated 32 MB (total 1693 MB)
Horizon 80: 390605 variables
				Allocated 32 MB (total 1825 MB)
				Allocated 32 MB permanent (total 1958 MB)
Horizon 85: 415000 variables
Horizon 90: 439395 variables
				Allocated 32 MB (total 2092 MB)
Horizon 95: 463790 variables
				Allocated 32 MB (total 2228 MB)
				Allocated 32 MB permanent (total 2365 MB)
Horizon 100: 488185 variables
				Allocated 32 MB (total 2397 MB)
Horizon 105: 512580 variables
				Allocated 32 MB (total 2535 MB)
Horizon 110: 536975 variables
				Allocated 32 MB (total 2676 MB)
				Allocated 32 MB (total 2708 MB)
				Allocated 32 MB (total 2740 MB)
				Allocated 32 MB (total 2772 MB)
				Allocated 32 MB (total 2804 MB)
				Allocated 32 MB (total 2836 MB)
				Allocated 32 MB (total 2868 MB)
				Allocated 32 MB (total 2900 MB)
						GC: 384.95 MB
SAT (4124 decisions 2992 conflicts)
PLAN FOUND: 15 steps
STEP 0: drive(t0,l9,l3,level155,level10,level165)
STEP 1.0: load(p0,t0,l3) load(p8,t0,l3)
STEP 1.1: drive(t0,l3,l0,level153,level2,level155)
STEP 2.0: load(p5,t0,l0)
STEP 2.1: drive(t0,l0,l2,level140,level13,level153)
STEP 3.0: load(p2,t0,l2)
STEP 3.1: drive(t0,l2,l8,level120,level20,level140)
STEP 4.0: load(p6,t0,l8) load(p7,t0,l8)
STEP 4.1: drive(t0,l8,l2,level100,level20,level120)
STEP 5: drive(t0,l2,l6,level88,level12,level100)
STEP 6.0: unload(p6,t0,l6)
STEP 6.1: drive(t0,l6,l1,level82,level6,level88)
STEP 7.0: unload(p8,t0,l1)
STEP 7.1: drive(t0,l1,l7,level64,level18,level82)
STEP 8.0: unload(p0,t0,l7) unload(p5,t0,l7)
STEP 8.1: drive(t0,l7,l4,level48,level16,level64)
STEP 9.0: load(p1,t0,l4) load(p3,t0,l4) load(p4,t0,l4) load(p9,t0,l4) unload(p7,t0,l4)
STEP 9.1: drive(t0,l4,l5,level45,level3,level48)
STEP 10.0: unload(p1,t0,l5) unload(p2,t0,l5)
STEP 10.1: drive(t0,l5,l3,level33,level12,level45)
STEP 11.0: unload(p4,t0,l3)
STEP 11.1: drive(t0,l3,l7,level22,level11,level33)
STEP 12.0: unload(p3,t0,l7)
STEP 12.1: drive(t0,l7,l3,level11,level11,level22)
STEP 13: drive(t0,l3,l9,level1,level10,level11)
STEP 14: unload(p9,t0,l9)
34 actions in the plan.
Cost of the plan is 34.
total time 87.59 preprocess 59.82 
total size 2.959 GB
max. learned clause length 253349
t val conflicts decisions
0 0 0 0
5 0 0 0
10 0 309 523
15 1 2992 4124