Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS) Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-4.pddlignoring --stats ignoring --verbose Domain: mystery-strips Problem: strips-mysty-x-4 Parser: 252 ground actions and 197 state variables Invariants: 0 1 2 3 4 5 6 7 8 0.01 secs Goal: conjunctive Simplified: 174 ground actions and 118 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.00 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 122 MB) Horizon 0: 118 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 1578 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 3038 variables 10 UNSAT (0 decisions 0 conflicts) Horizon 15: 4498 variables 15 UNSAT (0 decisions 0 conflicts) Horizon 20: 5958 variables 20 UNSAT (0 decisions 0 conflicts) Horizon 25: 7418 variables 25 UNSAT (0 decisions 0 conflicts) Horizon 30: 8878 variables 30 UNSAT (0 decisions 0 conflicts) Horizon 35: 10338 variables 35 UNSAT (0 decisions 0 conflicts) Horizon 40: 11798 variables 40 UNSAT (0 decisions 0 conflicts) Horizon 45: 13258 variables 45 UNSAT (0 decisions 0 conflicts) Horizon 50: 14718 variables 50 UNSAT (0 decisions 0 conflicts) Horizon 55: 16178 variables 55 UNSAT (0 decisions 0 conflicts) Horizon 60: 17638 variables 60 UNSAT (0 decisions 0 conflicts) Horizon 65: 19098 variables 65 UNSAT (0 decisions 0 conflicts) Horizon 70: 20558 variables 70 UNSAT (0 decisions 0 conflicts) Horizon 75: 22018 variables 75 UNSAT (0 decisions 0 conflicts) Horizon 80: 23478 variables 80 UNSAT (0 decisions 0 conflicts) Horizon 85: 24938 variables 85 UNSAT (0 decisions 0 conflicts) Horizon 90: 26398 variables 90 UNSAT (0 decisions 0 conflicts) Horizon 95: 27858 variables 95 UNSAT (0 decisions 0 conflicts) Horizon 100: 29318 variables 100 UNSAT (0 decisions 0 conflicts) Horizon 105: 30778 variables 105 UNSAT (0 decisions 0 conflicts) Horizon 110: 32238 variables 110 UNSAT (0 decisions 0 conflicts) Horizon 115: 33698 variables 115 UNSAT (0 decisions 0 conflicts) Horizon 120: 35158 variables 120 UNSAT (0 decisions 0 conflicts) Horizon 125: 36618 variables 125 UNSAT (0 decisions 0 conflicts) Horizon 130: 38078 variables 130 UNSAT (0 decisions 0 conflicts) Horizon 135: 39538 variables 135 UNSAT (0 decisions 0 conflicts) Horizon 140: 40998 variables 140 UNSAT (0 decisions 0 conflicts) Horizon 145: 42458 variables 145 UNSAT (0 decisions 0 conflicts) Horizon 150: 43918 variables 150 UNSAT (0 decisions 0 conflicts) Horizon 155: 45378 variables 155 UNSAT (0 decisions 0 conflicts) Horizon 160: 46838 variables 160 UNSAT (0 decisions 0 conflicts) Horizon 165: 48298 variables 165 UNSAT (0 decisions 0 conflicts) Horizon 170: 49758 variables 170 UNSAT (0 decisions 0 conflicts) Horizon 175: 51218 variables 175 UNSAT (0 decisions 0 conflicts) Horizon 180: 52678 variables 180 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 3116 MB) Horizon 185: 54138 variables 185 UNSAT (0 decisions 0 conflicts) Horizon 190: 55598 variables 190 UNSAT (0 decisions 0 conflicts) Horizon 195: 57058 variables 195 UNSAT (0 decisions 0 conflicts) Horizon 200: 58518 variables 200 UNSAT (0 decisions 0 conflicts) Horizon 205: 59978 variables 205 UNSAT (0 decisions 0 conflicts) Horizon 210: 61438 variables 210 UNSAT (0 decisions 0 conflicts) Horizon 215: 62898 variables 215 UNSAT (0 decisions 0 conflicts) Horizon 220: 64358 variables 220 UNSAT (0 decisions 0 conflicts) Horizon 225: 65818 variables 225 UNSAT (0 decisions 0 conflicts) Horizon 230: 67278 variables 230 UNSAT (0 decisions 0 conflicts) Horizon 235: 68738 variables 235 UNSAT (0 decisions 0 conflicts) Horizon 240: 70198 variables 240 UNSAT (0 decisions 0 conflicts) Horizon 245: 71658 variables 245 UNSAT (0 decisions 0 conflicts) Horizon 250: 73118 variables 250 UNSAT (0 decisions 0 conflicts) Horizon 255: 74578 variables 255 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 4352 MB) Horizon 260: 76038 variables 260 UNSAT (0 decisions 0 conflicts) Horizon 265: 77498 variables 265 UNSAT (0 decisions 0 conflicts) Horizon 270: 78958 variables 270 UNSAT (0 decisions 0 conflicts) Horizon 275: 80418 variables 275 UNSAT (0 decisions 0 conflicts) Horizon 280: 81878 variables 280 UNSAT (0 decisions 0 conflicts) Horizon 285: 83338 variables 285 UNSAT (0 decisions 0 conflicts) Horizon 290: 84798 variables 290 UNSAT (0 decisions 0 conflicts) Horizon 295: 86258 variables 295 UNSAT (0 decisions 0 conflicts) Horizon 300: 87718 variables 300 UNSAT (0 decisions 0 conflicts) Horizon 305: 89178 variables 305 UNSAT (0 decisions 0 conflicts) Horizon 310: 90638 variables 310 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 5278 MB) Horizon 315: 92098 variables 315 UNSAT (0 decisions 0 conflicts) Horizon 320: 93558 variables 320 UNSAT (0 decisions 0 conflicts) Horizon 325: 95018 variables 325 UNSAT (0 decisions 0 conflicts) Horizon 330: 96478 variables 330 UNSAT (0 decisions 0 conflicts) Horizon 335: 97938 variables 335 UNSAT (0 decisions 0 conflicts) Horizon 340: 99398 variables 340 UNSAT (0 decisions 0 conflicts) Horizon 345: 100858 variables 345 UNSAT (0 decisions 0 conflicts) Horizon 350: 102318 variables 350 UNSAT (0 decisions 0 conflicts) Horizon 355: 103778 variables 355 UNSAT (0 decisions 0 conflicts) Horizon 360: 105238 variables 360 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 6133 MB) Horizon 365: 106698 variables 365 UNSAT (0 decisions 0 conflicts) Horizon 370: 108158 variables 370 UNSAT (0 decisions 0 conflicts) Horizon 375: 109618 variables 375 UNSAT (0 decisions 0 conflicts) Horizon 380: 111078 variables 380 UNSAT (0 decisions 0 conflicts) Horizon 385: 112538 variables 385 UNSAT (0 decisions 0 conflicts) Horizon 390: 113998 variables 390 UNSAT (0 decisions 0 conflicts) Horizon 395: 115458 variables 395 UNSAT (0 decisions 0 conflicts) Horizon 400: 116918 variables 400 UNSAT (0 decisions 0 conflicts) Horizon 405: 118378 variables 405 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 6913 MB) Horizon 410: 119838 variables 410 UNSAT (0 decisions 0 conflicts) Horizon 415: 121298 variables 415 UNSAT (0 decisions 0 conflicts) Horizon 420: 122758 variables 420 UNSAT (0 decisions 0 conflicts) Horizon 425: 124218 variables 425 UNSAT (0 decisions 0 conflicts) Horizon 430: 125678 variables 430 UNSAT (0 decisions 0 conflicts) Horizon 435: 127138 variables 435 UNSAT (0 decisions 0 conflicts) Horizon 440: 128598 variables 440 UNSAT (0 decisions 0 conflicts) Horizon 445: 130058 variables 445 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 7615 MB) Horizon 450: 131518 variables 450 UNSAT (0 decisions 0 conflicts) Horizon 455: 132978 variables 455 UNSAT (0 decisions 0 conflicts) Horizon 460: 134438 variables 460 UNSAT (0 decisions 0 conflicts) Horizon 465: 135898 variables 465 UNSAT (0 decisions 0 conflicts) Horizon 470: 137358 variables 470 UNSAT (0 decisions 0 conflicts) Horizon 475: 138818 variables 475 UNSAT (0 decisions 0 conflicts) Horizon 480: 140278 variables 480 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 8238 MB) Horizon 485: 141738 variables ATTENTION: Memory bound 8192.00 MB reached, 8238.72 MB allocated 485 UNSAT (0 decisions 0 conflicts) ATTENTION: Horizon 490 will not be started: memory allocated 8238.72 MB limit 8192.00 MB GC: 226.46 MB