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-70.pddlignoring --stats ignoring --verbose Domain: blocks Problem: blocks-34-1 Parser: 2380 ground actions and 1259 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 0.90 secs Goal: conjunctive Simplified: 2380 ground actions and 1259 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.48 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 144 MB) Horizon 0: 1259 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 19454 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 37649 variables 10 UNSAT (0 decisions 0 conflicts) Horizon 15: 55844 variables 15 UNSAT (0 decisions 0 conflicts) Horizon 20: 74039 variables 20 UNSAT (0 decisions 0 conflicts) Horizon 25: 92234 variables 25 UNSAT (0 decisions 0 conflicts) Horizon 30: 110429 variables 30 UNSAT (0 decisions 0 conflicts) Horizon 35: 128624 variables 35 UNSAT (0 decisions 0 conflicts) Horizon 40: 146819 variables 40 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 990 MB) Horizon 45: 165014 variables 45 UNSAT (0 decisions 0 conflicts) Horizon 50: 183209 variables Allocated 32 MB (total 1110 MB) 50 UNSAT (1 decisions 1 conflicts) Horizon 55: 201404 variables 55 UNSAT (12 decisions 12 conflicts) Horizon 60: 219599 variables 60 UNSAT (51 decisions 42 conflicts) Allocated 32 MB permanent (total 1410 MB) Horizon 65: 237794 variables Horizon 70: 255989 variables 65 UNSAT (119 decisions 94 conflicts) Horizon 75: 274184 variables Allocated 32 MB permanent (total 1719 MB) Horizon 80: 292379 variables Horizon 85: 310574 variables Allocated 32 MB permanent (total 1942 MB) Horizon 90: 328769 variables Horizon 95: 346964 variables Horizon 100: 365159 variables Allocated 32 MB permanent (total 2268 MB) Horizon 105: 383354 variables Horizon 110: 401549 variables Allocated 32 MB permanent (total 2501 MB) Horizon 115: 419744 variables Allocated 32 MB permanent (total 2635 MB) Horizon 120: 437939 variables Allocated 32 MB (total 2667 MB) Horizon 125: 456134 variables Allocated 32 MB permanent (total 2907 MB) Horizon 130: 474329 variables Horizon 135: 492524 variables Allocated 32 MB permanent (total 3151 MB) Horizon 140: 510719 variables Allocated 32 MB permanent (total 3290 MB) Horizon 145: 528914 variables Horizon 150: 547109 variables Allocated 32 MB permanent (total 3541 MB) Horizon 155: 565304 variables Allocated 32 MB (total 3573 MB) Allocated 32 MB permanent (total 3716 MB) Horizon 160: 583499 variables Allocated 32 MB permanent (total 3860 MB) Horizon 165: 601694 variables 70 UNSAT (2455 decisions 1416 conflicts) Horizon 170: 619889 variables Allocated 32 MB (total 4005 MB) Allocated 32 MB (total 4037 MB) GC: 199.91 MB Allocated 32 MB (total 4069 MB) GC: 147.97 MB Allocated 32 MB (total 4101 MB) GC: 171.65 MB Allocated 32 MB (total 4133 MB) GC: 219.97 MB GC: 205.79 MB Allocated 32 MB (total 4165 MB) Allocated 32 MB (total 4197 MB) GC: 263.99 MB GC: 213.31 MB GC: 233.71 MB GC: 256.97 MB GC: 271.11 MB GC: 275.80 MB Allocated 32 MB (total 4229 MB) GC: 304.33 MB Allocated 32 MB (total 4261 MB) GC: 353.43 MB GC: 293.98 MB GC: 291.63 MB GC: 301.71 MB GC: 302.39 MB GC: 315.61 MB GC: 324.69 MB GC: 325.57 MB GC: 344.33 MB GC: 348.81 MB Allocated 32 MB (total 4293 MB) GC: 360.73 MB Allocated 32 MB (total 4325 MB) GC: 395.05 MB GC: 385.98 MB GC: 402.72 MB Allocated 32 MB (total 4357 MB) GC: 415.83 MB GC: 430.24 MB Allocated 32 MB (total 4389 MB) GC: 449.53 MB GC: 468.60 MB Allocated 32 MB (total 4421 MB) GC: 471.75 MB GC: 480.20 MB GC: 392.18 MB GC: 430.55 MB GC: 456.90 MB