Build:
  1. 513
  2. 512
  3. 511
  4. 510
  5. 509
  6. 508
  7. 507
  8. 506
  9. 505
  10. 504
2025-01-17 17:34.24: New job: incremental solver v2
2025-01-17 17:34.24: Using opam-repository sha 6ed188dd22d28b2edbd14ae841381abc9701ca42
2025-01-17 17:34.29 [INFO] Solving for ocaml-base-compiler, ocaml,
                           qcheck-lin using opam_repository_commit 6ed188dd22d28b2edbd14ae841381abc9701ca42
2025-01-17 17:34.29 [INFO] Solving for ocaml-base-compiler, ocaml,
                           camlgpc using opam_repository_commit 6ed188dd22d28b2edbd14ae841381abc9701ca42
2025-01-17 17:34.29 [INFO] Solving for ocaml-base-compiler, ocaml,
                           opam-lib using opam_repository_commit 6ed188dd22d28b2edbd14ae841381abc9701ca42
2025-01-17 17:34.29 [INFO] Solving for ocaml-base-compiler, ocaml,
                           qcheck-stm using opam_repository_commit 6ed188dd22d28b2edbd14ae841381abc9701ca42
2025-01-17 17:34.29 [INFO] Solving for ocaml-base-compiler, ocaml,
                           jbuilder using opam_repository_commit 6ed188dd22d28b2edbd14ae841381abc9701ca42
2025-01-17 17:34.29 [INFO] Solving for ocaml-base-compiler, ocaml,
                           qcheck-multicoretests-util using opam_repository_commit 6ed188dd22d28b2edbd14ae841381abc9701ca42
2025-01-17 17:34.29 [INFO] Solving for ocaml-base-compiler, ocaml,
                           coq-core using opam_repository_commit 6ed188dd22d28b2edbd14ae841381abc9701ca42
2025-01-17 17:34.29 [INFO] Solving for ocaml-base-compiler, ocaml,
                           coq using opam_repository_commit 6ed188dd22d28b2edbd14ae841381abc9701ca42
2025-01-17 17:34.29 [INFO] Solving for ocaml-base-compiler, ocaml,
                           coq-stdlib using opam_repository_commit 6ed188dd22d28b2edbd14ae841381abc9701ca42
2025-01-17 17:34.29 [INFO] Solving for ocaml-base-compiler, ocaml,
                           coqide-server using opam_repository_commit 6ed188dd22d28b2edbd14ae841381abc9701ca42
2025-01-17 17:35.39 [INFO] base: found solution in 1.38 s
2025-01-17 17:35.39 [INFO] oldest_commit_with git -C opam-repository log -n 1
                           --format=format:%H
                           6ed188dd22d28b2edbd14ae841381abc9701ca42 --
                           packages/base-bigarray/base-bigarray.base
                           packages/base-domains/base-domains.base
                           packages/base-nnp/base-nnp.base
                           packages/base-threads/base-threads.base
                           packages/base-unix/base-unix.base
                           packages/conf-gmp/conf-gmp.4
                           packages/conf-linux-libc-dev/conf-linux-libc-dev.0
                           packages/conf-pkg-config/conf-pkg-config.4
                           packages/coq/coq.8.20.1
                           packages/coq-core/coq-core.8.20.1
                           packages/coq-stdlib/coq-stdlib.8.20.1
                           packages/coqide-server/coqide-server.8.20.1
                           packages/dune/dune.3.17.1
                           packages/host-arch-x86_64/host-arch-x86_64.1
                           packages/host-system-other/host-system-other.1
                           packages/ocaml/ocaml.5.1.1
                           packages/ocaml-base-compiler/ocaml-base-compiler.5.1.1
                           packages/ocaml-config/ocaml-config.3
                           packages/ocaml-options-vanilla/ocaml-options-vanilla.1
                           packages/ocamlfind/ocamlfind.1.9.6
                           packages/zarith/zarith.1.14
2025-01-17 17:35.39 [INFO] = base =
2025-01-17 17:35.39 [INFO] -> base-bigarray.base base-domains.base
                              base-nnp.base base-threads.base base-unix.base
                              conf-gmp.4 conf-linux-libc-dev.0
                              conf-pkg-config.4 coq.8.20.1 coq-core.8.20.1
                              coq-stdlib.8.20.1 coqide-server.8.20.1
                              dune.3.17.1 host-arch-x86_64.1
                              host-system-other.1 ocaml.5.1.1
                              ocaml-base-compiler.5.1.1 ocaml-config.3
                              ocaml-options-vanilla.1 ocamlfind.1.9.6
                              zarith.1.14
2025-01-17 17:35.39 [INFO] (valid since opam-repository commit 516d0430874d1396bb78a48eab318e25641fbc5b)
2025-01-17 17:35.39 [INFO] base: found solution in 1.45 s
2025-01-17 17:35.39 [INFO] oldest_commit_with git -C opam-repository log -n 1
                           --format=format:%H
                           6ed188dd22d28b2edbd14ae841381abc9701ca42 --
                           packages/base-bigarray/base-bigarray.base
                           packages/base-domains/base-domains.base
                           packages/base-nnp/base-nnp.base
                           packages/base-threads/base-threads.base
                           packages/base-unix/base-unix.base
                           packages/conf-gmp/conf-gmp.4
                           packages/conf-linux-libc-dev/conf-linux-libc-dev.0
                           packages/conf-pkg-config/conf-pkg-config.4
                           packages/coq-core/coq-core.8.20.1
                           packages/coq-stdlib/coq-stdlib.8.20.1
                           packages/dune/dune.3.17.1
                           packages/host-arch-x86_64/host-arch-x86_64.1
                           packages/host-system-other/host-system-other.1
                           packages/ocaml/ocaml.5.1.1
                           packages/ocaml-base-compiler/ocaml-base-compiler.5.1.1
                           packages/ocaml-config/ocaml-config.3
                           packages/ocaml-options-vanilla/ocaml-options-vanilla.1
                           packages/ocamlfind/ocamlfind.1.9.6
                           packages/zarith/zarith.1.14
2025-01-17 17:35.39 [INFO] = base =
2025-01-17 17:35.39 [INFO] -> base-bigarray.base base-domains.base
                              base-nnp.base base-threads.base base-unix.base
                              conf-gmp.4 conf-linux-libc-dev.0
                              conf-pkg-config.4 coq-core.8.20.1
                              coq-stdlib.8.20.1 dune.3.17.1
                              host-arch-x86_64.1 host-system-other.1
                              ocaml.5.1.1 ocaml-base-compiler.5.1.1
                              ocaml-config.3 ocaml-options-vanilla.1
                              ocamlfind.1.9.6 zarith.1.14
2025-01-17 17:35.39 [INFO] (valid since opam-repository commit 516d0430874d1396bb78a48eab318e25641fbc5b)
2025-01-17 17:35.39 [INFO] base: found solution in 1.38 s
2025-01-17 17:35.39 [INFO] oldest_commit_with git -C opam-repository log -n 1
                           --format=format:%H
                           6ed188dd22d28b2edbd14ae841381abc9701ca42 --
                           packages/base-bigarray/base-bigarray.base
                           packages/base-domains/base-domains.base
                           packages/base-nnp/base-nnp.base
                           packages/base-threads/base-threads.base
                           packages/base-unix/base-unix.base
                           packages/conf-gmp/conf-gmp.4
                           packages/conf-linux-libc-dev/conf-linux-libc-dev.0
                           packages/conf-pkg-config/conf-pkg-config.4
                           packages/coq-core/coq-core.8.20.1
                           packages/coqide-server/coqide-server.8.20.1
                           packages/dune/dune.3.17.1
                           packages/host-arch-x86_64/host-arch-x86_64.1
                           packages/host-system-other/host-system-other.1
                           packages/ocaml/ocaml.5.1.1
                           packages/ocaml-base-compiler/ocaml-base-compiler.5.1.1
                           packages/ocaml-config/ocaml-config.3
                           packages/ocaml-options-vanilla/ocaml-options-vanilla.1
                           packages/ocamlfind/ocamlfind.1.9.6
                           packages/zarith/zarith.1.14
2025-01-17 17:35.40 [INFO] = base =
2025-01-17 17:35.40 [INFO] -> base-bigarray.base base-domains.base
                              base-nnp.base base-threads.base base-unix.base
                              conf-gmp.4 conf-linux-libc-dev.0
                              conf-pkg-config.4 coq-core.8.20.1
                              coqide-server.8.20.1 dune.3.17.1
                              host-arch-x86_64.1 host-system-other.1
                              ocaml.5.1.1 ocaml-base-compiler.5.1.1
                              ocaml-config.3 ocaml-options-vanilla.1
                              ocamlfind.1.9.6 zarith.1.14
2025-01-17 17:35.40 [INFO] (valid since opam-repository commit 516d0430874d1396bb78a48eab318e25641fbc5b)
2025-01-17 17:35.46 [INFO] base: found solution in 1.35 s
2025-01-17 17:35.46 [INFO] oldest_commit_with git -C opam-repository log -n 1
                           --format=format:%H
                           6ed188dd22d28b2edbd14ae841381abc9701ca42 --
                           packages/base-bigarray/base-bigarray.base
                           packages/base-domains/base-domains.base
                           packages/base-nnp/base-nnp.base
                           packages/base-threads/base-threads.base
                           packages/base-unix/base-unix.base
                           packages/dune/dune.3.17.1
                           packages/host-arch-x86_64/host-arch-x86_64.1
                           packages/host-system-other/host-system-other.1
                           packages/ocaml/ocaml.5.1.1
                           packages/ocaml-base-compiler/ocaml-base-compiler.5.1.1
                           packages/ocaml-config/ocaml-config.3
                           packages/ocaml-options-vanilla/ocaml-options-vanilla.1
                           packages/qcheck-core/qcheck-core.0.23
                           packages/qcheck-multicoretests-util/qcheck-multicoretests-util.0.5
2025-01-17 17:35.46 [INFO] = base =
2025-01-17 17:35.46 [INFO] -> base-bigarray.base base-domains.base
                              base-nnp.base base-threads.base base-unix.base
                              dune.3.17.1 host-arch-x86_64.1
                              host-system-other.1 ocaml.5.1.1
                              ocaml-base-compiler.5.1.1 ocaml-config.3
                              ocaml-options-vanilla.1 qcheck-core.0.23
                              qcheck-multicoretests-util.0.5
2025-01-17 17:35.46 [INFO] (valid since opam-repository commit 8121af07deb6284d8d5fd9c9c6ed133ca7edaecd)
2025-01-17 17:35.46 [INFO] base: found solution in 1.52 s
2025-01-17 17:35.46 [INFO] oldest_commit_with git -C opam-repository log -n 1
                           --format=format:%H
                           6ed188dd22d28b2edbd14ae841381abc9701ca42 --
                           packages/base-bigarray/base-bigarray.base
                           packages/base-domains/base-domains.base
                           packages/base-nnp/base-nnp.base
                           packages/base-threads/base-threads.base
                           packages/base-unix/base-unix.base
                           packages/dune/dune.3.17.1
                           packages/host-arch-x86_64/host-arch-x86_64.1
                           packages/host-system-other/host-system-other.1
                           packages/ocaml/ocaml.5.1.1
                           packages/ocaml-base-compiler/ocaml-base-compiler.5.1.1
                           packages/ocaml-config/ocaml-config.3
                           packages/ocaml-options-vanilla/ocaml-options-vanilla.1
                           packages/qcheck-core/qcheck-core.0.23
                           packages/qcheck-lin/qcheck-lin.0.5
                           packages/qcheck-multicoretests-util/qcheck-multicoretests-util.0.5
2025-01-17 17:35.46 [INFO] base: found solution in 1.52 s
2025-01-17 17:35.46 [INFO] oldest_commit_with git -C opam-repository log -n 1
                           --format=format:%H
                           6ed188dd22d28b2edbd14ae841381abc9701ca42 --
                           packages/base-bigarray/base-bigarray.base
                           packages/base-domains/base-domains.base
                           packages/base-nnp/base-nnp.base
                           packages/base-threads/base-threads.base
                           packages/base-unix/base-unix.base
                           packages/dune/dune.3.17.1
                           packages/host-arch-x86_64/host-arch-x86_64.1
                           packages/host-system-other/host-system-other.1
                           packages/ocaml/ocaml.5.1.1
                           packages/ocaml-base-compiler/ocaml-base-compiler.5.1.1
                           packages/ocaml-config/ocaml-config.3
                           packages/ocaml-options-vanilla/ocaml-options-vanilla.1
                           packages/qcheck-core/qcheck-core.0.23
                           packages/qcheck-multicoretests-util/qcheck-multicoretests-util.0.5
                           packages/qcheck-stm/qcheck-stm.0.5
2025-01-17 17:35.46 [INFO] = base =
2025-01-17 17:35.46 [INFO] -> base-bigarray.base base-domains.base
                              base-nnp.base base-threads.base base-unix.base
                              dune.3.17.1 host-arch-x86_64.1
                              host-system-other.1 ocaml.5.1.1
                              ocaml-base-compiler.5.1.1 ocaml-config.3
                              ocaml-options-vanilla.1 qcheck-core.0.23
                              qcheck-lin.0.5 qcheck-multicoretests-util.0.5
2025-01-17 17:35.46 [INFO] (valid since opam-repository commit 8121af07deb6284d8d5fd9c9c6ed133ca7edaecd)
2025-01-17 17:35.46 [INFO] = base =
2025-01-17 17:35.46 [INFO] -> base-bigarray.base base-domains.base
                              base-nnp.base base-threads.base base-unix.base
                              dune.3.17.1 host-arch-x86_64.1
                              host-system-other.1 ocaml.5.1.1
                              ocaml-base-compiler.5.1.1 ocaml-config.3
                              ocaml-options-vanilla.1 qcheck-core.0.23
                              qcheck-multicoretests-util.0.5 qcheck-stm.0.5
2025-01-17 17:35.46 [INFO] (valid since opam-repository commit 8121af07deb6284d8d5fd9c9c6ed133ca7edaecd)
2025-01-17 17:35.47 [INFO] base: found solution in 1.54 s
2025-01-17 17:35.47 [INFO] oldest_commit_with git -C opam-repository log -n 1
                           --format=format:%H
                           6ed188dd22d28b2edbd14ae841381abc9701ca42 --
                           packages/base-bigarray/base-bigarray.base
                           packages/base-domains/base-domains.base
                           packages/base-nnp/base-nnp.base
                           packages/base-threads/base-threads.base
                           packages/base-unix/base-unix.base
                           packages/camlgpc/camlgpc.1.2
                           packages/host-arch-x86_64/host-arch-x86_64.1
                           packages/host-system-other/host-system-other.1
                           packages/ocaml/ocaml.5.1.1
                           packages/ocaml-base-compiler/ocaml-base-compiler.5.1.1
                           packages/ocaml-config/ocaml-config.3
                           packages/ocaml-options-vanilla/ocaml-options-vanilla.1
                           packages/ocamlfind/ocamlfind.1.9.6
2025-01-17 17:35.47 [INFO] base: found solution in 1.54 s
2025-01-17 17:35.47 [INFO] oldest_commit_with git -C opam-repository log -n 1
                           --format=format:%H
                           6ed188dd22d28b2edbd14ae841381abc9701ca42 --
                           packages/base-bigarray/base-bigarray.base
                           packages/base-threads/base-threads.base
                           packages/base-unix/base-unix.base
                           packages/dune/dune.1.11.4
                           packages/jbuilder/jbuilder.transition
                           packages/ocaml/ocaml.4.11.2
                           packages/ocaml-base-compiler/ocaml-base-compiler.4.11.2
                           packages/ocaml-config/ocaml-config.1
2025-01-17 17:35.47 [INFO] = base =
2025-01-17 17:35.47 [INFO] -> base-bigarray.base base-domains.base
                              base-nnp.base base-threads.base base-unix.base
                              camlgpc.1.2 host-arch-x86_64.1
                              host-system-other.1 ocaml.5.1.1
                              ocaml-base-compiler.5.1.1 ocaml-config.3
                              ocaml-options-vanilla.1 ocamlfind.1.9.6
2025-01-17 17:35.47 [INFO] (valid since opam-repository commit 82d2d5cbdbce885753008a871b476b63385a5a36)
2025-01-17 17:35.47 [INFO] = base =
2025-01-17 17:35.47 [INFO] -> base-bigarray.base base-threads.base
                              base-unix.base dune.1.11.4 jbuilder.transition
                              ocaml.4.11.2 ocaml-base-compiler.4.11.2
                              ocaml-config.1
2025-01-17 17:35.47 [INFO] (valid since opam-repository commit 2559c1b90bb4498e43fe83bb486183791de8c9d4)
2025-01-17 17:35.47 [INFO] base: found solution in 1.59 s
2025-01-17 17:35.47 [INFO] oldest_commit_with git -C opam-repository log -n 1
                           --format=format:%H
                           6ed188dd22d28b2edbd14ae841381abc9701ca42 --
                           packages/base-bigarray/base-bigarray.base
                           packages/base-bytes/base-bytes.base
                           packages/base-threads/base-threads.base
                           packages/base-unix/base-unix.base
                           packages/cmdliner/cmdliner.1.3.0
                           packages/cppo/cppo.1.8.0 packages/cudf/cudf.0.10
                           packages/dose3/dose3.5.0.1-2
                           packages/dune/dune.3.17.1
                           packages/extlib/extlib.1.7.7-1
                           packages/host-arch-x86_64/host-arch-x86_64.1
                           packages/host-system-other/host-system-other.1
                           packages/jsonm/jsonm.1.0.2
                           packages/ocaml/ocaml.4.14.2
                           packages/ocaml-base-compiler/ocaml-base-compiler.4.14.2
                           packages/ocaml-config/ocaml-config.2
                           packages/ocaml-options-vanilla/ocaml-options-vanilla.1
                           packages/ocamlbuild/ocamlbuild.0.15.0
                           packages/ocamlfind/ocamlfind.1.9.6
                           packages/ocamlgraph/ocamlgraph.1.8.8
                           packages/opam-lib/opam-lib.1.3.1
                           packages/re/re.1.12.0 packages/seq/seq.base
                           packages/topkg/topkg.1.0.7
                           packages/uutf/uutf.1.0.3
2025-01-17 17:35.47 [INFO] = base =
2025-01-17 17:35.47 [INFO] -> base-bigarray.base base-bytes.base
                              base-threads.base base-unix.base cmdliner.1.3.0
                              cppo.1.8.0 cudf.0.10 dose3.5.0.1-2 dune.3.17.1
                              extlib.1.7.7-1 host-arch-x86_64.1
                              host-system-other.1 jsonm.1.0.2 ocaml.4.14.2
                              ocaml-base-compiler.4.14.2 ocaml-config.2
                              ocaml-options-vanilla.1 ocamlbuild.0.15.0
                              ocamlfind.1.9.6 ocamlgraph.1.8.8 opam-lib.1.3.1
                              re.1.12.0 seq.base topkg.1.0.7 uutf.1.0.3
2025-01-17 17:35.47 [INFO] (valid since opam-repository commit 2559c1b90bb4498e43fe83bb486183791de8c9d4)
2025-01-17 17:35.50 [INFO] base: found solution in 1.27 s
2025-01-17 17:35.50 [INFO] oldest_commit_with git -C opam-repository log -n 1
                           --format=format:%H
                           6ed188dd22d28b2edbd14ae841381abc9701ca42 --
                           packages/base-bigarray/base-bigarray.base
                           packages/base-domains/base-domains.base
                           packages/base-nnp/base-nnp.base
                           packages/base-threads/base-threads.base
                           packages/base-unix/base-unix.base
                           packages/conf-gmp/conf-gmp.4
                           packages/conf-linux-libc-dev/conf-linux-libc-dev.0
                           packages/conf-pkg-config/conf-pkg-config.4
                           packages/coq-core/coq-core.8.20.1
                           packages/dune/dune.3.17.1
                           packages/host-arch-x86_64/host-arch-x86_64.1
                           packages/host-system-other/host-system-other.1
                           packages/ocaml/ocaml.5.1.1
                           packages/ocaml-base-compiler/ocaml-base-compiler.5.1.1
                           packages/ocaml-config/ocaml-config.3
                           packages/ocaml-options-vanilla/ocaml-options-vanilla.1
                           packages/ocamlfind/ocamlfind.1.9.6
                           packages/zarith/zarith.1.14
2025-01-17 17:35.50 [INFO] = base =
2025-01-17 17:35.50 [INFO] -> base-bigarray.base base-domains.base
                              base-nnp.base base-threads.base base-unix.base
                              conf-gmp.4 conf-linux-libc-dev.0
                              conf-pkg-config.4 coq-core.8.20.1 dune.3.17.1
                              host-arch-x86_64.1 host-system-other.1
                              ocaml.5.1.1 ocaml-base-compiler.5.1.1
                              ocaml-config.3 ocaml-options-vanilla.1
                              ocamlfind.1.9.6 zarith.1.14
2025-01-17 17:35.50 [INFO] (valid since opam-repository commit 516d0430874d1396bb78a48eab318e25641fbc5b)
2025-01-17 17:35.50: Solved: 28937 / New: 10 / Success: 10
2025-01-17 17:35.59: Job succeeded