Madagascar 0.99999 25/02/2015 09:46:27 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-89.pddlignoring --stats ignoring --verbose Domain: blocks Problem: blocks-44-0 Parser: 3960 ground actions and 2069 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 2.74 secs Goal: conjunctive Simplified: 3960 ground actions and 2069 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.66 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 165 MB) Horizon 0: 2069 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 32214 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 62359 variables 10 UNSAT (0 decisions 0 conflicts) Horizon 15: 92504 variables 15 UNSAT (0 decisions 0 conflicts) Horizon 20: 122649 variables 20 UNSAT (0 decisions 0 conflicts) Horizon 25: 152794 variables 25 UNSAT (0 decisions 0 conflicts) Horizon 30: 182939 variables 30 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 862 MB) Horizon 35: 213084 variables 35 UNSAT (0 decisions 0 conflicts) Horizon 40: 243229 variables 40 UNSAT (0 decisions 0 conflicts) Horizon 45: 273374 variables 45 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1171 MB) Horizon 50: 303519 variables 50 UNSAT (0 decisions 0 conflicts) Horizon 55: 333664 variables 55 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1397 MB) Horizon 60: 363809 variables 60 UNSAT (0 decisions 0 conflicts) Horizon 65: 393954 variables 65 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1630 MB) Horizon 70: 424099 variables Allocated 32 MB (total 1662 MB) 70 UNSAT (37 decisions 35 conflicts) Horizon 75: 454244 variables Allocated 32 MB permanent (total 1902 MB) Horizon 80: 484389 variables 75 UNSAT (117 decisions 70 conflicts) Horizon 85: 514534 variables Allocated 32 MB permanent (total 2150 MB) Horizon 90: 544679 variables 80 UNSAT (597 decisions 146 conflicts) Allocated 32 MB permanent (total 2292 MB) Horizon 95: 574824 variables Allocated 32 MB permanent (total 2436 MB) Horizon 100: 604969 variables Horizon 105: 635114 variables Allocated 32 MB permanent (total 2698 MB) Horizon 110: 665259 variables Allocated 32 MB permanent (total 2847 MB) Horizon 115: 695404 variables Allocated 32 MB permanent (total 2998 MB) Horizon 120: 725549 variables Allocated 32 MB permanent (total 3151 MB) Horizon 125: 755694 variables Allocated 32 MB permanent (total 3306 MB) Horizon 130: 785839 variables Allocated 32 MB permanent (total 3463 MB) Horizon 135: 815984 variables Allocated 32 MB permanent (total 3621 MB) Horizon 140: 846129 variables Allocated 32 MB permanent (total 3781 MB) Horizon 145: 876274 variables Allocated 32 MB permanent (total 3943 MB) Allocated 32 MB permanent (total 3975 MB) Horizon 150: 906419 variables Allocated 32 MB (total 4007 MB) Allocated 32 MB permanent (total 4171 MB) Horizon 155: 936564 variables Allocated 32 MB permanent (total 4336 MB) Horizon 160: 966709 variables Allocated 32 MB permanent (total 4504 MB) Horizon 165: 996854 variables Allocated 32 MB permanent (total 4673 MB) Allocated 32 MB permanent (total 4705 MB) Horizon 170: 1026999 variables Allocated 32 MB permanent (total 4876 MB) Horizon 175: 1057144 variables Allocated 32 MB permanent (total 5048 MB) Horizon 180: 1087289 variables Allocated 32 MB (total 5080 MB) Allocated 32 MB (total 5112 MB) Allocated 32 MB (total 5144 MB) GC: 293.50 MB 85 UNSAT (4550 decisions 2233 conflicts) Horizon 185: 1117434 variables Allocated 32 MB (total 5319 MB) Allocated 32 MB (total 5351 MB) Allocated 32 MB (total 5383 MB) Allocated 32 MB (total 5415 MB) GC: 241.67 MB Allocated 32 MB (total 5447 MB) Allocated 32 MB (total 5479 MB) Allocated 32 MB (total 5511 MB) Allocated 32 MB (total 5543 MB) GC: 353.64 MB GC: 348.55 MB Allocated 32 MB (total 5575 MB) Allocated 32 MB (total 5607 MB) GC: 390.22 MB Allocated 32 MB (total 5639 MB) GC: 417.37 MB Allocated 32 MB (total 5671 MB) GC: 451.26 MB Allocated 32 MB (total 5703 MB) Allocated 32 MB (total 5735 MB) GC: 486.46 MB Allocated 32 MB (total 5767 MB) GC: 570.02 MB GC: 519.81 MB GC: 490.53 MB GC: 541.12 MB Allocated 32 MB (total 5799 MB) GC: 589.42 MB Allocated 32 MB (total 5831 MB) GC: 602.58 MB GC: 596.18 MB Allocated 32 MB (total 5863 MB) GC: 635.24 MB Allocated 32 MB (total 5895 MB) GC: 670.08 MB GC: 667.74 MB Allocated 32 MB (total 5927 MB) Allocated 32 MB (total 5959 MB) GC: 711.46 MB GC: 697.28 MB