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-22.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2006/domains/trucks-propositional-strips/instances/instance-22.pddlignoring --stats
ignoring --verbose
 -m 8192
Domain: grounded-trucks
Problem: grounded-truck-22
Parser: 16830 ground actions and 1906 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20  6.30 secs
Goal: conjunctive
Simplified: 16805 ground actions and 1905 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.33 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 267 MB)
Horizon 0: 1905 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 95455 variables
				Allocated 32 MB (total 465 MB)
5 UNSAT (17 decisions 16 conflicts)
Horizon 10: 189005 variables
Horizon 15: 282555 variables
Horizon 20: 376105 variables
Horizon 25: 469655 variables
Horizon 30: 563205 variables
				Allocated 32 MB permanent (total 1105 MB)
Horizon 35: 656755 variables
Horizon 40: 750305 variables
Horizon 45: 843855 variables
				Allocated 32 MB permanent (total 1516 MB)
Horizon 50: 937405 variables
Horizon 55: 1030955 variables
				Allocated 32 MB permanent (total 1828 MB)
Horizon 60: 1124505 variables
				Allocated 32 MB permanent (total 2009 MB)
Horizon 65: 1218055 variables
				Allocated 32 MB (total 2041 MB)
Horizon 70: 1311605 variables
				Allocated 32 MB permanent (total 2386 MB)
Horizon 75: 1405155 variables
Horizon 80: 1498705 variables
				Allocated 32 MB (total 2583 MB)
				Allocated 32 MB permanent (total 2785 MB)
Horizon 85: 1592255 variables
				Allocated 32 MB permanent (total 2993 MB)
Horizon 90: 1685805 variables
				Allocated 32 MB (total 3025 MB)
				Allocated 32 MB permanent (total 3239 MB)
Horizon 95: 1779355 variables
				Allocated 32 MB (total 3271 MB)
				Allocated 32 MB permanent (total 3490 MB)
Horizon 100: 1872905 variables
				Allocated 32 MB permanent (total 3715 MB)
Horizon 105: 1966455 variables
				Allocated 32 MB (total 3747 MB)
				Allocated 32 MB (total 3779 MB)
				Allocated 32 MB (total 3811 MB)
				Allocated 32 MB (total 3843 MB)
				Allocated 32 MB (total 3875 MB)
						GC: 111.31 MB
				Allocated 32 MB (total 3907 MB)
				Allocated 32 MB (total 3939 MB)
				Allocated 32 MB (total 3971 MB)
				Allocated 32 MB (total 4003 MB)
				Allocated 32 MB (total 4035 MB)
						GC: 328.99 MB
						GC: 246.58 MB
				Allocated 32 MB (total 4067 MB)
				Allocated 32 MB (total 4099 MB)
				Allocated 32 MB (total 4131 MB)
						GC: 258.26 MB
				Allocated 32 MB (total 4163 MB)
				Allocated 32 MB (total 4195 MB)
				Allocated 32 MB (total 4227 MB)
				Allocated 32 MB (total 4259 MB)
				Allocated 32 MB (total 4291 MB)
						GC: 296.08 MB
				Allocated 32 MB (total 4323 MB)
				Allocated 32 MB (total 4355 MB)
				Allocated 32 MB (total 4387 MB)
				Allocated 32 MB (total 4419 MB)
						GC: 667.68 MB
						GC: 363.04 MB
						GC: 365.86 MB
						GC: 328.46 MB
						GC: 389.81 MB
						GC: 680.17 MB
						GC: 416.76 MB
						GC: 393.17 MB
						GC: 461.88 MB
						GC: 438.67 MB
						GC: 460.64 MB
						GC: 502.01 MB
						GC: 514.13 MB
						GC: 476.53 MB
						GC: 499.26 MB
				Allocated 32 MB (total 4451 MB)
				Allocated 32 MB (total 4483 MB)
				Allocated 32 MB (total 4515 MB)
						GC: 562.84 MB
						GC: 512.24 MB
				Allocated 32 MB (total 4547 MB)
				Allocated 32 MB (total 4579 MB)
				Allocated 32 MB (total 4611 MB)
						GC: 960.40 MB
						GC: 462.88 MB
10 UNSAT (80951 decisions 70276 conflicts)
				Allocated 32 MB permanent (total 4841 MB)
Horizon 110: 2060005 variables
						GC: 720.72 MB
						GC: 543.65 MB
						GC: 532.02 MB
						GC: 568.49 MB
						GC: 602.67 MB
						GC: 634.97 MB
						GC: 661.10 MB
						GC: 667.59 MB
						GC: 768.63 MB
						GC: 773.54 MB