[INFO] cloning repository https://github.com/Bram-Hub/aris [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Bram-Hub/aris" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBram-Hub%2Faris", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBram-Hub%2Faris'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] c94034544c64cf9838dc273a731947e9c435f2b0 [INFO] checking Bram-Hub/aris against try#c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f for 2025-12-16-next-solver-global [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBram-Hub%2Faris" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/Bram-Hub/aris [INFO] finished tweaking git repo https://github.com/Bram-Hub/aris [INFO] tweaked toml for git repo https://github.com/Bram-Hub/aris written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/Bram-Hub/aris on toolchain c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/Bram-Hub/aris 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" "+c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 476d4b0773d49b276d6ec3ad983ae5f225984ec0bc8683a722fc35e95db47f78 [INFO] running `Command { std: "docker" "start" "-a" "476d4b0773d49b276d6ec3ad983ae5f225984ec0bc8683a722fc35e95db47f78", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "476d4b0773d49b276d6ec3ad983ae5f225984ec0bc8683a722fc35e95db47f78", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "476d4b0773d49b276d6ec3ad983ae5f225984ec0bc8683a722fc35e95db47f78", kill_on_drop: false }` [INFO] [stdout] 476d4b0773d49b276d6ec3ad983ae5f225984ec0bc8683a722fc35e95db47f78 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 5575c56f1961d52b0252c118d3c83b716a4ccd3093f33b082f36baf5c43ca442 [INFO] running `Command { std: "docker" "start" "-a" "5575c56f1961d52b0252c118d3c83b716a4ccd3093f33b082f36baf5c43ca442", kill_on_drop: false }` [INFO] [stderr] Checking memchr v2.7.4 [INFO] [stderr] Compiling rustversion v1.0.20 [INFO] [stderr] Compiling zerocopy v0.8.24 [INFO] [stderr] Compiling wasm-bindgen v0.2.100 [INFO] [stderr] Compiling anyhow v1.0.97 [INFO] [stderr] Compiling wasm-bindgen-shared v0.2.100 [INFO] [stderr] Checking varisat-formula v0.2.2 [INFO] [stderr] Compiling getrandom v0.1.16 [INFO] [stderr] Compiling getrandom v0.2.15 [INFO] [stderr] Checking itoa v0.4.8 [INFO] [stderr] Compiling syn v2.0.100 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling phf_shared v0.8.0 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Checking indexmap v2.9.0 [INFO] [stderr] Compiling phf_shared v0.11.3 [INFO] [stderr] Checking ordered-float v2.10.1 [INFO] [stderr] Checking leb128 v0.2.5 [INFO] [stderr] Checking vec_mut_scan v0.3.0 [INFO] [stderr] Compiling smallvec v1.15.0 [INFO] [stderr] Compiling rand_core v0.5.1 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Checking sha2 v0.10.8 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking maplit v1.0.2 [INFO] [stderr] Checking strum v0.24.1 [INFO] [stderr] Compiling rand_pcg v0.2.1 [INFO] [stderr] Checking frunk_core v0.4.3 [INFO] [stderr] Checking xml-rs v0.8.26 [INFO] [stderr] Compiling parking_lot_core v0.9.10 [INFO] [stderr] Compiling lock_api v0.4.12 [INFO] [stderr] Checking varisat-internal-proof v0.2.2 [INFO] [stderr] Compiling new_debug_unreachable v1.0.6 [INFO] [stderr] Checking nom v7.1.3 [INFO] [stderr] Compiling mac v0.1.1 [INFO] [stderr] Compiling dtoa v1.0.10 [INFO] [stderr] Checking petgraph v0.6.5 [INFO] [stderr] Compiling futf v0.1.5 [INFO] [stderr] Compiling utf-8 v0.7.6 [INFO] [stderr] Compiling phf v0.10.1 [INFO] [stderr] Compiling tendril v0.4.3 [INFO] [stderr] Compiling dtoa-short v0.3.5 [INFO] [stderr] Compiling getrandom v0.3.2 [INFO] [stderr] Compiling rustix v1.0.5 [INFO] [stderr] Compiling varisat v0.2.2 [INFO] [stderr] Compiling stable_deref_trait v1.2.0 [INFO] [stderr] Compiling matches v0.1.10 [INFO] [stderr] Compiling parking_lot v0.12.3 [INFO] [stderr] Compiling nodrop v0.1.14 [INFO] [stderr] Compiling fxhash v0.2.1 [INFO] [stderr] Compiling servo_arc v0.1.1 [INFO] [stderr] Checking form_urlencoded v1.2.1 [INFO] [stderr] Compiling thin-slice v0.1.1 [INFO] [stderr] Compiling object v0.36.7 [INFO] [stderr] Compiling bitflags v2.9.0 [INFO] [stderr] Compiling unicode-width v0.1.14 [INFO] [stderr] Compiling prettyplease v0.1.25 [INFO] [stderr] Compiling os_str_bytes v6.6.1 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling getopts v0.2.21 [INFO] [stderr] Compiling clap_lex v0.2.4 [INFO] [stderr] Checking tokio v1.44.2 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling ego-tree v0.6.3 [INFO] [stderr] Compiling textwrap v0.16.2 [INFO] [stderr] Checking gimli v0.31.1 [INFO] [stderr] Compiling termcolor v1.4.1 [INFO] [stderr] Compiling cbindgen v0.24.5 [INFO] [stderr] Compiling same-file v1.0.6 [INFO] [stderr] Checking anymap2 v0.13.0 [INFO] [stderr] Compiling walkdir v2.5.0 [INFO] [stderr] Checking miniz_oxide v0.8.8 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling clap v3.2.25 [INFO] [stderr] Checking num_cpus v1.16.0 [INFO] [stderr] Compiling error-chain v0.12.4 [INFO] [stderr] Compiling boolinator v2.4.0 [INFO] [stderr] Compiling jni v0.10.2 [INFO] [stderr] Checking combine v3.8.1 [INFO] [stderr] Compiling rand_chacha v0.2.2 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Checking jni-sys v0.3.0 [INFO] [stderr] Checking cesu8 v1.1.0 [INFO] [stderr] Checking implicit-clone v0.3.10 [INFO] [stderr] Compiling rand v0.7.3 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling phf_generator v0.10.0 [INFO] [stderr] Compiling phf_generator v0.11.3 [INFO] [stderr] Compiling phf_codegen v0.10.0 [INFO] [stderr] Compiling string_cache_codegen v0.5.4 [INFO] [stderr] Compiling phf_generator v0.8.0 [INFO] [stderr] Checking addr2line v0.24.2 [INFO] [stderr] Compiling phf_codegen v0.8.0 [INFO] [stderr] Checking tokio-stream v0.1.17 [INFO] [stderr] Compiling selectors v0.22.0 [INFO] [stderr] Compiling markup5ever v0.11.0 [INFO] [stderr] Compiling tempfile v3.19.1 [INFO] [stderr] Checking backtrace v0.3.74 [INFO] [stderr] Compiling wasm-bindgen-backend v0.2.100 [INFO] [stderr] Compiling serde_derive v1.0.219 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling cssparser-macros v0.6.1 [INFO] [stderr] Compiling pin-project-internal v1.1.10 [INFO] [stderr] Compiling futures-macro v0.3.31 [INFO] [stderr] Compiling derive_more v0.99.19 [INFO] [stderr] Compiling tracing-attributes v0.1.28 [INFO] [stderr] Compiling synstructure v0.12.6 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Checking futures-util v0.3.31 [INFO] [stderr] Checking thiserror v1.0.69 [INFO] [stderr] Checking varisat-dimacs v0.2.2 [INFO] [stderr] Checking pin-project v1.1.10 [INFO] [stderr] Compiling partial_ref_derive v0.3.3 [INFO] [stderr] Compiling varisat-internal-macros v0.2.2 [INFO] [stderr] Compiling strum_macros v0.24.3 [INFO] [stderr] Compiling cssparser v0.27.2 [INFO] [stderr] Compiling phf_macros v0.8.0 [INFO] [stderr] Compiling html5ever v0.26.0 [INFO] [stderr] Compiling yew-macro v0.20.0 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling wasm-bindgen-macro-support v0.2.100 [INFO] [stderr] Checking partial_ref v0.3.3 [INFO] [stderr] Checking varisat-checker v0.2.2 [INFO] [stderr] Checking tracing v0.1.41 [INFO] [stderr] Compiling phf v0.8.0 [INFO] [stderr] Compiling wasm-bindgen-macro v0.2.100 [INFO] [stderr] Checking serde v1.0.219 [INFO] [stderr] Checking futures v0.3.31 [INFO] [stderr] Checking pinned v0.1.0 [INFO] [stderr] Checking prokio v0.1.0 [INFO] [stderr] Checking serde_json v1.0.140 [INFO] [stderr] Checking bincode v1.3.3 [INFO] [stderr] Checking serde_urlencoded v0.7.1 [INFO] [stderr] Compiling string_cache v0.8.9 [INFO] [stderr] Compiling toml v0.5.11 [INFO] [stderr] Checking js-sys v0.3.77 [INFO] [stderr] Checking console_error_panic_hook v0.1.7 [INFO] [stderr] Compiling scraper v0.14.0 [INFO] [stderr] Compiling yew-octicons v0.4.0 [INFO] [stderr] Checking web-sys v0.3.77 [INFO] [stderr] Checking serde-wasm-bindgen v0.5.0 [INFO] [stderr] Checking wasm-bindgen-futures v0.4.50 [INFO] [stderr] Checking gloo-timers v0.2.6 [INFO] [stderr] Compiling aris-c v0.1.0 (/opt/rustwide/workdir/bindings/c) [INFO] [stderr] warning: varisat@0.2.2: drat-trim proof checker not found, some tests will be disabled: No such file or directory (os error 2) [INFO] [stderr] warning: varisat@0.2.2: rate proof checker not found, some tests will be disabled: No such file or directory (os error 2) [INFO] [stderr] error: could not compile `varisat` (lib) [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f/bin/rustc --crate-name varisat --edition=2018 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/varisat-0.2.2/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata -C embed-bitcode=no -C debuginfo=2 --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values())' -C metadata=99aff72a73413134 -C extra-filename=-56e0e1d6462486f7 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern anyhow=/opt/rustwide/target/debug/deps/libanyhow-e8f9025ee4aa625d.rmeta --extern itoa=/opt/rustwide/target/debug/deps/libitoa-9981568595f32b7f.rmeta --extern leb128=/opt/rustwide/target/debug/deps/libleb128-e2cfe90a4f08c29e.rmeta --extern log=/opt/rustwide/target/debug/deps/liblog-74fdcfdf3875e7c0.rmeta --extern ordered_float=/opt/rustwide/target/debug/deps/libordered_float-ef7df0f808f2c88d.rmeta --extern partial_ref=/opt/rustwide/target/debug/deps/libpartial_ref-28ca60fc935e454a.rmeta --extern rustc_hash=/opt/rustwide/target/debug/deps/librustc_hash-59ad630e9e58123f.rmeta --extern serde=/opt/rustwide/target/debug/deps/libserde-98cb1f02d2649a2a.rmeta --extern thiserror=/opt/rustwide/target/debug/deps/libthiserror-9ff221a91ec7f58e.rmeta --extern varisat_checker=/opt/rustwide/target/debug/deps/libvarisat_checker-8502eae81c2f49b5.rmeta --extern varisat_dimacs=/opt/rustwide/target/debug/deps/libvarisat_dimacs-7d34a46ccf0dfb45.rmeta --extern varisat_formula=/opt/rustwide/target/debug/deps/libvarisat_formula-0c77b8dfb4cf13db.rmeta --extern varisat_internal_macros=/opt/rustwide/target/debug/deps/libvarisat_internal_macros-ee5da0f16dd7169f.so --extern varisat_internal_proof=/opt/rustwide/target/debug/deps/libvarisat_internal_proof-ffc142c9f4c0decd.rmeta --extern vec_mut_scan=/opt/rustwide/target/debug/deps/libvec_mut_scan-d6d45d62d21371cd.rmeta --cap-lints allow --cap-lints=forbid` (signal: 9, SIGKILL: kill) [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] running `Command { std: "docker" "inspect" "5575c56f1961d52b0252c118d3c83b716a4ccd3093f33b082f36baf5c43ca442", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5575c56f1961d52b0252c118d3c83b716a4ccd3093f33b082f36baf5c43ca442", kill_on_drop: false }` [INFO] [stdout] 5575c56f1961d52b0252c118d3c83b716a4ccd3093f33b082f36baf5c43ca442