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-78.pddlignoring --stats ignoring --verbose Domain: blocks Problem: blocks-38-1 Parser: 2964 ground actions and 1559 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 1.82 secs Goal: conjunctive Simplified: 2964 ground actions and 1559 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.00 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 151 MB) Horizon 0: 1559 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 24174 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 46789 variables 10 UNSAT (0 decisions 0 conflicts) Horizon 15: 69404 variables 15 UNSAT (0 decisions 0 conflicts) Horizon 20: 92019 variables 20 UNSAT (0 decisions 0 conflicts) Horizon 25: 114634 variables 25 UNSAT (0 decisions 0 conflicts) Horizon 30: 137249 variables 30 UNSAT (0 decisions 0 conflicts) Horizon 35: 159864 variables 35 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 922 MB) Horizon 40: 182479 variables 40 UNSAT (0 decisions 0 conflicts) Horizon 45: 205094 variables 45 UNSAT (0 decisions 0 conflicts) Horizon 50: 227709 variables 50 UNSAT (0 decisions 0 conflicts) Horizon 55: 250324 variables Allocated 32 MB (total 1223 MB) 55 UNSAT (1 decisions 1 conflicts) Allocated 32 MB permanent (total 1348 MB) Horizon 60: 272939 variables 60 UNSAT (18 decisions 13 conflicts) Horizon 65: 295554 variables 65 UNSAT (69 decisions 54 conflicts) Allocated 32 MB permanent (total 1569 MB) Horizon 70: 318169 variables Horizon 75: 340784 variables Horizon 80: 363399 variables 70 UNSAT (209 decisions 126 conflicts) Allocated 32 MB permanent (total 1894 MB) Horizon 85: 386014 variables Horizon 90: 408629 variables Allocated 32 MB permanent (total 2128 MB) Horizon 95: 431244 variables Allocated 32 MB permanent (total 2264 MB) Horizon 100: 453859 variables Horizon 105: 476474 variables Allocated 32 MB permanent (total 2506 MB) Horizon 110: 499089 variables Allocated 32 MB permanent (total 2645 MB) Horizon 115: 521704 variables Horizon 120: 544319 variables Allocated 32 MB permanent (total 2896 MB) Horizon 125: 566934 variables Allocated 32 MB permanent (total 3039 MB) Horizon 130: 589549 variables Allocated 32 MB (total 3071 MB) Allocated 32 MB permanent (total 3215 MB) Horizon 135: 612164 variables Horizon 140: 634779 variables Allocated 32 MB permanent (total 3476 MB) Horizon 145: 657394 variables Allocated 32 MB permanent (total 3625 MB) Horizon 150: 680009 variables Allocated 32 MB permanent (total 3775 MB) Horizon 155: 702624 variables Allocated 32 MB permanent (total 3926 MB) Horizon 160: 725239 variables Allocated 32 MB (total 3958 MB) Allocated 32 MB permanent (total 4111 MB) Horizon 165: 747854 variables Allocated 32 MB permanent (total 4265 MB) Horizon 170: 770469 variables Allocated 32 MB (total 4297 MB) Allocated 32 MB (total 4329 MB) Allocated 32 MB (total 4361 MB) GC: 233.82 MB Allocated 32 MB (total 4393 MB) Allocated 32 MB (total 4425 MB) 75 UNSAT (7330 decisions 3887 conflicts) Horizon 175: 793084 variables Allocated 32 MB (total 4580 MB) Allocated 32 MB (total 4612 MB) GC: 276.57 MB GC: 232.77 MB Allocated 32 MB (total 4644 MB) GC: 300.54 MB GC: 263.54 MB GC: 286.11 MB Allocated 32 MB (total 4676 MB) GC: 312.11 MB GC: 351.29 MB GC: 296.34 MB GC: 316.29 MB GC: 338.39 MB GC: 334.13 MB Allocated 32 MB (total 4708 MB) GC: 374.25 MB Allocated 32 MB (total 4740 MB) GC: 390.00 MB Allocated 32 MB (total 4772 MB) GC: 416.93 MB GC: 420.64 MB Allocated 32 MB (total 4804 MB) GC: 445.40 MB GC: 485.63 MB GC: 370.93 MB GC: 379.49 MB GC: 394.54 MB GC: 416.92 MB GC: 441.28 MB GC: 444.98 MB GC: 442.43 MB GC: 477.39 MB Allocated 32 MB (total 4836 MB) GC: 510.38 MB