Build:
- 0
2026-02-07 02:24.53: New job: test grenier.0.16, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29349/head (4f2fa027edb250485ecbaaa2294e5d5db9c38590)
on centos-10-ocaml-4.14/amd64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29349/head" && git reset --hard 4f2fa027
git fetch origin master
git merge --no-edit 340ee6fd1ff10d0fce25e21ba1caca9ed1cfec68
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:centos-10-ocaml-4.14@sha256:3a26ea6193563e80b38cdcdf14dcc1c84893ecf6ef61c786738211ee84cb72dc
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn grenier.0.16 0.16
RUN opam reinstall grenier.0.16; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"centos-10\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'grenier.0.16' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test grenier.0.16) || true
RUN opam reinstall --with-test --verbose grenier.0.16; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"centos-10\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'grenier.0.16' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2026-02-07 02:24.53: Using cache hint "ocaml/opam:centos-10-ocaml-4.14@sha256:3a26ea6193563e80b38cdcdf14dcc1c84893ecf6ef61c786738211ee84cb72dc-grenier.0.16-4f2fa027edb250485ecbaaa2294e5d5db9c38590"
2026-02-07 02:24.53: Using OBuilder spec:
((from ocaml/opam:centos-10-ocaml-4.14@sha256:3a26ea6193563e80b38cdcdf14dcc1c84893ecf6ef61c786738211ee84cb72dc)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMPRECISETRACKING 1)
(env CI true)
(env OPAM_REPO_CI true)
(run (shell "rm -rf opam-repository/"))
(copy (src .) (dst opam-repository/))
(run (shell "opam repository set-url --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn grenier.0.16 0.16"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall grenier.0.16;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"centos-10\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'grenier.0.16' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test grenier.0.16) || true"))
(run (shell "opam reinstall --with-test --verbose grenier.0.16;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"centos-10\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'grenier.0.16' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-02-07 02:24.53: Waiting for resource in pool OCluster
2026-02-07 02:24.53: Waiting for worker…
2026-02-07 02:24.55: Got resource from pool OCluster
Building on eumache
All commits already cached
HEAD is now at 340ee6fd1f Merge pull request #29341 from Halbaroth/release-alt-ergo-free-2.4.3
Updating 340ee6fd1f..4f2fa027ed
Fast-forward
packages/grenier/grenier.0.16/opam | 39 ++++++++++++++++++++++++++++++++++++++
1 file changed, 39 insertions(+)
create mode 100644 packages/grenier/grenier.0.16/opam
(from ocaml/opam:centos-10-ocaml-4.14@sha256:3a26ea6193563e80b38cdcdf14dcc1c84893ecf6ef61c786738211ee84cb72dc)
2026-02-07 02:26.05 ---> saved as "6342414fddbf8e9db86aa6c905746fbd727699f9ab15ba6270762688e1b343ce"
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2026-02-07 02:26.05 ---> saved as "ec8de56357138b89626523aa310aa41881c93e97efa5e49c40ea1c03e65d7c85"
/home/opam: (run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [Y/n] y
[NOTE] The 'jobs' option was reset, its value was 255 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
opam option jobs=255 --global
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-02-07 02:26.33 ---> saved as "98e141f936359e01895c4a45c73b154d243fea0ef4748e4f59bbd214df004323"
/home/opam: (run (shell "opam option solver=builtin-0install && opam config report"))
Set to 'builtin-0install' the field solver in global configuration
# opam config report
# opam-version 2.5.0
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=centos os-version=10
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 71
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 4.14
# invariant ["ocaml-base-compiler" {= "4.14.2"}]
# compiler-packages ocaml-base-compiler.4.14.2, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/4.14/lib/ocaml/stublibs:/home/opam/.opam/4.14/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 4.14.2
2026-02-07 02:26.36 ---> saved as "a6ca5fe7d2723bc416665fd1f011a3ae35595f134719ae5fb7f88fbd2141e5c3"
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/home/opam: (env OPAMPRECISETRACKING 1)
/home/opam: (env CI true)
/home/opam: (env OPAM_REPO_CI true)
/home/opam: (run (shell "rm -rf opam-repository/"))
2026-02-07 02:26.44 ---> saved as "91c5a10cc5e4f5e6b3ac1cff617fa86452b1145beed3be5d4bb80e4e349683fc"
/home/opam: (copy (src .) (dst opam-repository/))
2026-02-07 02:26.54 ---> saved as "7f265d7ef73ca1d1f92d6d3b830416199ce49b91bf4934136c7c8390fe7bc57a"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-02-07 02:27.12 ---> saved as "276976cdc6858d97508c34e7425c614f383f11f7cde39623f8f7aa766a4822bd"
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "yum" "makecache"
- CentOS Stream 10 - BaseOS 109 kB/s | 14 kB 00:00
- CentOS Stream 10 - BaseOS 7.8 MB/s | 6.9 MB 00:00
- CentOS Stream 10 - AppStream 114 kB/s | 15 kB 00:00
- CentOS Stream 10 - AppStream 7.6 MB/s | 3.5 MB 00:00
- CentOS Stream 10 - CRB 109 kB/s | 14 kB 00:00
- CentOS Stream 10 - CRB 2.9 MB/s | 798 kB 00:00
- CentOS Stream 10 - Extras packages 122 kB/s | 16 kB 00:00
- Metadata cache created.
2026-02-07 02:27.19 ---> saved as "7eb3ecc155308566d1814160239633f38fd1d908b4d593ba6e0bdfc6a3735950"
/home/opam: (run (shell "opam pin add -k version -yn grenier.0.16 0.16"))
grenier is now pinned to version 0.16
2026-02-07 02:27.20 ---> saved as "f593bc70b21535d562278a45fbf7cbb67e4b602cf27466ee472355467d6e1264"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall grenier.0.16;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"centos-10\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'grenier.0.16' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
grenier.0.16 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 2 packages
- install dune 3.21.0 [required by grenier]
- install grenier 0.16 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.21.0 (cached)
-> retrieved grenier.0.16 (cached)
-> installed dune.3.21.0
-> installed grenier.0.16
Done.
# To update the current shell environment, run: eval $(opam env)
2026-02-07 02:27.50 ---> saved as "27a926dac95c113a7e7f9bd7d2bbf497a5ae61c8800fcadddba983dfb4b9a6db"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test grenier.0.16) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile grenier 0.16 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> removed grenier.0.16
-> installed grenier.0.16
Done.
# To update the current shell environment, run: eval $(opam env)
2026-02-07 02:27.56 ---> saved as "352da0953226b48fe521a07b2a8ed82992760024716356ce8191de90370e6a0e"
/home/opam: (run (shell "opam reinstall --with-test --verbose grenier.0.16;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"centos-10\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'grenier.0.16' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
The following actions will be performed:
=== recompile 1 package
- recompile grenier 0.16 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 2/4: [grenier: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "grenier" "-j" "71" (CWD=/home/opam/.opam/4.14/.opam-switch/build/grenier.0.16)
Processing 2/4: [grenier: dune runtest]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "runtest" "-p" "grenier" "-j" "71" (CWD=/home/opam/.opam/4.14/.opam-switch/build/grenier.0.16)
- (cd _build/default/doubledouble && ./test_io.exe)
- 1.0 = 1.0? true
- 0.0 = 0.0? true
- 999999999999.0 = 999999999999.0? true
- 99999999999999.0 = 99999999999999.0? true
- 9999999999999999.0 = 9999999999999999.0? true
- -3.79363639 = -3.79363639? true
- -3.7936363900000000000000000 = -3.7936363900000000000000000? true
- 0.034 = 0.034? true
- 1050.0 = 1050.0? true
- 0.34000000000000002442490654175344 = 0.34000000000000002442490654175344? true
- 0.34 = 0.34? true
- 14.0 = 14.0? true
- (cd _build/default/doubledouble && ./test_compute.exe)
- 3.1415926535897932384626433832794
- 3.1415926535897932384626433832795
- 0.0000000000000000000000000000000739557
- (cd _build/default/valmari/test && ./test.exe Lex.dfa) > _build/default/valmari/test/Lex.expected
- state_count:4 transition_count:40 initial_state:0 final_state_count:3
- (cd _build/default/valmari/test && ./test.exe Sample.dfa) > _build/default/valmari/test/Sample.expected
- state_count:5 transition_count:6 initial_state:0 final_state_count:2
- (cd _build/default/state_elimination/test && ./test.exe Lex.dfa) > _build/default/state_elimination/test/Lex.expected
- state_count:4 transition_count:40 initial_state:0 final_state_count:3
- (cd _build/default/state_elimination/test && ./test.exe Sample.dfa) > _build/default/state_elimination/test/Sample.expected
- state_count:5 transition_count:6 initial_state:0 final_state_count:2
- (cd _build/default/hll && ./test.exe)
- counting 100000 elements using HLL with 5.00% error rate (seed = 256751028598560813)
- estimated cardinal: 94559.94 (error: 5.75%)
- counting 2000000 elements using HLL with 5.00% error rate (seed = 9125440806729563488)
- estimated cardinal: 2085665.70 (error: 4.28%)
- counting 100000 elements using HLL with 0.10% error rate (seed = 1442061118675131575)
- estimated cardinal: 100007.39 (error: 0.01%)
- counting 2000000 elements using HLL with 0.10% error rate (seed = 5564153383264232729)
- estimated cardinal: 2010834.76 (error: 0.54%)
- (cd _build/default/orderme && ./test_order.exe)
- Order_list check time: 0.01
- Order_managed_list check time: 0.01
- Order_indir check time: 0.01
- Order_managed_indir check time: 0.01
- Testing Order_list
- Order_list: Pass 1/80 succeded, 1 elements
- Order_list: Pass 2/80 succeded, 1 elements
- Order_list: Pass 3/80 succeded, 1 elements
- Order_list: Pass 4/80 succeded, 1 elements
- Order_list: Pass 5/80 succeded, 1 elements
- Order_list: Pass 6/80 succeded, 1 elements
- Order_list: Pass 7/80 succeded, 1 elements
- Order_list: Pass 8/80 succeded, 0 elements
- Order_list: Pass 9/80 succeded, 1 elements
- Order_list: Pass 10/80 succeded, 1 elements
- Order_list: Pass 11/80 succeded, 1 elements
- Order_list: Pass 12/80 succeded, 0 elements
- Order_list: Pass 13/80 succeded, 1 elements
- Order_list: Pass 14/80 succeded, 1 elements
- Order_list: Pass 15/80 succeded, 1 elements
- Order_list: Pass 16/80 succeded, 1 elements
- Order_list: Pass 17/80 succeded, 2 elements
- Order_list: Pass 18/80 succeded, 3 elements
- Order_list: Pass 19/80 succeded, 4 elements
- Order_list: Pass 20/80 succeded, 6 elements
- Order_list: Pass 21/80 succeded, 7 elements
- Order_list: Pass 22/80 succeded, 7 elements
- Order_list: Pass 23/80 succeded, 8 elements
- Order_list: Pass 24/80 succeded, 10 elements
- Order_list: Pass 25/80 succeded, 10 elements
- Order_list: Pass 26/80 succeded, 9 elements
- Order_list: Pass 27/80 succeded, 9 elements
- Order_list: Pass 28/80 succeded, 8 elements
- Order_list: Pass 29/80 succeded, 11 elements
- Order_list: Pass 30/80 succeded, 13 elements
- Order_list: Pass 31/80 succeded, 17 elements
- Order_list: Pass 32/80 succeded, 22 elements
- Order_list: Pass 33/80 succeded, 28 elements
- Order_list: Pass 34/80 succeded, 35 elements
- Order_list: Pass 35/80 succeded, 40 elements
- Order_list: Pass 36/80 succeded, 46 elements
- Order_list: Pass 37/80 succeded, 53 elements
- Order_list: Pass 38/80 succeded, 66 elements
- Order_list: Pass 39/80 succeded, 69 elements
- Order_list: Pass 40/80 succeded, 77 elements
- Order_list: Pass 41/80 succeded, 88 elements
- Order_list: Pass 42/80 succeded, 99 elements
- Order_list: Pass 43/80 succeded, 106 elements
- Order_list: Pass 44/80 succeded, 119 elements
- Order_list: Pass 45/80 succeded, 130 elements
- Order_list: Pass 46/80 succeded, 151 elements
- Order_list: Pass 47/80 succeded, 185 elements
- Order_list: Pass 48/80 succeded, 202 elements
- Order_list: Pass 49/80 succeded, 230 elements
- Order_list: Pass 50/80 succeded, 271 elements
- Order_list: Pass 51/80 succeded, 299 elements
- Order_list: Pass 52/80 succeded, 340 elements
- Order_list: Pass 53/80 succeded, 376 elements
- Order_list: Pass 54/80 succeded, 440 elements
- Order_list: Pass 55/80 succeded, 510 elements
- Order_list: Pass 56/80 succeded, 598 elements
- Order_list: Pass 57/80 succeded, 706 elements
- Order_list: Pass 58/80 succeded, 793 elements
- Order_list: Pass 59/80 succeded, 904 elements
- Order_list: Pass 60/80 succeded, 1013 elements
- Order_list: Pass 61/80 succeded, 1149 elements
- Order_list: Pass 62/80 succeded, 1309 elements
- Order_list: Pass 63/80 succeded, 1482 elements
- Order_list: Pass 64/80 succeded, 1628 elements
- Order_list: Pass 65/80 succeded, 1802 elements
- Order_list: Pass 66/80 succeded, 2049 elements
- Order_list: Pass 67/80 succeded, 2345 elements
- Order_list: Pass 68/80 succeded, 2630 elements
- Order_list: Pass 69/80 succeded, 2964 elements
- Order_list: Pass 70/80 succeded, 3353 elements
- Order_list: Pass 71/80 succeded, 3757 elements
- Order_list: Pass 72/80 succeded, 4210 elements
- Order_list: Pass 73/80 succeded, 4694 elements
- Order_list: Pass 74/80 succeded, 5237 elements
- Order_list: Pass 75/80 succeded, 5897 elements
- Order_list: Pass 76/80 succeded, 6571 elements
- Order_list: Pass 77/80 succeded, 7346 elements
- Order_list: Pass 78/80 succeded, 8206 elements
- Order_list: Pass 79/80 succeded, 9268 elements
- Order_list: Pass 80/80 succeded, 10517 elements
- Testing Order_managed_list
- Order_managed_list: Pass 1/80 succeded, 1 elements active, 1 allocated
- Order_managed_list: Pass 2/80 succeded, 1 elements active, 1 allocated
- Order_managed_list: Pass 3/80 succeded, 1 elements active, 2 allocated
- Order_managed_list: Pass 4/80 succeded, 1 elements active, 2 allocated
- Order_managed_list: Pass 5/80 succeded, 1 elements active, 3 allocated
- Order_managed_list: Pass 6/80 succeded, 1 elements active, 4 allocated
- Order_managed_list: Pass 7/80 succeded, 1 elements active, 4 allocated
- Order_managed_list: Pass 8/80 succeded, 0 elements active, 0 allocated
- Order_managed_list: Pass 9/80 succeded, 1 elements active, 2 allocated
- Order_managed_list: Pass 10/80 succeded, 1 elements active, 2 allocated
- Order_managed_list: Pass 11/80 succeded, 1 elements active, 2 allocated
- Order_managed_list: Pass 12/80 succeded, 0 elements active, 0 allocated
- Order_managed_list: Pass 13/80 succeded, 1 elements active, 1 allocated
- Order_managed_list: Pass 14/80 succeded, 1 elements active, 1 allocated
- Order_managed_list: Pass 15/80 succeded, 1 elements active, 2 allocated
- Order_managed_list: Pass 16/80 succeded, 1 elements active, 2 allocated
- Order_managed_list: Pass 17/80 succeded, 2 elements active, 3 allocated
- Order_managed_list: Pass 18/80 succeded, 3 elements active, 5 allocated
- Order_managed_list: Pass 19/80 succeded, 4 elements active, 7 allocated
- Order_managed_list: Pass 20/80 succeded, 6 elements active, 10 allocated
- Order_managed_list: Pass 21/80 succeded, 7 elements active, 13 allocated
- Order_managed_list: Pass 22/80 succeded, 7 elements active, 18 allocated
- Order_managed_list: Pass 23/80 succeded, 8 elements active, 23 allocated
- Order_managed_list: Pass 24/80 succeded, 10 elements active, 29 allocated
- Order_managed_list: Pass 25/80 succeded, 10 elements active, 35 allocated
- Order_managed_list: Pass 26/80 succeded, 9 elements active, 39 allocated
- Order_managed_list: Pass 27/80 succeded, 9 elements active, 42 allocated
- Order_managed_list: Pass 28/80 succeded, 8 elements active, 47 allocated
- Order_managed_list: Pass 29/80 succeded, 11 elements active, 50 allocated
- Order_managed_list: Pass 30/80 succeded, 13 elements active, 55 allocated
- Order_managed_list: Pass 31/80 succeded, 17 elements active, 63 allocated
- Order_managed_list: Pass 32/80 succeded, 22 elements active, 73 allocated
- Order_managed_list: Pass 33/80 succeded, 28 elements active, 86 allocated
- Order_managed_list: Pass 34/80 succeded, 35 elements active, 101 allocated
- Order_managed_list: Pass 35/80 succeded, 40 elements active, 122 allocated
- Order_managed_list: Pass 36/80 succeded, 46 elements active, 144 allocated
- Order_managed_list: Pass 37/80 succeded, 53 elements active, 163 allocated
- Order_managed_list: Pass 38/80 succeded, 66 elements active, 194 allocated
- Order_managed_list: Pass 39/80 succeded, 69 elements active, 224 allocated
- Order_managed_list: Pass 40/80 succeded, 77 elements active, 257 allocated
- Order_managed_list: Pass 41/80 succeded, 88 elements active, 299 allocated
- Order_managed_list: Pass 42/80 succeded, 99 elements active, 342 allocated
- Order_managed_list: Pass 43/80 succeded, 106 elements active, 390 allocated
- Order_managed_list: Pass 44/80 succeded, 119 elements active, 436 allocated
- Order_managed_list: Pass 45/80 succeded, 130 elements active, 494 allocated
- Order_managed_list: Pass 46/80 succeded, 151 elements active, 564 allocated
- Order_managed_list: Pass 47/80 succeded, 185 elements active, 650 allocated
- Order_managed_list: Pass 48/80 succeded, 202 elements active, 748 allocated
- Order_managed_list: Pass 49/80 succeded, 230 elements active, 853 allocated
- Order_managed_list: Pass 50/80 succeded, 271 elements active, 970 allocated
- Order_managed_list: Pass 51/80 succeded, 299 elements active, 1093 allocated
- Order_managed_list: Pass 52/80 succeded, 340 elements active, 1250 allocated
- Order_managed_list: Pass 53/80 succeded, 376 elements active, 1410 allocated
- Order_managed_list: Pass 54/80 succeded, 440 elements active, 1609 allocated
- Order_managed_list: Pass 55/80 succeded, 510 elements active, 1837 allocated
- Order_managed_list: Pass 56/80 succeded, 598 elements active, 2100 allocated
- Order_managed_list: Pass 57/80 succeded, 706 elements active, 2417 allocated
- Order_managed_list: Pass 58/80 succeded, 793 elements active, 2778 allocated
- Order_managed_list: Pass 59/80 succeded, 904 elements active, 3167 allocated
- Order_managed_list: Pass 60/80 succeded, 1013 elements active, 3632 allocated
- Order_managed_list: Pass 61/80 succeded, 1149 elements active, 4157 allocated
- Order_managed_list: Pass 62/80 succeded, 1309 elements active, 4729 allocated
- Order_managed_list: Pass 63/80 succeded, 1482 elements active, 5381 allocated
- Order_managed_list: Pass 64/80 succeded, 1628 elements active, 6107 allocated
- Order_managed_list: Pass 65/80 succeded, 1802 elements active, 6893 allocated
- Order_managed_list: Pass 66/80 succeded, 2049 elements active, 7814 allocated
- Order_managed_list: Pass 67/80 succeded, 2345 elements active, 8851 allocated
- Order_managed_list: Pass 68/80 succeded, 2630 elements active, 10031 allocated
- Order_managed_list: Pass 69/80 succeded, 2964 elements active, 11382 allocated
- Order_managed_list: Pass 70/80 succeded, 3353 elements active, 12885 allocated
- Order_managed_list: Pass 71/80 succeded, 3757 elements active, 14516 allocated
- Order_managed_list: Pass 72/80 succeded, 4210 elements active, 16408 allocated
- Order_managed_list: Pass 73/80 succeded, 4694 elements active, 18469 allocated
- Order_managed_list: Pass 74/80 succeded, 5237 elements active, 20764 allocated
- Order_managed_list: Pass 75/80 succeded, 5897 elements active, 23406 allocated
- Order_managed_list: Pass 76/80 succeded, 6571 elements active, 26326 allocated
- Order_managed_list: Pass 77/80 succeded, 7346 elements active, 29629 allocated
- Order_managed_list: Pass 78/80 succeded, 8206 elements active, 33308 allocated
- Order_managed_list: Pass 79/80 succeded, 9268 elements active, 37393 allocated
- Order_managed_list: Pass 80/80 succeded, 10517 elements active, 42058 allocated
- Testing Order_indir
- Order_indir: Pass 1/80 succeded, 1 elements
- Order_indir: Pass 2/80 succeded, 1 elements
- Order_indir: Pass 3/80 succeded, 1 elements
- Order_indir: Pass 4/80 succeded, 1 elements
- Order_indir: Pass 5/80 succeded, 1 elements
- Order_indir: Pass 6/80 succeded, 1 elements
- Order_indir: Pass 7/80 succeded, 1 elements
- Order_indir: Pass 8/80 succeded, 0 elements
- Order_indir: Pass 9/80 succeded, 1 elements
- Order_indir: Pass 10/80 succeded, 1 elements
- Order_indir: Pass 11/80 succeded, 1 elements
- Order_indir: Pass 12/80 succeded, 0 elements
- Order_indir: Pass 13/80 succeded, 1 elements
- Order_indir: Pass 14/80 succeded, 1 elements
- Order_indir: Pass 15/80 succeded, 1 elements
- Order_indir: Pass 16/80 succeded, 1 elements
- Order_indir: Pass 17/80 succeded, 2 elements
- Order_indir: Pass 18/80 succeded, 3 elements
- Order_indir: Pass 19/80 succeded, 4 elements
- Order_indir: Pass 20/80 succeded, 6 elements
- Order_indir: Pass 21/80 succeded, 7 elements
- Order_indir: Pass 22/80 succeded, 7 elements
- Order_indir: Pass 23/80 succeded, 8 elements
- Order_indir: Pass 24/80 succeded, 10 elements
- Order_indir: Pass 25/80 succeded, 10 elements
- Order_indir: Pass 26/80 succeded, 9 elements
- Order_indir: Pass 27/80 succeded, 9 elements
- Order_indir: Pass 28/80 succeded, 8 elements
- Order_indir: Pass 29/80 succeded, 11 elements
- Order_indir: Pass 30/80 succeded, 13 elements
- Order_indir: Pass 31/80 succeded, 17 elements
- Order_indir: Pass 32/80 succeded, 22 elements
- Order_indir: Pass 33/80 succeded, 28 elements
- Order_indir: Pass 34/80 succeded, 35 elements
- Order_indir: Pass 35/80 succeded, 40 elements
- Order_indir: Pass 36/80 succeded, 46 elements
- Order_indir: Pass 37/80 succeded, 53 elements
- Order_indir: Pass 38/80 succeded, 66 elements
- Order_indir: Pass 39/80 succeded, 69 elements
- Order_indir: Pass 40/80 succeded, 77 elements
- Order_indir: Pass 41/80 succeded, 88 elements
- Order_indir: Pass 42/80 succeded, 99 elements
- Order_indir: Pass 43/80 succeded, 106 elements
- Order_indir: Pass 44/80 succeded, 119 elements
- Order_indir: Pass 45/80 succeded, 130 elements
- Order_indir: Pass 46/80 succeded, 151 elements
- Order_indir: Pass 47/80 succeded, 185 elements
- Order_indir: Pass 48/80 succeded, 202 elements
- Order_indir: Pass 49/80 succeded, 230 elements
- Order_indir: Pass 50/80 succeded, 271 elements
- Order_indir: Pass 51/80 succeded, 299 elements
- Order_indir: Pass 52/80 succeded, 340 elements
- Order_indir: Pass 53/80 succeded, 376 elements
- Order_indir: Pass 54/80 succeded, 440 elements
- Order_indir: Pass 55/80 succeded, 510 elements
- Order_indir: Pass 56/80 succeded, 598 elements
- Order_indir: Pass 57/80 succeded, 706 elements
- Order_indir: Pass 58/80 succeded, 793 elements
- Order_indir: Pass 59/80 succeded, 904 elements
- Order_indir: Pass 60/80 succeded, 1013 elements
- Order_indir: Pass 61/80 succeded, 1149 elements
- Order_indir: Pass 62/80 succeded, 1309 elements
- Order_indir: Pass 63/80 succeded, 1482 elements
- Order_indir: Pass 64/80 succeded, 1628 elements
- Order_indir: Pass 65/80 succeded, 1802 elements
- Order_indir: Pass 66/80 succeded, 2049 elements
- Order_indir: Pass 67/80 succeded, 2345 elements
- Order_indir: Pass 68/80 succeded, 2630 elements
- Order_indir: Pass 69/80 succeded, 2964 elements
- Order_indir: Pass 70/80 succeded, 3353 elements
- Order_indir: Pass 71/80 succeded, 3757 elements
- Order_indir: Pass 72/80 succeded, 4210 elements
- Order_indir: Pass 73/80 succeded, 4694 elements
- Order_indir: Pass 74/80 succeded, 5237 elements
- Order_indir: Pass 75/80 succeded, 5897 elements
- Order_indir: Pass 76/80 succeded, 6571 elements
- Order_indir: Pass 77/80 succeded, 7346 elements
- Order_indir: Pass 78/80 succeded, 8206 elements
- Order_indir: Pass 79/80 succeded, 9268 elements
- Order_indir: Pass 80/80 succeded, 10517 elements
- Testing Order_managed_indir
- Order_managed_indir: Pass 1/80 succeded, 1 elements active, 1 allocated
- Order_managed_indir: Pass 2/80 succeded, 1 elements active, 1 allocated
- Order_managed_indir: Pass 3/80 succeded, 1 elements active, 2 allocated
- Order_managed_indir: Pass 4/80 succeded, 1 elements active, 2 allocated
- Order_managed_indir: Pass 5/80 succeded, 1 elements active, 3 allocated
- Order_managed_indir: Pass 6/80 succeded, 1 elements active, 4 allocated
- Order_managed_indir: Pass 7/80 succeded, 1 elements active, 4 allocated
- Order_managed_indir: Pass 8/80 succeded, 0 elements active, 0 allocated
- Order_managed_indir: Pass 9/80 succeded, 1 elements active, 2 allocated
- Order_managed_indir: Pass 10/80 succeded, 1 elements active, 2 allocated
- Order_managed_indir: Pass 11/80 succeded, 1 elements active, 2 allocated
- Order_managed_indir: Pass 12/80 succeded, 0 elements active, 0 allocated
- Order_managed_indir: Pass 13/80 succeded, 1 elements active, 1 allocated
- Order_managed_indir: Pass 14/80 succeded, 1 elements active, 1 allocated
- Order_managed_indir: Pass 15/80 succeded, 1 elements active, 2 allocated
- Order_managed_indir: Pass 16/80 succeded, 1 elements active, 2 allocated
- Order_managed_indir: Pass 17/80 succeded, 2 elements active, 3 allocated
- Order_managed_indir: Pass 18/80 succeded, 3 elements active, 5 allocated
- Order_managed_indir: Pass 19/80 succeded, 4 elements active, 7 allocated
- Order_managed_indir: Pass 20/80 succeded, 6 elements active, 10 allocated
- Order_managed_indir: Pass 21/80 succeded, 7 elements active, 13 allocated
- Order_managed_indir: Pass 22/80 succeded, 7 elements active, 18 allocated
- Order_managed_indir: Pass 23/80 succeded, 8 elements active, 23 allocated
- Order_managed_indir: Pass 24/80 succeded, 10 elements active, 29 allocated
- Order_managed_indir: Pass 25/80 succeded, 10 elements active, 35 allocated
- Order_managed_indir: Pass 26/80 succeded, 9 elements active, 39 allocated
- Order_managed_indir: Pass 27/80 succeded, 9 elements active, 42 allocated
- Order_managed_indir: Pass 28/80 succeded, 8 elements active, 47 allocated
- Order_managed_indir: Pass 29/80 succeded, 11 elements active, 50 allocated
- Order_managed_indir: Pass 30/80 succeded, 13 elements active, 55 allocated
- Order_managed_indir: Pass 31/80 succeded, 17 elements active, 63 allocated
- Order_managed_indir: Pass 32/80 succeded, 22 elements active, 73 allocated
- Order_managed_indir: Pass 33/80 succeded, 28 elements active, 86 allocated
- Order_managed_indir: Pass 34/80 succeded, 35 elements active, 101 allocated
- Order_managed_indir: Pass 35/80 succeded, 40 elements active, 122 allocated
- Order_managed_indir: Pass 36/80 succeded, 46 elements active, 144 allocated
- Order_managed_indir: Pass 37/80 succeded, 53 elements active, 163 allocated
- Order_managed_indir: Pass 38/80 succeded, 66 elements active, 194 allocated
- Order_managed_indir: Pass 39/80 succeded, 69 elements active, 224 allocated
- Order_managed_indir: Pass 40/80 succeded, 77 elements active, 257 allocated
- Order_managed_indir: Pass 41/80 succeded, 88 elements active, 299 allocated
- Order_managed_indir: Pass 42/80 succeded, 99 elements active, 342 allocated
- Order_managed_indir: Pass 43/80 succeded, 106 elements active, 390 allocated
- Order_managed_indir: Pass 44/80 succeded, 119 elements active, 436 allocated
- Order_managed_indir: Pass 45/80 succeded, 130 elements active, 494 allocated
- Order_managed_indir: Pass 46/80 succeded, 151 elements active, 564 allocated
- Order_managed_indir: Pass 47/80 succeded, 185 elements active, 650 allocated
- Order_managed_indir: Pass 48/80 succeded, 202 elements active, 748 allocated
- Order_managed_indir: Pass 49/80 succeded, 230 elements active, 853 allocated
- Order_managed_indir: Pass 50/80 succeded, 271 elements active, 970 allocated
- Order_managed_indir: Pass 51/80 succeded, 299 elements active, 1093 allocated
- Order_managed_indir: Pass 52/80 succeded, 340 elements active, 1250 allocated
- Order_managed_indir: Pass 53/80 succeded, 376 elements active, 1410 allocated
- Order_managed_indir: Pass 54/80 succeded, 440 elements active, 1609 allocated
- Order_managed_indir: Pass 55/80 succeded, 510 elements active, 1837 allocated
- Order_managed_indir: Pass 56/80 succeded, 598 elements active, 2100 allocated
- Order_managed_indir: Pass 57/80 succeded, 706 elements active, 2417 allocated
- Order_managed_indir: Pass 58/80 succeded, 793 elements active, 2778 allocated
- Order_managed_indir: Pass 59/80 succeded, 904 elements active, 3167 allocated
- Order_managed_indir: Pass 60/80 succeded, 1013 elements active, 3632 allocated
- Order_managed_indir: Pass 61/80 succeded, 1149 elements active, 4157 allocated
- Order_managed_indir: Pass 62/80 succeded, 1309 elements active, 4729 allocated
- Order_managed_indir: Pass 63/80 succeded, 1482 elements active, 5381 allocated
- Order_managed_indir: Pass 64/80 succeded, 1628 elements active, 6107 allocated
- Order_managed_indir: Pass 65/80 succeded, 1802 elements active, 6893 allocated
- Order_managed_indir: Pass 66/80 succeded, 2049 elements active, 7814 allocated
- Order_managed_indir: Pass 67/80 succeded, 2345 elements active, 8851 allocated
- Order_managed_indir: Pass 68/80 succeded, 2630 elements active, 10031 allocated
- Order_managed_indir: Pass 69/80 succeded, 2964 elements active, 11382 allocated
- Order_managed_indir: Pass 70/80 succeded, 3353 elements active, 12885 allocated
- Order_managed_indir: Pass 71/80 succeded, 3757 elements active, 14516 allocated
- Order_managed_indir: Pass 72/80 succeded, 4210 elements active, 16408 allocated
- Order_managed_indir: Pass 73/80 succeded, 4694 elements active, 18469 allocated
- Order_managed_indir: Pass 74/80 succeded, 5237 elements active, 20764 allocated
- Order_managed_indir: Pass 75/80 succeded, 5897 elements active, 23406 allocated
- Order_managed_indir: Pass 76/80 succeded, 6571 elements active, 26326 allocated
- Order_managed_indir: Pass 77/80 succeded, 7346 elements active, 29629 allocated
- Order_managed_indir: Pass 78/80 succeded, 8206 elements active, 33308 allocated
- Order_managed_indir: Pass 79/80 succeded, 9268 elements active, 37393 allocated
- Order_managed_indir: Pass 80/80 succeded, 10517 elements active, 42058 allocated
- (cd _build/default/binpacking && ./test.exe)
- packing 16 rects, allow rotation = false
- batch: packed = 16/16, occupancy = 3.36
- global: packed = 16/16, occupancy = 3.36
- simple: packed = 16/16, occupancy = 3.36
- packing 16 rects, allow rotation = true
- batch: packed = 16/16, occupancy = 7.20
- global: packed = 16/16, occupancy = 7.20
- simple: packed = 16/16, occupancy = 7.20
- packing 32 rects, allow rotation = false
- batch: packed = 32/32, occupancy = 11.33
- global: packed = 32/32, occupancy = 11.33
- simple: packed = 32/32, occupancy = 11.33
- packing 32 rects, allow rotation = true
- batch: packed = 32/32, occupancy = 11.76
- global: packed = 32/32, occupancy = 11.76
- simple: packed = 32/32, occupancy = 11.76
- packing 48 rects, allow rotation = false
- batch: packed = 48/48, occupancy = 18.37
- global: packed = 48/48, occupancy = 18.37
- simple: packed = 48/48, occupancy = 18.37
- packing 48 rects, allow rotation = true
- batch: packed = 48/48, occupancy = 16.32
- global: packed = 48/48, occupancy = 16.32
- simple: packed = 48/48, occupancy = 16.32
- packing 64 rects, allow rotation = false
- batch: packed = 64/64, occupancy = 20.20
- global: packed = 64/64, occupancy = 20.20
- simple: packed = 64/64, occupancy = 20.20
- packing 64 rects, allow rotation = true
- batch: packed = 64/64, occupancy = 21.04
- global: packed = 64/64, occupancy = 21.04
- simple: packed = 64/64, occupancy = 21.04
- packing 80 rects, allow rotation = false
- batch: packed = 80/80, occupancy = 30.65
- global: packed = 80/80, occupancy = 30.65
- simple: packed = 80/80, occupancy = 30.65
- packing 80 rects, allow rotation = true
- batch: packed = 80/80, occupancy = 30.91
- global: packed = 80/80, occupancy = 30.91
- simple: packed = 80/80, occupancy = 30.91
- packing 96 rects, allow rotation = false
- batch: packed = 96/96, occupancy = 27.23
- global: packed = 96/96, occupancy = 27.23
- simple: packed = 96/96, occupancy = 27.23
- packing 96 rects, allow rotation = true
- batch: packed = 96/96, occupancy = 37.44
- global: packed = 96/96, occupancy = 37.44
- simple: packed = 96/96, occupancy = 37.44
- packing 112 rects, allow rotation = false
- batch: packed = 112/112, occupancy = 36.71
- global: packed = 112/112, occupancy = 36.71
- simple: packed = 112/112, occupancy = 36.71
- packing 112 rects, allow rotation = true
- batch: packed = 112/112, occupancy = 45.80
- global: packed = 112/112, occupancy = 45.80
- simple: packed = 112/112, occupancy = 45.80
- packing 128 rects, allow rotation = false
- batch: packed = 128/128, occupancy = 43.70
- global: packed = 128/128, occupancy = 43.70
- simple: packed = 128/128, occupancy = 43.70
- packing 128 rects, allow rotation = true
- batch: packed = 128/128, occupancy = 51.24
- global: packed = 128/128, occupancy = 51.24
- simple: packed = 128/128, occupancy = 51.24
- packing 144 rects, allow rotation = false
- batch: packed = 144/144, occupancy = 48.91
- global: packed = 144/144, occupancy = 48.91
- simple: packed = 144/144, occupancy = 48.91
- packing 144 rects, allow rotation = true
- batch: packed = 144/144, occupancy = 56.57
- global: packed = 144/144, occupancy = 56.57
- simple: packed = 144/144, occupancy = 56.57
- packing 160 rects, allow rotation = false
- batch: packed = 160/160, occupancy = 53.47
- global: packed = 160/160, occupancy = 53.47
- simple: packed = 160/160, occupancy = 53.47
- packing 160 rects, allow rotation = true
- batch: packed = 160/160, occupancy = 56.00
- global: packed = 160/160, occupancy = 56.00
- simple: packed = 160/160, occupancy = 56.00
- packing 176 rects, allow rotation = false
- batch: packed = 176/176, occupancy = 63.06
- global: packed = 176/176, occupancy = 63.06
- simple: packed = 176/176, occupancy = 63.06
- packing 176 rects, allow rotation = true
- batch: packed = 176/176, occupancy = 64.48
- global: packed = 176/176, occupancy = 64.48
- simple: packed = 176/176, occupancy = 64.48
- packing 192 rects, allow rotation = false
- batch: packed = 192/192, occupancy = 69.06
- global: packed = 192/192, occupancy = 69.06
- simple: packed = 192/192, occupancy = 69.06
- packing 192 rects, allow rotation = true
- batch: packed = 192/192, occupancy = 79.90
- global: packed = 192/192, occupancy = 79.90
- simple: packed = 192/192, occupancy = 79.90
- packing 208 rects, allow rotation = false
- batch: packed = 208/208, occupancy = 76.96
- global: packed = 208/208, occupancy = 76.96
- simple: packed = 208/208, occupancy = 76.96
- packing 208 rects, allow rotation = true
- batch: packed = 208/208, occupancy = 71.06
- global: packed = 208/208, occupancy = 71.06
- simple: packed = 208/208, occupancy = 71.06
- packing 224 rects, allow rotation = false
- batch: packed = 224/224, occupancy = 79.69
- global: packed = 224/224, occupancy = 79.69
- simple: packed = 224/224, occupancy = 79.69
- packing 224 rects, allow rotation = true
- batch: packed = 224/224, occupancy = 79.43
- global: packed = 224/224, occupancy = 79.43
- simple: packed = 224/224, occupancy = 79.43
- packing 240 rects, allow rotation = false
- batch: packed = 240/240, occupancy = 75.47
- global: packed = 240/240, occupancy = 75.47
- simple: packed = 240/240, occupancy = 75.47
- packing 240 rects, allow rotation = true
- batch: packed = 240/240, occupancy = 85.55
- global: packed = 240/240, occupancy = 85.55
- simple: packed = 240/240, occupancy = 85.55
- packing 256 rects, allow rotation = false
- batch: packed = 246/256, occupancy = 81.35
- global: packed = 256/256, occupancy = 93.34
- simple: packed = 256/256, occupancy = 93.34
- packing 256 rects, allow rotation = true
- batch: packed = 251/256, occupancy = 85.20
- global: packed = 256/256, occupancy = 91.98
- simple: packed = 256/256, occupancy = 91.98
-> compiled grenier.0.16
-> removed grenier.0.16
-> installed grenier.0.16
Done.
# To update the current shell environment, run: eval $(opam env)
2026-02-07 02:28.02 ---> saved as "f147354b6ade699d60d3d0812a33d87f9dfb9325ead55090d87bc5285c07d10a"
Job succeeded
2026-02-07 02:28.06: Job succeeded