The time is now Sunday, June 15th, 2025 8:58:26pm (/usr/bin/env PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: PLT_PKG_BUILD_SERVICE=1 /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 1 -u --auto levintreesearch_cm && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 1 --timeout 180 --drdr --package levintreesearch_cm) Resolved "levintreesearch_cm" via file:///home/root//catalogs/built/catalog 00: Resolved "define2" via file:///home/root//catalogs/built/catalog 00: Resolved "global" via file:///home/root//catalogs/built/catalog 01: Resolved "safe-case" via file:///home/root//catalogs/built/catalog 01: Resolved "text-table" via file:///home/root//catalogs/built/catalog Resolved "text-block" via file:///home/root//catalogs/built/catalog The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of levintreesearch_cm: define2 global safe-case text-table text-block raco setup: version: 8.17.0.4 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.17.0.4 raco setup: variants: cs raco setup: main collects: /home/root/racket/collects/ raco setup: collects paths: raco setup: /home/root/user/.local/share/racket/8.17.0.4/collects raco setup: /home/root/racket/collects/ raco setup: main pkgs: /home/root/racket/share/pkgs raco setup: pkgs paths: raco setup: /home/root/racket/share/pkgs raco setup: /home/root//user/.local/share/racket/8.17.0.4/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.17.0.4/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: --- updating info-domain tables --- [1:58:45] raco setup: updating: /home/root/user/.local/share/racket/8.17.0.4/share/info-cache.rktd raco setup: --- pre-installing collections --- [1:58:45] raco setup: --- installing foreign libraries --- [1:58:45] raco setup: --- installing shared files --- [1:58:45] raco setup: --- compiling collections --- [1:58:45] raco setup: making: /define2 raco setup: in /define2 raco setup: in /define2/scribblings raco setup: making: /define2/scribblings raco setup: making: /define2/tests raco setup: in /define2/tests raco setup: making: /global raco setup: in /global raco setup: in /text-table raco setup: in /global/scribblings raco setup: making: /global/examples raco setup: in /global/examples raco setup: making: /global/scribblings raco setup: making: /global/tests raco setup: in /global/tests raco setup: making: /levintreesearch_cm/jobsched raco setup: in /levintreesearch_cm/jobsched raco setup: in /levintreesearch_cm/jobsched/scribblings raco setup: making: /levintreesearch_cm/jobsched/examples raco setup: in /levintreesearch_cm/jobsched/examples raco setup: making: /levintreesearch_cm/jobsched/scribblings raco setup: making: /levintreesearch_cm/jobsched/test raco setup: in /levintreesearch_cm/jobsched/test raco setup: making: /levintreesearch_cm/lts-cm raco setup: in /levintreesearch_cm/lts-cm raco setup: in /safe-case raco setup: in /levintreesearch_cm/timev raco setup: in /text-block raco setup: in /levintreesearch_cm/lts-cm/scribblings raco setup: making: /levintreesearch_cm/lts-cm/domains raco setup: making: /levintreesearch_cm/lts-cm/domains/rubiks-cube raco setup: in /levintreesearch_cm/lts-cm/domains/rubiks-cube raco setup: making: /levintreesearch_cm/lts-cm/domains/rubiks-cube/data raco setup: making: /levintreesearch_cm/lts-cm/domains/sokoban raco setup: in /levintreesearch_cm/lts-cm/domains/sokoban raco setup: making: /levintreesearch_cm/lts-cm/domains/sokoban/data raco setup: making: /levintreesearch_cm/lts-cm/domains/stp raco setup: in /levintreesearch_cm/lts-cm/domains/stp raco setup: making: /levintreesearch_cm/lts-cm/domains/stp/data raco setup: making: /levintreesearch_cm/lts-cm/domains/witness raco setup: in /levintreesearch_cm/lts-cm/domains/witness raco setup: making: /levintreesearch_cm/lts-cm/domains/witness/data raco setup: making: /levintreesearch_cm/lts-cm/img raco setup: making: /levintreesearch_cm/lts-cm/scribblings raco setup: making: /levintreesearch_cm/lts-cm/scribblings/img raco setup: making: /levintreesearch_cm/timev raco setup: in /levintreesearch_cm/timev raco setup: in /levintreesearch_cm/timev/scribblings raco setup: making: /levintreesearch_cm/timev/scribblings raco setup: making: /safe-case raco setup: in /safe-case raco setup: in /safe-case/scribblings raco setup: making: /safe-case/img raco setup: making: /safe-case/scribblings raco setup: making: /text-block raco setup: in /text-block raco setup: in /text-block/scribblings raco setup: making: /text-block/examples raco setup: in /text-block/examples raco setup: making: /text-block/img raco setup: making: /text-block/scribblings raco setup: making: /text-block/tests raco setup: in /text-block/tests raco setup: making: /text-table raco setup: in /text-table raco setup: in /text-table/scribblings raco setup: making: /text-table/scribblings raco setup: making: /text-table/tests raco setup: in /text-table/tests raco setup: --- creating launchers --- [1:59:23] raco setup: --- installing man pages --- [1:59:23] raco setup: --- building documentation --- [1:59:23] raco setup: syncing: /define2/doc/define2 raco setup: syncing: /global/doc/global raco setup: syncing: /levintreesearch_cm/jobsched/doc/jobsched raco setup: running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: syncing: /levintreesearch_cm/lts-cm/doc/lts-cm raco setup: running: /racket-index/scribblings/main/user/release.scrbl raco setup: syncing: /safe-case/doc/safe-case raco setup: running: /racket-index/scribblings/main/user/search.scrbl raco setup: running: /racket-index/scribblings/main/user/start.scrbl raco setup: syncing: /text-block/doc/text-block raco setup: syncing: /text-table/doc/text-table raco setup: syncing: /levintreesearch_cm/timev/doc/timev raco setup: rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [1:59:45] raco setup: --- post-installing collections --- [1:59:45] raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/info.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/jobsched/fun-call.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/jobsched/info.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/jobsched/job.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/jobsched/main.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/jobsched/scribblings/jobsched.scrbl") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/jobsched/server.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/jobsched/test/test-close-workers.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/jobsched/test/test-early-output.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/jobsched/test/test-return-void.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/jobsched/utils.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/jobsched/worker.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/beta-matrix.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/bfs.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/byte-board.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/cdb.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/collector.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/date.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/delta-secant.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/rubiks-cube/gui.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/rubiks-cube/pict.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/rubiks-cube/rubiks-cube.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/rubiks-cube/server.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/sokoban/gui.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/sokoban/pict.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/sokoban/server-long.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/sokoban/server.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/sokoban/sokoban.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/stp/gui.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/stp/pict.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/stp/server-easy.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/stp/server.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/stp/sliding-tile.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/witness/gui.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/witness/pict.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/witness/server-test.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/witness/server.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/witness/witness.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/encode.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/flonum.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/future.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/gui.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/info.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/log-file.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/main.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/misc.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/optimize.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/pict.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/policy.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/scribblings/lts-cm.scrbl") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/server-chain.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/server.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/show-world.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/verbose.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/worker.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/timev/info.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/timev/main.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/timev/scribblings/timev.scrbl") 300 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/stp/sliding-tile.rkt 25 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/encode.rkt 20 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/sokoban/sokoban.rkt 15 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/rubiks-cube/rubiks-cube.rkt 15 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/misc.rkt 14 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/jobsched/test/test-close-workers.rkt 6 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/witness/witness.rkt 4 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/timev/main.rkt 3 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/future.rkt 2 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/delta-secant.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/jobsched/test/test-early-output.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/jobsched/test/test-return-void.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/info.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/jobsched/fun-call.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/jobsched/info.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/jobsched/job.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/jobsched/main.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/jobsched/scribblings/jobsched.scrbl 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/jobsched/server.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/jobsched/utils.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/jobsched/worker.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/beta-matrix.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/bfs.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/byte-board.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/cdb.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/collector.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/date.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/rubiks-cube/gui.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/rubiks-cube/pict.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/rubiks-cube/server.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/sokoban/gui.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/sokoban/pict.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/sokoban/server-long.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/sokoban/server.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/stp/gui.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/stp/pict.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/stp/server-easy.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/stp/server.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/witness/gui.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/witness/pict.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/witness/server-test.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/domains/witness/server.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/flonum.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/gui.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/info.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/log-file.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/main.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/optimize.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/pict.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/policy.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/scribblings/lts-cm.scrbl 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/server-chain.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/server.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/show-world.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/verbose.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/lts-cm/worker.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/timev/info.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/levintreesearch_cm/timev/scribblings/timev.scrbl 406 tests passed The time is now Sunday, June 15th, 2025 9:02:37pm