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-68.pddlignoring --stats ignoring --stats-iter ignoring --verbose -m 8192 Domain: blocks Problem: blocks-33-1 Parser: 2244 ground actions and 1189 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 0.55 secs Goal: conjunctive Simplified: 2244 ground actions and 1189 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.42 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 143 MB) Horizon 0: 1189 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 18354 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 35519 variables 10 UNSAT (0 decisions 0 conflicts) Horizon 15: 52684 variables 15 UNSAT (0 decisions 0 conflicts) Horizon 20: 69849 variables 20 UNSAT (0 decisions 0 conflicts) Horizon 25: 87014 variables 25 UNSAT (0 decisions 0 conflicts) Horizon 30: 104179 variables 30 UNSAT (0 decisions 0 conflicts) Horizon 35: 121344 variables 35 UNSAT (0 decisions 0 conflicts) Horizon 40: 138509 variables 40 UNSAT (0 decisions 0 conflicts) Horizon 45: 155674 variables Allocated 32 MB (total 986 MB) 45 UNSAT (5 decisions 5 conflicts) Allocated 32 MB permanent (total 1105 MB) Horizon 50: 172839 variables 50 UNSAT (21 decisions 19 conflicts) Horizon 55: 190004 variables Horizon 60: 207169 variables Allocated 32 MB permanent (total 1402 MB) Horizon 65: 224334 variables Horizon 70: 241499 variables 55 UNSAT (335 decisions 224 conflicts) Horizon 75: 258664 variables Allocated 32 MB permanent (total 1709 MB) Horizon 80: 275829 variables Horizon 85: 292994 variables Horizon 90: 310159 variables Allocated 32 MB permanent (total 2025 MB) Horizon 95: 327324 variables Horizon 100: 344489 variables Allocated 32 MB permanent (total 2252 MB) Horizon 105: 361654 variables Horizon 110: 378819 variables Allocated 32 MB permanent (total 2482 MB) Horizon 115: 395984 variables Horizon 120: 413149 variables Allocated 32 MB permanent (total 2717 MB) Horizon 125: 430314 variables Horizon 130: 447479 variables Allocated 32 MB permanent (total 2955 MB) Horizon 135: 464644 variables Allocated 32 MB permanent (total 3092 MB) Horizon 140: 481809 variables Horizon 145: 498974 variables Allocated 32 MB permanent (total 3337 MB) Horizon 150: 516139 variables Allocated 32 MB permanent (total 3477 MB) Horizon 155: 533304 variables Allocated 32 MB (total 3509 MB) Allocated 32 MB (total 3541 MB) GC: 102.74 MB Allocated 32 MB (total 3573 MB) GC: 109.82 MB Allocated 32 MB (total 3605 MB) GC: 122.67 MB Allocated 32 MB (total 3637 MB) GC: 136.19 MB GC: 171.41 MB GC: 156.18 MB Allocated 32 MB (total 3669 MB) GC: 172.69 MB GC: 180.24 MB GC: 194.53 MB Allocated 32 MB (total 3701 MB) GC: 217.86 MB GC: 186.04 MB GC: 203.82 MB GC: 201.82 MB GC: 207.03 MB GC: 222.41 MB GC: 226.85 MB GC: 233.23 MB Allocated 32 MB (total 3733 MB) GC: 248.34 MB GC: 245.91 MB GC: 253.44 MB Allocated 32 MB (total 3765 MB) GC: 267.12 MB GC: 260.44 MB GC: 271.73 MB Allocated 32 MB (total 3797 MB) GC: 293.15 MB GC: 311.93 MB GC: 252.16 MB GC: 262.84 MB GC: 274.33 MB GC: 289.53 MB GC: 310.64 MB GC: 287.87 MB GC: 303.95 MB GC: 296.36 MB GC: 308.94 MB GC: 309.88 MB GC: 307.75 MB GC: 308.50 MB Allocated 32 MB (total 3829 MB) GC: 338.24 MB GC: 327.28 MB GC: 336.22 MB GC: 335.10 MB GC: 349.07 MB GC: 364.53 MB Allocated 32 MB (total 3861 MB) GC: 364.57 MB # statistics in YAML format --- runtime: total: 899.56 # [s] preprocessing: 1.02 # [s] maxLearnedClauseLength: 20083 groundActions: afterParsing: 2244 afterPreprocessing: 2244 stateVariables: afterParsing: 1189 afterPreprocessing: 1189 stronglyConnectedComponents: maxSize: 1 plan: found: false iterations: - horizon: 0 result: unsatisfiable conflicts: 0 decisions: 0 variables: 1189 - horizon: 5 result: unsatisfiable conflicts: 0 decisions: 0 variables: 18354 - horizon: 10 result: unsatisfiable conflicts: 0 decisions: 0 variables: 35519 - horizon: 15 result: unsatisfiable conflicts: 0 decisions: 0 variables: 52684 - horizon: 20 result: unsatisfiable conflicts: 0 decisions: 0 variables: 69849 - horizon: 25 result: unsatisfiable conflicts: 0 decisions: 0 variables: 87014 - horizon: 30 result: unsatisfiable conflicts: 0 decisions: 0 variables: 104179 - horizon: 35 result: unsatisfiable conflicts: 0 decisions: 0 variables: 121344 - horizon: 40 result: unsatisfiable conflicts: 0 decisions: 0 variables: 138509 - horizon: 45 result: unsatisfiable conflicts: 5 decisions: 5 variables: 155674 - horizon: 50 result: unsatisfiable conflicts: 19 decisions: 21 variables: 172839 - horizon: 55 result: unsatisfiable conflicts: 224 decisions: 335 variables: 190004 - horizon: 60 result: unknown conflicts: 155803 decisions: 268938 variables: 207169 - horizon: 65 result: unknown conflicts: 140209 decisions: 206510 variables: 224334 - horizon: 70 result: unknown conflicts: 126043 decisions: 191080 variables: 241499 - horizon: 75 result: unknown conflicts: 113274 decisions: 181197 variables: 258664 - horizon: 80 result: unknown conflicts: 101882 decisions: 170242 variables: 275829 - horizon: 85 result: unknown conflicts: 91808 decisions: 162209 variables: 292994 - horizon: 90 result: unknown conflicts: 82498 decisions: 154486 variables: 310159 - horizon: 95 result: unknown conflicts: 74292 decisions: 147250 variables: 327324 - horizon: 100 result: unknown conflicts: 66820 decisions: 136954 variables: 344489 - horizon: 105 result: unknown conflicts: 60156 decisions: 131012 variables: 361654 - horizon: 110 result: unknown conflicts: 54169 decisions: 122571 variables: 378819 - horizon: 115 result: unknown conflicts: 48734 decisions: 118266 variables: 395984 - horizon: 120 result: unknown conflicts: 43856 decisions: 111426 variables: 413149 - horizon: 125 result: unknown conflicts: 39455 decisions: 105162 variables: 430314 - horizon: 130 result: unknown conflicts: 35513 decisions: 98450 variables: 447479 - horizon: 135 result: unknown conflicts: 31949 decisions: 90258 variables: 464644 - horizon: 140 result: unknown conflicts: 28760 decisions: 83072 variables: 481809 - horizon: 145 result: unknown conflicts: 25841 decisions: 77236 variables: 498974 - horizon: 150 result: unknown conflicts: 23241 decisions: 69455 variables: 516139 - horizon: 155 result: unknown conflicts: 20960 decisions: 62926 variables: 533304 ...