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-9.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.03 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.04 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 (90 decisions 90 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 10 UNSAT (742 decisions 694 conflicts) 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 Allocated 32 MB permanent (total 2230 MB) Horizon 110: 357715 variables GC: 14.15 MB GC: 16.37 MB Allocated 32 MB (total 2262 MB) GC: 31.88 MB GC: 26.82 MB GC: 27.60 MB 15 UNSAT (15163 decisions 12074 conflicts) Horizon 115: 373960 variables GC: 25.24 MB GC: 22.46 MB GC: 24.11 MB GC: 24.80 MB GC: 25.04 MB GC: 25.70 MB GC: 25.63 MB GC: 28.63 MB GC: 28.65 MB GC: 28.35 MB GC: 30.99 MB GC: 31.38 MB GC: 32.22 MB GC: 32.35 MB GC: 32.53 MB GC: 36.83 MB GC: 36.46 MB GC: 37.47 MB GC: 35.84 MB GC: 35.88 MB GC: 39.53 MB GC: 41.04 MB GC: 40.18 MB GC: 39.98 MB GC: 43.44 MB GC: 42.69 MB GC: 44.38 MB GC: 45.99 MB GC: 44.92 MB Allocated 32 MB (total 2393 MB) GC: 48.96 MB GC: 49.42 MB GC: 50.52 MB GC: 50.28 MB GC: 53.67 MB GC: 55.49 MB GC: 55.59 MB GC: 58.49 MB GC: 59.82 MB GC: 60.41 MB GC: 60.30 MB GC: 62.16 MB GC: 62.94 MB GC: 60.98 MB GC: 64.64 MB GC: 66.58 MB GC: 70.16 MB GC: 67.89 MB GC: 66.81 MB GC: 68.83 MB Allocated 32 MB (total 2425 MB) GC: 71.37 MB GC: 71.08 MB GC: 73.28 MB GC: 77.76 MB GC: 75.94 MB GC: 74.76 MB GC: 81.98 MB GC: 75.84 MB GC: 81.80 MB GC: 80.43 MB GC: 77.05 MB GC: 83.90 MB GC: 86.39 MB GC: 89.75 MB GC: 86.04 MB GC: 89.86 MB GC: 88.24 MB GC: 88.96 MB GC: 89.50 MB GC: 91.85 MB Allocated 32 MB (total 2457 MB) GC: 97.17 MB GC: 96.80 MB GC: 101.17 MB GC: 123.28 MB GC: 76.15 MB GC: 87.47 MB GC: 88.09 MB GC: 87.26 MB GC: 95.79 MB GC: 94.24 MB GC: 96.89 MB GC: 100.59 MB GC: 105.53 MB GC: 105.68 MB GC: 101.55 MB GC: 108.58 MB GC: 109.21 MB GC: 112.49 MB GC: 112.74 MB GC: 103.96 MB # statistics in YAML format --- runtime: total: 899.80 # [s] preprocessing: 0.08 # [s] maxLearnedClauseLength: 17275 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: 90 decisions: 90 variables: 16570 - horizon: 10 result: unsatisfiable conflicts: 694 decisions: 742 variables: 32815 - horizon: 15 result: unsatisfiable conflicts: 12074 decisions: 15163 variables: 49060 - horizon: 20 result: unknown conflicts: 465118 decisions: 611096 variables: 65305 - horizon: 25 result: unknown conflicts: 418512 decisions: 583419 variables: 81550 - horizon: 30 result: unknown conflicts: 376375 decisions: 567539 variables: 97795 - horizon: 35 result: unknown conflicts: 338735 decisions: 536639 variables: 114040 - horizon: 40 result: unknown conflicts: 304853 decisions: 503707 variables: 130285 - horizon: 45 result: unknown conflicts: 274413 decisions: 471561 variables: 146530 - horizon: 50 result: unknown conflicts: 246924 decisions: 439428 variables: 162775 - horizon: 55 result: unknown conflicts: 222216 decisions: 410029 variables: 179020 - horizon: 60 result: unknown conflicts: 199995 decisions: 376778 variables: 195265 - horizon: 65 result: unknown conflicts: 180037 decisions: 349065 variables: 211510 - horizon: 70 result: unknown conflicts: 162037 decisions: 318948 variables: 227755 - horizon: 75 result: unknown conflicts: 145819 decisions: 291785 variables: 244000 - horizon: 80 result: unknown conflicts: 131258 decisions: 264834 variables: 260245 - horizon: 85 result: unknown conflicts: 118131 decisions: 235235 variables: 276490 - horizon: 90 result: unknown conflicts: 106360 decisions: 217312 variables: 292735 - horizon: 95 result: unknown conflicts: 95732 decisions: 202747 variables: 308980 - horizon: 100 result: unknown conflicts: 86142 decisions: 177885 variables: 325225 - horizon: 105 result: unknown conflicts: 77501 decisions: 157663 variables: 341470 - horizon: 110 result: unknown conflicts: 69777 decisions: 150375 variables: 357715 - horizon: 115 result: unknown conflicts: 62788 decisions: 135260 variables: 373960 ...