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-12.pddlignoring --stats ignoring --stats-iter ignoring --verbose -m 8192 Domain: barman Problem: prob Parser: 2812 ground actions and 482 state variables Invariants: 0 1 2 3 0.02 secs Goal: conjunctive Simplified: 1750 ground actions and 325 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.02 secs (max SCC size 312) Plan type: E-step Allocated 32 MB permanent (total 134 MB) Horizon 0: 325 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 16570 variables Allocated 32 MB (total 321 MB) Horizon 10: 32815 variables 5 UNSAT (87 decisions 87 conflicts) Horizon 15: 49060 variables Horizon 20: 65305 variables Horizon 25: 81550 variables Horizon 30: 97795 variables Horizon 35: 114040 variables Horizon 40: 130285 variables Horizon 45: 146530 variables Horizon 50: 162775 variables Horizon 55: 179020 variables Horizon 60: 195265 variables Horizon 65: 211510 variables Horizon 70: 227755 variables Allocated 32 MB permanent (total 1536 MB) Horizon 75: 244000 variables Horizon 80: 260245 variables Horizon 85: 276490 variables Horizon 90: 292735 variables Horizon 95: 308980 variables Horizon 100: 325225 variables Horizon 105: 341470 variables 10 UNSAT (1260 decisions 1191 conflicts) Allocated 32 MB permanent (total 2230 MB) Horizon 110: 357715 variables GC: 14.73 MB GC: 17.65 MB Allocated 32 MB (total 2262 MB) 15 UNSAT (7591 decisions 6256 conflicts) Horizon 115: 373960 variables GC: 33.74 MB GC: 24.29 MB GC: 26.84 MB GC: 26.19 MB GC: 25.50 MB GC: 27.45 MB GC: 30.01 MB GC: 29.23 MB GC: 31.40 MB GC: 31.48 MB GC: 32.26 MB GC: 31.15 MB GC: 34.12 MB GC: 35.47 MB GC: 37.00 MB GC: 36.47 MB GC: 37.34 MB GC: 40.57 MB GC: 39.50 MB GC: 39.05 MB GC: 39.35 MB GC: 42.08 MB GC: 44.42 MB Allocated 32 MB (total 2393 MB) GC: 47.03 MB GC: 45.99 MB GC: 45.92 MB GC: 49.17 MB GC: 50.54 MB GC: 50.27 MB GC: 52.04 MB GC: 53.63 MB GC: 55.11 MB GC: 52.60 MB GC: 58.91 MB GC: 55.07 MB GC: 58.63 MB GC: 62.40 MB GC: 61.91 MB GC: 61.67 MB GC: 63.15 MB GC: 66.99 MB GC: 64.13 MB GC: 65.59 MB GC: 67.66 MB Allocated 32 MB (total 2425 MB) GC: 70.49 MB GC: 71.61 MB GC: 70.07 MB GC: 71.84 MB GC: 71.52 MB GC: 74.65 MB GC: 78.29 MB GC: 77.38 MB GC: 75.29 MB GC: 78.15 MB GC: 79.52 MB GC: 78.26 MB GC: 74.87 MB GC: 81.45 MB GC: 81.55 MB GC: 84.36 MB GC: 81.17 MB GC: 84.64 MB GC: 87.33 MB GC: 85.91 MB GC: 85.68 MB GC: 87.74 MB GC: 88.29 MB GC: 87.48 MB GC: 91.21 MB GC: 92.78 MB Allocated 32 MB (total 2457 MB) GC: 95.24 MB GC: 120.50 MB GC: 77.02 MB GC: 88.57 MB GC: 90.90 MB GC: 92.38 MB GC: 97.44 MB GC: 95.22 MB GC: 101.70 MB GC: 91.38 MB GC: 99.12 MB GC: 103.24 MB GC: 102.46 MB GC: 109.37 MB # statistics in YAML format --- runtime: total: 899.72 # [s] preprocessing: 0.05 # [s] maxLearnedClauseLength: 13399 groundActions: afterParsing: 2812 afterPreprocessing: 1750 stateVariables: afterParsing: 482 afterPreprocessing: 325 stronglyConnectedComponents: maxSize: 312 plan: found: false iterations: - horizon: 0 result: unsatisfiable conflicts: 0 decisions: 0 variables: 325 - horizon: 5 result: unsatisfiable conflicts: 87 decisions: 87 variables: 16570 - horizon: 10 result: unsatisfiable conflicts: 1191 decisions: 1260 variables: 32815 - horizon: 15 result: unsatisfiable conflicts: 6256 decisions: 7591 variables: 49060 - horizon: 20 result: unknown conflicts: 407311 decisions: 526776 variables: 65305 - horizon: 25 result: unknown conflicts: 366635 decisions: 518206 variables: 81550 - horizon: 30 result: unknown conflicts: 329834 decisions: 502863 variables: 97795 - horizon: 35 result: unknown conflicts: 296874 decisions: 474991 variables: 114040 - horizon: 40 result: unknown conflicts: 267201 decisions: 446695 variables: 130285 - horizon: 45 result: unknown conflicts: 240445 decisions: 419062 variables: 146530 - horizon: 50 result: unknown conflicts: 216423 decisions: 388633 variables: 162775 - horizon: 55 result: unknown conflicts: 194825 decisions: 360849 variables: 179020 - horizon: 60 result: unknown conflicts: 175322 decisions: 332877 variables: 195265 - horizon: 65 result: unknown conflicts: 157804 decisions: 308733 variables: 211510 - horizon: 70 result: unknown conflicts: 142023 decisions: 280323 variables: 227755 - horizon: 75 result: unknown conflicts: 127774 decisions: 254845 variables: 244000 - horizon: 80 result: unknown conflicts: 115055 decisions: 230946 variables: 260245 - horizon: 85 result: unknown conflicts: 103505 decisions: 207011 variables: 276490 - horizon: 90 result: unknown conflicts: 93155 decisions: 190492 variables: 292735 - horizon: 95 result: unknown conflicts: 83861 decisions: 174601 variables: 308980 - horizon: 100 result: unknown conflicts: 75506 decisions: 153696 variables: 325225 - horizon: 105 result: unknown conflicts: 67950 decisions: 143617 variables: 341470 - horizon: 110 result: unknown conflicts: 61175 decisions: 129567 variables: 357715 - horizon: 115 result: unknown conflicts: 55034 decisions: 116739 variables: 373960 ...