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-14.pddlignoring --stats ignoring --stats-iter ignoring --verbose -m 8192 Domain: barman Problem: prob Parser: 3170 ground actions and 546 state variables Invariants: 0 1 2 3 0.04 secs Goal: conjunctive Simplified: 1970 ground actions and 363 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.04 secs (max SCC size 336) Plan type: E-step Allocated 32 MB permanent (total 136 MB) Horizon 0: 363 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 18638 variables Allocated 32 MB (total 323 MB) Horizon 10: 36913 variables 5 UNSAT (74 decisions 74 conflicts) Horizon 15: 55188 variables Horizon 20: 73463 variables Horizon 25: 91738 variables Horizon 30: 110013 variables Horizon 35: 128288 variables Horizon 40: 146563 variables Horizon 45: 164838 variables Horizon 50: 183113 variables Horizon 55: 201388 variables Horizon 60: 219663 variables Horizon 65: 237938 variables Allocated 32 MB permanent (total 1460 MB) Horizon 70: 256213 variables Horizon 75: 274488 variables Horizon 80: 292763 variables Horizon 85: 311038 variables Horizon 90: 329313 variables Horizon 95: 347588 variables Allocated 32 MB permanent (total 2064 MB) Horizon 100: 365863 variables 10 UNSAT (1190 decisions 1129 conflicts) Horizon 105: 384138 variables Horizon 110: 402413 variables GC: 16.38 MB GC: 18.81 MB 15 UNSAT (7630 decisions 6277 conflicts) Horizon 115: 420688 variables Allocated 32 MB (total 2396 MB) GC: 30.25 MB GC: 22.76 MB GC: 25.90 MB GC: 26.21 MB GC: 27.07 MB GC: 29.47 MB GC: 28.24 MB GC: 27.41 MB GC: 28.51 MB GC: 28.35 MB GC: 30.41 MB GC: 28.60 MB GC: 31.24 MB GC: 33.26 MB GC: 33.16 MB GC: 33.04 MB GC: 35.53 MB GC: 35.21 MB GC: 35.73 MB GC: 36.28 MB GC: 38.08 MB GC: 39.18 MB GC: 40.67 MB GC: 40.74 MB GC: 41.72 MB GC: 43.91 MB GC: 44.75 MB Allocated 32 MB (total 2428 MB) GC: 46.85 MB GC: 45.78 MB GC: 49.25 MB GC: 53.12 MB GC: 48.70 MB GC: 52.73 MB GC: 49.99 MB GC: 55.58 MB GC: 61.58 MB GC: 61.97 MB GC: 62.43 MB GC: 62.96 MB GC: 64.59 MB GC: 62.75 MB GC: 68.50 MB GC: 67.93 MB GC: 68.85 MB GC: 68.35 MB GC: 67.30 MB Allocated 32 MB (total 2460 MB) GC: 70.19 MB GC: 72.30 MB GC: 74.62 MB GC: 69.27 MB GC: 74.46 MB GC: 73.36 MB GC: 78.84 MB GC: 73.91 MB GC: 80.42 MB GC: 82.09 MB GC: 78.85 MB GC: 79.75 MB GC: 77.25 MB GC: 80.64 MB GC: 83.57 MB GC: 85.94 MB GC: 87.67 MB GC: 87.02 MB GC: 91.19 MB GC: 86.32 MB GC: 93.05 MB GC: 89.84 MB Allocated 32 MB (total 2492 MB) GC: 95.86 MB GC: 93.80 MB GC: 93.98 MB GC: 97.49 MB GC: 102.79 MB GC: 94.25 MB GC: 104.10 MB GC: 105.34 MB GC: 107.24 MB GC: 108.95 MB GC: 142.97 MB GC: 85.60 MB GC: 91.56 MB GC: 96.54 MB GC: 98.78 MB GC: 105.69 MB GC: 106.80 MB GC: 112.45 MB GC: 115.20 MB # statistics in YAML format --- runtime: total: 899.78 # [s] preprocessing: 0.10 # [s] maxLearnedClauseLength: 13370 groundActions: afterParsing: 3170 afterPreprocessing: 1970 stateVariables: afterParsing: 546 afterPreprocessing: 363 stronglyConnectedComponents: maxSize: 336 plan: found: false iterations: - horizon: 0 result: unsatisfiable conflicts: 0 decisions: 0 variables: 363 - horizon: 5 result: unsatisfiable conflicts: 74 decisions: 74 variables: 18638 - horizon: 10 result: unsatisfiable conflicts: 1129 decisions: 1190 variables: 36913 - horizon: 15 result: unsatisfiable conflicts: 6277 decisions: 7630 variables: 55188 - horizon: 20 result: unknown conflicts: 429672 decisions: 555736 variables: 73463 - horizon: 25 result: unknown conflicts: 386682 decisions: 553980 variables: 91738 - horizon: 30 result: unknown conflicts: 347877 decisions: 527494 variables: 110013 - horizon: 35 result: unknown conflicts: 313114 decisions: 496822 variables: 128288 - horizon: 40 result: unknown conflicts: 281780 decisions: 471258 variables: 146563 - horizon: 45 result: unknown conflicts: 253603 decisions: 443300 variables: 164838 - horizon: 50 result: unknown conflicts: 228263 decisions: 410315 variables: 183113 - horizon: 55 result: unknown conflicts: 205434 decisions: 384620 variables: 201388 - horizon: 60 result: unknown conflicts: 184914 decisions: 352692 variables: 219663 - horizon: 65 result: unknown conflicts: 166401 decisions: 320052 variables: 237938 - horizon: 70 result: unknown conflicts: 149802 decisions: 296524 variables: 256213 - horizon: 75 result: unknown conflicts: 134813 decisions: 268272 variables: 274488 - horizon: 80 result: unknown conflicts: 121379 decisions: 242935 variables: 292763 - horizon: 85 result: unknown conflicts: 109239 decisions: 221342 variables: 311038 - horizon: 90 result: unknown conflicts: 98295 decisions: 194097 variables: 329313 - horizon: 95 result: unknown conflicts: 88508 decisions: 181174 variables: 347588 - horizon: 100 result: unknown conflicts: 79601 decisions: 159899 variables: 365863 - horizon: 105 result: unknown conflicts: 71670 decisions: 153363 variables: 384138 - horizon: 110 result: unknown conflicts: 64534 decisions: 137882 variables: 402413 - horizon: 115 result: unknown conflicts: 58041 decisions: 120080 variables: 420688 ...