Madagascar 0.99999 25/02/2015 09:46:27 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-99.pddlignoring --stats ignoring --verbose Domain: blocks Problem: blocks-49-0 Parser: 4900 ground actions and 2549 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 5.49 secs Goal: conjunctive Simplified: 4900 ground actions and 2549 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 2.87 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 178 MB) Horizon 0: 2549 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 39794 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 77039 variables 10 UNSAT (0 decisions 0 conflicts) Horizon 15: 114284 variables 15 UNSAT (0 decisions 0 conflicts) Horizon 20: 151529 variables 20 UNSAT (0 decisions 0 conflicts) Horizon 25: 188774 variables 25 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 796 MB) Horizon 30: 226019 variables 30 UNSAT (0 decisions 0 conflicts) Horizon 35: 263264 variables 35 UNSAT (0 decisions 0 conflicts) Horizon 40: 300509 variables 40 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1111 MB) Horizon 45: 337754 variables 45 UNSAT (0 decisions 0 conflicts) Horizon 50: 374999 variables 50 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1342 MB) Horizon 55: 412244 variables 55 UNSAT (0 decisions 0 conflicts) Horizon 60: 449489 variables 60 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1582 MB) Horizon 65: 486734 variables 65 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1721 MB) Horizon 70: 523979 variables Allocated 32 MB (total 1753 MB) 70 UNSAT (19 decisions 18 conflicts) Horizon 75: 561224 variables Allocated 32 MB permanent (total 2007 MB) Horizon 80: 598469 variables 75 UNSAT (83 decisions 63 conflicts) Allocated 32 MB permanent (total 2153 MB) Horizon 85: 635714 variables Allocated 32 MB permanent (total 2301 MB) Horizon 90: 672959 variables 80 UNSAT (180 decisions 162 conflicts) Allocated 32 MB permanent (total 2451 MB) Horizon 95: 710204 variables Allocated 32 MB permanent (total 2604 MB) Horizon 100: 747449 variables Allocated 32 MB permanent (total 2758 MB) Horizon 105: 784694 variables Allocated 32 MB permanent (total 2915 MB) Horizon 110: 821939 variables Allocated 32 MB permanent (total 3074 MB) Horizon 115: 859184 variables Allocated 32 MB permanent (total 3236 MB) Horizon 120: 896429 variables Allocated 32 MB permanent (total 3399 MB) Horizon 125: 933674 variables 85 UNSAT (741 decisions 536 conflicts) Allocated 32 MB permanent (total 3565 MB) Horizon 130: 970919 variables Allocated 32 MB permanent (total 3733 MB) Allocated 32 MB permanent (total 3765 MB) Horizon 135: 1008164 variables Allocated 32 MB permanent (total 3935 MB) Horizon 140: 1045409 variables Allocated 32 MB permanent (total 4108 MB) Horizon 145: 1082654 variables Allocated 32 MB permanent (total 4282 MB) Allocated 32 MB permanent (total 4314 MB) Horizon 150: 1119899 variables Allocated 32 MB permanent (total 4491 MB) Horizon 155: 1157144 variables Allocated 32 MB permanent (total 4670 MB) Allocated 32 MB permanent (total 4702 MB) Horizon 160: 1194389 variables Allocated 32 MB (total 4734 MB) Allocated 32 MB permanent (total 4915 MB) Horizon 165: 1231634 variables Allocated 32 MB permanent (total 5098 MB) Allocated 32 MB permanent (total 5130 MB) Horizon 170: 1268879 variables Allocated 32 MB permanent (total 5316 MB) Allocated 32 MB permanent (total 5348 MB) Horizon 175: 1306124 variables Allocated 32 MB permanent (total 5536 MB) Horizon 180: 1343369 variables Allocated 32 MB permanent (total 5726 MB) Allocated 32 MB permanent (total 5758 MB) Horizon 185: 1380614 variables Allocated 32 MB (total 5790 MB) 90 UNSAT (2442 decisions 1674 conflicts) Allocated 32 MB permanent (total 5982 MB) Allocated 32 MB permanent (total 6014 MB) Horizon 190: 1417859 variables Allocated 32 MB (total 6046 MB) GC: 347.10 MB Allocated 32 MB (total 6078 MB) Allocated 32 MB (total 6110 MB) Allocated 32 MB (total 6142 MB) Allocated 32 MB (total 6174 MB) Allocated 32 MB (total 6206 MB) GC: 195.89 MB Allocated 32 MB (total 6238 MB) Allocated 32 MB (total 6270 MB) Allocated 32 MB (total 6302 MB) GC: 241.44 MB Allocated 32 MB (total 6334 MB) Allocated 32 MB (total 6366 MB) Allocated 32 MB (total 6398 MB) Allocated 32 MB (total 6430 MB) GC: 295.54 MB Allocated 32 MB (total 6462 MB) Allocated 32 MB (total 6494 MB) 95 UNSAT (16356 decisions 10838 conflicts) Horizon 195: 1455104 variables Allocated 32 MB (total 6688 MB) Allocated 32 MB (total 6720 MB) GC: 504.19 MB GC: 350.36 MB GC: 509.51 MB GC: 405.56 MB GC: 381.85 MB GC: 318.29 MB GC: 480.88 MB GC: 358.04 MB GC: 343.55 MB GC: 387.26 MB GC: 390.74 MB GC: 382.43 MB GC: 393.18 MB GC: 442.14 MB GC: 387.62 MB