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