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-74.pddlignoring --stats ignoring --stats-iter ignoring --verbose -m 8192 Domain: blocks Problem: blocks-36-1 Parser: 2664 ground actions and 1405 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 0.94 secs Goal: conjunctive Simplified: 2664 ground actions and 1405 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.65 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 148 MB) Horizon 0: 1405 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 21750 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 42095 variables 10 UNSAT (0 decisions 0 conflicts) Horizon 15: 62440 variables 15 UNSAT (0 decisions 0 conflicts) Horizon 20: 82785 variables 20 UNSAT (0 decisions 0 conflicts) Horizon 25: 103130 variables 25 UNSAT (0 decisions 0 conflicts) Horizon 30: 123475 variables 30 UNSAT (0 decisions 0 conflicts) Horizon 35: 143820 variables 35 UNSAT (0 decisions 0 conflicts) Horizon 40: 164165 variables 40 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1000 MB) Horizon 45: 184510 variables 45 UNSAT (0 decisions 0 conflicts) Horizon 50: 204855 variables 50 UNSAT (0 decisions 0 conflicts) Horizon 55: 225200 variables 55 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1301 MB) Horizon 60: 245545 variables Allocated 32 MB (total 1333 MB) 60 UNSAT (1 decisions 1 conflicts) Horizon 65: 265890 variables 65 UNSAT (20 decisions 19 conflicts) Horizon 70: 286235 variables 70 UNSAT (64 decisions 60 conflicts) Allocated 32 MB permanent (total 1645 MB) Horizon 75: 306580 variables Horizon 80: 326925 variables 75 UNSAT (135 decisions 94 conflicts) Allocated 32 MB permanent (total 1869 MB) Horizon 85: 347270 variables Horizon 90: 367615 variables Horizon 95: 387960 variables Allocated 32 MB permanent (total 2199 MB) Horizon 100: 408305 variables Allocated 32 MB permanent (total 2333 MB) Horizon 105: 428650 variables Horizon 110: 448995 variables Allocated 32 MB permanent (total 2572 MB) Horizon 115: 469340 variables Horizon 120: 489685 variables Allocated 32 MB permanent (total 2816 MB) Horizon 125: 510030 variables Allocated 32 MB permanent (total 2955 MB) Horizon 130: 530375 variables Horizon 135: 550720 variables Allocated 32 MB permanent (total 3206 MB) Horizon 140: 571065 variables Allocated 32 MB permanent (total 3350 MB) Horizon 145: 591410 variables Allocated 32 MB permanent (total 3494 MB) Horizon 150: 611755 variables Allocated 32 MB permanent (total 3640 MB) Horizon 155: 632100 variables Horizon 160: 652445 variables Allocated 32 MB (total 3787 MB) Allocated 32 MB permanent (total 3935 MB) Horizon 165: 672790 variables Allocated 32 MB permanent (total 4084 MB) Horizon 170: 693135 variables Allocated 32 MB permanent (total 4235 MB) Horizon 175: 713480 variables 80 UNSAT (3184 decisions 1192 conflicts) Allocated 32 MB permanent (total 4386 MB) Horizon 180: 733825 variables Allocated 32 MB (total 4418 MB) GC: 183.62 MB Allocated 32 MB (total 4450 MB) Allocated 32 MB (total 4482 MB) GC: 134.14 MB Allocated 32 MB (total 4514 MB) GC: 149.73 MB Allocated 32 MB (total 4546 MB) GC: 191.73 MB GC: 172.19 MB 85 UNSAT (26219 decisions 12706 conflicts) Horizon 185: 754170 variables GC: 220.72 MB GC: 163.53 MB GC: 166.35 MB GC: 166.71 MB GC: 170.14 MB GC: 178.48 MB Allocated 32 MB (total 4699 MB) GC: 204.34 MB GC: 204.82 MB Allocated 32 MB (total 4731 MB) GC: 247.52 MB GC: 161.01 MB GC: 177.85 MB GC: 222.51 MB GC: 218.21 MB GC: 218.87 MB GC: 222.05 MB GC: 211.21 MB GC: 240.34 MB GC: 224.39 MB GC: 241.02 MB GC: 244.68 MB GC: 244.49 MB GC: 242.03 MB GC: 262.60 MB Allocated 32 MB (total 4763 MB) GC: 268.22 MB GC: 257.03 MB GC: 279.94 MB GC: 262.04 MB GC: 270.95 MB Allocated 32 MB (total 4795 MB) GC: 310.67 MB GC: 213.00 MB GC: 240.32 MB GC: 266.51 MB # statistics in YAML format --- runtime: total: 899.34 # [s] preprocessing: 1.65 # [s] maxLearnedClauseLength: 29204 groundActions: afterParsing: 2664 afterPreprocessing: 2664 stateVariables: afterParsing: 1405 afterPreprocessing: 1405 stronglyConnectedComponents: maxSize: 1 plan: found: false iterations: - horizon: 0 result: unsatisfiable conflicts: 0 decisions: 0 variables: 1405 - horizon: 5 result: unsatisfiable conflicts: 0 decisions: 0 variables: 21750 - horizon: 10 result: unsatisfiable conflicts: 0 decisions: 0 variables: 42095 - horizon: 15 result: unsatisfiable conflicts: 0 decisions: 0 variables: 62440 - horizon: 20 result: unsatisfiable conflicts: 0 decisions: 0 variables: 82785 - horizon: 25 result: unsatisfiable conflicts: 0 decisions: 0 variables: 103130 - horizon: 30 result: unsatisfiable conflicts: 0 decisions: 0 variables: 123475 - horizon: 35 result: unsatisfiable conflicts: 0 decisions: 0 variables: 143820 - horizon: 40 result: unsatisfiable conflicts: 0 decisions: 0 variables: 164165 - horizon: 45 result: unsatisfiable conflicts: 0 decisions: 0 variables: 184510 - horizon: 50 result: unsatisfiable conflicts: 0 decisions: 0 variables: 204855 - horizon: 55 result: unsatisfiable conflicts: 0 decisions: 0 variables: 225200 - horizon: 60 result: unsatisfiable conflicts: 1 decisions: 1 variables: 245545 - horizon: 65 result: unsatisfiable conflicts: 19 decisions: 20 variables: 265890 - horizon: 70 result: unsatisfiable conflicts: 60 decisions: 64 variables: 286235 - horizon: 75 result: unsatisfiable conflicts: 94 decisions: 135 variables: 306580 - horizon: 80 result: unsatisfiable conflicts: 1192 decisions: 3184 variables: 326925 - horizon: 85 result: unsatisfiable conflicts: 12706 decisions: 26219 variables: 347270 - horizon: 90 result: unknown conflicts: 121846 decisions: 246051 variables: 367615 - horizon: 95 result: unknown conflicts: 109621 decisions: 195895 variables: 387960 - horizon: 100 result: unknown conflicts: 98601 decisions: 184823 variables: 408305 - horizon: 105 result: unknown conflicts: 88905 decisions: 184107 variables: 428650 - horizon: 110 result: unknown conflicts: 79918 decisions: 172061 variables: 448995 - horizon: 115 result: unknown conflicts: 71936 decisions: 161307 variables: 469340 - horizon: 120 result: unknown conflicts: 64676 decisions: 150034 variables: 489685 - horizon: 125 result: unknown conflicts: 58194 decisions: 136326 variables: 510030 - horizon: 130 result: unknown conflicts: 52328 decisions: 123004 variables: 530375 - horizon: 135 result: unknown conflicts: 47079 decisions: 115308 variables: 550720 - horizon: 140 result: unknown conflicts: 42409 decisions: 107895 variables: 571065 - horizon: 145 result: unknown conflicts: 38179 decisions: 99692 variables: 591410 - horizon: 150 result: unknown conflicts: 34323 decisions: 94048 variables: 611755 - horizon: 155 result: unknown conflicts: 30870 decisions: 84008 variables: 632100 - horizon: 160 result: unknown conflicts: 27806 decisions: 77199 variables: 652445 - horizon: 165 result: unknown conflicts: 25036 decisions: 69266 variables: 672790 - horizon: 170 result: unknown conflicts: 22511 decisions: 63258 variables: 693135 - horizon: 175 result: unknown conflicts: 20284 decisions: 56545 variables: 713480 - horizon: 180 result: unknown conflicts: 18240 decisions: 51308 variables: 733825 - horizon: 185 result: unknown conflicts: 16441 decisions: 46915 variables: 754170 ...