Console Output

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