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-20.pddlignoring --stats ignoring --verbose -m 8192 Domain: transport-strips Problem: transport-l15-t1-p15---int100n150-m25---int100c110---s1---e0 Parser: 7716 ground actions and 16452 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 0.89 secs Goal: conjunctive Simplified: 7496 ground actions and 433 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.52 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 200 MB) Horizon 0: 433 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 40078 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 79723 variables Allocated 32 MB (total 473 MB) Horizon 15: 119368 variables Horizon 20: 159013 variables Horizon 25: 198658 variables Horizon 30: 238303 variables Horizon 35: 277948 variables 10 UNSAT (352 decisions 323 conflicts) Horizon 40: 317593 variables Allocated 32 MB permanent (total 1138 MB) Horizon 45: 357238 variables Horizon 50: 396883 variables Horizon 55: 436528 variables Horizon 60: 476173 variables Allocated 32 MB (total 1476 MB) Allocated 32 MB permanent (total 1615 MB) Horizon 65: 515818 variables Horizon 70: 555463 variables Allocated 32 MB (total 1756 MB) Horizon 75: 595108 variables Allocated 32 MB permanent (total 2014 MB) Horizon 80: 634753 variables Allocated 32 MB (total 2046 MB) Horizon 85: 674398 variables Allocated 32 MB (total 2194 MB) Horizon 90: 714043 variables Allocated 32 MB (total 2345 MB) Allocated 32 MB permanent (total 2497 MB) Horizon 95: 753688 variables Allocated 32 MB (total 2529 MB) Horizon 100: 793333 variables Allocated 32 MB permanent (total 2810 MB) Horizon 105: 832978 variables Allocated 32 MB (total 2842 MB) Allocated 32 MB (total 2874 MB) Horizon 110: 872623 variables Allocated 32 MB (total 3034 MB) Allocated 32 MB (total 3066 MB) Allocated 32 MB (total 3098 MB) Allocated 32 MB (total 3130 MB) Allocated 32 MB (total 3162 MB) Allocated 32 MB (total 3194 MB) Allocated 32 MB (total 3226 MB) Allocated 32 MB (total 3258 MB) GC: 394.69 MB 15 UNSAT (3291 decisions 2677 conflicts) Allocated 32 MB permanent (total 3420 MB) Horizon 115: 912268 variables Allocated 32 MB (total 3452 MB) Allocated 32 MB (total 3484 MB) Allocated 32 MB (total 3516 MB) Allocated 32 MB (total 3548 MB) Allocated 32 MB (total 3580 MB) Allocated 32 MB (total 3612 MB) GC: 582.99 MB Allocated 32 MB (total 3644 MB) Allocated 32 MB (total 3676 MB) Allocated 32 MB (total 3708 MB) GC: 706.88 MB GC: 622.61 MB GC: 648.68 MB GC: 676.58 MB GC: 662.15 MB GC: 630.80 MB GC: 686.70 MB GC: 676.68 MB GC: 722.91 MB GC: 704.88 MB GC: 709.61 MB GC: 743.53 MB Allocated 32 MB (total 3740 MB) Allocated 32 MB (total 3772 MB) GC: 813.72 MB GC: 820.98 MB GC: 861.45 MB GC: 823.41 MB GC: 847.91 MB SAT (67135 decisions 53926 conflicts) PLAN FOUND: 20 steps STEP 0.0: load(p6,t0,l3) STEP 0.1: drive(t0,l3,l5,level175,level2,level177) STEP 1.0: load(p7,t0,l5) STEP 1.1: drive(t0,l5,l8,level168,level7,level175) STEP 2.0: load(p9,t0,l8) STEP 2.1: drive(t0,l8,l11,level163,level5,level168) STEP 3.0: load(p10,t0,l11) STEP 3.1: drive(t0,l11,l12,level156,level7,level163) STEP 4: drive(t0,l12,l14,level141,level15,level156) STEP 5.0: load(p12,t0,l14) load(p13,t0,l14) load(p2,t0,l14) load(p4,t0,l14) load(p5,t0,l14) STEP 5.1: drive(t0,l14,l10,level131,level10,level141) STEP 6.0: unload(p7,t0,l10) unload(p9,t0,l10) STEP 6.1: drive(t0,l10,l14,level121,level10,level131) STEP 7: drive(t0,l14,l0,level101,level20,level121) STEP 8.0: unload(p5,t0,l0) STEP 8.1: drive(t0,l0,l5,level100,level1,level101) STEP 9: drive(t0,l5,l9,level97,level3,level100) STEP 10.0: load(p8,t0,l9) STEP 10.1: drive(t0,l9,l6,level79,level18,level97) STEP 11.0: load(p0,t0,l6) load(p3,t0,l6) unload(p10,t0,l6) unload(p8,t0,l6) STEP 11.1: drive(t0,l6,l1,level59,level20,level79) STEP 12.0: load(p1,t0,l1) load(p11,t0,l1) load(p14,t0,l1) STEP 12.1: drive(t0,l1,l13,level47,level12,level59) STEP 13.0: unload(p12,t0,l13) unload(p2,t0,l13) unload(p6,t0,l13) STEP 13.1: drive(t0,l13,l2,level45,level2,level47) STEP 14.0: unload(p3,t0,l2) STEP 14.1: drive(t0,l2,l5,level20,level25,level45) STEP 15.0: unload(p0,t0,l5) unload(p11,t0,l5) unload(p14,t0,l5) STEP 15.1: drive(t0,l5,l8,level13,level7,level20) STEP 16.0: unload(p1,t0,l8) unload(p13,t0,l8) STEP 16.1: drive(t0,l8,l5,level6,level7,level13) STEP 17: drive(t0,l5,l3,level4,level2,level6) STEP 18: unload(p4,t0,l3) 48 actions in the plan. Cost of the plan is 48. total time 780.98 preprocess 116.21 total size 3.843 GB max. learned clause length 549676 t val conflicts decisions 0 0 0 0 5 0 0 0 10 0 323 352 15 0 2677 3291 20 1 53926 67135