2026-09-03 20:29.14: New job: build msat-bin.0.9 (208a726cfd70)
2026-09-03 20:29.14: Waiting for resource in pool day11-builds
2026-09-03 22:32.37: Got resource from pool day11-builds
2026-09-03 22:32.37: [profile full] build msat-bin.0.9
2026-09-03 22:32.37: build msat-bin.0.9 (208a726cfd70)
=== DEPENDENCIES (18 transitive) ===
  base-bigarray.base                                 31ac6860ef52
  base-threads.base                                  3d2f2cbc6db2
  base-unix.base                                     3a38ddca6b5e
  camlzip.1.14                                       55fbe9282a52
  compiler-cloning.enabled                           966a2e6839f0
  conf-pkg-config.5                                  74f50f3cfe72
  conf-zlib.1                                        26591fa9352c
  containers.3.18                                    8761b6daf493
  csexp.1.5.2                                        58b250503765
  dune.3.24.2                                        ec704e062ad3
  dune-configurator.3.24.2                           183455f65a68
  either.1.0.0                                       528f686c9e94
  iter.1.9                                           8c1f63764158
  msat.0.9                                           3eb6116cbbd8
  ocaml.5.5.0                                        22ebd7932512
  ocaml-base-compiler.5.5.0                          db1659234e8a
  ocaml-compiler.5.5.0                               7f52fb26d939
  ocamlfind.1.9.9~preview                            6a4c70487cf9
=== STDOUT ===
Processing: [default: loading data]
[msat-bin.0.9: extract]
-> retrieved msat-bin.0.9  (cached)
[msat-bin: dune build]
+ /home/opam/.opam/default/bin/dune "build" "@install" "-p" "msat-bin" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/msat-bin.0.9)
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -warn-error -3 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -open Msat -g -bin-annot -bin-annot-occurrences -I src/main/.main.eobjs/byte -I /home/opam/.opam/default/lib/camlzip -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/msat -I /home/opam/.opam/default/lib/msat/backend -I /home/opam/.opam/default/lib/msat/sat -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/zip -no-alias-deps -o src/main/.main.eobjs/byte/dimacs_lex.cmo -c -impl src/main/Dimacs_lex.ml)
- File "src/main/Dimacs_lex.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -warn-error -3 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -open Msat -g -bin-annot -bin-annot-occurrences -I src/main/.main.eobjs/byte -I /home/opam/.opam/default/lib/camlzip -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/msat -I /home/opam/.opam/default/lib/msat/backend -I /home/opam/.opam/default/lib/msat/sat -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/zip -no-alias-deps -o src/main/.main.eobjs/byte/main.cmo -c -impl src/main/main.ml)
- File "src/main/main.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-> compiled  msat-bin.0.9
-> installed msat-bin.0.9
[WARNING] Opam package conf-zlib.1 depends on the following system package that can no longer be found: zlib1g-dev

=== STDERR ===

2026-09-03 22:32.48: OK: build msat-bin.0.9 (runc: 2.6s, disk: 8KB)
2026-09-03 22:32.48: Job succeeded