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-93.pddlignoring --stats ignoring --stats-iter ignoring --verbose -m 8192 Domain: blocks Problem: blocks-46-0 Parser: 4324 ground actions and 2255 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 3.45 secs Goal: conjunctive Simplified: 4324 ground actions and 2255 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 2.14 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 170 MB) Horizon 0: 2255 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 35150 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 68045 variables 10 UNSAT (0 decisions 0 conflicts) Horizon 15: 100940 variables 15 UNSAT (0 decisions 0 conflicts) Horizon 20: 133835 variables 20 UNSAT (0 decisions 0 conflicts) Horizon 25: 166730 variables 25 UNSAT (0 decisions 0 conflicts) Horizon 30: 199625 variables 30 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 872 MB) Horizon 35: 232520 variables 35 UNSAT (0 decisions 0 conflicts) Horizon 40: 265415 variables 40 UNSAT (0 decisions 0 conflicts) Horizon 45: 298310 variables 45 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1186 MB) Horizon 50: 331205 variables 50 UNSAT (0 decisions 0 conflicts) Horizon 55: 364100 variables 55 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1416 MB) Horizon 60: 396995 variables Allocated 32 MB (total 1448 MB) 60 UNSAT (12 decisions 10 conflicts) Horizon 65: 429890 variables Allocated 32 MB permanent (total 1685 MB) Horizon 70: 462785 variables 65 UNSAT (150 decisions 118 conflicts) Allocated 32 MB permanent (total 1823 MB) Horizon 75: 495680 variables Horizon 80: 528575 variables Allocated 32 MB permanent (total 2072 MB) Horizon 85: 561470 variables Allocated 32 MB permanent (total 2215 MB) Horizon 90: 594365 variables Allocated 32 MB permanent (total 2361 MB) Horizon 95: 627260 variables Horizon 100: 660155 variables Allocated 32 MB permanent (total 2626 MB) Horizon 105: 693050 variables Allocated 32 MB permanent (total 2777 MB) Horizon 110: 725945 variables Allocated 32 MB permanent (total 2930 MB) Horizon 115: 758840 variables Allocated 32 MB permanent (total 3085 MB) Horizon 120: 791735 variables Allocated 32 MB permanent (total 3242 MB) Horizon 125: 824630 variables Allocated 32 MB permanent (total 3401 MB) Horizon 130: 857525 variables Allocated 32 MB permanent (total 3562 MB) Allocated 32 MB permanent (total 3594 MB) Horizon 135: 890420 variables Allocated 32 MB permanent (total 3757 MB) Horizon 140: 923315 variables Allocated 32 MB (total 3789 MB) Allocated 32 MB permanent (total 3954 MB) Horizon 145: 956210 variables Allocated 32 MB permanent (total 4121 MB) Horizon 150: 989105 variables Allocated 32 MB permanent (total 4290 MB) Allocated 32 MB permanent (total 4322 MB) Horizon 155: 1022000 variables Allocated 32 MB permanent (total 4492 MB) Horizon 160: 1054895 variables Allocated 32 MB permanent (total 4665 MB) Horizon 165: 1087790 variables 70 UNSAT (1468 decisions 1175 conflicts) Allocated 32 MB permanent (total 4840 MB) Allocated 32 MB permanent (total 4872 MB) Horizon 170: 1120685 variables Allocated 32 MB (total 4904 MB) GC: 213.95 MB Allocated 32 MB (total 4936 MB) Allocated 32 MB (total 4968 MB) Allocated 32 MB (total 5000 MB) Allocated 32 MB (total 5032 MB) GC: 150.09 MB GC: 138.09 MB 75 UNSAT (9656 decisions 6944 conflicts) Horizon 175: 1153580 variables Allocated 32 MB (total 5208 MB) GC: 194.89 MB GC: 140.70 MB Allocated 32 MB (total 5240 MB) GC: 210.41 MB GC: 179.33 MB GC: 191.57 MB Allocated 32 MB (total 5272 MB) GC: 241.32 MB GC: 185.78 MB GC: 216.05 MB Allocated 32 MB (total 5304 MB) GC: 254.06 MB GC: 239.81 MB Allocated 32 MB (total 5336 MB) Allocated 32 MB (total 5368 MB) GC: 285.22 MB GC: 265.41 MB GC: 274.22 MB Allocated 32 MB (total 5400 MB) GC: 296.72 MB GC: 286.82 MB GC: 270.56 MB GC: 410.83 MB GC: 312.79 MB GC: 270.42 MB GC: 300.03 MB Allocated 32 MB (total 5432 MB) Allocated 32 MB (total 5464 MB) GC: 430.32 MB GC: 410.10 MB GC: 416.55 MB # statistics in YAML format --- runtime: total: 899.29 # [s] preprocessing: 5.71 # [s] maxLearnedClauseLength: 54375 groundActions: afterParsing: 4324 afterPreprocessing: 4324 stateVariables: afterParsing: 2255 afterPreprocessing: 2255 stronglyConnectedComponents: maxSize: 1 plan: found: false iterations: - horizon: 0 result: unsatisfiable conflicts: 0 decisions: 0 variables: 2255 - horizon: 5 result: unsatisfiable conflicts: 0 decisions: 0 variables: 35150 - horizon: 10 result: unsatisfiable conflicts: 0 decisions: 0 variables: 68045 - horizon: 15 result: unsatisfiable conflicts: 0 decisions: 0 variables: 100940 - horizon: 20 result: unsatisfiable conflicts: 0 decisions: 0 variables: 133835 - horizon: 25 result: unsatisfiable conflicts: 0 decisions: 0 variables: 166730 - horizon: 30 result: unsatisfiable conflicts: 0 decisions: 0 variables: 199625 - horizon: 35 result: unsatisfiable conflicts: 0 decisions: 0 variables: 232520 - horizon: 40 result: unsatisfiable conflicts: 0 decisions: 0 variables: 265415 - horizon: 45 result: unsatisfiable conflicts: 0 decisions: 0 variables: 298310 - horizon: 50 result: unsatisfiable conflicts: 0 decisions: 0 variables: 331205 - horizon: 55 result: unsatisfiable conflicts: 0 decisions: 0 variables: 364100 - horizon: 60 result: unsatisfiable conflicts: 10 decisions: 12 variables: 396995 - horizon: 65 result: unsatisfiable conflicts: 118 decisions: 150 variables: 429890 - horizon: 70 result: unsatisfiable conflicts: 1175 decisions: 1468 variables: 462785 - horizon: 75 result: unsatisfiable conflicts: 6944 decisions: 9656 variables: 495680 - horizon: 80 result: unknown conflicts: 77450 decisions: 114450 variables: 528575 - horizon: 85 result: unknown conflicts: 69835 decisions: 121769 variables: 561470 - horizon: 90 result: unknown conflicts: 62875 decisions: 116861 variables: 594365 - horizon: 95 result: unknown conflicts: 56541 decisions: 101755 variables: 627260 - horizon: 100 result: unknown conflicts: 50817 decisions: 93946 variables: 660155 - horizon: 105 result: unknown conflicts: 45726 decisions: 86096 variables: 693050 - horizon: 110 result: unknown conflicts: 41104 decisions: 82419 variables: 725945 - horizon: 115 result: unknown conflicts: 37005 decisions: 78618 variables: 758840 - horizon: 120 result: unknown conflicts: 33353 decisions: 73452 variables: 791735 - horizon: 125 result: unknown conflicts: 29939 decisions: 67249 variables: 824630 - horizon: 130 result: unknown conflicts: 26970 decisions: 63117 variables: 857525 - horizon: 135 result: unknown conflicts: 24275 decisions: 57565 variables: 890420 - horizon: 140 result: unknown conflicts: 21813 decisions: 55232 variables: 923315 - horizon: 145 result: unknown conflicts: 19647 decisions: 51491 variables: 956210 - horizon: 150 result: unknown conflicts: 17714 decisions: 45755 variables: 989105 - horizon: 155 result: unknown conflicts: 15912 decisions: 40919 variables: 1022000 - horizon: 160 result: unknown conflicts: 14347 decisions: 38103 variables: 1054895 - horizon: 165 result: unknown conflicts: 12906 decisions: 34760 variables: 1087790 - horizon: 170 result: unknown conflicts: 11644 decisions: 31312 variables: 1120685 - horizon: 175 result: unknown conflicts: 10445 decisions: 28309 variables: 1153580 ...