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-18.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2006/domains/trucks-propositional-strips/instances/instance-18.pddlignoring --stats
ignoring --verbose
 -m 8192
Domain: grounded-trucks
Problem: grounded-truck-18
Parser: 15660 ground actions and 1627 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  3.05 secs
Goal: conjunctive
Simplified: 15644 ground actions and 1626 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.32 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 251 MB)
Horizon 0: 1626 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 87976 variables
				Allocated 32 MB (total 448 MB)
5 UNSAT (35 decisions 33 conflicts)
Horizon 10: 174326 variables
Horizon 15: 260676 variables
Horizon 20: 347026 variables
Horizon 25: 433376 variables
Horizon 30: 519726 variables
				Allocated 32 MB permanent (total 1077 MB)
Horizon 35: 606076 variables
Horizon 40: 692426 variables
Horizon 45: 778776 variables
				Allocated 32 MB permanent (total 1476 MB)
Horizon 50: 865126 variables
Horizon 55: 951476 variables
				Allocated 32 MB permanent (total 1778 MB)
Horizon 60: 1037826 variables
				Allocated 32 MB (total 1810 MB)
Horizon 65: 1124176 variables
				Allocated 32 MB permanent (total 2133 MB)
Horizon 70: 1210526 variables
Horizon 75: 1296876 variables
				Allocated 32 MB permanent (total 2476 MB)
Horizon 80: 1383226 variables
				Allocated 32 MB (total 2508 MB)
				Allocated 32 MB permanent (total 2703 MB)
Horizon 85: 1469576 variables
Horizon 90: 1555926 variables
				Allocated 32 MB permanent (total 3077 MB)
Horizon 95: 1642276 variables
				Allocated 32 MB (total 3109 MB)
				Allocated 32 MB permanent (total 3320 MB)
Horizon 100: 1728626 variables
				Allocated 32 MB permanent (total 3535 MB)
Horizon 105: 1814976 variables
				Allocated 32 MB (total 3567 MB)
				Allocated 32 MB (total 3599 MB)
				Allocated 32 MB (total 3631 MB)
				Allocated 32 MB (total 3663 MB)
				Allocated 32 MB (total 3695 MB)
						GC: 98.16 MB
				Allocated 32 MB (total 3727 MB)
				Allocated 32 MB (total 3759 MB)
				Allocated 32 MB (total 3791 MB)
				Allocated 32 MB (total 3823 MB)
				Allocated 32 MB (total 3855 MB)
				Allocated 32 MB (total 3887 MB)
						GC: 324.50 MB
				Allocated 32 MB (total 3919 MB)
						GC: 285.41 MB
				Allocated 32 MB (total 3951 MB)
				Allocated 32 MB (total 3983 MB)
						GC: 302.51 MB
				Allocated 32 MB (total 4015 MB)
				Allocated 32 MB (total 4047 MB)
				Allocated 32 MB (total 4079 MB)
				Allocated 32 MB (total 4111 MB)
				Allocated 32 MB (total 4143 MB)
						GC: 396.68 MB
				Allocated 32 MB (total 4175 MB)
				Allocated 32 MB (total 4207 MB)
				Allocated 32 MB (total 4239 MB)
				Allocated 32 MB (total 4271 MB)
				Allocated 32 MB (total 4303 MB)
						GC: 432.94 MB
				Allocated 32 MB (total 4335 MB)
				Allocated 32 MB (total 4367 MB)
				Allocated 32 MB (total 4399 MB)
				Allocated 32 MB (total 4431 MB)
						GC: 468.08 MB
				Allocated 32 MB (total 4463 MB)
						GC: 429.60 MB
				Allocated 32 MB (total 4495 MB)
				Allocated 32 MB (total 4527 MB)
						GC: 437.89 MB
				Allocated 32 MB (total 4559 MB)
				Allocated 32 MB (total 4591 MB)
				Allocated 32 MB (total 4623 MB)
				Allocated 32 MB (total 4655 MB)
				Allocated 32 MB (total 4687 MB)
				Allocated 32 MB (total 4719 MB)
						GC: 494.96 MB
				Allocated 32 MB (total 4751 MB)
				Allocated 32 MB (total 4783 MB)
				Allocated 32 MB (total 4815 MB)
				Allocated 32 MB (total 4847 MB)
						GC: 581.64 MB
				Allocated 32 MB (total 4879 MB)
				Allocated 32 MB (total 4911 MB)
						GC: 561.04 MB
				Allocated 32 MB (total 4943 MB)
				Allocated 32 MB (total 4975 MB)
				Allocated 32 MB (total 5007 MB)
				Allocated 32 MB (total 5039 MB)
				Allocated 32 MB (total 5071 MB)
						GC: 638.39 MB
				Allocated 32 MB (total 5103 MB)
				Allocated 32 MB (total 5135 MB)
						GC: 598.75 MB
				Allocated 32 MB (total 5167 MB)
				Allocated 32 MB (total 5199 MB)
				Allocated 32 MB (total 5231 MB)
				Allocated 32 MB (total 5263 MB)
				Allocated 32 MB (total 5295 MB)
				Allocated 32 MB (total 5327 MB)
				Allocated 32 MB (total 5359 MB)
						GC: 1661.72 MB
						GC: 607.64 MB
						GC: 578.31 MB
						GC: 580.84 MB
						GC: 624.66 MB
						GC: 594.06 MB
						GC: 623.95 MB
						GC: 627.06 MB
						GC: 606.81 MB
						GC: 662.79 MB
						GC: 632.81 MB
						GC: 715.54 MB
						GC: 737.04 MB
						GC: 721.72 MB
						GC: 714.69 MB
						GC: 715.22 MB
						GC: 745.59 MB