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-20.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2006/domains/trucks-propositional-strips/instances/instance-20.pddlignoring --stats ignoring --verbose -m 8192 Domain: grounded-trucks Problem: grounded-truck-20 Parser: 14658 ground actions and 1656 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 4.60 secs Goal: conjunctive Simplified: 14633 ground actions and 1655 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.28 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 247 MB) Horizon 0: 1655 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 83095 variables Allocated 32 MB (total 444 MB) 5 UNSAT (36 decisions 36 conflicts) Horizon 10: 164535 variables Horizon 15: 245975 variables Horizon 20: 327415 variables Horizon 25: 408855 variables Horizon 30: 490295 variables Allocated 32 MB permanent (total 1065 MB) Horizon 35: 571735 variables Horizon 40: 653175 variables Horizon 45: 734615 variables Allocated 32 MB permanent (total 1456 MB) Horizon 50: 816055 variables Horizon 55: 897495 variables Horizon 60: 978935 variables Allocated 32 MB (total 1752 MB) Allocated 32 MB permanent (total 1923 MB) Horizon 65: 1060375 variables Allocated 32 MB permanent (total 2099 MB) Horizon 70: 1141815 variables Horizon 75: 1223255 variables Allocated 32 MB (total 2279 MB) Allocated 32 MB permanent (total 2465 MB) Horizon 80: 1304695 variables Horizon 85: 1386135 variables Allocated 32 MB (total 2655 MB) Allocated 32 MB permanent (total 2850 MB) Horizon 90: 1467575 variables Allocated 32 MB permanent (total 3050 MB) Horizon 95: 1549015 variables Allocated 32 MB (total 3082 MB) Allocated 32 MB permanent (total 3287 MB) Horizon 100: 1630455 variables Allocated 32 MB (total 3319 MB) Horizon 105: 1711895 variables Allocated 32 MB (total 3528 MB) Allocated 32 MB (total 3560 MB) Allocated 32 MB (total 3592 MB) Allocated 32 MB (total 3624 MB) Allocated 32 MB (total 3656 MB) GC: 97.56 MB Allocated 32 MB (total 3688 MB) Allocated 32 MB (total 3720 MB) Allocated 32 MB (total 3752 MB) Allocated 32 MB (total 3784 MB) Allocated 32 MB (total 3816 MB) Allocated 32 MB (total 3848 MB) Allocated 32 MB (total 3880 MB) Allocated 32 MB (total 3912 MB) Allocated 32 MB (total 3944 MB) GC: 148.62 MB Allocated 32 MB (total 3976 MB) Allocated 32 MB (total 4008 MB) Allocated 32 MB (total 4040 MB) Allocated 32 MB (total 4072 MB) Allocated 32 MB (total 4104 MB) Allocated 32 MB (total 4136 MB) Allocated 32 MB (total 4168 MB) Allocated 32 MB (total 4200 MB) Allocated 32 MB (total 4232 MB) Allocated 32 MB (total 4264 MB) GC: 584.31 MB GC: 387.92 MB GC: 340.45 MB Allocated 32 MB (total 4296 MB) Allocated 32 MB (total 4328 MB) Allocated 32 MB (total 4360 MB) Allocated 32 MB (total 4392 MB) GC: 381.08 MB Allocated 32 MB (total 4424 MB) Allocated 32 MB (total 4456 MB) Allocated 32 MB (total 4488 MB) Allocated 32 MB (total 4520 MB) GC: 408.40 MB Allocated 32 MB (total 4552 MB) Allocated 32 MB (total 4584 MB) Allocated 32 MB (total 4616 MB) Allocated 32 MB (total 4648 MB) GC: 417.27 MB Allocated 32 MB (total 4680 MB) Allocated 32 MB (total 4712 MB) Allocated 32 MB (total 4744 MB) Allocated 32 MB (total 4776 MB) GC: 451.95 MB Allocated 32 MB (total 4808 MB) Allocated 32 MB (total 4840 MB) Allocated 32 MB (total 4872 MB) Allocated 32 MB (total 4904 MB) GC: 1225.79 MB GC: 472.92 MB GC: 511.29 MB GC: 521.94 MB GC: 557.38 MB GC: 1014.99 MB GC: 559.63 MB GC: 553.42 MB GC: 568.70 MB GC: 563.59 MB GC: 546.81 MB GC: 606.18 MB GC: 597.06 MB GC: 625.59 MB GC: 583.96 MB GC: 584.15 MB GC: 668.81 MB GC: 662.70 MB GC: 863.01 MB GC: 611.68 MB GC: 611.54 MB GC: 684.16 MB GC: 772.24 MB GC: 917.38 MB GC: 709.82 MB