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-14.pddlignoring --stats
ignoring --verbose

Domain: mystery-strips
Problem: strips-mysty-x-14
Parser: 52506 ground actions and 1821 state variables
Invariants: 0 1 2 3 4 5 6  0.35 secs
Goal: conjunctive
Simplified: 45872 ground actions and 1601 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 2.19 secs (max SCC size 44)
Plan type: E-step
				Allocated 32 MB permanent (total 470 MB)
Horizon 5: 462971 variables
				Allocated 32 MB (total 635 MB)
5 UNSAT (11 decisions 7 conflicts)
Horizon 7: 647519 variables
Horizon 10: 924341 variables
Horizon 14: 1293437 variables
				Allocated 32 MB permanent (total 1253 MB)
Horizon 20: 1847081 variables
				Allocated 32 MB permanent (total 1514 MB)
Horizon 28: 2585273 variables
				Allocated 32 MB permanent (total 1841 MB)
Horizon 40: 3692561 variables
				Allocated 32 MB permanent (total 2255 MB)
Horizon 56: 5168945 variables
7 UNSAT (635 decisions 366 conflicts)
				Allocated 32 MB permanent (total 2800 MB)
				Allocated 32 MB permanent (total 2832 MB)
Horizon 80: 7383521 variables
				Allocated 32 MB permanent (total 3557 MB)
				Allocated 32 MB permanent (total 3589 MB)
				Allocated 32 MB permanent (total 3621 MB)
Horizon 113: 10428563 variables
				Allocated 32 MB permanent (total 4602 MB)
				Allocated 32 MB permanent (total 4634 MB)
				Allocated 32 MB permanent (total 4666 MB)
				Allocated 32 MB permanent (total 4698 MB)
Horizon 160: 14765441 variables
				Allocated 32 MB permanent (total 6039 MB)
				Allocated 32 MB permanent (total 6071 MB)
				Allocated 32 MB permanent (total 6103 MB)
				Allocated 32 MB permanent (total 6135 MB)
				Allocated 32 MB permanent (total 6167 MB)
				Allocated 32 MB permanent (total 6199 MB)
Horizon 226: 20855525 variables
				Allocated 32 MB (total 6231 MB)
				Allocated 32 MB (total 6263 MB)
				Allocated 32 MB (total 6295 MB)
				Allocated 32 MB (total 6327 MB)
				Allocated 32 MB (total 6359 MB)
				Allocated 32 MB (total 6391 MB)
				Allocated 32 MB (total 6423 MB)
				Allocated 32 MB (total 6455 MB)
				Allocated 32 MB (total 6487 MB)
				Allocated 32 MB (total 6519 MB)
						GC: 306.91 MB
SAT (8365 decisions 2949 conflicts)
PLAN FOUND: 80 steps
STEP 0.0: feast(aesthetics,cucumber,lemon,arizona,pennsylvania) feast(intoxication,ham,cucumber,quebec,bavaria) feast(learning,yogurt,shrimp,pennsylvania,surrey) feast(rest,scallop,lettuce,quebec,bavaria) feast(triumph,pea,hotdog,surrey,quebec) overcome(angina,achievement,potato,vulcan,jupiter) overcome(dread,excitement,lobster,jupiter,neptune) overcome(hangover,curiosity,chocolate,vulcan,jupiter)
STEP 0.1: feast(curiosity,chocolate,wurst,arizona,pennsylvania) feast(excitement,lobster,baguette,quebec,bavaria)
STEP 1.0: feast(achievement,potato,shrimp,arizona,pennsylvania) feast(aesthetics,lemon,scallop,arizona,pennsylvania) feast(learning,shrimp,scallion,pennsylvania,surrey) feast(rest,lettuce,pistachio,arizona,pennsylvania) feast(triumph,hotdog,lobster,quebec,bavaria) overcome(abrasion-21,intoxication,cucumber,jupiter,neptune) overcome(depression,curiosity,wurst,mars,vulcan) succumb(dread,excitement,baguette,jupiter,neptune)
STEP 1.1: feast(curiosity,wurst,potato,alsace,arizona) feast(excitement,baguette,chocolate,quebec,bavaria) feast(intoxication,cucumber,mutton,alsace,arizona)
STEP 2.0: feast(achievement,shrimp,scallion,arizona,pennsylvania) feast(aesthetics,scallop,scallion,surrey,quebec) feast(curiosity,potato,shrimp,alsace,arizona) feast(triumph,lobster,baguette,surrey,quebec) overcome(grief,excitement,chocolate,jupiter,neptune) overcome(prostatitis-23,rest,pistachio,vulcan,jupiter) succumb(abrasion-21,intoxication,mutton,jupiter,neptune)
STEP 2.1: feast(excitement,chocolate,baguette,alsace,arizona)
STEP 3.0: feast(aesthetics,scallion,shrimp,pennsylvania,surrey) feast(curiosity,shrimp,scallion,alsace,arizona) feast(triumph,baguette,scallop,surrey,quebec) overcome(anxiety-25,rest,pistachio,mars,vulcan) overcome(dread,excitement,baguette,vulcan,jupiter)
STEP 3.1: feast(rest,pistachio,lettuce,alsace,arizona)
STEP 4: feast(excitement,baguette,lobster,pennsylvania,surrey) feast(learning,scallion,scallop,arizona,pennsylvania) feast(rest,lettuce,scallop,alsace,arizona) feast(triumph,scallop,lettuce,pennsylvania,surrey)
STEP 5: feast(excitement,lobster,baguette,pennsylvania,surrey) feast(learning,scallop,lettuce,arizona,pennsylvania) succumb(prostatitis-23,rest,scallop,mars,vulcan)
STEP 6.0: feast(excitement,baguette,lobster,arizona,pennsylvania) overcome(prostatitis-23,rest,scallop,mars,vulcan)
STEP 6.1: feast(rest,scallop,baguette,alsace,arizona)
STEP 7: feast(excitement,lobster,hotdog,arizona,pennsylvania) feast(rest,baguette,lobster,alsace,arizona)
STEP 8: feast(excitement,hotdog,pea,surrey,quebec) feast(rest,lobster,hotdog,alsace,arizona)
STEP 9: feast(excitement,pea,potato,pennsylvania,surrey) feast(rest,hotdog,pea,pennsylvania,surrey)
STEP 10: feast(rest,pea,potato,arizona,pennsylvania)
STEP 11: succumb(prostatitis-23,rest,potato,mars,vulcan)
STEP 12: succumb(anxiety-25,rest,potato,vulcan,jupiter)
54 actions in the plan.
total time 357.65 preprocess 4.32 
total size 6.734 GB
max. learned clause length 150235
t val conflicts decisions
5 0 7 11
7 0 366 635
10 -1 3361 5609
14 -1 3305 6732
20 -1 3242 7116
28 -1 3182 7001
40 -1 3120 6701
56 -1 3065 6547
80 1 2949 8365

