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-5.4/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-5.4@sha256:51f49547e65ef4d3d8475b6ef5bccdfe9c668fabb08098225c6800d767f2ff3d
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-5.4@sha256:51f49547e65ef4d3d8475b6ef5bccdfe9c668fabb08098225c6800d767f2ff3d-grenier.0.16-4f2fa027edb250485ecbaaa2294e5d5db9c38590"
2026-02-07 02:24.53: Using OBuilder spec:
((from ocaml/opam:centos-10-ocaml-5.4@sha256:51f49547e65ef4d3d8475b6ef5bccdfe9c668fabb08098225c6800d767f2ff3d)
 (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.54: Got resource from pool OCluster
Building on clete
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-5.4@sha256:51f49547e65ef4d3d8475b6ef5bccdfe9c668fabb08098225c6800d767f2ff3d)
2026-02-07 02:25.35 ---> saved as "7caf49bda565c8f976ec73fabc95a807dcc96c6c67b3390f78e0dc8f5e97302b"

/: (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:25.35 ---> saved as "b3e475305621062c8b85b1866089eb06c10eabce078d1568315c86d738736557"

/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.

Continue? [Y/n] y
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.

[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.03 ---> saved as "6e01452eb8922239897f29af9263dc1143a9a5374a534e9408b6e6530be66f36"

/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       5.4
# invariant            ["ocaml-base-compiler" {>= "5.4.0"}]
# compiler-packages    ocaml-base-compiler.5.4.0, ocaml-compiler.5.4.0, ocaml-options-vanilla.1
# ocaml:native         true
# ocaml:native-tools   true
# ocaml:native-dynlink true
# ocaml:stubsdir       /home/opam/.opam/5.4/lib/ocaml/stublibs:/home/opam/.opam/5.4/lib/ocaml
# ocaml:preinstalled   false
# ocaml:compiler       5.4.0
2026-02-07 02:26.04 ---> saved as "0a0cb1ee66b752638338068584f74281589def1c67beb732fabd40029e0f544f"

/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.15 ---> saved as "0437cf2fc465a9ae56c8b3f4dbd4a390cb20a9b499e3b4bdc0554f74c5a19821"

/home/opam: (copy (src .) (dst opam-repository/))
2026-02-07 02:26.24 ---> saved as "6290de6082f68f6b0586201f9c985831846ab1fbaa0cf6c75561a966373ed25e"

/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-02-07 02:26.47 ---> saved as "a577c6bd63eb6f129c44751d88ea4bd0dfef04ed3f37dc14ae9248bda72c2111"

/home/opam: (run (network host)
                 (shell "opam update --depexts || true"))
+ /usr/bin/sudo "yum" "makecache"
- CentOS Stream 10 - BaseOS                       107 kB/s |  14 kB     00:00    
- CentOS Stream 10 - BaseOS                       7.6 MB/s | 6.9 MB     00:00    
- CentOS Stream 10 - AppStream                    114 kB/s |  15 kB     00:00    
- CentOS Stream 10 - AppStream                    6.4 MB/s | 3.5 MB     00:00    
- CentOS Stream 10 - CRB                          117 kB/s |  14 kB     00:00    
- CentOS Stream 10 - CRB                          2.3 MB/s | 798 kB     00:00    
- CentOS Stream 10 - Extras packages               88 kB/s |  16 kB     00:00    
- Metadata cache created.
2026-02-07 02:26.54 ---> saved as "996b32d93f3ed60fbe1eb6529cb01691e96c1eb0fa04d33c3a84bee2aafd19f8"

/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:26.55 ---> saved as "e3df92ebf78cec8122f48d66bbff066ddd542cf8f7d5da17916fb61cfa227050"

/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.31 ---> saved as "f6514cad7eebc099c3eb88e0f9eb44006efa2ab5ba5ea728ded0f291291ac7e0"

/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.37 ---> saved as "fb0580a293cce28216e40e6b1a40c1ae9571d70ba504309e19f78ff47b2977e6"

/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/5.4/.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/5.4/.opam-switch/build/grenier.0.16)
- (cd _build/default/doubledouble && ./test_compute.exe)
- 3.1415926535897932384626433832794
- 3.1415926535897932384626433832795
- 0.0000000000000000000000000000000739557
- (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/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/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/hll && ./test.exe)
- counting 100000 elements using HLL with 5.00% error rate (seed = 1560135521585162446)
- estimated cardinal: 90400.01 (error: 10.62%)
- counting 2000000 elements using HLL with 5.00% error rate (seed = 8542725969539236566)
- estimated cardinal: 1605835.34 (error: 24.55%)
- counting 100000 elements using HLL with 0.10% error rate (seed = 938511641803526053)
- estimated cardinal: 100710.70 (error: 0.71%)
- counting 2000000 elements using HLL with 0.10% error rate (seed = 5231391390153656597)
- estimated cardinal: 1971820.10 (error: 1.43%)
- (cd _build/default/orderme && ./test_order.exe)
- Order_list check time: 0.01
- Order_managed_list check time: 0.03
- Order_indir check time: 0.01
- Order_managed_indir check time: 0.03
- 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, 2 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, 1 elements
- Order_list: Pass 9/80 succeded, 2 elements
- Order_list: Pass 10/80 succeded, 2 elements
- Order_list: Pass 11/80 succeded, 3 elements
- Order_list: Pass 12/80 succeded, 3 elements
- Order_list: Pass 13/80 succeded, 4 elements
- Order_list: Pass 14/80 succeded, 5 elements
- Order_list: Pass 15/80 succeded, 7 elements
- Order_list: Pass 16/80 succeded, 6 elements
- Order_list: Pass 17/80 succeded, 7 elements
- Order_list: Pass 18/80 succeded, 8 elements
- Order_list: Pass 19/80 succeded, 8 elements
- Order_list: Pass 20/80 succeded, 8 elements
- Order_list: Pass 21/80 succeded, 9 elements
- Order_list: Pass 22/80 succeded, 9 elements
- Order_list: Pass 23/80 succeded, 10 elements
- Order_list: Pass 24/80 succeded, 11 elements
- Order_list: Pass 25/80 succeded, 13 elements
- Order_list: Pass 26/80 succeded, 14 elements
- Order_list: Pass 27/80 succeded, 16 elements
- Order_list: Pass 28/80 succeded, 17 elements
- Order_list: Pass 29/80 succeded, 24 elements
- Order_list: Pass 30/80 succeded, 28 elements
- Order_list: Pass 31/80 succeded, 34 elements
- Order_list: Pass 32/80 succeded, 39 elements
- Order_list: Pass 33/80 succeded, 45 elements
- Order_list: Pass 34/80 succeded, 60 elements
- Order_list: Pass 35/80 succeded, 63 elements
- Order_list: Pass 36/80 succeded, 66 elements
- Order_list: Pass 37/80 succeded, 76 elements
- Order_list: Pass 38/80 succeded, 86 elements
- Order_list: Pass 39/80 succeded, 104 elements
- Order_list: Pass 40/80 succeded, 118 elements
- Order_list: Pass 41/80 succeded, 135 elements
- Order_list: Pass 42/80 succeded, 142 elements
- Order_list: Pass 43/80 succeded, 149 elements
- Order_list: Pass 44/80 succeded, 164 elements
- Order_list: Pass 45/80 succeded, 190 elements
- Order_list: Pass 46/80 succeded, 211 elements
- Order_list: Pass 47/80 succeded, 250 elements
- Order_list: Pass 48/80 succeded, 263 elements
- Order_list: Pass 49/80 succeded, 288 elements
- Order_list: Pass 50/80 succeded, 328 elements
- Order_list: Pass 51/80 succeded, 384 elements
- Order_list: Pass 52/80 succeded, 424 elements
- Order_list: Pass 53/80 succeded, 456 elements
- Order_list: Pass 54/80 succeded, 527 elements
- Order_list: Pass 55/80 succeded, 579 elements
- Order_list: Pass 56/80 succeded, 660 elements
- Order_list: Pass 57/80 succeded, 712 elements
- Order_list: Pass 58/80 succeded, 787 elements
- Order_list: Pass 59/80 succeded, 880 elements
- Order_list: Pass 60/80 succeded, 1019 elements
- Order_list: Pass 61/80 succeded, 1137 elements
- Order_list: Pass 62/80 succeded, 1266 elements
- Order_list: Pass 63/80 succeded, 1410 elements
- Order_list: Pass 64/80 succeded, 1614 elements
- Order_list: Pass 65/80 succeded, 1789 elements
- Order_list: Pass 66/80 succeded, 2014 elements
- Order_list: Pass 67/80 succeded, 2271 elements
- Order_list: Pass 68/80 succeded, 2585 elements
- Order_list: Pass 69/80 succeded, 2926 elements
- Order_list: Pass 70/80 succeded, 3255 elements
- Order_list: Pass 71/80 succeded, 3657 elements
- Order_list: Pass 72/80 succeded, 4138 elements
- Order_list: Pass 73/80 succeded, 4687 elements
- Order_list: Pass 74/80 succeded, 5261 elements
- Order_list: Pass 75/80 succeded, 5940 elements
- Order_list: Pass 76/80 succeded, 6686 elements
- Order_list: Pass 77/80 succeded, 7442 elements
- Order_list: Pass 78/80 succeded, 8316 elements
- Order_list: Pass 79/80 succeded, 9320 elements
- Order_list: Pass 80/80 succeded, 10564 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, 2 allocated
- Order_managed_list: Pass 3/80 succeded, 2 elements active, 3 allocated
- Order_managed_list: Pass 4/80 succeded, 1 elements active, 3 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, 1 elements active, 5 allocated
- Order_managed_list: Pass 9/80 succeded, 2 elements active, 6 allocated
- Order_managed_list: Pass 10/80 succeded, 2 elements active, 6 allocated
- Order_managed_list: Pass 11/80 succeded, 3 elements active, 8 allocated
- Order_managed_list: Pass 12/80 succeded, 3 elements active, 9 allocated
- Order_managed_list: Pass 13/80 succeded, 4 elements active, 11 allocated
- Order_managed_list: Pass 14/80 succeded, 5 elements active, 13 allocated
- Order_managed_list: Pass 15/80 succeded, 7 elements active, 15 allocated
- Order_managed_list: Pass 16/80 succeded, 6 elements active, 19 allocated
- Order_managed_list: Pass 17/80 succeded, 7 elements active, 23 allocated
- Order_managed_list: Pass 18/80 succeded, 8 elements active, 27 allocated
- Order_managed_list: Pass 19/80 succeded, 8 elements active, 31 allocated
- Order_managed_list: Pass 20/80 succeded, 8 elements active, 35 allocated
- Order_managed_list: Pass 21/80 succeded, 9 elements active, 39 allocated
- Order_managed_list: Pass 22/80 succeded, 9 elements active, 43 allocated
- Order_managed_list: Pass 23/80 succeded, 10 elements active, 46 allocated
- Order_managed_list: Pass 24/80 succeded, 11 elements active, 50 allocated
- Order_managed_list: Pass 25/80 succeded, 13 elements active, 57 allocated
- Order_managed_list: Pass 26/80 succeded, 14 elements active, 63 allocated
- Order_managed_list: Pass 27/80 succeded, 16 elements active, 69 allocated
- Order_managed_list: Pass 28/80 succeded, 17 elements active, 77 allocated
- Order_managed_list: Pass 29/80 succeded, 24 elements active, 87 allocated
- Order_managed_list: Pass 30/80 succeded, 28 elements active, 100 allocated
- Order_managed_list: Pass 31/80 succeded, 34 elements active, 118 allocated
- Order_managed_list: Pass 32/80 succeded, 39 elements active, 136 allocated
- Order_managed_list: Pass 33/80 succeded, 45 elements active, 152 allocated
- Order_managed_list: Pass 34/80 succeded, 60 elements active, 182 allocated
- Order_managed_list: Pass 35/80 succeded, 63 elements active, 210 allocated
- Order_managed_list: Pass 36/80 succeded, 66 elements active, 240 allocated
- Order_managed_list: Pass 37/80 succeded, 76 elements active, 276 allocated
- Order_managed_list: Pass 38/80 succeded, 86 elements active, 308 allocated
- Order_managed_list: Pass 39/80 succeded, 104 elements active, 356 allocated
- Order_managed_list: Pass 40/80 succeded, 118 elements active, 403 allocated
- Order_managed_list: Pass 41/80 succeded, 135 elements active, 466 allocated
- Order_managed_list: Pass 42/80 succeded, 142 elements active, 533 allocated
- Order_managed_list: Pass 43/80 succeded, 149 elements active, 604 allocated
- Order_managed_list: Pass 44/80 succeded, 164 elements active, 676 allocated
- Order_managed_list: Pass 45/80 succeded, 190 elements active, 758 allocated
- Order_managed_list: Pass 46/80 succeded, 211 elements active, 836 allocated
- Order_managed_list: Pass 47/80 succeded, 250 elements active, 938 allocated
- Order_managed_list: Pass 48/80 succeded, 263 elements active, 1050 allocated
- Order_managed_list: Pass 49/80 succeded, 288 elements active, 1189 allocated
- Order_managed_list: Pass 50/80 succeded, 328 elements active, 1338 allocated
- Order_managed_list: Pass 51/80 succeded, 384 elements active, 1506 allocated
- Order_managed_list: Pass 52/80 succeded, 424 elements active, 1691 allocated
- Order_managed_list: Pass 53/80 succeded, 456 elements active, 1893 allocated
- Order_managed_list: Pass 54/80 succeded, 527 elements active, 2125 allocated
- Order_managed_list: Pass 55/80 succeded, 579 elements active, 2371 allocated
- Order_managed_list: Pass 56/80 succeded, 660 elements active, 2661 allocated
- Order_managed_list: Pass 57/80 succeded, 712 elements active, 2981 allocated
- Order_managed_list: Pass 58/80 succeded, 787 elements active, 3325 allocated
- Order_managed_list: Pass 59/80 succeded, 880 elements active, 3715 allocated
- Order_managed_list: Pass 60/80 succeded, 1019 elements active, 4190 allocated
- Order_managed_list: Pass 61/80 succeded, 1137 elements active, 4682 allocated
- Order_managed_list: Pass 62/80 succeded, 1266 elements active, 5234 allocated
- Order_managed_list: Pass 63/80 succeded, 1410 elements active, 5863 allocated
- Order_managed_list: Pass 64/80 succeded, 1614 elements active, 6577 allocated
- Order_managed_list: Pass 65/80 succeded, 1789 elements active, 7362 allocated
- Order_managed_list: Pass 66/80 succeded, 2014 elements active, 8250 allocated
- Order_managed_list: Pass 67/80 succeded, 2271 elements active, 9235 allocated
- Order_managed_list: Pass 68/80 succeded, 2585 elements active, 10385 allocated
- Order_managed_list: Pass 69/80 succeded, 2926 elements active, 11702 allocated
- Order_managed_list: Pass 70/80 succeded, 3255 elements active, 13158 allocated
- Order_managed_list: Pass 71/80 succeded, 3657 elements active, 14733 allocated
- Order_managed_list: Pass 72/80 succeded, 4138 elements active, 16591 allocated
- Order_managed_list: Pass 73/80 succeded, 4687 elements active, 18653 allocated
- Order_managed_list: Pass 74/80 succeded, 5261 elements active, 21018 allocated
- Order_managed_list: Pass 75/80 succeded, 5940 elements active, 23626 allocated
- Order_managed_list: Pass 76/80 succeded, 6686 elements active, 12751 allocated
- Order_managed_list: Pass 77/80 succeded, 7442 elements active, 16071 allocated
- Order_managed_list: Pass 78/80 succeded, 8316 elements active, 15503 allocated
- Order_managed_list: Pass 79/80 succeded, 9320 elements active, 19590 allocated
- Order_managed_list: Pass 80/80 succeded, 10564 elements active, 24303 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, 2 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, 1 elements
- Order_indir: Pass 9/80 succeded, 2 elements
- Order_indir: Pass 10/80 succeded, 2 elements
- Order_indir: Pass 11/80 succeded, 3 elements
- Order_indir: Pass 12/80 succeded, 3 elements
- Order_indir: Pass 13/80 succeded, 4 elements
- Order_indir: Pass 14/80 succeded, 5 elements
- Order_indir: Pass 15/80 succeded, 7 elements
- Order_indir: Pass 16/80 succeded, 6 elements
- Order_indir: Pass 17/80 succeded, 7 elements
- Order_indir: Pass 18/80 succeded, 8 elements
- Order_indir: Pass 19/80 succeded, 8 elements
- Order_indir: Pass 20/80 succeded, 8 elements
- Order_indir: Pass 21/80 succeded, 9 elements
- Order_indir: Pass 22/80 succeded, 9 elements
- Order_indir: Pass 23/80 succeded, 10 elements
- Order_indir: Pass 24/80 succeded, 11 elements
- Order_indir: Pass 25/80 succeded, 13 elements
- Order_indir: Pass 26/80 succeded, 14 elements
- Order_indir: Pass 27/80 succeded, 16 elements
- Order_indir: Pass 28/80 succeded, 17 elements
- Order_indir: Pass 29/80 succeded, 24 elements
- Order_indir: Pass 30/80 succeded, 28 elements
- Order_indir: Pass 31/80 succeded, 34 elements
- Order_indir: Pass 32/80 succeded, 39 elements
- Order_indir: Pass 33/80 succeded, 45 elements
- Order_indir: Pass 34/80 succeded, 60 elements
- Order_indir: Pass 35/80 succeded, 63 elements
- Order_indir: Pass 36/80 succeded, 66 elements
- Order_indir: Pass 37/80 succeded, 76 elements
- Order_indir: Pass 38/80 succeded, 86 elements
- Order_indir: Pass 39/80 succeded, 104 elements
- Order_indir: Pass 40/80 succeded, 118 elements
- Order_indir: Pass 41/80 succeded, 135 elements
- Order_indir: Pass 42/80 succeded, 142 elements
- Order_indir: Pass 43/80 succeded, 149 elements
- Order_indir: Pass 44/80 succeded, 164 elements
- Order_indir: Pass 45/80 succeded, 190 elements
- Order_indir: Pass 46/80 succeded, 211 elements
- Order_indir: Pass 47/80 succeded, 250 elements
- Order_indir: Pass 48/80 succeded, 263 elements
- Order_indir: Pass 49/80 succeded, 288 elements
- Order_indir: Pass 50/80 succeded, 328 elements
- Order_indir: Pass 51/80 succeded, 384 elements
- Order_indir: Pass 52/80 succeded, 424 elements
- Order_indir: Pass 53/80 succeded, 456 elements
- Order_indir: Pass 54/80 succeded, 527 elements
- Order_indir: Pass 55/80 succeded, 579 elements
- Order_indir: Pass 56/80 succeded, 660 elements
- Order_indir: Pass 57/80 succeded, 712 elements
- Order_indir: Pass 58/80 succeded, 787 elements
- Order_indir: Pass 59/80 succeded, 880 elements
- Order_indir: Pass 60/80 succeded, 1019 elements
- Order_indir: Pass 61/80 succeded, 1137 elements
- Order_indir: Pass 62/80 succeded, 1266 elements
- Order_indir: Pass 63/80 succeded, 1410 elements
- Order_indir: Pass 64/80 succeded, 1614 elements
- Order_indir: Pass 65/80 succeded, 1789 elements
- Order_indir: Pass 66/80 succeded, 2014 elements
- Order_indir: Pass 67/80 succeded, 2271 elements
- Order_indir: Pass 68/80 succeded, 2585 elements
- Order_indir: Pass 69/80 succeded, 2926 elements
- Order_indir: Pass 70/80 succeded, 3255 elements
- Order_indir: Pass 71/80 succeded, 3657 elements
- Order_indir: Pass 72/80 succeded, 4138 elements
- Order_indir: Pass 73/80 succeded, 4687 elements
- Order_indir: Pass 74/80 succeded, 5261 elements
- Order_indir: Pass 75/80 succeded, 5940 elements
- Order_indir: Pass 76/80 succeded, 6686 elements
- Order_indir: Pass 77/80 succeded, 7442 elements
- Order_indir: Pass 78/80 succeded, 8316 elements
- Order_indir: Pass 79/80 succeded, 9320 elements
- Order_indir: Pass 80/80 succeded, 10564 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, 2 allocated
- Order_managed_indir: Pass 3/80 succeded, 2 elements active, 3 allocated
- Order_managed_indir: Pass 4/80 succeded, 1 elements active, 3 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, 1 elements active, 5 allocated
- Order_managed_indir: Pass 9/80 succeded, 2 elements active, 6 allocated
- Order_managed_indir: Pass 10/80 succeded, 2 elements active, 6 allocated
- Order_managed_indir: Pass 11/80 succeded, 3 elements active, 8 allocated
- Order_managed_indir: Pass 12/80 succeded, 3 elements active, 9 allocated
- Order_managed_indir: Pass 13/80 succeded, 4 elements active, 11 allocated
- Order_managed_indir: Pass 14/80 succeded, 5 elements active, 13 allocated
- Order_managed_indir: Pass 15/80 succeded, 7 elements active, 15 allocated
- Order_managed_indir: Pass 16/80 succeded, 6 elements active, 19 allocated
- Order_managed_indir: Pass 17/80 succeded, 7 elements active, 23 allocated
- Order_managed_indir: Pass 18/80 succeded, 8 elements active, 27 allocated
- Order_managed_indir: Pass 19/80 succeded, 8 elements active, 31 allocated
- Order_managed_indir: Pass 20/80 succeded, 8 elements active, 35 allocated
- Order_managed_indir: Pass 21/80 succeded, 9 elements active, 39 allocated
- Order_managed_indir: Pass 22/80 succeded, 9 elements active, 43 allocated
- Order_managed_indir: Pass 23/80 succeded, 10 elements active, 46 allocated
- Order_managed_indir: Pass 24/80 succeded, 11 elements active, 50 allocated
- Order_managed_indir: Pass 25/80 succeded, 13 elements active, 57 allocated
- Order_managed_indir: Pass 26/80 succeded, 14 elements active, 63 allocated
- Order_managed_indir: Pass 27/80 succeded, 16 elements active, 69 allocated
- Order_managed_indir: Pass 28/80 succeded, 17 elements active, 77 allocated
- Order_managed_indir: Pass 29/80 succeded, 24 elements active, 87 allocated
- Order_managed_indir: Pass 30/80 succeded, 28 elements active, 100 allocated
- Order_managed_indir: Pass 31/80 succeded, 34 elements active, 118 allocated
- Order_managed_indir: Pass 32/80 succeded, 39 elements active, 136 allocated
- Order_managed_indir: Pass 33/80 succeded, 45 elements active, 152 allocated
- Order_managed_indir: Pass 34/80 succeded, 60 elements active, 182 allocated
- Order_managed_indir: Pass 35/80 succeded, 63 elements active, 210 allocated
- Order_managed_indir: Pass 36/80 succeded, 66 elements active, 240 allocated
- Order_managed_indir: Pass 37/80 succeded, 76 elements active, 276 allocated
- Order_managed_indir: Pass 38/80 succeded, 86 elements active, 308 allocated
- Order_managed_indir: Pass 39/80 succeded, 104 elements active, 356 allocated
- Order_managed_indir: Pass 40/80 succeded, 118 elements active, 403 allocated
- Order_managed_indir: Pass 41/80 succeded, 135 elements active, 466 allocated
- Order_managed_indir: Pass 42/80 succeded, 142 elements active, 533 allocated
- Order_managed_indir: Pass 43/80 succeded, 149 elements active, 604 allocated
- Order_managed_indir: Pass 44/80 succeded, 164 elements active, 676 allocated
- Order_managed_indir: Pass 45/80 succeded, 190 elements active, 758 allocated
- Order_managed_indir: Pass 46/80 succeded, 211 elements active, 836 allocated
- Order_managed_indir: Pass 47/80 succeded, 250 elements active, 938 allocated
- Order_managed_indir: Pass 48/80 succeded, 263 elements active, 1050 allocated
- Order_managed_indir: Pass 49/80 succeded, 288 elements active, 1189 allocated
- Order_managed_indir: Pass 50/80 succeded, 328 elements active, 1338 allocated
- Order_managed_indir: Pass 51/80 succeded, 384 elements active, 1506 allocated
- Order_managed_indir: Pass 52/80 succeded, 424 elements active, 1691 allocated
- Order_managed_indir: Pass 53/80 succeded, 456 elements active, 1893 allocated
- Order_managed_indir: Pass 54/80 succeded, 527 elements active, 2125 allocated
- Order_managed_indir: Pass 55/80 succeded, 579 elements active, 2371 allocated
- Order_managed_indir: Pass 56/80 succeded, 660 elements active, 2661 allocated
- Order_managed_indir: Pass 57/80 succeded, 712 elements active, 2981 allocated
- Order_managed_indir: Pass 58/80 succeded, 787 elements active, 3325 allocated
- Order_managed_indir: Pass 59/80 succeded, 880 elements active, 3715 allocated
- Order_managed_indir: Pass 60/80 succeded, 1019 elements active, 4190 allocated
- Order_managed_indir: Pass 61/80 succeded, 1137 elements active, 4682 allocated
- Order_managed_indir: Pass 62/80 succeded, 1266 elements active, 5234 allocated
- Order_managed_indir: Pass 63/80 succeded, 1410 elements active, 5863 allocated
- Order_managed_indir: Pass 64/80 succeded, 1614 elements active, 6577 allocated
- Order_managed_indir: Pass 65/80 succeded, 1789 elements active, 7362 allocated
- Order_managed_indir: Pass 66/80 succeded, 2014 elements active, 8250 allocated
- Order_managed_indir: Pass 67/80 succeded, 2271 elements active, 9235 allocated
- Order_managed_indir: Pass 68/80 succeded, 2585 elements active, 10385 allocated
- Order_managed_indir: Pass 69/80 succeded, 2926 elements active, 11702 allocated
- Order_managed_indir: Pass 70/80 succeded, 3255 elements active, 13158 allocated
- Order_managed_indir: Pass 71/80 succeded, 3657 elements active, 14733 allocated
- Order_managed_indir: Pass 72/80 succeded, 4138 elements active, 16591 allocated
- Order_managed_indir: Pass 73/80 succeded, 4687 elements active, 18653 allocated
- Order_managed_indir: Pass 74/80 succeded, 5261 elements active, 21018 allocated
- Order_managed_indir: Pass 75/80 succeded, 5940 elements active, 23626 allocated
- Order_managed_indir: Pass 76/80 succeded, 6686 elements active, 26628 allocated
- Order_managed_indir: Pass 77/80 succeded, 7442 elements active, 29948 allocated
- Order_managed_indir: Pass 78/80 succeded, 8316 elements active, 11285 allocated
- Order_managed_indir: Pass 79/80 succeded, 9320 elements active, 15372 allocated
- Order_managed_indir: Pass 80/80 succeded, 10564 elements active, 20085 allocated
- (cd _build/default/binpacking && ./test.exe)
- packing 16 rects, allow rotation = false
- batch: packed = 16/16, occupancy = 3.29
- global: packed = 16/16, occupancy = 3.29
- simple: packed = 16/16, occupancy = 3.29
- packing 16 rects, allow rotation = true
- batch: packed = 16/16, occupancy = 8.93
- global: packed = 16/16, occupancy = 8.93
- simple: packed = 16/16, occupancy = 8.93
- packing 32 rects, allow rotation = false
- batch: packed = 32/32, occupancy = 9.76
- global: packed = 32/32, occupancy = 9.76
- simple: packed = 32/32, occupancy = 9.76
- packing 32 rects, allow rotation = true
- batch: packed = 32/32, occupancy = 12.46
- global: packed = 32/32, occupancy = 12.46
- simple: packed = 32/32, occupancy = 12.46
- packing 48 rects, allow rotation = false
- batch: packed = 48/48, occupancy = 16.44
- global: packed = 48/48, occupancy = 16.44
- simple: packed = 48/48, occupancy = 16.44
- packing 48 rects, allow rotation = true
- batch: packed = 48/48, occupancy = 18.76
- global: packed = 48/48, occupancy = 18.76
- simple: packed = 48/48, occupancy = 18.76
- packing 64 rects, allow rotation = false
- batch: packed = 64/64, occupancy = 22.78
- global: packed = 64/64, occupancy = 22.78
- simple: packed = 64/64, occupancy = 22.78
- packing 64 rects, allow rotation = true
- batch: packed = 64/64, occupancy = 25.60
- global: packed = 64/64, occupancy = 25.60
- simple: packed = 64/64, occupancy = 25.60
- packing 80 rects, allow rotation = false
- batch: packed = 80/80, occupancy = 28.79
- global: packed = 80/80, occupancy = 28.79
- simple: packed = 80/80, occupancy = 28.79
- packing 80 rects, allow rotation = true
- batch: packed = 80/80, occupancy = 33.49
- global: packed = 80/80, occupancy = 33.49
- simple: packed = 80/80, occupancy = 33.49
- packing 96 rects, allow rotation = false
- batch: packed = 96/96, occupancy = 35.18
- global: packed = 96/96, occupancy = 35.18
- simple: packed = 96/96, occupancy = 35.18
- packing 96 rects, allow rotation = true
- batch: packed = 96/96, occupancy = 31.57
- global: packed = 96/96, occupancy = 31.57
- simple: packed = 96/96, occupancy = 31.57
- packing 112 rects, allow rotation = false
- batch: packed = 112/112, occupancy = 44.69
- global: packed = 112/112, occupancy = 44.69
- simple: packed = 112/112, occupancy = 44.69
- packing 112 rects, allow rotation = true
- batch: packed = 112/112, occupancy = 39.31
- global: packed = 112/112, occupancy = 39.31
- simple: packed = 112/112, occupancy = 39.31
- packing 128 rects, allow rotation = false
- batch: packed = 128/128, occupancy = 48.22
- global: packed = 128/128, occupancy = 48.22
- simple: packed = 128/128, occupancy = 48.22
- packing 128 rects, allow rotation = true
- batch: packed = 128/128, occupancy = 47.11
- global: packed = 128/128, occupancy = 47.11
- simple: packed = 128/128, occupancy = 47.11
- packing 144 rects, allow rotation = false
- batch: packed = 144/144, occupancy = 56.08
- global: packed = 144/144, occupancy = 56.08
- simple: packed = 144/144, occupancy = 56.08
- packing 144 rects, allow rotation = true
- batch: packed = 144/144, occupancy = 49.29
- global: packed = 144/144, occupancy = 49.29
- simple: packed = 144/144, occupancy = 49.29
- packing 160 rects, allow rotation = false
- batch: packed = 160/160, occupancy = 55.70
- global: packed = 160/160, occupancy = 55.70
- simple: packed = 160/160, occupancy = 55.70
- packing 160 rects, allow rotation = true
- batch: packed = 160/160, occupancy = 59.95
- global: packed = 160/160, occupancy = 59.95
- simple: packed = 160/160, occupancy = 59.95
- packing 176 rects, allow rotation = false
- batch: packed = 176/176, occupancy = 59.14
- global: packed = 176/176, occupancy = 59.14
- simple: packed = 176/176, occupancy = 59.14
- packing 176 rects, allow rotation = true
- batch: packed = 176/176, occupancy = 68.21
- global: packed = 176/176, occupancy = 68.21
- simple: packed = 176/176, occupancy = 68.21
- packing 192 rects, allow rotation = false
- batch: packed = 192/192, occupancy = 78.54
- global: packed = 192/192, occupancy = 78.54
- simple: packed = 192/192, occupancy = 78.54
- packing 192 rects, allow rotation = true
- batch: packed = 192/192, occupancy = 77.82
- global: packed = 192/192, occupancy = 77.82
- simple: packed = 192/192, occupancy = 77.82
- packing 208 rects, allow rotation = false
- batch: packed = 202/208, occupancy = 73.69
- global: packed = 208/208, occupancy = 81.56
- simple: packed = 208/208, occupancy = 81.56
- packing 208 rects, allow rotation = true
- batch: packed = 208/208, occupancy = 77.31
- global: packed = 208/208, occupancy = 77.31
- simple: packed = 208/208, occupancy = 77.31
- packing 224 rects, allow rotation = false
- batch: packed = 220/224, occupancy = 76.82
- global: packed = 224/224, occupancy = 81.99
- simple: packed = 224/224, occupancy = 81.99
- packing 224 rects, allow rotation = true
- batch: packed = 224/224, occupancy = 75.01
- global: packed = 224/224, occupancy = 75.01
- simple: packed = 224/224, occupancy = 75.01
- packing 240 rects, allow rotation = false
- batch: packed = 227/240, occupancy = 81.10
- global: packed = 240/240, occupancy = 96.73
- simple: packed = 233/240, occupancy = 93.25
- packing 240 rects, allow rotation = true
- batch: packed = 239/240, occupancy = 87.19
- global: packed = 240/240, occupancy = 88.61
- simple: packed = 240/240, occupancy = 88.61
- packing 256 rects, allow rotation = false
- batch: packed = 252/256, occupancy = 80.02
- global: packed = 256/256, occupancy = 85.19
- simple: packed = 256/256, occupancy = 85.19
- packing 256 rects, allow rotation = true
- batch: packed = 252/256, occupancy = 86.47
- global: packed = 256/256, occupancy = 91.44
- simple: packed = 256/256, occupancy = 91.44
-> 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:27.42 ---> saved as "9b0a8dc346a02d3f46be6bed96ac929c6cbf5396c389202e985b4bcabd9b3f55"
Job succeeded
2026-02-07 02:27.47: Job succeeded