Madagascar 0.99999 01/02/2018 14:46:04 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 --stats-iter ignoring --verbose -m 8192 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 3.02 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.55 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 # statistics in YAML format --- runtime: total: 899.16 # [s] preprocessing: 4.67 # [s] maxLearnedClauseLength: 69635 groundActions: afterParsing: 3784 afterPreprocessing: 3784 stateVariables: afterParsing: 1979 afterPreprocessing: 1979 stronglyConnectedComponents: maxSize: 1 plan: found: false iterations: - horizon: 0 result: unsatisfiable conflicts: 0 decisions: 0 variables: 1979 - horizon: 5 result: unsatisfiable conflicts: 0 decisions: 0 variables: 30794 - horizon: 10 result: unsatisfiable conflicts: 0 decisions: 0 variables: 59609 - horizon: 15 result: unsatisfiable conflicts: 0 decisions: 0 variables: 88424 - horizon: 20 result: unsatisfiable conflicts: 0 decisions: 0 variables: 117239 - horizon: 25 result: unsatisfiable conflicts: 0 decisions: 0 variables: 146054 - horizon: 30 result: unsatisfiable conflicts: 0 decisions: 0 variables: 174869 - horizon: 35 result: unsatisfiable conflicts: 0 decisions: 0 variables: 203684 - horizon: 40 result: unsatisfiable conflicts: 0 decisions: 0 variables: 232499 - horizon: 45 result: unsatisfiable conflicts: 0 decisions: 0 variables: 261314 - horizon: 50 result: unsatisfiable conflicts: 0 decisions: 0 variables: 290129 - horizon: 55 result: unsatisfiable conflicts: 0 decisions: 0 variables: 318944 - horizon: 60 result: unsatisfiable conflicts: 0 decisions: 0 variables: 347759 - horizon: 65 result: unsatisfiable conflicts: 17 decisions: 17 variables: 376574 - horizon: 70 result: unsatisfiable conflicts: 72 decisions: 78 variables: 405389 - horizon: 75 result: unsatisfiable conflicts: 192 decisions: 231 variables: 434204 - horizon: 80 result: unsatisfiable conflicts: 237 decisions: 342 variables: 463019 - horizon: 85 result: unsatisfiable conflicts: 38942 decisions: 60260 variables: 491834 - horizon: 90 result: unknown conflicts: 69190 decisions: 168538 variables: 520649 - horizon: 95 result: unknown conflicts: 62237 decisions: 125941 variables: 549464 - horizon: 100 result: unknown conflicts: 56138 decisions: 108859 variables: 578279 - horizon: 105 result: unknown conflicts: 50430 decisions: 102446 variables: 607094 - horizon: 110 result: unknown conflicts: 45448 decisions: 93154 variables: 635909 - horizon: 115 result: unknown conflicts: 40840 decisions: 87056 variables: 664724 - horizon: 120 result: unknown conflicts: 36793 decisions: 79866 variables: 693539 - horizon: 125 result: unknown conflicts: 33126 decisions: 76560 variables: 722354 - horizon: 130 result: unknown conflicts: 29837 decisions: 74273 variables: 751169 - horizon: 135 result: unknown conflicts: 26809 decisions: 71636 variables: 779984 - horizon: 140 result: unknown conflicts: 24157 decisions: 68287 variables: 808799 - horizon: 145 result: unknown conflicts: 21739 decisions: 63436 variables: 837614 - horizon: 150 result: unknown conflicts: 19558 decisions: 58775 variables: 866429 - horizon: 155 result: unknown conflicts: 17621 decisions: 54051 variables: 895244 - horizon: 160 result: unknown conflicts: 15812 decisions: 48269 variables: 924059 - horizon: 165 result: unknown conflicts: 14235 decisions: 44552 variables: 952874 - horizon: 170 result: unknown conflicts: 12847 decisions: 39629 variables: 981689 - horizon: 175 result: unknown conflicts: 11528 decisions: 36787 variables: 1010504 - horizon: 180 result: unknown conflicts: 10391 decisions: 33452 variables: 1039319 - horizon: 185 result: unknown conflicts: 9368 decisions: 30992 variables: 1068134 ...