Status

Changes

Console Output

View Build Information

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Console Output

10:36:08 Started by user Administrative User

10:36:08 Running as SYSTEM

10:36:08 [EnvInject] - Loading node environment variables.

10:36:08 Building remotely on workermtahpc (mta_hpc) in workspace /media/data/jenkins/workspace/isabelle-nightly-benchmark

10:36:08 [isabelle-nightly-benchmark] $ hg showconfig paths.default

10:36:08 [isabelle-nightly-benchmark] $ hg pull --rev default

10:36:08 pulling from http://isabelle.in.tum.de/repos/isabelle/

10:36:08 real URL is https://isabelle.in.tum.de/repos/isabelle/

10:36:08 no changes found

10:36:09 [isabelle-nightly-benchmark] $ hg update --clean --rev default

10:36:09 0 files updated, 0 files merged, 0 files removed, 0 files unresolved

10:36:09 [isabelle-nightly-benchmark] $ hg --config extensions.purge= clean --all

10:36:10 [isabelle-nightly-benchmark] $ hg log --rev . --template {node}

10:36:10 [isabelle-nightly-benchmark] $ hg log --rev . --template {rev}

10:36:10 [isabelle-nightly-benchmark] $ hg log --rev 11b8f026d6cebcbd4fb26e8ac69a1bac3841b322 --template exists\n

10:36:10 exists

10:36:10 [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(11b8f026d6cebcbd4fb26e8ac69a1bac3841b322)" --encoding UTF-8 --encodingmode replace

10:36:10 No emails were triggered.

10:36:11 [isabelle-nightly-benchmark] $ /bin/sh -xe /tmp/jenkins4480631946969209331.sh

10:36:11 + Admin/jenkins/run_build benchmark

10:36:11 + set -e

10:36:11 + PROFILE=benchmark

10:36:11 + shift

10:36:11 + bin/isabelle components -a

10:36:14 + bin/isabelle jedit -bf

10:36:21 ### Building Isabelle/Scala (/media/data/jenkins/workspace/isabelle-nightly-benchmark/lib/classes/isabelle.jar) ...

10:38:34 ### Building graph browser (/media/data/jenkins/workspace/isabelle-nightly-benchmark/lib/classes/isabelle_graphbrowser.jar) ...

10:38:45 Note: Some input files use unchecked or unsafe operations.

10:38:45 Note: Recompile with -Xlint:unchecked for details.

10:38:45 ### Building Isabelle/Scala/Admin (/media/data/jenkins/workspace/isabelle-nightly-benchmark/lib/classes/isabelle_admin.jar) ...

10:38:46 + bin/isabelle ocaml_setup

10:38:50 # Run eval $(opam env) to update the current shell environment

10:38:50 [NOTE] It seems you have not updated your repositories for a while. Consider updating them with:

10:38:50 opam update

10:38:50

10:38:51 [NOTE] Package zarith is already installed (current version is 1.12).

10:38:51 + bin/isabelle ghc_setup

10:38:57 stack will use a sandboxed GHC it installed

10:38:57 For more information on paths, see 'stack path' and 'stack exec env'

10:38:57 To use this GHC and packages outside of a project, consider using:

10:38:57 stack ghc, stack ghci, stack runghc, or stack exec

10:38:58 The Glorious Glasgow Haskell Compilation System, version 8.10.7

10:39:00 + bin/isabelle ci_build_benchmark

10:39:42

10:39:42 === CONFIGURATION ===

10:39:42

10:39:42 ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4g -Xss16m -Xmx8g"

10:39:42 ISABELLE_BUILD_OPTIONS=""

10:39:42

10:39:42 ML_PLATFORM="x86_64_32-linux"

10:39:42 ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-5.8.2/x86_64_32-linux"

10:39:42 ML_SYSTEM="polyml-5.8.2"

10:39:42 ML_OPTIONS="-H 4000 --maxheap 8G"

10:39:46 jobs = 1, threads = 6, numa = true

10:39:46

10:39:46 === BUILD ===

10:39:46

10:39:46 Build started at Fri, 22 Oct 2021 10:39:42 +0200

10:39:46 Isabelle id 11b8f026d6ce

10:39:46

10:39:46 === LOG ===

10:39:46

10:39:50 Session Pure/Pure

10:39:53 Session FOL/FOL

10:39:54 Session Tools/Tools

10:39:54 Session HOL/HOL (main)

10:40:02 Session HOL/HOL-Cardinals (timing)

10:40:03 Session HOL/HOL-Hoare_Parallel (timing)

10:40:03 Session HOL/HOL-Library (main timing)

10:40:06 Session HOL/HOL-Auth (timing)

10:40:06 Session HOL/HOL-UNITY (timing)

10:40:07 Session HOL/HOL-Bali (timing)

10:40:08 Session HOL/HOL-Combinatorics (main timing)

10:40:09 Session HOL/HOL-Computational_Algebra (main timing)

10:40:09 Session HOL/HOL-Algebra (main timing)

10:40:10 Session HOL/HOL-Decision_Procs (timing)

10:40:13 Session HOL/HOL-Quotient_Examples (timing)

10:40:13 Session HOL/HOL-Analysis (main timing)

10:40:16 Session HOL/HOL-Complex_Analysis (main timing)

10:40:17 Session HOL/HOL-Eisbach

10:40:17 Session HOL/HOL-Homology (timing)

10:40:17 Session HOL/HOL-Probability (main timing)

10:40:18 Session HOL/HOL-Probability-ex (timing)

10:40:18 Session HOL/HOL-Nonstandard_Analysis (timing)

10:40:18 Session HOL/HOL-Nonstandard_Analysis-Examples (timing)

10:40:18 Session HOL/HOL-Number_Theory (main timing)

10:40:19 Session HOL/HOL-Data_Structures (timing)

10:40:20 Session HOL/HOL-ex (timing)

10:40:20 Session HOL/HOL-Corec_Examples (timing)

10:40:20 Session HOL/HOL-Datatype_Benchmark

10:40:20 Session HOL/HOL-Datatype_Examples (timing)

10:40:21 Session HOL/HOL-IMP (timing)

10:40:21 Session HOL/HOL-Imperative_HOL (timing)

10:40:22 Session HOL/HOL-Metis_Examples (timing)

10:40:22 Session HOL/HOL-Proofs (timing)

10:40:24 Session HOL/HOL-Proofs-Extraction (timing)

10:40:25 Session HOL/HOL-Proofs-Lambda (timing)

10:40:25 Session HOL/HOL-Quickcheck_Benchmark

10:40:25 Session HOL/HOL-MicroJava (timing)

10:40:25 Session HOL/HOL-Nominal

10:40:27 Session HOL/HOL-Nominal-Examples (timing)

10:40:27 Session HOL/HOL-Predicate_Compile_Examples (timing)

10:40:28 Session HOL/HOL-Quickcheck_Examples (timing)

10:40:29 Session HOL/HOL-Record_Benchmark

10:40:29 Session HOL/HOL-SET_Protocol (timing)

10:40:29 Session HOL/HOL-SMT_Examples (timing)

10:40:30 Session HOL/HOLCF (main timing)

10:40:31 Session HOL/IOA (timing)

10:40:31 Session ZF/ZF (main timing)

10:40:31 Session ZF/ZF-Induct

10:40:31 Session ZF/ZF-UNITY (timing)

10:40:31 Building Pure ...

10:41:26 Pure: theory Pure

10:41:32 Pure: theory ML_Bootstrap

10:41:33 Pure: theory Pure.Sessions

10:41:40 Timing Pure (1 threads, 2.903s elapsed time, 5.320s cpu time, 0.000s GC time, factor 1.83)

10:41:40 Finished Pure (0:01:03 elapsed time, 0:00:59 cpu time, factor 0.93)

10:41:40 Building HOL ...

10:41:43 HOL: theory Tools.Code_Generator

10:41:56 HOL: theory HOL.HOL

10:42:27 HOL: theory HOL.Argo

10:42:27 HOL: theory HOL.Ctr_Sugar

10:42:27 HOL: theory HOL.Orderings

10:42:47 HOL: theory HOL.SAT

10:42:54 HOL: theory HOL.Groups

10:43:13 HOL: theory HOL.Lattices

10:43:22 HOL: theory HOL.Boolean_Algebras

10:43:28 HOL: theory HOL.Set

10:43:49 HOL: theory HOL.Fun

10:43:49 HOL: theory HOL.Typedef

10:44:03 HOL: theory HOL.Complete_Lattices

10:44:03 HOL: theory HOL.Rings

10:44:40 HOL: theory HOL.Inductive

10:44:55 HOL: theory HOL.Product_Type

10:44:55 HOL: theory HOL.Sum_Type

10:45:13 HOL: theory HOL.Complete_Partial_Order

10:45:27 HOL: theory HOL.Nat

10:45:59 HOL: theory HOL.Fields

10:45:59 HOL: theory HOL.Meson

10:46:04 HOL: theory HOL.ATP

10:46:22 HOL: theory HOL.Metis

10:46:35 HOL: theory HOL.Finite_Set

10:47:02 HOL: theory HOL.Relation

10:47:24 HOL: theory HOL.Transitive_Closure

10:47:40 HOL: theory HOL.Wellfounded

10:47:51 HOL: theory HOL.Fun_Def_Base

10:47:51 HOL: theory HOL.Hilbert_Choice

10:47:52 HOL: theory HOL.Wfrec

10:47:54 HOL: theory HOL.Order_Relation

10:48:04 HOL: theory HOL.BNF_Wellorder_Relation

10:48:24 HOL: theory HOL.BNF_Wellorder_Embedding

10:48:24 HOL: theory HOL.Zorn

10:48:34 HOL: theory HOL.BNF_Wellorder_Constructions

10:48:54 HOL: theory HOL.BNF_Cardinal_Order_Relation

10:49:09 HOL: theory HOL.BNF_Cardinal_Arithmetic

10:49:14 HOL: theory HOL.BNF_Def

10:49:55 HOL: theory HOL.BNF_Composition

10:49:56 HOL: theory HOL.Basic_BNFs

10:50:07 HOL: theory HOL.BNF_Fixpoint_Base

10:50:19 HOL: theory HOL.BNF_Least_Fixpoint

10:50:29 HOL: theory HOL.Basic_BNF_LFPs

10:50:31 HOL: theory HOL.Transfer

10:50:40 HOL: theory HOL.Num

10:50:57 HOL: theory HOL.Power

10:51:09 HOL: theory HOL.Groups_Big

10:51:31 HOL: theory HOL.Equiv_Relations

10:51:38 HOL: theory HOL.Lifting

10:51:48 HOL: theory HOL.Lifting_Set

10:51:48 HOL: theory HOL.Option

10:51:48 HOL: theory HOL.Quotient

10:51:59 HOL: theory HOL.Extraction

10:51:59 HOL: theory HOL.Lattices_Big

10:51:59 HOL: theory HOL.Partial_Function

10:52:07 HOL: theory HOL.Fun_Def

10:52:34 HOL: theory HOL.Int

10:53:05 HOL: theory HOL.Euclidean_Division

10:53:32 HOL: theory HOL.Parity

10:53:41 HOL: theory HOL.Divides

10:53:56 HOL: theory HOL.Numeral_Simprocs

10:53:56 HOL: theory HOL.Set_Interval

10:54:04 HOL: theory HOL.Semiring_Normalization

10:54:04 HOL: theory HOL.SMT

10:54:33 HOL: theory HOL.Groebner_Basis

10:54:59 HOL: theory HOL.Conditionally_Complete_Lattices

10:54:59 HOL: theory HOL.Filter

10:54:59 HOL: theory HOL.Presburger

10:55:49 HOL: theory HOL.Sledgehammer

10:56:05 HOL: theory HOL.List

10:57:54 HOL: theory HOL.Groups_List

10:57:54 HOL: theory HOL.Map

10:58:11 HOL: theory HOL.Bit_Operations

10:58:11 HOL: theory HOL.Factorial

10:58:11 HOL: theory HOL.Enum

10:58:31 HOL: theory HOL.Binomial

10:59:37 HOL: theory HOL.Code_Numeral

10:59:47 HOL: theory HOL.GCD

10:59:47 HOL: theory HOL.String

10:59:47 HOL: theory HOL.Random

10:59:58 HOL: theory HOL.BNF_Greatest_Fixpoint

10:59:58 HOL: theory HOL.Predicate

10:59:58 HOL: theory HOL.Typerep

11:00:14 HOL: theory HOL.Lazy_Sequence

11:00:20 HOL: theory HOL.Limited_Sequence

11:00:21 HOL: theory HOL.Code_Evaluation

11:00:28 HOL: theory HOL.Quickcheck_Random

11:00:37 HOL: theory HOL.Quickcheck_Exhaustive

11:00:37 HOL: theory HOL.Quickcheck_Narrowing

11:00:37 HOL: theory HOL.Random_Pred

11:00:40 HOL: theory HOL.Random_Sequence

11:01:06 HOL: theory HOL.Record

11:01:06 HOL: theory HOL.Predicate_Compile

11:01:30 HOL: theory HOL.Mirabelle

11:01:49 HOL: theory HOL.Nitpick

11:02:11 HOL: theory HOL.Nunchaku

11:02:14 HOL: theory Main

11:02:15 HOL: theory HOL.Archimedean_Field

11:02:15 HOL: theory HOL.Hull

11:02:15 HOL: theory HOL.Topological_Spaces

11:02:16 HOL: theory HOL.Modules

11:02:30 HOL: theory HOL.Vector_Spaces

11:03:38 HOL: theory HOL.Rat

11:04:00 HOL: theory HOL.Real

11:04:38 HOL: theory HOL.Real_Vector_Spaces

11:05:13 HOL: theory HOL.Inequalities

11:05:13 HOL: theory HOL.Limits

11:05:54 HOL: theory HOL.Deriv

11:05:54 HOL: theory HOL.Series

11:06:36 HOL: theory HOL.NthRoot

11:06:45 HOL: theory HOL.Transcendental

11:08:13 HOL: theory HOL.Complex

11:08:23 HOL: theory HOL.MacLaurin

11:08:26 HOL: theory Complex_Main

11:11:52 Timing HOL (6 threads, 655.735s elapsed time, 2529.514s cpu time, 122.243s GC time, factor 3.86)

11:11:52 Finished HOL (0:29:46 elapsed time, 0:53:11 cpu time, factor 1.79)

11:11:52 Building HOL-Analysis ...

11:11:56 HOL-Analysis: theory HOL-Combinatorics.Transposition

11:11:56 HOL-Analysis: theory HOL-Library.Cancellation

11:11:56 HOL-Analysis: theory HOL-Library.Disjoint_Sets

11:11:56 HOL-Analysis: theory HOL-Library.FuncSet

11:11:56 HOL-Analysis: theory HOL-Library.Infinite_Set

11:11:56 HOL-Analysis: theory HOL-Library.Nat_Bijection

11:12:04 HOL-Analysis: theory HOL-Library.Old_Datatype

11:12:07 HOL-Analysis: theory HOL-Library.Phantom_Type

11:12:11 HOL-Analysis: theory HOL-Library.Product_Plus

11:12:12 HOL-Analysis: theory HOL-Library.Set_Algebras

11:12:13 HOL-Analysis: theory HOL-Library.Multiset

11:12:15 HOL-Analysis: theory HOL-Library.Product_Order

11:12:16 HOL-Analysis: theory HOL-Analysis.Metric_Arith

11:12:21 HOL-Analysis: theory HOL-Analysis.Inner_Product

11:12:22 HOL-Analysis: theory HOL-Library.Countable

11:12:23 HOL-Analysis: theory HOL-Analysis.L2_Norm

11:12:24 HOL-Analysis: theory HOL-Library.Cardinality

11:12:25 HOL-Analysis: theory HOL-Analysis.Operator_Norm

11:12:29 HOL-Analysis: theory HOL-Analysis.Poly_Roots

11:12:29 HOL-Analysis: theory HOL-Analysis.Product_Vector

11:12:30 HOL-Analysis: theory HOL-Library.Complex_Order

11:12:31 HOL-Analysis: theory HOL-Library.Discrete

11:12:35 HOL-Analysis: theory HOL-Library.Indicator_Function

11:12:38 HOL-Analysis: theory HOL-Library.Numeral_Type

11:12:42 HOL-Analysis: theory HOL-Library.Liminf_Limsup

11:12:42 HOL-Analysis: theory HOL-Library.Nonpos_Ints

11:12:45 HOL-Analysis: theory HOL-Library.Countable_Set

11:12:50 HOL-Analysis: theory HOL-Library.Periodic_Fun

11:12:58 HOL-Analysis: theory HOL-Analysis.Euclidean_Space

11:13:00 HOL-Analysis: theory HOL-Library.Sum_of_Squares

11:13:02 HOL-Analysis: theory HOL-Library.Countable_Complete_Lattices

11:13:03 HOL-Analysis: theory HOL-Library.Set_Idioms

11:13:07 HOL-Analysis: theory HOL-Analysis.Continuum_Not_Denumerable

11:13:10 HOL-Analysis: theory HOL-Analysis.Abstract_Topology

11:13:11 HOL-Analysis: theory HOL-Analysis.Elementary_Topology

11:13:30 HOL-Analysis: theory HOL-Analysis.Finite_Cartesian_Product

11:13:45 HOL-Analysis: theory HOL-Analysis.Linear_Algebra

11:13:58 HOL-Analysis: theory HOL-Library.Order_Continuity

11:14:07 HOL-Analysis: theory HOL-Computational_Algebra.Factorial_Ring

11:14:10 HOL-Analysis: theory HOL-Combinatorics.Permutations

11:14:19 HOL-Analysis: theory HOL-Library.Extended_Nat

11:14:30 HOL-Analysis: theory HOL-Analysis.Affine

11:14:36 HOL-Analysis: theory HOL-Analysis.Abstract_Limits

11:14:36 HOL-Analysis: theory HOL-Analysis.Cartesian_Space

11:14:48 HOL-Analysis: theory HOL-Analysis.Abstract_Topology_2

11:14:53 HOL-Analysis: theory HOL-Analysis.Norm_Arith

11:14:54 HOL-Analysis: theory HOL-Analysis.Convex

11:14:54 HOL-Analysis: theory HOL-Library.Extended_Real

11:15:25 HOL-Analysis: theory HOL-Analysis.Connected

11:15:25 HOL-Analysis: theory HOL-Analysis.Elementary_Metric_Spaces

11:15:32 HOL-Analysis: theory HOL-Analysis.Determinants

11:15:36 HOL-Analysis: theory HOL-Analysis.Function_Topology

11:16:01 HOL-Analysis: theory HOL-Analysis.Product_Topology

11:16:12 HOL-Analysis: theory HOL-Analysis.T1_Spaces

11:16:25 HOL-Analysis: theory HOL-Analysis.Lindelof_Spaces

11:16:34 HOL-Analysis: theory HOL-Analysis.Elementary_Normed_Spaces

11:16:34 HOL-Analysis: theory HOL-Analysis.Function_Metric

11:16:39 HOL-Analysis: theory HOL-Library.Extended_Nonnegative_Real

11:16:56 FATAL: command execution failed

11:16:56 java.io.EOFException

11:16:56 at java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2799)

11:16:56 at java.io.ObjectInputStream$BlockDataInputStream.readShort(ObjectInputStream.java:3274)

11:16:56 at java.io.ObjectInputStream.readStreamHeader(ObjectInputStream.java:934)

11:16:56 at java.io.ObjectInputStream.<init>(ObjectInputStream.java:396)

11:16:56 at hudson.remoting.ObjectInputStreamEx.<init>(ObjectInputStreamEx.java:49)

11:16:56 at hudson.remoting.Command.readFrom(Command.java:142)

11:16:56 at hudson.remoting.Command.readFrom(Command.java:128)

11:16:56 at hudson.remoting.AbstractSynchronousByteArrayCommandTransport.read(AbstractSynchronousByteArrayCommandTransport.java:35)

11:16:56 at hudson.remoting.SynchronousCommandTransport$ReaderThread.run(SynchronousCommandTransport.java:61)

11:16:56 Caused: java.io.IOException: Unexpected termination of the channel

11:16:56 at hudson.remoting.SynchronousCommandTransport$ReaderThread.run(SynchronousCommandTransport.java:75)

11:16:56 Caused: java.io.IOException: Backing channel 'workermtahpc' is disconnected.

11:16:56 at hudson.remoting.RemoteInvocationHandler.channelOrFail(RemoteInvocationHandler.java:216)

11:16:56 at hudson.remoting.RemoteInvocationHandler.invoke(RemoteInvocationHandler.java:286)

11:16:56 at com.sun.proxy.$Proxy70.isAlive(Unknown Source)

11:16:56 at hudson.Launcher$RemoteLauncher$ProcImpl.isAlive(Launcher.java:1213)

11:16:56 at hudson.Launcher$RemoteLauncher$ProcImpl.join(Launcher.java:1205)

11:16:56 at hudson.tasks.CommandInterpreter.join(CommandInterpreter.java:194)

11:16:56 at hudson.tasks.CommandInterpreter.perform(CommandInterpreter.java:144)

11:16:56 at hudson.tasks.CommandInterpreter.perform(CommandInterpreter.java:91)

11:16:56 at hudson.tasks.BuildStepMonitor$1.perform(BuildStepMonitor.java:20)

11:16:56 at hudson.model.AbstractBuild$AbstractBuildExecution.perform(AbstractBuild.java:806)

11:16:56 at hudson.model.Build$BuildExecution.build(Build.java:198)

11:16:56 at hudson.model.Build$BuildExecution.doRun(Build.java:163)

11:16:56 at hudson.model.AbstractBuild$AbstractBuildExecution.run(AbstractBuild.java:514)

11:16:56 at hudson.model.Run.execute(Run.java:1888)

11:16:56 at hudson.model.FreeStyleBuild.run(FreeStyleBuild.java:43)

11:16:56 at hudson.model.ResourceController.execute(ResourceController.java:99)

11:16:56 at hudson.model.Executor.run(Executor.java:431)

11:16:56 FATAL: Unable to delete script file /tmp/jenkins4480631946969209331.sh