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-62.pddlignoring --stats ignoring --stats-iter ignoring --verbose -m 8192 Domain: blocks Problem: blocks-30-1 Parser: 1860 ground actions and 991 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 0.45 secs Goal: conjunctive Simplified: 1860 ground actions and 991 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.26 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 138 MB) Horizon 0: 991 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 15246 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 29501 variables 10 UNSAT (0 decisions 0 conflicts) Horizon 15: 43756 variables 15 UNSAT (0 decisions 0 conflicts) Horizon 20: 58011 variables 20 UNSAT (0 decisions 0 conflicts) Horizon 25: 72266 variables 25 UNSAT (0 decisions 0 conflicts) Horizon 30: 86521 variables 30 UNSAT (0 decisions 0 conflicts) Horizon 35: 100776 variables 35 UNSAT (0 decisions 0 conflicts) Horizon 40: 115031 variables 40 UNSAT (0 decisions 0 conflicts) Horizon 45: 129286 variables Allocated 32 MB (total 973 MB) 45 UNSAT (9 decisions 9 conflicts) Allocated 32 MB permanent (total 1090 MB) Horizon 50: 143541 variables 50 UNSAT (36 decisions 33 conflicts) Horizon 55: 157796 variables Horizon 60: 172051 variables Horizon 65: 186306 variables Horizon 70: 200561 variables 55 UNSAT (292 decisions 235 conflicts) Allocated 32 MB permanent (total 1559 MB) Horizon 75: 214816 variables Horizon 80: 229071 variables Horizon 85: 243326 variables Allocated 32 MB permanent (total 1863 MB) Horizon 90: 257581 variables Horizon 95: 271836 variables Horizon 100: 286091 variables 60 UNSAT (746 decisions 527 conflicts) Allocated 32 MB permanent (total 2175 MB) Horizon 105: 300346 variables Horizon 110: 314601 variables Allocated 32 MB permanent (total 2398 MB) Horizon 115: 328856 variables Horizon 120: 343111 variables Allocated 32 MB permanent (total 2624 MB) Horizon 125: 357366 variables Horizon 130: 371621 variables Horizon 135: 385876 variables Allocated 32 MB permanent (total 2953 MB) Horizon 140: 400131 variables Allocated 32 MB permanent (total 3086 MB) Horizon 145: 414386 variables Horizon 150: 428641 variables Allocated 32 MB permanent (total 3322 MB) Horizon 155: 442896 variables Horizon 160: 457151 variables Allocated 32 MB (total 3458 MB) GC: 71.28 MB Allocated 32 MB (total 3490 MB) GC: 52.12 MB Allocated 32 MB (total 3522 MB) Allocated 32 MB (total 3554 MB) GC: 75.32 MB 65 UNSAT (10727 decisions 7541 conflicts) Horizon 165: 471406 variables GC: 119.12 MB GC: 87.03 MB Allocated 32 MB (total 3690 MB) GC: 93.80 MB Allocated 32 MB (total 3722 MB) GC: 116.67 MB Allocated 32 MB (total 3754 MB) GC: 127.54 MB GC: 203.83 MB GC: 137.35 MB GC: 116.24 MB GC: 114.65 MB GC: 122.46 MB GC: 125.15 MB GC: 139.62 MB GC: 138.03 MB GC: 143.90 MB GC: 147.70 MB GC: 164.39 MB GC: 158.46 MB GC: 164.38 MB GC: 170.06 MB GC: 162.08 MB GC: 174.74 MB GC: 192.93 MB GC: 183.26 MB GC: 202.38 MB Allocated 32 MB (total 3786 MB) GC: 206.61 MB GC: 185.16 MB GC: 207.30 MB GC: 194.91 MB GC: 207.18 MB GC: 207.45 MB GC: 219.09 MB Allocated 32 MB (total 3818 MB) GC: 243.27 MB GC: 239.96 MB GC: 228.25 MB GC: 238.71 MB GC: 242.30 MB Allocated 32 MB (total 3850 MB) GC: 261.83 MB GC: 235.72 MB GC: 254.70 MB GC: 266.16 MB GC: 272.85 MB GC: 270.66 MB GC: 271.77 MB Allocated 32 MB (total 3882 MB) GC: 281.20 MB GC: 279.59 MB Allocated 32 MB (total 3914 MB) GC: 306.64 MB # statistics in YAML format --- runtime: total: 899.54 # [s] preprocessing: 0.74 # [s] maxLearnedClauseLength: 28851 groundActions: afterParsing: 1860 afterPreprocessing: 1860 stateVariables: afterParsing: 991 afterPreprocessing: 991 stronglyConnectedComponents: maxSize: 1 plan: found: false iterations: - horizon: 0 result: unsatisfiable conflicts: 0 decisions: 0 variables: 991 - horizon: 5 result: unsatisfiable conflicts: 0 decisions: 0 variables: 15246 - horizon: 10 result: unsatisfiable conflicts: 0 decisions: 0 variables: 29501 - horizon: 15 result: unsatisfiable conflicts: 0 decisions: 0 variables: 43756 - horizon: 20 result: unsatisfiable conflicts: 0 decisions: 0 variables: 58011 - horizon: 25 result: unsatisfiable conflicts: 0 decisions: 0 variables: 72266 - horizon: 30 result: unsatisfiable conflicts: 0 decisions: 0 variables: 86521 - horizon: 35 result: unsatisfiable conflicts: 0 decisions: 0 variables: 100776 - horizon: 40 result: unsatisfiable conflicts: 0 decisions: 0 variables: 115031 - horizon: 45 result: unsatisfiable conflicts: 9 decisions: 9 variables: 129286 - horizon: 50 result: unsatisfiable conflicts: 33 decisions: 36 variables: 143541 - horizon: 55 result: unsatisfiable conflicts: 235 decisions: 292 variables: 157796 - horizon: 60 result: unsatisfiable conflicts: 527 decisions: 746 variables: 172051 - horizon: 65 result: unsatisfiable conflicts: 7541 decisions: 10727 variables: 186306 - horizon: 70 result: unknown conflicts: 178256 decisions: 266296 variables: 200561 - horizon: 75 result: unknown conflicts: 160554 decisions: 267810 variables: 214816 - horizon: 80 result: unknown conflicts: 144594 decisions: 258249 variables: 229071 - horizon: 85 result: unknown conflicts: 130288 decisions: 251356 variables: 243326 - horizon: 90 result: unknown conflicts: 117350 decisions: 245606 variables: 257581 - horizon: 95 result: unknown conflicts: 105579 decisions: 226101 variables: 271836 - horizon: 100 result: unknown conflicts: 94863 decisions: 196930 variables: 286091 - horizon: 105 result: unknown conflicts: 85247 decisions: 175788 variables: 300346 - horizon: 110 result: unknown conflicts: 76777 decisions: 158202 variables: 314601 - horizon: 115 result: unknown conflicts: 69050 decisions: 144013 variables: 328856 - horizon: 120 result: unknown conflicts: 62081 decisions: 132344 variables: 343111 - horizon: 125 result: unknown conflicts: 55879 decisions: 121481 variables: 357366 - horizon: 130 result: unknown conflicts: 50263 decisions: 109927 variables: 371621 - horizon: 135 result: unknown conflicts: 45275 decisions: 101337 variables: 385876 - horizon: 140 result: unknown conflicts: 40716 decisions: 93781 variables: 400131 - horizon: 145 result: unknown conflicts: 36682 decisions: 84706 variables: 414386 - horizon: 150 result: unknown conflicts: 33022 decisions: 78186 variables: 428641 - horizon: 155 result: unknown conflicts: 29714 decisions: 72042 variables: 442896 - horizon: 160 result: unknown conflicts: 26716 decisions: 65483 variables: 457151 - horizon: 165 result: unknown conflicts: 24073 decisions: 59915 variables: 471406 ...