Madagascar 0.99999 25/02/2015 09:45:59 amd64 1-core (no VSIDS) Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-101.pddlignoring --stats ignoring --verbose Domain: blocks Problem: blocks-50-0 Parser: 5100 ground actions and 2651 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 5.84 secs Goal: conjunctive Simplified: 5100 ground actions and 2651 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 3.12 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 181 MB) Horizon 5: 41406 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 7: 56908 variables 7 UNSAT (0 decisions 0 conflicts) Horizon 10: 80161 variables 10 UNSAT (0 decisions 0 conflicts) Horizon 14: 111165 variables 14 UNSAT (0 decisions 0 conflicts) Horizon 20: 157671 variables 20 UNSAT (0 decisions 0 conflicts) Horizon 28: 219679 variables 28 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 810 MB) Horizon 40: 312691 variables 40 UNSAT (0 decisions 0 conflicts) Horizon 56: 436707 variables 56 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1058 MB) Horizon 80: 622731 variables Allocated 32 MB (total 1090 MB) Allocated 32 MB permanent (total 1250 MB) Horizon 113: 878514 variables Allocated 32 MB permanent (total 1432 MB) Allocated 32 MB permanent (total 1464 MB) Horizon 160: 1242811 variables Allocated 32 MB permanent (total 1676 MB) Allocated 32 MB permanent (total 1708 MB) Horizon 226: 1754377 variables Allocated 32 MB permanent (total 1963 MB) Allocated 32 MB permanent (total 1995 MB) Allocated 32 MB permanent (total 2027 MB) Horizon 320: 2482971 variables Allocated 32 MB permanent (total 2343 MB) Allocated 32 MB permanent (total 2375 MB) Allocated 32 MB permanent (total 2407 MB) Allocated 32 MB permanent (total 2439 MB) Allocated 32 MB permanent (total 2471 MB) Horizon 452: 3506103 variables Allocated 32 MB permanent (total 2872 MB) Allocated 32 MB permanent (total 2904 MB) Allocated 32 MB permanent (total 2936 MB) Allocated 32 MB permanent (total 2968 MB) Allocated 32 MB permanent (total 3000 MB) Allocated 32 MB permanent (total 3032 MB) Horizon 640: 4963291 variables Allocated 32 MB permanent (total 3556 MB) Allocated 32 MB permanent (total 3588 MB) Allocated 32 MB permanent (total 3620 MB) Allocated 32 MB permanent (total 3652 MB) Allocated 32 MB permanent (total 3684 MB) Allocated 32 MB permanent (total 3716 MB) Allocated 32 MB permanent (total 3748 MB) Allocated 32 MB permanent (total 3780 MB) Allocated 32 MB permanent (total 3812 MB) Horizon 905: 7017306 variables Allocated 32 MB permanent (total 4507 MB) Allocated 32 MB permanent (total 4539 MB) Allocated 32 MB permanent (total 4571 MB) Allocated 32 MB permanent (total 4603 MB) Allocated 32 MB permanent (total 4635 MB) Allocated 32 MB permanent (total 4667 MB) Allocated 32 MB permanent (total 4699 MB) Allocated 32 MB permanent (total 4731 MB) Allocated 32 MB permanent (total 4763 MB) Allocated 32 MB permanent (total 4795 MB) Allocated 32 MB permanent (total 4827 MB) Allocated 32 MB permanent (total 4859 MB) Allocated 32 MB permanent (total 4891 MB) Horizon 1280: 9923931 variables Allocated 32 MB permanent (total 5829 MB) Allocated 32 MB permanent (total 5861 MB) Allocated 32 MB permanent (total 5893 MB) Allocated 32 MB permanent (total 5925 MB) Allocated 32 MB permanent (total 5957 MB) Allocated 32 MB permanent (total 5989 MB) Allocated 32 MB permanent (total 6021 MB) Allocated 32 MB permanent (total 6053 MB) Allocated 32 MB permanent (total 6085 MB) Allocated 32 MB permanent (total 6117 MB) Allocated 32 MB permanent (total 6149 MB) Allocated 32 MB permanent (total 6181 MB) Allocated 32 MB permanent (total 6213 MB) Allocated 32 MB permanent (total 6245 MB) Allocated 32 MB permanent (total 6277 MB) Allocated 32 MB permanent (total 6309 MB) Allocated 32 MB permanent (total 6341 MB) Allocated 32 MB permanent (total 6373 MB) Horizon 1810: 14031961 variables Allocated 32 MB (total 6405 MB) Allocated 32 MB (total 6437 MB) Allocated 32 MB (total 6469 MB) GC: 118.67 MB Allocated 32 MB (total 6501 MB) Allocated 32 MB (total 6533 MB) Allocated 32 MB (total 6565 MB) GC: 133.42 MB Allocated 32 MB (total 6597 MB) Allocated 32 MB (total 6629 MB) GC: 137.04 MB Allocated 32 MB (total 6661 MB) Allocated 32 MB (total 6693 MB) Allocated 32 MB (total 6725 MB) Allocated 32 MB (total 6757 MB) GC: 210.54 MB Allocated 32 MB (total 6789 MB) Allocated 32 MB (total 6821 MB) GC: 312.92 MB GC: 256.82 MB GC: 218.72 MB Allocated 32 MB (total 6853 MB) GC: 222.78 MB Allocated 32 MB (total 6885 MB) Allocated 32 MB (total 6917 MB) Allocated 32 MB (total 6949 MB) GC: 259.22 MB Allocated 32 MB (total 6981 MB) Allocated 32 MB (total 7013 MB) Allocated 32 MB (total 7045 MB) Allocated 32 MB (total 7077 MB) GC: 337.95 MB Allocated 32 MB (total 7109 MB) GC: 553.10 MB