[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.001s 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.006s 3MB] O: 78, F: 64 :: static facts: 0.
[0.006s 3MB] O: 78, F: 52 :: irrelevance analysis (irrelevant facts: 12, ops: 0).
[0.153s 11MB] O: 78, F: 52 :: fam-groups (mgroups: 19, change: 0).
[0.154s 11MB] O: 78, F: 52 :: fw h^2 mutexes (mutexes: 312, change: 0).
[0.154s 11MB] O: 78, F: 52 :: Disambiguation done (change: 1).
[0.154s 11MB] O: 78, F: 52 :: bw h^2 mutexes (mutexes: 315, change: 0).
[0.155s 11MB] O: 78, F: 52 :: Disambiguation done (change: 0).
[0.158s 11MB] O: 78, F: 52 :: fw h^3 mutexes (mutexes: 3947, change: 0).
[0.161s 11MB] O: 78, F: 52 :: bw h^3 mutexes (mutexes: 8791, change: 0).
[0.161s 11MB] O: 78, F: 52 :: static facts: 0.
[0.161s 11MB] O: 78, F: 52 :: irrelevance analysis (irrelevant facts: 0, ops: 0).
[0.211s 12MB] O: 78, F: 52 :: fam-groups (mgroups: 19, change: 0).
[0.211s 12MB] The STRIPS problem is pruned.
[0.212s 12MB] h-mgroup-merge: cost-part: 0, max_mem: 7516192768
[0.212s 12MB] Added 2 single-fact mgroups.
[0.212s 12MB] h-mgroup-merge: Initialized.
[0.212s 12MB] h-mgroup-merge: Finding merge for mgroup 19 (2 facts)
[0.212s 12MB] h-mgroup-merge:   Adding mgroup 20, num-nodes: 4
[0.212s 12MB] h-mgroup-merge:   Adding mgroup 0, num-nodes: 64
[0.212s 12MB] h-mgroup-merge:   Adding mgroup 9, num-nodes: 109
[0.212s 12MB] h-mgroup-merge:   Adding mgroup 7, num-nodes: 168
[0.212s 12MB] h-mgroup-merge:   Adding mgroup 2, num-nodes: 530
[0.212s 12MB] h-mgroup-merge:   Adding mgroup 4, num-nodes: 560
[0.212s 12MB] h-mgroup-merge:   Adding mgroup 1, num-nodes: 1203
[0.213s 12MB] h-mgroup-merge:   Adding mgroup 6, num-nodes: 1203
[0.213s 12MB] h-mgroup-merge:   Adding mgroup 5, num-nodes: 1203
[0.213s 12MB] h-mgroup-merge:   Adding mgroup 11, num-nodes: 1203
[0.213s 12MB] h-mgroup-merge:   Adding mgroup 8, num-nodes: 1203
[0.214s 12MB] h-mgroup-merge:   Adding mgroup 10, num-nodes: 1203
[0.214s 12MB] h-mgroup-merge:   Adding mgroup 3, num-nodes: 1203
[0.214s 12MB] h-mgroup-merge:   Adding mgroup 12, num-nodes: 2323
[0.215s 12MB] h-mgroup-merge:   Adding mgroup 15, num-nodes: 4480
[0.217s 12MB] h-mgroup-merge:   Adding mgroup 16, num-nodes: 8628
[0.221s 13MB] h-mgroup-merge:   Adding mgroup 18, num-nodes: 16592
[0.236s 17MB] h-mgroup-merge:   Adding mgroup 14, num-nodes: 16592
[0.251s 20MB] h-mgroup-merge:   Adding mgroup 17, num-nodes: 16592
[0.262s 20MB] h-mgroup-merge: Finding merge for mgroup 20 (2 facts)
[0.262s 20MB] h-mgroup-merge:   Adding mgroup 0, num-nodes: 32
[0.262s 20MB] h-mgroup-merge:   Adding mgroup 9, num-nodes: 77
[0.262s 20MB] h-mgroup-merge:   Adding mgroup 7, num-nodes: 136
[0.262s 20MB] h-mgroup-merge:   Adding mgroup 2, num-nodes: 453
[0.262s 20MB] h-mgroup-merge:   Adding mgroup 4, num-nodes: 468
[0.263s 20MB] h-mgroup-merge:   Adding mgroup 1, num-nodes: 1039
[0.263s 20MB] h-mgroup-merge:   Adding mgroup 6, num-nodes: 1039
[0.263s 20MB] h-mgroup-merge:   Adding mgroup 11, num-nodes: 1039
[0.263s 20MB] h-mgroup-merge:   Adding mgroup 8, num-nodes: 1039
[0.263s 20MB] h-mgroup-merge:   Adding mgroup 3, num-nodes: 1039
[0.264s 20MB] h-mgroup-merge:   Adding mgroup 5, num-nodes: 1039
[0.264s 20MB] h-mgroup-merge:   Adding mgroup 10, num-nodes: 1039
[0.264s 20MB] h-mgroup-merge:   Adding mgroup 12, num-nodes: 2006
[0.265s 20MB] h-mgroup-merge:   Adding mgroup 13, num-nodes: 3868
[0.266s 20MB] h-mgroup-merge:   Adding mgroup 15, num-nodes: 7448
[0.269s 20MB] h-mgroup-merge:   Adding mgroup 16, num-nodes: 14320
[0.279s 20MB] h-mgroup-merge:   Adding mgroup 14, num-nodes: 14320
[0.290s 20MB] h-mgroup-merge:   Adding mgroup 17, num-nodes: 14320
[0.304s 20MB] h-mgroup-merge:   Adding mgroup 19, num-nodes: 16592
[0.314s 20MB] h-mgroup-merge: 2 merges planned.
 0(16) 1(10) 2(10) 3(4) 4(4) 5(4) 6(4) 7(4) 8(4) 9(4) 10(4) 11(4) 12(3) 14(2) 15(3) 16(3) 17(2) 18(3) 19(2) 20(2)
[15.451s 3170MB] h-mgroup-merge: Computed sync product of 20 mgroups, nodes: 16592
[15.464s 3170MB] h-mgroup-merge: Goal Distances computed
[15.470s 3170MB] h-mgroup-merge: Landmarks computed
 0(16) 1(10) 2(10) 3(4) 4(4) 5(4) 6(4) 7(4) 8(4) 9(4) 10(4) 11(4) 12(3) 13(3) 14(2) 15(3) 16(3) 17(2) 19(2) 20(2)
[31.196s 3170MB] h-mgroup-merge: Computed sync product of 20 mgroups, nodes: 16592
[31.209s 3170MB] h-mgroup-merge: Goal Distances computed
[31.215s 3170MB] h-mgroup-merge: Landmarks computed
[31.299s] [0.000 s, 3170 MB] 84 steps, 106 evaluated, 83 expanded, 94 generated, found: 1