Madagascar 0.99999 01/02/2018 14:46:04 amd64 1-core (no VSIDS) Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-17.pddlignoring --stats ignoring --stats-iter ignoring --verbose -m 8192 Domain: barman Problem: prob Parser: 3388 ground actions and 581 state variables Invariants: 0 1 2 3 0.05 secs Goal: conjunctive Simplified: 2104 ground actions and 387 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.05 secs (max SCC size 360) Plan type: E-step Allocated 32 MB permanent (total 137 MB) Horizon 0: 387 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 19912 variables Allocated 32 MB (total 324 MB) Horizon 10: 39437 variables 5 UNSAT (86 decisions 86 conflicts) Horizon 15: 58962 variables Horizon 20: 78487 variables Horizon 25: 98012 variables Horizon 30: 117537 variables Horizon 35: 137062 variables Horizon 40: 156587 variables Horizon 45: 176112 variables Horizon 50: 195637 variables Horizon 55: 215162 variables Horizon 60: 234687 variables Horizon 65: 254212 variables Allocated 32 MB permanent (total 1469 MB) Horizon 70: 273737 variables Horizon 75: 293262 variables Horizon 80: 312787 variables 10 UNSAT (957 decisions 886 conflicts) Horizon 85: 332312 variables Horizon 90: 351837 variables Horizon 95: 371362 variables Allocated 32 MB permanent (total 2080 MB) Horizon 100: 390887 variables Horizon 105: 410412 variables Horizon 110: 429937 variables GC: 16.62 MB GC: 19.09 MB 15 UNSAT (6790 decisions 5469 conflicts) Horizon 115: 449462 variables Allocated 32 MB (total 2418 MB) GC: 33.14 MB GC: 24.27 MB GC: 25.99 MB GC: 26.74 MB GC: 24.74 MB GC: 29.16 MB GC: 30.54 MB GC: 29.12 MB GC: 29.64 MB GC: 31.72 MB GC: 33.05 MB GC: 32.54 MB GC: 34.19 MB GC: 33.60 MB GC: 37.12 MB GC: 39.26 MB GC: 38.18 MB GC: 40.65 MB GC: 44.17 MB GC: 37.96 MB GC: 44.49 MB GC: 45.57 MB GC: 44.32 MB GC: 41.72 MB GC: 45.02 MB Allocated 32 MB (total 2450 MB) GC: 47.96 MB GC: 50.67 MB GC: 51.28 MB GC: 59.50 MB GC: 68.15 MB GC: 56.57 MB GC: 57.75 MB GC: 67.32 MB Allocated 32 MB (total 2482 MB) GC: 72.37 MB GC: 69.44 MB GC: 68.17 MB GC: 66.24 MB GC: 63.74 MB GC: 69.90 MB GC: 75.44 MB GC: 81.66 MB GC: 76.53 MB GC: 76.72 MB GC: 84.77 MB GC: 79.10 MB GC: 70.59 MB GC: 70.11 MB GC: 88.59 MB Allocated 32 MB (total 2514 MB) GC: 119.79 MB GC: 100.58 MB GC: 114.98 MB GC: 93.04 MB GC: 93.37 MB GC: 87.13 MB GC: 90.86 MB GC: 98.75 MB GC: 95.95 MB GC: 97.02 MB GC: 100.98 MB GC: 96.42 MB GC: 97.53 MB GC: 86.08 MB GC: 88.54 MB GC: 91.15 MB GC: 90.78 MB GC: 96.63 MB GC: 98.61 MB GC: 95.01 MB GC: 93.67 MB GC: 112.12 MB GC: 115.92 MB GC: 106.58 MB GC: 105.12 MB GC: 113.39 MB GC: 113.67 MB GC: 115.12 MB GC: 119.21 MB GC: 109.59 MB GC: 118.64 MB GC: 116.40 MB Allocated 32 MB (total 2546 MB) GC: 120.48 MB GC: 116.57 MB GC: 117.17 MB GC: 118.51 MB GC: 125.32 MB # statistics in YAML format --- runtime: total: 899.73 # [s] preprocessing: 0.12 # [s] maxLearnedClauseLength: 14659 groundActions: afterParsing: 3388 afterPreprocessing: 2104 stateVariables: afterParsing: 581 afterPreprocessing: 387 stronglyConnectedComponents: maxSize: 360 plan: found: false iterations: - horizon: 0 result: unsatisfiable conflicts: 0 decisions: 0 variables: 387 - horizon: 5 result: unsatisfiable conflicts: 86 decisions: 86 variables: 19912 - horizon: 10 result: unsatisfiable conflicts: 886 decisions: 957 variables: 39437 - horizon: 15 result: unsatisfiable conflicts: 5469 decisions: 6790 variables: 58962 - horizon: 20 result: unknown conflicts: 408920 decisions: 505605 variables: 78487 - horizon: 25 result: unknown conflicts: 367987 decisions: 517775 variables: 98012 - horizon: 30 result: unknown conflicts: 331020 decisions: 502986 variables: 117537 - horizon: 35 result: unknown conflicts: 297905 decisions: 479280 variables: 137062 - horizon: 40 result: unknown conflicts: 268111 decisions: 449135 variables: 156587 - horizon: 45 result: unknown conflicts: 241280 decisions: 418574 variables: 176112 - horizon: 50 result: unknown conflicts: 217143 decisions: 389739 variables: 195637 - horizon: 55 result: unknown conflicts: 195422 decisions: 365265 variables: 215162 - horizon: 60 result: unknown conflicts: 175895 decisions: 331641 variables: 234687 - horizon: 65 result: unknown conflicts: 158314 decisions: 308031 variables: 254212 - horizon: 70 result: unknown conflicts: 142515 decisions: 277522 variables: 273737 - horizon: 75 result: unknown conflicts: 128248 decisions: 256511 variables: 293262 - horizon: 80 result: unknown conflicts: 115469 decisions: 230442 variables: 312787 - horizon: 85 result: unknown conflicts: 103875 decisions: 211409 variables: 332312 - horizon: 90 result: unknown conflicts: 93528 decisions: 190803 variables: 351837 - horizon: 95 result: unknown conflicts: 84169 decisions: 175153 variables: 371362 - horizon: 100 result: unknown conflicts: 75762 decisions: 155608 variables: 390887 - horizon: 105 result: unknown conflicts: 68189 decisions: 142736 variables: 410412 - horizon: 110 result: unknown conflicts: 61393 decisions: 128659 variables: 429937 - horizon: 115 result: unknown conflicts: 55208 decisions: 114451 variables: 449462 ...