Madagascar 0.99999 01/02/2018 14:46:04 amd64 1-core (no VSIDS) Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-90.pddlignoring --stats ignoring --stats-iter ignoring --verbose -m 8192 Domain: blocks Problem: blocks-44-1 Parser: 3960 ground actions and 2069 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 2.68 secs Goal: conjunctive Simplified: 3960 ground actions and 2069 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.72 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 165 MB) Horizon 0: 2069 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 32214 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 62359 variables 10 UNSAT (0 decisions 0 conflicts) Horizon 15: 92504 variables 15 UNSAT (0 decisions 0 conflicts) Horizon 20: 122649 variables 20 UNSAT (0 decisions 0 conflicts) Horizon 25: 152794 variables 25 UNSAT (0 decisions 0 conflicts) Horizon 30: 182939 variables 30 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 862 MB) Horizon 35: 213084 variables 35 UNSAT (0 decisions 0 conflicts) Horizon 40: 243229 variables 40 UNSAT (0 decisions 0 conflicts) Horizon 45: 273374 variables 45 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1171 MB) Horizon 50: 303519 variables 50 UNSAT (0 decisions 0 conflicts) Horizon 55: 333664 variables 55 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1397 MB) Horizon 60: 363809 variables 60 UNSAT (0 decisions 0 conflicts) Horizon 65: 393954 variables Allocated 32 MB (total 1529 MB) 65 UNSAT (9 decisions 9 conflicts) Allocated 32 MB permanent (total 1662 MB) Horizon 70: 424099 variables 70 UNSAT (37 decisions 24 conflicts) Horizon 75: 454244 variables Allocated 32 MB permanent (total 1902 MB) Horizon 80: 484389 variables 75 UNSAT (198 decisions 71 conflicts) Horizon 85: 514534 variables Allocated 32 MB permanent (total 2150 MB) Horizon 90: 544679 variables Allocated 32 MB permanent (total 2292 MB) Horizon 95: 574824 variables Allocated 32 MB permanent (total 2436 MB) Horizon 100: 604969 variables Horizon 105: 635114 variables Allocated 32 MB permanent (total 2698 MB) Horizon 110: 665259 variables Allocated 32 MB permanent (total 2847 MB) Horizon 115: 695404 variables Allocated 32 MB permanent (total 2998 MB) Horizon 120: 725549 variables Allocated 32 MB permanent (total 3151 MB) Horizon 125: 755694 variables Allocated 32 MB permanent (total 3306 MB) Horizon 130: 785839 variables Allocated 32 MB permanent (total 3463 MB) Horizon 135: 815984 variables Allocated 32 MB (total 3495 MB) Allocated 32 MB permanent (total 3653 MB) Horizon 140: 846129 variables Allocated 32 MB permanent (total 3813 MB) Horizon 145: 876274 variables Allocated 32 MB permanent (total 3975 MB) Allocated 32 MB permanent (total 4007 MB) Horizon 150: 906419 variables Allocated 32 MB permanent (total 4171 MB) Horizon 155: 936564 variables Allocated 32 MB permanent (total 4336 MB) Horizon 160: 966709 variables Allocated 32 MB permanent (total 4504 MB) Horizon 165: 996854 variables Allocated 32 MB (total 4536 MB) Allocated 32 MB permanent (total 4705 MB) Allocated 32 MB permanent (total 4737 MB) Horizon 170: 1026999 variables Allocated 32 MB permanent (total 4908 MB) Horizon 175: 1057144 variables Allocated 32 MB (total 4940 MB) Allocated 32 MB (total 4972 MB) Allocated 32 MB (total 5004 MB) GC: 284.29 MB Allocated 32 MB (total 5036 MB) Allocated 32 MB (total 5068 MB) Allocated 32 MB (total 5100 MB) Allocated 32 MB (total 5132 MB) Allocated 32 MB (total 5164 MB) GC: 289.08 MB Allocated 32 MB (total 5196 MB) Allocated 32 MB (total 5228 MB) GC: 330.77 MB Allocated 32 MB (total 5260 MB) Allocated 32 MB (total 5292 MB) Allocated 32 MB (total 5324 MB) GC: 385.48 MB Allocated 32 MB (total 5356 MB) Allocated 32 MB (total 5388 MB) Allocated 32 MB (total 5420 MB) Allocated 32 MB (total 5452 MB) GC: 567.89 MB GC: 448.19 MB GC: 482.52 MB Allocated 32 MB (total 5484 MB) Allocated 32 MB (total 5516 MB) GC: 507.46 MB 80 UNSAT (33350 decisions 19794 conflicts) Horizon 180: 1087289 variables GC: 561.06 MB GC: 509.48 MB GC: 534.19 MB GC: 619.75 MB GC: 476.49 MB GC: 530.89 MB GC: 529.08 MB GC: 582.38 MB GC: 546.33 MB GC: 581.13 MB GC: 580.66 MB GC: 618.11 MB Allocated 32 MB (total 5688 MB) Allocated 32 MB (total 5720 MB) GC: 668.78 MB GC: 649.96 MB # statistics in YAML format --- runtime: total: 899.15 # [s] preprocessing: 4.52 # [s] maxLearnedClauseLength: 50968 groundActions: afterParsing: 3960 afterPreprocessing: 3960 stateVariables: afterParsing: 2069 afterPreprocessing: 2069 stronglyConnectedComponents: maxSize: 1 plan: found: false iterations: - horizon: 0 result: unsatisfiable conflicts: 0 decisions: 0 variables: 2069 - horizon: 5 result: unsatisfiable conflicts: 0 decisions: 0 variables: 32214 - horizon: 10 result: unsatisfiable conflicts: 0 decisions: 0 variables: 62359 - horizon: 15 result: unsatisfiable conflicts: 0 decisions: 0 variables: 92504 - horizon: 20 result: unsatisfiable conflicts: 0 decisions: 0 variables: 122649 - horizon: 25 result: unsatisfiable conflicts: 0 decisions: 0 variables: 152794 - horizon: 30 result: unsatisfiable conflicts: 0 decisions: 0 variables: 182939 - horizon: 35 result: unsatisfiable conflicts: 0 decisions: 0 variables: 213084 - horizon: 40 result: unsatisfiable conflicts: 0 decisions: 0 variables: 243229 - horizon: 45 result: unsatisfiable conflicts: 0 decisions: 0 variables: 273374 - horizon: 50 result: unsatisfiable conflicts: 0 decisions: 0 variables: 303519 - horizon: 55 result: unsatisfiable conflicts: 0 decisions: 0 variables: 333664 - horizon: 60 result: unsatisfiable conflicts: 0 decisions: 0 variables: 363809 - horizon: 65 result: unsatisfiable conflicts: 9 decisions: 9 variables: 393954 - horizon: 70 result: unsatisfiable conflicts: 24 decisions: 37 variables: 424099 - horizon: 75 result: unsatisfiable conflicts: 71 decisions: 198 variables: 454244 - horizon: 80 result: unsatisfiable conflicts: 19794 decisions: 33350 variables: 484389 - horizon: 85 result: unknown conflicts: 62955 decisions: 108062 variables: 514534 - horizon: 90 result: unknown conflicts: 56611 decisions: 97514 variables: 544679 - horizon: 95 result: unknown conflicts: 50945 decisions: 88591 variables: 574824 - horizon: 100 result: unknown conflicts: 45759 decisions: 78784 variables: 604969 - horizon: 105 result: unknown conflicts: 41140 decisions: 73163 variables: 635114 - horizon: 110 result: unknown conflicts: 37078 decisions: 69131 variables: 665259 - horizon: 115 result: unknown conflicts: 33335 decisions: 70366 variables: 695404 - horizon: 120 result: unknown conflicts: 30022 decisions: 64831 variables: 725549 - horizon: 125 result: unknown conflicts: 27013 decisions: 57927 variables: 755694 - horizon: 130 result: unknown conflicts: 24282 decisions: 52793 variables: 785839 - horizon: 135 result: unknown conflicts: 21889 decisions: 49872 variables: 815984 - horizon: 140 result: unknown conflicts: 19701 decisions: 48290 variables: 846129 - horizon: 145 result: unknown conflicts: 17725 decisions: 46507 variables: 876274 - horizon: 150 result: unknown conflicts: 15985 decisions: 40284 variables: 906419 - horizon: 155 result: unknown conflicts: 14351 decisions: 37589 variables: 936564 - horizon: 160 result: unknown conflicts: 12904 decisions: 33658 variables: 966709 - horizon: 165 result: unknown conflicts: 11648 decisions: 30753 variables: 996854 - horizon: 170 result: unknown conflicts: 10507 decisions: 28510 variables: 1026999 - horizon: 175 result: unknown conflicts: 9421 decisions: 26690 variables: 1057144 - horizon: 180 result: unknown conflicts: 8521 decisions: 24638 variables: 1087289 ...