2024-11-04 11:23.47: New job: test ocaml-multicore/saturn https://github.com/ocaml-multicore/saturn.git#refs/heads/experimental-skiplist-with-atomic_array (b0d36a0cbdc0b31c54cc259601be59f0b5a7071f) (linux-arm64:debian-12-5.2_arm32_opam-2.2)Base: ocaml/opam:debian-12-ocaml-5.2@sha256:19267bf9b1810affc4462a50a1090969a0f139bb3d13caccf9675a9cab2a13deOpam project buildTo reproduce locally:git clone --recursive "https://github.com/ocaml-multicore/saturn.git" -b "experimental-skiplist-with-atomic_array" && cd "saturn" && git reset --hard b0d36a0ccat > Dockerfile <<'END-OF-DOCKERFILE'FROM ocaml/opam:debian-12-ocaml-5.2@sha256:19267bf9b1810affc4462a50a1090969a0f139bb3d13caccf9675a9cab2a13de# debian-12-5.2_arm32_opam-2.2USER 1000:1000SHELL [ "/usr/bin/linux32", "/bin/sh", "-c" ]ENV CLICOLOR_FORCE="1"ENV OPAMCOLOR="always"WORKDIR /srcRUN sudo ln -f /usr/bin/opam-2.2 /usr/bin/opamRUN opam init --reinit -niRUN uname -rs && opam exec -- ocaml -version && opam --versionWORKDIR /srcRUN sudo chown opam /srcRUN cd ~/opam-repository && (git cat-file -e 371a52f4a8b5c88dc9de4f5a5f6375fb0963297a || git fetch origin master) && git reset -q --hard 371a52f4a8b5c88dc9de4f5a5f6375fb0963297a && git log --no-decorate -n1 --oneline && opam update -uCOPY --chown=1000:1000 saturn_lockfree.opam saturn.opam ./RUN opam pin add -yn saturn_lockfree.dev './' && \opam pin add -yn saturn.dev './'ENV DEPS="alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 containers.3.14 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.16.1 dune-configurator.3.16.1 either.1.0.0 fmt.0.9.0 host-arch-arm32.1 host-system-other.1 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.0 multicore-magic-dscheck.2.3.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-option-bytecode-only.1 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.15.0 ocamlfind.1.9.6 oseq.0.5.1 ounit2.2.2.7 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-ounit.0.22 qcheck-stm.0.4 re.1.12.0 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.0.7 tsort.2.1.0 uutf.1.0.3 yojson.2.2.2"ENV CI="true"ENV OCAMLCI="true"RUN opam update --depexts && opam install --cli=2.2 --depext-only -y saturn_lockfree.dev saturn.dev $DEPSRUN opam install $DEPSCOPY --chown=1000:1000 . /srcRUN opam exec -- dune build @install @check @runtest && rm -rf _buildEND-OF-DOCKERFILEdocker build .END-REPRO-BLOCK2024-11-04 11:23.47: Using cache hint "ocaml-multicore/saturn-ocaml/opam:debian-12-ocaml-5.2@sha256:19267bf9b1810affc4462a50a1090969a0f139bb3d13caccf9675a9cab2a13de-debian-12-5.2_arm32_opam-2.2-dc42496d6e8a0d3facafe1d497234158"2024-11-04 11:23.47: Using OBuilder spec:((from ocaml/opam:debian-12-ocaml-5.2@sha256:19267bf9b1810affc4462a50a1090969a0f139bb3d13caccf9675a9cab2a13de)(comment debian-12-5.2_arm32_opam-2.2)(user (uid 1000) (gid 1000))(shell /usr/bin/linux32 /bin/sh -c)(env CLICOLOR_FORCE 1)(env OPAMCOLOR always)(workdir /src)(run (shell "sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam"))(run (shell "opam init --reinit -ni"))(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))(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 371a52f4a8b5c88dc9de4f5a5f6375fb0963297a || git fetch origin master) && git reset -q --hard 371a52f4a8b5c88dc9de4f5a5f6375fb0963297a && git log --no-decorate -n1 --oneline && opam update -u"))(copy (src saturn_lockfree.opam saturn.opam) (dst ./))(run (network host)(shell "opam pin add -yn saturn_lockfree.dev './' && \\nopam pin add -yn saturn.dev './'"))(env DEPS "alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 containers.3.14 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.16.1 dune-configurator.3.16.1 either.1.0.0 fmt.0.9.0 host-arch-arm32.1 host-system-other.1 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.0 multicore-magic-dscheck.2.3.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-option-bytecode-only.1 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.15.0 ocamlfind.1.9.6 oseq.0.5.1 ounit2.2.2.7 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-ounit.0.22 qcheck-stm.0.4 re.1.12.0 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.0.7 tsort.2.1.0 uutf.1.0.3 yojson.2.2.2")(env CI true)(env OCAMLCI true)(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam update --depexts && opam install --cli=2.2 --depext-only -y saturn_lockfree.dev saturn.dev $DEPS"))(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam install $DEPS"))(copy (src .) (dst /src))(run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build")))2024-11-04 11:23.47: Waiting for resource in pool OCluster2024-11-04 20:22.32: Waiting for worker…2024-11-04 21:10.16: Got resource from pool OClusterBuilding on okypous.caelum.ci.devAll commits already cachedHEAD is now at b0d36a0 Experimental `Skiplist` with `Atomic_array`(from ocaml/opam:debian-12-ocaml-5.2@sha256:19267bf9b1810affc4462a50a1090969a0f139bb3d13caccf9675a9cab2a13de)Unable to find image 'ocaml/opam:debian-12-ocaml-5.2@sha256:19267bf9b1810affc4462a50a1090969a0f139bb3d13caccf9675a9cab2a13de' locallydocker.io/ocaml/opam@sha256:19267bf9b1810affc4462a50a1090969a0f139bb3d13caccf9675a9cab2a13de: Pulling from ocaml/opamab5e93176687: Already exists7fb4bc99a135: Pulling fs layer4ba430ed5bc2: Pulling fs layer3e2b901ddb8f: Pulling fs layer2aa6a7f12963: Pulling fs layer85fb41bbd3f9: Pulling fs layer85fc00db30c9: Pulling fs layer583071e5d12e: Pulling fs layer2aa6a7f12963: Waiting85fb41bbd3f9: Waiting583071e5d12e: Waiting85fc00db30c9: Waiting4ba430ed5bc2: Verifying Checksum4ba430ed5bc2: Download complete7fb4bc99a135: Verifying Checksum7fb4bc99a135: Download complete3e2b901ddb8f: Verifying Checksum3e2b901ddb8f: Download complete7fb4bc99a135: Pull complete4ba430ed5bc2: Pull complete3e2b901ddb8f: Pull complete85fb41bbd3f9: Verifying Checksum85fb41bbd3f9: Download complete85fc00db30c9: Verifying Checksum85fc00db30c9: Download complete583071e5d12e: Verifying Checksum583071e5d12e: Download complete2aa6a7f12963: Download complete2aa6a7f12963: Pull complete85fb41bbd3f9: Pull complete85fc00db30c9: Pull complete583071e5d12e: Pull completeDigest: sha256:19267bf9b1810affc4462a50a1090969a0f139bb3d13caccf9675a9cab2a13deStatus: Downloaded newer image for ocaml/opam@sha256:19267bf9b1810affc4462a50a1090969a0f139bb3d13caccf9675a9cab2a13deWARNING: The requested image's platform (linux/arm/v7) does not match the detected host platform (linux/arm64/v8) and no specific platform was requested2024-11-04 21:10.16 ---> using "24503b061b944c495713f48298bd636913b75a87f11f63b571d72db11c950576" from cache/: (comment debian-12-5.2_arm32_opam-2.2)/: (user (uid 1000) (gid 1000))/: (shell /usr/bin/linux32 /bin/sh -c)/: (env CLICOLOR_FORCE 1)/: (env OPAMCOLOR always)/: (workdir /src)/src: (run (shell "sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam"))2024-11-04 21:10.16 ---> using "2449815e3dd0d59acf2f5a03571490b384b29776ee2c8ab9335a086cf75a363f" from cache/src: (run (shell "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.This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.You may want to back it up before going further.Continue? [y/n] yFormat upgrade done.<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>[default] synchronised from file:///home/opam/opam-repository2024-11-04 21:10.16 ---> using "481fa7d404335a318417fac2e8fcb6e9b4798664d39aff8c08ced0bf66241e6d" from cache/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))Linux 5.15.0-122-genericThe OCaml toplevel, version 5.2.02.2.12024-11-04 21:10.16 ---> using "25a6729b8ca450babbcc08d6983aed6034b075b655602b8f4e27b72e7b6510ac" from cache/src: (workdir /src)/src: (run (shell "sudo chown opam /src"))2024-11-04 21:10.16 ---> using "2363a6e7af335fa182149ce834274d4f563f48c2ecf5d107307acc238671ff12" from cache/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "cd ~/opam-repository && (git cat-file -e 371a52f4a8b5c88dc9de4f5a5f6375fb0963297a || git fetch origin master) && git reset -q --hard 371a52f4a8b5c88dc9de4f5a5f6375fb0963297a && git log --no-decorate -n1 --oneline && opam update -u"))From https://github.com/ocaml/opam-repository* branch master -> FETCH_HEADce4637ae20..9048aac630 master -> origin/master371a52f4a8 Merge pull request #26816 from maiste/release-dune-3.16.1<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>[default] synchronised from file:///home/opam/opam-repositoryEverything 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 environment2024-11-04 21:10.16 ---> using "0411b3c3d8f5f947d271cb15583319cd7a9fb0398e2a43da6bdc64faad2401a0" from cache/src: (copy (src saturn_lockfree.opam saturn.opam) (dst ./))2024-11-04 21:10.16 ---> saved as "4ecdee8c24627654a619354b2ffa5432cb8cca85080fe542ff513cf6e151af54"/src: (run (network host)(shell "opam pin add -yn saturn_lockfree.dev './' && \\nopam pin add -yn saturn.dev './'"))[saturn_lockfree.dev] synchronised (file:///src)saturn_lockfree is now pinned to file:///src (version dev)[saturn.dev] synchronised (file:///src)saturn is now pinned to file:///src (version dev)2024-11-04 21:10.20 ---> saved as "bd021a6d00d397c5bc47c5623f6123249b765ba7cf8a83c6261065a82cde40b0"/src: (env DEPS "alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 containers.3.14 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.16.1 dune-configurator.3.16.1 either.1.0.0 fmt.0.9.0 host-arch-arm32.1 host-system-other.1 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.0 multicore-magic-dscheck.2.3.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-option-bytecode-only.1 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.15.0 ocamlfind.1.9.6 oseq.0.5.1 ounit2.2.2.7 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-ounit.0.22 qcheck-stm.0.4 re.1.12.0 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.0.7 tsort.2.1.0 uutf.1.0.3 yojson.2.2.2")/src: (env CI true)/src: (env OCAMLCI true)/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam update --depexts && opam install --cli=2.2 --depext-only -y saturn_lockfree.dev saturn.dev $DEPS"))+ /usr/bin/sudo "apt-get" "update"- Hit:1 http://deb.debian.org/debian bookworm InRelease- Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB]- Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]- Get:4 http://deb.debian.org/debian-security bookworm-security/main armhf Packages [187 kB]- Fetched 290 kB in 1s (502 kB/s)- Reading package lists...-<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>[saturn_lockfree.dev] synchronised (no changes)[saturn.dev] synchronised (no changes)[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).[NOTE] Package ocaml-option-bytecode-only is already installed (current version is 1).[NOTE] Package ocaml-config is already installed (current version is 3).[NOTE] Package ocaml-base-compiler is already installed (current version is 5.2.0).[NOTE] Package ocaml is already installed (current version is 5.2.0).[NOTE] Package host-system-other is already installed (current version is 1).[NOTE] Package host-arch-arm32 is already installed (current version is 1).[NOTE] Package base-unix is already installed (current version is base).[NOTE] Package base-threads is already installed (current version is base).[NOTE] Package base-nnp is already installed (current version is base).[NOTE] Package base-domains is already installed (current version is base).[NOTE] Package base-bigarray is already installed (current version is base).2024-11-04 21:10.37 ---> saved as "1c9fb33e05c4c1f76d4a34e802f961c3c473386f3eee2819761509d265fa24fe"/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam install $DEPS"))[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).[NOTE] Package ocaml-option-bytecode-only is already installed (current version is 1).[NOTE] Package ocaml-config is already installed (current version is 3).[NOTE] Package ocaml-base-compiler is already installed (current version is 5.2.0).[NOTE] Package ocaml is already installed (current version is 5.2.0).[NOTE] Package host-system-other is already installed (current version is 1).[NOTE] Package host-arch-arm32 is already installed (current version is 1).[NOTE] Package base-unix is already installed (current version is base).[NOTE] Package base-threads is already installed (current version is base).[NOTE] Package base-nnp is already installed (current version is base).[NOTE] Package base-domains is already installed (current version is base).[NOTE] Package base-bigarray is already installed (current version is base).The following actions will be performed:=== install 36 packages- install alcotest 1.8.0- install astring 0.8.5- install backoff 0.1.1- install cmdliner 1.3.0- install containers 3.14- install csexp 1.5.2- install domain-local-await 1.0.1- install domain_shims 0.1.0- install dscheck 0.5.0- install dune 3.16.1- install dune-configurator 3.16.1- install either 1.0.0- install fmt 0.9.0- install mtime 2.1.0- install multicore-bench 0.1.7- install multicore-magic 2.3.0- install multicore-magic-dscheck 2.3.0- install ocaml-syntax-shims 1.0.0- install ocamlbuild 0.15.0- install ocamlfind 1.9.6- install oseq 0.5.1- install ounit2 2.2.7- install qcheck 0.22- install qcheck-alcotest 0.22- install qcheck-core 0.22- install qcheck-multicoretests-util 0.4- install qcheck-ounit 0.22- install qcheck-stm 0.4- install re 1.12.0- install seq base- install stdlib-shims 0.3.0- install thread-table 1.0.0- install topkg 1.0.7- install tsort 2.1.0- install uutf 1.0.3- install yojson 2.2.2<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>-> retrieved backoff.0.1.1 (cached)-> retrieved astring.0.8.5 (cached)-> retrieved cmdliner.1.3.0 (cached)-> retrieved alcotest.1.8.0 (cached)-> retrieved containers.3.14 (cached)-> retrieved csexp.1.5.2 (cached)-> retrieved domain-local-await.1.0.1 (cached)-> retrieved domain_shims.0.1.0 (cached)-> retrieved dscheck.0.5.0 (cached)-> retrieved either.1.0.0 (cached)-> retrieved fmt.0.9.0 (cached)-> retrieved mtime.2.1.0 (cached)-> retrieved multicore-bench.0.1.7 (cached)-> retrieved multicore-magic.2.3.0, multicore-magic-dscheck.2.3.0 (cached)-> retrieved ocaml-syntax-shims.1.0.0 (cached)-> retrieved ocamlbuild.0.15.0 (cached)-> retrieved ocamlfind.1.9.6 (cached)-> retrieved oseq.0.5.1 (cached)-> retrieved ounit2.2.2.7 (cached)-> retrieved qcheck.0.22, qcheck-alcotest.0.22, qcheck-core.0.22, qcheck-ounit.0.22 (cached)-> retrieved dune.3.16.1, dune-configurator.3.16.1 (cached)-> retrieved seq.base (cached)-> installed seq.base-> retrieved qcheck-multicoretests-util.0.4, qcheck-stm.0.4 (cached)-> retrieved re.1.12.0 (cached)-> retrieved stdlib-shims.0.3.0 (cached)-> retrieved thread-table.1.0.0 (cached)-> retrieved tsort.2.1.0 (cached)-> retrieved uutf.1.0.3 (cached)-> retrieved topkg.1.0.7 (cached)-> installed cmdliner.1.3.0-> installed ocamlbuild.0.15.0-> retrieved yojson.2.2.2 (cached)-> installed ocamlfind.1.9.6-> installed topkg.1.0.7-> installed mtime.2.1.0-> installed uutf.1.0.3-> installed fmt.0.9.0-> installed astring.0.8.5-> installed dune.3.16.1-> installed domain_shims.0.1.0-> installed backoff.0.1.1-> installed csexp.1.5.2-> installed either.1.0.0-> installed multicore-magic.2.3.0-> installed oseq.0.5.1-> installed qcheck-core.0.22-> installed re.1.12.0-> installed stdlib-shims.0.3.0-> installed thread-table.1.0.0-> installed tsort.2.1.0-> installed yojson.2.2.2-> installed qcheck-multicoretests-util.0.4-> installed domain-local-await.1.0.1-> installed qcheck-stm.0.4-> installed multicore-bench.0.1.7-> installed ounit2.2.2.7-> installed qcheck-ounit.0.22-> installed qcheck.0.22-> installed dune-configurator.3.16.1-> installed ocaml-syntax-shims.1.0.0-> installed alcotest.1.8.0-> installed qcheck-alcotest.0.22-> installed containers.3.14-> installed dscheck.0.5.0-> installed multicore-magic-dscheck.2.3.0Done.# Run eval $(opam env) to update the current shell environment2024-11-04 21:11.42 ---> saved as "17db173dbe42f79a31cb0c31f5f7a0486f2d695202e6ad6a2c37ce1a62e99bce"/src: (copy (src .) (dst /src))2024-11-04 21:11.43 ---> saved as "3c467a7ae9b9841fd8d5aee716f5bccd0c69034452caa041190b833a9015ac22"/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))(cd _build/default/test/ws_deque && ./test_ws_deque.exe)test_exit: oktest_push_and_pop: oktest_push_and_steal: oktest_concurrent_workload: ok (pushed = 100000, popped = 80817, stolen = 19183)(cd _build/default/test/ws_deque && ./ws_deque_dscheck.exe)Testing `ws_deque_dscheck'.This run has ID `SFTMVF9G'.[OK] basic 0 1-owner-1-stealer.[OK] basic 1 1-pusher-2-stealers.Full test results in `/src/_build/default/test/ws_deque/_build/_tests/ws_deque_dscheck'.Test Successful in 0.011s. 2 tests run.(cd _build/default/test/mpsc_queue && ./mpsc_queue_dscheck.exe)Testing `mpsc_queue_dscheck'.This run has ID `6QNUMZTY'.[OK] basic 0 1-producer-1-consumer.[OK] basic 1 1-producer-1-consumer-peek.[OK] basic 2 2-producers.Full test results in `/src/_build/default/test/mpsc_queue/_build/_tests/mpsc_queue_dscheck'.Test Successful in 0.102s. 3 tests run.(cd _build/default/test/spsc_queue && ./test_spsc_queue.exe)test_Spsc_queue_empty: oktest_Spsc_queue_full: oktest_Spsc_queue_parallel: ok (transferred = 100000)test_Spsc_queue_unsafe_empty: oktest_Spsc_queue_unsafe_full: oktest_Spsc_queue_unsafe_parallel: ok (transferred = 100000)(cd _build/default/test/size && ./dscheck_size.exe)Testing `dscheck_size'.This run has ID `6E130Y6Y'.[OK] basic 0 underflow and overflow.[OK] basic 1 2-mem.[OK] basic 2 2-add-same.[OK] basic 3 2-add.[OK] basic 4 2-remove-same.[OK] basic 5 2-remove.Full test results in `/src/_build/default/test/size/_build/_tests/dscheck_size'.Test Successful in 0.153s. 6 tests run.(cd _build/default/test/skiplist && ./dscheck_skiplist.exe)Testing `DSCheck Skiplist'.This run has ID `7H7TV467'.[OK] basic 0 max_height_of.[OK] basic 1 2-mem.[OK] basic 2 2-add-same.[OK] basic 3 2-add.[OK] basic 4 2-remove-same.[OK] basic 5 2-remove.Full test results in `/src/_build/default/test/skiplist/_build/_tests/DSCheck Skiplist'.Test Successful in 0.214s. 6 tests run.(cd _build/default/test/treiber_stack && ./qcheck_treiber_stack.exe)qcheck random seed: 326572424Testing `Treiber_stack'.This run has ID `J0M6D04M'.[OK] test_sequential 0 push.[OK] test_sequential 1 push_pop_until_empty.[OK] test_sequential 2 lifo.[OK] one_cons_one_prod 0 parallel.[OK] two_domains 0 parallel_pop_push.[OK] two_domains 1 parallel_pop_push_random.Full test results in `/src/_build/default/test/treiber_stack/_build/_tests/Treiber_stack'.Test Successful in 0.275s. 6 tests run.(cd _build/default/test/spsc_queue && ./spsc_queue_dscheck.exe)Testing `spsc_queue_dscheck'.This run has ID `SFYGFOHT'.[OK] basic_safe 0 simple-test.[OK] wrap-arounds_safe 0 shift-by-1.[OK] wrap-arounds_safe 1 shift-by-6.[OK] wrap-arounds_safe 2 shift-by-11.[OK] size_safe 0 linearizes-with-1-thr.[OK] basic_unsafe 0 simple-test.[OK] wrap-arounds_unsafe 0 shift-by-1.[OK] wrap-arounds_unsafe 1 shift-by-6.[OK] wrap-arounds_unsafe 2 shift-by-11.[OK] size_unsafe 0 linearizes-with-1-thr.Full test results in `/src/_build/default/test/spsc_queue/_build/_tests/spsc_queue_dscheck'.Test Successful in 0.554s. 10 tests run.(cd _build/default/test/michael_scott_queue && ./qcheck_michael_scott_queue.exe)qcheck random seed: 113948333Testing `Michael_scott_queue'.This run has ID `OV7RGROR'.[OK] test_sequential_safe 0 push.[OK] test_sequential_safe 1 push_pop_opt_until_empty.[OK] test_sequential_safe 2 fifo.[OK] test_sequential_safe 3 fifo_peek_opt.[OK] one_cons_one_prod_safe 0 parallel_fifo.[OK] one_cons_one_prod_safe 1 parallel_peek.[OK] two_domains_safe 0 parallel_pop_opt_push.[OK] two_domains_safe 1 parallel_pop_opt_push_r...[OK] test_sequential_unsafe 0 push.[OK] test_sequential_unsafe 1 push_pop_opt_until_empty.[OK] test_sequential_unsafe 2 fifo.[OK] test_sequential_unsafe 3 fifo_peek_opt.[OK] one_cons_one_prod_unsafe 0 parallel_fifo.[OK] one_cons_one_prod_unsafe 1 parallel_peek.[OK] two_domains_unsafe 0 parallel_pop_opt_push.[OK] two_domains_unsafe 1 parallel_pop_opt_push_r...Full test results in `/src/_build/default/test/michael_scott_queue/_build/_tests/Michael_scott_queue'.Test Successful in 0.573s. 16 tests run.(cd _build/default/test/spsc_queue && ./qcheck_spsc_queue.exe)qcheck random seed: 152515540Testing `Spsc_queues'.This run has ID `I200J5HW'.[OK] Spsc_queue 0 seq_pop_opt_push.[OK] Spsc_queue 1 seq_pop_push.[OK] Spsc_queue 2 seq_pop_try_push.[OK] Spsc_queue 3 par_pop_push.[OK] Spsc_queue 4 push_full.[OK] Spsc_queue 5 seq_peek_opt.[OK] Spsc_queue 6 seq_peek.[OK] Spsc_queue 7 par_peek_opt.[OK] Spsc_queue_unsafe 0 seq_pop_opt_push.[OK] Spsc_queue_unsafe 1 seq_pop_push.[OK] Spsc_queue_unsafe 2 seq_pop_try_push.[OK] Spsc_queue_unsafe 3 par_pop_push.[OK] Spsc_queue_unsafe 4 push_full.[OK] Spsc_queue_unsafe 5 seq_peek_opt.[OK] Spsc_queue_unsafe 6 seq_peek.[OK] Spsc_queue_unsafe 7 par_peek_opt.Full test results in `/src/_build/default/test/spsc_queue/_build/_tests/Spsc_queues'.Test Successful in 0.794s. 16 tests run.(cd _build/default/test/mpsc_queue && ./qcheck_mpsc_queue.exe)qcheck random seed: 971164417Testing `Mpsc_queue'.This run has ID `39QL54O5'.[OK] one_consumer 0 push_head_pop_opt.[OK] one_consumer 1 push_head_pop.[OK] one_consumer 2 push_head_peek_opt.[OK] one_consumer 3 push_head_peek.[OK] one_consumer 4 pop_opt_empty.[OK] one_consumer 5 pop_empty.[OK] one_consumer 6 peek_opt_empty.[OK] one_consumer 7 peek_empty.[OK] one_consumer 8 push_head_not_empty.[OK] one_consumer 9 close_push_head.[OK] one_consumer 10 close_is_empty.[OK] one_consumer 11 close_pop_opt.[OK] one_consumer 12 pop_opt_order.[OK] one_consumer 13 seq_push_pop_opt.[OK] one_producer 0 push_not_empty.[OK] one_producer 1 closing_prevents_pushing.[OK] one_cons_one_prod 0 seq_push_pop_opt_peek_opt.[OK] one_cons_one_prod 1 par_push_pop.[OK] one_cons_one_prod 2 par_push_push_head.[OK] one_cons_one_prod 3 par_pop_opt_push2.[OK] one_cons_two_prod 0 par_push.[OK] one_cons_two_prod 1 par_push_close_pop_opt.Full test results in `/src/_build/default/test/mpsc_queue/_build/_tests/Mpsc_queue'.Test Successful in 4.788s. 22 tests run.(cd _build/default/test/skiplist && ./qcheck_skiplist.exe)qcheck random seed: 34787411Testing `QCheck Skiplist'.This run has ID `5KOEY1FE'.[OK] test_sequential 0 add.[OK] test_sequential 1 add_remove.[OK] test_sequential 2 add_find.[OK] test_sequential 3 add_remove_find.[OK] tests_two_domains 0 parallel_add.[OK] tests_two_domains 1 parallel_add_remove.[OK] tests_two_domains 2 parallel_add_remove_same_list.Full test results in `/src/_build/default/test/skiplist/_build/_tests/QCheck Skiplist'.Test Successful in 7.937s. 7 tests run.(cd _build/default/bench && ./main.exe -brief)Saturn Relaxed_queue:messages over time/1 adder, 1 taker (cas):2.77 M/smessages over time/1 adder, 1 taker (not lf):2.63 M/smessages over time/1 adder, 1 taker (spin):3.58 M/smessages over time/1 adder, 2 takers (cas):3.46 M/smessages over time/1 adder, 2 takers (not lf):3.73 M/smessages over time/1 adder, 2 takers (spin):4.20 M/smessages over time/2 adders, 1 taker (cas):2.97 M/smessages over time/2 adders, 1 taker (not lf):3.73 M/smessages over time/2 adders, 1 taker (spin):4.89 M/smessages over time/2 adders, 2 takers (cas):5.42 M/smessages over time/2 adders, 2 takers (not lf):4.88 M/smessages over time/2 adders, 2 takers (spin):5.95 M/stime per message/1 adder, 1 taker (cas):722.85 nstime per message/1 adder, 1 taker (not lf):760.21 nstime per message/1 adder, 1 taker (spin):557.88 nstime per message/1 adder, 2 takers (cas):868.09 nstime per message/1 adder, 2 takers (not lf):803.41 nstime per message/1 adder, 2 takers (spin):713.45 nstime per message/2 adders, 1 taker (cas):1009.53 nstime per message/2 adders, 1 taker (not lf):803.25 nstime per message/2 adders, 1 taker (spin):614.00 nstime per message/2 adders, 2 takers (cas):737.45 nstime per message/2 adders, 2 takers (not lf):818.97 nstime per message/2 adders, 2 takers (spin):672.24 nsSaturn_lockfree Queue:messages over time/1 nb adder, 1 nb taker:5.02 M/smessages over time/1 nb adder, 2 nb takers:6.90 M/smessages over time/2 nb adders, 1 nb taker:7.48 M/smessages over time/2 nb adders, 2 nb takers:9.37 M/smessages over time/one domain:2.97 M/stime per message/1 nb adder, 1 nb taker:398.16 nstime per message/1 nb adder, 2 nb takers:434.88 nstime per message/2 nb adders, 1 nb taker:401.12 nstime per message/2 nb adders, 2 nb takers:426.80 nstime per message/one domain:337.04 nsSaturn_lockfree Single_prod_single_cons_queue:messages over time/2 workers, capacity 1:1.56 M/smessages over time/2 workers, capacity 1 (unsafe):1.54 M/smessages over time/2 workers, capacity 32768:5.82 M/smessages over time/2 workers, capacity 32768 (unsafe):5.56 M/smessages over time/2 workers, capacity 4096:3.21 M/smessages over time/2 workers, capacity 4096 (unsafe):4.40 M/smessages over time/2 workers, capacity 512:5.64 M/smessages over time/2 workers, capacity 512 (unsafe):3.60 M/smessages over time/2 workers, capacity 64:4.36 M/smessages over time/2 workers, capacity 64 (unsafe):4.05 M/smessages over time/2 workers, capacity 8:3.03 M/smessages over time/2 workers, capacity 8 (unsafe):2.39 M/stime per message/2 workers, capacity 1:1284.11 nstime per message/2 workers, capacity 1 (unsafe):1295.56 nstime per message/2 workers, capacity 32768:343.90 nstime per message/2 workers, capacity 32768 (unsafe):359.55 nstime per message/2 workers, capacity 4096:622.83 nstime per message/2 workers, capacity 4096 (unsafe):454.45 nstime per message/2 workers, capacity 512:354.45 nstime per message/2 workers, capacity 512 (unsafe):555.15 nstime per message/2 workers, capacity 64:458.65 nstime per message/2 workers, capacity 64 (unsafe):494.30 nstime per message/2 workers, capacity 8:660.78 nstime per message/2 workers, capacity 8 (unsafe):838.36 nsSaturn_lockfree Size:operations over time/1 worker:1.95 M/soperations over time/2 workers:3.62 M/soperations over time/4 workers:6.26 M/stime per operation/1 worker:512.88 nstime per operation/2 workers:553.04 nstime per operation/4 workers:639.10 nsSaturn_lockfree Skiplist:operations over time/1 workers, 10% mem 45% add 45% rem:0.25 M/soperations over time/1 workers, 50% mem 25% add 25% rem:0.30 M/soperations over time/1 workers, 90% mem 5% add 5% rem:0.37 M/soperations over time/2 workers, 10% mem 45% add 45% rem:0.46 M/soperations over time/2 workers, 50% mem 25% add 25% rem:0.56 M/soperations over time/2 workers, 90% mem 5% add 5% rem:0.72 M/soperations over time/4 workers, 10% mem 45% add 45% rem:0.89 M/soperations over time/4 workers, 50% mem 25% add 25% rem:1.13 M/soperations over time/4 workers, 90% mem 5% add 5% rem:1.47 M/stime per operation/1 workers, 10% mem 45% add 45% rem:4018.03 nstime per operation/1 workers, 50% mem 25% add 25% rem:3335.76 nstime per operation/1 workers, 90% mem 5% add 5% rem:2694.54 nstime per operation/2 workers, 10% mem 45% add 45% rem:4366.58 nstime per operation/2 workers, 50% mem 25% add 25% rem:3545.16 nstime per operation/2 workers, 90% mem 5% add 5% rem:2762.34 nstime per operation/4 workers, 10% mem 45% add 45% rem:4472.49 nstime per operation/4 workers, 50% mem 25% add 25% rem:3527.16 nstime per operation/4 workers, 90% mem 5% add 5% rem:2729.10 nsSaturn_lockfree Stack:messages over time/1 adder, 1 taker:5.02 M/smessages over time/1 adder, 2 takers:5.85 M/smessages over time/2 adders, 1 taker:7.05 M/smessages over time/2 adders, 2 takers:7.70 M/smessages over time/one domain:3.71 M/stime per message/1 adder, 1 taker:398.32 nstime per message/1 adder, 2 takers:512.72 nstime per message/2 adders, 1 taker:425.40 nstime per message/2 adders, 2 takers:519.41 nstime per message/one domain:269.60 nsSaturn_lockfree Work_stealing_deque:messages over time/1 adder, 1 taker:1.89 M/smessages over time/1 adder, 2 takers:2.56 M/smessages over time/1 adder, 4 takers:4.52 M/smessages over time/one domain (FIFO):1.88 M/smessages over time/one domain (LIFO):1.68 M/sspawns over time/1 worker:1.47 M/sspawns over time/2 workers:1.75 M/sspawns over time/4 workers:3.83 M/sspawns over time/8 workers:7.96 M/stime per message/1 adder, 1 taker:1057.69 nstime per message/1 adder, 2 takers:1171.49 nstime per message/1 adder, 4 takers:1105.66 nstime per message/one domain (FIFO):530.86 nstime per message/one domain (LIFO):595.20 nstime per spawn/1 worker:679.78 nstime per spawn/2 workers:1143.51 nstime per spawn/4 workers:1044.07 nstime per spawn/8 workers:1005.26 ns(cd _build/default/test/mpmc_relaxed_queue && ./test_mpmc_relaxed_queue.exe)Testing `Mpmc_queue'.This run has ID `AFRL7MQX'.[OK] single-thread 0 is it a queue.[OK] validate items 0 1 prod. 1 cons.[OK] validate indices under load 0 4 prod. 4 cons.[OK] validate indices under load 1 8 prod. 1 cons.[OK] validate indices under load 2 1 prod. 8 cons.[OK] single-thread-CAS-intf 0 is it a queue.[OK] validate items-CAS-intf 0 1 prod. 1 cons.[OK] single-thread-spinning 0 is it a queue.[OK] validate-items-spinning 0 1 prod. 1 cons.Full test results in `/src/_build/default/test/mpmc_relaxed_queue/_build/_tests/Mpmc_queue'.Test Successful in 42.082s. 9 tests run.(cd _build/default/test/skiplist && ./stm_skiplist.exe)random seed: 504024002generated error fail pass / total time test name[ ] 0 0 0 0 / 1000 0.0s Lockfree.Skiplist sequential [ ] 0 0 0 0 / 1000 0.0s Lockfree.Skiplist sequential (generating) [✓] 1000 0 0 1000 / 1000 0.0s Lockfree.Skiplist sequential[ ] 0 0 0 0 / 1000 0.0s Lockfree.Skiplist parallel [ ] 2 0 0 2 / 1000 2.4s Lockfree.Skiplist parallel [ ] 3 0 0 3 / 1000 2.6s Lockfree.Skiplist parallel [ ] 9 0 0 9 / 1000 2.9s Lockfree.Skiplist parallel [ ] 13 0 0 13 / 1000 3.1s Lockfree.Skiplist parallel [ ] 14 0 0 14 / 1000 3.3s Lockfree.Skiplist parallel [ ] 17 0 0 17 / 1000 3.4s Lockfree.Skiplist parallel [ ] 18 0 0 18 / 1000 5.0s Lockfree.Skiplist parallel [ ] 20 0 0 20 / 1000 9.3s Lockfree.Skiplist parallel [ ] 24 0 0 24 / 1000 9.5s Lockfree.Skiplist parallel [ ] 26 0 0 26 / 1000 9.6s Lockfree.Skiplist parallel [ ] 28 0 0 28 / 1000 9.9s Lockfree.Skiplist parallel [ ] 32 0 0 32 / 1000 10.0s Lockfree.Skiplist parallel [ ] 35 0 0 35 / 1000 10.3s Lockfree.Skiplist parallel [ ] 37 0 0 37 / 1000 10.4s Lockfree.Skiplist parallel [ ] 39 0 0 39 / 1000 11.1s Lockfree.Skiplist parallel [ ] 40 0 0 40 / 1000 11.4s Lockfree.Skiplist parallel [ ] 44 0 0 44 / 1000 11.8s Lockfree.Skiplist parallel [ ] 46 0 0 46 / 1000 11.9s Lockfree.Skiplist parallel [ ] 52 0 0 52 / 1000 12.2s Lockfree.Skiplist parallel [ ] 55 0 0 55 / 1000 15.2s Lockfree.Skiplist parallel [ ] 59 0 0 59 / 1000 16.1s Lockfree.Skiplist parallel [ ] 61 0 0 61 / 1000 16.3s Lockfree.Skiplist parallel [ ] 65 0 0 65 / 1000 18.7s Lockfree.Skiplist parallel [ ] 66 0 0 66 / 1000 19.0s Lockfree.Skiplist parallel [ ] 67 0 0 67 / 1000 19.1s Lockfree.Skiplist parallel [ ] 71 0 0 71 / 1000 19.2s Lockfree.Skiplist parallel [ ] 76 0 0 76 / 1000 23.6s Lockfree.Skiplist parallel [ ] 78 0 0 78 / 1000 25.6s Lockfree.Skiplist parallel [ ] 79 0 0 79 / 1000 26.0s Lockfree.Skiplist parallel [ ] 81 0 0 81 / 1000 28.1s Lockfree.Skiplist parallel [ ] 88 0 0 88 / 1000 28.8s Lockfree.Skiplist parallel [ ] 89 0 0 89 / 1000 29.4s Lockfree.Skiplist parallel [ ] 90 0 0 90 / 1000 32.3s Lockfree.Skiplist parallel [ ] 91 0 0 91 / 1000 35.9s Lockfree.Skiplist parallel [ ] 96 0 0 96 / 1000 38.6s Lockfree.Skiplist parallel [ ] 100 0 0 100 / 1000 38.9s Lockfree.Skiplist parallel [ ] 101 0 0 101 / 1000 39.5s Lockfree.Skiplist parallel [ ] 105 0 0 105 / 1000 43.6s Lockfree.Skiplist parallel [ ] 109 0 0 109 / 1000 44.0s Lockfree.Skiplist parallel [ ] 113 0 0 113 / 1000 45.1s Lockfree.Skiplist parallel [ ] 117 0 0 117 / 1000 45.3s Lockfree.Skiplist parallel [ ] 123 0 0 123 / 1000 45.6s Lockfree.Skiplist parallel [ ] 128 0 0 128 / 1000 45.7s Lockfree.Skiplist parallel [ ] 131 0 0 131 / 1000 46.1s Lockfree.Skiplist parallel [ ] 132 0 0 132 / 1000 46.7s Lockfree.Skiplist parallel [ ] 137 0 0 137 / 1000 46.9s Lockfree.Skiplist parallel [ ] 139 0 0 139 / 1000 47.5s Lockfree.Skiplist parallel [ ] 143 0 0 143 / 1000 47.6s Lockfree.Skiplist parallel [ ] 144 0 0 144 / 1000 48.3s Lockfree.Skiplist parallel [ ] 147 0 0 147 / 1000 49.4s Lockfree.Skiplist parallel [ ] 148 0 0 148 / 1000 52.2s Lockfree.Skiplist parallel [ ] 149 0 0 149 / 1000 52.6s Lockfree.Skiplist parallel [ ] 150 0 0 150 / 1000 52.7s Lockfree.Skiplist parallel [ ] 156 0 0 156 / 1000 52.9s Lockfree.Skiplist parallel [ ] 159 0 0 159 / 1000 53.0s Lockfree.Skiplist parallel [ ] 163 0 0 163 / 1000 57.4s Lockfree.Skiplist parallel [ ] 167 0 0 167 / 1000 57.7s Lockfree.Skiplist parallel [ ] 168 0 0 168 / 1000 57.8s Lockfree.Skiplist parallel [ ] 173 0 0 173 / 1000 57.9s Lockfree.Skiplist parallel [ ] 177 0 0 177 / 1000 58.0s Lockfree.Skiplist parallel [ ] 182 0 0 182 / 1000 59.5s Lockfree.Skiplist parallel [ ] 184 0 0 184 / 1000 60.8s Lockfree.Skiplist parallel [ ] 185 0 0 185 / 1000 62.6s Lockfree.Skiplist parallel [ ] 191 0 0 191 / 1000 62.7s Lockfree.Skiplist parallel [ ] 194 0 0 194 / 1000 67.9s Lockfree.Skiplist parallel [ ] 197 0 0 197 / 1000 68.1s Lockfree.Skiplist parallel [ ] 199 0 0 199 / 1000 68.2s Lockfree.Skiplist parallel [ ] 203 0 0 203 / 1000 69.0s Lockfree.Skiplist parallel [ ] 209 0 0 209 / 1000 69.1s Lockfree.Skiplist parallel [ ] 211 0 0 211 / 1000 70.1s Lockfree.Skiplist parallel [ ] 214 0 0 214 / 1000 70.3s Lockfree.Skiplist parallel [ ] 217 0 0 217 / 1000 71.4s Lockfree.Skiplist parallel [ ] 219 0 0 219 / 1000 71.5s Lockfree.Skiplist parallel [ ] 222 0 0 222 / 1000 72.3s Lockfree.Skiplist parallel [ ] 224 0 0 224 / 1000 72.4s Lockfree.Skiplist parallel [ ] 229 0 0 229 / 1000 72.8s Lockfree.Skiplist parallel [ ] 232 0 0 232 / 1000 72.9s Lockfree.Skiplist parallel (collecting) [ ] 235 0 0 235 / 1000 73.0s Lockfree.Skiplist parallel [ ] 236 0 0 236 / 1000 73.4s Lockfree.Skiplist parallel [ ] 242 0 0 242 / 1000 74.6s Lockfree.Skiplist parallel [ ] 244 0 0 244 / 1000 79.3s Lockfree.Skiplist parallel [ ] 245 0 0 245 / 1000 81.3s Lockfree.Skiplist parallel [ ] 247 0 0 247 / 1000 81.5s Lockfree.Skiplist parallel [ ] 252 0 0 252 / 1000 81.6s Lockfree.Skiplist parallel [ ] 258 0 0 258 / 1000 81.7s Lockfree.Skiplist parallel [ ] 263 0 0 263 / 1000 82.0s Lockfree.Skiplist parallel [ ] 264 0 0 264 / 1000 82.7s Lockfree.Skiplist parallel [ ] 265 0 0 265 / 1000 83.1s Lockfree.Skiplist parallel [ ] 268 0 0 268 / 1000 84.0s Lockfree.Skiplist parallel [ ] 270 0 0 270 / 1000 85.5s Lockfree.Skiplist parallel [ ] 271 0 0 271 / 1000 86.2s Lockfree.Skiplist parallel [ ] 272 0 0 272 / 1000 87.3s Lockfree.Skiplist parallel [ ] 274 0 0 274 / 1000 89.1s Lockfree.Skiplist parallel [ ] 281 0 0 281 / 1000 89.2s Lockfree.Skiplist parallel [ ] 283 0 0 283 / 1000 89.3s Lockfree.Skiplist parallel [ ] 284 0 0 284 / 1000 89.5s Lockfree.Skiplist parallel [ ] 290 0 0 290 / 1000 93.1s Lockfree.Skiplist parallel [ ] 292 0 0 292 / 1000 93.6s Lockfree.Skiplist parallel [ ] 294 0 0 294 / 1000 94.6s Lockfree.Skiplist parallel [ ] 296 0 0 296 / 1000 94.7s Lockfree.Skiplist parallel [ ] 301 0 0 301 / 1000 95.4s Lockfree.Skiplist parallel [ ] 308 0 0 308 / 1000 95.7s Lockfree.Skiplist parallel [ ] 309 0 0 309 / 1000 96.3s Lockfree.Skiplist parallel [ ] 311 0 0 311 / 1000 96.8s Lockfree.Skiplist parallel [ ] 313 0 0 313 / 1000 99.4s Lockfree.Skiplist parallel [ ] 317 0 0 317 / 1000 99.5s Lockfree.Skiplist parallel [ ] 321 0 0 321 / 1000 99.7s Lockfree.Skiplist parallel [ ] 323 0 0 323 / 1000 100.2s Lockfree.Skiplist parallel [ ] 330 0 0 330 / 1000 100.3s Lockfree.Skiplist parallel [ ] 333 0 0 333 / 1000 100.4s Lockfree.Skiplist parallel [ ] 339 0 0 339 / 1000 100.5s Lockfree.Skiplist parallel [ ] 342 0 0 342 / 1000 101.0s Lockfree.Skiplist parallel [ ] 347 0 0 347 / 1000 101.6s Lockfree.Skiplist parallel [ ] 348 0 0 348 / 1000 102.3s Lockfree.Skiplist parallel [ ] 350 0 0 350 / 1000 106.2s Lockfree.Skiplist parallel [ ] 354 0 0 354 / 1000 106.3s Lockfree.Skiplist parallel [ ] 355 0 0 355 / 1000 107.3s Lockfree.Skiplist parallel [ ] 361 0 0 361 / 1000 107.4s Lockfree.Skiplist parallel [ ] 370 0 0 370 / 1000 107.5s Lockfree.Skiplist parallel [ ] 372 0 0 372 / 1000 108.6s Lockfree.Skiplist parallel [ ] 378 0 0 378 / 1000 109.1s Lockfree.Skiplist parallel [ ] 382 0 0 382 / 1000 109.3s Lockfree.Skiplist parallel [ ] 387 0 0 387 / 1000 112.8s Lockfree.Skiplist parallel [ ] 388 0 0 388 / 1000 114.2s Lockfree.Skiplist parallel [ ] 390 0 0 390 / 1000 114.5s Lockfree.Skiplist parallel [ ] 395 0 0 395 / 1000 114.6s Lockfree.Skiplist parallel [ ] 396 0 0 396 / 1000 115.1s Lockfree.Skiplist parallel [ ] 399 0 0 399 / 1000 115.3s Lockfree.Skiplist parallel [ ] 402 0 0 402 / 1000 116.3s Lockfree.Skiplist parallel [ ] 404 0 0 404 / 1000 116.6s Lockfree.Skiplist parallel [ ] 410 0 0 410 / 1000 116.7s Lockfree.Skiplist parallel [ ] 411 0 0 411 / 1000 116.9s Lockfree.Skiplist parallel [ ] 412 0 0 412 / 1000 117.3s Lockfree.Skiplist parallel [ ] 415 0 0 415 / 1000 119.2s Lockfree.Skiplist parallel [ ] 417 0 0 417 / 1000 121.9s Lockfree.Skiplist parallel [ ] 420 0 0 420 / 1000 122.2s Lockfree.Skiplist parallel [ ] 423 0 0 423 / 1000 122.5s Lockfree.Skiplist parallel [ ] 428 0 0 428 / 1000 124.9s Lockfree.Skiplist parallel [ ] 430 0 0 430 / 1000 126.9s Lockfree.Skiplist parallel [ ] 431 0 0 431 / 1000 128.2s Lockfree.Skiplist parallel [ ] 435 0 0 435 / 1000 128.4s Lockfree.Skiplist parallel [ ] 438 0 0 438 / 1000 128.8s Lockfree.Skiplist parallel [ ] 440 0 0 440 / 1000 129.0s Lockfree.Skiplist parallel [ ] 442 0 0 442 / 1000 129.2s Lockfree.Skiplist parallel [ ] 443 0 0 443 / 1000 130.4s Lockfree.Skiplist parallel [ ] 444 0 0 444 / 1000 133.0s Lockfree.Skiplist parallel [ ] 448 0 0 448 / 1000 133.2s Lockfree.Skiplist parallel [ ] 451 0 0 451 / 1000 133.3s Lockfree.Skiplist parallel [ ] 455 0 0 455 / 1000 134.1s Lockfree.Skiplist parallel [ ] 459 0 0 459 / 1000 134.9s Lockfree.Skiplist parallel [ ] 465 0 0 465 / 1000 135.0s Lockfree.Skiplist parallel [ ] 467 0 0 467 / 1000 136.2s Lockfree.Skiplist parallel [ ] 469 0 0 469 / 1000 136.5s Lockfree.Skiplist parallel [ ] 471 0 0 471 / 1000 136.8s Lockfree.Skiplist parallel [ ] 472 0 0 472 / 1000 137.0s Lockfree.Skiplist parallel [ ] 478 0 0 478 / 1000 137.9s Lockfree.Skiplist parallel [ ] 479 0 0 479 / 1000 138.9s Lockfree.Skiplist parallel [ ] 480 0 0 480 / 1000 139.2s Lockfree.Skiplist parallel [ ] 485 0 0 485 / 1000 139.3s Lockfree.Skiplist parallel [ ] 489 0 0 489 / 1000 141.3s Lockfree.Skiplist parallel [ ] 490 0 0 490 / 1000 141.5s Lockfree.Skiplist parallel [ ] 495 0 0 495 / 1000 142.1s Lockfree.Skiplist parallel [ ] 500 0 0 500 / 1000 144.9s Lockfree.Skiplist parallel [ ] 505 0 0 505 / 1000 145.7s Lockfree.Skiplist parallel [ ] 506 0 0 506 / 1000 145.8s Lockfree.Skiplist parallel [ ] 507 0 0 507 / 1000 146.6s Lockfree.Skiplist parallel [ ] 511 0 0 511 / 1000 146.7s Lockfree.Skiplist parallel [ ] 513 0 0 513 / 1000 146.9s Lockfree.Skiplist parallel [ ] 517 0 0 517 / 1000 147.0s Lockfree.Skiplist parallel [ ] 521 0 0 521 / 1000 147.2s Lockfree.Skiplist parallel [ ] 523 0 0 523 / 1000 147.5s Lockfree.Skiplist parallel [ ] 526 0 0 526 / 1000 147.6s Lockfree.Skiplist parallel [ ] 528 0 0 528 / 1000 148.0s Lockfree.Skiplist parallel [ ] 533 0 0 533 / 1000 148.1s Lockfree.Skiplist parallel [ ] 535 0 0 535 / 1000 148.5s Lockfree.Skiplist parallel [ ] 536 0 0 536 / 1000 148.8s Lockfree.Skiplist parallel [ ] 539 0 0 539 / 1000 149.4s Lockfree.Skiplist parallel [ ] 543 0 0 543 / 1000 149.7s Lockfree.Skiplist parallel [ ] 545 0 0 545 / 1000 151.9s Lockfree.Skiplist parallel [ ] 549 0 0 549 / 1000 152.1s Lockfree.Skiplist parallel [ ] 553 0 0 553 / 1000 152.3s Lockfree.Skiplist parallel [ ] 554 0 0 554 / 1000 152.4s Lockfree.Skiplist parallel [ ] 557 0 0 557 / 1000 154.0s Lockfree.Skiplist parallel [ ] 561 0 0 561 / 1000 154.1s Lockfree.Skiplist parallel [ ] 562 0 0 562 / 1000 154.2s Lockfree.Skiplist parallel [ ] 566 0 0 566 / 1000 154.4s Lockfree.Skiplist parallel [ ] 571 0 0 571 / 1000 154.6s Lockfree.Skiplist parallel [ ] 572 0 0 572 / 1000 155.8s Lockfree.Skiplist parallel [ ] 576 0 0 576 / 1000 155.9s Lockfree.Skiplist parallel [ ] 577 0 0 577 / 1000 156.1s Lockfree.Skiplist parallel [ ] 583 0 0 583 / 1000 156.2s Lockfree.Skiplist parallel [ ] 585 0 0 585 / 1000 157.1s Lockfree.Skiplist parallel [ ] 587 0 0 587 / 1000 157.8s Lockfree.Skiplist parallel [ ] 592 0 0 592 / 1000 158.1s Lockfree.Skiplist parallel [ ] 594 0 0 594 / 1000 158.5s Lockfree.Skiplist parallel [ ] 596 0 0 596 / 1000 158.8s Lockfree.Skiplist parallel [ ] 599 0 0 599 / 1000 158.9s Lockfree.Skiplist parallel [ ] 603 0 0 603 / 1000 159.0s Lockfree.Skiplist parallel [ ] 606 0 0 606 / 1000 159.2s Lockfree.Skiplist parallel [ ] 608 0 0 608 / 1000 159.4s Lockfree.Skiplist parallel [ ] 609 0 0 609 / 1000 159.5s Lockfree.Skiplist parallel [ ] 610 0 0 610 / 1000 160.6s Lockfree.Skiplist parallel [ ] 611 0 0 611 / 1000 160.7s Lockfree.Skiplist parallel [ ] 613 0 0 613 / 1000 162.4s Lockfree.Skiplist parallel [ ] 616 0 0 616 / 1000 162.5s Lockfree.Skiplist parallel [ ] 619 0 0 619 / 1000 162.9s Lockfree.Skiplist parallel [ ] 623 0 0 623 / 1000 163.0s Lockfree.Skiplist parallel [ ] 629 0 0 629 / 1000 163.1s Lockfree.Skiplist parallel [ ] 632 0 0 632 / 1000 163.2s Lockfree.Skiplist parallel [ ] 633 0 0 633 / 1000 165.2s Lockfree.Skiplist parallel [ ] 637 0 0 637 / 1000 165.6s Lockfree.Skiplist parallel [ ] 639 0 0 639 / 1000 168.9s Lockfree.Skiplist parallel [ ] 643 0 0 643 / 1000 169.0s Lockfree.Skiplist parallel [ ] 650 0 0 650 / 1000 169.1s Lockfree.Skiplist parallel [ ] 654 0 0 654 / 1000 170.0s Lockfree.Skiplist parallel [ ] 656 0 0 656 / 1000 173.9s Lockfree.Skiplist parallel [ ] 658 0 0 658 / 1000 174.1s Lockfree.Skiplist parallel [ ] 664 0 0 664 / 1000 174.2s Lockfree.Skiplist parallel [ ] 665 0 0 665 / 1000 174.4s Lockfree.Skiplist parallel [ ] 670 0 0 670 / 1000 174.5s Lockfree.Skiplist parallel [ ] 671 0 0 671 / 1000 176.2s Lockfree.Skiplist parallel [ ] 672 0 0 672 / 1000 176.4s Lockfree.Skiplist parallel [ ] 674 0 0 674 / 1000 177.4s Lockfree.Skiplist parallel [ ] 678 0 0 678 / 1000 177.5s Lockfree.Skiplist parallel [ ] 681 0 0 681 / 1000 177.7s Lockfree.Skiplist parallel [ ] 688 0 0 688 / 1000 177.9s Lockfree.Skiplist parallel [ ] 692 0 0 692 / 1000 178.4s Lockfree.Skiplist parallel [ ] 697 0 0 697 / 1000 178.5s Lockfree.Skiplist parallel [ ] 699 0 0 699 / 1000 178.7s Lockfree.Skiplist parallel [ ] 702 0 0 702 / 1000 178.9s Lockfree.Skiplist parallel [ ] 708 0 0 708 / 1000 179.0s Lockfree.Skiplist parallel [ ] 709 0 0 709 / 1000 179.3s Lockfree.Skiplist parallel [ ] 710 0 0 710 / 1000 179.5s Lockfree.Skiplist parallel [ ] 712 0 0 712 / 1000 179.9s Lockfree.Skiplist parallel [ ] 715 0 0 715 / 1000 180.0s Lockfree.Skiplist parallel [ ] 718 0 0 718 / 1000 180.1s Lockfree.Skiplist parallel [ ] 719 0 0 719 / 1000 183.4s Lockfree.Skiplist parallel [ ] 720 0 0 720 / 1000 184.2s Lockfree.Skiplist parallel [ ] 721 0 0 721 / 1000 184.8s Lockfree.Skiplist parallel [ ] 723 0 0 723 / 1000 184.9s Lockfree.Skiplist parallel [ ] 724 0 0 724 / 1000 186.9s Lockfree.Skiplist parallel [ ] 725 0 0 725 / 1000 187.3s Lockfree.Skiplist parallel [ ] 728 0 0 728 / 1000 187.4s Lockfree.Skiplist parallel [ ] 729 0 0 729 / 1000 190.9s Lockfree.Skiplist parallel [ ] 731 0 0 731 / 1000 191.2s Lockfree.Skiplist parallel [ ] 732 0 0 732 / 1000 191.7s Lockfree.Skiplist parallel [ ] 735 0 0 735 / 1000 193.6s Lockfree.Skiplist parallel [ ] 742 0 0 742 / 1000 193.7s Lockfree.Skiplist parallel [ ] 743 0 0 743 / 1000 194.2s Lockfree.Skiplist parallel [ ] 745 0 0 745 / 1000 194.4s Lockfree.Skiplist parallel [ ] 748 0 0 748 / 1000 195.4s Lockfree.Skiplist parallel [ ] 749 0 0 749 / 1000 195.5s Lockfree.Skiplist parallel [ ] 753 0 0 753 / 1000 195.7s Lockfree.Skiplist parallel [ ] 758 0 0 758 / 1000 195.8s Lockfree.Skiplist parallel [ ] 763 0 0 763 / 1000 195.9s Lockfree.Skiplist parallel [ ] 768 0 0 768 / 1000 196.4s Lockfree.Skiplist parallel [ ] 772 0 0 772 / 1000 196.8s Lockfree.Skiplist parallel [ ] 773 0 0 773 / 1000 196.9s Lockfree.Skiplist parallel [ ] 779 0 0 779 / 1000 199.2s Lockfree.Skiplist parallel [ ] 783 0 0 783 / 1000 199.6s Lockfree.Skiplist parallel [ ] 785 0 0 785 / 1000 199.8s Lockfree.Skiplist parallel [ ] 786 0 0 786 / 1000 200.1s Lockfree.Skiplist parallel [ ] 794 0 0 794 / 1000 201.2s Lockfree.Skiplist parallel [ ] 795 0 0 795 / 1000 204.2s Lockfree.Skiplist parallel [ ] 797 0 0 797 / 1000 204.4s Lockfree.Skiplist parallel [ ] 798 0 0 798 / 1000 205.1s Lockfree.Skiplist parallel [ ] 799 0 0 799 / 1000 205.7s Lockfree.Skiplist parallel [ ] 803 0 0 803 / 1000 205.8s Lockfree.Skiplist parallel [ ] 811 0 0 811 / 1000 206.5s Lockfree.Skiplist parallel [ ] 815 0 0 815 / 1000 207.0s Lockfree.Skiplist parallel [ ] 816 0 0 816 / 1000 208.2s Lockfree.Skiplist parallel [ ] 820 0 0 820 / 1000 208.5s Lockfree.Skiplist parallel [ ] 821 0 0 821 / 1000 209.6s Lockfree.Skiplist parallel [ ] 827 0 0 827 / 1000 209.7s Lockfree.Skiplist parallel [ ] 833 0 0 833 / 1000 209.9s Lockfree.Skiplist parallel [ ] 834 0 0 834 / 1000 211.4s Lockfree.Skiplist parallel [ ] 840 0 0 840 / 1000 211.5s Lockfree.Skiplist parallel [ ] 849 0 0 849 / 1000 211.7s Lockfree.Skiplist parallel [ ] 852 0 0 852 / 1000 211.8s Lockfree.Skiplist parallel [ ] 855 0 0 855 / 1000 212.7s Lockfree.Skiplist parallel [ ] 861 0 0 861 / 1000 212.8s Lockfree.Skiplist parallel [ ] 863 0 0 863 / 1000 213.0s Lockfree.Skiplist parallel [ ] 864 0 0 864 / 1000 213.6s Lockfree.Skiplist parallel [ ] 868 0 0 868 / 1000 215.6s Lockfree.Skiplist parallel [ ] 871 0 0 871 / 1000 216.8s Lockfree.Skiplist parallel [ ] 874 0 0 874 / 1000 218.7s Lockfree.Skiplist parallel [ ] 875 0 0 875 / 1000 218.9s Lockfree.Skiplist parallel [ ] 878 0 0 878 / 1000 221.0s Lockfree.Skiplist parallel [ ] 880 0 0 880 / 1000 221.3s Lockfree.Skiplist parallel [ ] 881 0 0 881 / 1000 221.5s Lockfree.Skiplist parallel [ ] 885 0 0 885 / 1000 221.8s Lockfree.Skiplist parallel [ ] 886 0 0 886 / 1000 222.0s Lockfree.Skiplist parallel [ ] 887 0 0 887 / 1000 226.5s Lockfree.Skiplist parallel [ ] 891 0 0 891 / 1000 226.7s Lockfree.Skiplist parallel [ ] 893 0 0 893 / 1000 227.4s Lockfree.Skiplist parallel [ ] 898 0 0 898 / 1000 227.5s Lockfree.Skiplist parallel [ ] 899 0 0 899 / 1000 227.7s Lockfree.Skiplist parallel [ ] 902 0 0 902 / 1000 229.8s Lockfree.Skiplist parallel [ ] 904 0 0 904 / 1000 233.4s Lockfree.Skiplist parallel [ ] 906 0 0 906 / 1000 234.1s Lockfree.Skiplist parallel [ ] 909 0 0 909 / 1000 234.9s Lockfree.Skiplist parallel [ ] 912 0 0 912 / 1000 235.0s Lockfree.Skiplist parallel [ ] 918 0 0 918 / 1000 235.5s Lockfree.Skiplist parallel [ ] 925 0 0 925 / 1000 235.8s Lockfree.Skiplist parallel [ ] 926 0 0 926 / 1000 239.9s Lockfree.Skiplist parallel [ ] 929 0 0 929 / 1000 240.3s Lockfree.Skiplist parallel [ ] 930 0 0 930 / 1000 241.2s Lockfree.Skiplist parallel [ ] 936 0 0 936 / 1000 243.5s Lockfree.Skiplist parallel [ ] 937 0 0 937 / 1000 246.7s Lockfree.Skiplist parallel [ ] 938 0 0 938 / 1000 247.3s Lockfree.Skiplist parallel [ ] 946 0 0 946 / 1000 251.0s Lockfree.Skiplist parallel [ ] 947 0 0 947 / 1000 251.1s Lockfree.Skiplist parallel [ ] 948 0 0 948 / 1000 251.6s Lockfree.Skiplist parallel [ ] 955 0 0 955 / 1000 251.7s Lockfree.Skiplist parallel [ ] 960 0 0 960 / 1000 251.9s Lockfree.Skiplist parallel [ ] 961 0 0 961 / 1000 252.2s Lockfree.Skiplist parallel [ ] 963 0 0 963 / 1000 253.6s Lockfree.Skiplist parallel [ ] 966 0 0 966 / 1000 254.6s Lockfree.Skiplist parallel [ ] 971 0 0 971 / 1000 255.0s Lockfree.Skiplist parallel [ ] 978 0 0 978 / 1000 255.1s Lockfree.Skiplist parallel [ ] 980 0 0 980 / 1000 255.3s Lockfree.Skiplist parallel [ ] 985 0 0 985 / 1000 256.0s Lockfree.Skiplist parallel [ ] 986 0 0 986 / 1000 257.9s Lockfree.Skiplist parallel [ ] 988 0 0 988 / 1000 258.1s Lockfree.Skiplist parallel [ ] 990 0 0 990 / 1000 262.0s Lockfree.Skiplist parallel [ ] 991 0 0 991 / 1000 262.7s Lockfree.Skiplist parallel [ ] 992 0 0 992 / 1000 262.8s Lockfree.Skiplist parallel [ ] 993 0 0 993 / 1000 263.1s Lockfree.Skiplist parallel [ ] 996 0 0 996 / 1000 263.3s Lockfree.Skiplist parallel [ ] 1000 0 0 1000 / 1000 264.8s Lockfree.Skiplist parallel [✓] 1000 0 0 1000 / 1000 264.8s Lockfree.Skiplist parallel================================================================================success (ran 2 tests)(cd _build/default/test/size && ./stm_size.exe)random seed: 513557492generated error fail pass / total time test name[ ] 0 0 0 0 / 1000 0.0s Saturn_lockfree.Size sequential [ ] 0 0 0 0 / 1000 0.0s Saturn_lockfree.Size sequential (generating) [✓] 1000 0 0 1000 / 1000 0.0s Saturn_lockfree.Size sequential[ ] 0 0 0 0 / 1000 0.0s Saturn_lockfree.Size parallel [ ] 3 0 0 3 / 1000 0.2s Saturn_lockfree.Size parallel [ ] 5 0 0 5 / 1000 0.3s Saturn_lockfree.Size parallel [ ] 8 0 0 8 / 1000 0.5s Saturn_lockfree.Size parallel [ ] 17 0 0 17 / 1000 0.6s Saturn_lockfree.Size parallel [ ] 18 0 0 18 / 1000 4.0s Saturn_lockfree.Size parallel [ ] 23 0 0 23 / 1000 4.2s Saturn_lockfree.Size parallel [ ] 26 0 0 26 / 1000 4.8s Saturn_lockfree.Size parallel [ ] 32 0 0 32 / 1000 4.9s Saturn_lockfree.Size parallel [ ] 33 0 0 33 / 1000 5.3s Saturn_lockfree.Size parallel [ ] 36 0 0 36 / 1000 7.6s Saturn_lockfree.Size parallel [ ] 37 0 0 37 / 1000 11.0s Saturn_lockfree.Size parallel [ ] 39 0 0 39 / 1000 12.7s Saturn_lockfree.Size parallel [ ] 41 0 0 41 / 1000 12.8s Saturn_lockfree.Size parallel [ ] 49 0 0 49 / 1000 12.9s Saturn_lockfree.Size parallel [ ] 52 0 0 52 / 1000 13.0s Saturn_lockfree.Size parallel [ ] 53 0 0 53 / 1000 13.4s Saturn_lockfree.Size parallel [ ] 58 0 0 58 / 1000 13.5s Saturn_lockfree.Size parallel [ ] 65 0 0 65 / 1000 13.6s Saturn_lockfree.Size parallel [ ] 68 0 0 68 / 1000 15.3s Saturn_lockfree.Size parallel [ ] 75 0 0 75 / 1000 15.7s Saturn_lockfree.Size parallel [ ] 78 0 0 78 / 1000 16.0s Saturn_lockfree.Size parallel [ ] 81 0 0 81 / 1000 16.4s Saturn_lockfree.Size parallel [ ] 83 0 0 83 / 1000 16.5s Saturn_lockfree.Size parallel [ ] 90 0 0 90 / 1000 17.8s Saturn_lockfree.Size parallel [ ] 96 0 0 96 / 1000 19.3s Saturn_lockfree.Size parallel [ ] 97 0 0 97 / 1000 19.5s Saturn_lockfree.Size parallel [ ] 99 0 0 99 / 1000 19.9s Saturn_lockfree.Size parallel [ ] 101 0 0 101 / 1000 20.5s Saturn_lockfree.Size parallel [ ] 107 0 0 107 / 1000 23.9s Saturn_lockfree.Size parallel [ ] 109 0 0 109 / 1000 25.7s Saturn_lockfree.Size parallel [ ] 111 0 0 111 / 1000 25.8s Saturn_lockfree.Size parallel [ ] 112 0 0 112 / 1000 26.0s Saturn_lockfree.Size parallel [ ] 113 0 0 113 / 1000 26.2s Saturn_lockfree.Size parallel [ ] 114 0 0 114 / 1000 26.4s Saturn_lockfree.Size parallel [ ] 117 0 0 117 / 1000 27.2s Saturn_lockfree.Size parallel [ ] 119 0 0 119 / 1000 27.8s Saturn_lockfree.Size parallel [ ] 123 0 0 123 / 1000 27.9s Saturn_lockfree.Size parallel [ ] 125 0 0 125 / 1000 29.2s Saturn_lockfree.Size parallel [ ] 126 0 0 126 / 1000 29.6s Saturn_lockfree.Size parallel [ ] 131 0 0 131 / 1000 30.2s Saturn_lockfree.Size parallel [ ] 133 0 0 133 / 1000 30.7s Saturn_lockfree.Size parallel [ ] 135 0 0 135 / 1000 31.1s Saturn_lockfree.Size parallel [ ] 136 0 0 136 / 1000 33.4s Saturn_lockfree.Size parallel [ ] 142 0 0 142 / 1000 33.5s Saturn_lockfree.Size parallel [ ] 149 0 0 149 / 1000 33.7s Saturn_lockfree.Size parallel [ ] 151 0 0 151 / 1000 35.5s Saturn_lockfree.Size parallel [ ] 157 0 0 157 / 1000 35.6s Saturn_lockfree.Size parallel [ ] 160 0 0 160 / 1000 36.2s Saturn_lockfree.Size parallel [ ] 165 0 0 165 / 1000 37.5s Saturn_lockfree.Size parallel [ ] 169 0 0 169 / 1000 37.6s Saturn_lockfree.Size parallel [ ] 173 0 0 173 / 1000 37.7s Saturn_lockfree.Size parallel [ ] 179 0 0 179 / 1000 37.8s Saturn_lockfree.Size parallel [ ] 182 0 0 182 / 1000 38.7s Saturn_lockfree.Size parallel [ ] 184 0 0 184 / 1000 39.0s Saturn_lockfree.Size parallel [ ] 186 0 0 186 / 1000 39.1s Saturn_lockfree.Size parallel [ ] 189 0 0 189 / 1000 39.2s Saturn_lockfree.Size parallel [ ] 194 0 0 194 / 1000 42.1s Saturn_lockfree.Size parallel [ ] 195 0 0 195 / 1000 42.7s Saturn_lockfree.Size parallel [ ] 199 0 0 199 / 1000 43.0s Saturn_lockfree.Size parallel [ ] 200 0 0 200 / 1000 43.3s Saturn_lockfree.Size parallel [ ] 204 0 0 204 / 1000 43.8s Saturn_lockfree.Size parallel [ ] 207 0 0 207 / 1000 44.2s Saturn_lockfree.Size parallel [ ] 210 0 0 210 / 1000 45.6s Saturn_lockfree.Size parallel [ ] 214 0 0 214 / 1000 45.8s Saturn_lockfree.Size parallel [ ] 218 0 0 218 / 1000 45.9s Saturn_lockfree.Size parallel [ ] 219 0 0 219 / 1000 46.0s Saturn_lockfree.Size parallel [ ] 223 0 0 223 / 1000 46.1s Saturn_lockfree.Size parallel [ ] 224 0 0 224 / 1000 46.5s Saturn_lockfree.Size parallel [ ] 226 0 0 226 / 1000 46.6s Saturn_lockfree.Size parallel [ ] 233 0 0 233 / 1000 46.7s Saturn_lockfree.Size parallel [ ] 235 0 0 235 / 1000 49.3s Saturn_lockfree.Size parallel [ ] 239 0 0 239 / 1000 49.4s Saturn_lockfree.Size parallel [ ] 241 0 0 241 / 1000 49.6s Saturn_lockfree.Size parallel [ ] 242 0 0 242 / 1000 49.8s Saturn_lockfree.Size parallel [ ] 243 0 0 243 / 1000 50.1s Saturn_lockfree.Size parallel [ ] 247 0 0 247 / 1000 50.3s Saturn_lockfree.Size parallel [ ] 254 0 0 254 / 1000 50.4s Saturn_lockfree.Size parallel [ ] 260 0 0 260 / 1000 50.5s Saturn_lockfree.Size parallel [ ] 262 0 0 262 / 1000 50.6s Saturn_lockfree.Size parallel [ ] 266 0 0 266 / 1000 50.8s Saturn_lockfree.Size parallel [ ] 268 0 0 268 / 1000 52.8s Saturn_lockfree.Size parallel [ ] 272 0 0 272 / 1000 53.0s Saturn_lockfree.Size parallel [ ] 274 0 0 274 / 1000 53.1s Saturn_lockfree.Size parallel [ ] 275 0 0 275 / 1000 54.8s Saturn_lockfree.Size parallel [ ] 276 0 0 276 / 1000 58.2s Saturn_lockfree.Size parallel [ ] 278 0 0 278 / 1000 59.0s Saturn_lockfree.Size parallel [ ] 279 0 0 279 / 1000 59.2s Saturn_lockfree.Size parallel [ ] 283 0 0 283 / 1000 59.5s Saturn_lockfree.Size parallel [ ] 285 0 0 285 / 1000 60.3s Saturn_lockfree.Size parallel [ ] 288 0 0 288 / 1000 60.4s Saturn_lockfree.Size parallel [ ] 291 0 0 291 / 1000 61.5s Saturn_lockfree.Size parallel [ ] 297 0 0 297 / 1000 63.0s Saturn_lockfree.Size parallel [ ] 299 0 0 299 / 1000 64.6s Saturn_lockfree.Size parallel [ ] 300 0 0 300 / 1000 66.1s Saturn_lockfree.Size parallel [ ] 303 0 0 303 / 1000 66.3s Saturn_lockfree.Size parallel [ ] 308 0 0 308 / 1000 66.4s Saturn_lockfree.Size parallel [ ] 312 0 0 312 / 1000 67.0s Saturn_lockfree.Size parallel [ ] 316 0 0 316 / 1000 67.1s Saturn_lockfree.Size parallel [ ] 317 0 0 317 / 1000 70.5s Saturn_lockfree.Size parallel [ ] 319 0 0 319 / 1000 71.2s Saturn_lockfree.Size parallel [ ] 323 0 0 323 / 1000 71.3s Saturn_lockfree.Size parallel [ ] 329 0 0 329 / 1000 72.9s Saturn_lockfree.Size parallel [ ] 334 0 0 334 / 1000 73.1s Saturn_lockfree.Size parallel [ ] 340 0 0 340 / 1000 78.2s Saturn_lockfree.Size parallel [ ] 343 0 0 343 / 1000 82.0s Saturn_lockfree.Size parallel [ ] 348 0 0 348 / 1000 82.1s Saturn_lockfree.Size parallel [ ] 350 0 0 350 / 1000 82.8s Saturn_lockfree.Size parallel [ ] 351 0 0 351 / 1000 83.0s Saturn_lockfree.Size parallel [ ] 357 0 0 357 / 1000 83.1s Saturn_lockfree.Size parallel [ ] 359 0 0 359 / 1000 83.4s Saturn_lockfree.Size parallel [ ] 363 0 0 363 / 1000 83.5s Saturn_lockfree.Size parallel [ ] 370 0 0 370 / 1000 87.4s Saturn_lockfree.Size parallel [ ] 371 0 0 371 / 1000 87.5s Saturn_lockfree.Size parallel [ ] 374 0 0 374 / 1000 87.7s Saturn_lockfree.Size parallel [ ] 379 0 0 379 / 1000 87.8s Saturn_lockfree.Size parallel [ ] 383 0 0 383 / 1000 88.0s Saturn_lockfree.Size parallel [ ] 384 0 0 384 / 1000 89.3s Saturn_lockfree.Size parallel [ ] 390 0 0 390 / 1000 89.8s Saturn_lockfree.Size parallel [ ] 395 0 0 395 / 1000 90.2s Saturn_lockfree.Size parallel [ ] 396 0 0 396 / 1000 94.2s Saturn_lockfree.Size parallel [ ] 397 0 0 397 / 1000 95.7s Saturn_lockfree.Size parallel [ ] 400 0 0 400 / 1000 95.9s Saturn_lockfree.Size parallel [ ] 401 0 0 401 / 1000 96.5s Saturn_lockfree.Size parallel [ ] 404 0 0 404 / 1000 96.6s Saturn_lockfree.Size parallel [ ] 412 0 0 412 / 1000 96.7s Saturn_lockfree.Size parallel [ ] 418 0 0 418 / 1000 96.9s Saturn_lockfree.Size parallel [ ] 422 0 0 422 / 1000 97.0s Saturn_lockfree.Size parallel [ ] 429 0 0 429 / 1000 97.2s Saturn_lockfree.Size parallel [ ] 437 0 0 437 / 1000 97.3s Saturn_lockfree.Size parallel [ ] 438 0 0 438 / 1000 97.4s Saturn_lockfree.Size parallel [ ] 442 0 0 442 / 1000 99.8s Saturn_lockfree.Size parallel [ ] 443 0 0 443 / 1000 100.8s Saturn_lockfree.Size parallel [ ] 444 0 0 444 / 1000 101.4s Saturn_lockfree.Size parallel [ ] 445 0 0 445 / 1000 101.8s Saturn_lockfree.Size parallel [ ] 450 0 0 450 / 1000 103.0s Saturn_lockfree.Size parallel [ ] 451 0 0 451 / 1000 105.0s Saturn_lockfree.Size parallel [ ] 452 0 0 452 / 1000 106.0s Saturn_lockfree.Size parallel [ ] 458 0 0 458 / 1000 106.3s Saturn_lockfree.Size parallel [ ] 466 0 0 466 / 1000 106.4s Saturn_lockfree.Size parallel [ ] 472 0 0 472 / 1000 106.9s Saturn_lockfree.Size parallel [ ] 474 0 0 474 / 1000 107.6s Saturn_lockfree.Size parallel [ ] 477 0 0 477 / 1000 107.7s Saturn_lockfree.Size parallel [ ] 480 0 0 480 / 1000 108.3s Saturn_lockfree.Size parallel [ ] 486 0 0 486 / 1000 108.4s Saturn_lockfree.Size parallel [ ] 487 0 0 487 / 1000 108.7s Saturn_lockfree.Size parallel [ ] 493 0 0 493 / 1000 108.8s Saturn_lockfree.Size parallel [ ] 495 0 0 495 / 1000 109.4s Saturn_lockfree.Size parallel [ ] 500 0 0 500 / 1000 109.6s Saturn_lockfree.Size parallel [ ] 502 0 0 502 / 1000 110.0s Saturn_lockfree.Size parallel [ ] 505 0 0 505 / 1000 110.1s Saturn_lockfree.Size parallel [ ] 508 0 0 508 / 1000 113.9s Saturn_lockfree.Size parallel [ ] 512 0 0 512 / 1000 114.0s Saturn_lockfree.Size parallel [ ] 513 0 0 513 / 1000 115.6s Saturn_lockfree.Size parallel [ ] 519 0 0 519 / 1000 115.8s Saturn_lockfree.Size parallel [ ] 520 0 0 520 / 1000 116.0s Saturn_lockfree.Size parallel [ ] 522 0 0 522 / 1000 116.1s Saturn_lockfree.Size parallel [ ] 528 0 0 528 / 1000 116.4s Saturn_lockfree.Size parallel [ ] 529 0 0 529 / 1000 117.3s Saturn_lockfree.Size parallel [ ] 533 0 0 533 / 1000 117.4s Saturn_lockfree.Size parallel [ ] 537 0 0 537 / 1000 117.6s Saturn_lockfree.Size parallel [ ] 541 0 0 541 / 1000 117.7s Saturn_lockfree.Size parallel [ ] 542 0 0 542 / 1000 119.1s Saturn_lockfree.Size parallel [ ] 543 0 0 543 / 1000 121.9s Saturn_lockfree.Size parallel [ ] 548 0 0 548 / 1000 123.0s Saturn_lockfree.Size parallel [ ] 549 0 0 549 / 1000 124.0s Saturn_lockfree.Size parallel [ ] 551 0 0 551 / 1000 124.3s Saturn_lockfree.Size parallel [ ] 552 0 0 552 / 1000 124.4s Saturn_lockfree.Size parallel [ ] 555 0 0 555 / 1000 124.5s Saturn_lockfree.Size parallel [ ] 559 0 0 559 / 1000 124.7s Saturn_lockfree.Size parallel [ ] 563 0 0 563 / 1000 124.8s Saturn_lockfree.Size parallel [ ] 564 0 0 564 / 1000 125.2s Saturn_lockfree.Size parallel [ ] 565 0 0 565 / 1000 125.3s Saturn_lockfree.Size parallel [ ] 566 0 0 566 / 1000 126.4s Saturn_lockfree.Size parallel [ ] 568 0 0 568 / 1000 128.4s Saturn_lockfree.Size parallel [ ] 570 0 0 570 / 1000 128.7s Saturn_lockfree.Size parallel [ ] 575 0 0 575 / 1000 128.8s Saturn_lockfree.Size parallel [ ] 576 0 0 576 / 1000 129.4s Saturn_lockfree.Size parallel [ ] 577 0 0 577 / 1000 130.6s Saturn_lockfree.Size parallel [ ] 578 0 0 578 / 1000 134.4s Saturn_lockfree.Size parallel [ ] 579 0 0 579 / 1000 134.6s Saturn_lockfree.Size parallel [ ] 581 0 0 581 / 1000 134.8s Saturn_lockfree.Size parallel [ ] 582 0 0 582 / 1000 136.5s Saturn_lockfree.Size parallel [ ] 584 0 0 584 / 1000 137.2s Saturn_lockfree.Size parallel [ ] 586 0 0 586 / 1000 137.5s Saturn_lockfree.Size parallel [ ] 591 0 0 591 / 1000 137.6s Saturn_lockfree.Size parallel [ ] 593 0 0 593 / 1000 138.2s Saturn_lockfree.Size parallel [ ] 594 0 0 594 / 1000 139.8s Saturn_lockfree.Size parallel [ ] 598 0 0 598 / 1000 139.9s Saturn_lockfree.Size parallel [ ] 599 0 0 599 / 1000 140.4s Saturn_lockfree.Size parallel [ ] 601 0 0 601 / 1000 141.6s Saturn_lockfree.Size parallel [ ] 605 0 0 605 / 1000 141.7s Saturn_lockfree.Size parallel [ ] 609 0 0 609 / 1000 141.8s Saturn_lockfree.Size parallel [ ] 613 0 0 613 / 1000 141.9s Saturn_lockfree.Size parallel [ ] 614 0 0 614 / 1000 144.2s Saturn_lockfree.Size parallel [ ] 616 0 0 616 / 1000 144.5s Saturn_lockfree.Size parallel [ ] 617 0 0 617 / 1000 147.2s Saturn_lockfree.Size parallel [ ] 623 0 0 623 / 1000 147.3s Saturn_lockfree.Size parallel [ ] 627 0 0 627 / 1000 148.1s Saturn_lockfree.Size parallel [ ] 632 0 0 632 / 1000 151.8s Saturn_lockfree.Size parallel [ ] 638 0 0 638 / 1000 153.1s Saturn_lockfree.Size parallel [ ] 644 0 0 644 / 1000 153.3s Saturn_lockfree.Size parallel [ ] 647 0 0 647 / 1000 153.5s Saturn_lockfree.Size parallel [ ] 648 0 0 648 / 1000 154.5s Saturn_lockfree.Size parallel [ ] 649 0 0 649 / 1000 154.7s Saturn_lockfree.Size parallel [ ] 651 0 0 651 / 1000 157.3s Saturn_lockfree.Size parallel [ ] 653 0 0 653 / 1000 157.4s Saturn_lockfree.Size parallel [ ] 660 0 0 660 / 1000 157.5s Saturn_lockfree.Size parallel [ ] 661 0 0 661 / 1000 157.6s Saturn_lockfree.Size parallel [ ] 662 0 0 662 / 1000 157.8s Saturn_lockfree.Size parallel [ ] 665 0 0 665 / 1000 157.9s Saturn_lockfree.Size parallel [ ] 668 0 0 668 / 1000 158.1s Saturn_lockfree.Size parallel [ ] 674 0 0 674 / 1000 158.3s Saturn_lockfree.Size parallel [ ] 680 0 0 680 / 1000 158.4s Saturn_lockfree.Size parallel [ ] 683 0 0 683 / 1000 158.5s Saturn_lockfree.Size parallel [ ] 686 0 0 686 / 1000 162.7s Saturn_lockfree.Size parallel [ ] 690 0 0 690 / 1000 165.0s Saturn_lockfree.Size parallel [ ] 693 0 0 693 / 1000 167.7s Saturn_lockfree.Size parallel [ ] 699 0 0 699 / 1000 167.8s Saturn_lockfree.Size parallel [ ] 700 0 0 700 / 1000 168.0s Saturn_lockfree.Size parallel [ ] 701 0 0 701 / 1000 168.8s Saturn_lockfree.Size parallel [ ] 703 0 0 703 / 1000 170.2s Saturn_lockfree.Size parallel [ ] 706 0 0 706 / 1000 174.6s Saturn_lockfree.Size parallel [ ] 709 0 0 709 / 1000 174.8s Saturn_lockfree.Size parallel [ ] 713 0 0 713 / 1000 176.0s Saturn_lockfree.Size parallel [ ] 714 0 0 714 / 1000 177.1s Saturn_lockfree.Size parallel [ ] 720 0 0 720 / 1000 177.9s Saturn_lockfree.Size parallel [ ] 721 0 0 721 / 1000 178.8s Saturn_lockfree.Size parallel [ ] 722 0 0 722 / 1000 179.0s Saturn_lockfree.Size parallel [ ] 724 0 0 724 / 1000 181.5s Saturn_lockfree.Size parallel [ ] 728 0 0 728 / 1000 181.6s Saturn_lockfree.Size parallel [ ] 729 0 0 729 / 1000 184.4s Saturn_lockfree.Size parallel [ ] 730 0 0 730 / 1000 185.5s Saturn_lockfree.Size parallel [ ] 736 0 0 736 / 1000 185.8s Saturn_lockfree.Size parallel [ ] 741 0 0 741 / 1000 185.9s Saturn_lockfree.Size parallel [ ] 743 0 0 743 / 1000 189.0s Saturn_lockfree.Size parallel [ ] 749 0 0 749 / 1000 190.1s Saturn_lockfree.Size parallel [ ] 751 0 0 751 / 1000 190.3s Saturn_lockfree.Size parallel [ ] 754 0 0 754 / 1000 191.1s Saturn_lockfree.Size parallel [ ] 758 0 0 758 / 1000 192.7s Saturn_lockfree.Size parallel [ ] 761 0 0 761 / 1000 193.4s Saturn_lockfree.Size parallel [ ] 763 0 0 763 / 1000 193.6s Saturn_lockfree.Size parallel [ ] 765 0 0 765 / 1000 194.9s Saturn_lockfree.Size parallel [ ] 769 0 0 769 / 1000 195.1s Saturn_lockfree.Size parallel [ ] 770 0 0 770 / 1000 195.2s Saturn_lockfree.Size parallel [ ] 775 0 0 775 / 1000 195.5s Saturn_lockfree.Size parallel [ ] 777 0 0 777 / 1000 199.0s Saturn_lockfree.Size parallel [ ] 781 0 0 781 / 1000 201.1s Saturn_lockfree.Size parallel [ ] 783 0 0 783 / 1000 201.8s Saturn_lockfree.Size parallel [ ] 784 0 0 784 / 1000 202.4s Saturn_lockfree.Size parallel [ ] 786 0 0 786 / 1000 203.3s Saturn_lockfree.Size parallel [ ] 788 0 0 788 / 1000 203.4s Saturn_lockfree.Size parallel [ ] 791 0 0 791 / 1000 204.1s Saturn_lockfree.Size parallel [ ] 792 0 0 792 / 1000 204.3s Saturn_lockfree.Size parallel [ ] 799 0 0 799 / 1000 206.0s Saturn_lockfree.Size parallel [ ] 800 0 0 800 / 1000 206.2s Saturn_lockfree.Size parallel [ ] 803 0 0 803 / 1000 206.4s Saturn_lockfree.Size parallel [ ] 804 0 0 804 / 1000 209.3s Saturn_lockfree.Size parallel [ ] 808 0 0 808 / 1000 210.8s Saturn_lockfree.Size parallel [ ] 809 0 0 809 / 1000 213.1s Saturn_lockfree.Size parallel [ ] 812 0 0 812 / 1000 215.4s Saturn_lockfree.Size parallel [ ] 818 0 0 818 / 1000 215.9s Saturn_lockfree.Size parallel [ ] 820 0 0 820 / 1000 216.1s Saturn_lockfree.Size parallel [ ] 823 0 0 823 / 1000 216.5s Saturn_lockfree.Size parallel [ ] 824 0 0 824 / 1000 217.9s Saturn_lockfree.Size parallel [ ] 825 0 0 825 / 1000 219.8s Saturn_lockfree.Size parallel [ ] 829 0 0 829 / 1000 221.9s Saturn_lockfree.Size parallel [ ] 836 0 0 836 / 1000 222.0s Saturn_lockfree.Size parallel [ ] 838 0 0 838 / 1000 222.4s Saturn_lockfree.Size parallel [ ] 839 0 0 839 / 1000 223.3s Saturn_lockfree.Size parallel [ ] 840 0 0 840 / 1000 225.0s Saturn_lockfree.Size parallel [ ] 841 0 0 841 / 1000 225.2s Saturn_lockfree.Size parallel [ ] 845 0 0 845 / 1000 225.7s Saturn_lockfree.Size parallel [ ] 849 0 0 849 / 1000 225.8s Saturn_lockfree.Size parallel [ ] 853 0 0 853 / 1000 226.0s Saturn_lockfree.Size parallel [ ] 856 0 0 856 / 1000 226.2s Saturn_lockfree.Size parallel [ ] 857 0 0 857 / 1000 229.9s Saturn_lockfree.Size parallel [ ] 858 0 0 858 / 1000 230.0s Saturn_lockfree.Size parallel [ ] 862 0 0 862 / 1000 230.3s Saturn_lockfree.Size parallel [ ] 867 0 0 867 / 1000 231.6s Saturn_lockfree.Size parallel [ ] 870 0 0 870 / 1000 231.8s Saturn_lockfree.Size parallel [ ] 873 0 0 873 / 1000 231.9s Saturn_lockfree.Size parallel [ ] 879 0 0 879 / 1000 232.1s Saturn_lockfree.Size parallel [ ] 882 0 0 882 / 1000 232.5s Saturn_lockfree.Size parallel [ ] 884 0 0 884 / 1000 233.1s Saturn_lockfree.Size parallel [ ] 885 0 0 885 / 1000 234.0s Saturn_lockfree.Size parallel [ ] 889 0 0 889 / 1000 235.4s Saturn_lockfree.Size parallel [ ] 891 0 0 891 / 1000 235.6s Saturn_lockfree.Size parallel [ ] 896 0 0 896 / 1000 235.8s Saturn_lockfree.Size parallel [ ] 902 0 0 902 / 1000 235.9s Saturn_lockfree.Size parallel [ ] 904 0 0 904 / 1000 239.8s Saturn_lockfree.Size parallel [ ] 905 0 0 905 / 1000 242.2s Saturn_lockfree.Size parallel [ ] 912 0 0 912 / 1000 242.3s Saturn_lockfree.Size parallel [ ] 915 0 0 915 / 1000 242.4s Saturn_lockfree.Size parallel [ ] 916 0 0 916 / 1000 243.5s Saturn_lockfree.Size parallel [ ] 920 0 0 920 / 1000 243.7s Saturn_lockfree.Size parallel [ ] 926 0 0 926 / 1000 244.8s Saturn_lockfree.Size parallel [ ] 929 0 0 929 / 1000 245.0s Saturn_lockfree.Size parallel [ ] 933 0 0 933 / 1000 246.1s Saturn_lockfree.Size parallel [ ] 938 0 0 938 / 1000 246.3s Saturn_lockfree.Size parallel [ ] 943 0 0 943 / 1000 250.3s Saturn_lockfree.Size parallel [ ] 944 0 0 944 / 1000 250.6s Saturn_lockfree.Size parallel [ ] 950 0 0 950 / 1000 251.9s Saturn_lockfree.Size parallel [ ] 951 0 0 951 / 1000 252.9s Saturn_lockfree.Size parallel [ ] 954 0 0 954 / 1000 253.8s Saturn_lockfree.Size parallel [ ] 955 0 0 955 / 1000 254.1s Saturn_lockfree.Size parallel [ ] 956 0 0 956 / 1000 257.0s Saturn_lockfree.Size parallel [ ] 961 0 0 961 / 1000 257.1s Saturn_lockfree.Size parallel [ ] 967 0 0 967 / 1000 257.2s Saturn_lockfree.Size parallel [ ] 970 0 0 970 / 1000 257.7s Saturn_lockfree.Size parallel [ ] 972 0 0 972 / 1000 258.0s Saturn_lockfree.Size parallel [ ] 973 0 0 973 / 1000 259.4s Saturn_lockfree.Size parallel [ ] 981 0 0 981 / 1000 259.5s Saturn_lockfree.Size parallel [ ] 983 0 0 983 / 1000 259.7s Saturn_lockfree.Size parallel [ ] 984 0 0 984 / 1000 260.1s Saturn_lockfree.Size parallel [ ] 989 0 0 989 / 1000 261.8s Saturn_lockfree.Size parallel [ ] 991 0 0 991 / 1000 261.9s Saturn_lockfree.Size parallel [ ] 993 0 0 993 / 1000 262.3s Saturn_lockfree.Size parallel [ ] 997 0 0 997 / 1000 264.6s Saturn_lockfree.Size parallel [ ] 998 0 0 998 / 1000 264.7s Saturn_lockfree.Size parallel [ ] 1000 0 0 1000 / 1000 264.9s Saturn_lockfree.Size parallel [✓] 1000 0 0 1000 / 1000 264.9s Saturn_lockfree.Size parallel================================================================================success (ran 2 tests)2024-11-04 21:16.10 ---> saved as "644c5ecd3d5d478134e6a507f54a6a7cc48d79abd463f098ae8cc71c878adb27"Job succeeded2024-11-04 21:16.11: Job succeeded