/home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp3oYy9u LD_LIBRARY_PATH=/.singularity.d/libs HOME=/home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp3oYy9u PS1=Singularity> MAKEFLAGS=-j 16 ASDF_OUTPUT_TRANSLATIONS=(:output-translations ("/planner/.roswell/local-projects/strips/search-instance-dependent" "/tmp/search-instance-dependent/") ("/planner/.roswell/" "/planner/.cache/") :inherit-configuration) PATH=/planner/.roswell/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin LANG=C SINGULARITY_CONTAINER=seq-sat-team33.img PWD=/home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp3oYy9u ROSWELL_HOME=/planner/.roswell SINGULARITY_NAME=seq-sat-team33.img TZ=Asia/Tokyo domain.pddl problem.pddl args: domain.pddl problem.pddl sas_plan ; compiling file "/planner/.roswell/local-projects/strips/search-instance-dependent/close-list.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (IN-COMPILATION-PHASE (#) ...) ; compiling (IN-COMPILATION-PHASE (PHASE/PACKED-STRUCTS) ...) ; compiling (IN-COMPILATION-PHASE (PHASE/FULL-COMPILATION) ...) ; /tmp/search-instance-dependent/close-list-tmp8V3J6PE9.fasl written ; compilation finished in 0:00:00.004 ; compiling file "/planner/.roswell/local-projects/strips/search-instance-dependent/search-common.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (IN-COMPILATION-PHASE (#) ...) ; compiling (IN-COMPILATION-PHASE (PHASE/PACKED-STRUCTS) ...) ; compiling (IN-COMPILATION-PHASE (PHASE/FULL-COMPILATION) ...) ; compiling (IN-COMPILATION-PHASE (PHASE/FULL-COMPILATION) ...) ; compiling (IN-COMPILATION-PHASE (PHASE/FULL-COMPILATION) ...) ; compiling (IN-COMPILATION-PHASE (PHASE/FULL-COMPILATION) ...) ; /tmp/search-instance-dependent/search-common-tmp9V47YWQF.fasl written ; compilation finished in 0:00:00.002 ; compiling file "/planner/.roswell/local-projects/strips/search-instance-dependent/novelty.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (IN-COMPILATION-PHASE (#) ...) ; compiling (IN-COMPILATION-PHASE (#) ...) ; compiling (IN-COMPILATION-PHASE (#) ...) ; compiling (IN-COMPILATION-PHASE (#) ...) ; /tmp/search-instance-dependent/novelty-tmp9BN22RMA.fasl written ; compilation finished in 0:00:00.001 ; compiling file "/planner/.roswell/local-projects/strips/search-instance-dependent/alien.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (DEFPARAMETER *PROBE-LIMIT* ...) ; compiling (DECLAIM (INLINE SET-RANDOM-BITVECTOR^2)) ; compiling (FTYPE* SET-RANDOM-BITVECTOR^2 ...) ; compiling (DEFUN SET-RANDOM-BITVECTOR^2 ...) ; compiling (IN-COMPILATION-PHASE (#) ...) ; /tmp/search-instance-dependent/alien-tmp1CXFJSK9.fasl written ; compilation finished in 0:00:00.013 ; compiling file "/planner/.roswell/local-projects/strips/search-instance-dependent/eager.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (IN-COMPILATION-PHASE (#) ...) ; compiling (IN-COMPILATION-PHASE (#) ...) ; compiling (IN-COMPILATION-PHASE (#) ...) ; /tmp/search-instance-dependent/eager-tmpX4BRKI0R.fasl written ; compilation finished in 0:00:00.062 ; compiling file "/planner/.roswell/local-projects/strips/search-instance-dependent/ff.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (IN-COMPILATION-PHASE (#) ...) ; compiling (IN-COMPILATION-PHASE (#) ...) ; compiling (IN-COMPILATION-PHASE (#) ...) ; compiling (IN-COMPILATION-PHASE (#) ...) ; /tmp/search-instance-dependent/ff-tmpQ371UGST.fasl written ; compilation finished in 0:00:00.016 ; compiling file "/planner/.roswell/local-projects/strips/search-instance-dependent/goal-count.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (IN-COMPILATION-PHASE (#) ...) ; compiling (IN-COMPILATION-PHASE (#) ...) ; /tmp/search-instance-dependent/goal-count-tmp2OWI3Q7U.fasl written ; compilation finished in 0:00:00.000 ; compiling file "/planner/.roswell/local-projects/strips/search-instance-dependent/close-list.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (IN-COMPILATION-PHASE (#) ...) ; compiling (IN-COMPILATION-PHASE (PHASE/PACKED-STRUCTS) ...) ; compiling (IN-COMPILATION-PHASE (PHASE/FULL-COMPILATION) ...) ; /tmp/search-instance-dependent/close-list-tmp9KKTJMYV.fasl written ; compilation finished in 0:00:00.026 ; compiling file "/planner/.roswell/local-projects/strips/search-instance-dependent/search-common.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (IN-COMPILATION-PHASE (#) ...) ; compiling (IN-COMPILATION-PHASE (PHASE/PACKED-STRUCTS) ...) ; compiling (IN-COMPILATION-PHASE (PHASE/FULL-COMPILATION) ...) ; compiling (IN-COMPILATION-PHASE (PHASE/FULL-COMPILATION) ...) ; compiling (IN-COMPILATION-PHASE (PHASE/FULL-COMPILATION) ...) ; compiling (IN-COMPILATION-PHASE (PHASE/FULL-COMPILATION) ...) ; /tmp/search-instance-dependent/search-common-tmpJU0JWO19.fasl written ; compilation finished in 0:00:00.071 ; compiling file "/planner/.roswell/local-projects/strips/search-instance-dependent/novelty.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (IN-COMPILATION-PHASE (#) ...) ; compiling (IN-COMPILATION-PHASE (#) ...) ; compiling (IN-COMPILATION-PHASE (#) ...) ; compiling (IN-COMPILATION-PHASE (#) ...) ; /tmp/search-instance-dependent/novelty-tmpZX2WN8N4.fasl written ; compilation finished in 0:00:00.016 ; compiling file "/planner/.roswell/local-projects/strips/search-instance-dependent/alien.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (DEFPARAMETER *PROBE-LIMIT* ...) ; compiling (DECLAIM (INLINE SET-RANDOM-BITVECTOR^2)) ; compiling (FTYPE* SET-RANDOM-BITVECTOR^2 ...) ; compiling (DEFUN SET-RANDOM-BITVECTOR^2 ...) ; compiling (IN-COMPILATION-PHASE (#) ...) ; /tmp/search-instance-dependent/alien-tmpOU81XRV0.fasl written ; compilation finished in 0:00:00.012 ; compiling file "/planner/.roswell/local-projects/strips/search-instance-dependent/eager.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (IN-COMPILATION-PHASE (#) ...) ; compiling (IN-COMPILATION-PHASE (#) ...) ; compiling (IN-COMPILATION-PHASE (#) ...) ; /tmp/search-instance-dependent/eager-tmpY2ML9CFA.fasl written ; compilation finished in 0:00:00.100 ; compiling file "/planner/.roswell/local-projects/strips/search-instance-dependent/ff.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (IN-COMPILATION-PHASE (#) ...) ; compiling (IN-COMPILATION-PHASE (#) ...) ; compiling (IN-COMPILATION-PHASE (#) ...) ; compiling (IN-COMPILATION-PHASE (#) ...) ; /tmp/search-instance-dependent/ff-tmpX2JYJDQE.fasl written ; compilation finished in 0:00:00.260 ; compiling file "/planner/.roswell/local-projects/strips/search-instance-dependent/goal-count.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (IN-COMPILATION-PHASE (#) ...) ; compiling (IN-COMPILATION-PHASE (#) ...) ; /tmp/search-instance-dependent/goal-count-tmpOPCILR65.fasl written ; compilation finished in 0:00:00.001 ; Memory consumption in DYNAMIC: ; +7,340,033,440 bytes for +10 SIMPLE-BIT-VECTOR objects ; +1,106,992 bytes for +645 SIMPLE-VECTOR objects ; +213,920 bytes for +3,147 INSTANCE objects ; +119,216 bytes for +7,451 CONS objects ; +2,110,480 bytes for +187 SIMPLE-ARRAY-UNSIGNED-BYTE-64 objects ; +16,752 bytes for +258 SIMPLE-ARRAY-UNSIGNED-BYTE-8 objects ; +77,488 bytes for +799 SIMPLE-BASE-STRING objects ; +93,760 bytes for +1,493 SIMPLE-CHARACTER-STRING objects ; +688 bytes for +21 BIGNUM objects ; +6,048 bytes for +126 SYMBOL objects ; +288 bytes for +9 SIMPLE-ARRAY-UNSIGNED-BYTE-32 objects ; +9,968 bytes for +224 CLOSURE objects ; +1,792 bytes for +56 SIMPLE-ARRAY-UNSIGNED-BYTE-16 objects ; +16,128 bytes for +18 CODE objects ; +6,400 bytes for +281 SIMPLE-ARRAY-FIXNUM objects ; +320 bytes for +4 ARRAY-HEADER objects ; +2,304 bytes for +72 SIMPLE-ARRAY-SIGNED-BYTE-8 objects ; +32 bytes for +1 SIMPLE-ARRAY-SIGNED-BYTE-16 objects ; +32 bytes for +1 SIMPLE-ARRAY-SIGNED-BYTE-32 objects ; +7,440 bytes for +67 SIMPLE-ARRAY-UNSIGNED-BYTE-7 objects ; -16 bytes for -1 VALUE-CELL objects ; +32 bytes for +1 RATIO objects ; +64 bytes for +2 SIMPLE-ARRAY-UNSIGNED-BYTE-4 objects ; +32 bytes for +2 SIMPLE-ARRAY-NIL objectsChecking plan: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp3oYy9u/sas_plan Plan executed successfully - checking goal Plan valid Final value: 10 Successful plans: Value: 10 /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp3oYy9u/sas_plan 10