Madagascar 0.99999 25/02/2015 09:45:59 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-12.pddlignoring --stats
ignoring --verbose

Domain: mystery-strips
Problem: strips-mysty-x-12
Parser: 864 ground actions and 189 state variables
Invariants: 0 1 2 3 4  0.01 secs
Goal: conjunctive
Simplified: 459 ground actions and 97 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.00 secs (max SCC size 12)
Plan type: E-step
				Allocated 32 MB permanent (total 124 MB)
Horizon 5: 3407 variables
				Allocated 32 MB (total 233 MB)
Horizon 7: 4731 variables
5 UNSAT (84 decisions 70 conflicts)
Horizon 10: 6717 variables
Horizon 14: 9365 variables
Horizon 20: 13337 variables
7 UNSAT (317 decisions 204 conflicts)
Horizon 28: 18633 variables
Horizon 40: 26577 variables
Horizon 56: 37169 variables
Horizon 80: 53057 variables
Horizon 113: 74903 variables
Horizon 160: 106017 variables
Horizon 226: 149709 variables
Horizon 320: 211937 variables
Horizon 452: 299321 variables
Horizon 640: 423777 variables
				Allocated 32 MB permanent (total 1530 MB)
Horizon 905: 599207 variables
Horizon 1280: 847457 variables
				Allocated 32 MB permanent (total 1835 MB)
Horizon 1810: 1198317 variables
				Allocated 32 MB (total 1867 MB)
				Allocated 32 MB permanent (total 2076 MB)
Horizon 2560: 1694817 variables
10 UNSAT (1558 decisions 1083 conflicts)
				Allocated 32 MB (total 2108 MB)
				Allocated 32 MB (total 2140 MB)
				Allocated 32 MB (total 2172 MB)
				Allocated 32 MB (total 2204 MB)
						GC: 108.86 MB
				Allocated 32 MB (total 2236 MB)
				Allocated 32 MB (total 2268 MB)
				Allocated 32 MB (total 2300 MB)
						GC: 159.25 MB
				Allocated 32 MB (total 2332 MB)
						GC: 198.79 MB
14 UNSAT (6165 decisions 4313 conflicts)
20 UNSAT (6862 decisions 5095 conflicts)
				Allocated 32 MB (total 2364 MB)
				Allocated 32 MB (total 2396 MB)
				Allocated 32 MB (total 2428 MB)
						GC: 364.63 MB
						GC: 263.11 MB
						GC: 270.24 MB
28 UNSAT (14199 decisions 10290 conflicts)
						GC: 281.65 MB
						GC: 241.92 MB
						GC: 263.45 MB
						GC: 289.48 MB
						GC: 306.96 MB
						GC: 273.77 MB
						GC: 311.20 MB
						GC: 311.20 MB
						GC: 254.28 MB
40 UNSAT (35721 decisions 26506 conflicts)
						GC: 323.07 MB
				Allocated 32 MB (total 2460 MB)
						GC: 371.42 MB
						GC: 356.96 MB
56 UNSAT (46956 decisions 34767 conflicts)
				Allocated 32 MB (total 2492 MB)
						GC: 387.11 MB
						GC: 387.72 MB
						GC: 380.95 MB