The time is now Sunday, November 3rd, 2024 8:20:44pm (/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: DISPLAY=:1 DISPLAY=:1 PLTSTDOUT=debug@pkg info@GC:major /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 2 -u --auto SAT && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package SAT) Resolved "SAT" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "guannanwei@outlook.com") (checksum . "e0511c31bcf05369f8ef8c6b9a1483ba19db060c") (dependencies . (("base") ("rackunit-lib") ("scribble-lib") ("racket-doc"))) (description . "A simple SAT solver based on DPLL.") (modules . ((lib "SAT/scribblings/SAT.scrbl") (lib "SAT/lib/sat.rkt") (lib "SAT/main.rkt") (lib "SAT/lib/dplb.rkt") (lib "SAT/lib/utils.rkt") (lib "SAT/lib/dpll.rkt") (lib "SAT/test.rkt") (lib "SAT/lib/dpli.rkt") (lib "SAT/lib/parser.rkt") (lib "SAT/lib/dp.rkt"))) (name . "SAT") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/SAT.zip") (tags . ())) pkg: creating single-collection link to # pkg: updating db with "SAT" to '#s((sc-pkg-info pkg-info 3) (catalog "SAT") "e0511c31bcf05369f8ef8c6b9a1483ba19db060c" #f "SAT") raco setup: version: 8.15 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.15 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.15/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.15/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.15/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: main docs: /home/root/racket/doc raco setup: --- updating info-domain tables --- [20:20:46] raco setup: updating: /home/root/user/.local/share/racket/8.15/share/info-cache.rktd raco setup: --- pre-installing collections --- [20:20:46] raco setup: --- installing foreign libraries --- [20:20:46] raco setup: --- installing shared files --- [20:20:46] raco setup: --- compiling collections --- [20:20:46] raco setup: --- parallel build using 2 jobs --- [20:20:46] raco setup: 1 making: /SAT raco setup: --- creating launchers --- [20:20:48] raco setup: --- installing man pages --- [20:20:48] raco setup: --- building documentation --- [20:20:48] raco setup: syncing: /SAT/doc/SAT raco setup: 1 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/start.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [20:20:55] raco setup: --- post-installing collections --- [20:20:55] GC: 0:atexit peak 331,028K(+139,579K); alloc 4,775,254K; major 4; minor 327; 2273ms raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/SAT/info.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/SAT/lib/dp.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/SAT/lib/dplb.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/SAT/lib/dpli.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/SAT/lib/dpll.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/SAT/lib/parser.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/SAT/lib/sat.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/SAT/lib/utils.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/SAT/main.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/SAT/scribblings/SAT.scrbl") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/SAT/test.rkt") main.rkt: racket test: timeout after 90 seconds test.rkt: racket test: timeout after 90 seconds 2/2 test failures 0 /home/root//user/.local/share/racket/8.15/pkgs/SAT/info.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/SAT/lib/dp.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/SAT/lib/dplb.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/SAT/lib/dpli.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/SAT/lib/dpll.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/SAT/lib/parser.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/SAT/lib/sat.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/SAT/lib/utils.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/SAT/scribblings/SAT.scrbl 1 1 /home/root//user/.local/share/racket/8.15/pkgs/SAT/main.rkt 1 1 /home/root//user/.local/share/racket/8.15/pkgs/SAT/test.rkt GC: 0:atexit peak 97,633K(+38,862K); alloc 4,404,669K; major 1; minor 535; 311ms The time is now Sunday, November 3rd, 2024 8:22:29pm