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/transport-sequential-satisficing/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/transport-sequential-satisficing/instances/instance-7.pddlignoring --stats
ignoring --verbose
 -m 8192
Domain: transport
Problem: transport-two-cities-sequential-27nodes-1000size-4degree-100mindistance-4trucks-18packages-2008seed
Parser: 31984 ground actions and 1504 state variables
Invariants: 0 1 2 3 4 5 6 7 8  0.40 secs
Goal: conjunctive
Simplified: 31984 ground actions and 1280 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.01 secs (max SCC size 18)
Plan type: E-step
				Allocated 32 MB permanent (total 422 MB)
Horizon 0: 1280 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 314480 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 627680 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 940880 variables
				Allocated 32 MB (total 894 MB)
Horizon 20: 1254080 variables
				Allocated 32 MB permanent (total 1245 MB)
Horizon 25: 1567280 variables
Horizon 30: 1880480 variables
				Allocated 32 MB permanent (total 1671 MB)
Horizon 35: 2193680 variables
				Allocated 32 MB permanent (total 1927 MB)
Horizon 40: 2506880 variables
				Allocated 32 MB permanent (total 2202 MB)
Horizon 45: 2820080 variables
				Allocated 32 MB permanent (total 2496 MB)
Horizon 50: 3133280 variables
				Allocated 32 MB permanent (total 2808 MB)
Horizon 55: 3446480 variables
				Allocated 32 MB permanent (total 3139 MB)
Horizon 60: 3759680 variables
				Allocated 32 MB permanent (total 3488 MB)
Horizon 65: 4072880 variables
				Allocated 32 MB permanent (total 3856 MB)
Horizon 70: 4386080 variables
				Allocated 32 MB permanent (total 4242 MB)
				Allocated 32 MB permanent (total 4274 MB)
Horizon 75: 4699280 variables
				Allocated 32 MB permanent (total 4679 MB)
Horizon 80: 5012480 variables
				Allocated 32 MB (total 4711 MB)
				Allocated 32 MB permanent (total 5134 MB)
				Allocated 32 MB permanent (total 5166 MB)
Horizon 85: 5325680 variables
				Allocated 32 MB permanent (total 5608 MB)
Horizon 90: 5638880 variables
				Allocated 32 MB permanent (total 6068 MB)
				Allocated 32 MB permanent (total 6100 MB)
Horizon 95: 5952080 variables
				Allocated 32 MB permanent (total 6579 MB)
				Allocated 32 MB permanent (total 6611 MB)
Horizon 100: 6265280 variables
				Allocated 32 MB permanent (total 7108 MB)
				Allocated 32 MB permanent (total 7140 MB)
Horizon 105: 6578480 variables
				Allocated 32 MB (total 7172 MB)
				Allocated 32 MB permanent (total 7688 MB)
				Allocated 32 MB permanent (total 7720 MB)
Horizon 110: 6891680 variables
				Allocated 32 MB (total 7752 MB)
				Allocated 32 MB (total 7784 MB)
						GC: 114.93 MB
				Allocated 32 MB (total 7816 MB)
						GC: 137.08 MB
						GC: 134.06 MB
15 UNSAT (14335 decisions 7460 conflicts)
ATTENTION: Horizon 115 will not be started: memory allocated 7816.27 MB limit 8192.00 MB
				Allocated 32 MB (total 7848 MB)
						GC: 192.46 MB
						GC: 161.83 MB
						GC: 163.52 MB
						GC: 158.11 MB
				Allocated 32 MB (total 7880 MB)
						GC: 161.41 MB
						GC: 159.47 MB
						GC: 179.12 MB
				Allocated 32 MB (total 7912 MB)
						GC: 183.90 MB
						GC: 180.65 MB
				Allocated 32 MB (total 7944 MB)
						GC: 242.67 MB
						GC: 193.20 MB
						GC: 201.48 MB
						GC: 199.47 MB