Madagascar 0.99999 31/01/2018 20:14:07 amd64 1-core (no VSIDS) Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/tidybot-sequential-satisficing/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/tidybot-sequential-satisficing/instances/instance-19.pddlignoring --stats ignoring --stats-iter ignoring --verbose -m 8192 Domain: tidybot Problem: test Parser: 160966 ground actions and 2482 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 24.43 secs Goal: conjunctive Simplified: 47278 ground actions and 725 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 35.28 secs (max SCC size 26) Plan type: E-step Allocated 32 MB permanent (total 752 MB) Horizon 0: 725 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 253940 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 507155 variables 10 UNSAT (0 decisions 0 conflicts) Horizon 15: 760370 variables 15 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1337 MB) Horizon 20: 1013585 variables Allocated 32 MB (total 1369 MB) Allocated 32 MB permanent (total 1552 MB) Horizon 25: 1266800 variables Allocated 32 MB permanent (total 1750 MB) Horizon 30: 1520015 variables Allocated 32 MB permanent (total 1964 MB) Horizon 35: 1773230 variables Allocated 32 MB permanent (total 2192 MB) Horizon 40: 2026445 variables Allocated 32 MB permanent (total 2435 MB) Allocated 32 MB permanent (total 2467 MB) Horizon 45: 2279660 variables Allocated 32 MB permanent (total 2725 MB) Horizon 50: 2532875 variables Allocated 32 MB permanent (total 2998 MB) Allocated 32 MB permanent (total 3030 MB) Horizon 55: 2786090 variables Allocated 32 MB permanent (total 3318 MB) Allocated 32 MB permanent (total 3350 MB) Horizon 60: 3039305 variables Allocated 32 MB permanent (total 3653 MB) Allocated 32 MB permanent (total 3685 MB) Horizon 65: 3292520 variables Allocated 32 MB permanent (total 4003 MB) Allocated 32 MB permanent (total 4035 MB) Horizon 70: 3545735 variables Allocated 32 MB (total 4067 MB) Allocated 32 MB permanent (total 4400 MB) Allocated 32 MB permanent (total 4432 MB) Allocated 32 MB permanent (total 4464 MB) Horizon 75: 3798950 variables Allocated 32 MB permanent (total 4812 MB) Allocated 32 MB permanent (total 4844 MB) Horizon 80: 4052165 variables Allocated 32 MB permanent (total 5207 MB) Allocated 32 MB permanent (total 5239 MB) Allocated 32 MB permanent (total 5271 MB) Horizon 85: 4305380 variables Allocated 32 MB permanent (total 5649 MB) Allocated 32 MB permanent (total 5681 MB) Allocated 32 MB permanent (total 5713 MB) Horizon 90: 4558595 variables Allocated 32 MB (total 5745 MB) Allocated 32 MB permanent (total 6138 MB) Allocated 32 MB permanent (total 6170 MB) Allocated 32 MB permanent (total 6202 MB) Horizon 95: 4811810 variables Allocated 32 MB permanent (total 6609 MB) Allocated 32 MB permanent (total 6641 MB) Allocated 32 MB permanent (total 6673 MB) Horizon 100: 5065025 variables Allocated 32 MB (total 6705 MB) Allocated 32 MB permanent (total 7128 MB) Allocated 32 MB permanent (total 7160 MB) Allocated 32 MB permanent (total 7192 MB) Horizon 105: 5318240 variables Allocated 32 MB permanent (total 7630 MB) Allocated 32 MB permanent (total 7662 MB) Allocated 32 MB permanent (total 7694 MB) Allocated 32 MB permanent (total 7726 MB) Horizon 110: 5571455 variables ATTENTION: Horizon 115 will not be started: memory allocated 7726.42 MB limit 8192.00 MB Allocated 32 MB (total 7758 MB) Allocated 32 MB (total 7790 MB) 20 UNSAT (1571 decisions 1480 conflicts) Allocated 32 MB (total 7822 MB) Allocated 32 MB (total 7854 MB) Allocated 32 MB (total 7886 MB) Allocated 32 MB (total 7918 MB) Allocated 32 MB (total 7950 MB) GC: 302.48 MB Allocated 32 MB (total 7982 MB) Allocated 32 MB (total 8014 MB) Allocated 32 MB (total 8046 MB) Allocated 32 MB (total 8078 MB) Allocated 32 MB (total 8110 MB) Allocated 32 MB (total 8142 MB) Allocated 32 MB (total 8174 MB) GC: 416.01 MB 25 UNSAT (5245 decisions 4680 conflicts) Allocated 32 MB (total 8206 MB) ATTENTION: Memory bound 8192.00 MB reached, 8206.42 MB allocated GC: 491.52 MB GC: 326.33 MB GC: 297.15 MB GC: 193.42 MB GC: 265.03 MB GC: 359.24 MB GC: 258.29 MB GC: 221.44 MB