[INFO] fetching crate d4-oxide 0.4.2...
[INFO] checking d4-oxide-0.4.2 against try#47af3d0de9d26c7deba4cfb203b710cc3f764e91 for pr-130443
[INFO] extracting crate d4-oxide 0.4.2 into /workspace/builds/worker-7-tc2/source
[INFO] validating manifest of crates.io crate d4-oxide 0.4.2 on toolchain 47af3d0de9d26c7deba4cfb203b710cc3f764e91
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+47af3d0de9d26c7deba4cfb203b710cc3f764e91" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate d4-oxide 0.4.2
[INFO] finished tweaking crates.io crate d4-oxide 0.4.2
[INFO] tweaked toml for crates.io crate d4-oxide 0.4.2 written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] crate crates.io crate d4-oxide 0.4.2 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" "+47af3d0de9d26c7deba4cfb203b710cc3f764e91" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+47af3d0de9d26c7deba4cfb203b710cc3f764e91" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 398d2fb228c7cf6119bb8bcbb8cdff1aefbab317c404a743e6099a1d6358f522
[INFO] running `Command { std: "docker" "start" "-a" "398d2fb228c7cf6119bb8bcbb8cdff1aefbab317c404a743e6099a1d6358f522", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "398d2fb228c7cf6119bb8bcbb8cdff1aefbab317c404a743e6099a1d6358f522", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "398d2fb228c7cf6119bb8bcbb8cdff1aefbab317c404a743e6099a1d6358f522", kill_on_drop: false }`
[INFO] [stdout] 398d2fb228c7cf6119bb8bcbb8cdff1aefbab317c404a743e6099a1d6358f522
[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=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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+47af3d0de9d26c7deba4cfb203b710cc3f764e91" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 169f231b8be4136fc4156d0c9caf32dd1ee82823b7bc768061c15120acc96f47
[INFO] running `Command { std: "docker" "start" "-a" "169f231b8be4136fc4156d0c9caf32dd1ee82823b7bc768061c15120acc96f47", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]    Compiling proc-macro2 v1.0.86
[INFO] [stderr]    Compiling scratch v1.0.7
[INFO] [stderr]    Compiling cxxbridge-flags v1.0.124
[INFO] [stderr]    Compiling unicode-width v0.1.13
[INFO] [stderr]    Compiling mt-kahypar-sys v0.1.0
[INFO] [stderr]     Checking clap_builder v4.5.7
[INFO] [stderr]    Compiling codespan-reporting v0.11.1
[INFO] [stderr]    Compiling jobserver v0.1.31
[INFO] [stderr]    Compiling quote v1.0.36
[INFO] [stderr]    Compiling cc v1.0.100
[INFO] [stderr]    Compiling syn v2.0.68
[INFO] [stderr]    Compiling link-cplusplus v1.0.9
[INFO] [stderr]    Compiling cxx v1.0.124
[INFO] [stderr]    Compiling cxx-build v1.0.124
[INFO] [stderr]    Compiling cxxbridge-macro v1.0.124
[INFO] [stderr]    Compiling clap_derive v4.5.5
[INFO] [stderr]    Compiling d4-oxide v0.4.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Checking clap v4.5.7
[INFO] [stderr] error: could not compile `cxxbridge-macro` (lib)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/47af3d0de9d26c7deba4cfb203b710cc3f764e91/bin/rustc --crate-name cxxbridge_macro --edition=2021 /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/cxxbridge-macro-1.0.124/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type proc-macro --emit=dep-info,link -C prefer-dynamic -C embed-bitcode=no --check-cfg 'cfg(docsrs)' --check-cfg 'cfg(feature, values("clang-ast", "experimental-async-fn", "experimental-enum-variants-from-header", "flate2", "memmap", "serde", "serde_derive", "serde_json"))' -C metadata=fd888c7f335426b0 -C extra-filename=-fd888c7f335426b0 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern proc_macro2=/opt/rustwide/target/debug/deps/libproc_macro2-0c793d7ce01f88b3.rlib --extern quote=/opt/rustwide/target/debug/deps/libquote-345f6354f82386ed.rlib --extern syn=/opt/rustwide/target/debug/deps/libsyn-a60190e09e12d16a.rlib --extern proc_macro --cap-lints allow --cap-lints=forbid` (signal: 9, SIGKILL: kill)
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] The following warnings were emitted during compilation:
[INFO] [stderr] 
[INFO] [stderr] warning: d4-oxide@0.4.2: c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/25d75e31b13a0d6d-PhaseHeuristic.o" "-c" "d4/src/heuristics/PhaseHeuristic.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/25d75e31b13a0d6d-PhaseHeuristicFalse.o" "-c" "d4/src/heuristics/PhaseHeuristicFalse.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/2e40c9e35e9506f4-Adapter.o" "-c" "src/Adapter.cc" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/25d75e31b13a0d6d-PhaseHeuristicPolarity.o" "-c" "d4/src/heuristics/PhaseHeuristicPolarity.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PartitioningHeuristicBipartite.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicBipartite.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/25d75e31b13a0d6d-PhaseHeuristicTrue.o" "-c" "d4/src/heuristics/PhaseHeuristicTrue.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/25d75e31b13a0d6d-ScoringMethod.o" "-c" "d4/src/heuristics/ScoringMethod.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/25d75e31b13a0d6d-PhaseHeuristicOccurrence.o" "-c" "d4/src/heuristics/PhaseHeuristicOccurrence.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/25d75e31b13a0d6d-PartitioningHeuristic.o" "-c" "d4/src/heuristics/PartitioningHeuristic.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/25d75e31b13a0d6d-PartitioningHeuristicNone.o" "-c" "d4/src/heuristics/PartitioningHeuristicNone.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/5b593748ecbcb973-BucketInConstruction.o" "-c" "d4/src/caching/cnf/BucketInConstruction.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PartitioningHeuristicBipartiteDual.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicBipartiteDual.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PartitioningHeuristicBipartitePrimal.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicBipartitePrimal.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PartitioningHeuristicStatic.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicStatic.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PartitioningHeuristicStaticSingle.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PartitioningHeuristicStaticNone.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicStaticNone.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PartitioningHeuristicStaticMulti.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicStaticMulti.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PartitioningHeuristicStaticSingleDual.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicStaticSingleDual.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/partitioner/PartitionerKahyparMT.cpp:18:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/partitioner/PartitionerKahyparMT.hpp:24:10: fatal error: libmtkahypar.h: No such file or directory
[INFO] [stderr] warning: d4-oxide@0.4.2:    24 | #include "libmtkahypar.h"
[INFO] [stderr] warning: d4-oxide@0.4.2:       |          ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/593211c580625b7d-PartitionerKahyparMT.o" "-c" "d4/src/partitioner/PartitionerKahyparMT.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PartitioningHeuristicStaticSinglePrimal.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicStaticSinglePrimal.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/partitioner/PartitionerManager.cpp:20:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/partitioner/PartitionerKahyparMT.hpp:24:10: fatal error: libmtkahypar.h: No such file or directory
[INFO] [stderr] warning: d4-oxide@0.4.2:    24 | #include "libmtkahypar.h"
[INFO] [stderr] warning: d4-oxide@0.4.2:       |          ^~~~~~~~~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/593211c580625b7d-PartitionerManager.o" "-c" "d4/src/partitioner/PartitionerManager.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PhaseSelectorDynamic.o" "-c" "d4/src/heuristics/cnf/PhaseSelectorDynamic.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PhaseSelectorManager.o" "-c" "d4/src/heuristics/cnf/PhaseSelectorManager.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-ScoringMethodDlcs.o" "-c" "d4/src/heuristics/cnf/ScoringMethodDlcs.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PhaseSelectorStatic.o" "-c" "d4/src/heuristics/cnf/PhaseSelectorStatic.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PhaseSelectorNone.o" "-c" "d4/src/heuristics/cnf/PhaseSelectorNone.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-ScoringMethodJwts.o" "-c" "d4/src/heuristics/cnf/ScoringMethodJwts.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-ScoringMethodMom.o" "-c" "d4/src/heuristics/cnf/ScoringMethodMom.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-ScoringMethodVsids.o" "-c" "d4/src/heuristics/cnf/ScoringMethodVsids.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from /usr/include/c++/11/cassert:44,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/solvers/ActivityManager.cpp:20:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/ActivityManager.cpp: In member function 'void d4::ActivityManager::setCountConflict(std::vector<double>&, unsigned int, unsigned int)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/ActivityManager.cpp:33:17: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: d4-oxide@0.4.2:    33 |   assert(minVar >= 0 && maxVar < counts.size());
[INFO] [stderr] warning: d4-oxide@0.4.2:       |          ~~~~~~~^~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-ScoringMethodVsads.o" "-c" "d4/src/heuristics/cnf/ScoringMethodVsads.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/99534ef6baeac072-HyperGraphExtractorPrimal.o" "-c" "d4/src/hyperGraph/HyperGraphExtractorPrimal.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/99534ef6baeac072-HyperGraphExtractorDual.o" "-c" "d4/src/hyperGraph/HyperGraphExtractorDual.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/e383f53e43e25a42-MethodManager.o" "-c" "d4/src/methods/MethodManager.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=d4/src/solvers/cnf/minisat/Solver.cpp: In member function 'void minisat::Solver::toDimacs(FILE*, const minisat::vec<minisat::Lit>&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/Solver.cpp:1054:48: warning: unused parameter 'assumps' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:  1054 | void Solver::toDimacs(FILE *f, const vec<Lit> &assumps) {
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                ~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: In file included from d4/src/solvers/cnf/minisat/mtl/Vec.hpp:25,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/solvers/cnf/minisat/mtl/Alg.hpp:24,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/solvers/cnf/minisat/SolverTypes.hpp:30,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/solvers/cnf/minisat/Solver.cpp:26:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/mtl/Alloc.hpp: In instantiation of 'T& minisat::RegionAllocator<T>::operator[](minisat::RegionAllocator<T>::Ref) [with T = unsigned int; minisat::RegionAllocator<T>::Ref = unsigned int]':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/SolverTypes.hpp:402:59:   required from here
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/mtl/Alloc.hpp:63:47: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: d4-oxide@0.4.2:    63 |   T&       operator[](Ref r)       { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                             ~~^~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/mtl/Alloc.hpp: In instantiation of 'const T& minisat::RegionAllocator<T>::operator[](minisat::RegionAllocator<T>::Ref) const [with T = unsigned int; minisat::RegionAllocator<T>::Ref = unsigned int]':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/SolverTypes.hpp:405:59:   required from here
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/mtl/Alloc.hpp:64:47: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: d4-oxide@0.4.2:    64 |   const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                             ~~^~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/mtl/Alloc.hpp: In instantiation of 'T* minisat::RegionAllocator<T>::lea(minisat::RegionAllocator<T>::Ref) [with T = unsigned int; minisat::RegionAllocator<T>::Ref = unsigned int]':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/SolverTypes.hpp:407:71:   required from here
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/mtl/Alloc.hpp:66:47: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: d4-oxide@0.4.2:    66 |   T*       lea       (Ref r)       { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                             ~~^~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/mtl/Alloc.hpp: In instantiation of 'const T* minisat::RegionAllocator<T>::lea(minisat::RegionAllocator<T>::Ref) const [with T = unsigned int; minisat::RegionAllocator<T>::Ref = unsigned int]':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/SolverTypes.hpp:409:52:   required from here
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/mtl/Alloc.hpp:67:47: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: d4-oxide@0.4.2:    67 |   const T* lea       (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                             ~~^~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: In file included from d4/src/solvers/cnf/minisat/mtl/Alg.hpp:24,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/solvers/cnf/minisat/SolverTypes.hpp:30,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/solvers/cnf/minisat/Solver.cpp:26:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/mtl/Vec.hpp: In instantiation of 'void minisat::vec<T>::capacity(int) [with T = minisat::vec<minisat::Lit>]':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/mtl/Vec.hpp:76:63:   required from 'void minisat::vec<T>::push() [with T = minisat::vec<minisat::Lit>]'
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/Solver.hpp:466:20:   required from here
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/mtl/Vec.hpp:104:55: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class minisat::vec<minisat::Lit>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr] warning: d4-oxide@0.4.2:   104 |   if ((add > INT_MAX - cap) || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM))
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                              ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: In file included from d4/src/solvers/cnf/minisat/mtl/Alg.hpp:24,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/solvers/cnf/minisat/SolverTypes.hpp:30,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/solvers/cnf/minisat/Solver.cpp:26:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/mtl/Vec.hpp:39:7: note: 'class minisat::vec<minisat::Lit>' declared here
[INFO] [stderr] warning: d4-oxide@0.4.2:    39 | class vec {
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ^~~
[INFO] [stderr] warning: d4-oxide@0.4.2: In file included from d4/src/solvers/cnf/minisat/mtl/Alg.hpp:24,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/solvers/cnf/minisat/SolverTypes.hpp:30,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/solvers/cnf/minisat/Solver.cpp:26:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/mtl/Vec.hpp: In instantiation of 'void minisat::vec<T>::capacity(int) [with T = minisat::vec<int>]':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/mtl/Vec.hpp:76:63:   required from 'void minisat::vec<T>::push() [with T = minisat::vec<int>]'
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/Solver.cpp:108:18:   required from here
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/mtl/Vec.hpp:104:55: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class minisat::vec<int>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr] warning: d4-oxide@0.4.2:   104 |   if ((add > INT_MAX - cap) || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM))
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                              ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: In file included from d4/src/solvers/cnf/minisat/mtl/Alg.hpp:24,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/solvers/cnf/minisat/SolverTypes.hpp:30,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/solvers/cnf/minisat/Solver.cpp:26:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/mtl/Vec.hpp:39:7: note: 'class minisat::vec<int>' declared here
[INFO] [stderr] warning: d4-oxide@0.4.2:    39 | class vec {
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ^~~
[INFO] [stderr] warning: d4-oxide@0.4.2: In file included from d4/src/solvers/cnf/minisat/mtl/Alg.hpp:24,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/solvers/cnf/minisat/SolverTypes.hpp:30,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/solvers/cnf/minisat/Solver.cpp:26:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/mtl/Vec.hpp: In instantiation of 'void minisat::vec<T>::capacity(int) [with T = minisat::vec<minisat::Watcher>]':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/mtl/Vec.hpp:129:11:   required from 'void minisat::vec<T>::growTo(int) [with T = minisat::vec<minisat::Watcher>]'
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/SolverTypes.hpp:460:16:   required from 'void minisat::OccLists<Idx, Vec, Deleted>::init(const Idx&) [with Idx = minisat::Lit; Vec = minisat::vec<minisat::Watcher>; Deleted = minisat::Solver::WatcherDeleted]'
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/Solver.cpp:95:15:   required from here
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/mtl/Vec.hpp:104:55: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class minisat::vec<minisat::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr] warning: d4-oxide@0.4.2:   104 |   if ((add > INT_MAX - cap) || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM))
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                              ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: In file included from d4/src/solvers/cnf/minisat/mtl/Alg.hpp:24,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/solvers/cnf/minisat/SolverTypes.hpp:30,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/solvers/cnf/minisat/Solver.cpp:26:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/minisat/mtl/Vec.hpp:39:7: note: 'class minisat::vec<minisat::Watcher>' declared here
[INFO] [stderr] warning: d4-oxide@0.4.2:    39 | class vec {
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ^~~
[INFO] [stderr] warning: d4-oxide@0.4.2: c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/b7d91831537d7f0b-ProblemManager.o" "-c" "d4/src/problem/ProblemManager.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/004d1115c55b3e1c-PreprocBasicCnf.o" "-c" "d4/src/preprocs/cnf/PreprocBasicCnf.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/004d1115c55b3e1c-PreprocBackboneCnf.o" "-c" "d4/src/preprocs/cnf/PreprocBackboneCnf.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/b8d3eca6aa20c785-PreprocManager.o" "-c" "d4/src/preprocs/PreprocManager.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/59f284c9396394dc-ParserDimacs.o" "-c" "d4/src/problem/cnf/ParserDimacs.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/59f284c9396394dc-ProblemManagerCnf.o" "-c" "d4/src/problem/cnf/ProblemManagerCnf.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/69974799b7eef37d-WrapperSolver.o" "-c" "d4/src/solvers/WrapperSolver.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/ded3bec8c7b319a5-WrapperMinisat.o" "-c" "d4/src/solvers/cnf/WrapperMinisat.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: d4-oxide@0.4.2: compilation terminated.
[INFO] [stderr] warning: d4-oxide@0.4.2: ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/03497be762612261-SpecManager.o" "-c" "d4/src/specs/SpecManager.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/specs/cnf/SpecManagerCnfDyn.cpp:19:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/specs/cnf/SpecManagerCnfDyn.hpp: In member function 'virtual void d4::SpecManagerCnfDyn::initialize(std::vector<int>&, std::vector<d4::Lit>&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/specs/cnf/SpecManagerCnfDyn.hpp:39:44: warning: unused parameter 'setOfVar' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    39 |   inline void initialize(std::vector<Var> &setOfVar, std::vector<Lit> &units) {
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                          ~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/specs/cnf/SpecManagerCnfDyn.hpp:39:72: warning: unused parameter 'units' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    39 |   inline void initialize(std::vector<Var> &setOfVar, std::vector<Lit> &units) {
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                                      ~~~~~~~~~~~~~~~~~~^~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/utils/cnf/AndGatesExtractor.cpp: In member function 'void d4::AndGatesExtractor::searchAndGates(d4::SpecManagerCnf*, std::vector<int>&, std::vector<d4::AndGate>&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/utils/cnf/AndGatesExtractor.cpp:51:58: warning: unused parameter 'vars' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    51 |                                        std::vector<Var> &vars,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                        ~~~~~~~~~~~~~~~~~~^~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: In file included from d4/src/specs/cnf/SpecManagerCnf.cpp:24:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/specs/cnf/SpecManagerCnfDyn.hpp: In member function 'virtual void d4::SpecManagerCnfDyn::initialize(std::vector<int>&, std::vector<d4::Lit>&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/specs/cnf/SpecManagerCnfDyn.hpp:39:44: warning: unused parameter 'setOfVar' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    39 |   inline void initialize(std::vector<Var> &setOfVar, std::vector<Lit> &units) {
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                          ~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/specs/cnf/SpecManagerCnfDyn.hpp:39:72: warning: unused parameter 'units' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    39 |   inline void initialize(std::vector<Var> &setOfVar, std::vector<Lit> &units) {
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                                      ~~~~~~~~~~~~~~~~~~^~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: In file included from /usr/include/c++/11/cassert:44,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/specs/cnf/SpecManagerCnfDyn.hpp:19,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/specs/cnf/SpecManagerCnf.cpp:24:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/specs/cnf/SpecManagerCnf.cpp: In member function 'virtual int d4::SpecManagerCnf::computeConnectedComponent(std::vector<std::vector<int> >&, std::vector<int>&, std::vector<int>&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/specs/cnf/SpecManagerCnf.cpp:123:14: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<d4::InfoCluster>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: d4-oxide@0.4.2:   123 |     assert(v < m_infoCluster.size());
[INFO] [stderr] warning: d4-oxide@0.4.2:       |            ~~^~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/specs/cnf/SpecManagerCnf.cpp:190:18: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'd4::Var' {aka 'int'} [-Wsign-compare]
[INFO] [stderr] warning: d4-oxide@0.4.2:   190 |     while (rootV != m_infoCluster[rootV].parent) {
[INFO] [stderr] warning: d4-oxide@0.4.2:       |            ~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] 
[INFO] [stderr] error: failed to run custom build command for `d4-oxide v0.4.2 (/opt/rustwide/workdir)`
[INFO] [stderr] note: To improve backtraces for build dependencies, set the CARGO_PROFILE_DEV_BUILD_OVERRIDE_DEBUG=true environment variable to enable debug information generation.
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/build/d4-oxide-e8a5b05f30d59c40/build-script-build` (exit status: 1)
[INFO] [stderr]   --- stdout
[INFO] [stderr]   cargo:rerun-if-env-changed=GMP_NO_PKG_CONFIG
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_x86_64-unknown-linux-gnu
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_x86_64_unknown_linux_gnu
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_PKG_CONFIG
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG
[INFO] [stderr]   cargo:rerun-if-env-changed=GMP_STATIC
[INFO] [stderr]   cargo:rerun-if-env-changed=GMP_DYNAMIC
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_ALL_STATIC
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_ALL_DYNAMIC
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_PATH_x86_64-unknown-linux-gnu
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_PATH_x86_64_unknown_linux_gnu
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_PKG_CONFIG_PATH
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_PATH
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_LIBDIR_x86_64-unknown-linux-gnu
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_LIBDIR_x86_64_unknown_linux_gnu
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_PKG_CONFIG_LIBDIR
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_LIBDIR
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_SYSROOT_DIR_x86_64-unknown-linux-gnu
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_SYSROOT_DIR_x86_64_unknown_linux_gnu
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_PKG_CONFIG_SYSROOT_DIR
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_SYSROOT_DIR
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_SYSROOT_DIR
[INFO] [stderr]   cargo:rerun-if-env-changed=SYSROOT
[INFO] [stderr]   cargo:rerun-if-env-changed=GMP_STATIC
[INFO] [stderr]   cargo:rerun-if-env-changed=GMP_DYNAMIC
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_ALL_STATIC
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_ALL_DYNAMIC
[INFO] [stderr]   cargo:rustc-link-search=native=/usr/lib/x86_64-linux-gnu
[INFO] [stderr]   cargo:rustc-link-lib=gmp
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_x86_64-unknown-linux-gnu
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_x86_64_unknown_linux_gnu
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_PKG_CONFIG
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG
[INFO] [stderr]   cargo:rerun-if-env-changed=GMP_STATIC
[INFO] [stderr]   cargo:rerun-if-env-changed=GMP_DYNAMIC
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_ALL_STATIC
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_ALL_DYNAMIC
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_PATH_x86_64-unknown-linux-gnu
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_PATH_x86_64_unknown_linux_gnu
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_PKG_CONFIG_PATH
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_PATH
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_LIBDIR_x86_64-unknown-linux-gnu
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_LIBDIR_x86_64_unknown_linux_gnu
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_PKG_CONFIG_LIBDIR
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_LIBDIR
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_SYSROOT_DIR_x86_64-unknown-linux-gnu
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_SYSROOT_DIR_x86_64_unknown_linux_gnu
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_PKG_CONFIG_SYSROOT_DIR
[INFO] [stderr]   cargo:rerun-if-env-changed=PKG_CONFIG_SYSROOT_DIR
[INFO] [stderr]   cargo:rustc-link-search=/usr/lib/x86_64-linux-gnu
[INFO] [stderr]   cargo:CXXBRIDGE_PREFIX=d4-oxide
[INFO] [stderr]   cargo:CXXBRIDGE_DIR0=/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include
[INFO] [stderr]   cargo:CXXBRIDGE_DIR1=/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate
[INFO] [stderr]   TARGET = Some(x86_64-unknown-linux-gnu)
[INFO] [stderr]   OPT_LEVEL = Some(0)
[INFO] [stderr]   HOST = Some(x86_64-unknown-linux-gnu)
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CC_ENABLE_DEBUG_OUTPUT
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   DEBUG = Some(true)
[INFO] [stderr]   CARGO_CFG_TARGET_FEATURE = Some(fxsr,sse,sse2)
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/25d75e31b13a0d6d-PhaseHeuristic.o" "-c" "d4/src/heuristics/PhaseHeuristic.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/25d75e31b13a0d6d-PhaseHeuristicFalse.o" "-c" "d4/src/heuristics/PhaseHeuristicFalse.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/2e40c9e35e9506f4-Adapter.o" "-c" "src/Adapter.cc" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/25d75e31b13a0d6d-PhaseHeuristicPolarity.o" "-c" "d4/src/heuristics/PhaseHeuristicPolarity.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PartitioningHeuristicBipartite.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicBipartite.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/25d75e31b13a0d6d-PhaseHeuristicTrue.o" "-c" "d4/src/heuristics/PhaseHeuristicTrue.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/25d75e31b13a0d6d-ScoringMethod.o" "-c" "d4/src/heuristics/ScoringMethod.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/25d75e31b13a0d6d-PhaseHeuristicOccurrence.o" "-c" "d4/src/heuristics/PhaseHeuristicOccurrence.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/25d75e31b13a0d6d-PartitioningHeuristic.o" "-c" "d4/src/heuristics/PartitioningHeuristic.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/25d75e31b13a0d6d-PartitioningHeuristicNone.o" "-c" "d4/src/heuristics/PartitioningHeuristicNone.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/5b593748ecbcb973-BucketInConstruction.o" "-c" "d4/src/caching/cnf/BucketInConstruction.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PartitioningHeuristicBipartiteDual.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicBipartiteDual.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PartitioningHeuristicBipartitePrimal.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicBipartitePrimal.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PartitioningHeuristicStatic.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicStatic.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PartitioningHeuristicStaticSingle.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PartitioningHeuristicStaticNone.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicStaticNone.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PartitioningHeuristicStaticMulti.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicStaticMulti.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PartitioningHeuristicStaticSingleDual.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicStaticSingleDual.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/partitioner/PartitionerKahyparMT.cpp:18:
[INFO] [stderr]   cargo:warning=d4/src/partitioner/PartitionerKahyparMT.hpp:24:10: fatal error: libmtkahypar.h: No such file or directory
[INFO] [stderr]   cargo:warning=   24 | #include "libmtkahypar.h"
[INFO] [stderr]   cargo:warning=      |          ^~~~~~~~~~~~~~~~
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/593211c580625b7d-PartitionerKahyparMT.o" "-c" "d4/src/partitioner/PartitionerKahyparMT.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PartitioningHeuristicStaticSinglePrimal.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicStaticSinglePrimal.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/partitioner/PartitionerManager.cpp:20:
[INFO] [stderr]   cargo:warning=d4/src/partitioner/PartitionerKahyparMT.hpp:24:10: fatal error: libmtkahypar.h: No such file or directory
[INFO] [stderr]   cargo:warning=   24 | #include "libmtkahypar.h"
[INFO] [stderr]   cargo:warning=      |          ^~~~~~~~~~~~~~~~
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/593211c580625b7d-PartitionerManager.o" "-c" "d4/src/partitioner/PartitionerManager.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PhaseSelectorDynamic.o" "-c" "d4/src/heuristics/cnf/PhaseSelectorDynamic.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PhaseSelectorManager.o" "-c" "d4/src/heuristics/cnf/PhaseSelectorManager.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-ScoringMethodDlcs.o" "-c" "d4/src/heuristics/cnf/ScoringMethodDlcs.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PhaseSelectorStatic.o" "-c" "d4/src/heuristics/cnf/PhaseSelectorStatic.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-PhaseSelectorNone.o" "-c" "d4/src/heuristics/cnf/PhaseSelectorNone.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-ScoringMethodJwts.o" "-c" "d4/src/heuristics/cnf/ScoringMethodJwts.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-ScoringMethodMom.o" "-c" "d4/src/heuristics/cnf/ScoringMethodMom.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-ScoringMethodVsids.o" "-c" "d4/src/heuristics/cnf/ScoringMethodVsids.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from /usr/include/c++/11/cassert:44,
[INFO] [stderr]   cargo:warning=                 from d4/src/solvers/ActivityManager.cpp:20:
[INFO] [stderr]   cargo:warning=d4/src/solvers/ActivityManager.cpp: In member function 'void d4::ActivityManager::setCountConflict(std::vector<double>&, unsigned int, unsigned int)':
[INFO] [stderr]   cargo:warning=d4/src/solvers/ActivityManager.cpp:33:17: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr]   cargo:warning=   33 |   assert(minVar >= 0 && maxVar < counts.size());
[INFO] [stderr]   cargo:warning=      |          ~~~~~~~^~~~
[INFO] [stderr]   cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/308fc89d7776a68d-ScoringMethodVsads.o" "-c" "d4/src/heuristics/cnf/ScoringMethodVsads.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/99534ef6baeac072-HyperGraphExtractorPrimal.o" "-c" "d4/src/hyperGraph/HyperGraphExtractorPrimal.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/99534ef6baeac072-HyperGraphExtractorDual.o" "-c" "d4/src/hyperGraph/HyperGraphExtractorDual.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/e383f53e43e25a42-MethodManager.o" "-c" "d4/src/methods/MethodManager.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=d4/src/solvers/cnf/minisat/Solver.cpp: In member function 'void minisat::Solver::toDimacs(FILE*, const minisat::vec<minisat::Lit>&)':
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/Solver.cpp:1054:48: warning: unused parameter 'assumps' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning= 1054 | void Solver::toDimacs(FILE *f, const vec<Lit> &assumps) {
[INFO] [stderr]   cargo:warning=      |                                ~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr]   cargo:warning=In file included from d4/src/solvers/cnf/minisat/mtl/Vec.hpp:25,
[INFO] [stderr]   cargo:warning=                 from d4/src/solvers/cnf/minisat/mtl/Alg.hpp:24,
[INFO] [stderr]   cargo:warning=                 from d4/src/solvers/cnf/minisat/SolverTypes.hpp:30,
[INFO] [stderr]   cargo:warning=                 from d4/src/solvers/cnf/minisat/Solver.cpp:26:
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/mtl/Alloc.hpp: In instantiation of 'T& minisat::RegionAllocator<T>::operator[](minisat::RegionAllocator<T>::Ref) [with T = unsigned int; minisat::RegionAllocator<T>::Ref = unsigned int]':
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/SolverTypes.hpp:402:59:   required from here
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/mtl/Alloc.hpp:63:47: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr]   cargo:warning=   63 |   T&       operator[](Ref r)       { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr]   cargo:warning=      |                                             ~~^~~~
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/mtl/Alloc.hpp: In instantiation of 'const T& minisat::RegionAllocator<T>::operator[](minisat::RegionAllocator<T>::Ref) const [with T = unsigned int; minisat::RegionAllocator<T>::Ref = unsigned int]':
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/SolverTypes.hpp:405:59:   required from here
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/mtl/Alloc.hpp:64:47: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr]   cargo:warning=   64 |   const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr]   cargo:warning=      |                                             ~~^~~~
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/mtl/Alloc.hpp: In instantiation of 'T* minisat::RegionAllocator<T>::lea(minisat::RegionAllocator<T>::Ref) [with T = unsigned int; minisat::RegionAllocator<T>::Ref = unsigned int]':
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/SolverTypes.hpp:407:71:   required from here
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/mtl/Alloc.hpp:66:47: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr]   cargo:warning=   66 |   T*       lea       (Ref r)       { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr]   cargo:warning=      |                                             ~~^~~~
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/mtl/Alloc.hpp: In instantiation of 'const T* minisat::RegionAllocator<T>::lea(minisat::RegionAllocator<T>::Ref) const [with T = unsigned int; minisat::RegionAllocator<T>::Ref = unsigned int]':
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/SolverTypes.hpp:409:52:   required from here
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/mtl/Alloc.hpp:67:47: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr]   cargo:warning=   67 |   const T* lea       (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr]   cargo:warning=      |                                             ~~^~~~
[INFO] [stderr]   cargo:warning=In file included from d4/src/solvers/cnf/minisat/mtl/Alg.hpp:24,
[INFO] [stderr]   cargo:warning=                 from d4/src/solvers/cnf/minisat/SolverTypes.hpp:30,
[INFO] [stderr]   cargo:warning=                 from d4/src/solvers/cnf/minisat/Solver.cpp:26:
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/mtl/Vec.hpp: In instantiation of 'void minisat::vec<T>::capacity(int) [with T = minisat::vec<minisat::Lit>]':
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/mtl/Vec.hpp:76:63:   required from 'void minisat::vec<T>::push() [with T = minisat::vec<minisat::Lit>]'
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/Solver.hpp:466:20:   required from here
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/mtl/Vec.hpp:104:55: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class minisat::vec<minisat::Lit>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr]   cargo:warning=  104 |   if ((add > INT_MAX - cap) || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM))
[INFO] [stderr]   cargo:warning=      |                                              ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   cargo:warning=In file included from d4/src/solvers/cnf/minisat/mtl/Alg.hpp:24,
[INFO] [stderr]   cargo:warning=                 from d4/src/solvers/cnf/minisat/SolverTypes.hpp:30,
[INFO] [stderr]   cargo:warning=                 from d4/src/solvers/cnf/minisat/Solver.cpp:26:
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/mtl/Vec.hpp:39:7: note: 'class minisat::vec<minisat::Lit>' declared here
[INFO] [stderr]   cargo:warning=   39 | class vec {
[INFO] [stderr]   cargo:warning=      |       ^~~
[INFO] [stderr]   cargo:warning=In file included from d4/src/solvers/cnf/minisat/mtl/Alg.hpp:24,
[INFO] [stderr]   cargo:warning=                 from d4/src/solvers/cnf/minisat/SolverTypes.hpp:30,
[INFO] [stderr]   cargo:warning=                 from d4/src/solvers/cnf/minisat/Solver.cpp:26:
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/mtl/Vec.hpp: In instantiation of 'void minisat::vec<T>::capacity(int) [with T = minisat::vec<int>]':
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/mtl/Vec.hpp:76:63:   required from 'void minisat::vec<T>::push() [with T = minisat::vec<int>]'
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/Solver.cpp:108:18:   required from here
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/mtl/Vec.hpp:104:55: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class minisat::vec<int>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr]   cargo:warning=  104 |   if ((add > INT_MAX - cap) || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM))
[INFO] [stderr]   cargo:warning=      |                                              ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   cargo:warning=In file included from d4/src/solvers/cnf/minisat/mtl/Alg.hpp:24,
[INFO] [stderr]   cargo:warning=                 from d4/src/solvers/cnf/minisat/SolverTypes.hpp:30,
[INFO] [stderr]   cargo:warning=                 from d4/src/solvers/cnf/minisat/Solver.cpp:26:
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/mtl/Vec.hpp:39:7: note: 'class minisat::vec<int>' declared here
[INFO] [stderr]   cargo:warning=   39 | class vec {
[INFO] [stderr]   cargo:warning=      |       ^~~
[INFO] [stderr]   cargo:warning=In file included from d4/src/solvers/cnf/minisat/mtl/Alg.hpp:24,
[INFO] [stderr]   cargo:warning=                 from d4/src/solvers/cnf/minisat/SolverTypes.hpp:30,
[INFO] [stderr]   cargo:warning=                 from d4/src/solvers/cnf/minisat/Solver.cpp:26:
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/mtl/Vec.hpp: In instantiation of 'void minisat::vec<T>::capacity(int) [with T = minisat::vec<minisat::Watcher>]':
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/mtl/Vec.hpp:129:11:   required from 'void minisat::vec<T>::growTo(int) [with T = minisat::vec<minisat::Watcher>]'
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/SolverTypes.hpp:460:16:   required from 'void minisat::OccLists<Idx, Vec, Deleted>::init(const Idx&) [with Idx = minisat::Lit; Vec = minisat::vec<minisat::Watcher>; Deleted = minisat::Solver::WatcherDeleted]'
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/Solver.cpp:95:15:   required from here
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/mtl/Vec.hpp:104:55: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class minisat::vec<minisat::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr]   cargo:warning=  104 |   if ((add > INT_MAX - cap) || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM))
[INFO] [stderr]   cargo:warning=      |                                              ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   cargo:warning=In file included from d4/src/solvers/cnf/minisat/mtl/Alg.hpp:24,
[INFO] [stderr]   cargo:warning=                 from d4/src/solvers/cnf/minisat/SolverTypes.hpp:30,
[INFO] [stderr]   cargo:warning=                 from d4/src/solvers/cnf/minisat/Solver.cpp:26:
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/minisat/mtl/Vec.hpp:39:7: note: 'class minisat::vec<minisat::Watcher>' declared here
[INFO] [stderr]   cargo:warning=   39 | class vec {
[INFO] [stderr]   cargo:warning=      |       ^~~
[INFO] [stderr]   cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/b7d91831537d7f0b-ProblemManager.o" "-c" "d4/src/problem/ProblemManager.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/004d1115c55b3e1c-PreprocBasicCnf.o" "-c" "d4/src/preprocs/cnf/PreprocBasicCnf.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/004d1115c55b3e1c-PreprocBackboneCnf.o" "-c" "d4/src/preprocs/cnf/PreprocBackboneCnf.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/b8d3eca6aa20c785-PreprocManager.o" "-c" "d4/src/preprocs/PreprocManager.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/59f284c9396394dc-ParserDimacs.o" "-c" "d4/src/problem/cnf/ParserDimacs.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/59f284c9396394dc-ProblemManagerCnf.o" "-c" "d4/src/problem/cnf/ProblemManagerCnf.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/69974799b7eef37d-WrapperSolver.o" "-c" "d4/src/solvers/WrapperSolver.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/ded3bec8c7b319a5-WrapperMinisat.o" "-c" "d4/src/solvers/cnf/WrapperMinisat.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/03497be762612261-SpecManager.o" "-c" "d4/src/specs/SpecManager.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/specs/cnf/SpecManagerCnfDyn.cpp:19:
[INFO] [stderr]   cargo:warning=d4/src/specs/cnf/SpecManagerCnfDyn.hpp: In member function 'virtual void d4::SpecManagerCnfDyn::initialize(std::vector<int>&, std::vector<d4::Lit>&)':
[INFO] [stderr]   cargo:warning=d4/src/specs/cnf/SpecManagerCnfDyn.hpp:39:44: warning: unused parameter 'setOfVar' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   39 |   inline void initialize(std::vector<Var> &setOfVar, std::vector<Lit> &units) {
[INFO] [stderr]   cargo:warning=      |                          ~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/specs/cnf/SpecManagerCnfDyn.hpp:39:72: warning: unused parameter 'units' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   39 |   inline void initialize(std::vector<Var> &setOfVar, std::vector<Lit> &units) {
[INFO] [stderr]   cargo:warning=      |                                                      ~~~~~~~~~~~~~~~~~~^~~~~
[INFO] [stderr]   cargo:warning=d4/src/utils/cnf/AndGatesExtractor.cpp: In member function 'void d4::AndGatesExtractor::searchAndGates(d4::SpecManagerCnf*, std::vector<int>&, std::vector<d4::AndGate>&)':
[INFO] [stderr]   cargo:warning=d4/src/utils/cnf/AndGatesExtractor.cpp:51:58: warning: unused parameter 'vars' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   51 |                                        std::vector<Var> &vars,
[INFO] [stderr]   cargo:warning=      |                                        ~~~~~~~~~~~~~~~~~~^~~~
[INFO] [stderr]   cargo:warning=In file included from d4/src/specs/cnf/SpecManagerCnf.cpp:24:
[INFO] [stderr]   cargo:warning=d4/src/specs/cnf/SpecManagerCnfDyn.hpp: In member function 'virtual void d4::SpecManagerCnfDyn::initialize(std::vector<int>&, std::vector<d4::Lit>&)':
[INFO] [stderr]   cargo:warning=d4/src/specs/cnf/SpecManagerCnfDyn.hpp:39:44: warning: unused parameter 'setOfVar' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   39 |   inline void initialize(std::vector<Var> &setOfVar, std::vector<Lit> &units) {
[INFO] [stderr]   cargo:warning=      |                          ~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/specs/cnf/SpecManagerCnfDyn.hpp:39:72: warning: unused parameter 'units' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   39 |   inline void initialize(std::vector<Var> &setOfVar, std::vector<Lit> &units) {
[INFO] [stderr]   cargo:warning=      |                                                      ~~~~~~~~~~~~~~~~~~^~~~~
[INFO] [stderr]   cargo:warning=In file included from /usr/include/c++/11/cassert:44,
[INFO] [stderr]   cargo:warning=                 from d4/src/specs/cnf/SpecManagerCnfDyn.hpp:19,
[INFO] [stderr]   cargo:warning=                 from d4/src/specs/cnf/SpecManagerCnf.cpp:24:
[INFO] [stderr]   cargo:warning=d4/src/specs/cnf/SpecManagerCnf.cpp: In member function 'virtual int d4::SpecManagerCnf::computeConnectedComponent(std::vector<std::vector<int> >&, std::vector<int>&, std::vector<int>&)':
[INFO] [stderr]   cargo:warning=d4/src/specs/cnf/SpecManagerCnf.cpp:123:14: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<d4::InfoCluster>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr]   cargo:warning=  123 |     assert(v < m_infoCluster.size());
[INFO] [stderr]   cargo:warning=      |            ~~^~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/specs/cnf/SpecManagerCnf.cpp:190:18: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'd4::Var' {aka 'int'} [-Wsign-compare]
[INFO] [stderr]   cargo:warning=  190 |     while (rootV != m_infoCluster[rootV].parent) {
[INFO] [stderr]   cargo:warning=      |            ~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] 
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr] 
[INFO] [stderr]   --- stderr
[INFO] [stderr] 
[INFO] [stderr]   CXX include path:
[INFO] [stderr]     /opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include
[INFO] [stderr]     /opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr]   error occurred: Command "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/cxxbridge/crate" "-I" "include" "-I" "d4/src" "-I" "d4" "-Wall" "-Wextra" "-DD4_SOLVER=minisat" "-DD4_PREPORC_SOLVER=minisat" "-o" "/opt/rustwide/target/debug/build/d4-oxide-0ce4a249365f774d/out/03497be762612261-SpecManager.o" "-c" "d4/src/specs/SpecManager.cpp" with args c++ did not execute successfully (status code exit status: 1).
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] running `Command { std: "docker" "inspect" "169f231b8be4136fc4156d0c9caf32dd1ee82823b7bc768061c15120acc96f47", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "169f231b8be4136fc4156d0c9caf32dd1ee82823b7bc768061c15120acc96f47", kill_on_drop: false }`
[INFO] [stdout] 169f231b8be4136fc4156d0c9caf32dd1ee82823b7bc768061c15120acc96f47
