[INFO] fetching crate d4-oxide 0.4.2...
[INFO] checking d4-oxide-0.4.2 against try#264a7c4a1c917c83d13895a31231f9d93c7b67e1 for pr-132289
[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 264a7c4a1c917c83d13895a31231f9d93c7b67e1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+264a7c4a1c917c83d13895a31231f9d93c7b67e1" "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" "+264a7c4a1c917c83d13895a31231f9d93c7b67e1" "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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+264a7c4a1c917c83d13895a31231f9d93c7b67e1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 3964175130a8e024939816c3add7db8cee98c0ed92a0707a939857f432aa3c81
[INFO] running `Command { std: "docker" "start" "-a" "3964175130a8e024939816c3add7db8cee98c0ed92a0707a939857f432aa3c81", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3964175130a8e024939816c3add7db8cee98c0ed92a0707a939857f432aa3c81", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3964175130a8e024939816c3add7db8cee98c0ed92a0707a939857f432aa3c81", kill_on_drop: false }`
[INFO] [stdout] 3964175130a8e024939816c3add7db8cee98c0ed92a0707a939857f432aa3c81
[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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+264a7c4a1c917c83d13895a31231f9d93c7b67e1" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 0b27eb4eec61bff90e1941ac5cc21bd776b5a791b1d1990af0a227841a0daf5c
[INFO] running `Command { std: "docker" "start" "-a" "0b27eb4eec61bff90e1941ac5cc21bd776b5a791b1d1990af0a227841a0daf5c", 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 termcolor v1.4.1
[INFO] [stderr]    Compiling mt-kahypar-sys v0.1.0
[INFO] [stderr]    Compiling glob v0.3.1
[INFO] [stderr]    Compiling pkg-config v0.3.30
[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] 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-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/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/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/25d75e31b13a0d6d-PhaseHeuristic.o" "-c" "d4/src/heuristics/PhaseHeuristic.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/heuristics/PartitioningHeuristicNone.hpp:22,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/PartitioningHeuristicNone.cpp:19:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/PartitioningHeuristic.hpp: In member function 'virtual bool d4::PartitioningHeuristic::isReady(std::vector<int>&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/PartitioningHeuristic.hpp:66:42: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    66 |   virtual bool isReady(std::vector<Var> &component) { return true; }
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                        ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/PartitioningHeuristic.hpp: In member function 'virtual void d4::PartitioningHeuristic::displayStat(std::ostream&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/PartitioningHeuristic.hpp:72:42: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    72 |   virtual void displayStat(std::ostream &out) {}
[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/25d75e31b13a0d6d-PartitioningHeuristicNone.o" "-c" "d4/src/heuristics/PartitioningHeuristicNone.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=d4/src/heuristics/PhaseHeuristicFalse.cpp: In member function 'virtual bool d4::PhaseHeuristicFalse::selectPhase(d4::Var)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/PhaseHeuristicFalse.cpp:37:43: warning: unused parameter 'v' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    37 | bool PhaseHeuristicFalse::selectPhase(Var v) {
[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/25d75e31b13a0d6d-PhaseHeuristicPolarity.o" "-c" "d4/src/heuristics/PhaseHeuristicPolarity.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=d4/src/heuristics/PhaseHeuristicTrue.cpp: In member function 'virtual bool d4::PhaseHeuristicTrue::selectPhase(d4::Var)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/PhaseHeuristicTrue.cpp:37:42: warning: unused parameter 'v' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    37 | bool PhaseHeuristicTrue::selectPhase(Var v) {
[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/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/308fc89d7776a68d-PartitioningHeuristicBipartiteDual.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicBipartiteDual.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/heuristics/cnf/PartitioningHeuristicBipartite.hpp:23,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PartitioningHeuristicBipartite.cpp:19:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual bool d4::PartitioningHeuristic::isReady(std::vector<int>&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:66:42: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    66 |   virtual bool isReady(std::vector<Var> &component) { return true; }
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                        ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual void d4::PartitioningHeuristic::displayStat(std::ostream&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:72:42: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    72 |   virtual void displayStat(std::ostream &out) {}
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                            ~~~~~~~~~~~~~~^~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicBipartite.cpp: In constructor 'd4::PartitioningHeuristicBipartite::PartitioningHeuristicBipartite(d4::Config&, d4::SpecManager&, d4::WrapperSolver&, int, int, int, std::ostream&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicBipartite.cpp:34:20: warning: unused parameter 'sumSize' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    34 |     int nbVar, int sumSize, std::ostream &out)
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                ~~~~^~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicBipartite.cpp:34:43: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    34 |     int nbVar, int sumSize, std::ostream &out)
[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-PartitioningHeuristicBipartite.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicBipartite.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/heuristics/cnf/PartitioningHeuristicBipartite.hpp:23,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PartitioningHeuristicBipartitePrimal.hpp:20,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PartitioningHeuristicBipartitePrimal.cpp:18:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual bool d4::PartitioningHeuristic::isReady(std::vector<int>&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:66:42: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    66 |   virtual bool isReady(std::vector<Var> &component) { return true; }
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                        ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual void d4::PartitioningHeuristic::displayStat(std::ostream&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:72:42: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    72 |   virtual void displayStat(std::ostream &out) {}
[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-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=In file included from d4/src/heuristics/cnf/PartitioningHeuristicStatic.hpp:24,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PartitioningHeuristicStaticMulti.hpp:22,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PartitioningHeuristicStaticMulti.cpp:18:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual bool d4::PartitioningHeuristic::isReady(std::vector<int>&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:66:42: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    66 |   virtual bool isReady(std::vector<Var> &component) { return true; }
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                        ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual void d4::PartitioningHeuristic::displayStat(std::ostream&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:72:42: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    72 |   virtual void displayStat(std::ostream &out) {}
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                            ~~~~~~~~~~~~~~^~~
[INFO] [stderr] warning: d4-oxide@0.4.2: In file included from d4/src/heuristics/cnf/PartitioningHeuristicStaticSingleDual.hpp:22,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PartitioningHeuristicStaticMulti.hpp:23,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PartitioningHeuristicStaticMulti.cpp:18:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:98:43: warning: unused parameter 'hypergraph' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    98 |       std::vector<std::vector<unsigned>> &hypergraph,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:30: warning: unused parameter 'indices' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:57: warning: unused parameter 'mapping' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                       ~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:100:16: warning: unused parameter 'level' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:   100 |       unsigned level) {}
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ~~~~~~~~~^~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setCutSetBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<int>&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:104:25: warning: unused parameter 'partition' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:   104 |       std::vector<int> &partition, std::vector<unsigned> &indices,
[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-PartitioningHeuristicStaticMulti.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicStaticMulti.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/heuristics/cnf/PartitioningHeuristicStatic.hpp:24,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:22,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.cpp:18:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual bool d4::PartitioningHeuristic::isReady(std::vector<int>&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:66:42: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    66 |   virtual bool isReady(std::vector<Var> &component) { return true; }
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                        ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual void d4::PartitioningHeuristic::displayStat(std::ostream&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:72:42: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    72 |   virtual void displayStat(std::ostream &out) {}
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                            ~~~~~~~~~~~~~~^~~
[INFO] [stderr] warning: d4-oxide@0.4.2: In file included from d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.cpp:18:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:98:43: warning: unused parameter 'hypergraph' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    98 |       std::vector<std::vector<unsigned>> &hypergraph,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:30: warning: unused parameter 'indices' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:57: warning: unused parameter 'mapping' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                       ~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:100:16: warning: unused parameter 'level' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:   100 |       unsigned level) {}
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ~~~~~~~~~^~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setCutSetBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<int>&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:104:25: warning: unused parameter 'partition' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:   104 |       std::vector<int> &partition, std::vector<unsigned> &indices,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.cpp: In member function 'void d4::PartitioningHeuristicStaticSingle::computeDecomposition(std::vector<int>&, std::vector<int>&, std::vector<std::vector<int> >&, std::vector<unsigned int>&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.cpp:302:28: warning: unused parameter 'bucketNumber' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:   302 |     std::vector<unsigned> &bucketNumber) {
[INFO] [stderr] warning: d4-oxide@0.4.2:       |     ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: In file included from d4/src/heuristics/cnf/PartitioningHeuristicStatic.hpp:24,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PartitioningHeuristicStaticNone.hpp:20,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PartitioningHeuristicStaticNone.cpp:18:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual bool d4::PartitioningHeuristic::isReady(std::vector<int>&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:66:42: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    66 |   virtual bool isReady(std::vector<Var> &component) { return true; }
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                        ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual void d4::PartitioningHeuristic::displayStat(std::ostream&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:72:42: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    72 |   virtual void displayStat(std::ostream &out) {}
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                            ~~~~~~~~~~~~~~^~~
[INFO] [stderr] warning: d4-oxide@0.4.2: In file included from d4/src/heuristics/cnf/PartitioningHeuristicStaticNone.cpp:18:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticNone.hpp: In member function 'virtual bool d4::PartitioningHeuristicStaticNone::isStillOk(std::vector<int>&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticNone.hpp:42:43: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    42 |   inline bool isStillOk(std::vector<Var> &component) { return false; }
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                         ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticNone.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticNone::init(std::ostream&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticNone.hpp:43:34: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    43 |   inline void init(std::ostream &out) { m_isInitialized = true; }
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                    ~~~~~~~~~~~~~~^~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticNone.cpp: In member function 'void d4::PartitioningHeuristicStaticNone::computeDecomposition(std::vector<int>&, std::vector<int>&, std::vector<std::vector<int> >&, std::vector<unsigned int>&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticNone.cpp:85:52: warning: unused parameter 'equivClass' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    85 |     std::vector<Var> &component, std::vector<Var> &equivClass,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                  ~~~~~~~~~~~~~~~~~~^~~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticNone.cpp:86:36: warning: unused parameter 'equivVar' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    86 |     std::vector<std::vector<Var>> &equivVar,
[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-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-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/heuristics/cnf/PartitioningHeuristicStatic.hpp:24,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:22,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PartitioningHeuristicStaticSinglePrimal.hpp:22,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PartitioningHeuristicStaticSinglePrimal.cpp:18:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual bool d4::PartitioningHeuristic::isReady(std::vector<int>&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:66:42: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    66 |   virtual bool isReady(std::vector<Var> &component) { return true; }
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                        ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual void d4::PartitioningHeuristic::displayStat(std::ostream&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:72:42: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    72 |   virtual void displayStat(std::ostream &out) {}
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                            ~~~~~~~~~~~~~~^~~
[INFO] [stderr] warning: d4-oxide@0.4.2: In file included from d4/src/heuristics/cnf/PartitioningHeuristicStaticSinglePrimal.hpp:22,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PartitioningHeuristicStaticSinglePrimal.cpp:18:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:98:43: warning: unused parameter 'hypergraph' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    98 |       std::vector<std::vector<unsigned>> &hypergraph,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:30: warning: unused parameter 'indices' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:57: warning: unused parameter 'mapping' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                       ~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:100:16: warning: unused parameter 'level' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:   100 |       unsigned level) {}
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ~~~~~~~~~^~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setCutSetBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<int>&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:104:25: warning: unused parameter 'partition' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:   104 |       std::vector<int> &partition, std::vector<unsigned> &indices,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSinglePrimal.cpp: In member function 'virtual void d4::PartitioningHeuristicStaticSinglePrimal::setBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSinglePrimal.cpp:88:55: warning: unused parameter 'mapping' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    88 |     std::vector<unsigned> &indices, std::vector<int> &mapping, unsigned level) {
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                     ~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSinglePrimal.cpp: In member function 'virtual void d4::PartitioningHeuristicStaticSinglePrimal::setCutSetBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<int>&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSinglePrimal.cpp:104:55: warning: unused parameter 'mapping' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:   104 |     std::vector<unsigned> &indices, std::vector<int> &mapping, unsigned level) {
[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-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/heuristics/cnf/PartitioningHeuristicStatic.hpp:24,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:22,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PhaseSelectorDynamic.hpp:21,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PhaseSelectorDynamic.cpp:18:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual bool d4::PartitioningHeuristic::isReady(std::vector<int>&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:66:42: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    66 |   virtual bool isReady(std::vector<Var> &component) { return true; }
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                        ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual void d4::PartitioningHeuristic::displayStat(std::ostream&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:72:42: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    72 |   virtual void displayStat(std::ostream &out) {}
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                            ~~~~~~~~~~~~~~^~~
[INFO] [stderr] warning: d4-oxide@0.4.2: In file included from d4/src/heuristics/cnf/PhaseSelectorDynamic.hpp:21,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PhaseSelectorDynamic.cpp:18:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:98:43: warning: unused parameter 'hypergraph' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    98 |       std::vector<std::vector<unsigned>> &hypergraph,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:30: warning: unused parameter 'indices' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:57: warning: unused parameter 'mapping' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                       ~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:100:16: warning: unused parameter 'level' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:   100 |       unsigned level) {}
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ~~~~~~~~~^~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setCutSetBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<int>&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:104:25: warning: unused parameter 'partition' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:   104 |       std::vector<int> &partition, std::vector<unsigned> &indices,
[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-PhaseSelectorDynamic.o" "-c" "d4/src/heuristics/cnf/PhaseSelectorDynamic.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/heuristics/cnf/PartitioningHeuristicStatic.hpp:24,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:22,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PhaseSelectorManager.hpp:23,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PhaseSelectorManager.cpp:19:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual bool d4::PartitioningHeuristic::isReady(std::vector<int>&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:66:42: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    66 |   virtual bool isReady(std::vector<Var> &component) { return true; }
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                        ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual void d4::PartitioningHeuristic::displayStat(std::ostream&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:72:42: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    72 |   virtual void displayStat(std::ostream &out) {}
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                            ~~~~~~~~~~~~~~^~~
[INFO] [stderr] warning: d4-oxide@0.4.2: In file included from d4/src/heuristics/cnf/PhaseSelectorManager.hpp:23,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PhaseSelectorManager.cpp:19:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:98:43: warning: unused parameter 'hypergraph' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    98 |       std::vector<std::vector<unsigned>> &hypergraph,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:30: warning: unused parameter 'indices' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:57: warning: unused parameter 'mapping' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                       ~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:100:16: warning: unused parameter 'level' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:   100 |       unsigned level) {}
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ~~~~~~~~~^~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setCutSetBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<int>&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:104:25: warning: unused parameter 'partition' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:   104 |       std::vector<int> &partition, std::vector<unsigned> &indices,
[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-PhaseSelectorNone.o" "-c" "d4/src/heuristics/cnf/PhaseSelectorNone.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/heuristics/cnf/PartitioningHeuristicStatic.hpp:24,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:22,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PhaseSelectorManager.hpp:23,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PhaseSelectorStatic.hpp:21,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PhaseSelectorStatic.cpp:18:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual bool d4::PartitioningHeuristic::isReady(std::vector<int>&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:66:42: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    66 |   virtual bool isReady(std::vector<Var> &component) { return true; }
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                        ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual void d4::PartitioningHeuristic::displayStat(std::ostream&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:72:42: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    72 |   virtual void displayStat(std::ostream &out) {}
[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-PhaseSelectorManager.o" "-c" "d4/src/heuristics/cnf/PhaseSelectorManager.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/heuristics/cnf/PhaseSelectorManager.hpp:23,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PhaseSelectorStatic.hpp:21,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/PhaseSelectorStatic.cpp:18:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:98:43: warning: unused parameter 'hypergraph' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    98 |       std::vector<std::vector<unsigned>> &hypergraph,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:30: warning: unused parameter 'indices' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:57: warning: unused parameter 'mapping' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                       ~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:100:16: warning: unused parameter 'level' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:   100 |       unsigned level) {}
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ~~~~~~~~~^~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setCutSetBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<int>&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:104:25: warning: unused parameter 'partition' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:   104 |       std::vector<int> &partition, std::vector<unsigned> &indices,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |       ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: In file included from d4/src/heuristics/cnf/ScoringMethodDlcs.hpp:21,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/ScoringMethodDlcs.cpp:19:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../ScoringMethod.hpp: In member function 'virtual void d4::ScoringMethod::postProcess(d4::Var)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../ScoringMethod.hpp:36:32: warning: unused parameter 'v' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    36 |   virtual void postProcess(Var v) {}
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                            ~~~~^
[INFO] [stderr] warning: d4-oxide@0.4.2: 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-ScoringMethodJwts.o" "-c" "d4/src/heuristics/cnf/ScoringMethodJwts.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=In file included from d4/src/heuristics/cnf/ScoringMethodMom.hpp:21,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/ScoringMethodMom.cpp:19:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../ScoringMethod.hpp: In member function 'virtual void d4::ScoringMethod::postProcess(d4::Var)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../ScoringMethod.hpp:36:32: warning: unused parameter 'v' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    36 |   virtual void postProcess(Var v) {}
[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-ScoringMethodMom.o" "-c" "d4/src/heuristics/cnf/ScoringMethodMom.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/heuristics/cnf/ScoringMethodVsads.hpp:22,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/ScoringMethodVsads.cpp:19:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../ScoringMethod.hpp: In member function 'virtual void d4::ScoringMethod::postProcess(d4::Var)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../ScoringMethod.hpp:36:32: warning: unused parameter 'v' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    36 |   virtual void postProcess(Var v) {}
[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=In file included from d4/src/heuristics/cnf/ScoringMethodVsids.hpp:22,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/heuristics/cnf/ScoringMethodVsids.cpp:19:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../ScoringMethod.hpp: In member function 'virtual void d4::ScoringMethod::postProcess(d4::Var)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/cnf/../ScoringMethod.hpp:36:32: warning: unused parameter 'v' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    36 |   virtual void postProcess(Var v) {}
[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-ScoringMethodVsids.o" "-c" "d4/src/heuristics/cnf/ScoringMethodVsids.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=d4/src/hyperGraph/HyperGraphExtractorPrimal.cpp: In member function 'virtual void d4::HyperGraphExtractorPrimal::extractCutFromHyperGraph(d4::HyperGraph&, std::vector<int>&, std::vector<int>&, std::vector<int>&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/hyperGraph/HyperGraphExtractorPrimal.cpp:112:47: warning: unused parameter 'considered' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:   112 |     HyperGraph &hypergraph, std::vector<Var> &considered,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                             ~~~~~~~~~~~~~~~~~~^~~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/hyperGraph/HyperGraphExtractorPrimal.cpp: In member function 'virtual void d4::HyperGraphExtractorPrimal::constructHyperGraph(d4::SpecManagerCnf&, std::vector<int>&, std::vector<int>&, std::vector<std::vector<int> >&, bool, std::vector<int>&, d4::HyperGraph&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/hyperGraph/HyperGraphExtractorPrimal.cpp:195:67: warning: unused parameter 'equivVar' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:   195 |     std::vector<Var> &equivClass, std::vector<std::vector<Var> > &equivVar,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/hyperGraph/HyperGraphExtractorPrimal.cpp:196:43: warning: unused parameter 'considered' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:   196 |     bool reduceFormula, std::vector<Var> &considered, HyperGraph &hypergraph) {
[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/99534ef6baeac072-HyperGraphExtractorDual.o" "-c" "d4/src/hyperGraph/HyperGraphExtractorDual.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/caching/CacheList.hpp:27,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/caching/CacheManager.hpp:25,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/methods/DpllStyleMethod.hpp:27,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/methods/MethodManager.cpp:24:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/hashing/HashString.hpp: In member function 'unsigned int d4::HashString::hash(char*, unsigned int, uint64_t)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/hashing/HashString.hpp:33:44: warning: unused parameter 'len' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    33 |   inline unsigned hash(char *key, unsigned len, uint64_t info) {
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                   ~~~~~~~~~^~~
[INFO] [stderr] warning: d4-oxide@0.4.2: In file included from d4/src/methods/DpllStyleMethod.hpp:31,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/methods/MethodManager.cpp:24:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/PartitioningHeuristic.hpp: In member function 'virtual bool d4::PartitioningHeuristic::isReady(std::vector<int>&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/PartitioningHeuristic.hpp:66:42: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    66 |   virtual bool isReady(std::vector<Var> &component) { return true; }
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                        ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/PartitioningHeuristic.hpp: In member function 'virtual void d4::PartitioningHeuristic::displayStat(std::ostream&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/PartitioningHeuristic.hpp:72:42: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    72 |   virtual void displayStat(std::ostream &out) {}
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                            ~~~~~~~~~~~~~~^~~
[INFO] [stderr] warning: d4-oxide@0.4.2: In file included from d4/src/methods/DpllStyleMethod.hpp:33,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/methods/MethodManager.cpp:24:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/ScoringMethod.hpp: In member function 'virtual void d4::ScoringMethod::postProcess(d4::Var)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/heuristics/ScoringMethod.hpp:36:32: warning: unused parameter 'v' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    36 |   virtual void postProcess(Var v) {}
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                            ~~~~^
[INFO] [stderr] warning: d4-oxide@0.4.2: In file included from d4/src/methods/MethodManager.cpp:25:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/methods/MaxSharpSAT.hpp: In instantiation of 'd4::MaxSharpSAT<T>::MaxSharpSAT(d4::Config&, std::string&, bool, d4::ProblemManager*, std::ostream&, d4::LastBreathPreproc&) [with T = boost::multiprecision::number<boost::multiprecision::backends::gmp_int>; std::string = std::__cxx11::basic_string<char>; std::ostream = std::basic_ostream<char>]':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/methods/MethodManager.cpp:113:54:   required from here
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/methods/MaxSharpSAT.hpp:129:44: warning: unused parameter 'meth' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:   129 |   MaxSharpSAT(Config &config, std::string &meth, bool isFloat,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                               ~~~~~~~~~~~~~^~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/methods/MaxSharpSAT.hpp:129:55: warning: unused parameter 'isFloat' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:   129 |   MaxSharpSAT(Config &config, std::string &meth, bool isFloat,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                                  ~~~~~^~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/methods/MaxSharpSAT.hpp: In instantiation of 'd4::MaxSharpSAT<T>::MaxSharpSAT(d4::Config&, std::string&, bool, d4::ProblemManager*, std::ostream&, d4::LastBreathPreproc&) [with T = boost::multiprecision::number<boost::multiprecision::backends::gmp_float<0>, boost::multiprecision::et_on>; std::string = std::__cxx11::basic_string<char>; std::ostream = std::basic_ostream<char>]':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/methods/MethodManager.cpp:115:54:   required from here
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/methods/MaxSharpSAT.hpp:129:44: warning: unused parameter 'meth' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:   129 |   MaxSharpSAT(Config &config, std::string &meth, bool isFloat,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                               ~~~~~~~~~~~~~^~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/methods/MaxSharpSAT.hpp:129:55: warning: unused parameter 'isFloat' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:   129 |   MaxSharpSAT(Config &config, std::string &meth, bool isFloat,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                                  ~~~~~^~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: In file included from d4/src/methods/MethodManager.cpp:26:
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/methods/MinSharpSAT.hpp: In instantiation of 'd4::MinSharpSAT<T>::MinSharpSAT(d4::Config&, std::string&, bool, d4::ProblemManager*, std::ostream&, d4::LastBreathPreproc&) [with T = boost::multiprecision::number<boost::multiprecision::backends::gmp_int>; std::string = std::__cxx11::basic_string<char>; std::ostream = std::basic_ostream<char>]':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/methods/MethodManager.cpp:121:54:   required from here
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/methods/MinSharpSAT.hpp:99:44: warning: unused parameter 'meth' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    99 |   MinSharpSAT(Config &config, std::string &meth, bool isFloat,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                               ~~~~~~~~~~~~~^~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/methods/MinSharpSAT.hpp:99:55: warning: unused parameter 'isFloat' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    99 |   MinSharpSAT(Config &config, std::string &meth, bool isFloat,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                                                  ~~~~~^~~~~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/methods/MinSharpSAT.hpp: In instantiation of 'd4::MinSharpSAT<T>::MinSharpSAT(d4::Config&, std::string&, bool, d4::ProblemManager*, std::ostream&, d4::LastBreathPreproc&) [with T = boost::multiprecision::number<boost::multiprecision::backends::gmp_float<0>, boost::multiprecision::et_on>; std::string = std::__cxx11::basic_string<char>; std::ostream = std::basic_ostream<char>]':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/methods/MethodManager.cpp:123:54:   required from here
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/methods/MinSharpSAT.hpp:99:44: warning: unused parameter 'meth' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    99 |   MinSharpSAT(Config &config, std::string &meth, bool isFloat,
[INFO] [stderr] warning: d4-oxide@0.4.2:       |                               ~~~~~~~~~~~~~^~~~
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/methods/MinSharpSAT.hpp:99:55: warning: unused parameter 'isFloat' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:    99 |   MinSharpSAT(Config &config, std::string &meth, bool isFloat,
[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/e383f53e43e25a42-MethodManager.o" "-c" "d4/src/methods/MethodManager.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/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=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: 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=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/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/69974799b7eef37d-WrapperSolver.o" "-c" "d4/src/solvers/WrapperSolver.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=d4/src/solvers/cnf/WrapperMinisat.cpp: In member function 'virtual void d4::WrapperMinisat::displayAssumption(std::ostream&)':
[INFO] [stderr] warning: d4-oxide@0.4.2: d4/src/solvers/cnf/WrapperMinisat.cpp:275:54: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr] warning: d4-oxide@0.4.2:   275 | void WrapperMinisat::displayAssumption(std::ostream &out) {
[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.hpp:29,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/solvers/cnf/WrapperMinisat.hpp:21,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/solvers/cnf/WrapperMinisat.cpp:19:
[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.hpp:29,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/solvers/cnf/WrapperMinisat.hpp:21,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/solvers/cnf/WrapperMinisat.cpp:19:
[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.hpp:29,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/solvers/cnf/WrapperMinisat.hpp:21,
[INFO] [stderr] warning: d4-oxide@0.4.2:                  from d4/src/solvers/cnf/WrapperMinisat.cpp:19:
[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: 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=In file included from d4/src/specs/SpecManager.cpp:20:
[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 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] warning: d4-oxide@0.4.2: 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: 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/9e06604bfbfdde94-SpecManagerCnf.o" "-c" "d4/src/specs/cnf/SpecManagerCnf.cpp" with args c++ did not execute successfully (status code exit status: 1).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] 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] 
[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-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/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/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/25d75e31b13a0d6d-PhaseHeuristic.o" "-c" "d4/src/heuristics/PhaseHeuristic.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/heuristics/PartitioningHeuristicNone.hpp:22,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/PartitioningHeuristicNone.cpp:19:
[INFO] [stderr]   cargo:warning=d4/src/heuristics/PartitioningHeuristic.hpp: In member function 'virtual bool d4::PartitioningHeuristic::isReady(std::vector<int>&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/PartitioningHeuristic.hpp:66:42: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   66 |   virtual bool isReady(std::vector<Var> &component) { return true; }
[INFO] [stderr]   cargo:warning=      |                        ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/PartitioningHeuristic.hpp: In member function 'virtual void d4::PartitioningHeuristic::displayStat(std::ostream&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/PartitioningHeuristic.hpp:72:42: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   72 |   virtual void displayStat(std::ostream &out) {}
[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/25d75e31b13a0d6d-PartitioningHeuristicNone.o" "-c" "d4/src/heuristics/PartitioningHeuristicNone.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=d4/src/heuristics/PhaseHeuristicFalse.cpp: In member function 'virtual bool d4::PhaseHeuristicFalse::selectPhase(d4::Var)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/PhaseHeuristicFalse.cpp:37:43: warning: unused parameter 'v' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   37 | bool PhaseHeuristicFalse::selectPhase(Var v) {
[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: 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-PhaseHeuristicPolarity.o" "-c" "d4/src/heuristics/PhaseHeuristicPolarity.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=d4/src/heuristics/PhaseHeuristicTrue.cpp: In member function 'virtual bool d4::PhaseHeuristicTrue::selectPhase(d4::Var)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/PhaseHeuristicTrue.cpp:37:42: warning: unused parameter 'v' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   37 | bool PhaseHeuristicTrue::selectPhase(Var v) {
[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/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/308fc89d7776a68d-PartitioningHeuristicBipartiteDual.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicBipartiteDual.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/heuristics/cnf/PartitioningHeuristicBipartite.hpp:23,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PartitioningHeuristicBipartite.cpp:19:
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual bool d4::PartitioningHeuristic::isReady(std::vector<int>&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:66:42: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   66 |   virtual bool isReady(std::vector<Var> &component) { return true; }
[INFO] [stderr]   cargo:warning=      |                        ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual void d4::PartitioningHeuristic::displayStat(std::ostream&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:72:42: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   72 |   virtual void displayStat(std::ostream &out) {}
[INFO] [stderr]   cargo:warning=      |                            ~~~~~~~~~~~~~~^~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicBipartite.cpp: In constructor 'd4::PartitioningHeuristicBipartite::PartitioningHeuristicBipartite(d4::Config&, d4::SpecManager&, d4::WrapperSolver&, int, int, int, std::ostream&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicBipartite.cpp:34:20: warning: unused parameter 'sumSize' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   34 |     int nbVar, int sumSize, std::ostream &out)
[INFO] [stderr]   cargo:warning=      |                ~~~~^~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicBipartite.cpp:34:43: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   34 |     int nbVar, int sumSize, std::ostream &out)
[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/308fc89d7776a68d-PartitioningHeuristicBipartite.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicBipartite.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/heuristics/cnf/PartitioningHeuristicBipartite.hpp:23,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PartitioningHeuristicBipartitePrimal.hpp:20,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PartitioningHeuristicBipartitePrimal.cpp:18:
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual bool d4::PartitioningHeuristic::isReady(std::vector<int>&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:66:42: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   66 |   virtual bool isReady(std::vector<Var> &component) { return true; }
[INFO] [stderr]   cargo:warning=      |                        ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual void d4::PartitioningHeuristic::displayStat(std::ostream&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:72:42: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   72 |   virtual void displayStat(std::ostream &out) {}
[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/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=In file included from d4/src/heuristics/cnf/PartitioningHeuristicStatic.hpp:24,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PartitioningHeuristicStaticMulti.hpp:22,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PartitioningHeuristicStaticMulti.cpp:18:
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual bool d4::PartitioningHeuristic::isReady(std::vector<int>&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:66:42: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   66 |   virtual bool isReady(std::vector<Var> &component) { return true; }
[INFO] [stderr]   cargo:warning=      |                        ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual void d4::PartitioningHeuristic::displayStat(std::ostream&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:72:42: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   72 |   virtual void displayStat(std::ostream &out) {}
[INFO] [stderr]   cargo:warning=      |                            ~~~~~~~~~~~~~~^~~
[INFO] [stderr]   cargo:warning=In file included from d4/src/heuristics/cnf/PartitioningHeuristicStaticSingleDual.hpp:22,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PartitioningHeuristicStaticMulti.hpp:23,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PartitioningHeuristicStaticMulti.cpp:18:
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:98:43: warning: unused parameter 'hypergraph' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   98 |       std::vector<std::vector<unsigned>> &hypergraph,
[INFO] [stderr]   cargo:warning=      |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:30: warning: unused parameter 'indices' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr]   cargo:warning=      |       ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:57: warning: unused parameter 'mapping' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr]   cargo:warning=      |                                       ~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:100:16: warning: unused parameter 'level' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=  100 |       unsigned level) {}
[INFO] [stderr]   cargo:warning=      |       ~~~~~~~~~^~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setCutSetBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<int>&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:104:25: warning: unused parameter 'partition' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=  104 |       std::vector<int> &partition, std::vector<unsigned> &indices,
[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/308fc89d7776a68d-PartitioningHeuristicStaticMulti.o" "-c" "d4/src/heuristics/cnf/PartitioningHeuristicStaticMulti.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/heuristics/cnf/PartitioningHeuristicStatic.hpp:24,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:22,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.cpp:18:
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual bool d4::PartitioningHeuristic::isReady(std::vector<int>&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:66:42: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   66 |   virtual bool isReady(std::vector<Var> &component) { return true; }
[INFO] [stderr]   cargo:warning=      |                        ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual void d4::PartitioningHeuristic::displayStat(std::ostream&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:72:42: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   72 |   virtual void displayStat(std::ostream &out) {}
[INFO] [stderr]   cargo:warning=      |                            ~~~~~~~~~~~~~~^~~
[INFO] [stderr]   cargo:warning=In file included from d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.cpp:18:
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:98:43: warning: unused parameter 'hypergraph' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   98 |       std::vector<std::vector<unsigned>> &hypergraph,
[INFO] [stderr]   cargo:warning=      |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:30: warning: unused parameter 'indices' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr]   cargo:warning=      |       ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:57: warning: unused parameter 'mapping' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr]   cargo:warning=      |                                       ~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:100:16: warning: unused parameter 'level' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=  100 |       unsigned level) {}
[INFO] [stderr]   cargo:warning=      |       ~~~~~~~~~^~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setCutSetBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<int>&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:104:25: warning: unused parameter 'partition' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=  104 |       std::vector<int> &partition, std::vector<unsigned> &indices,
[INFO] [stderr]   cargo:warning=      |       ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.cpp: In member function 'void d4::PartitioningHeuristicStaticSingle::computeDecomposition(std::vector<int>&, std::vector<int>&, std::vector<std::vector<int> >&, std::vector<unsigned int>&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.cpp:302:28: warning: unused parameter 'bucketNumber' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=  302 |     std::vector<unsigned> &bucketNumber) {
[INFO] [stderr]   cargo:warning=      |     ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~
[INFO] [stderr]   cargo:warning=In file included from d4/src/heuristics/cnf/PartitioningHeuristicStatic.hpp:24,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PartitioningHeuristicStaticNone.hpp:20,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PartitioningHeuristicStaticNone.cpp:18:
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual bool d4::PartitioningHeuristic::isReady(std::vector<int>&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:66:42: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   66 |   virtual bool isReady(std::vector<Var> &component) { return true; }
[INFO] [stderr]   cargo:warning=      |                        ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual void d4::PartitioningHeuristic::displayStat(std::ostream&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:72:42: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   72 |   virtual void displayStat(std::ostream &out) {}
[INFO] [stderr]   cargo:warning=      |                            ~~~~~~~~~~~~~~^~~
[INFO] [stderr]   cargo:warning=In file included from d4/src/heuristics/cnf/PartitioningHeuristicStaticNone.cpp:18:
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticNone.hpp: In member function 'virtual bool d4::PartitioningHeuristicStaticNone::isStillOk(std::vector<int>&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticNone.hpp:42:43: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   42 |   inline bool isStillOk(std::vector<Var> &component) { return false; }
[INFO] [stderr]   cargo:warning=      |                         ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticNone.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticNone::init(std::ostream&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticNone.hpp:43:34: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   43 |   inline void init(std::ostream &out) { m_isInitialized = true; }
[INFO] [stderr]   cargo:warning=      |                    ~~~~~~~~~~~~~~^~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticNone.cpp: In member function 'void d4::PartitioningHeuristicStaticNone::computeDecomposition(std::vector<int>&, std::vector<int>&, std::vector<std::vector<int> >&, std::vector<unsigned int>&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticNone.cpp:85:52: warning: unused parameter 'equivClass' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   85 |     std::vector<Var> &component, std::vector<Var> &equivClass,
[INFO] [stderr]   cargo:warning=      |                                  ~~~~~~~~~~~~~~~~~~^~~~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticNone.cpp:86:36: warning: unused parameter 'equivVar' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   86 |     std::vector<std::vector<Var>> &equivVar,
[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/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-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/heuristics/cnf/PartitioningHeuristicStatic.hpp:24,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:22,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PartitioningHeuristicStaticSinglePrimal.hpp:22,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PartitioningHeuristicStaticSinglePrimal.cpp:18:
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual bool d4::PartitioningHeuristic::isReady(std::vector<int>&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:66:42: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   66 |   virtual bool isReady(std::vector<Var> &component) { return true; }
[INFO] [stderr]   cargo:warning=      |                        ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual void d4::PartitioningHeuristic::displayStat(std::ostream&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:72:42: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   72 |   virtual void displayStat(std::ostream &out) {}
[INFO] [stderr]   cargo:warning=      |                            ~~~~~~~~~~~~~~^~~
[INFO] [stderr]   cargo:warning=In file included from d4/src/heuristics/cnf/PartitioningHeuristicStaticSinglePrimal.hpp:22,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PartitioningHeuristicStaticSinglePrimal.cpp:18:
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:98:43: warning: unused parameter 'hypergraph' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   98 |       std::vector<std::vector<unsigned>> &hypergraph,
[INFO] [stderr]   cargo:warning=      |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:30: warning: unused parameter 'indices' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr]   cargo:warning=      |       ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:57: warning: unused parameter 'mapping' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr]   cargo:warning=      |                                       ~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:100:16: warning: unused parameter 'level' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=  100 |       unsigned level) {}
[INFO] [stderr]   cargo:warning=      |       ~~~~~~~~~^~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setCutSetBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<int>&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:104:25: warning: unused parameter 'partition' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=  104 |       std::vector<int> &partition, std::vector<unsigned> &indices,
[INFO] [stderr]   cargo:warning=      |       ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSinglePrimal.cpp: In member function 'virtual void d4::PartitioningHeuristicStaticSinglePrimal::setBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSinglePrimal.cpp:88:55: warning: unused parameter 'mapping' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   88 |     std::vector<unsigned> &indices, std::vector<int> &mapping, unsigned level) {
[INFO] [stderr]   cargo:warning=      |                                     ~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSinglePrimal.cpp: In member function 'virtual void d4::PartitioningHeuristicStaticSinglePrimal::setCutSetBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<int>&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSinglePrimal.cpp:104:55: warning: unused parameter 'mapping' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=  104 |     std::vector<unsigned> &indices, std::vector<int> &mapping, unsigned level) {
[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/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/heuristics/cnf/PartitioningHeuristicStatic.hpp:24,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:22,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PhaseSelectorDynamic.hpp:21,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PhaseSelectorDynamic.cpp:18:
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual bool d4::PartitioningHeuristic::isReady(std::vector<int>&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:66:42: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   66 |   virtual bool isReady(std::vector<Var> &component) { return true; }
[INFO] [stderr]   cargo:warning=      |                        ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual void d4::PartitioningHeuristic::displayStat(std::ostream&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:72:42: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   72 |   virtual void displayStat(std::ostream &out) {}
[INFO] [stderr]   cargo:warning=      |                            ~~~~~~~~~~~~~~^~~
[INFO] [stderr]   cargo:warning=In file included from d4/src/heuristics/cnf/PhaseSelectorDynamic.hpp:21,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PhaseSelectorDynamic.cpp:18:
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:98:43: warning: unused parameter 'hypergraph' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   98 |       std::vector<std::vector<unsigned>> &hypergraph,
[INFO] [stderr]   cargo:warning=      |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:30: warning: unused parameter 'indices' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr]   cargo:warning=      |       ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:57: warning: unused parameter 'mapping' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr]   cargo:warning=      |                                       ~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:100:16: warning: unused parameter 'level' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=  100 |       unsigned level) {}
[INFO] [stderr]   cargo:warning=      |       ~~~~~~~~~^~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setCutSetBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<int>&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:104:25: warning: unused parameter 'partition' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=  104 |       std::vector<int> &partition, std::vector<unsigned> &indices,
[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/308fc89d7776a68d-PhaseSelectorDynamic.o" "-c" "d4/src/heuristics/cnf/PhaseSelectorDynamic.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/heuristics/cnf/PartitioningHeuristicStatic.hpp:24,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:22,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PhaseSelectorManager.hpp:23,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PhaseSelectorManager.cpp:19:
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual bool d4::PartitioningHeuristic::isReady(std::vector<int>&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:66:42: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   66 |   virtual bool isReady(std::vector<Var> &component) { return true; }
[INFO] [stderr]   cargo:warning=      |                        ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual void d4::PartitioningHeuristic::displayStat(std::ostream&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:72:42: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   72 |   virtual void displayStat(std::ostream &out) {}
[INFO] [stderr]   cargo:warning=      |                            ~~~~~~~~~~~~~~^~~
[INFO] [stderr]   cargo:warning=In file included from d4/src/heuristics/cnf/PhaseSelectorManager.hpp:23,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PhaseSelectorManager.cpp:19:
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:98:43: warning: unused parameter 'hypergraph' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   98 |       std::vector<std::vector<unsigned>> &hypergraph,
[INFO] [stderr]   cargo:warning=      |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:30: warning: unused parameter 'indices' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr]   cargo:warning=      |       ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:57: warning: unused parameter 'mapping' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr]   cargo:warning=      |                                       ~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:100:16: warning: unused parameter 'level' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=  100 |       unsigned level) {}
[INFO] [stderr]   cargo:warning=      |       ~~~~~~~~~^~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setCutSetBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<int>&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:104:25: warning: unused parameter 'partition' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=  104 |       std::vector<int> &partition, std::vector<unsigned> &indices,
[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/308fc89d7776a68d-PhaseSelectorNone.o" "-c" "d4/src/heuristics/cnf/PhaseSelectorNone.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/heuristics/cnf/PartitioningHeuristicStatic.hpp:24,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:22,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PhaseSelectorManager.hpp:23,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PhaseSelectorStatic.hpp:21,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PhaseSelectorStatic.cpp:18:
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual bool d4::PartitioningHeuristic::isReady(std::vector<int>&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:66:42: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   66 |   virtual bool isReady(std::vector<Var> &component) { return true; }
[INFO] [stderr]   cargo:warning=      |                        ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp: In member function 'virtual void d4::PartitioningHeuristic::displayStat(std::ostream&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../PartitioningHeuristic.hpp:72:42: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   72 |   virtual void displayStat(std::ostream &out) {}
[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/308fc89d7776a68d-PhaseSelectorManager.o" "-c" "d4/src/heuristics/cnf/PhaseSelectorManager.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/heuristics/cnf/PhaseSelectorManager.hpp:23,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PhaseSelectorStatic.hpp:21,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/PhaseSelectorStatic.cpp:18:
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:98:43: warning: unused parameter 'hypergraph' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   98 |       std::vector<std::vector<unsigned>> &hypergraph,
[INFO] [stderr]   cargo:warning=      |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:30: warning: unused parameter 'indices' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr]   cargo:warning=      |       ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:99:57: warning: unused parameter 'mapping' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   99 |       std::vector<unsigned> &indices, std::vector<int> &mapping,
[INFO] [stderr]   cargo:warning=      |                                       ~~~~~~~~~~~~~~~~~~^~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:100:16: warning: unused parameter 'level' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=  100 |       unsigned level) {}
[INFO] [stderr]   cargo:warning=      |       ~~~~~~~~~^~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp: In member function 'virtual void d4::PartitioningHeuristicStaticSingle::setCutSetBucketLevelFromEdges(std::vector<std::vector<unsigned int> >&, std::vector<int>&, std::vector<unsigned int>&, std::vector<int>&, unsigned int)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/PartitioningHeuristicStaticSingle.hpp:104:25: warning: unused parameter 'partition' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=  104 |       std::vector<int> &partition, std::vector<unsigned> &indices,
[INFO] [stderr]   cargo:warning=      |       ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr]   cargo:warning=In file included from d4/src/heuristics/cnf/ScoringMethodDlcs.hpp:21,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/ScoringMethodDlcs.cpp:19:
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../ScoringMethod.hpp: In member function 'virtual void d4::ScoringMethod::postProcess(d4::Var)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../ScoringMethod.hpp:36:32: warning: unused parameter 'v' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   36 |   virtual void postProcess(Var v) {}
[INFO] [stderr]   cargo:warning=      |                            ~~~~^
[INFO] [stderr]   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: 0
[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/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-ScoringMethodJwts.o" "-c" "d4/src/heuristics/cnf/ScoringMethodJwts.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=In file included from d4/src/heuristics/cnf/ScoringMethodMom.hpp:21,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/ScoringMethodMom.cpp:19:
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../ScoringMethod.hpp: In member function 'virtual void d4::ScoringMethod::postProcess(d4::Var)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../ScoringMethod.hpp:36:32: warning: unused parameter 'v' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   36 |   virtual void postProcess(Var v) {}
[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/308fc89d7776a68d-ScoringMethodMom.o" "-c" "d4/src/heuristics/cnf/ScoringMethodMom.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/heuristics/cnf/ScoringMethodVsads.hpp:22,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/ScoringMethodVsads.cpp:19:
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../ScoringMethod.hpp: In member function 'virtual void d4::ScoringMethod::postProcess(d4::Var)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../ScoringMethod.hpp:36:32: warning: unused parameter 'v' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   36 |   virtual void postProcess(Var v) {}
[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/308fc89d7776a68d-ScoringMethodVsads.o" "-c" "d4/src/heuristics/cnf/ScoringMethodVsads.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/heuristics/cnf/ScoringMethodVsids.hpp:22,
[INFO] [stderr]   cargo:warning=                 from d4/src/heuristics/cnf/ScoringMethodVsids.cpp:19:
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../ScoringMethod.hpp: In member function 'virtual void d4::ScoringMethod::postProcess(d4::Var)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/cnf/../ScoringMethod.hpp:36:32: warning: unused parameter 'v' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   36 |   virtual void postProcess(Var v) {}
[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/308fc89d7776a68d-ScoringMethodVsids.o" "-c" "d4/src/heuristics/cnf/ScoringMethodVsids.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=d4/src/hyperGraph/HyperGraphExtractorPrimal.cpp: In member function 'virtual void d4::HyperGraphExtractorPrimal::extractCutFromHyperGraph(d4::HyperGraph&, std::vector<int>&, std::vector<int>&, std::vector<int>&)':
[INFO] [stderr]   cargo:warning=d4/src/hyperGraph/HyperGraphExtractorPrimal.cpp:112:47: warning: unused parameter 'considered' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=  112 |     HyperGraph &hypergraph, std::vector<Var> &considered,
[INFO] [stderr]   cargo:warning=      |                             ~~~~~~~~~~~~~~~~~~^~~~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/hyperGraph/HyperGraphExtractorPrimal.cpp: In member function 'virtual void d4::HyperGraphExtractorPrimal::constructHyperGraph(d4::SpecManagerCnf&, std::vector<int>&, std::vector<int>&, std::vector<std::vector<int> >&, bool, std::vector<int>&, d4::HyperGraph&)':
[INFO] [stderr]   cargo:warning=d4/src/hyperGraph/HyperGraphExtractorPrimal.cpp:195:67: warning: unused parameter 'equivVar' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=  195 |     std::vector<Var> &equivClass, std::vector<std::vector<Var> > &equivVar,
[INFO] [stderr]   cargo:warning=      |                                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/hyperGraph/HyperGraphExtractorPrimal.cpp:196:43: warning: unused parameter 'considered' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=  196 |     bool reduceFormula, std::vector<Var> &considered, HyperGraph &hypergraph) {
[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/99534ef6baeac072-HyperGraphExtractorDual.o" "-c" "d4/src/hyperGraph/HyperGraphExtractorDual.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=In file included from d4/src/caching/CacheList.hpp:27,
[INFO] [stderr]   cargo:warning=                 from d4/src/caching/CacheManager.hpp:25,
[INFO] [stderr]   cargo:warning=                 from d4/src/methods/DpllStyleMethod.hpp:27,
[INFO] [stderr]   cargo:warning=                 from d4/src/methods/MethodManager.cpp:24:
[INFO] [stderr]   cargo:warning=d4/src/hashing/HashString.hpp: In member function 'unsigned int d4::HashString::hash(char*, unsigned int, uint64_t)':
[INFO] [stderr]   cargo:warning=d4/src/hashing/HashString.hpp:33:44: warning: unused parameter 'len' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   33 |   inline unsigned hash(char *key, unsigned len, uint64_t info) {
[INFO] [stderr]   cargo:warning=      |                                   ~~~~~~~~~^~~
[INFO] [stderr]   cargo:warning=In file included from d4/src/methods/DpllStyleMethod.hpp:31,
[INFO] [stderr]   cargo:warning=                 from d4/src/methods/MethodManager.cpp:24:
[INFO] [stderr]   cargo:warning=d4/src/heuristics/PartitioningHeuristic.hpp: In member function 'virtual bool d4::PartitioningHeuristic::isReady(std::vector<int>&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/PartitioningHeuristic.hpp:66:42: warning: unused parameter 'component' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   66 |   virtual bool isReady(std::vector<Var> &component) { return true; }
[INFO] [stderr]   cargo:warning=      |                        ~~~~~~~~~~~~~~~~~~^~~~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/heuristics/PartitioningHeuristic.hpp: In member function 'virtual void d4::PartitioningHeuristic::displayStat(std::ostream&)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/PartitioningHeuristic.hpp:72:42: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   72 |   virtual void displayStat(std::ostream &out) {}
[INFO] [stderr]   cargo:warning=      |                            ~~~~~~~~~~~~~~^~~
[INFO] [stderr]   cargo:warning=In file included from d4/src/methods/DpllStyleMethod.hpp:33,
[INFO] [stderr]   cargo:warning=                 from d4/src/methods/MethodManager.cpp:24:
[INFO] [stderr]   cargo:warning=d4/src/heuristics/ScoringMethod.hpp: In member function 'virtual void d4::ScoringMethod::postProcess(d4::Var)':
[INFO] [stderr]   cargo:warning=d4/src/heuristics/ScoringMethod.hpp:36:32: warning: unused parameter 'v' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   36 |   virtual void postProcess(Var v) {}
[INFO] [stderr]   cargo:warning=      |                            ~~~~^
[INFO] [stderr]   cargo:warning=In file included from d4/src/methods/MethodManager.cpp:25:
[INFO] [stderr]   cargo:warning=d4/src/methods/MaxSharpSAT.hpp: In instantiation of 'd4::MaxSharpSAT<T>::MaxSharpSAT(d4::Config&, std::string&, bool, d4::ProblemManager*, std::ostream&, d4::LastBreathPreproc&) [with T = boost::multiprecision::number<boost::multiprecision::backends::gmp_int>; std::string = std::__cxx11::basic_string<char>; std::ostream = std::basic_ostream<char>]':
[INFO] [stderr]   cargo:warning=d4/src/methods/MethodManager.cpp:113:54:   required from here
[INFO] [stderr]   cargo:warning=d4/src/methods/MaxSharpSAT.hpp:129:44: warning: unused parameter 'meth' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=  129 |   MaxSharpSAT(Config &config, std::string &meth, bool isFloat,
[INFO] [stderr]   cargo:warning=      |                               ~~~~~~~~~~~~~^~~~
[INFO] [stderr]   cargo:warning=d4/src/methods/MaxSharpSAT.hpp:129:55: warning: unused parameter 'isFloat' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=  129 |   MaxSharpSAT(Config &config, std::string &meth, bool isFloat,
[INFO] [stderr]   cargo:warning=      |                                                  ~~~~~^~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/methods/MaxSharpSAT.hpp: In instantiation of 'd4::MaxSharpSAT<T>::MaxSharpSAT(d4::Config&, std::string&, bool, d4::ProblemManager*, std::ostream&, d4::LastBreathPreproc&) [with T = boost::multiprecision::number<boost::multiprecision::backends::gmp_float<0>, boost::multiprecision::et_on>; std::string = std::__cxx11::basic_string<char>; std::ostream = std::basic_ostream<char>]':
[INFO] [stderr]   cargo:warning=d4/src/methods/MethodManager.cpp:115:54:   required from here
[INFO] [stderr]   cargo:warning=d4/src/methods/MaxSharpSAT.hpp:129:44: warning: unused parameter 'meth' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=  129 |   MaxSharpSAT(Config &config, std::string &meth, bool isFloat,
[INFO] [stderr]   cargo:warning=      |                               ~~~~~~~~~~~~~^~~~
[INFO] [stderr]   cargo:warning=d4/src/methods/MaxSharpSAT.hpp:129:55: warning: unused parameter 'isFloat' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=  129 |   MaxSharpSAT(Config &config, std::string &meth, bool isFloat,
[INFO] [stderr]   cargo:warning=      |                                                  ~~~~~^~~~~~~
[INFO] [stderr]   cargo:warning=In file included from d4/src/methods/MethodManager.cpp:26:
[INFO] [stderr]   cargo:warning=d4/src/methods/MinSharpSAT.hpp: In instantiation of 'd4::MinSharpSAT<T>::MinSharpSAT(d4::Config&, std::string&, bool, d4::ProblemManager*, std::ostream&, d4::LastBreathPreproc&) [with T = boost::multiprecision::number<boost::multiprecision::backends::gmp_int>; std::string = std::__cxx11::basic_string<char>; std::ostream = std::basic_ostream<char>]':
[INFO] [stderr]   cargo:warning=d4/src/methods/MethodManager.cpp:121:54:   required from here
[INFO] [stderr]   cargo:warning=d4/src/methods/MinSharpSAT.hpp:99:44: warning: unused parameter 'meth' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   99 |   MinSharpSAT(Config &config, std::string &meth, bool isFloat,
[INFO] [stderr]   cargo:warning=      |                               ~~~~~~~~~~~~~^~~~
[INFO] [stderr]   cargo:warning=d4/src/methods/MinSharpSAT.hpp:99:55: warning: unused parameter 'isFloat' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   99 |   MinSharpSAT(Config &config, std::string &meth, bool isFloat,
[INFO] [stderr]   cargo:warning=      |                                                  ~~~~~^~~~~~~
[INFO] [stderr]   cargo:warning=d4/src/methods/MinSharpSAT.hpp: In instantiation of 'd4::MinSharpSAT<T>::MinSharpSAT(d4::Config&, std::string&, bool, d4::ProblemManager*, std::ostream&, d4::LastBreathPreproc&) [with T = boost::multiprecision::number<boost::multiprecision::backends::gmp_float<0>, boost::multiprecision::et_on>; std::string = std::__cxx11::basic_string<char>; std::ostream = std::basic_ostream<char>]':
[INFO] [stderr]   cargo:warning=d4/src/methods/MethodManager.cpp:123:54:   required from here
[INFO] [stderr]   cargo:warning=d4/src/methods/MinSharpSAT.hpp:99:44: warning: unused parameter 'meth' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   99 |   MinSharpSAT(Config &config, std::string &meth, bool isFloat,
[INFO] [stderr]   cargo:warning=      |                               ~~~~~~~~~~~~~^~~~
[INFO] [stderr]   cargo:warning=d4/src/methods/MinSharpSAT.hpp:99:55: warning: unused parameter 'isFloat' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=   99 |   MinSharpSAT(Config &config, std::string &meth, bool isFloat,
[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: 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/e383f53e43e25a42-MethodManager.o" "-c" "d4/src/methods/MethodManager.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/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=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=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=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: 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/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/69974799b7eef37d-WrapperSolver.o" "-c" "d4/src/solvers/WrapperSolver.cpp" with args c++ did not execute successfully (status code exit status: 1).cargo:warning=d4/src/solvers/cnf/WrapperMinisat.cpp: In member function 'virtual void d4::WrapperMinisat::displayAssumption(std::ostream&)':
[INFO] [stderr]   cargo:warning=d4/src/solvers/cnf/WrapperMinisat.cpp:275:54: warning: unused parameter 'out' [-Wunused-parameter]
[INFO] [stderr]   cargo:warning=  275 | void WrapperMinisat::displayAssumption(std::ostream &out) {
[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.hpp:29,
[INFO] [stderr]   cargo:warning=                 from d4/src/solvers/cnf/WrapperMinisat.hpp:21,
[INFO] [stderr]   cargo:warning=                 from d4/src/solvers/cnf/WrapperMinisat.cpp:19:
[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.hpp:29,
[INFO] [stderr]   cargo:warning=                 from d4/src/solvers/cnf/WrapperMinisat.hpp:21,
[INFO] [stderr]   cargo:warning=                 from d4/src/solvers/cnf/WrapperMinisat.cpp:19:
[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.hpp:29,
[INFO] [stderr]   cargo:warning=                 from d4/src/solvers/cnf/WrapperMinisat.hpp:21,
[INFO] [stderr]   cargo:warning=                 from d4/src/solvers/cnf/WrapperMinisat.cpp:19:
[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=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=In file included from d4/src/specs/SpecManager.cpp:20:
[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 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]   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=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/9e06604bfbfdde94-SpecManagerCnf.o" "-c" "d4/src/specs/cnf/SpecManagerCnf.cpp" with args c++ did not execute successfully (status code exit status: 1).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] 
[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/9e06604bfbfdde94-SpecManagerCnf.o" "-c" "d4/src/specs/cnf/SpecManagerCnf.cpp" with args c++ did not execute successfully (status code exit status: 1).
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] running `Command { std: "docker" "inspect" "0b27eb4eec61bff90e1941ac5cc21bd776b5a791b1d1990af0a227841a0daf5c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0b27eb4eec61bff90e1941ac5cc21bd776b5a791b1d1990af0a227841a0daf5c", kill_on_drop: false }`
[INFO] [stdout] 0b27eb4eec61bff90e1941ac5cc21bd776b5a791b1d1990af0a227841a0daf5c
