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/tidybot-sequential-satisficing/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/tidybot-sequential-satisficing/instances/instance-13.pddlignoring --stats ignoring --stats-iter ignoring --verbose -m 8192 Domain: tidybot Problem: test Parser: 54480 ground actions and 921 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 4.02 secs Goal: conjunctive Simplified: 23906 ground actions and 418 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 5.38 secs (max SCC size 10) Plan type: E-step Allocated 32 MB permanent (total 378 MB) Horizon 0: 418 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 122038 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 243658 variables 10 UNSAT (0 decisions 0 conflicts) Horizon 15: 365278 variables Allocated 32 MB (total 769 MB) Horizon 20: 486898 variables Allocated 32 MB permanent (total 1018 MB) Horizon 25: 608518 variables Horizon 30: 730138 variables Allocated 32 MB permanent (total 1296 MB) Horizon 35: 851758 variables Allocated 32 MB permanent (total 1462 MB) Horizon 40: 973378 variables Allocated 32 MB permanent (total 1635 MB) Horizon 45: 1094998 variables Allocated 32 MB permanent (total 1816 MB) Horizon 50: 1216618 variables Allocated 32 MB permanent (total 2003 MB) Horizon 55: 1338238 variables Allocated 32 MB permanent (total 2198 MB) Horizon 60: 1459858 variables Allocated 32 MB permanent (total 2400 MB) Horizon 65: 1581478 variables Allocated 32 MB permanent (total 2609 MB) Horizon 70: 1703098 variables 15 UNSAT (745 decisions 692 conflicts) Allocated 32 MB (total 2641 MB) Allocated 32 MB permanent (total 2857 MB) Allocated 32 MB permanent (total 2889 MB) Horizon 75: 1824718 variables Allocated 32 MB permanent (total 3112 MB) Horizon 80: 1946338 variables Allocated 32 MB permanent (total 3343 MB) Allocated 32 MB permanent (total 3375 MB) Horizon 85: 2067958 variables Allocated 32 MB permanent (total 3613 MB) Horizon 90: 2189578 variables Allocated 32 MB permanent (total 3858 MB) Allocated 32 MB permanent (total 3890 MB) Horizon 95: 2311198 variables Allocated 32 MB permanent (total 4142 MB) Allocated 32 MB permanent (total 4174 MB) Horizon 100: 2432818 variables Allocated 32 MB (total 4206 MB) Allocated 32 MB permanent (total 4465 MB) Allocated 32 MB permanent (total 4497 MB) Horizon 105: 2554438 variables Allocated 32 MB permanent (total 4764 MB) Allocated 32 MB permanent (total 4796 MB) Horizon 110: 2676058 variables Allocated 32 MB permanent (total 5069 MB) Allocated 32 MB permanent (total 5101 MB) Horizon 115: 2797678 variables Allocated 32 MB (total 5133 MB) Allocated 32 MB (total 5165 MB) Allocated 32 MB (total 5197 MB) Allocated 32 MB (total 5229 MB) GC: 159.74 MB Allocated 32 MB (total 5261 MB) Allocated 32 MB (total 5293 MB) Allocated 32 MB (total 5325 MB) Allocated 32 MB (total 5357 MB) Allocated 32 MB (total 5389 MB) Allocated 32 MB (total 5421 MB) Allocated 32 MB (total 5453 MB) GC: 296.55 MB Allocated 32 MB (total 5485 MB) Allocated 32 MB (total 5517 MB) GC: 357.16 MB Allocated 32 MB (total 5549 MB) GC: 301.43 MB Allocated 32 MB (total 5581 MB) Allocated 32 MB (total 5613 MB) Allocated 32 MB (total 5645 MB) Allocated 32 MB (total 5677 MB) GC: 479.05 MB GC: 379.43 MB GC: 407.22 MB Allocated 32 MB (total 5709 MB) Allocated 32 MB (total 5741 MB) GC: 427.52 MB 20 UNSAT (22599 decisions 20853 conflicts) Allocated 32 MB permanent (total 6022 MB) Allocated 32 MB permanent (total 6054 MB) Horizon 120: 2919298 variables Allocated 32 MB (total 6086 MB) Allocated 32 MB (total 6118 MB) GC: 662.97 MB GC: 454.19 MB GC: 537.14 MB GC: 532.45 MB Allocated 32 MB (total 6150 MB) Allocated 32 MB (total 6182 MB) Allocated 32 MB (total 6214 MB) Allocated 32 MB (total 6246 MB) GC: 696.89 MB # statistics in YAML format --- runtime: total: 898.78 # [s] preprocessing: 10.19 # [s] maxLearnedClauseLength: 247747 groundActions: afterParsing: 54480 afterPreprocessing: 23906 stateVariables: afterParsing: 921 afterPreprocessing: 418 stronglyConnectedComponents: maxSize: 10 plan: found: false iterations: - horizon: 0 result: unsatisfiable conflicts: 0 decisions: 0 variables: 418 - horizon: 5 result: unsatisfiable conflicts: 0 decisions: 0 variables: 122038 - horizon: 10 result: unsatisfiable conflicts: 0 decisions: 0 variables: 243658 - horizon: 15 result: unsatisfiable conflicts: 692 decisions: 745 variables: 365278 - horizon: 20 result: unsatisfiable conflicts: 20853 decisions: 22599 variables: 486898 - horizon: 25 result: unknown conflicts: 31945 decisions: 36728 variables: 608518 - horizon: 30 result: unknown conflicts: 28828 decisions: 36733 variables: 730138 - horizon: 35 result: unknown conflicts: 25939 decisions: 35215 variables: 851758 - horizon: 40 result: unknown conflicts: 23353 decisions: 32791 variables: 973378 - horizon: 45 result: unknown conflicts: 21017 decisions: 30011 variables: 1094998 - horizon: 50 result: unknown conflicts: 18918 decisions: 27750 variables: 1216618 - horizon: 55 result: unknown conflicts: 17063 decisions: 25787 variables: 1338238 - horizon: 60 result: unknown conflicts: 15319 decisions: 23837 variables: 1459858 - horizon: 65 result: unknown conflicts: 13816 decisions: 22360 variables: 1581478 - horizon: 70 result: unknown conflicts: 12435 decisions: 20795 variables: 1703098 - horizon: 75 result: unknown conflicts: 11167 decisions: 19025 variables: 1824718 - horizon: 80 result: unknown conflicts: 10090 decisions: 17754 variables: 1946338 - horizon: 85 result: unknown conflicts: 9068 decisions: 16474 variables: 2067958 - horizon: 90 result: unknown conflicts: 8165 decisions: 15169 variables: 2189578 - horizon: 95 result: unknown conflicts: 7383 decisions: 14094 variables: 2311198 - horizon: 100 result: unknown conflicts: 6667 decisions: 12921 variables: 2432818 - horizon: 105 result: unknown conflicts: 5963 decisions: 11919 variables: 2554438 - horizon: 110 result: unknown conflicts: 5407 decisions: 10891 variables: 2676058 - horizon: 115 result: unknown conflicts: 4864 decisions: 10040 variables: 2797678 - horizon: 120 result: unknown conflicts: 4384 decisions: 9389 variables: 2919298 ...