Madagascar 0.99999 25/02/2015 09:45:59 amd64 1-core (no VSIDS)
Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-6.pddlignoring --stats
ignoring --verbose

Domain: mystery-strips
Problem: strips-mysty-x-6
Parser: 14454 ground actions and 763 state variables
Invariants: 0 1 2 3 4 5 6 7  0.09 secs
Goal: conjunctive
Simplified: 10539 ground actions and 552 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.11 secs (max SCC size 45)
Plan type: E-step
				Allocated 32 MB permanent (total 199 MB)
Horizon 5: 103262 variables
				Allocated 32 MB (total 321 MB)
5 UNSAT (33 decisions 24 conflicts)
Horizon 7: 144346 variables
Horizon 10: 205972 variables
Horizon 14: 288140 variables
Horizon 20: 411392 variables
Horizon 28: 575728 variables
Horizon 40: 822232 variables
				Allocated 32 MB permanent (total 1100 MB)
Horizon 56: 1150904 variables
Horizon 80: 1643912 variables
				Allocated 32 MB permanent (total 1519 MB)
Horizon 113: 2321798 variables
7 UNSAT (685 decisions 491 conflicts)
				Allocated 32 MB permanent (total 1822 MB)
Horizon 160: 3287272 variables
				Allocated 32 MB permanent (total 2205 MB)
Horizon 226: 4643044 variables
				Allocated 32 MB (total 2237 MB)
				Allocated 32 MB permanent (total 2734 MB)
				Allocated 32 MB permanent (total 2766 MB)
Horizon 320: 6573992 variables
				Allocated 32 MB permanent (total 3423 MB)
				Allocated 32 MB permanent (total 3455 MB)
				Allocated 32 MB permanent (total 3487 MB)
Horizon 452: 9285536 variables
				Allocated 32 MB permanent (total 4373 MB)
				Allocated 32 MB permanent (total 4405 MB)
				Allocated 32 MB permanent (total 4437 MB)
				Allocated 32 MB permanent (total 4469 MB)
Horizon 640: 13147432 variables
				Allocated 32 MB (total 4501 MB)
				Allocated 32 MB permanent (total 5709 MB)
				Allocated 32 MB permanent (total 5741 MB)
				Allocated 32 MB permanent (total 5773 MB)
				Allocated 32 MB permanent (total 5805 MB)
				Allocated 32 MB permanent (total 5837 MB)
				Allocated 32 MB permanent (total 5869 MB)
Horizon 905: 18591062 variables
				Allocated 32 MB (total 5901 MB)
				Allocated 32 MB (total 5933 MB)
				Allocated 32 MB (total 5965 MB)
				Allocated 32 MB (total 5997 MB)
				Allocated 32 MB (total 6029 MB)
SAT (1802 decisions 1008 conflicts)
PLAN FOUND: 10 steps
STEP 0.0: feast(aesthetics,cantelope,tomato,alsace,goias) feast(curiosity,potato,snickers,kentucky,alsace) feast(love,tomato,cantelope,kentucky,alsace) feast(lubricity,wonderbread,bacon,goias,quebec) feast(triumph,turkey,snickers,kentucky,alsace) overcome(anger,rest,popover,mars,saturn) overcome(grief,achievement,chicken,venus,neptune)
STEP 0.1: feast(achievement,chicken,scallop,surrey,kentucky) feast(rest,popover,cantelope,bosnia,surrey)
STEP 1.0: feast(aesthetics,tomato,tuna,surrey,kentucky) feast(curiosity,snickers,turkey,alsace,goias) overcome(angina,triumph,snickers,mars,saturn) overcome(hangover,rest,cantelope,neptune,mars) overcome(loneliness,lubricity,bacon,mars,saturn) succumb(grief,achievement,scallop,venus,neptune)
STEP 1.1: feast(achievement,scallop,beef,bosnia,surrey) feast(lubricity,bacon,mutton,quebec,arizona) feast(rest,cantelope,tomato,kentucky,alsace)
STEP 2.0: feast(aesthetics,tuna,beef,kentucky,alsace) feast(curiosity,turkey,chicken,surrey,kentucky) feast(lubricity,mutton,turkey,surrey,kentucky) overcome(abrasion,achievement,beef,venus,neptune) succumb(anger,rest,tomato,neptune,mars)
STEP 2.1: feast(achievement,beef,tuna,surrey,kentucky)
STEP 3.0: feast(lubricity,turkey,chicken,bosnia,surrey) overcome(anger,rest,tomato,neptune,mars) succumb(abrasion,achievement,tuna,venus,neptune)
STEP 3.1: feast(achievement,tuna,tomato,surrey,kentucky) feast(rest,tomato,tuna,bosnia,surrey)
STEP 4.0: overcome(abrasion,rest,tuna,venus,neptune)
STEP 4.1: feast(rest,tuna,beef,bosnia,surrey)
STEP 5.0: succumb(hangover,rest,beef,venus,neptune)
STEP 5.1: feast(rest,beef,papaya,bosnia,surrey)
STEP 6: feast(rest,papaya,chicken,bosnia,surrey)
STEP 7: feast(rest,chicken,turkey,bosnia,surrey)
STEP 8: succumb(anger,rest,turkey,neptune,mars)
STEP 9: succumb(abrasion,rest,turkey,mars,saturn)
37 actions in the plan.
total time 58.66 preprocess 0.45 
total size 6.140 GB
max. learned clause length 2173396
t val conflicts decisions
5 0 24 33
7 0 491 685
10 1 1008 1802

