Started by user Administrative User Running as SYSTEM [EnvInject] - Loading node environment variables. Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/isabelle-nightly-benchmark [isabelle-nightly-benchmark] $ hg showconfig paths.default [isabelle-nightly-benchmark] $ hg pull --rev default pulling from http://isabelle.in.tum.de/repos/isabelle/ real URL is https://isabelle.in.tum.de/repos/isabelle/ searching for changes adding changesets adding manifests adding file changes added 1 changesets with 1 changes to 1 files new changesets 76dbf39a708d (run 'hg update' to get a working copy) [isabelle-nightly-benchmark] $ hg update --clean --rev default 1 files updated, 0 files merged, 0 files removed, 0 files unresolved [isabelle-nightly-benchmark] $ hg --config extensions.purge= clean --all [isabelle-nightly-benchmark] $ hg log --rev . --template {node} [isabelle-nightly-benchmark] $ hg log --rev . --template {rev} [isabelle-nightly-benchmark] $ hg log --rev fe8d0f4da0e658c01ab19ffc3357627eccd103bc --template exists\n exists [isabelle-nightly-benchmark] $ hg log --template "{desc|xmlescape}{file_adds % '{file|xmlescape}'}{file_dels % '{file|xmlescape}'}{files % '{file|xmlescape}'}{parents}\n" --rev "ancestors('default') and not ancestors(fe8d0f4da0e658c01ab19ffc3357627eccd103bc)" --encoding UTF-8 --encodingmode replace No emails were triggered. [isabelle-nightly-benchmark] $ /bin/sh -xe /tmp/jenkins5927459011452604878.sh + Admin/jenkins/run_build benchmark + set -e + PROFILE=benchmark + shift + bin/isabelle components -a + bin/isabelle jedit -bf ### Building graph browser ... warning: [options] bootstrap class path not set in conjunction with -source 7 warning: [options] source value 7 is obsolete and will be removed in a future release warning: [options] To suppress warnings about obsolete options, use -Xlint:-options. Note: Some input files use or override a deprecated API. Note: Recompile with -Xlint:deprecation for details. Note: Some input files use unchecked or unsafe operations. Note: Recompile with -Xlint:unchecked for details. 3 warnings ### Building Isabelle/Scala ... ### Building Isabelle/jEdit ... + bin/isabelle ocaml_setup # Run eval $(opam env) to update the current shell environment [NOTE] It seems you have not updated your repositories for a while. Consider updating them with: opam update [NOTE] Package zarith is already installed (current version is 1.12). + bin/isabelle ghc_setup stack will use a sandboxed GHC it installed For more information on paths, see 'stack path' and 'stack exec env' To use this GHC and packages outside of a project, consider using: stack ghc, stack ghci, stack runghc, or stack exec The Glorious Glasgow Haskell Compilation System, version 8.10.4 + bin/isabelle ci_build_benchmark === CONFIGURATION === ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4g -Xss16m -Xmx8g" ISABELLE_BUILD_OPTIONS="" ML_PLATFORM="x86_64_32-linux" ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-5.8.2/x86_64_32-linux" ML_SYSTEM="polyml-5.8.2" ML_OPTIONS="-H 4000 --maxheap 8G" jobs = 1, threads = 6, numa = false === BUILD === Build started at Fri, 9 Jul 2021 06:50:49 GMT Isabelle id 76dbf39a708d === LOG === Session Pure/Pure Session FOL/FOL Session Tools/Tools Session HOL/HOL (main) Session HOL/HOL-Cardinals (timing) Session HOL/HOL-Hoare_Parallel (timing) Session HOL/HOL-Library (main timing) Session HOL/HOL-Auth (timing) Session HOL/HOL-UNITY (timing) Session HOL/HOL-Bali (timing) Session HOL/HOL-Combinatorics (main timing) Session HOL/HOL-Computational_Algebra (main timing) Session HOL/HOL-Algebra (main timing) Session HOL/HOL-Decision_Procs (timing) Session HOL/HOL-Quotient_Examples (timing) Session HOL/HOL-Analysis (main timing) Session HOL/HOL-Complex_Analysis (main timing) Session HOL/HOL-Eisbach Session HOL/HOL-Homology (timing) Session HOL/HOL-Probability (main timing) Session HOL/HOL-Probability-ex (timing) Session HOL/HOL-Nonstandard_Analysis (timing) Session HOL/HOL-Nonstandard_Analysis-Examples (timing) Session HOL/HOL-Number_Theory (main timing) Session HOL/HOL-Data_Structures (timing) Session HOL/HOL-ex (timing) Session HOL/HOL-Corec_Examples (timing) Session HOL/HOL-Datatype_Benchmark Session HOL/HOL-Datatype_Examples (timing) Session HOL/HOL-IMP (timing) Session HOL/HOL-Imperative_HOL (timing) Session HOL/HOL-Metis_Examples (timing) Session HOL/HOL-Proofs (timing) Session HOL/HOL-Proofs-Extraction (timing) Session HOL/HOL-Proofs-Lambda (timing) Session HOL/HOL-Quickcheck_Benchmark Session HOL/HOL-MicroJava (timing) Session HOL/HOL-Nominal Session HOL/HOL-Nominal-Examples (timing) Session HOL/HOL-Predicate_Compile_Examples (timing) Session HOL/HOL-Quickcheck_Examples (timing) Session HOL/HOL-Record_Benchmark Session HOL/HOL-SET_Protocol (timing) Session HOL/HOL-SMT_Examples (timing) Session HOL/HOLCF (main timing) Session HOL/IOA (timing) Session ZF/ZF (main timing) Session ZF/ZF-Induct Session ZF/ZF-UNITY (timing) Building Pure ... Build was aborted Aborted by Administrative User Archiving artifacts Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds No emails were triggered. Finished: ABORTED