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-19.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.04 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.04 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 (103 decisions 103 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 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 10 UNSAT (1196 decisions 1152 conflicts) Horizon 110: 429937 variables GC: 18.80 MB GC: 19.84 MB Allocated 32 MB (total 2315 MB) GC: 36.61 MB GC: 29.25 MB 15 UNSAT (11941 decisions 9776 conflicts) Horizon 115: 449462 variables GC: 30.88 MB GC: 29.91 MB GC: 27.83 MB GC: 30.19 MB GC: 28.76 MB GC: 31.48 MB GC: 29.62 MB GC: 31.61 MB GC: 32.70 MB GC: 33.01 MB GC: 35.91 MB GC: 33.65 MB GC: 39.69 MB GC: 36.83 MB GC: 38.45 MB GC: 38.81 MB GC: 41.01 MB GC: 40.73 MB GC: 40.26 MB GC: 44.32 MB GC: 43.07 MB GC: 41.83 MB GC: 43.53 MB Allocated 32 MB (total 2450 MB) GC: 48.28 MB GC: 46.71 MB GC: 50.21 MB GC: 50.69 MB GC: 54.03 MB GC: 49.52 MB GC: 52.13 MB GC: 52.55 MB GC: 56.61 MB GC: 54.58 MB GC: 56.09 MB GC: 53.82 MB GC: 56.35 MB GC: 60.10 MB GC: 62.30 MB GC: 63.51 MB GC: 62.11 MB GC: 66.57 MB GC: 63.57 MB Allocated 32 MB (total 2482 MB) GC: 68.24 MB GC: 65.34 MB GC: 67.82 MB GC: 66.68 MB GC: 71.90 MB GC: 72.69 MB GC: 78.84 MB GC: 72.88 MB GC: 79.21 MB GC: 76.93 MB GC: 75.12 MB GC: 80.53 MB GC: 78.78 MB GC: 79.22 MB GC: 90.37 MB GC: 91.87 MB GC: 84.32 MB GC: 88.23 MB GC: 85.80 MB GC: 87.26 MB GC: 89.87 MB Allocated 32 MB (total 2514 MB) GC: 94.15 MB GC: 99.15 MB GC: 101.30 MB GC: 101.93 MB GC: 106.07 MB GC: 108.49 MB GC: 109.20 MB GC: 105.37 MB GC: 110.69 MB GC: 109.33 MB GC: 114.64 MB GC: 111.97 MB GC: 110.10 MB GC: 139.84 MB GC: 88.20 MB GC: 94.34 MB GC: 102.81 MB GC: 106.77 MB # statistics in YAML format --- runtime: total: 899.65 # [s] preprocessing: 0.09 # [s] maxLearnedClauseLength: 16547 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: 103 decisions: 103 variables: 19912 - horizon: 10 result: unsatisfiable conflicts: 1152 decisions: 1196 variables: 39437 - horizon: 15 result: unsatisfiable conflicts: 9776 decisions: 11941 variables: 58962 - horizon: 20 result: unknown conflicts: 394465 decisions: 518670 variables: 78487 - horizon: 25 result: unknown conflicts: 355068 decisions: 495998 variables: 98012 - horizon: 30 result: unknown conflicts: 319474 decisions: 483557 variables: 117537 - horizon: 35 result: unknown conflicts: 287526 decisions: 456368 variables: 137062 - horizon: 40 result: unknown conflicts: 258787 decisions: 424200 variables: 156587 - horizon: 45 result: unknown conflicts: 232924 decisions: 402959 variables: 176112 - horizon: 50 result: unknown conflicts: 209610 decisions: 375285 variables: 195637 - horizon: 55 result: unknown conflicts: 188697 decisions: 346986 variables: 215162 - horizon: 60 result: unknown conflicts: 169829 decisions: 320862 variables: 234687 - horizon: 65 result: unknown conflicts: 152841 decisions: 294727 variables: 254212 - horizon: 70 result: unknown conflicts: 137570 decisions: 267071 variables: 273737 - horizon: 75 result: unknown conflicts: 123818 decisions: 242553 variables: 293262 - horizon: 80 result: unknown conflicts: 111457 decisions: 222499 variables: 312787 - horizon: 85 result: unknown conflicts: 100293 decisions: 208999 variables: 332312 - horizon: 90 result: unknown conflicts: 90286 decisions: 186972 variables: 351837 - horizon: 95 result: unknown conflicts: 81228 decisions: 166495 variables: 371362 - horizon: 100 result: unknown conflicts: 73109 decisions: 154672 variables: 390887 - horizon: 105 result: unknown conflicts: 65848 decisions: 138840 variables: 410412 - horizon: 110 result: unknown conflicts: 59231 decisions: 118344 variables: 429937 - horizon: 115 result: unknown conflicts: 53346 decisions: 112712 variables: 449462 ...