Madagascar 0.99999 25/02/2015 09:03:18 amd64 1-core
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-13.pddlignoring --stats
ignoring --verbose

Domain: mystery-strips
Problem: strips-mysty-x-13
Parser: 43554 ground actions and 1743 state variables
Invariants: 0 1 2 3 4 5 6 7  0.61 secs
Goal: conjunctive
Simplified: 17295 ground actions and 1427 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.12 secs (max SCC size 46)
Plan type: E-step
Heuristic: VSIDS
				Allocated 32 MB permanent (total 301 MB)
Horizon 0: 1427 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 179017 variables
				Allocated 32 MB (total 512 MB)
5 UNSAT (60 decisions 26 conflicts)
Horizon 10: 356607 variables
Horizon 15: 534197 variables
Horizon 20: 711787 variables
Horizon 25: 889377 variables
				Allocated 32 MB permanent (total 1180 MB)
Horizon 30: 1066967 variables
Horizon 35: 1244557 variables
				Allocated 32 MB permanent (total 1556 MB)
Horizon 40: 1422147 variables
Horizon 45: 1599737 variables
				Allocated 32 MB (total 1778 MB)
				Allocated 32 MB permanent (total 2014 MB)
Horizon 50: 1777327 variables
Horizon 55: 1954917 variables
				Allocated 32 MB (total 2262 MB)
				Allocated 32 MB permanent (total 2523 MB)
Horizon 60: 2132507 variables
				Allocated 32 MB permanent (total 2797 MB)
Horizon 65: 2310097 variables
				Allocated 32 MB (total 2829 MB)
				Allocated 32 MB permanent (total 3115 MB)
Horizon 70: 2487687 variables
				Allocated 32 MB permanent (total 3414 MB)
Horizon 75: 2665277 variables
				Allocated 32 MB (total 3446 MB)
				Allocated 32 MB permanent (total 3757 MB)
Horizon 80: 2842867 variables
				Allocated 32 MB (total 3789 MB)
				Allocated 32 MB permanent (total 4114 MB)
Horizon 85: 3020457 variables
				Allocated 32 MB permanent (total 4451 MB)
Horizon 90: 3198047 variables
				Allocated 32 MB (total 4483 MB)
				Allocated 32 MB (total 4515 MB)
				Allocated 32 MB (total 4547 MB)
				Allocated 32 MB (total 4579 MB)
				Allocated 32 MB permanent (total 4929 MB)
Horizon 95: 3375637 variables
SAT (141758 decisions 1157 conflicts)
PLAN FOUND: 10 steps
STEP 0.0: feast(love,baguette,lemon,alsace,bavaria) overcome(anger-6,achievement,turkey,vulcan,venus) overcome(anxiety,intoxication,yogurt,neptune,vulcan) overcome(jealousy-22,aesthetics,hamburger,mars,neptune) overcome(loneliness-11,curiosity,ham,neptune,vulcan)
STEP 0.1: feast(aesthetics,hamburger,scallion,alsace,bavaria) feast(intoxication,yogurt,scallop,oregon,alsace)
STEP 1.0: feast(aesthetics,scallion,flounder,oregon,alsace) overcome(dread,satisfaction,rice,mars,neptune) overcome(hangover-15,achievement,turkey,neptune,vulcan) overcome(laceration-20,love,lemon,vulcan,venus) succumb(anxiety,intoxication,scallop,neptune,vulcan) succumb(loneliness-11,curiosity,ham,neptune,vulcan)
STEP 1.1: feast(love,lemon,onion,bavaria,quebec)
STEP 2.0: feast(aesthetics,flounder,lemon,bavaria,quebec) feast(satisfaction,rice,lettuce,bavaria,quebec) overcome(anger,entertainment,mutton,vulcan,venus) overcome(angina-14,achievement,turkey,mars,neptune) overcome(loneliness,intoxication,scallop,neptune,vulcan) succumb(laceration-20,love,onion,vulcan,venus)
STEP 2.1: feast(achievement,turkey,onion,alsace,bavaria)
STEP 3: overcome(abrasion-12,curiosity,ham,neptune,vulcan) succumb(hangover-15,achievement,onion,mars,neptune) succumb(jealousy-22,aesthetics,lemon,mars,neptune) succumb(loneliness,intoxication,scallop,neptune,vulcan)
STEP 4.0: overcome(hangover-15,love,onion,vulcan,venus) overcome(laceration-20,achievement,onion,mars,neptune) overcome(prostatitis-18,aesthetics,lemon,mars,neptune) succumb(dread,satisfaction,lettuce,mars,neptune)
STEP 4.1: feast(achievement,onion,turkey,oregon,alsace) feast(aesthetics,lemon,baguette,alsace,bavaria) feast(satisfaction,lettuce,chocolate,oregon,alsace)
STEP 5.0: feast(satisfaction,chocolate,yogurt,alsace,bavaria) overcome(anxiety,intoxication,scallop,neptune,vulcan) overcome(prostatitis-13,curiosity,ham,mars,neptune) succumb(anger-6,achievement,turkey,mars,neptune) succumb(hangover-15,love,onion,vulcan,venus) succumb(prostatitis-18,aesthetics,baguette,mars,neptune)
STEP 5.1: feast(achievement,turkey,potato,oregon,alsace)
STEP 6: feast(entertainment,mutton,scallop,bavaria,quebec) overcome(boils,satisfaction,yogurt,mars,neptune) succumb(angina-14,achievement,potato,neptune,vulcan)
STEP 7.0: feast(achievement,potato,muffin,oregon,alsace) overcome(abrasion,entertainment,scallop,neptune,vulcan) overcome(hangover-15,love,onion,vulcan,venus) overcome(prostatitis-18,aesthetics,baguette,mars,neptune)
STEP 7.1: feast(aesthetics,baguette,lobster,oregon,alsace)
STEP 8: feast(achievement,muffin,ham,alsace,bavaria) succumb(hangover-15,love,onion,vulcan,venus)
STEP 9: succumb(laceration-20,achievement,ham,vulcan,venus) succumb(prostatitis-13,curiosity,ham,mars,neptune) succumb(prostatitis-18,aesthetics,lobster,mars,neptune)
52 actions in the plan.
total time 40.62 preprocess 3.17 
total size 5.035 GB
max. learned clause length 65279
t val conflicts decisions
0 0 0 0
5 0 26 60
10 1 1157 141758

