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-8.pddlignoring --stats
ignoring --verbose

Domain: mystery-strips
Problem: strips-mysty-x-8
Parser: 6372 ground actions and 513 state variables
Invariants: 0 1 2 3 4 5 6 7 8  0.05 secs
Goal: conjunctive
Simplified: 2970 ground actions and 291 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.03 secs (max SCC size 15)
Plan type: E-step
				Allocated 32 MB permanent (total 143 MB)
Horizon 0: 291 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 17876 variables
				Allocated 32 MB (total 330 MB)
5 UNSAT (22 decisions 20 conflicts)
Horizon 10: 35461 variables
Horizon 15: 53046 variables
Horizon 20: 70631 variables
Horizon 25: 88216 variables
Horizon 30: 105801 variables
Horizon 35: 123386 variables
Horizon 40: 140971 variables
Horizon 45: 158556 variables
Horizon 50: 176141 variables
Horizon 55: 193726 variables
Horizon 60: 211311 variables
Horizon 65: 228896 variables
				Allocated 32 MB permanent (total 1463 MB)
Horizon 70: 246481 variables
				Allocated 32 MB (total 1495 MB)
Horizon 75: 264066 variables
Horizon 80: 281651 variables
Horizon 85: 299236 variables
Horizon 90: 316821 variables
				Allocated 32 MB (total 1901 MB)
Horizon 95: 334406 variables
				Allocated 32 MB permanent (total 2126 MB)
Horizon 100: 351991 variables
Horizon 105: 369576 variables
				Allocated 32 MB (total 2256 MB)
				Allocated 32 MB (total 2288 MB)
				Allocated 32 MB (total 2320 MB)
						GC: 146.40 MB
10 UNSAT (4461 decisions 3186 conflicts)
Horizon 110: 387161 variables
				Allocated 32 MB (total 2452 MB)
				Allocated 32 MB (total 2484 MB)
						GC: 170.22 MB
				Allocated 32 MB (total 2516 MB)
				Allocated 32 MB (total 2548 MB)
						GC: 195.14 MB
				Allocated 32 MB (total 2580 MB)
						GC: 208.52 MB
				Allocated 32 MB (total 2612 MB)
						GC: 225.64 MB
15 UNSAT (16953 decisions 12370 conflicts)
Horizon 115: 404746 variables
				Allocated 32 MB (total 2744 MB)
				Allocated 32 MB (total 2776 MB)
				Allocated 32 MB (total 2808 MB)
						GC: 300.07 MB
				Allocated 32 MB (total 2840 MB)
						GC: 307.67 MB
						GC: 290.47 MB
				Allocated 32 MB (total 2872 MB)
						GC: 312.76 MB
30 UNSAT (24635 decisions 18702 conflicts)
20 must be UNSAT (32114 decisions 23056 conflicts)
25 must be UNSAT (28905 decisions 20827 conflicts)
				Allocated 32 MB (total 2904 MB)
				Allocated 32 MB permanent (total 3037 MB)
Horizon 120: 422331 variables
				Allocated 32 MB (total 3069 MB)
						GC: 376.00 MB
				Allocated 32 MB (total 3101 MB)
				Allocated 32 MB (total 3133 MB)
				Allocated 32 MB (total 3165 MB)
						GC: 425.92 MB
				Allocated 32 MB (total 3197 MB)
						GC: 461.36 MB
						GC: 421.36 MB
						GC: 441.51 MB
						GC: 461.17 MB
				Allocated 32 MB (total 3229 MB)
						GC: 427.05 MB
						GC: 436.84 MB
				Allocated 32 MB (total 3261 MB)
						GC: 763.65 MB
						GC: 349.41 MB
						GC: 413.47 MB
						GC: 386.67 MB
						GC: 430.34 MB
						GC: 427.70 MB
						GC: 390.69 MB
						GC: 442.07 MB
35 UNSAT (96469 decisions 67797 conflicts)
Horizon 125: 439916 variables
				Allocated 32 MB (total 3396 MB)
						GC: 552.49 MB
				Allocated 32 MB (total 3428 MB)
						GC: 555.96 MB
55 UNSAT (69997 decisions 50644 conflicts)
40 must be UNSAT (98849 decisions 69384 conflicts)
45 must be UNSAT (87986 decisions 62479 conflicts)
50 must be UNSAT (80434 decisions 56252 conflicts)
Horizon 130: 457501 variables
				Allocated 32 MB (total 3563 MB)
				Allocated 32 MB (total 3595 MB)
				Allocated 32 MB (total 3627 MB)
				Allocated 32 MB (total 3659 MB)
				Allocated 32 MB (total 3691 MB)
						GC: 746.96 MB
				Allocated 32 MB (total 3723 MB)
				Allocated 32 MB (total 3755 MB)
				Allocated 32 MB (total 3787 MB)
				Allocated 32 MB (total 3819 MB)
				Allocated 32 MB (total 3851 MB)
						GC: 871.74 MB