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-87.pddlignoring --stats ignoring --verbose Domain: blocks Problem: blocks-43-0 Parser: 3784 ground actions and 1979 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 2.94 secs Goal: conjunctive Simplified: 3784 ground actions and 1979 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.50 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 162 MB) Horizon 0: 1979 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 30794 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 59609 variables 10 UNSAT (0 decisions 0 conflicts) Horizon 15: 88424 variables 15 UNSAT (0 decisions 0 conflicts) Horizon 20: 117239 variables 20 UNSAT (0 decisions 0 conflicts) Horizon 25: 146054 variables 25 UNSAT (0 decisions 0 conflicts) Horizon 30: 174869 variables 30 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 857 MB) Horizon 35: 203684 variables 35 UNSAT (0 decisions 0 conflicts) Horizon 40: 232499 variables 40 UNSAT (0 decisions 0 conflicts) Horizon 45: 261314 variables 45 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1164 MB) Horizon 50: 290129 variables 50 UNSAT (0 decisions 0 conflicts) Horizon 55: 318944 variables 55 UNSAT (0 decisions 0 conflicts) Horizon 60: 347759 variables 60 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1487 MB) Horizon 65: 376574 variables Allocated 32 MB (total 1519 MB) 65 UNSAT (17 decisions 17 conflicts) Horizon 70: 405389 variables Allocated 32 MB permanent (total 1753 MB) Horizon 75: 434204 variables 70 UNSAT (78 decisions 72 conflicts) Allocated 32 MB permanent (total 1889 MB) Horizon 80: 463019 variables Horizon 85: 491834 variables Allocated 32 MB permanent (total 2133 MB) Horizon 90: 520649 variables 75 UNSAT (231 decisions 192 conflicts) Allocated 32 MB permanent (total 2274 MB) Horizon 95: 549464 variables 80 UNSAT (342 decisions 237 conflicts) Horizon 100: 578279 variables Allocated 32 MB permanent (total 2529 MB) Horizon 105: 607094 variables Allocated 32 MB permanent (total 2675 MB) Horizon 110: 635909 variables Allocated 32 MB permanent (total 2823 MB) Horizon 115: 664724 variables Allocated 32 MB permanent (total 2972 MB) Horizon 120: 693539 variables Allocated 32 MB permanent (total 3123 MB) Horizon 125: 722354 variables Allocated 32 MB permanent (total 3276 MB) Horizon 130: 751169 variables Allocated 32 MB permanent (total 3430 MB) Horizon 135: 779984 variables Allocated 32 MB permanent (total 3586 MB) Horizon 140: 808799 variables Allocated 32 MB permanent (total 3744 MB) Horizon 145: 837614 variables Allocated 32 MB permanent (total 3904 MB) Horizon 150: 866429 variables Allocated 32 MB permanent (total 4065 MB) Horizon 155: 895244 variables Allocated 32 MB permanent (total 4228 MB) Horizon 160: 924059 variables Allocated 32 MB permanent (total 4393 MB) Horizon 165: 952874 variables Allocated 32 MB permanent (total 4559 MB) Allocated 32 MB permanent (total 4591 MB) Horizon 170: 981689 variables Allocated 32 MB permanent (total 4759 MB) Horizon 175: 1010504 variables Allocated 32 MB permanent (total 4929 MB) Horizon 180: 1039319 variables Allocated 32 MB (total 4961 MB) Allocated 32 MB (total 4993 MB) GC: 238.39 MB Allocated 32 MB (total 5025 MB) Allocated 32 MB (total 5057 MB) Allocated 32 MB (total 5089 MB) Allocated 32 MB (total 5121 MB) Allocated 32 MB (total 5153 MB) GC: 192.31 MB Allocated 32 MB (total 5185 MB) Allocated 32 MB (total 5217 MB) GC: 243.90 MB Allocated 32 MB (total 5249 MB) Allocated 32 MB (total 5281 MB) Allocated 32 MB (total 5313 MB) GC: 289.71 MB Allocated 32 MB (total 5345 MB) Allocated 32 MB (total 5377 MB) GC: 315.79 MB Allocated 32 MB (total 5409 MB) Allocated 32 MB (total 5441 MB) Allocated 32 MB (total 5473 MB) GC: 350.16 MB Allocated 32 MB (total 5505 MB) Allocated 32 MB (total 5537 MB) Allocated 32 MB (total 5569 MB) GC: 405.27 MB Allocated 32 MB (total 5601 MB) Allocated 32 MB (total 5633 MB) GC: 558.25 MB GC: 349.41 MB GC: 397.88 MB Allocated 32 MB (total 5665 MB) Allocated 32 MB (total 5697 MB) GC: 603.36 MB GC: 474.51 MB GC: 515.43 MB Allocated 32 MB (total 5729 MB) Allocated 32 MB (total 5761 MB) Allocated 32 MB (total 5793 MB) GC: 659.40 MB 85 UNSAT (60260 decisions 38942 conflicts) Horizon 185: 1068134 variables GC: 808.82 MB GC: 302.31 MB GC: 322.83 MB GC: 332.85 MB GC: 364.22 MB GC: 379.02 MB GC: 387.67 MB GC: 403.38 MB GC: 409.54 MB GC: 430.06 MB GC: 450.91 MB