[0.000s 1MB] Translation of domain.pddl and problem.pddl.
[0.000s 1MB] Parsing domain lisp file...
[0.000s 1MB] Parsing problem lisp file...
[0.000s 1MB] Parsing entire contents of domain/problem PDDL...
[0.000s 1MB] PDDL content parsed.
[0.000s 1MB] Compiling away conditional effects (actions: 3)
[0.002s 1MB] Conditional effects compiled away (actions: 3).
[0.002s 1MB] Conditional effects compiled away.
[0.005s 3MB] PDDL grounded to STRIPS.
[0.005s 3MB] O: 78, F: 64 :: static facts: 0.
[0.005s 3MB] O: 78, F: 52 :: irrelevance analysis (irrelevant facts: 12, ops: 0).
[0.150s 11MB] O: 78, F: 52 :: fam-groups (mgroups: 19, change: 0).
[0.150s 11MB] O: 78, F: 52 :: fw h^2 mutexes (mutexes: 312, change: 0).
[0.151s 11MB] O: 78, F: 52 :: Disambiguation done (change: 1).
[0.151s 11MB] O: 78, F: 52 :: bw h^2 mutexes (mutexes: 315, change: 0).
[0.151s 11MB] O: 78, F: 52 :: Disambiguation done (change: 0).
[0.155s 11MB] O: 78, F: 52 :: fw h^3 mutexes (mutexes: 3947, change: 0).
[0.158s 11MB] O: 78, F: 52 :: bw h^3 mutexes (mutexes: 8791, change: 0).
[0.158s 11MB] O: 78, F: 52 :: static facts: 0.
[0.158s 11MB] O: 78, F: 52 :: irrelevance analysis (irrelevant facts: 0, ops: 0).
[0.209s 12MB] O: 78, F: 52 :: fam-groups (mgroups: 19, change: 0).
[0.209s 12MB] The STRIPS problem is pruned.
[0.217s] [0.002 s, 12 MB] 158 steps, 178 evaluated, 157 expanded, 161 generated, found: 1