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-88.pddlignoring --stats ignoring --verbose Domain: blocks Problem: blocks-43-1 Parser: 3784 ground actions and 1979 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 22 23 24 25 26 2.01 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.49 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 65 UNSAT (0 decisions 0 conflicts) Horizon 70: 405389 variables 70 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1721 MB) Horizon 75: 434204 variables Allocated 32 MB (total 1753 MB) 75 UNSAT (1 decisions 1 conflicts) Allocated 32 MB permanent (total 1889 MB) Horizon 80: 463019 variables 80 UNSAT (22 decisions 20 conflicts) Horizon 85: 491834 variables 85 UNSAT (42 decisions 40 conflicts) Allocated 32 MB permanent (total 2133 MB) Horizon 90: 520649 variables Allocated 32 MB permanent (total 2274 MB) Horizon 95: 549464 variables 90 UNSAT (115 decisions 99 conflicts) Horizon 100: 578279 variables 95 UNSAT (133 decisions 94 conflicts) 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 100 UNSAT (300 decisions 185 conflicts) 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 permanent (total 5133 MB) Allocated 32 MB permanent (total 5165 MB) Horizon 185: 1068134 variables Allocated 32 MB permanent (total 5338 MB) Horizon 190: 1096949 variables 105 UNSAT (3259 decisions 1059 conflicts) Allocated 32 MB permanent (total 5513 MB) Horizon 195: 1125764 variables Allocated 32 MB permanent (total 5689 MB) Allocated 32 MB permanent (total 5721 MB) Horizon 200: 1154579 variables Allocated 32 MB permanent (total 5900 MB) Horizon 205: 1183394 variables Allocated 32 MB (total 5932 MB) GC: 348.63 MB Allocated 32 MB (total 5964 MB) Allocated 32 MB (total 5996 MB) GC: 120.58 MB Allocated 32 MB (total 6028 MB) GC: 150.82 MB Allocated 32 MB (total 6060 MB) GC: 169.82 MB Allocated 32 MB (total 6092 MB) GC: 204.41 MB GC: 205.41 MB GC: 196.84 MB Allocated 32 MB (total 6124 MB) GC: 215.36 MB GC: 230.98 MB Allocated 32 MB (total 6156 MB) GC: 243.22 MB GC: 265.01 MB GC: 254.16 MB Allocated 32 MB (total 6188 MB) GC: 272.36 MB Allocated 32 MB (total 6220 MB) GC: 322.82 MB GC: 244.69 MB GC: 271.79 MB GC: 263.38 MB GC: 269.86 MB GC: 308.54 MB GC: 297.91 MB GC: 302.35 MB GC: 310.93 MB GC: 318.35 MB GC: 322.76 MB GC: 338.12 MB