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-45.pddlignoring --stats
ignoring --verbose
 -m 8192
Domain: pipesworld_strips
Problem: p45-net5-b26-g4_rt0_instance
Parser: 72298 ground actions and 1346 state variables
Invariants: 0 1 2 3 4 5  1.15 secs
Goal: conjunctive
Simplified: 66818 ground actions and 1135 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 9.84 secs (max SCC size 55754)
Plan type: E-step
				Allocated 32 MB permanent (total 856 MB)
Horizon 0: 1135 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 1138785 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 2276435 variables
				Allocated 32 MB (total 1402 MB)
				Allocated 32 MB permanent (total 1712 MB)
Horizon 15: 3414085 variables
				Allocated 32 MB permanent (total 2089 MB)
Horizon 20: 4551735 variables
10 UNSAT (187 decisions 148 conflicts)
				Allocated 32 MB permanent (total 2534 MB)
				Allocated 32 MB permanent (total 2566 MB)
Horizon 25: 5689385 variables
				Allocated 32 MB permanent (total 3078 MB)
Horizon 30: 6827035 variables
				Allocated 32 MB permanent (total 3657 MB)
				Allocated 32 MB permanent (total 3689 MB)
Horizon 35: 7964685 variables
				Allocated 32 MB permanent (total 4336 MB)
				Allocated 32 MB permanent (total 4368 MB)
				Allocated 32 MB permanent (total 4400 MB)
Horizon 40: 9102335 variables
				Allocated 32 MB permanent (total 5114 MB)
				Allocated 32 MB permanent (total 5146 MB)
Horizon 45: 10239985 variables
				Allocated 32 MB permanent (total 5927 MB)
				Allocated 32 MB permanent (total 5959 MB)
				Allocated 32 MB permanent (total 5991 MB)
Horizon 50: 11377635 variables
				Allocated 32 MB permanent (total 6839 MB)
				Allocated 32 MB permanent (total 6871 MB)
				Allocated 32 MB permanent (total 6903 MB)
Horizon 55: 12515285 variables
				Allocated 32 MB permanent (total 7819 MB)
				Allocated 32 MB permanent (total 7851 MB)
				Allocated 32 MB permanent (total 7883 MB)
				Allocated 32 MB permanent (total 7915 MB)
Horizon 60: 13652935 variables
ATTENTION: Horizon 65 will not be started: memory allocated 7915.29 MB limit 8192.00 MB
				Allocated 32 MB (total 7947 MB)
				Allocated 32 MB (total 7979 MB)
						GC: 92.84 MB
15 UNSAT (4841 decisions 3150 conflicts)
				Allocated 32 MB (total 8011 MB)
				Allocated 32 MB (total 8043 MB)
				Allocated 32 MB (total 8075 MB)
				Allocated 32 MB (total 8107 MB)
20 UNSAT (9492 decisions 5967 conflicts)
						GC: 269.69 MB
				Allocated 32 MB (total 8139 MB)
				Allocated 32 MB (total 8171 MB)
				Allocated 32 MB (total 8203 MB)
ATTENTION: Memory bound 8192.00 MB reached, 8203.29 MB allocated
						GC: 266.44 MB
25 UNSAT (14086 decisions 8333 conflicts)
						GC: 247.92 MB
						GC: 94.53 MB
				Allocated 32 MB (total 8235 MB)
				Allocated 32 MB (total 8267 MB)
				Allocated 32 MB (total 8299 MB)
				Allocated 32 MB (total 8331 MB)
				Allocated 32 MB (total 8363 MB)
				Allocated 32 MB (total 8395 MB)
				Allocated 32 MB (total 8427 MB)
						GC: 171.87 MB
30 UNSAT (22917 decisions 13694 conflicts)
				Allocated 32 MB (total 8459 MB)
				Allocated 32 MB (total 8491 MB)
				Allocated 32 MB (total 8523 MB)
				Allocated 32 MB (total 8555 MB)
				Allocated 32 MB (total 8587 MB)
				Allocated 32 MB (total 8619 MB)
						GC: 720.89 MB
						GC: 143.77 MB
35 UNSAT (29792 decisions 17572 conflicts)
				Allocated 32 MB (total 8651 MB)
				Allocated 32 MB (total 8683 MB)
				Allocated 32 MB (total 8715 MB)
				Allocated 32 MB (total 8747 MB)
						GC: 506.98 MB

