Build:
- 0
2024-09-10 08:43.39: New job: test linux-s390x/s390x/5.2/f334c3f68875110e3af5427bfe562eff269e3c14 2024-09-10 08:43.39: Using cache hint "linux-s390x/s390x/5.2/f334c3f68875110e3af5427bfe562eff269e3c14" 2024-09-10 08:43.39: Using OBuilder spec: ((from ocaml/opam:debian-11-ocaml-5.2@sha256:73f78e7d2477f88aa54bf55c583f7672d903aa7dab56badcc4faeb651e0ab14e) (env QCHECK_MSG_INTERVAL 60) (user (uid 1000) (gid 1000)) (workdir /src) (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) (workdir /src) (run (shell "sudo chown opam /src")) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 7f8a1201e6585abc0601ef078822cf58d4fa4248 || git fetch origin master) && git reset -q --hard 7f8a1201e6585abc0601ef078822cf58d4fa4248 && git log --no-decorate -n1 --oneline && opam update -u")) (run (network host) (shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default")) (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam) (dst ./)) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam pin --no-action qcheck-multicoretests-util.dev ./ && opam pin --no-action qcheck-lin.dev ./ && opam pin --no-action qcheck-stm.dev ./ && opam pin --no-action multicoretests.dev ./")) (env CI true) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ./")) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install ./")) (run (shell "eval $(opam env) && opam exec -- ocamlc -config && opam config list && opam list --columns=name,installed-version,repository,synopsis-or-target")) (copy (src .) (dst /src)) (run (shell "eval $(opam env) && dune build && dune runtest -j1 --no-buffer --display=quiet test/ && dune build @ci -j1 --no-buffer --display=quiet --error-reporting=twice")) ) 2024-09-10 08:43.39: Waiting for resource in pool OCluster 2024-09-10 08:43.40: Waiting for worker… 2024-09-10 08:43.40: Got resource from pool OCluster Building on s390x-worker-01.marist.ci.dev HEAD is now at 8334131 Try musl bytecode-only in 64bit mode HEAD is now at f334c3f Repro under pure bytecode (from ocaml/opam:debian-11-ocaml-5.2@sha256:73f78e7d2477f88aa54bf55c583f7672d903aa7dab56badcc4faeb651e0ab14e) Unable to find image 'ocaml/opam:debian-11-ocaml-5.2@sha256:73f78e7d2477f88aa54bf55c583f7672d903aa7dab56badcc4faeb651e0ab14e' locally docker.io/ocaml/opam@sha256:73f78e7d2477f88aa54bf55c583f7672d903aa7dab56badcc4faeb651e0ab14e: Pulling from ocaml/opam 52560ec7a98b: Pulling fs layer eab0a4b3bd3e: Pulling fs layer f80cd650a7b6: Pulling fs layer 337240be42b5: Pulling fs layer 79225da4e8d0: Pulling fs layer 17c5ed5c97ae: Pulling fs layer 723d5257c443: Pulling fs layer 9108ffdcd51b: Pulling fs layer 570a06170d5a: Pulling fs layer 337240be42b5: Waiting 79225da4e8d0: Waiting 17c5ed5c97ae: Waiting 9108ffdcd51b: Waiting 570a06170d5a: Waiting 723d5257c443: Waiting 3bc38e4bbd23: Pulling fs layer dcf595e232e9: Pulling fs layer 3bc38e4bbd23: Waiting dcf595e232e9: Waiting 6fbf7a6e59b8: Pulling fs layer 9b81e60cd0dc: Pulling fs layer b2056aa0f0ef: Pulling fs layer 9b81e60cd0dc: Waiting b2056aa0f0ef: Waiting 5947402c93e3: Pulling fs layer ba9912c5009c: Pulling fs layer 9948a9b882ca: Pulling fs layer 5947402c93e3: Waiting ba9912c5009c: Waiting 9948a9b882ca: Waiting 9c425dfe1f36: Pulling fs layer fd80f5ed0258: Pulling fs layer 4f4fb700ef54: Pulling fs layer 68d647695fbb: Pulling fs layer 6fbf7a6e59b8: Waiting d6f345d3600b: Pulling fs layer 7ef4f05a5a02: Pulling fs layer 3d711792550b: Pulling fs layer 97e3998c71ca: Pulling fs layer fd80f5ed0258: Waiting 9c425dfe1f36: Waiting 3d711792550b: Waiting 3b0e3d1f1d4c: Pulling fs layer 01a7a8858579: Pulling fs layer 2ba1f9128fdf: Pulling fs layer 9164ac1c1f7d: Pulling fs layer 992a9e5c4973: Pulling fs layer 4f4fb700ef54: Waiting 7ef4f05a5a02: Waiting 68d647695fbb: Waiting d6f345d3600b: Waiting 97e3998c71ca: Waiting 3b0e3d1f1d4c: Waiting 2ba1f9128fdf: Waiting 01a7a8858579: Waiting 9392a321e745: Pulling fs layer d4f24245de84: Pulling fs layer f67ba658bdf5: Pulling fs layer e092361b0bd5: Pulling fs layer 9392a321e745: Waiting 9164ac1c1f7d: Waiting 992a9e5c4973: Waiting 5239f5f1c57d: Pulling fs layer 715b08f65540: Pulling fs layer 65e50d0b7f26: Pulling fs layer ef46a782c55c: Pulling fs layer f67ba658bdf5: Waiting d4f24245de84: Waiting 26955ddfd8bd: Pulling fs layer a5cc6a7f78d0: Pulling fs layer f909f7e0e365: Pulling fs layer ef46a782c55c: Waiting 26955ddfd8bd: Waiting a5cc6a7f78d0: Waiting e092361b0bd5: Waiting 5239f5f1c57d: Waiting 5d5d64053dac: Pulling fs layer f909f7e0e365: Waiting 985c150a969d: Pulling fs layer 715b08f65540: Waiting 65e50d0b7f26: Waiting 5d5d64053dac: Waiting 985c150a969d: Waiting e0702fdafe21: Pulling fs layer e0702fdafe21: Waiting eab0a4b3bd3e: Verifying Checksum eab0a4b3bd3e: Download complete f80cd650a7b6: Download complete 79225da4e8d0: Verifying Checksum 79225da4e8d0: Download complete 337240be42b5: Verifying Checksum 337240be42b5: Download complete 52560ec7a98b: Verifying Checksum 52560ec7a98b: Download complete 723d5257c443: Verifying Checksum 723d5257c443: Download complete 9108ffdcd51b: Download complete 570a06170d5a: Verifying Checksum 570a06170d5a: Download complete 3bc38e4bbd23: Verifying Checksum 3bc38e4bbd23: Download complete dcf595e232e9: Verifying Checksum dcf595e232e9: Download complete 9b81e60cd0dc: Verifying Checksum 9b81e60cd0dc: Download complete 6fbf7a6e59b8: Verifying Checksum 6fbf7a6e59b8: Download complete b2056aa0f0ef: Verifying Checksum b2056aa0f0ef: Download complete 5947402c93e3: Verifying Checksum 5947402c93e3: Download complete 17c5ed5c97ae: Verifying Checksum 17c5ed5c97ae: Download complete ba9912c5009c: Verifying Checksum ba9912c5009c: Download complete 9948a9b882ca: Verifying Checksum 9948a9b882ca: Download complete 9c425dfe1f36: Verifying Checksum 9c425dfe1f36: Download complete fd80f5ed0258: Verifying Checksum fd80f5ed0258: Download complete 4f4fb700ef54: Verifying Checksum 4f4fb700ef54: Download complete 68d647695fbb: Verifying Checksum 68d647695fbb: Download complete d6f345d3600b: Verifying Checksum d6f345d3600b: Download complete 7ef4f05a5a02: Verifying Checksum 7ef4f05a5a02: Download complete 3d711792550b: Verifying Checksum 3d711792550b: Download complete 97e3998c71ca: Verifying Checksum 97e3998c71ca: Download complete 3b0e3d1f1d4c: Verifying Checksum 3b0e3d1f1d4c: Download complete 01a7a8858579: Verifying Checksum 01a7a8858579: Download complete 2ba1f9128fdf: Verifying Checksum 2ba1f9128fdf: Download complete 9164ac1c1f7d: Verifying Checksum 9164ac1c1f7d: Download complete 992a9e5c4973: Verifying Checksum 992a9e5c4973: Download complete 9392a321e745: Verifying Checksum 9392a321e745: Download complete d4f24245de84: Verifying Checksum d4f24245de84: Download complete e092361b0bd5: Verifying Checksum e092361b0bd5: Download complete 715b08f65540: Verifying Checksum 715b08f65540: Download complete 65e50d0b7f26: Download complete ef46a782c55c: Verifying Checksum ef46a782c55c: Download complete 52560ec7a98b: Pull complete eab0a4b3bd3e: Pull complete f80cd650a7b6: Pull complete 26955ddfd8bd: Download complete 337240be42b5: Pull complete 79225da4e8d0: Pull complete a5cc6a7f78d0: Verifying Checksum a5cc6a7f78d0: Download complete f67ba658bdf5: Verifying Checksum f67ba658bdf5: Download complete 5d5d64053dac: Verifying Checksum 5d5d64053dac: Download complete 985c150a969d: Verifying Checksum 985c150a969d: Download complete e0702fdafe21: Verifying Checksum e0702fdafe21: Download complete 5239f5f1c57d: Verifying Checksum 5239f5f1c57d: Download complete f909f7e0e365: Verifying Checksum f909f7e0e365: Download complete 17c5ed5c97ae: Pull complete 723d5257c443: Pull complete 9108ffdcd51b: Pull complete 570a06170d5a: Pull complete 3bc38e4bbd23: Pull complete dcf595e232e9: Pull complete 6fbf7a6e59b8: Pull complete 9b81e60cd0dc: Pull complete b2056aa0f0ef: Pull complete 5947402c93e3: Pull complete ba9912c5009c: Pull complete 9948a9b882ca: Pull complete 9c425dfe1f36: Pull complete fd80f5ed0258: Pull complete 4f4fb700ef54: Pull complete 68d647695fbb: Pull complete d6f345d3600b: Pull complete 7ef4f05a5a02: Pull complete 3d711792550b: Pull complete 97e3998c71ca: Pull complete 3b0e3d1f1d4c: Pull complete 01a7a8858579: Pull complete 2ba1f9128fdf: Pull complete 9164ac1c1f7d: Pull complete 992a9e5c4973: Pull complete 9392a321e745: Pull complete d4f24245de84: Pull complete f67ba658bdf5: Pull complete e092361b0bd5: Pull complete 5239f5f1c57d: Pull complete 715b08f65540: Pull complete 65e50d0b7f26: Pull complete ef46a782c55c: Pull complete 26955ddfd8bd: Pull complete a5cc6a7f78d0: Pull complete f909f7e0e365: Pull complete 5d5d64053dac: Pull complete 985c150a969d: Pull complete e0702fdafe21: Pull complete Digest: sha256:73f78e7d2477f88aa54bf55c583f7672d903aa7dab56badcc4faeb651e0ab14e Status: Downloaded newer image for ocaml/opam@sha256:73f78e7d2477f88aa54bf55c583f7672d903aa7dab56badcc4faeb651e0ab14e 2024-09-10 08:43.41 ---> using "d036b4d12a9bb1e39537264f47e10c99b45f7b9cd1f2999130a852da7d19c3dd" from cache /: (env QCHECK_MSG_INTERVAL 60) /: (user (uid 1000) (gid 1000)) /: (workdir /src) /src: (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) Configuring from /home/opam/.opamrc and then 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 development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted. You may want to back it up before going further. Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from file:///home/opam/opam-repository 2024-09-10 08:43.41 ---> using "36a59d478966717601fecf6e05337bb619a6752cb291713c4c04685ed34dc8ad" from cache /src: (workdir /src) /src: (run (shell "sudo chown opam /src")) 2024-09-10 08:43.41 ---> using "485e84284db6891b68d43d4f07b9415382e73b9b4c70a69ae89b40f1cd27c9e5" from cache /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 7f8a1201e6585abc0601ef078822cf58d4fa4248 || git fetch origin master) && git reset -q --hard 7f8a1201e6585abc0601ef078822cf58d4fa4248 && git log --no-decorate -n1 --oneline && opam update -u")) From https://github.com/ocaml/opam-repository * branch master -> FETCH_HEAD 8187cd8d36..7f8a1201e6 master -> origin/master 7f8a1201e6 Merge pull request #26514 from yawaramin/release-dream-html-v3.6.2 <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from file:///home/opam/opam-repository Everything as up-to-date as possible (run with --verbose to show unavailable upgrades). However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages. Nothing to do. # Run eval $(opam env) to update the current shell environment 2024-09-10 08:43.42 ---> using "f98cdce5753bb5c5ce40bc1e0460035166d92f1002e4c17c28c559aef1b81a5b" from cache /src: (run (network host) (shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default")) [override] Initialised 2024-09-10 08:43.42 ---> using "d018f6e6f56a13664ad5d0e6afb7b8c69b597fdccc1360c9be5ce40ff1c9a837" from cache /src: (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam) (dst ./)) 2024-09-10 08:43.42 ---> using "9833dfbf574b232f3f539139347b7367b0d902d142045958f2a80c76387a48ef" from cache /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam pin --no-action qcheck-multicoretests-util.dev ./ && opam pin --no-action qcheck-lin.dev ./ && opam pin --no-action qcheck-stm.dev ./ && opam pin --no-action multicoretests.dev ./")) [qcheck-multicoretests-util.dev] synchronised (file:///src) qcheck-multicoretests-util is now pinned to file:///src (version dev) [qcheck-lin.dev] synchronised (file:///src) qcheck-lin is now pinned to file:///src (version dev) [qcheck-stm.dev] synchronised (file:///src) qcheck-stm is now pinned to file:///src (version dev) Package multicoretests does not exist, create as a NEW package? [Y/n] y [multicoretests.dev] synchronised (file:///src) multicoretests is now pinned to file:///src (version dev) 2024-09-10 08:43.42 ---> using "4a1aa5f2427e4841d029c258af4d32b8a9aba3ff7cf09a7c6c48047515aaf2a4" from cache /src: (env CI true) /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ./")) + /usr/bin/sudo "apt-get" "update" - Hit:1 http://deb.debian.org/debian bullseye InRelease - Get:2 http://deb.debian.org/debian-security bullseye-security InRelease [27.2 kB] - Get:3 http://deb.debian.org/debian bullseye-updates InRelease [44.1 kB] - Fetched 71.2 kB in 0s (208 kB/s) - Reading package lists... - [multicoretests.dev] synchronised (no changes) [qcheck-lin.dev] synchronised (no changes) [qcheck-multicoretests-util.dev] synchronised (no changes) [qcheck-stm.dev] synchronised (no changes) 2024-09-10 08:43.42 ---> using "4e78ab04ac0d1a5f84718c4079264b2e24ae2f33f51dfeb015547775385f9383" from cache /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install ./")) [qcheck-lin.dev] synchronised (no changes) [multicoretests.dev] synchronised (no changes) [qcheck-multicoretests-util.dev] synchronised (no changes) [qcheck-stm.dev] synchronised (no changes) The following actions will be performed: - install dune 3.16.0 [required by qcheck-multicoretests-util, multicoretests, qcheck-lin, qcheck-stm] - install qcheck-core 0.22 [required by qcheck-multicoretests-util, multicoretests, qcheck-lin, qcheck-stm] - install qcheck-multicoretests-util dev* - install qcheck-stm dev* - install qcheck-lin dev* - install multicoretests dev* ===== 6 to install ===== <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved qcheck-core.0.22 (cached) -> retrieved multicoretests.dev (file:///src) -> retrieved qcheck-lin.dev (file:///src) -> retrieved qcheck-multicoretests-util.dev (file:///src) -> retrieved qcheck-stm.dev (file:///src) -> retrieved dune.3.16.0 (cached) -> installed dune.3.16.0 -> installed qcheck-core.0.22 -> installed qcheck-multicoretests-util.dev -> installed qcheck-lin.dev -> installed qcheck-stm.dev -> installed multicoretests.dev Done. # Run eval $(opam env) to update the current shell environment 2024-09-10 08:43.42 ---> using "aa0f985e90fe2994f3fdbf01311e92b0cef9ed4c0cc0fd145b90d4e360981208" from cache /src: (run (shell "eval $(opam env) && opam exec -- ocamlc -config && opam config list && opam list --columns=name,installed-version,repository,synopsis-or-target")) version: 5.2.0 standard_library_default: /home/opam/.opam/5.2/lib/ocaml standard_library: /home/opam/.opam/5.2/lib/ocaml ccomp_type: cc c_compiler: gcc ocamlc_cflags: -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread ocamlc_cppflags: -D_FILE_OFFSET_BITS=64 ocamlopt_cflags: -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread ocamlopt_cppflags: -D_FILE_OFFSET_BITS=64 bytecomp_c_compiler: gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64 native_c_compiler: gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64 bytecomp_c_libraries: -lzstd -lm -ldl -lpthread native_c_libraries: -lm -ldl -lpthread native_ldflags: native_pack_linker: ld -r -o native_compiler: true architecture: s390x model: z10 int_size: 63 word_size: 64 system: linux asm: gcc -c asm_cfi_supported: true with_frame_pointers: false ext_exe: ext_obj: .o ext_asm: .s ext_lib: .a ext_dll: .so os_type: Unix default_executable_name: a.out systhread_supported: true host: s390x-ibm-linux-gnu target: s390x-ibm-linux-gnu flambda: false safe_string: true default_safe_string: true flat_float_array: true function_sections: false afl_instrument: false tsan: false windows_unicode: false supports_shared_libraries: true native_dynlink: true naked_pointers: false exec_magic_number: Caml1999X034 cmi_magic_number: Caml1999I034 cmo_magic_number: Caml1999O034 cma_magic_number: Caml1999A034 cmx_magic_number: Caml1999Y034 cmxa_magic_number: Caml1999Z034 ast_impl_magic_number: Caml1999M034 ast_intf_magic_number: Caml1999N034 cmxs_magic_number: Caml1999D034 cmt_magic_number: Caml1999T034 linear_magic_number: Caml1999L034 <><> Global opam variables ><><><><><><><><><><><><><><><><><><><><><><><><><><> arch s390x # Inferred from system exe # Suffix needed for executable filenames (Windows) jobs 3 # The number of parallel jobs set up in opam configuration make make # The 'make' command to use opam-version 2.1.6 # The currently running opam version os linux # Inferred from system os-distribution debian # Inferred from system os-family debian # Inferred from system os-version 11 # Inferred from system root /home/opam/.opam # The current opam root directory switch 5.2 # The identifier of the current switch sys-ocaml-version # OCaml version present on your system independently of opam, if any <><> Configuration variables from the current switch ><><><><><><><><><><><><><> prefix /home/opam/.opam/5.2 lib /home/opam/.opam/5.2/lib bin /home/opam/.opam/5.2/bin sbin /home/opam/.opam/5.2/sbin share /home/opam/.opam/5.2/share doc /home/opam/.opam/5.2/doc etc /home/opam/.opam/5.2/etc man /home/opam/.opam/5.2/man toplevel /home/opam/.opam/5.2/lib/toplevel stublibs /home/opam/.opam/5.2/lib/stublibs user opam group opam <><> Package variables ('opam var --package PKG' to show) <><><><><><><><><><><> PKG:name # Name of the package PKG:version # Version of the package PKG:depends # Resolved direct dependencies of the package PKG:installed # Whether the package is installed PKG:enable # Takes the value "enable" or "disable" depending on whether the package is installed PKG:pinned # Whether the package is pinned PKG:bin # Binary directory for this package PKG:sbin # System binary directory for this package PKG:lib # Library directory for this package PKG:man # Man directory for this package PKG:doc # Doc directory for this package PKG:share # Share directory for this package PKG:etc # Etc directory for this package PKG:build # Directory where the package was built PKG:hash # Hash of the package archive PKG:dev # True if this is a development package PKG:build-id # A hash identifying the precise package version with all its dependencies PKG:opamfile # Path of the curent opam file # Packages matching: installed # Name # Installed # Repository # Synopsis base-bigarray base default base-domains base default base-nnp base default Naked pointers prohibited in the OCaml heap base-threads base default base-unix base default dune 3.16.0 default Fast, portable, and opinionated build system host-arch-s390x 1 default OCaml on 64-bit IBM z/Architecture host-system-other 1 default OCaml on an unidentified system multicoretests dev pinned to version dev at file:///src ocaml 5.2.0 default The OCaml compiler (virtual package) ocaml-base-compiler 5.2.0 default pinned to version 5.2.0 ocaml-config 3 default OCaml Switch Configuration ocaml-options-vanilla 1 default Ensure that OCaml is compiled with no special options enabled opam-depext 1.2.3 default Install OS distribution packages qcheck-core 0.22 default Core qcheck library qcheck-lin dev pinned to version dev at file:///src qcheck-multicoretests-util dev pinned to version dev at file:///src qcheck-stm dev pinned to version dev at file:///src 2024-09-10 08:43.42 ---> using "d37c5ca279883faa8a3419f95dff5d89d7af3180c049d02240e6653a6bee9840" from cache /src: (copy (src .) (dst /src)) 2024-09-10 08:43.47 ---> saved as "ee3cce0ef56abd3bc3bf076b7b7987ea94c7203045489744a7c46f90ef7db7c3" /src: (run (shell "eval $(opam env) && dune build && dune runtest -j1 --no-buffer --display=quiet test/ && dune build @ci -j1 --no-buffer --display=quiet --error-reporting=twice")) STM ensure cleanup: sequential test OK STM ensure cleanup: parallel test OK random seed: 301717275 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM test exception during next_state consistency [ ] 0 0 0 0 / 1000 0.0s STM test exception during next_state consistency (generating) [✓] 1000 0 0 1000 / 1000 0.0s STM test exception during next_state consistency ================================================================================ success (ran 1 tests) STM test exception during next_state sequential failed with Random_next_state_failure as expected STM test exception during next_state parallel failed with Random_next_state_failure as expected Starting 1-th run random seed: 271905598 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 37.9s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 2-th run random seed: 45904163 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 26.4s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 3-th run random seed: 518872040 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 24.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 4-th run random seed: 494719426 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 12.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 5-th run random seed: 253362622 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 15.0s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 6-th run random seed: 324056575 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 11.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 7-th run random seed: 247175240 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 17.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 8-th run random seed: 377737380 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 33.4s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 9-th run random seed: 14271092 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 15.0s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 10-th run random seed: 466202695 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.9s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 11-th run random seed: 186178071 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.2s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 12-th run random seed: 389902382 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 13-th run random seed: 377215925 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.1s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 14-th run random seed: 271196727 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 15-th run random seed: 32867451 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 15.0s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 16-th run random seed: 493566003 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 18.4s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 17-th run random seed: 31987897 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 13.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 18-th run random seed: 74272051 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 15.9s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 19-th run random seed: 279597687 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 15.3s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 20-th run random seed: 138813447 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 15.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 21-th run random seed: 275570002 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 13.4s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 22-th run random seed: 14305542 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 13.4s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 23-th run random seed: 505965124 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.4s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 24-th run random seed: 212043112 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 15.2s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 25-th run random seed: 62415014 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 16.9s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 26-th run random seed: 279487481 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 15.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 27-th run random seed: 76511045 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 28-th run random seed: 184207829 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 9.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 29-th run random seed: 408208082 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.9s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 30-th run random seed: 362625915 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 15.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 31-th run random seed: 65523450 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 19.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 32-th run random seed: 475326475 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 17.3s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 33-th run random seed: 247104113 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 18.1s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 34-th run random seed: 517224351 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.9s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 35-th run random seed: 366622061 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 13.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 36-th run random seed: 237068832 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.3s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 37-th run random seed: 143288860 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 12.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 38-th run random seed: 133629777 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 16.2s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 39-th run random seed: 466653842 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 15.3s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 40-th run random seed: 280069957 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 19.2s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 41-th run random seed: 289190767 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 42-th run random seed: 284148928 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 17.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 43-th run random seed: 160606875 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 11.9s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 44-th run random seed: 121748336 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 15.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 45-th run random seed: 419624378 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 24.0s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 46-th run random seed: 244027285 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 17.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 47-th run random seed: 487791116 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 24.4s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 48-th run random seed: 335777177 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 13.4s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 49-th run random seed: 148001545 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 15.9s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 50-th run random seed: 44788796 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 25.4s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 51-th run random seed: 241046180 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.9s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 52-th run random seed: 147697966 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 53-th run random seed: 180476128 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 18.0s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 54-th run random seed: 252284334 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 21.3s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 55-th run random seed: 29457603 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 17.2s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 56-th run random seed: 408760877 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.4s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 57-th run random seed: 330781118 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 58-th run random seed: 333210083 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 19.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 59-th run random seed: 228442689 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 19.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 60-th run random seed: 436506825 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 21.1s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 61-th run random seed: 56280659 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 13.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 62-th run random seed: 119553246 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 28.3s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 63-th run random seed: 432126077 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 32.9s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 64-th run random seed: 133183016 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 24.9s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 65-th run random seed: 475546455 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 20.0s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 66-th run random seed: 470687745 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 20.0s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 67-th run random seed: 239509355 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.6s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 68-th run random seed: 391754252 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 13.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 69-th run random seed: 251083721 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 15.4s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 70-th run random seed: 426992331 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 71-th run random seed: 113687990 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 72-th run random seed: 170403240 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 73-th run random seed: 433003399 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.1s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 74-th run random seed: 408437398 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 12.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 75-th run random seed: 474326920 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 13.3s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 76-th run random seed: 94187392 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 15.0s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 77-th run random seed: 415915888 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 13.4s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 78-th run random seed: 347812934 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 13.2s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 79-th run random seed: 353241909 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 13.0s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 80-th run random seed: 504911861 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 17.1s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 81-th run random seed: 234877727 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 82-th run random seed: 230402536 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 12.3s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 83-th run random seed: 345645909 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 84-th run random seed: 84855933 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 17.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 85-th run random seed: 202942246 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 12.3s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 86-th run random seed: 77820114 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.4s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 87-th run random seed: 232984305 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.8s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 88-th run random seed: 485550592 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 11.3s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 89-th run random seed: 470177865 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 12.9s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 90-th run random seed: 21312060 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 13.7s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 91-th run random seed: 52322487 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 15.1s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 92-th run random seed: 38382257 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 15.9s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 93-th run random seed: 284593821 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 13.1s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 94-th run random seed: 328569627 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 15.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 95-th run random seed: 508326907 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 13.4s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 96-th run random seed: 57354276 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 97-th run random seed: 159224842 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 12.4s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 98-th run random seed: 506108363 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 14.1s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 99-th run random seed: 232934016 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 16.5s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) Starting 100-th run random seed: 367213910 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential [ ] 0 0 0 0 / 1000 0.0s STM Domain.DLS test sequential (generating) [✓] 1000 0 0 1000 / 1000 11.1s STM Domain.DLS test sequential ================================================================================ success (ran 1 tests) 2024-09-10 09:21.04 ---> saved as "7dfb2a1ad7c6aa856bba9af36738931d821119488aaf93499e08041b645f38dc" Job succeeded 2024-09-10 09:21.05: Job succeeded