Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2006/domains/trucks-propositional-strips/domains/domain-28.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2006/domains/trucks-propositional-strips/instances/instance-28.pddlignoring --stats
ignoring --verbose
 -m 8192
Domain: grounded-trucks
Problem: grounded-truck-28
Parser: 31500 ground actions and 3042 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23  25.76 secs
Goal: conjunctive
Simplified: 31464 ground actions and 3041 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.03 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 440 MB)
Horizon 0: 3041 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 175566 variables
				Allocated 32 MB (total 652 MB)
5 UNSAT (38 decisions 37 conflicts)
Horizon 10: 348091 variables
Horizon 15: 520616 variables
Horizon 20: 693141 variables
				Allocated 32 MB permanent (total 1133 MB)
Horizon 25: 865666 variables
Horizon 30: 1038191 variables
				Allocated 32 MB permanent (total 1450 MB)
Horizon 35: 1210716 variables
Horizon 40: 1383241 variables
				Allocated 32 MB permanent (total 1809 MB)
Horizon 45: 1555766 variables
				Allocated 32 MB permanent (total 2019 MB)
Horizon 50: 1728291 variables
				Allocated 32 MB permanent (total 2240 MB)
Horizon 55: 1900816 variables
				Allocated 32 MB permanent (total 2471 MB)
Horizon 60: 2073341 variables
				Allocated 32 MB permanent (total 2712 MB)
Horizon 65: 2245866 variables
				Allocated 32 MB permanent (total 2963 MB)
Horizon 70: 2418391 variables
				Allocated 32 MB permanent (total 3225 MB)
Horizon 75: 2590916 variables
				Allocated 32 MB permanent (total 3497 MB)
Horizon 80: 2763441 variables
				Allocated 32 MB permanent (total 3779 MB)
				Allocated 32 MB permanent (total 3811 MB)
Horizon 85: 2935966 variables
				Allocated 32 MB (total 3843 MB)
				Allocated 32 MB permanent (total 4135 MB)
Horizon 90: 3108491 variables
				Allocated 32 MB permanent (total 4437 MB)
Horizon 95: 3281016 variables
				Allocated 32 MB permanent (total 4750 MB)
				Allocated 32 MB permanent (total 4782 MB)
Horizon 100: 3453541 variables
				Allocated 32 MB permanent (total 5104 MB)
				Allocated 32 MB permanent (total 5136 MB)
Horizon 105: 3626066 variables
				Allocated 32 MB (total 5168 MB)
				Allocated 32 MB (total 5200 MB)
				Allocated 32 MB (total 5232 MB)
						GC: 66.22 MB
				Allocated 32 MB (total 5264 MB)
				Allocated 32 MB (total 5296 MB)
				Allocated 32 MB (total 5328 MB)
				Allocated 32 MB (total 5360 MB)
						GC: 138.26 MB
				Allocated 32 MB (total 5392 MB)
				Allocated 32 MB (total 5424 MB)
				Allocated 32 MB (total 5456 MB)
						GC: 130.82 MB
				Allocated 32 MB (total 5488 MB)
				Allocated 32 MB (total 5520 MB)
				Allocated 32 MB (total 5552 MB)
				Allocated 32 MB (total 5584 MB)
				Allocated 32 MB (total 5616 MB)
				Allocated 32 MB (total 5648 MB)
						GC: 346.65 MB
						GC: 256.91 MB
				Allocated 32 MB (total 5680 MB)
						GC: 253.42 MB
				Allocated 32 MB (total 5712 MB)
				Allocated 32 MB (total 5744 MB)
				Allocated 32 MB (total 5776 MB)
				Allocated 32 MB (total 5808 MB)
						GC: 283.79 MB
				Allocated 32 MB (total 5840 MB)
				Allocated 32 MB (total 5872 MB)
				Allocated 32 MB (total 5904 MB)
						GC: 312.28 MB
				Allocated 32 MB (total 5936 MB)
				Allocated 32 MB (total 5968 MB)
				Allocated 32 MB (total 6000 MB)
						GC: 584.72 MB
						GC: 303.66 MB
						GC: 272.11 MB
						GC: 281.53 MB
						GC: 645.08 MB
						GC: 274.51 MB
						GC: 428.63 MB
						GC: 367.61 MB
						GC: 369.43 MB
						GC: 389.41 MB
						GC: 442.07 MB
						GC: 404.09 MB
						GC: 402.26 MB
						GC: 406.85 MB
						GC: 406.37 MB
						GC: 438.86 MB
				Allocated 32 MB (total 6032 MB)
						GC: 433.57 MB
				Allocated 32 MB (total 6064 MB)
						GC: 923.59 MB
						GC: 301.89 MB
						GC: 479.43 MB