Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/tidybot-sequential-satisficing/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/tidybot-sequential-satisficing/instances/instance-13.pddlignoring --stats
ignoring --verbose
 -m 8192
Domain: tidybot
Problem: test
Parser: 54480 ground actions and 921 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15  3.95 secs
Goal: conjunctive
Simplified: 23906 ground actions and 418 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 5.09 secs (max SCC size 10)
Plan type: E-step
				Allocated 32 MB permanent (total 378 MB)
Horizon 0: 418 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 122038 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 243658 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 365278 variables
				Allocated 32 MB (total 769 MB)
Horizon 20: 486898 variables
				Allocated 32 MB permanent (total 1018 MB)
Horizon 25: 608518 variables
Horizon 30: 730138 variables
				Allocated 32 MB permanent (total 1296 MB)
Horizon 35: 851758 variables
				Allocated 32 MB permanent (total 1462 MB)
Horizon 40: 973378 variables
				Allocated 32 MB permanent (total 1635 MB)
Horizon 45: 1094998 variables
				Allocated 32 MB permanent (total 1816 MB)
Horizon 50: 1216618 variables
				Allocated 32 MB permanent (total 2003 MB)
Horizon 55: 1338238 variables
				Allocated 32 MB permanent (total 2198 MB)
Horizon 60: 1459858 variables
				Allocated 32 MB permanent (total 2400 MB)
Horizon 65: 1581478 variables
				Allocated 32 MB permanent (total 2609 MB)
Horizon 70: 1703098 variables
15 UNSAT (745 decisions 692 conflicts)
				Allocated 32 MB (total 2641 MB)
				Allocated 32 MB permanent (total 2857 MB)
				Allocated 32 MB permanent (total 2889 MB)
Horizon 75: 1824718 variables
				Allocated 32 MB permanent (total 3112 MB)
Horizon 80: 1946338 variables
				Allocated 32 MB permanent (total 3343 MB)
				Allocated 32 MB permanent (total 3375 MB)
Horizon 85: 2067958 variables
				Allocated 32 MB permanent (total 3613 MB)
Horizon 90: 2189578 variables
				Allocated 32 MB permanent (total 3858 MB)
				Allocated 32 MB permanent (total 3890 MB)
Horizon 95: 2311198 variables
				Allocated 32 MB permanent (total 4142 MB)
				Allocated 32 MB permanent (total 4174 MB)
Horizon 100: 2432818 variables
				Allocated 32 MB (total 4206 MB)
				Allocated 32 MB permanent (total 4465 MB)
				Allocated 32 MB permanent (total 4497 MB)
Horizon 105: 2554438 variables
				Allocated 32 MB permanent (total 4764 MB)
				Allocated 32 MB permanent (total 4796 MB)
Horizon 110: 2676058 variables
				Allocated 32 MB permanent (total 5069 MB)
				Allocated 32 MB permanent (total 5101 MB)
Horizon 115: 2797678 variables
				Allocated 32 MB (total 5133 MB)
				Allocated 32 MB (total 5165 MB)
				Allocated 32 MB (total 5197 MB)
				Allocated 32 MB (total 5229 MB)
						GC: 159.74 MB
				Allocated 32 MB (total 5261 MB)
				Allocated 32 MB (total 5293 MB)
				Allocated 32 MB (total 5325 MB)
				Allocated 32 MB (total 5357 MB)
				Allocated 32 MB (total 5389 MB)
				Allocated 32 MB (total 5421 MB)
				Allocated 32 MB (total 5453 MB)
						GC: 296.55 MB
				Allocated 32 MB (total 5485 MB)
				Allocated 32 MB (total 5517 MB)
						GC: 357.16 MB
				Allocated 32 MB (total 5549 MB)
						GC: 301.43 MB
				Allocated 32 MB (total 5581 MB)
				Allocated 32 MB (total 5613 MB)
				Allocated 32 MB (total 5645 MB)
				Allocated 32 MB (total 5677 MB)
						GC: 479.05 MB
						GC: 379.43 MB
						GC: 407.22 MB
				Allocated 32 MB (total 5709 MB)
				Allocated 32 MB (total 5741 MB)
						GC: 427.52 MB
20 UNSAT (22599 decisions 20853 conflicts)
				Allocated 32 MB permanent (total 6022 MB)
				Allocated 32 MB permanent (total 6054 MB)
Horizon 120: 2919298 variables
				Allocated 32 MB (total 6086 MB)
				Allocated 32 MB (total 6118 MB)
						GC: 662.97 MB
						GC: 454.19 MB
						GC: 537.14 MB
						GC: 532.45 MB
				Allocated 32 MB (total 6150 MB)
				Allocated 32 MB (total 6182 MB)
				Allocated 32 MB (total 6214 MB)
				Allocated 32 MB (total 6246 MB)
						GC: 696.89 MB