[13:58:24] strips specials.lisp (solve-common) - [0.000s] [+0.000s] STARTED [13:58:24] strips specials.lisp (solve-common) - Solving problem.pddl [13:58:24] strips specials.lisp (log-milestone) - [0.001s] [+0.001s] PARSE [13:58:24] strips specials.lisp (log-milestone) - [0.001s] [+0.000s] EASY-INVARIANT [13:58:25] strips specials.lisp (log-milestone) - [0.084s] [+0.083s] GROUND [13:58:25] strips specials.lisp (log-milestone) - [0.108s] [+0.024s] MUTEX-INVARIANT [13:58:25] strips 7-instantiate.lisp (instantiate-ops) - Instantiating operator objects [13:58:25] strips 7-instantiate.lisp (instantiate-ops) - Making an operator index [13:58:25] strips 7-instantiate.lisp (instantiate-ops) - Removed duplicated operators: 78 -> 78 [13:58:25] strips specials.lisp (log-milestone) - [0.110s] [+0.002s] INTANTIATE [13:58:25] strips specials.lisp (solve-common) - facts: 64 [13:58:25] strips specials.lisp (solve-common) - axioms: 1 [13:58:25] strips specials.lisp (solve-common) - ops: 78 [13:58:25] strips specials.lisp (solve-common) - axiom layers: 2 [13:58:25] strips relaxation.lisp (ensure-delete-relaxed-sg) - instantiating delete-relaxed successor generator [13:58:25] strips relaxation.lisp (ensure-delete-relaxed-sg) - op: 78 [13:58:25] strips relaxation.lisp (ensure-delete-relaxed-sg) - relaxed op: 78 [13:58:25] strips run.lisp (run) - compiling instance-dependent code for packed structs [13:58:25] strips specials.lisp (log-milestone) - [0.422s] [+0.312s] SECONDARY-COMPILATION [13:58:25] strips run.lisp (run) - (EVAL '(SIZE-OF 'STATE-INFORMATION)): 103 [13:58:25] strips specials.lisp (log-milestone) - [0.452s] [+0.030s] STATE-INFORMATION [13:58:25] strips run.lisp (run) - compiling instance-dependent code for functions [13:58:25] strips close-list.lisp () - (MAX-STATE-ID): 570099572 [13:58:25] strips 8-successor-generator.lisp () - compiled branch limit: 1000 [13:58:25] strips 8-successor-generator.lisp () - maximum depth to compile sg: 65 [13:58:25] strips util.lisp (print-function-size) - Segment size of APPLICABLE-OPS/FAST: 4082 bytes [13:58:25] strips util.lisp (print-function-size) - Segment size of APPLY-OP/FAST: 102 bytes [13:58:25] strips 8-successor-generator.lisp () - compiled branch limit: 1000 [13:58:25] strips 8-successor-generator.lisp () - maximum depth to compile sg: 65 [13:58:25] strips util.lisp (fun2) - failed to inine a form due to: SIMPLE-ERROR slow runtime call to make-state+axioms! form: (MAKE-STATE+AXIOMS) [13:58:25] strips util.lisp (fun2) - failed to inine a form due to: SIMPLE-ERROR slow runtime call to make-state+axioms! form: (MAKE-STATE+AXIOMS) [13:58:25] strips specials.lisp (log-milestone) - [1.031s] [+0.579s] TERTIERY-COMPILATION [13:58:25] strips run.lisp (run) - compiling main function [13:58:25] strips specials.lisp (log-milestone) - [1.033s] [+0.002s] MAIN-FUNCTION-COMPILATION [13:58:25] strips run.lisp (run) - garbage collection [13:58:26] strips specials.lisp (log-milestone) - [1.054s] [+0.021s] GC [13:58:26] strips run.lisp (run) - Search started [13:58:26] strips eager.lisp (eager-search) - Initial heuristic value: 137 [13:58:26] strips eager.lisp (eager-search rec path) - Goal found! [13:58:26] strips eager.lisp (eager-search cleanup-fun-58) - expanded: 235 [13:58:26] strips eager.lisp (eager-search cleanup-fun-58) - evaluated: 281 [13:58:26] strips eager.lisp (eager-search cleanup-fun-58) - generated: 281 [13:58:26] strips eager.lisp (eager-search cleanup-fun-58) - pruned: 0 [13:58:26] strips eager.lisp (eager-search cleanup-fun-58) - eval/sec: 56200.0 [13:58:26] strips specials.lisp (log-milestone) - [1.070s] [+0.016s] SEARCH [13:58:26] strips run.lisp (run cleanup-fun-30) - Search finished [13:58:26] strips specials.lisp (solve-common cleanup-fun-20) - Finished on problem.pddl