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/no-mystery-sequential-satisficing/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/no-mystery-sequential-satisficing/instances/instance-17.pddlignoring --stats
ignoring --verbose
 -m 8192
Domain: transport-strips
Problem: transport-l12-t1-p12---int100n150-m25---int100c110---s1---e0
Parser: 6538 ground actions and 17817 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9  0.72 secs
Goal: conjunctive
Simplified: 6260 ground actions and 352 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.39 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 188 MB)
Horizon 0: 352 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 33412 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 66472 variables
				Allocated 32 MB (total 459 MB)
Horizon 15: 99532 variables
Horizon 20: 132592 variables
Horizon 25: 165652 variables
Horizon 30: 198712 variables
Horizon 35: 231772 variables
Horizon 40: 264832 variables
Horizon 45: 297892 variables
10 UNSAT (542 decisions 477 conflicts)
				Allocated 32 MB permanent (total 1204 MB)
Horizon 50: 330952 variables
Horizon 55: 364012 variables
				Allocated 32 MB (total 1333 MB)
Horizon 60: 397072 variables
Horizon 65: 430132 variables
				Allocated 32 MB (total 1567 MB)
				Allocated 32 MB permanent (total 1703 MB)
Horizon 70: 463192 variables
				Allocated 32 MB (total 1735 MB)
Horizon 75: 496252 variables
Horizon 80: 529312 variables
				Allocated 32 MB (total 1980 MB)
				Allocated 32 MB (total 2012 MB)
Horizon 85: 562372 variables
				Allocated 32 MB (total 2154 MB)
				Allocated 32 MB permanent (total 2297 MB)
Horizon 90: 595432 variables
				Allocated 32 MB (total 2329 MB)
Horizon 95: 628492 variables
				Allocated 32 MB (total 2475 MB)
				Allocated 32 MB (total 2507 MB)
				Allocated 32 MB permanent (total 2654 MB)
Horizon 100: 661552 variables
				Allocated 32 MB (total 2686 MB)
				Allocated 32 MB (total 2718 MB)
Horizon 105: 694612 variables
				Allocated 32 MB (total 2868 MB)
Horizon 110: 727672 variables
				Allocated 32 MB (total 3019 MB)
				Allocated 32 MB (total 3051 MB)
				Allocated 32 MB (total 3083 MB)
				Allocated 32 MB (total 3115 MB)
				Allocated 32 MB (total 3147 MB)
				Allocated 32 MB (total 3179 MB)
				Allocated 32 MB (total 3211 MB)
				Allocated 32 MB (total 3243 MB)
				Allocated 32 MB (total 3275 MB)
				Allocated 32 MB (total 3307 MB)
				Allocated 32 MB (total 3339 MB)
				Allocated 32 MB (total 3371 MB)
15 UNSAT (2418 decisions 1975 conflicts)
				Allocated 32 MB (total 3403 MB)
				Allocated 32 MB permanent (total 3556 MB)
Horizon 115: 760732 variables
				Allocated 32 MB (total 3588 MB)
						GC: 541.33 MB
				Allocated 32 MB (total 3620 MB)
				Allocated 32 MB (total 3652 MB)
				Allocated 32 MB (total 3684 MB)
				Allocated 32 MB (total 3716 MB)
				Allocated 32 MB (total 3748 MB)
				Allocated 32 MB (total 3780 MB)
				Allocated 32 MB (total 3812 MB)
				Allocated 32 MB (total 3844 MB)
				Allocated 32 MB (total 3876 MB)
				Allocated 32 MB (total 3908 MB)
				Allocated 32 MB (total 3940 MB)
						GC: 765.16 MB
				Allocated 32 MB (total 3972 MB)
				Allocated 32 MB (total 4004 MB)
				Allocated 32 MB (total 4036 MB)
				Allocated 32 MB (total 4068 MB)
						GC: 1042.63 MB
						GC: 968.93 MB
						GC: 1042.35 MB
						GC: 970.55 MB
						GC: 995.28 MB
						GC: 1038.54 MB
						GC: 1032.96 MB
						GC: 1057.00 MB
						GC: 1055.97 MB
						GC: 1087.53 MB
						GC: 1114.42 MB
						GC: 1086.53 MB
						GC: 1135.71 MB
						GC: 1182.92 MB
						GC: 1206.08 MB
						GC: 1327.38 MB
						GC: 1242.61 MB