[INFO] fetching crate biodivine-lib-param-bn 0.4.4...
[INFO] testing biodivine-lib-param-bn-0.4.4 against beta-2023-04-20 for beta-1.70-1
[INFO] extracting crate biodivine-lib-param-bn 0.4.4 into /workspace/builds/worker-7-tc2/source
[INFO] validating manifest of crates.io crate biodivine-lib-param-bn 0.4.4 on toolchain beta-2023-04-20
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2023-04-20" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate biodivine-lib-param-bn 0.4.4
[INFO] finished tweaking crates.io crate biodivine-lib-param-bn 0.4.4
[INFO] tweaked toml for crates.io crate biodivine-lib-param-bn 0.4.4 written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] crate crates.io crate biodivine-lib-param-bn 0.4.4 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2023-04-20" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded which v3.1.1
[INFO] [stderr]   Downloaded yansi v0.5.1
[INFO] [stderr]   Downloaded output_vt100 v0.1.3
[INFO] [stderr]   Downloaded bindgen v0.58.1
[INFO] [stderr]   Downloaded ctor v0.1.26
[INFO] [stderr]   Downloaded biodivine-lib-bdd v0.4.2
[INFO] [stderr]   Downloaded bitvector v0.1.5
[INFO] [stderr]   Downloaded z3 v0.11.2
[INFO] [stderr]   Downloaded xmlparser v0.13.5
[INFO] [stderr]   Downloaded roxmltree v0.15.1
[INFO] [stderr]   Downloaded pretty_assertions v1.3.0
[INFO] [stderr]   Downloaded z3-sys v0.7.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-04-20" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 7b8ce372c15cedc1e05b8bc0fb19f17242111a6e0d8cb04797bcfc2800267673
[INFO] running `Command { std: "docker" "start" "-a" "7b8ce372c15cedc1e05b8bc0fb19f17242111a6e0d8cb04797bcfc2800267673", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7b8ce372c15cedc1e05b8bc0fb19f17242111a6e0d8cb04797bcfc2800267673", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7b8ce372c15cedc1e05b8bc0fb19f17242111a6e0d8cb04797bcfc2800267673", kill_on_drop: false }`
[INFO] [stdout] 7b8ce372c15cedc1e05b8bc0fb19f17242111a6e0d8cb04797bcfc2800267673
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-04-20" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 70764705797bde5d59a6299090d910602fa978eb1c84921f7f3e0dd456a17f21
[INFO] running `Command { std: "docker" "start" "-a" "70764705797bde5d59a6299090d910602fa978eb1c84921f7f3e0dd456a17f21", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.137
[INFO] [stderr]    Compiling num-traits v0.2.15
[INFO] [stderr]    Compiling num-integer v0.1.45
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling num-bigint v0.4.3
[INFO] [stderr]    Compiling byteorder v1.4.3
[INFO] [stderr]    Compiling xmlparser v0.13.5
[INFO] [stderr]    Compiling regex-syntax v0.6.27
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling bitvector v0.1.5
[INFO] [stderr]    Compiling roxmltree v0.15.1
[INFO] [stderr]    Compiling fxhash v0.2.1
[INFO] [stderr]    Compiling aho-corasick v0.7.19
[INFO] [stderr]    Compiling getrandom v0.2.8
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling regex v1.6.0
[INFO] [stderr]    Compiling biodivine-lib-bdd v0.4.2
[INFO] [stderr]    Compiling biodivine-lib-param-bn v0.4.4 (/opt/rustwide/workdir)
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustc9lQnCC/symbols.o" "/opt/rustwide/target/debug/deps/dump_graph-2f004018193a204c.dump_graph.0aedd5ca-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/dump_graph-2f004018193a204c.dump_graph.0aedd5ca-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/dump_graph-2f004018193a204c.dump_graph.0aedd5ca-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/dump_graph-2f004018193a204c.dump_graph.0aedd5ca-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/dump_graph-2f004018193a204c.dump_graph.0aedd5ca-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/dump_graph-2f004018193a204c.dump_graph.0aedd5ca-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/dump_graph-2f004018193a204c.dump_graph.0aedd5ca-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/dump_graph-2f004018193a204c.dump_graph.0aedd5ca-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/dump_graph-2f004018193a204c.dump_graph.0aedd5ca-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/dump_graph-2f004018193a204c.dump_graph.0aedd5ca-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/dump_graph-2f004018193a204c.dump_graph.0aedd5ca-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/dump_graph-2f004018193a204c.dump_graph.0aedd5ca-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/dump_graph-2f004018193a204c.dump_graph.0aedd5ca-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/dump_graph-2f004018193a204c.dump_graph.0aedd5ca-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/dump_graph-2f004018193a204c.dump_graph.0aedd5ca-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/dump_graph-2f004018193a204c.dump_graph.0aedd5ca-cgu.9.rcgu.o" "/opt/rustwide/target/debug/deps/dump_graph-2f004018193a204c.1jbyxlf8na8kd0yc.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libbiodivine_lib_param_bn-96a5408bcd22acb4.rlib" "/opt/rustwide/target/debug/deps/libbitvector-15ef146bc4e28fe2.rlib" "/opt/rustwide/target/debug/deps/libroxmltree-22a56051e468096f.rlib" "/opt/rustwide/target/debug/deps/libxmlparser-29d396149f434020.rlib" "/opt/rustwide/target/debug/deps/libregex-7a859cf6490b2a26.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-c41fbc7412c36bd5.rlib" "/opt/rustwide/target/debug/deps/libmemchr-f4ebff342237ab92.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-172cd7e2aeb51a67.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-86422d76b8bd90ed.rlib" "/opt/rustwide/target/debug/deps/libbiodivine_lib_bdd-07a9bbe3b4cfbfee.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-9d8647cc79f5fb51.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-252bf10dfecf5a6a.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-ab4e79417a15ff02.rlib" "/opt/rustwide/target/debug/deps/librand-f06a299a945b4e43.rlib" "/opt/rustwide/target/debug/deps/librand_chacha-632e7b040b2c609b.rlib" "/opt/rustwide/target/debug/deps/libppv_lite86-0fa3e45be755835a.rlib" "/opt/rustwide/target/debug/deps/librand_core-1d4829461bb34e6e.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-1cb091d6f11ce1ff.rlib" "/opt/rustwide/target/debug/deps/liblibc-a37df99cd3c4e56c.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-97437e183f3ae6e4.rlib" "/opt/rustwide/target/debug/deps/libfxhash-e2bbac7e1bf7d43b.rlib" "/opt/rustwide/target/debug/deps/libbyteorder-614d7e4e7f7903e2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-0e29cc23c5e02021.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-d903621768a861d9.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-6d0225e655f31c13.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-9dbaf4eac7eaa079.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-27f05b3d42a66dd0.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-4d73f1030321c9a2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-2846c9e58abd0acb.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-a53d0f50415947be.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-d48e4b6abc25b9dc.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-2991859439ef1207.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-8a687517e4221bae.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-e07b554f6a67f5b3.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-b68238b7c3c619dd.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-d5e213e896c017e4.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-0211a3b2e61d8689.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-b371f055239ba51f.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-e60518d2760eb01e.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-1ad943f92a4b1081.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-f0d6e4d0fc1e80b4.rlib" "-Wl,-Bdynamic" "-lc" "-lm" "-lrt" "-lpthread" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/dump_graph-2f004018193a204c" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `biodivine-lib-param-bn` (bin "dump-graph") due to 2 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustc5kjOce/symbols.o" "/opt/rustwide/target/debug/deps/bench_reach-3682c88e62b576d3.bench_reach.4ad8a0de-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/bench_reach-3682c88e62b576d3.bench_reach.4ad8a0de-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/bench_reach-3682c88e62b576d3.bench_reach.4ad8a0de-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/bench_reach-3682c88e62b576d3.bench_reach.4ad8a0de-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/bench_reach-3682c88e62b576d3.bench_reach.4ad8a0de-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/bench_reach-3682c88e62b576d3.bench_reach.4ad8a0de-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/bench_reach-3682c88e62b576d3.bench_reach.4ad8a0de-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/bench_reach-3682c88e62b576d3.bench_reach.4ad8a0de-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/bench_reach-3682c88e62b576d3.bench_reach.4ad8a0de-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/bench_reach-3682c88e62b576d3.bench_reach.4ad8a0de-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/bench_reach-3682c88e62b576d3.bench_reach.4ad8a0de-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/bench_reach-3682c88e62b576d3.bench_reach.4ad8a0de-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/bench_reach-3682c88e62b576d3.bench_reach.4ad8a0de-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/bench_reach-3682c88e62b576d3.bench_reach.4ad8a0de-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/bench_reach-3682c88e62b576d3.bench_reach.4ad8a0de-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/bench_reach-3682c88e62b576d3.bench_reach.4ad8a0de-cgu.9.rcgu.o" "/opt/rustwide/target/debug/deps/bench_reach-3682c88e62b576d3.4urv776f35waja8q.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libbiodivine_lib_param_bn-96a5408bcd22acb4.rlib" "/opt/rustwide/target/debug/deps/libbitvector-15ef146bc4e28fe2.rlib" "/opt/rustwide/target/debug/deps/libroxmltree-22a56051e468096f.rlib" "/opt/rustwide/target/debug/deps/libxmlparser-29d396149f434020.rlib" "/opt/rustwide/target/debug/deps/libbiodivine_lib_bdd-07a9bbe3b4cfbfee.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-9d8647cc79f5fb51.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-252bf10dfecf5a6a.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-ab4e79417a15ff02.rlib" "/opt/rustwide/target/debug/deps/librand-f06a299a945b4e43.rlib" "/opt/rustwide/target/debug/deps/librand_chacha-632e7b040b2c609b.rlib" "/opt/rustwide/target/debug/deps/libppv_lite86-0fa3e45be755835a.rlib" "/opt/rustwide/target/debug/deps/librand_core-1d4829461bb34e6e.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-1cb091d6f11ce1ff.rlib" "/opt/rustwide/target/debug/deps/liblibc-a37df99cd3c4e56c.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-97437e183f3ae6e4.rlib" "/opt/rustwide/target/debug/deps/libfxhash-e2bbac7e1bf7d43b.rlib" "/opt/rustwide/target/debug/deps/libbyteorder-614d7e4e7f7903e2.rlib" "/opt/rustwide/target/debug/deps/libregex-7a859cf6490b2a26.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-c41fbc7412c36bd5.rlib" "/opt/rustwide/target/debug/deps/libmemchr-f4ebff342237ab92.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-172cd7e2aeb51a67.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-86422d76b8bd90ed.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-0e29cc23c5e02021.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-d903621768a861d9.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-6d0225e655f31c13.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-9dbaf4eac7eaa079.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-27f05b3d42a66dd0.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-4d73f1030321c9a2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-2846c9e58abd0acb.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-a53d0f50415947be.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-d48e4b6abc25b9dc.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-2991859439ef1207.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-8a687517e4221bae.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-e07b554f6a67f5b3.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-b68238b7c3c619dd.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-d5e213e896c017e4.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-0211a3b2e61d8689.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-b371f055239ba51f.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-e60518d2760eb01e.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-1ad943f92a4b1081.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-f0d6e4d0fc1e80b4.rlib" "-Wl,-Bdynamic" "-lc" "-lm" "-lrt" "-lpthread" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/bench_reach-3682c88e62b576d3" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `biodivine-lib-param-bn` (bin "bench_reach") due to 2 previous errors
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustclv0skF/symbols.o" "/opt/rustwide/target/debug/deps/check_fvs-8abf44263330f149.check_fvs.9a37c8da-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/check_fvs-8abf44263330f149.check_fvs.9a37c8da-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/check_fvs-8abf44263330f149.check_fvs.9a37c8da-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/check_fvs-8abf44263330f149.check_fvs.9a37c8da-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/check_fvs-8abf44263330f149.check_fvs.9a37c8da-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/check_fvs-8abf44263330f149.check_fvs.9a37c8da-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/check_fvs-8abf44263330f149.check_fvs.9a37c8da-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/check_fvs-8abf44263330f149.check_fvs.9a37c8da-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/check_fvs-8abf44263330f149.check_fvs.9a37c8da-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/check_fvs-8abf44263330f149.check_fvs.9a37c8da-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/check_fvs-8abf44263330f149.check_fvs.9a37c8da-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/check_fvs-8abf44263330f149.check_fvs.9a37c8da-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/check_fvs-8abf44263330f149.check_fvs.9a37c8da-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/check_fvs-8abf44263330f149.check_fvs.9a37c8da-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/check_fvs-8abf44263330f149.check_fvs.9a37c8da-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/check_fvs-8abf44263330f149.check_fvs.9a37c8da-cgu.9.rcgu.o" "/opt/rustwide/target/debug/deps/check_fvs-8abf44263330f149.4453llj40sugfx43.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libbiodivine_lib_param_bn-96a5408bcd22acb4.rlib" "/opt/rustwide/target/debug/deps/libbitvector-15ef146bc4e28fe2.rlib" "/opt/rustwide/target/debug/deps/libroxmltree-22a56051e468096f.rlib" "/opt/rustwide/target/debug/deps/libxmlparser-29d396149f434020.rlib" "/opt/rustwide/target/debug/deps/libbiodivine_lib_bdd-07a9bbe3b4cfbfee.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-9d8647cc79f5fb51.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-252bf10dfecf5a6a.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-ab4e79417a15ff02.rlib" "/opt/rustwide/target/debug/deps/librand-f06a299a945b4e43.rlib" "/opt/rustwide/target/debug/deps/librand_chacha-632e7b040b2c609b.rlib" "/opt/rustwide/target/debug/deps/libppv_lite86-0fa3e45be755835a.rlib" "/opt/rustwide/target/debug/deps/librand_core-1d4829461bb34e6e.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-1cb091d6f11ce1ff.rlib" "/opt/rustwide/target/debug/deps/liblibc-a37df99cd3c4e56c.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-97437e183f3ae6e4.rlib" "/opt/rustwide/target/debug/deps/libfxhash-e2bbac7e1bf7d43b.rlib" "/opt/rustwide/target/debug/deps/libbyteorder-614d7e4e7f7903e2.rlib" "/opt/rustwide/target/debug/deps/libregex-7a859cf6490b2a26.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-c41fbc7412c36bd5.rlib" "/opt/rustwide/target/debug/deps/libmemchr-f4ebff342237ab92.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-172cd7e2aeb51a67.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-86422d76b8bd90ed.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-0e29cc23c5e02021.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-d903621768a861d9.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-6d0225e655f31c13.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-9dbaf4eac7eaa079.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-27f05b3d42a66dd0.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-4d73f1030321c9a2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-2846c9e58abd0acb.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-a53d0f50415947be.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-d48e4b6abc25b9dc.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-2991859439ef1207.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-8a687517e4221bae.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-e07b554f6a67f5b3.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-b68238b7c3c619dd.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-d5e213e896c017e4.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-0211a3b2e61d8689.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-b371f055239ba51f.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-e60518d2760eb01e.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-1ad943f92a4b1081.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-f0d6e4d0fc1e80b4.rlib" "-Wl,-Bdynamic" "-lc" "-lm" "-lrt" "-lpthread" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/check_fvs-8abf44263330f149" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `biodivine-lib-param-bn` (bin "check_fvs") due to 2 previous errors
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcY1tgQL/symbols.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_colors-1d645594b5fa8225.bench_fixed_points_symbolic_colors.c9a545eb-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_colors-1d645594b5fa8225.bench_fixed_points_symbolic_colors.c9a545eb-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_colors-1d645594b5fa8225.bench_fixed_points_symbolic_colors.c9a545eb-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_colors-1d645594b5fa8225.bench_fixed_points_symbolic_colors.c9a545eb-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_colors-1d645594b5fa8225.bench_fixed_points_symbolic_colors.c9a545eb-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_colors-1d645594b5fa8225.bench_fixed_points_symbolic_colors.c9a545eb-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_colors-1d645594b5fa8225.bench_fixed_points_symbolic_colors.c9a545eb-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_colors-1d645594b5fa8225.bench_fixed_points_symbolic_colors.c9a545eb-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_colors-1d645594b5fa8225.bench_fixed_points_symbolic_colors.c9a545eb-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_colors-1d645594b5fa8225.bench_fixed_points_symbolic_colors.c9a545eb-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_colors-1d645594b5fa8225.bench_fixed_points_symbolic_colors.c9a545eb-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_colors-1d645594b5fa8225.bench_fixed_points_symbolic_colors.c9a545eb-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_colors-1d645594b5fa8225.bench_fixed_points_symbolic_colors.c9a545eb-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_colors-1d645594b5fa8225.bench_fixed_points_symbolic_colors.c9a545eb-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_colors-1d645594b5fa8225.bench_fixed_points_symbolic_colors.c9a545eb-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_colors-1d645594b5fa8225.bench_fixed_points_symbolic_colors.c9a545eb-cgu.9.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_colors-1d645594b5fa8225.4a856idkg0qjgbes.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libbiodivine_lib_param_bn-96a5408bcd22acb4.rlib" "/opt/rustwide/target/debug/deps/libbitvector-15ef146bc4e28fe2.rlib" "/opt/rustwide/target/debug/deps/libroxmltree-22a56051e468096f.rlib" "/opt/rustwide/target/debug/deps/libxmlparser-29d396149f434020.rlib" "/opt/rustwide/target/debug/deps/libbiodivine_lib_bdd-07a9bbe3b4cfbfee.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-9d8647cc79f5fb51.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-252bf10dfecf5a6a.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-ab4e79417a15ff02.rlib" "/opt/rustwide/target/debug/deps/librand-f06a299a945b4e43.rlib" "/opt/rustwide/target/debug/deps/librand_chacha-632e7b040b2c609b.rlib" "/opt/rustwide/target/debug/deps/libppv_lite86-0fa3e45be755835a.rlib" "/opt/rustwide/target/debug/deps/librand_core-1d4829461bb34e6e.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-1cb091d6f11ce1ff.rlib" "/opt/rustwide/target/debug/deps/liblibc-a37df99cd3c4e56c.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-97437e183f3ae6e4.rlib" "/opt/rustwide/target/debug/deps/libfxhash-e2bbac7e1bf7d43b.rlib" "/opt/rustwide/target/debug/deps/libbyteorder-614d7e4e7f7903e2.rlib" "/opt/rustwide/target/debug/deps/libregex-7a859cf6490b2a26.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-c41fbc7412c36bd5.rlib" "/opt/rustwide/target/debug/deps/libmemchr-f4ebff342237ab92.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-172cd7e2aeb51a67.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-86422d76b8bd90ed.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-0e29cc23c5e02021.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-d903621768a861d9.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-6d0225e655f31c13.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-9dbaf4eac7eaa079.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-27f05b3d42a66dd0.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-4d73f1030321c9a2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-2846c9e58abd0acb.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-a53d0f50415947be.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-d48e4b6abc25b9dc.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-2991859439ef1207.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-8a687517e4221bae.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-e07b554f6a67f5b3.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-b68238b7c3c619dd.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-d5e213e896c017e4.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-0211a3b2e61d8689.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-b371f055239ba51f.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-e60518d2760eb01e.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-1ad943f92a4b1081.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-f0d6e4d0fc1e80b4.rlib" "-Wl,-Bdynamic" "-lc" "-lm" "-lrt" "-lpthread" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_colors-1d645594b5fa8225" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `biodivine-lib-param-bn` (bin "bench_fixed_points_symbolic_colors") due to 2 previous errors
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcvsUGrh/symbols.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_vertices-156f53ea0f933c84.bench_fixed_points_symbolic_vertices.9035d307-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_vertices-156f53ea0f933c84.bench_fixed_points_symbolic_vertices.9035d307-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_vertices-156f53ea0f933c84.bench_fixed_points_symbolic_vertices.9035d307-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_vertices-156f53ea0f933c84.bench_fixed_points_symbolic_vertices.9035d307-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_vertices-156f53ea0f933c84.bench_fixed_points_symbolic_vertices.9035d307-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_vertices-156f53ea0f933c84.bench_fixed_points_symbolic_vertices.9035d307-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_vertices-156f53ea0f933c84.bench_fixed_points_symbolic_vertices.9035d307-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_vertices-156f53ea0f933c84.bench_fixed_points_symbolic_vertices.9035d307-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_vertices-156f53ea0f933c84.bench_fixed_points_symbolic_vertices.9035d307-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_vertices-156f53ea0f933c84.bench_fixed_points_symbolic_vertices.9035d307-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_vertices-156f53ea0f933c84.bench_fixed_points_symbolic_vertices.9035d307-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_vertices-156f53ea0f933c84.bench_fixed_points_symbolic_vertices.9035d307-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_vertices-156f53ea0f933c84.bench_fixed_points_symbolic_vertices.9035d307-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_vertices-156f53ea0f933c84.bench_fixed_points_symbolic_vertices.9035d307-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_vertices-156f53ea0f933c84.bench_fixed_points_symbolic_vertices.9035d307-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_vertices-156f53ea0f933c84.bench_fixed_points_symbolic_vertices.9035d307-cgu.9.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_vertices-156f53ea0f933c84.5g8m55iphpeedx3t.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libbiodivine_lib_param_bn-96a5408bcd22acb4.rlib" "/opt/rustwide/target/debug/deps/libbitvector-15ef146bc4e28fe2.rlib" "/opt/rustwide/target/debug/deps/libroxmltree-22a56051e468096f.rlib" "/opt/rustwide/target/debug/deps/libxmlparser-29d396149f434020.rlib" "/opt/rustwide/target/debug/deps/libbiodivine_lib_bdd-07a9bbe3b4cfbfee.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-9d8647cc79f5fb51.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-252bf10dfecf5a6a.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-ab4e79417a15ff02.rlib" "/opt/rustwide/target/debug/deps/librand-f06a299a945b4e43.rlib" "/opt/rustwide/target/debug/deps/librand_chacha-632e7b040b2c609b.rlib" "/opt/rustwide/target/debug/deps/libppv_lite86-0fa3e45be755835a.rlib" "/opt/rustwide/target/debug/deps/librand_core-1d4829461bb34e6e.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-1cb091d6f11ce1ff.rlib" "/opt/rustwide/target/debug/deps/liblibc-a37df99cd3c4e56c.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-97437e183f3ae6e4.rlib" "/opt/rustwide/target/debug/deps/libfxhash-e2bbac7e1bf7d43b.rlib" "/opt/rustwide/target/debug/deps/libbyteorder-614d7e4e7f7903e2.rlib" "/opt/rustwide/target/debug/deps/libregex-7a859cf6490b2a26.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-c41fbc7412c36bd5.rlib" "/opt/rustwide/target/debug/deps/libmemchr-f4ebff342237ab92.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-172cd7e2aeb51a67.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-86422d76b8bd90ed.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-0e29cc23c5e02021.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-d903621768a861d9.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-6d0225e655f31c13.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-9dbaf4eac7eaa079.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-27f05b3d42a66dd0.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-4d73f1030321c9a2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-2846c9e58abd0acb.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-a53d0f50415947be.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-d48e4b6abc25b9dc.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-2991859439ef1207.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-8a687517e4221bae.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-e07b554f6a67f5b3.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-b68238b7c3c619dd.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-d5e213e896c017e4.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-0211a3b2e61d8689.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-b371f055239ba51f.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-e60518d2760eb01e.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-1ad943f92a4b1081.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-f0d6e4d0fc1e80b4.rlib" "-Wl,-Bdynamic" "-lc" "-lm" "-lrt" "-lpthread" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2023-04-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_vertices-156f53ea0f933c84" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `biodivine-lib-param-bn` (bin "bench_fixed_points_symbolic_vertices") due to 2 previous errors
[INFO] running `Command { std: "docker" "inspect" "70764705797bde5d59a6299090d910602fa978eb1c84921f7f3e0dd456a17f21", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "70764705797bde5d59a6299090d910602fa978eb1c84921f7f3e0dd456a17f21", kill_on_drop: false }`
[INFO] [stdout] 70764705797bde5d59a6299090d910602fa978eb1c84921f7f3e0dd456a17f21
