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-74.pddlignoring --stats ignoring --verbose Domain: blocks Problem: blocks-36-1 Parser: 2664 ground actions and 1405 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 0.97 secs Goal: conjunctive Simplified: 2664 ground actions and 1405 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.64 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 148 MB) Horizon 0: 1405 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 21750 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 42095 variables 10 UNSAT (0 decisions 0 conflicts) Horizon 15: 62440 variables 15 UNSAT (0 decisions 0 conflicts) Horizon 20: 82785 variables 20 UNSAT (0 decisions 0 conflicts) Horizon 25: 103130 variables 25 UNSAT (0 decisions 0 conflicts) Horizon 30: 123475 variables 30 UNSAT (0 decisions 0 conflicts) Horizon 35: 143820 variables 35 UNSAT (0 decisions 0 conflicts) Horizon 40: 164165 variables 40 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1000 MB) Horizon 45: 184510 variables 45 UNSAT (0 decisions 0 conflicts) Horizon 50: 204855 variables 50 UNSAT (0 decisions 0 conflicts) Horizon 55: 225200 variables 55 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1301 MB) Horizon 60: 245545 variables Allocated 32 MB (total 1333 MB) 60 UNSAT (1 decisions 1 conflicts) Horizon 65: 265890 variables 65 UNSAT (20 decisions 19 conflicts) Horizon 70: 286235 variables 70 UNSAT (64 decisions 60 conflicts) Allocated 32 MB permanent (total 1645 MB) Horizon 75: 306580 variables Horizon 80: 326925 variables 75 UNSAT (135 decisions 94 conflicts) Allocated 32 MB permanent (total 1869 MB) Horizon 85: 347270 variables Horizon 90: 367615 variables Horizon 95: 387960 variables Allocated 32 MB permanent (total 2199 MB) Horizon 100: 408305 variables Allocated 32 MB permanent (total 2333 MB) Horizon 105: 428650 variables Horizon 110: 448995 variables Allocated 32 MB permanent (total 2572 MB) Horizon 115: 469340 variables Horizon 120: 489685 variables Allocated 32 MB permanent (total 2816 MB) Horizon 125: 510030 variables Allocated 32 MB permanent (total 2955 MB) Horizon 130: 530375 variables Horizon 135: 550720 variables Allocated 32 MB permanent (total 3206 MB) Horizon 140: 571065 variables Allocated 32 MB permanent (total 3350 MB) Horizon 145: 591410 variables Allocated 32 MB permanent (total 3494 MB) Horizon 150: 611755 variables Allocated 32 MB permanent (total 3640 MB) Horizon 155: 632100 variables Horizon 160: 652445 variables Allocated 32 MB (total 3787 MB) Allocated 32 MB permanent (total 3935 MB) Horizon 165: 672790 variables Allocated 32 MB permanent (total 4084 MB) Horizon 170: 693135 variables Allocated 32 MB permanent (total 4235 MB) Horizon 175: 713480 variables 80 UNSAT (3184 decisions 1192 conflicts) Allocated 32 MB permanent (total 4386 MB) Horizon 180: 733825 variables Allocated 32 MB (total 4418 MB) GC: 183.62 MB Allocated 32 MB (total 4450 MB) Allocated 32 MB (total 4482 MB) GC: 134.14 MB Allocated 32 MB (total 4514 MB) GC: 149.73 MB Allocated 32 MB (total 4546 MB) GC: 191.73 MB GC: 172.19 MB 85 UNSAT (26219 decisions 12706 conflicts) Horizon 185: 754170 variables GC: 220.72 MB GC: 163.53 MB GC: 166.35 MB GC: 166.71 MB GC: 170.14 MB GC: 178.48 MB Allocated 32 MB (total 4699 MB) GC: 204.34 MB GC: 204.82 MB Allocated 32 MB (total 4731 MB) GC: 247.52 MB GC: 161.01 MB GC: 177.85 MB GC: 222.51 MB GC: 218.21 MB GC: 218.87 MB GC: 222.05 MB GC: 211.21 MB GC: 240.34 MB GC: 224.39 MB GC: 241.02 MB GC: 244.68 MB GC: 244.49 MB GC: 242.03 MB GC: 262.60 MB Allocated 32 MB (total 4763 MB) GC: 268.22 MB GC: 257.03 MB GC: 279.94 MB GC: 262.04 MB GC: 270.95 MB Allocated 32 MB (total 4795 MB) GC: 310.67 MB GC: 213.00 MB GC: 240.32 MB GC: 266.51 MB