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-19.pddlignoring --stats
ignoring --verbose
 -m 8192
Domain: tidybot
Problem: test
Parser: 160966 ground actions and 2482 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21  22.64 secs
Goal: conjunctive
Simplified: 47278 ground actions and 725 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 35.10 secs (max SCC size 26)
Plan type: E-step
				Allocated 32 MB permanent (total 752 MB)
Horizon 0: 725 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 253940 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 507155 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 760370 variables
15 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1337 MB)
Horizon 20: 1013585 variables
				Allocated 32 MB (total 1369 MB)
				Allocated 32 MB permanent (total 1552 MB)
Horizon 25: 1266800 variables
				Allocated 32 MB permanent (total 1750 MB)
Horizon 30: 1520015 variables
				Allocated 32 MB permanent (total 1964 MB)
Horizon 35: 1773230 variables
				Allocated 32 MB permanent (total 2192 MB)
Horizon 40: 2026445 variables
				Allocated 32 MB permanent (total 2435 MB)
				Allocated 32 MB permanent (total 2467 MB)
Horizon 45: 2279660 variables
				Allocated 32 MB permanent (total 2725 MB)
Horizon 50: 2532875 variables
				Allocated 32 MB permanent (total 2998 MB)
				Allocated 32 MB permanent (total 3030 MB)
Horizon 55: 2786090 variables
				Allocated 32 MB permanent (total 3318 MB)
				Allocated 32 MB permanent (total 3350 MB)
Horizon 60: 3039305 variables
				Allocated 32 MB permanent (total 3653 MB)
				Allocated 32 MB permanent (total 3685 MB)
Horizon 65: 3292520 variables
				Allocated 32 MB permanent (total 4003 MB)
				Allocated 32 MB permanent (total 4035 MB)
Horizon 70: 3545735 variables
				Allocated 32 MB (total 4067 MB)
				Allocated 32 MB permanent (total 4400 MB)
				Allocated 32 MB permanent (total 4432 MB)
				Allocated 32 MB permanent (total 4464 MB)
Horizon 75: 3798950 variables
				Allocated 32 MB permanent (total 4812 MB)
				Allocated 32 MB permanent (total 4844 MB)
Horizon 80: 4052165 variables
				Allocated 32 MB permanent (total 5207 MB)
				Allocated 32 MB permanent (total 5239 MB)
				Allocated 32 MB permanent (total 5271 MB)
Horizon 85: 4305380 variables
				Allocated 32 MB permanent (total 5649 MB)
				Allocated 32 MB permanent (total 5681 MB)
				Allocated 32 MB permanent (total 5713 MB)
Horizon 90: 4558595 variables
				Allocated 32 MB (total 5745 MB)
				Allocated 32 MB permanent (total 6138 MB)
				Allocated 32 MB permanent (total 6170 MB)
				Allocated 32 MB permanent (total 6202 MB)
Horizon 95: 4811810 variables
				Allocated 32 MB permanent (total 6609 MB)
				Allocated 32 MB permanent (total 6641 MB)
				Allocated 32 MB permanent (total 6673 MB)
Horizon 100: 5065025 variables
				Allocated 32 MB (total 6705 MB)
				Allocated 32 MB permanent (total 7128 MB)
				Allocated 32 MB permanent (total 7160 MB)
				Allocated 32 MB permanent (total 7192 MB)
Horizon 105: 5318240 variables
				Allocated 32 MB permanent (total 7630 MB)
				Allocated 32 MB permanent (total 7662 MB)
				Allocated 32 MB permanent (total 7694 MB)
				Allocated 32 MB permanent (total 7726 MB)
Horizon 110: 5571455 variables
ATTENTION: Horizon 115 will not be started: memory allocated 7726.42 MB limit 8192.00 MB
				Allocated 32 MB (total 7758 MB)
				Allocated 32 MB (total 7790 MB)
20 UNSAT (1571 decisions 1480 conflicts)
				Allocated 32 MB (total 7822 MB)
				Allocated 32 MB (total 7854 MB)
				Allocated 32 MB (total 7886 MB)
				Allocated 32 MB (total 7918 MB)
				Allocated 32 MB (total 7950 MB)
						GC: 302.48 MB
				Allocated 32 MB (total 7982 MB)
				Allocated 32 MB (total 8014 MB)
				Allocated 32 MB (total 8046 MB)
				Allocated 32 MB (total 8078 MB)
				Allocated 32 MB (total 8110 MB)
				Allocated 32 MB (total 8142 MB)
				Allocated 32 MB (total 8174 MB)
						GC: 416.01 MB
25 UNSAT (5245 decisions 4680 conflicts)
				Allocated 32 MB (total 8206 MB)
ATTENTION: Memory bound 8192.00 MB reached, 8206.42 MB allocated
						GC: 491.52 MB
						GC: 326.33 MB
						GC: 297.15 MB
						GC: 193.42 MB
						GC: 265.03 MB
						GC: 359.24 MB
						GC: 258.29 MB
						GC: 221.44 MB