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-76.pddlignoring --stats ignoring --stats-iter ignoring --verbose -m 8192 Domain: blocks Problem: blocks-37-1 Parser: 2812 ground actions and 1481 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 1.18 secs Goal: conjunctive Simplified: 2812 ground actions and 1481 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.74 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 149 MB) Horizon 0: 1481 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 22946 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 44411 variables 10 UNSAT (0 decisions 0 conflicts) Horizon 15: 65876 variables 15 UNSAT (0 decisions 0 conflicts) Horizon 20: 87341 variables 20 UNSAT (0 decisions 0 conflicts) Horizon 25: 108806 variables 25 UNSAT (0 decisions 0 conflicts) Horizon 30: 130271 variables 30 UNSAT (0 decisions 0 conflicts) Horizon 35: 151736 variables 35 UNSAT (0 decisions 0 conflicts) Horizon 40: 173201 variables 40 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1005 MB) Horizon 45: 194666 variables 45 UNSAT (0 decisions 0 conflicts) Horizon 50: 216131 variables 50 UNSAT (0 decisions 0 conflicts) Horizon 55: 237596 variables Allocated 32 MB (total 1217 MB) 55 UNSAT (10 decisions 10 conflicts) Allocated 32 MB permanent (total 1340 MB) Horizon 60: 259061 variables 60 UNSAT (44 decisions 43 conflicts) Horizon 65: 280526 variables Horizon 70: 301991 variables Allocated 32 MB permanent (total 1655 MB) Horizon 75: 323456 variables 65 UNSAT (230 decisions 160 conflicts) Horizon 80: 344921 variables Allocated 32 MB permanent (total 1882 MB) Horizon 85: 366386 variables Horizon 90: 387851 variables Allocated 32 MB permanent (total 2113 MB) Horizon 95: 409316 variables 70 UNSAT (475 decisions 331 conflicts) Horizon 100: 430781 variables Allocated 32 MB permanent (total 2350 MB) Horizon 105: 452246 variables Allocated 32 MB permanent (total 2487 MB) Horizon 110: 473711 variables Horizon 115: 495176 variables Allocated 32 MB permanent (total 2731 MB) Horizon 120: 516641 variables Allocated 32 MB permanent (total 2871 MB) Horizon 125: 538106 variables Horizon 130: 559571 variables Allocated 32 MB permanent (total 3123 MB) Horizon 135: 581036 variables Allocated 32 MB permanent (total 3267 MB) Horizon 140: 602501 variables Allocated 32 MB permanent (total 3413 MB) Horizon 145: 623966 variables Horizon 150: 645431 variables Allocated 32 MB permanent (total 3675 MB) Horizon 155: 666896 variables Allocated 32 MB (total 3707 MB) Allocated 32 MB permanent (total 3856 MB) Horizon 160: 688361 variables Allocated 32 MB permanent (total 4006 MB) Horizon 165: 709826 variables Allocated 32 MB permanent (total 4158 MB) Horizon 170: 731291 variables Allocated 32 MB (total 4190 MB) GC: 160.36 MB Allocated 32 MB (total 4222 MB) Allocated 32 MB (total 4254 MB) Allocated 32 MB (total 4286 MB) Allocated 32 MB (total 4318 MB) GC: 139.95 MB Allocated 32 MB (total 4350 MB) Allocated 32 MB (total 4382 MB) Allocated 32 MB (total 4414 MB) GC: 233.53 MB 75 UNSAT (12173 decisions 8395 conflicts) Horizon 175: 752756 variables GC: 257.42 MB GC: 162.71 MB GC: 200.05 MB GC: 191.60 MB GC: 199.10 MB Allocated 32 MB (total 4567 MB) GC: 216.77 MB Allocated 32 MB (total 4599 MB) GC: 225.26 MB GC: 244.85 MB Allocated 32 MB (total 4631 MB) GC: 242.35 MB Allocated 32 MB (total 4663 MB) GC: 383.26 MB GC: 189.79 MB GC: 262.36 MB GC: 248.44 MB GC: 254.23 MB GC: 295.96 MB GC: 240.08 MB GC: 215.28 MB GC: 248.50 MB GC: 266.28 MB GC: 345.54 MB GC: 283.96 MB GC: 293.30 MB GC: 251.84 MB GC: 304.08 MB GC: 365.23 MB GC: 307.00 MB GC: 319.76 MB GC: 303.55 MB GC: 333.11 MB GC: 312.76 MB GC: 358.00 MB # statistics in YAML format --- runtime: total: 899.40 # [s] preprocessing: 1.98 # [s] maxLearnedClauseLength: 44962 groundActions: afterParsing: 2812 afterPreprocessing: 2812 stateVariables: afterParsing: 1481 afterPreprocessing: 1481 stronglyConnectedComponents: maxSize: 1 plan: found: false iterations: - horizon: 0 result: unsatisfiable conflicts: 0 decisions: 0 variables: 1481 - horizon: 5 result: unsatisfiable conflicts: 0 decisions: 0 variables: 22946 - horizon: 10 result: unsatisfiable conflicts: 0 decisions: 0 variables: 44411 - horizon: 15 result: unsatisfiable conflicts: 0 decisions: 0 variables: 65876 - horizon: 20 result: unsatisfiable conflicts: 0 decisions: 0 variables: 87341 - horizon: 25 result: unsatisfiable conflicts: 0 decisions: 0 variables: 108806 - horizon: 30 result: unsatisfiable conflicts: 0 decisions: 0 variables: 130271 - horizon: 35 result: unsatisfiable conflicts: 0 decisions: 0 variables: 151736 - horizon: 40 result: unsatisfiable conflicts: 0 decisions: 0 variables: 173201 - horizon: 45 result: unsatisfiable conflicts: 0 decisions: 0 variables: 194666 - horizon: 50 result: unsatisfiable conflicts: 0 decisions: 0 variables: 216131 - horizon: 55 result: unsatisfiable conflicts: 10 decisions: 10 variables: 237596 - horizon: 60 result: unsatisfiable conflicts: 43 decisions: 44 variables: 259061 - horizon: 65 result: unsatisfiable conflicts: 160 decisions: 230 variables: 280526 - horizon: 70 result: unsatisfiable conflicts: 331 decisions: 475 variables: 301991 - horizon: 75 result: unsatisfiable conflicts: 8395 decisions: 12173 variables: 323456 - horizon: 80 result: unknown conflicts: 109246 decisions: 176247 variables: 344921 - horizon: 85 result: unknown conflicts: 98267 decisions: 204990 variables: 366386 - horizon: 90 result: unknown conflicts: 88417 decisions: 185766 variables: 387851 - horizon: 95 result: unknown conflicts: 79577 decisions: 167860 variables: 409316 - horizon: 100 result: unknown conflicts: 71595 decisions: 161002 variables: 430781 - horizon: 105 result: unknown conflicts: 64409 decisions: 148329 variables: 452246 - horizon: 110 result: unknown conflicts: 57913 decisions: 131472 variables: 473711 - horizon: 115 result: unknown conflicts: 52090 decisions: 117804 variables: 495176 - horizon: 120 result: unknown conflicts: 46835 decisions: 107131 variables: 516641 - horizon: 125 result: unknown conflicts: 42140 decisions: 98050 variables: 538106 - horizon: 130 result: unknown conflicts: 37931 decisions: 93744 variables: 559571 - horizon: 135 result: unknown conflicts: 34139 decisions: 87834 variables: 581036 - horizon: 140 result: unknown conflicts: 30764 decisions: 77616 variables: 602501 - horizon: 145 result: unknown conflicts: 27689 decisions: 71293 variables: 623966 - horizon: 150 result: unknown conflicts: 24924 decisions: 65310 variables: 645431 - horizon: 155 result: unknown conflicts: 22396 decisions: 58056 variables: 666896 - horizon: 160 result: unknown conflicts: 20166 decisions: 52424 variables: 688361 - horizon: 165 result: unknown conflicts: 18188 decisions: 45930 variables: 709826 - horizon: 170 result: unknown conflicts: 16325 decisions: 39937 variables: 731291 - horizon: 175 result: unknown conflicts: 14704 decisions: 37488 variables: 752756 ...