[INFO] cloning repository https://github.com/theo-kim/sigma-rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/theo-kim/sigma-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftheo-kim%2Fsigma-rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftheo-kim%2Fsigma-rs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] fae5f96353b42381d1ec444846fb2c74e066464c
[INFO] checking theo-kim/sigma-rs/fae5f96353b42381d1ec444846fb2c74e066464c against 846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9 for pr-160391-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftheo-kim%2Fsigma-rs" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/theo-kim/sigma-rs
[INFO] finished tweaking git repo https://github.com/theo-kim/sigma-rs
[INFO] tweaked toml for git repo https://github.com/theo-kim/sigma-rs written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/theo-kim/sigma-rs on toolchain 846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/theo-kim/sigma-rs 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" "+846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root:
[INFO] [stderr] package:   /workspace/builds/worker-4-tc1/source/crates/wasm/Cargo.toml
[INFO] [stderr] workspace: /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] [stderr] warning: unused workspace dependency `sumo-native`
[INFO] [stderr]   --> Cargo.toml:15:25
[INFO] [stderr]    |
[INFO] [stderr] 15 | [workspace.dependencies.sumo-native]
[INFO] [stderr]    |                         ^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_workspace_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the workspace dependency `sumo-native`
[INFO] [stderr] warning: unused field `authors` in `workspace.package`
[INFO] [stderr]   --> Cargo.toml:25:1
[INFO] [stderr]    |
[INFO] [stderr] 25 | authors = ["sumo-parser contributors"]
[INFO] [stderr]    | ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_workspace_package_fields` is set to `warn` by default
[INFO] [stderr] help: consider removing the field `workspace.package.authors`
[INFO] [stderr] warning: unused field `license` in `workspace.package`
[INFO] [stderr]   --> Cargo.toml:27:1
[INFO] [stderr]    |
[INFO] [stderr] 27 | license = "GPL-2.0"
[INFO] [stderr]    | ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the field `workspace.package.license`
[INFO] [stderr] warning: workspace (manifest) generated 3 warnings
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded siphasher v1.0.2
[INFO] [stderr]   Downloaded heed-types v0.20.1
[INFO] [stderr]   Downloaded wasm-bindgen-macro v0.2.114
[INFO] [stderr]   Downloaded inline_colorization v0.1.6
[INFO] [stderr]   Downloaded env_filter v1.0.0
[INFO] [stderr]   Downloaded wasm-bindgen-shared v0.2.114
[INFO] [stderr]   Downloaded lmdb-master-sys v0.2.5
[INFO] [stderr]   Downloaded vampire-prover v0.5.1
[INFO] [stderr]   Downloaded env_logger v0.11.9
[INFO] [stderr]   Downloaded portable-atomic-util v0.2.5
[INFO] [stderr]   Downloaded wasm-bindgen v0.2.114
[INFO] [stderr]   Downloaded wasm-bindgen-macro-support v0.2.114
[INFO] [stderr]   Downloaded clap v4.5.60
[INFO] [stderr]   Downloaded heed v0.20.5
[INFO] [stderr]   Downloaded js-sys v0.3.91
[INFO] [stderr]   Downloaded clap_builder v4.5.60
[INFO] [stderr]   Downloaded vampire-sys v0.5.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:c0af3998e971868164375a7dfb646c9933ddd1a3bdb00fa2041266763dc1eeab" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] e38769cf123402c657fca9065413a581e294f63f17816264eb534e523536dcce
[INFO] running `Command { std: "docker" "start" "e38769cf123402c657fca9065413a581e294f63f17816264eb534e523536dcce", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e38769cf123402c657fca9065413a581e294f63f17816264eb534e523536dcce", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "e38769cf123402c657fca9065413a581e294f63f17816264eb534e523536dcce" "/opt/rustwide/cargo-home/bin/cargo" "+846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e38769cf123402c657fca9065413a581e294f63f17816264eb534e523536dcce", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "e38769cf123402c657fca9065413a581e294f63f17816264eb534e523536dcce" "/opt/rustwide/cargo-home/bin/cargo" "+846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root:
[INFO] [stderr] package:   /opt/rustwide/workdir/crates/wasm/Cargo.toml
[INFO] [stderr] workspace: /opt/rustwide/workdir/Cargo.toml
[INFO] [stderr] warning: unused workspace dependency `sumo-native`
[INFO] [stderr]   --> Cargo.toml:15:25
[INFO] [stderr]    |
[INFO] [stderr] 15 | [workspace.dependencies.sumo-native]
[INFO] [stderr]    |                         ^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_workspace_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the workspace dependency `sumo-native`
[INFO] [stderr] warning: unused field `authors` in `workspace.package`
[INFO] [stderr]   --> Cargo.toml:25:1
[INFO] [stderr]    |
[INFO] [stderr] 25 | authors = ["sumo-parser contributors"]
[INFO] [stderr]    | ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_workspace_package_fields` is set to `warn` by default
[INFO] [stderr] help: consider removing the field `workspace.package.authors`
[INFO] [stderr] warning: unused field `license` in `workspace.package`
[INFO] [stderr]   --> Cargo.toml:27:1
[INFO] [stderr]    |
[INFO] [stderr] 27 | license = "GPL-2.0"
[INFO] [stderr]    | ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the field `workspace.package.license`
[INFO] [stderr] warning: workspace (manifest) generated 3 warnings
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling siphasher v1.0.2
[INFO] [stderr]     Checking itoa v1.0.17
[INFO] [stderr]    Compiling cc v1.2.57
[INFO] [stderr]    Compiling libc v0.2.183
[INFO] [stderr]    Compiling crossbeam-utils v0.8.21
[INFO] [stderr]    Compiling wasm-bindgen-shared v0.2.114
[INFO] [stderr]     Checking inline_colorization v0.1.6
[INFO] [stderr]     Checking heed-traits v0.20.0
[INFO] [stderr]     Checking anstyle v1.0.13
[INFO] [stderr]     Checking regex-automata v0.4.14
[INFO] [stderr]     Checking bitflags v2.11.0
[INFO] [stderr]    Compiling wasm-bindgen v0.2.114
[INFO] [stderr]     Checking clap_lex v1.0.0
[INFO] [stderr]     Checking jiff v0.2.23
[INFO] [stderr]    Compiling phf_shared v0.11.3
[INFO] [stderr]     Checking anstream v0.6.21
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]     Checking clap_builder v4.5.60
[INFO] [stderr]    Compiling quote v1.0.45
[INFO] [stderr]    Compiling phf_generator v0.11.3
[INFO] [stderr]    Compiling cmake v0.1.57
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]     Checking crossbeam-queue v0.3.12
[INFO] [stderr]     Checking synchronoise v1.0.1
[INFO] [stderr]    Compiling vampire-sys v0.5.2
[INFO] [stderr]     Checking page_size v0.6.0
[INFO] [stderr]     Checking regex v1.12.3
[INFO] [stderr]     Checking env_filter v1.0.0
[INFO] [stderr]     Checking env_logger v0.11.9
[INFO] [stderr] error: could not compile `syn` (lib)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/bin/rustc --crate-name syn --edition=2021 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/syn-2.0.117/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat,unused-externs-silent --crate-type lib --emit=dep-info,metadata,link -Z embed-metadata=no -C embed-bitcode=no --cfg 'feature="clone-impls"' --cfg 'feature="default"' --cfg 'feature="derive"' --cfg 'feature="extra-traits"' --cfg 'feature="full"' --cfg 'feature="parsing"' --cfg 'feature="printing"' --cfg 'feature="proc-macro"' --cfg 'feature="visit"' --cfg 'feature="visit-mut"' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("clone-impls", "default", "derive", "extra-traits", "fold", "full", "parsing", "printing", "proc-macro", "test", "visit", "visit-mut"))' -C metadata=67c041aeae71e7b8 -C extra-filename=-b66dcf7209d2edaa --out-dir /opt/rustwide/target/debug/build/syn/b66dcf7209d2edaa/out -L dependency=/opt/rustwide/target/debug/build/proc-macro2/d4cb564e807a9cd7/out -L dependency=/opt/rustwide/target/debug/build/unicode-ident/8c98a1a0e58216a9/out --extern proc_macro2=/opt/rustwide/target/debug/build/proc-macro2/d4cb564e807a9cd7/out/libproc_macro2-d4cb564e807a9cd7.rmeta --extern quote=/opt/rustwide/target/debug/build/quote/aa2c5b8519914b46/out/libquote-aa2c5b8519914b46.rmeta --extern unicode_ident=/opt/rustwide/target/debug/build/unicode-ident/8c98a1a0e58216a9/out/libunicode_ident-8c98a1a0e58216a9.rmeta --cap-lints allow --cap-lints=forbid --force-warn=unused_crate_dependencies` (signal: 9, SIGKILL: kill)
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: failed to run custom build command for `vampire-sys v0.5.2`
[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/vampire-sys/02addbbd14327655/out/build_script_build` (exit status: 101)
[INFO] [stderr]   --- stdout
[INFO] [stderr]   CMAKE_TOOLCHAIN_FILE_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   CMAKE_TOOLCHAIN_FILE_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   HOST_CMAKE_TOOLCHAIN_FILE = None
[INFO] [stderr]   CMAKE_TOOLCHAIN_FILE = None
[INFO] [stderr]   CMAKE_GENERATOR_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   CMAKE_GENERATOR_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   HOST_CMAKE_GENERATOR = None
[INFO] [stderr]   CMAKE_GENERATOR = None
[INFO] [stderr]   CMAKE_PREFIX_PATH_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   CMAKE_PREFIX_PATH_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   HOST_CMAKE_PREFIX_PATH = None
[INFO] [stderr]   CMAKE_PREFIX_PATH = None
[INFO] [stderr]   CMAKE_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   CMAKE_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   HOST_CMAKE = None
[INFO] [stderr]   CMAKE = None
[INFO] [stderr]   -- The C compiler identification is GNU 15.2.0
[INFO] [stderr]   -- The CXX compiler identification is GNU 15.2.0
[INFO] [stderr]   -- Detecting C compiler ABI info
[INFO] [stderr]   -- Detecting C compiler ABI info - done
[INFO] [stderr]   -- Check for working C compiler: /usr/bin/cc - skipped
[INFO] [stderr]   -- Detecting C compile features
[INFO] [stderr]   -- Detecting C compile features - done
[INFO] [stderr]   -- Detecting CXX compiler ABI info
[INFO] [stderr]   -- Detecting CXX compiler ABI info - done
[INFO] [stderr]   -- Check for working CXX compiler: /usr/bin/c++ - skipped
[INFO] [stderr]   -- Detecting CXX compile features
[INFO] [stderr]   -- Detecting CXX compile features - done
[INFO] [stderr]   -- Performing Test CMAKE_HAVE_LIBC_PTHREAD
[INFO] [stderr]   -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success
[INFO] [stderr]   -- Found Threads: TRUE
[INFO] [stderr]   -- CMAKE_BUILD_TYPE: Release (options: Release (default), Debug, RelWithDebInfo)
[INFO] [stderr]   -- BUILD_SHARED_LIBS: ON
[INFO] [stderr]   -- Looking for closefrom
[INFO] [stderr]   -- Looking for closefrom - found
[INFO] [stderr]   -- Could NOT find Z3 (missing: Z3_DIR)
[INFO] [stderr]   -- no Z3 found -- compiling without SMT support
[INFO] [stderr]   -- Configuring done (1.9s)
[INFO] [stderr]   -- Generating done (0.4s)
[INFO] [stderr]   -- Build files have been written to: /opt/rustwide/target/debug/build/vampire-sys/d1b0af300f343888/out/build
[INFO] [stderr]   [  0%] Building CXX object CMakeFiles/common.dir/CASC/PortfolioMode.cpp.o
[INFO] [stderr]   [  0%] Building CXX object CMakeFiles/common.dir/DP/ShortConflictMetaDP.cpp.o
[INFO] [stderr]   [  1%] Building CXX object CMakeFiles/common.dir/CASC/Schedules.cpp.o
[INFO] [stderr]   [  1%] Building CXX object CMakeFiles/common.dir/Debug/RuntimeStatistics.cpp.o
[INFO] [stderr]   [  2%] Building CXX object CMakeFiles/common.dir/FMB/ClauseFlattening.cpp.o
[INFO] [stderr]   [  2%] Building CXX object CMakeFiles/common.dir/FMB/FiniteModelBuilder.cpp.o
[INFO] [stderr]   [  2%] Building CXX object CMakeFiles/common.dir/Debug/TimeProfiling.cpp.o
[INFO] [stderr]   [  3%] Building CXX object CMakeFiles/common.dir/FMB/FunctionRelationshipInference.cpp.o
[INFO] [stderr]   [  3%] Building CXX object CMakeFiles/common.dir/Debug/Tracer.cpp.o
[INFO] [stderr]   [  4%] Building CXX object CMakeFiles/common.dir/Debug/Assertion.cpp.o
[INFO] [stderr]   [  4%] Building CXX object CMakeFiles/common.dir/FMB/FiniteModelMultiSorted.cpp.o
[INFO] [stderr]   [  4%] Building CXX object CMakeFiles/common.dir/DP/SimpleCongruenceClosure.cpp.o
[INFO] [stderr]   [  4%] Building CXX object CMakeFiles/common.dir/FMB/Monotonicity.cpp.o
[INFO] [stderr]   [  4%] Building CXX object CMakeFiles/common.dir/FMB/SortInference.cpp.o
[INFO] [stderr]   [  4%] Building CXX object CMakeFiles/common.dir/Indexing/AcyclicityIndex.cpp.o
[INFO] [stderr]   [  5%] Building CXX object CMakeFiles/common.dir/Indexing/ClauseCodeTree.cpp.o
[INFO] [stderr]   [  5%] Building CXX object CMakeFiles/common.dir/Indexing/ClauseVariantIndex.cpp.o
[INFO] [stderr]   [  5%] Building CXX object CMakeFiles/common.dir/Indexing/CodeTree.cpp.o
[INFO] [stderr]   [  6%] Building CXX object CMakeFiles/common.dir/Indexing/CodeTreeInterfaces.cpp.o
[INFO] [stderr] 
[INFO] [stderr]   --- stderr
[INFO] [stderr]   running: cd "/opt/rustwide/target/debug/build/vampire-sys/d1b0af300f343888/out/build" && CMAKE_PREFIX_PATH="" LC_ALL="C" "cmake" "/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/vampire-sys-0.5.2/vampire-lib" "-B" "/opt/rustwide/target/debug/build/vampire-sys/d1b0af300f343888/out/build" "-DCMAKE_BUILD_TYPE=Release" "-DCMAKE_INSTALL_PREFIX=/opt/rustwide/target/debug/build/vampire-sys/d1b0af300f343888/out" "-DCMAKE_C_FLAGS= -ffunction-sections -fdata-sections -fPIC -m64 -w" "-DCMAKE_C_COMPILER=/usr/bin/cc" "-DCMAKE_CXX_FLAGS= -ffunction-sections -fdata-sections -fPIC -m64 -w" "-DCMAKE_CXX_COMPILER=/usr/bin/c++" "-DCMAKE_ASM_FLAGS= -ffunction-sections -fdata-sections -fPIC -m64 -w" "-DCMAKE_ASM_COMPILER=/usr/bin/cc"
[INFO] [stderr]   fatal: not a git repository (or any parent up to mount point /opt/rustwide)
[INFO] [stderr]   Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).
[INFO] [stderr]   CMake Warning:
[INFO] [stderr]     Manually-specified variables were not used by the project:
[INFO] [stderr] 
[INFO] [stderr]       CMAKE_ASM_COMPILER
[INFO] [stderr]       CMAKE_ASM_FLAGS
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr]   running: cd "/opt/rustwide/target/debug/build/vampire-sys/d1b0af300f343888/out/build" && LC_ALL="C" MAKEFLAGS="-j --jobserver-fds=4,5 --jobserver-auth=4,5" "cmake" "--build" "/opt/rustwide/target/debug/build/vampire-sys/d1b0af300f343888/out/build" "--target" "vampire_lib" "--config" "Debug"
[INFO] [stderr]   c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   gmake[3]: *** [CMakeFiles/common.dir/build.make:121: CMakeFiles/common.dir/DP/SimpleCongruenceClosure.cpp.o] Error 1
[INFO] [stderr]   gmake[3]: *** Waiting for unfinished jobs....
[INFO] [stderr]   c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   gmake[3]: *** [CMakeFiles/common.dir/build.make:247: CMakeFiles/common.dir/FMB/Monotonicity.cpp.o] Error 1
[INFO] [stderr]   c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   gmake[3]: *** [CMakeFiles/common.dir/build.make:275: CMakeFiles/common.dir/Indexing/AcyclicityIndex.cpp.o] Error 1
[INFO] [stderr]   c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   gmake[3]: *** [CMakeFiles/common.dir/build.make:107: CMakeFiles/common.dir/DP/ShortConflictMetaDP.cpp.o] Error 1
[INFO] [stderr]   c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   gmake[3]: *** [CMakeFiles/common.dir/build.make:93: CMakeFiles/common.dir/CASC/Schedules.cpp.o] Error 1
[INFO] [stderr]   c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   gmake[3]: *** [CMakeFiles/common.dir/build.make:261: CMakeFiles/common.dir/FMB/SortInference.cpp.o] Error 1
[INFO] [stderr]   c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   gmake[3]: *** [CMakeFiles/common.dir/build.make:205: CMakeFiles/common.dir/FMB/FiniteModelBuilder.cpp.o] Error 1
[INFO] [stderr]   c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   gmake[3]: *** [CMakeFiles/common.dir/build.make:219: CMakeFiles/common.dir/FMB/FiniteModelMultiSorted.cpp.o] Error 1
[INFO] [stderr]   c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   gmake[3]: *** [CMakeFiles/common.dir/build.make:233: CMakeFiles/common.dir/FMB/FunctionRelationshipInference.cpp.o] Error 1
[INFO] [stderr]   c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   gmake[3]: *** [CMakeFiles/common.dir/build.make:303: CMakeFiles/common.dir/Indexing/ClauseVariantIndex.cpp.o] Error 1
[INFO] [stderr]   gmake[2]: *** [CMakeFiles/Makefile2:1024: CMakeFiles/common.dir/all] Error 2
[INFO] [stderr]   gmake[1]: *** [CMakeFiles/Makefile2:1095: CMakeFiles/vampire_lib.dir/rule] Error 2
[INFO] [stderr]   gmake: *** [Makefile:524: vampire_lib] Error 2
[INFO] [stderr] 
[INFO] [stderr]   thread 'main' (387) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/cmake-0.1.57/src/lib.rs:1132:5:
[INFO] [stderr] 
[INFO] [stderr]   command did not execute successfully, got: exit status: 2
[INFO] [stderr] 
[INFO] [stderr]   build script failed, must exit now
[INFO] [stderr]   stack backtrace:
[INFO] [stderr]      0:     0x5d5ce8f6cc11 - std[e895e2b4a76259db]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stderr]      1:     0x5d5ce8f6cc11 - std[e895e2b4a76259db]::backtrace_rs::backtrace::trace_unsynchronized::<std[e895e2b4a76259db]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stderr]      2:     0x5d5ce8f6cc11 - std[e895e2b4a76259db]::sys::backtrace::_print_fmt
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/std/src/sys/backtrace.rs:74:9
[INFO] [stderr]      3:     0x5d5ce8f6cc11 - <<std[e895e2b4a76259db]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[35ed4a8a6b12c581]::fmt::Display>::fmt
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/std/src/sys/backtrace.rs:44:26
[INFO] [stderr]      4:     0x5d5ce8f8105a - <core[35ed4a8a6b12c581]::fmt::rt::Argument>::fmt
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/core/src/fmt/rt.rs:152:76
[INFO] [stderr]      5:     0x5d5ce8f8105a - core[35ed4a8a6b12c581]::fmt::write
[INFO] [stderr]      6:     0x5d5ce8f7272c - core[35ed4a8a6b12c581]::io::write::default_write_fmt::<std[e895e2b4a76259db]::sys::stdio::unix::Stderr>
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/core/src/io/write.rs:402:11
[INFO] [stderr]      7:     0x5d5ce8f7272c - <std[e895e2b4a76259db]::sys::stdio::unix::Stderr as core[35ed4a8a6b12c581]::io::write::Write>::write_fmt
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/core/src/io/write.rs:335:13
[INFO] [stderr]      8:     0x5d5ce8f4ca96 - <std[e895e2b4a76259db]::sys::backtrace::BacktraceLock>::print
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/std/src/sys/backtrace.rs:47:9
[INFO] [stderr]      9:     0x5d5ce8f4ca96 - std[e895e2b4a76259db]::panicking::default_hook::{closure#0}
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/std/src/panicking.rs:289:27
[INFO] [stderr]     10:     0x5d5ce8f67971 - std[e895e2b4a76259db]::panicking::default_hook
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/std/src/panicking.rs:316:9
[INFO] [stderr]     11:     0x5d5ce8f67b2b - std[e895e2b4a76259db]::panicking::panic_with_hook
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/std/src/panicking.rs:811:13
[INFO] [stderr]     12:     0x5d5ce8f4cb42 - std[e895e2b4a76259db]::panicking::panic_handler::{closure#0}
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/std/src/panicking.rs:685:13
[INFO] [stderr]     13:     0x5d5ce8f469c9 - std[e895e2b4a76259db]::sys::backtrace::__rust_end_short_backtrace::<std[e895e2b4a76259db]::panicking::panic_handler::{closure#0}, !>
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/std/src/sys/backtrace.rs:182:18
[INFO] [stderr]     14:     0x5d5ce8f4d32d - __rustc[30505a85e5c6eb20]::rust_begin_unwind
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/std/src/panicking.rs:676:5
[INFO] [stderr]     15:     0x5d5ce8f8180c - core[35ed4a8a6b12c581]::panicking::panic_fmt
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/core/src/panicking.rs:80:14
[INFO] [stderr]     16:     0x5d5ce8ed99d7 - cmake[c8f533e170f139ce]::fail
[INFO] [stderr]     17:     0x5d5ce8ed9663 - cmake[c8f533e170f139ce]::run
[INFO] [stderr]     18:     0x5d5ce8edf676 - <cmake[c8f533e170f139ce]::Config>::build
[INFO] [stderr]     19:     0x5d5ce8ecb81e - build_script_build[a058efdaa721b5f2]::main
[INFO] [stderr]     20:     0x5d5ce8ecc06b - <fn() as core[35ed4a8a6b12c581]::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]     21:     0x5d5ce8ecb61e - std[e895e2b4a76259db]::sys::backtrace::__rust_begin_short_backtrace::<fn(), ()>
[INFO] [stderr]     22:     0x5d5ce8ecb629 - std[e895e2b4a76259db]::rt::lang_start::<()>::{closure#0}
[INFO] [stderr]     23:     0x5d5ce8f66c88 - <&dyn core[35ed4a8a6b12c581]::ops::function::Fn<(), Output = i32> + core[35ed4a8a6b12c581]::marker::Sync + core[35ed4a8a6b12c581]::panic::unwind_safe::RefUnwindSafe as core[35ed4a8a6b12c581]::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/core/src/ops/function.rs:287:21
[INFO] [stderr]     24:     0x5d5ce8f66c88 - std[e895e2b4a76259db]::panicking::catch_unwind::do_call::<&dyn core[35ed4a8a6b12c581]::ops::function::Fn<(), Output = i32> + core[35ed4a8a6b12c581]::marker::Sync + core[35ed4a8a6b12c581]::panic::unwind_safe::RefUnwindSafe, i32>
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/std/src/panicking.rs:573:43
[INFO] [stderr]     25:     0x5d5ce8f66c88 - std[e895e2b4a76259db]::panicking::catch_unwind::<i32, &dyn core[35ed4a8a6b12c581]::ops::function::Fn<(), Output = i32> + core[35ed4a8a6b12c581]::marker::Sync + core[35ed4a8a6b12c581]::panic::unwind_safe::RefUnwindSafe>
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/std/src/panicking.rs:541:19
[INFO] [stderr]     26:     0x5d5ce8f66c88 - std[e895e2b4a76259db]::panic::catch_unwind::<&dyn core[35ed4a8a6b12c581]::ops::function::Fn<(), Output = i32> + core[35ed4a8a6b12c581]::marker::Sync + core[35ed4a8a6b12c581]::panic::unwind_safe::RefUnwindSafe, i32>
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/std/src/panic.rs:359:14
[INFO] [stderr]     27:     0x5d5ce8f66c88 - std[e895e2b4a76259db]::rt::lang_start_internal::{closure#0}
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/std/src/rt.rs:175:24
[INFO] [stderr]     28:     0x5d5ce8f66c88 - std[e895e2b4a76259db]::panicking::catch_unwind::do_call::<std[e895e2b4a76259db]::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/std/src/panicking.rs:573:43
[INFO] [stderr]     29:     0x5d5ce8f66c88 - std[e895e2b4a76259db]::panicking::catch_unwind::<isize, std[e895e2b4a76259db]::rt::lang_start_internal::{closure#0}>
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/std/src/panicking.rs:541:19
[INFO] [stderr]     30:     0x5d5ce8f66c88 - std[e895e2b4a76259db]::panic::catch_unwind::<std[e895e2b4a76259db]::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/std/src/panic.rs:359:14
[INFO] [stderr]     31:     0x5d5ce8f66c88 - std[e895e2b4a76259db]::rt::lang_start_internal
[INFO] [stderr]                                  at /rustc/846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9/library/std/src/rt.rs:171:5
[INFO] [stderr]     32:     0x5d5ce8ecb611 - std[e895e2b4a76259db]::rt::lang_start::<()>
[INFO] [stderr]     33:     0x5d5ce8ecc0d5 - main
[INFO] [stderr]     34:     0x73d3139be601 - <unknown>
[INFO] [stderr]     35:     0x73d3139be718 - __libc_start_main
[INFO] [stderr]     36:     0x5d5ce8eca585 - _start
[INFO] [stderr]     37:                0x0 - <unknown>
[INFO] running `Command { std: "docker" "inspect" "e38769cf123402c657fca9065413a581e294f63f17816264eb534e523536dcce", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e38769cf123402c657fca9065413a581e294f63f17816264eb534e523536dcce", kill_on_drop: false }`
[INFO] [stdout] e38769cf123402c657fca9065413a581e294f63f17816264eb534e523536dcce
