Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2004/domains/pipesworld-tankage-nontemporal-strips/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2004/domains/pipesworld-tankage-nontemporal-strips/instances/instance-44.pddlignoring --stats
ignoring --verbose
 -m 8192
Domain: pipesworld_strips
Problem: p44-net5-b24-g5_rt0_instance
Parser: 107120 ground actions and 1289 state variables
Invariants: 0 1 2 3 4  1.79 secs
Goal: conjunctive
Simplified: 101192 ground actions and 1072 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 15.19 secs (max SCC size 84704)
Plan type: E-step
				Allocated 32 MB permanent (total 1265 MB)
Horizon 0: 1072 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 1843037 variables
5 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1986 MB)
Horizon 10: 3685002 variables
				Allocated 32 MB permanent (total 2421 MB)
Horizon 15: 5526967 variables
				Allocated 32 MB (total 2453 MB)
				Allocated 32 MB permanent (total 2997 MB)
				Allocated 32 MB permanent (total 3029 MB)
Horizon 20: 7368932 variables
				Allocated 32 MB permanent (total 3682 MB)
				Allocated 32 MB permanent (total 3714 MB)
Horizon 25: 9210897 variables
				Allocated 32 MB permanent (total 4476 MB)
				Allocated 32 MB permanent (total 4508 MB)
Horizon 30: 11052862 variables
				Allocated 32 MB permanent (total 5379 MB)
				Allocated 32 MB permanent (total 5411 MB)
				Allocated 32 MB permanent (total 5443 MB)
Horizon 35: 12894827 variables
				Allocated 32 MB permanent (total 6422 MB)
				Allocated 32 MB permanent (total 6454 MB)
				Allocated 32 MB permanent (total 6486 MB)
Horizon 40: 14736792 variables
				Allocated 32 MB permanent (total 7575 MB)
				Allocated 32 MB permanent (total 7607 MB)
				Allocated 32 MB permanent (total 7639 MB)
				Allocated 32 MB permanent (total 7671 MB)
Horizon 45: 16578757 variables
ATTENTION: Horizon 50 will not be started: memory allocated 7671.44 MB limit 8192.00 MB
10 UNSAT (913 decisions 655 conflicts)
				Allocated 32 MB (total 7703 MB)
				Allocated 32 MB (total 7735 MB)
						GC: 108.65 MB
15 UNSAT (7757 decisions 4920 conflicts)
				Allocated 32 MB (total 7767 MB)
				Allocated 32 MB (total 7799 MB)
				Allocated 32 MB (total 7831 MB)
				Allocated 32 MB (total 7863 MB)
				Allocated 32 MB (total 7895 MB)
				Allocated 32 MB (total 7927 MB)
						GC: 294.46 MB
				Allocated 32 MB (total 7959 MB)
				Allocated 32 MB (total 7991 MB)
20 UNSAT (16971 decisions 10196 conflicts)
				Allocated 32 MB (total 8023 MB)
				Allocated 32 MB (total 8055 MB)
				Allocated 32 MB (total 8087 MB)
				Allocated 32 MB (total 8119 MB)
						GC: 310.74 MB
				Allocated 32 MB (total 8151 MB)
				Allocated 32 MB (total 8183 MB)
				Allocated 32 MB (total 8215 MB)
ATTENTION: Memory bound 8192.00 MB reached, 8215.44 MB allocated
						GC: 518.73 MB
25 UNSAT (24607 decisions 14211 conflicts)
						GC: 295.09 MB
				Allocated 32 MB (total 8247 MB)
				Allocated 32 MB (total 8279 MB)
				Allocated 32 MB (total 8311 MB)
				Allocated 32 MB (total 8343 MB)
						GC: 246.43 MB