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-10.pddlignoring --stats
ignoring --verbose
 -m 8192
Domain: transport
Problem: transport-three-cities-sequential-20nodes-1000size-4degree-100mindistance-4trucks-20packages-2008seed
Parser: 39304 ground actions and 1770 state variables
Invariants: 0 1 2 3 4 5  0.78 secs
Goal: conjunctive
Simplified: 39304 ground actions and 1540 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.58 secs (max SCC size 20)
Plan type: E-step
				Allocated 32 MB permanent (total 509 MB)
Horizon 0: 1540 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 388160 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 774780 variables
				Allocated 32 MB (total 866 MB)
Horizon 15: 1161400 variables
				Allocated 32 MB permanent (total 1211 MB)
Horizon 20: 1548020 variables
Horizon 25: 1934640 variables
				Allocated 32 MB permanent (total 1648 MB)
Horizon 30: 2321260 variables
				Allocated 32 MB permanent (total 1916 MB)
Horizon 35: 2707880 variables
				Allocated 32 MB permanent (total 2207 MB)
Horizon 40: 3094500 variables
				Allocated 32 MB permanent (total 2522 MB)
Horizon 45: 3481120 variables
				Allocated 32 MB permanent (total 2859 MB)
Horizon 50: 3867740 variables
				Allocated 32 MB permanent (total 3218 MB)
Horizon 55: 4254360 variables
				Allocated 32 MB permanent (total 3601 MB)
Horizon 60: 4640980 variables
				Allocated 32 MB permanent (total 4007 MB)
				Allocated 32 MB permanent (total 4039 MB)
Horizon 65: 5027600 variables
				Allocated 32 MB (total 4071 MB)
				Allocated 32 MB permanent (total 4499 MB)
Horizon 70: 5414220 variables
				Allocated 32 MB permanent (total 4951 MB)
				Allocated 32 MB permanent (total 4983 MB)
Horizon 75: 5800840 variables
				Allocated 32 MB permanent (total 5457 MB)
				Allocated 32 MB permanent (total 5489 MB)
Horizon 80: 6187460 variables
				Allocated 32 MB permanent (total 5986 MB)
				Allocated 32 MB permanent (total 6018 MB)
Horizon 85: 6574080 variables
				Allocated 32 MB (total 6050 MB)
				Allocated 32 MB permanent (total 6570 MB)
				Allocated 32 MB permanent (total 6602 MB)
Horizon 90: 6960700 variables
				Allocated 32 MB permanent (total 7145 MB)
				Allocated 32 MB permanent (total 7177 MB)
Horizon 95: 7347320 variables
				Allocated 32 MB permanent (total 7742 MB)
				Allocated 32 MB permanent (total 7774 MB)
Horizon 100: 7733940 variables
ATTENTION: Horizon 105 will not be started: memory allocated 7774.69 MB limit 8192.00 MB
				Allocated 32 MB (total 7806 MB)
				Allocated 32 MB (total 7838 MB)
				Allocated 32 MB (total 7870 MB)
				Allocated 32 MB (total 7902 MB)
						GC: 159.24 MB
				Allocated 32 MB (total 7934 MB)
				Allocated 32 MB (total 7966 MB)
						GC: 196.84 MB
				Allocated 32 MB (total 7998 MB)
						GC: 219.07 MB
				Allocated 32 MB (total 8030 MB)
				Allocated 32 MB (total 8062 MB)
						GC: 234.77 MB
				Allocated 32 MB (total 8094 MB)
				Allocated 32 MB (total 8126 MB)
				Allocated 32 MB (total 8158 MB)
						GC: 325.29 MB
				Allocated 32 MB (total 8190 MB)
				Allocated 32 MB (total 8222 MB)
ATTENTION: Memory bound 8192.00 MB reached, 8222.69 MB allocated
						GC: 351.73 MB
						GC: 173.47 MB
						GC: 210.55 MB
						GC: 210.07 MB
						GC: 154.02 MB
10 UNSAT (30884 decisions 20552 conflicts)
						GC: 369.96 MB
						GC: 127.09 MB
						GC: 139.71 MB
						GC: 119.20 MB
						GC: 115.38 MB
						GC: 123.86 MB
						GC: 120.24 MB
						GC: 112.90 MB
						GC: 132.87 MB
						GC: 132.37 MB
						GC: 125.33 MB