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-77.pddlignoring --stats ignoring --stats-iter ignoring --verbose -m 8192 Domain: blocks Problem: blocks-38-0 Parser: 2964 ground actions and 1559 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 1.16 secs Goal: conjunctive Simplified: 2964 ground actions and 1559 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.84 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 151 MB) Horizon 0: 1559 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 24174 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 46789 variables 10 UNSAT (0 decisions 0 conflicts) Horizon 15: 69404 variables 15 UNSAT (0 decisions 0 conflicts) Horizon 20: 92019 variables 20 UNSAT (0 decisions 0 conflicts) Horizon 25: 114634 variables 25 UNSAT (0 decisions 0 conflicts) Horizon 30: 137249 variables 30 UNSAT (0 decisions 0 conflicts) Horizon 35: 159864 variables 35 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 922 MB) Horizon 40: 182479 variables 40 UNSAT (0 decisions 0 conflicts) Horizon 45: 205094 variables 45 UNSAT (0 decisions 0 conflicts) Horizon 50: 227709 variables 50 UNSAT (0 decisions 0 conflicts) Horizon 55: 250324 variables 55 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1316 MB) Horizon 60: 272939 variables 60 UNSAT (0 decisions 0 conflicts) Horizon 65: 295554 variables 65 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1537 MB) Horizon 70: 318169 variables Allocated 32 MB (total 1569 MB) 70 UNSAT (20 decisions 20 conflicts) Horizon 75: 340784 variables Horizon 80: 363399 variables 75 UNSAT (81 decisions 75 conflicts) Allocated 32 MB permanent (total 1894 MB) Horizon 85: 386014 variables 80 UNSAT (105 decisions 86 conflicts) Horizon 90: 408629 variables Allocated 32 MB permanent (total 2128 MB) Horizon 95: 431244 variables 85 UNSAT (203 decisions 161 conflicts) Allocated 32 MB permanent (total 2264 MB) Horizon 100: 453859 variables Horizon 105: 476474 variables Allocated 32 MB permanent (total 2506 MB) Horizon 110: 499089 variables 90 UNSAT (598 decisions 282 conflicts) Allocated 32 MB permanent (total 2645 MB) Horizon 115: 521704 variables Horizon 120: 544319 variables 95 UNSAT (538 decisions 349 conflicts) Allocated 32 MB permanent (total 2896 MB) Horizon 125: 566934 variables Allocated 32 MB permanent (total 3039 MB) Horizon 130: 589549 variables Allocated 32 MB permanent (total 3183 MB) Horizon 135: 612164 variables Horizon 140: 634779 variables Allocated 32 MB permanent (total 3444 MB) Horizon 145: 657394 variables Allocated 32 MB permanent (total 3593 MB) Horizon 150: 680009 variables Allocated 32 MB permanent (total 3743 MB) Horizon 155: 702624 variables Allocated 32 MB permanent (total 3894 MB) Horizon 160: 725239 variables Allocated 32 MB permanent (total 4047 MB) Horizon 165: 747854 variables Allocated 32 MB permanent (total 4201 MB) Horizon 170: 770469 variables Allocated 32 MB permanent (total 4356 MB) Horizon 175: 793084 variables Allocated 32 MB permanent (total 4512 MB) Horizon 180: 815699 variables Allocated 32 MB permanent (total 4670 MB) Horizon 185: 838314 variables Allocated 32 MB permanent (total 4829 MB) Horizon 190: 860929 variables Allocated 32 MB permanent (total 4990 MB) Horizon 195: 883544 variables Allocated 32 MB (total 5022 MB) GC: 205.87 MB Allocated 32 MB (total 5054 MB) GC: 56.91 MB GC: 70.66 MB Allocated 32 MB (total 5086 MB) GC: 93.64 MB GC: 95.99 MB Allocated 32 MB (total 5118 MB) GC: 102.18 MB GC: 103.98 MB GC: 118.32 MB 100 UNSAT (64478 decisions 21695 conflicts) Horizon 200: 906159 variables Allocated 32 MB (total 5280 MB) GC: 165.04 MB GC: 81.50 MB GC: 99.65 MB GC: 113.95 MB GC: 133.64 MB GC: 124.04 MB GC: 120.48 MB GC: 126.72 MB GC: 154.77 MB GC: 134.48 MB GC: 133.47 MB GC: 134.31 MB GC: 149.82 MB GC: 146.10 MB GC: 165.33 MB GC: 151.97 MB GC: 161.46 MB GC: 160.39 MB GC: 150.16 MB GC: 172.13 MB GC: 168.13 MB # statistics in YAML format --- runtime: total: 899.43 # [s] preprocessing: 2.06 # [s] maxLearnedClauseLength: 33314 groundActions: afterParsing: 2964 afterPreprocessing: 2964 stateVariables: afterParsing: 1559 afterPreprocessing: 1559 stronglyConnectedComponents: maxSize: 1 plan: found: false iterations: - horizon: 0 result: unsatisfiable conflicts: 0 decisions: 0 variables: 1559 - horizon: 5 result: unsatisfiable conflicts: 0 decisions: 0 variables: 24174 - horizon: 10 result: unsatisfiable conflicts: 0 decisions: 0 variables: 46789 - horizon: 15 result: unsatisfiable conflicts: 0 decisions: 0 variables: 69404 - horizon: 20 result: unsatisfiable conflicts: 0 decisions: 0 variables: 92019 - horizon: 25 result: unsatisfiable conflicts: 0 decisions: 0 variables: 114634 - horizon: 30 result: unsatisfiable conflicts: 0 decisions: 0 variables: 137249 - horizon: 35 result: unsatisfiable conflicts: 0 decisions: 0 variables: 159864 - horizon: 40 result: unsatisfiable conflicts: 0 decisions: 0 variables: 182479 - horizon: 45 result: unsatisfiable conflicts: 0 decisions: 0 variables: 205094 - horizon: 50 result: unsatisfiable conflicts: 0 decisions: 0 variables: 227709 - horizon: 55 result: unsatisfiable conflicts: 0 decisions: 0 variables: 250324 - horizon: 60 result: unsatisfiable conflicts: 0 decisions: 0 variables: 272939 - horizon: 65 result: unsatisfiable conflicts: 0 decisions: 0 variables: 295554 - horizon: 70 result: unsatisfiable conflicts: 20 decisions: 20 variables: 318169 - horizon: 75 result: unsatisfiable conflicts: 75 decisions: 81 variables: 340784 - horizon: 80 result: unsatisfiable conflicts: 86 decisions: 105 variables: 363399 - horizon: 85 result: unsatisfiable conflicts: 161 decisions: 203 variables: 386014 - horizon: 90 result: unsatisfiable conflicts: 282 decisions: 598 variables: 408629 - horizon: 95 result: unsatisfiable conflicts: 349 decisions: 538 variables: 431244 - horizon: 100 result: unsatisfiable conflicts: 21695 decisions: 64478 variables: 453859 - horizon: 105 result: unknown conflicts: 90159 decisions: 247341 variables: 476474 - horizon: 110 result: unknown conflicts: 81508 decisions: 199490 variables: 499089 - horizon: 115 result: unknown conflicts: 73135 decisions: 183390 variables: 521704 - horizon: 120 result: unknown conflicts: 65802 decisions: 161996 variables: 544319 - horizon: 125 result: unknown conflicts: 59223 decisions: 145031 variables: 566934 - horizon: 130 result: unknown conflicts: 53213 decisions: 134221 variables: 589549 - horizon: 135 result: unknown conflicts: 47906 decisions: 123160 variables: 612164 - horizon: 140 result: unknown conflicts: 43109 decisions: 114611 variables: 634779 - horizon: 145 result: unknown conflicts: 38789 decisions: 109410 variables: 657394 - horizon: 150 result: unknown conflicts: 34853 decisions: 100705 variables: 680009 - horizon: 155 result: unknown conflicts: 31409 decisions: 92442 variables: 702624 - horizon: 160 result: unknown conflicts: 28275 decisions: 85542 variables: 725239 - horizon: 165 result: unknown conflicts: 25426 decisions: 82362 variables: 747854 - horizon: 170 result: unknown conflicts: 22917 decisions: 71843 variables: 770469 - horizon: 175 result: unknown conflicts: 20599 decisions: 67975 variables: 793084 - horizon: 180 result: unknown conflicts: 18498 decisions: 61924 variables: 815699 - horizon: 185 result: unknown conflicts: 16698 decisions: 54721 variables: 838314 - horizon: 190 result: unknown conflicts: 15013 decisions: 50745 variables: 860929 - horizon: 195 result: unknown conflicts: 13517 decisions: 44777 variables: 883544 - horizon: 200 result: unknown conflicts: 12194 decisions: 41629 variables: 906159 ...