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-19.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2006/domains/trucks-propositional-strips/instances/instance-19.pddlignoring --stats
ignoring --verbose
 -m 8192
Domain: grounded-trucks
Problem: grounded-truck-19
Parser: 13572 ground actions and 1531 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20  3.15 secs
Goal: conjunctive
Simplified: 13547 ground actions and 1530 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.25 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 238 MB)
Horizon 0: 1530 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 76915 variables
				Allocated 32 MB (total 434 MB)
5 UNSAT (30 decisions 29 conflicts)
Horizon 10: 152300 variables
Horizon 15: 227685 variables
Horizon 20: 303070 variables
Horizon 25: 378455 variables
Horizon 30: 453840 variables
Horizon 35: 529225 variables
				Allocated 32 MB permanent (total 1157 MB)
Horizon 40: 604610 variables
Horizon 45: 679995 variables
Horizon 50: 755380 variables
				Allocated 32 MB permanent (total 1552 MB)
Horizon 55: 830765 variables
Horizon 60: 906150 variables
				Allocated 32 MB permanent (total 1848 MB)
Horizon 65: 981535 variables
				Allocated 32 MB (total 1880 MB)
Horizon 70: 1056920 variables
				Allocated 32 MB permanent (total 2194 MB)
Horizon 75: 1132305 variables
Horizon 80: 1207690 variables
				Allocated 32 MB (total 2374 MB)
				Allocated 32 MB permanent (total 2558 MB)
Horizon 85: 1283075 variables
				Allocated 32 MB permanent (total 2747 MB)
Horizon 90: 1358460 variables
Horizon 95: 1433845 variables
				Allocated 32 MB (total 2940 MB)
				Allocated 32 MB permanent (total 3137 MB)
Horizon 100: 1509230 variables
				Allocated 32 MB permanent (total 3339 MB)
Horizon 105: 1584615 variables
				Allocated 32 MB (total 3371 MB)
				Allocated 32 MB (total 3403 MB)
				Allocated 32 MB (total 3435 MB)
				Allocated 32 MB (total 3467 MB)
				Allocated 32 MB (total 3499 MB)
						GC: 132.46 MB
				Allocated 32 MB (total 3531 MB)
				Allocated 32 MB (total 3563 MB)
				Allocated 32 MB (total 3595 MB)
				Allocated 32 MB (total 3627 MB)
				Allocated 32 MB (total 3659 MB)
						GC: 168.38 MB
				Allocated 32 MB (total 3691 MB)
				Allocated 32 MB (total 3723 MB)
				Allocated 32 MB (total 3755 MB)
				Allocated 32 MB (total 3787 MB)
				Allocated 32 MB (total 3819 MB)
				Allocated 32 MB (total 3851 MB)
						GC: 445.87 MB
						GC: 299.05 MB
						GC: 325.33 MB
				Allocated 32 MB (total 3883 MB)
				Allocated 32 MB (total 3915 MB)
				Allocated 32 MB (total 3947 MB)
						GC: 357.25 MB
				Allocated 32 MB (total 3979 MB)
						GC: 343.41 MB
				Allocated 32 MB (total 4011 MB)
				Allocated 32 MB (total 4043 MB)
				Allocated 32 MB (total 4075 MB)
				Allocated 32 MB (total 4107 MB)
				Allocated 32 MB (total 4139 MB)
						GC: 439.49 MB
				Allocated 32 MB (total 4171 MB)
				Allocated 32 MB (total 4203 MB)
				Allocated 32 MB (total 4235 MB)
				Allocated 32 MB (total 4267 MB)
						GC: 461.71 MB
				Allocated 32 MB (total 4299 MB)
				Allocated 32 MB (total 4331 MB)
				Allocated 32 MB (total 4363 MB)
				Allocated 32 MB (total 4395 MB)
				Allocated 32 MB (total 4427 MB)
				Allocated 32 MB (total 4459 MB)
						GC: 527.89 MB
				Allocated 32 MB (total 4491 MB)
						GC: 1011.07 MB
						GC: 482.97 MB
						GC: 447.44 MB
						GC: 436.03 MB
						GC: 519.31 MB
						GC: 542.37 MB
						GC: 497.86 MB
						GC: 497.38 MB
						GC: 1042.14 MB
						GC: 500.90 MB
						GC: 471.08 MB
						GC: 520.18 MB
						GC: 555.56 MB
						GC: 560.68 MB
						GC: 562.83 MB
						GC: 557.06 MB
						GC: 576.35 MB
						GC: 619.02 MB
						GC: 643.05 MB
						GC: 626.15 MB
						GC: 619.19 MB
						GC: 669.43 MB
						GC: 660.11 MB
						GC: 684.01 MB
						GC: 639.06 MB