Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS) Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2006/domains/trucks-propositional-strips/domains/domain-17.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2006/domains/trucks-propositional-strips/instances/instance-17.pddlignoring --stats ignoring --verbose -m 8192 Domain: grounded-trucks Problem: grounded-truck-17 Parser: 14570 ground actions and 1513 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 22 2.83 secs Goal: conjunctive Simplified: 14554 ground actions and 1512 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.29 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 242 MB) Horizon 0: 1512 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 81842 variables Allocated 32 MB (total 438 MB) 5 UNSAT (19 decisions 19 conflicts) Horizon 10: 162172 variables Horizon 15: 242502 variables Horizon 20: 322832 variables Horizon 25: 403162 variables Horizon 30: 483492 variables Allocated 32 MB permanent (total 1057 MB) Horizon 35: 563822 variables Horizon 40: 644152 variables Horizon 45: 724482 variables Allocated 32 MB permanent (total 1447 MB) Horizon 50: 804812 variables Horizon 55: 885142 variables Horizon 60: 965472 variables Allocated 32 MB permanent (total 1879 MB) Horizon 65: 1045802 variables Horizon 70: 1126132 variables Allocated 32 MB permanent (total 2201 MB) Horizon 75: 1206462 variables Allocated 32 MB (total 2233 MB) Allocated 32 MB permanent (total 2418 MB) Horizon 80: 1286792 variables Horizon 85: 1367122 variables Allocated 32 MB permanent (total 2769 MB) Horizon 90: 1447452 variables Allocated 32 MB permanent (total 2968 MB) Horizon 95: 1527782 variables Allocated 32 MB (total 3000 MB) Horizon 100: 1608112 variables Allocated 32 MB permanent (total 3379 MB) Horizon 105: 1688442 variables Allocated 32 MB (total 3411 MB) Allocated 32 MB (total 3443 MB) Allocated 32 MB (total 3475 MB) GC: 92.73 MB Allocated 32 MB (total 3507 MB) Allocated 32 MB (total 3539 MB) Allocated 32 MB (total 3571 MB) Allocated 32 MB (total 3603 MB) Allocated 32 MB (total 3635 MB) Allocated 32 MB (total 3667 MB) GC: 173.91 MB Allocated 32 MB (total 3699 MB) Allocated 32 MB (total 3731 MB) Allocated 32 MB (total 3763 MB) Allocated 32 MB (total 3795 MB) Allocated 32 MB (total 3827 MB) Allocated 32 MB (total 3859 MB) GC: 223.65 MB Allocated 32 MB (total 3891 MB) Allocated 32 MB (total 3923 MB) Allocated 32 MB (total 3955 MB) Allocated 32 MB (total 3987 MB) Allocated 32 MB (total 4019 MB) Allocated 32 MB (total 4051 MB) GC: 300.14 MB Allocated 32 MB (total 4083 MB) Allocated 32 MB (total 4115 MB) Allocated 32 MB (total 4147 MB) Allocated 32 MB (total 4179 MB) Allocated 32 MB (total 4211 MB) GC: 721.76 MB GC: 341.10 MB GC: 347.29 MB GC: 361.98 MB GC: 415.15 MB GC: 402.46 MB GC: 397.44 MB GC: 449.97 MB SAT (8797 decisions 4965 conflicts) PLAN FOUND: 100 steps STEP 0.0: load_package6_truck1_a3_l3() STEP 0.1: drive_truck1_l3_l5_t0_t1() STEP 1.0: unload_package6_truck1_a3_l5() STEP 1.1: load_package2_truck1_a2_l5() STEP 1.2: load_package1_truck1_a1_l5() STEP 1.3: drive_truck1_l5_l4_t1_t2() STEP 2.0: deliver_package6_l5_t2_t10() unload_package1_truck1_a1_l4() STEP 2.1: drive_truck1_l4_l5_t2_t3() STEP 3.0: deliver_package1_l4_t3_t5() load_package3_truck1_a1_l5() STEP 3.1: drive_truck1_l5_l3_t3_t4() STEP 4: drive_truck1_l3_l1_t4_t5() STEP 5: unload_package3_truck1_a1_l1() STEP 6: deliver_package3_l1_t5_t5() unload_package2_truck1_a2_l1() STEP 7.0: deliver_package2_l1_t5_t5() STEP 7.1: drive_truck1_l1_l2_t5_t6() STEP 8.0: load_package12_truck1_a4_l2() STEP 8.1: load_package13_truck1_a3_l2() STEP 8.2: drive_truck1_l2_l5_t6_t7() STEP 9: unload_package13_truck1_a3_l5() STEP 10.0: deliver_package13_l5_t7_t20() STEP 10.1: drive_truck1_l5_l3_t7_t8() STEP 11: unload_package12_truck1_a4_l3() STEP 12.0: deliver_package12_l3_t8_t15() load_package7_truck1_a4_l3() STEP 12.1: drive_truck1_l3_l2_t8_t9() STEP 13.0: unload_package7_truck1_a4_l2() STEP 13.1: load_package10_truck1_a3_l2() STEP 13.2: load_package9_truck1_a2_l2() STEP 13.3: load_package11_truck1_a1_l2() STEP 13.4: drive_truck1_l2_l3_t9_t10() STEP 14: deliver_package7_l2_t10_t10() unload_package11_truck1_a1_l3() STEP 15.0: deliver_package11_l3_t10_t15() unload_package9_truck1_a2_l3() STEP 15.1: drive_truck1_l3_l4_t10_t11() STEP 16: unload_package10_truck1_a3_l4() STEP 17.0: deliver_package10_l4_t11_t15() STEP 17.1: drive_truck1_l4_l3_t11_t12() STEP 18.0: load_package8_truck1_a4_l3() STEP 18.1: load_package5_truck1_a3_l3() STEP 18.2: load_package9_truck1_a2_l3() STEP 18.3: drive_truck1_l3_l4_t12_t13() STEP 19.0: unload_package9_truck1_a2_l4() STEP 19.1: drive_truck1_l4_l2_t13_t14() STEP 20.0: deliver_package9_l4_t14_t15() STEP 20.1: drive_truck1_l2_l4_t14_t15() STEP 21.0: unload_package5_truck1_a3_l4() STEP 21.1: drive_truck1_l4_l5_t15_t16() STEP 22.0: deliver_package5_l4_t16_t18() unload_package8_truck1_a4_l5() STEP 22.1: load_package4_truck1_a1_l5() STEP 23.0: deliver_package8_l5_t16_t17() STEP 23.1: drive_truck1_l5_l4_t16_t17() STEP 24: unload_package4_truck1_a1_l4() STEP 25: deliver_package4_l4_t17_t17() 58 actions in the plan. total time 239.53 preprocess 3.47 total size 4.294 GB max. learned clause length 117913 t val conflicts decisions 0 0 0 0 5 0 19 19 10 -1 32685 39238 15 -1 29477 40727 20 -1 26504 36792 25 -1 23854 31398 30 -1 21449 28551 35 -1 19337 26761 40 -1 17420 26264 45 -1 15672 25593 50 -1 14107 22921 55 -1 12668 21730 60 -1 11404 18986 65 -1 10269 16945 70 -1 9243 15181 75 -1 8347 13445 80 -1 7504 12602 85 -1 6785 11576 90 -1 6125 11007 95 -1 5523 9597 100 1 4965 8797