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-17.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2006/domains/trucks-propositional-strips/instances/instance-17.pddlignoring --stats
ignoring --verbose
 -m 8192
Domain: grounded-trucks
Problem: grounded-truck-17
Parser: 14570 ground actions and 1513 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  2.83 secs
Goal: conjunctive
Simplified: 14554 ground actions and 1512 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.29 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 242 MB)
Horizon 0: 1512 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 81842 variables
				Allocated 32 MB (total 438 MB)
5 UNSAT (19 decisions 19 conflicts)
Horizon 10: 162172 variables
Horizon 15: 242502 variables
Horizon 20: 322832 variables
Horizon 25: 403162 variables
Horizon 30: 483492 variables
				Allocated 32 MB permanent (total 1057 MB)
Horizon 35: 563822 variables
Horizon 40: 644152 variables
Horizon 45: 724482 variables
				Allocated 32 MB permanent (total 1447 MB)
Horizon 50: 804812 variables
Horizon 55: 885142 variables
Horizon 60: 965472 variables
				Allocated 32 MB permanent (total 1879 MB)
Horizon 65: 1045802 variables
Horizon 70: 1126132 variables
				Allocated 32 MB permanent (total 2201 MB)
Horizon 75: 1206462 variables
				Allocated 32 MB (total 2233 MB)
				Allocated 32 MB permanent (total 2418 MB)
Horizon 80: 1286792 variables
Horizon 85: 1367122 variables
				Allocated 32 MB permanent (total 2769 MB)
Horizon 90: 1447452 variables
				Allocated 32 MB permanent (total 2968 MB)
Horizon 95: 1527782 variables
				Allocated 32 MB (total 3000 MB)
Horizon 100: 1608112 variables
				Allocated 32 MB permanent (total 3379 MB)
Horizon 105: 1688442 variables
				Allocated 32 MB (total 3411 MB)
				Allocated 32 MB (total 3443 MB)
				Allocated 32 MB (total 3475 MB)
						GC: 92.73 MB
				Allocated 32 MB (total 3507 MB)
				Allocated 32 MB (total 3539 MB)
				Allocated 32 MB (total 3571 MB)
				Allocated 32 MB (total 3603 MB)
				Allocated 32 MB (total 3635 MB)
				Allocated 32 MB (total 3667 MB)
						GC: 173.91 MB
				Allocated 32 MB (total 3699 MB)
				Allocated 32 MB (total 3731 MB)
				Allocated 32 MB (total 3763 MB)
				Allocated 32 MB (total 3795 MB)
				Allocated 32 MB (total 3827 MB)
				Allocated 32 MB (total 3859 MB)
						GC: 223.65 MB
				Allocated 32 MB (total 3891 MB)
				Allocated 32 MB (total 3923 MB)
				Allocated 32 MB (total 3955 MB)
				Allocated 32 MB (total 3987 MB)
				Allocated 32 MB (total 4019 MB)
				Allocated 32 MB (total 4051 MB)
						GC: 300.14 MB
				Allocated 32 MB (total 4083 MB)
				Allocated 32 MB (total 4115 MB)
				Allocated 32 MB (total 4147 MB)
				Allocated 32 MB (total 4179 MB)
				Allocated 32 MB (total 4211 MB)
						GC: 721.76 MB
						GC: 341.10 MB
						GC: 347.29 MB
						GC: 361.98 MB
						GC: 415.15 MB
						GC: 402.46 MB
						GC: 397.44 MB
						GC: 449.97 MB
SAT (8797 decisions 4965 conflicts)
PLAN FOUND: 100 steps
STEP 0.0: load_package6_truck1_a3_l3()
STEP 0.1: drive_truck1_l3_l5_t0_t1()
STEP 1.0: unload_package6_truck1_a3_l5()
STEP 1.1: load_package2_truck1_a2_l5()
STEP 1.2: load_package1_truck1_a1_l5()
STEP 1.3: drive_truck1_l5_l4_t1_t2()
STEP 2.0: deliver_package6_l5_t2_t10() unload_package1_truck1_a1_l4()
STEP 2.1: drive_truck1_l4_l5_t2_t3()
STEP 3.0: deliver_package1_l4_t3_t5() load_package3_truck1_a1_l5()
STEP 3.1: drive_truck1_l5_l3_t3_t4()
STEP 4: drive_truck1_l3_l1_t4_t5()
STEP 5: unload_package3_truck1_a1_l1()
STEP 6: deliver_package3_l1_t5_t5() unload_package2_truck1_a2_l1()
STEP 7.0: deliver_package2_l1_t5_t5()
STEP 7.1: drive_truck1_l1_l2_t5_t6()
STEP 8.0: load_package12_truck1_a4_l2()
STEP 8.1: load_package13_truck1_a3_l2()
STEP 8.2: drive_truck1_l2_l5_t6_t7()
STEP 9: unload_package13_truck1_a3_l5()
STEP 10.0: deliver_package13_l5_t7_t20()
STEP 10.1: drive_truck1_l5_l3_t7_t8()
STEP 11: unload_package12_truck1_a4_l3()
STEP 12.0: deliver_package12_l3_t8_t15() load_package7_truck1_a4_l3()
STEP 12.1: drive_truck1_l3_l2_t8_t9()
STEP 13.0: unload_package7_truck1_a4_l2()
STEP 13.1: load_package10_truck1_a3_l2()
STEP 13.2: load_package9_truck1_a2_l2()
STEP 13.3: load_package11_truck1_a1_l2()
STEP 13.4: drive_truck1_l2_l3_t9_t10()
STEP 14: deliver_package7_l2_t10_t10() unload_package11_truck1_a1_l3()
STEP 15.0: deliver_package11_l3_t10_t15() unload_package9_truck1_a2_l3()
STEP 15.1: drive_truck1_l3_l4_t10_t11()
STEP 16: unload_package10_truck1_a3_l4()
STEP 17.0: deliver_package10_l4_t11_t15()
STEP 17.1: drive_truck1_l4_l3_t11_t12()
STEP 18.0: load_package8_truck1_a4_l3()
STEP 18.1: load_package5_truck1_a3_l3()
STEP 18.2: load_package9_truck1_a2_l3()
STEP 18.3: drive_truck1_l3_l4_t12_t13()
STEP 19.0: unload_package9_truck1_a2_l4()
STEP 19.1: drive_truck1_l4_l2_t13_t14()
STEP 20.0: deliver_package9_l4_t14_t15()
STEP 20.1: drive_truck1_l2_l4_t14_t15()
STEP 21.0: unload_package5_truck1_a3_l4()
STEP 21.1: drive_truck1_l4_l5_t15_t16()
STEP 22.0: deliver_package5_l4_t16_t18() unload_package8_truck1_a4_l5()
STEP 22.1: load_package4_truck1_a1_l5()
STEP 23.0: deliver_package8_l5_t16_t17()
STEP 23.1: drive_truck1_l5_l4_t16_t17()
STEP 24: unload_package4_truck1_a1_l4()
STEP 25: deliver_package4_l4_t17_t17()
58 actions in the plan.
total time 239.53 preprocess 3.47 
total size 4.294 GB
max. learned clause length 117913
t val conflicts decisions
0 0 0 0
5 0 19 19
10 -1 32685 39238
15 -1 29477 40727
20 -1 26504 36792
25 -1 23854 31398
30 -1 21449 28551
35 -1 19337 26761
40 -1 17420 26264
45 -1 15672 25593
50 -1 14107 22921
55 -1 12668 21730
60 -1 11404 18986
65 -1 10269 16945
70 -1 9243 15181
75 -1 8347 13445
80 -1 7504 12602
85 -1 6785 11576
90 -1 6125 11007
95 -1 5523 9597
100 1 4965 8797