Administrative User Started by user
[EnvInject] - Loading node environment variables.
workermtahpc (mta_hpc) in workspace /media/data/jenkins/workspace/isabelle-nightly-benchmark Building remotely on
[isabelle-nightly-benchmark] $ hg showconfig paths.default
[isabelle-nightly-benchmark] $ hg pull --rev default
http://isabelle.in.tum.de/repos/isabelle/ pulling from
https://isabelle.in.tum.de/repos/isabelle/ real URL is
[isabelle-nightly-benchmark] $ hg update --clean --rev default
0 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 11b8f026d6cebcbd4fb26e8ac69a1bac3841b322 --template exists\n
[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
[isabelle-nightly-benchmark] $ /bin/sh -xe /tmp/jenkins4480631946969209331.sh
+ Admin/jenkins/run_build benchmark
### Building Isabelle/Scala (/media/data/jenkins/workspace/isabelle-nightly-benchmark/lib/classes/isabelle.jar) ...
### Building graph browser (/media/data/jenkins/workspace/isabelle-nightly-benchmark/lib/classes/isabelle_graphbrowser.jar) ...
Note: Some input files use unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.
### Building Isabelle/Scala/Admin (/media/data/jenkins/workspace/isabelle-nightly-benchmark/lib/classes/isabelle_admin.jar) ...
# 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:
[NOTE] Package zarith is already installed (current version is 1.12). 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.7
ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4g -Xss16m -Xmx8g"
ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-5.8.2/x86_64_32-linux"
Session HOL/HOL-Cardinals (timing) Session HOL/HOL-Hoare_Parallel (timing) Session HOL/HOL-Library (main timing) Session HOL/HOL-UNITY (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-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-Corec_Examples (timing) Session HOL/HOL-Datatype_Benchmark Session HOL/HOL-Datatype_Examples (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-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) Timing Pure (1 threads, 2.903s elapsed time, 5.320s cpu time, 0.000s GC time, factor 1.83) Finished Pure (0:01:03 elapsed time, 0:00:59 cpu time, factor 0.93) HOL: theory Tools.Code_Generator HOL: theory HOL.Boolean_Algebras HOL: theory HOL.Complete_Lattices HOL: theory HOL.Complete_Partial_Order HOL: theory HOL.Transitive_Closure HOL: theory HOL.Hilbert_Choice HOL: theory HOL.Order_Relation HOL: theory HOL.BNF_Wellorder_Relation HOL: theory HOL.BNF_Wellorder_Embedding HOL: theory HOL.BNF_Wellorder_Constructions HOL: theory HOL.BNF_Cardinal_Order_Relation HOL: theory HOL.BNF_Cardinal_Arithmetic HOL: theory HOL.BNF_Composition HOL: theory HOL.BNF_Fixpoint_Base HOL: theory HOL.BNF_Least_Fixpoint HOL: theory HOL.Basic_BNF_LFPs HOL: theory HOL.Equiv_Relations HOL: theory HOL.Partial_Function HOL: theory HOL.Euclidean_Division HOL: theory HOL.Numeral_Simprocs HOL: theory HOL.Semiring_Normalization HOL: theory HOL.Groebner_Basis HOL: theory HOL.Conditionally_Complete_Lattices HOL: theory HOL.Bit_Operations HOL: theory HOL.BNF_Greatest_Fixpoint HOL: theory HOL.Limited_Sequence HOL: theory HOL.Code_Evaluation HOL: theory HOL.Quickcheck_Random HOL: theory HOL.Quickcheck_Exhaustive HOL: theory HOL.Quickcheck_Narrowing HOL: theory HOL.Random_Sequence HOL: theory HOL.Predicate_Compile HOL: theory HOL.Archimedean_Field HOL: theory HOL.Topological_Spaces HOL: theory HOL.Real_Vector_Spaces HOL: theory HOL.Transcendental Timing HOL (6 threads, 655.735s elapsed time, 2529.514s cpu time, 122.243s GC time, factor 3.86) Finished HOL (0:29:46 elapsed time, 0:53:11 cpu time, factor 1.79) HOL-Analysis: theory HOL-Combinatorics.Transposition HOL-Analysis: theory HOL-Library.Cancellation HOL-Analysis: theory HOL-Library.Disjoint_Sets HOL-Analysis: theory HOL-Library.FuncSet HOL-Analysis: theory HOL-Library.Infinite_Set HOL-Analysis: theory HOL-Library.Nat_Bijection HOL-Analysis: theory HOL-Library.Old_Datatype HOL-Analysis: theory HOL-Library.Phantom_Type HOL-Analysis: theory HOL-Library.Product_Plus HOL-Analysis: theory HOL-Library.Set_Algebras HOL-Analysis: theory HOL-Library.Multiset HOL-Analysis: theory HOL-Library.Product_Order HOL-Analysis: theory HOL-Analysis.Metric_Arith HOL-Analysis: theory HOL-Analysis.Inner_Product HOL-Analysis: theory HOL-Library.Countable HOL-Analysis: theory HOL-Analysis.L2_Norm HOL-Analysis: theory HOL-Library.Cardinality HOL-Analysis: theory HOL-Analysis.Operator_Norm HOL-Analysis: theory HOL-Analysis.Poly_Roots HOL-Analysis: theory HOL-Analysis.Product_Vector HOL-Analysis: theory HOL-Library.Complex_Order HOL-Analysis: theory HOL-Library.Discrete HOL-Analysis: theory HOL-Library.Indicator_Function HOL-Analysis: theory HOL-Library.Numeral_Type HOL-Analysis: theory HOL-Library.Liminf_Limsup HOL-Analysis: theory HOL-Library.Nonpos_Ints HOL-Analysis: theory HOL-Library.Countable_Set HOL-Analysis: theory HOL-Library.Periodic_Fun HOL-Analysis: theory HOL-Analysis.Euclidean_Space HOL-Analysis: theory HOL-Library.Sum_of_Squares HOL-Analysis: theory HOL-Library.Countable_Complete_Lattices HOL-Analysis: theory HOL-Library.Set_Idioms HOL-Analysis: theory HOL-Analysis.Continuum_Not_Denumerable HOL-Analysis: theory HOL-Analysis.Abstract_Topology HOL-Analysis: theory HOL-Analysis.Elementary_Topology HOL-Analysis: theory HOL-Analysis.Finite_Cartesian_Product HOL-Analysis: theory HOL-Analysis.Linear_Algebra HOL-Analysis: theory HOL-Library.Order_Continuity HOL-Analysis: theory HOL-Computational_Algebra.Factorial_Ring HOL-Analysis: theory HOL-Combinatorics.Permutations HOL-Analysis: theory HOL-Library.Extended_Nat HOL-Analysis: theory HOL-Analysis.Affine HOL-Analysis: theory HOL-Analysis.Abstract_Limits HOL-Analysis: theory HOL-Analysis.Cartesian_Space HOL-Analysis: theory HOL-Analysis.Abstract_Topology_2 HOL-Analysis: theory HOL-Analysis.Norm_Arith HOL-Analysis: theory HOL-Analysis.Convex HOL-Analysis: theory HOL-Library.Extended_Real HOL-Analysis: theory HOL-Analysis.Connected HOL-Analysis: theory HOL-Analysis.Elementary_Metric_Spaces HOL-Analysis: theory HOL-Analysis.Determinants HOL-Analysis: theory HOL-Analysis.Function_Topology HOL-Analysis: theory HOL-Analysis.Product_Topology HOL-Analysis: theory HOL-Analysis.T1_Spaces HOL-Analysis: theory HOL-Analysis.Lindelof_Spaces HOL-Analysis: theory HOL-Analysis.Elementary_Normed_Spaces HOL-Analysis: theory HOL-Analysis.Function_Metric HOL-Analysis: theory HOL-Library.Extended_Nonnegative_Real FATAL: command execution failed at java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2799) at java.io.ObjectInputStream$BlockDataInputStream.readShort(ObjectInputStream.java:3274) at java.io.ObjectInputStream.readStreamHeader(ObjectInputStream.java:934) at java.io.ObjectInputStream.<init>(ObjectInputStream.java:396) at hudson.remoting.ObjectInputStreamEx.<init>(ObjectInputStreamEx.java:49) at hudson.remoting.Command.readFrom(Command.java:142) at hudson.remoting.Command.readFrom(Command.java:128) at hudson.remoting.AbstractSynchronousByteArrayCommandTransport.read(AbstractSynchronousByteArrayCommandTransport.java:35) at hudson.remoting.SynchronousCommandTransport$ReaderThread.run(SynchronousCommandTransport.java:61) Caused: java.io.IOException: Unexpected termination of the channel at hudson.remoting.SynchronousCommandTransport$ReaderThread.run(SynchronousCommandTransport.java:75) Caused: java.io.IOException: Backing channel 'workermtahpc' is disconnected. at hudson.remoting.RemoteInvocationHandler.channelOrFail(RemoteInvocationHandler.java:216) at hudson.remoting.RemoteInvocationHandler.invoke(RemoteInvocationHandler.java:286) at com.sun.proxy.$Proxy70.isAlive(Unknown Source) at hudson.Launcher$RemoteLauncher$ProcImpl.isAlive(Launcher.java:1213) at hudson.Launcher$RemoteLauncher$ProcImpl.join(Launcher.java:1205) at hudson.tasks.CommandInterpreter.join(CommandInterpreter.java:194) at hudson.tasks.CommandInterpreter.perform(CommandInterpreter.java:144) at hudson.tasks.CommandInterpreter.perform(CommandInterpreter.java:91) at hudson.tasks.BuildStepMonitor$1.perform(BuildStepMonitor.java:20) at hudson.model.AbstractBuild$AbstractBuildExecution.perform(AbstractBuild.java:806) at hudson.model.Build$BuildExecution.build(Build.java:198) at hudson.model.Build$BuildExecution.doRun(Build.java:163) at hudson.model.AbstractBuild$AbstractBuildExecution.run(AbstractBuild.java:514) at hudson.model.Run.execute(Run.java:1888) at hudson.model.FreeStyleBuild.run(FreeStyleBuild.java:43) at hudson.model.ResourceController.execute(ResourceController.java:99) at hudson.model.Executor.run(Executor.java:431) FATAL: Unable to delete script file /tmp/jenkins4480631946969209331.sh at java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2799) at java.io.ObjectInputStream$BlockDataInputStream.readShort(ObjectInputStream.java:3274) at java.io.ObjectInputStream.readStreamHeader(ObjectInputStream.java:934) at java.io.ObjectInputStream.<init>(ObjectInputStream.java:396) at hudson.remoting.ObjectInputStreamEx.<init>(ObjectInputStreamEx.java:49) at hudson.remoting.Command.readFrom(Command.java:142) at hudson.remoting.Command.readFrom(Command.java:128) at hudson.remoting.AbstractSynchronousByteArrayCommandTransport.read(AbstractSynchronousByteArrayCommandTransport.java:35) at hudson.remoting.SynchronousCommandTransport$ReaderThread.run(SynchronousCommandTransport.java:61) Caused: java.io.IOException: Unexpected termination of the channel at hudson.remoting.SynchronousCommandTransport$ReaderThread.run(SynchronousCommandTransport.java:75) Caused: hudson.remoting.ChannelClosedException: Channel "hudson.remoting.Channel@79de64a9:workermtahpc": Remote call on workermtahpc failed. The channel is closing down or has closed down at hudson.remoting.Channel.call(Channel.java:994) at hudson.FilePath.act(FilePath.java:1165) at hudson.FilePath.act(FilePath.java:1154) at hudson.FilePath.delete(FilePath.java:1678) at hudson.tasks.CommandInterpreter.perform(CommandInterpreter.java:162) at hudson.tasks.CommandInterpreter.perform(CommandInterpreter.java:91) at hudson.tasks.BuildStepMonitor$1.perform(BuildStepMonitor.java:20) at hudson.model.AbstractBuild$AbstractBuildExecution.perform(AbstractBuild.java:806) at hudson.model.Build$BuildExecution.build(Build.java:198) at hudson.model.Build$BuildExecution.doRun(Build.java:163) at hudson.model.AbstractBuild$AbstractBuildExecution.run(AbstractBuild.java:514) at hudson.model.Run.execute(Run.java:1888) at hudson.model.FreeStyleBuild.run(FreeStyleBuild.java:43) at hudson.model.ResourceController.execute(ResourceController.java:99) at hudson.model.Executor.run(Executor.java:431) Build step 'Execute shell' marked build as failure FATAL: Channel "hudson.remoting.Channel@79de64a9:workermtahpc": Remote call on workermtahpc failed. The channel is closing down or has closed down at java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2799) at java.io.ObjectInputStream$BlockDataInputStream.readShort(ObjectInputStream.java:3274) at java.io.ObjectInputStream.readStreamHeader(ObjectInputStream.java:934) at java.io.ObjectInputStream.<init>(ObjectInputStream.java:396) at hudson.remoting.ObjectInputStreamEx.<init>(ObjectInputStreamEx.java:49) at hudson.remoting.Command.readFrom(Command.java:142) at hudson.remoting.Command.readFrom(Command.java:128) at hudson.remoting.AbstractSynchronousByteArrayCommandTransport.read(AbstractSynchronousByteArrayCommandTransport.java:35) at hudson.remoting.SynchronousCommandTransport$ReaderThread.run(SynchronousCommandTransport.java:61) Caused: java.io.IOException: Unexpected termination of the channel at hudson.remoting.SynchronousCommandTransport$ReaderThread.run(SynchronousCommandTransport.java:75) Caused: hudson.remoting.ChannelClosedException: Channel "hudson.remoting.Channel@79de64a9:workermtahpc": Remote call on workermtahpc failed. The channel is closing down or has closed down at hudson.remoting.Channel.call(Channel.java:994) at hudson.Launcher$RemoteLauncher.kill(Launcher.java:1148) at hudson.model.AbstractBuild$AbstractBuildExecution.run(AbstractBuild.java:526) at hudson.model.Run.execute(Run.java:1888) at hudson.model.FreeStyleBuild.run(FreeStyleBuild.java:43) at hudson.model.ResourceController.execute(ResourceController.java:99) at hudson.model.Executor.run(Executor.java:431) Agent went offline during the build ERROR: Connection was broken: java.io.EOFException at java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2799) at java.io.ObjectInputStream$BlockDataInputStream.readShort(ObjectInputStream.java:3274) at java.io.ObjectInputStream.readStreamHeader(ObjectInputStream.java:934) at java.io.ObjectInputStream.<init>(ObjectInputStream.java:396) at hudson.remoting.ObjectInputStreamEx.<init>(ObjectInputStreamEx.java:49) at hudson.remoting.Command.readFrom(Command.java:142) at hudson.remoting.Command.readFrom(Command.java:128) at hudson.remoting.AbstractSynchronousByteArrayCommandTransport.read(AbstractSynchronousByteArrayCommandTransport.java:35) at hudson.remoting.SynchronousCommandTransport$ReaderThread.run(SynchronousCommandTransport.java:61) Caused: java.io.IOException: Unexpected termination of the channel at hudson.remoting.SynchronousCommandTransport$ReaderThread.run(SynchronousCommandTransport.java:75)
Build step 'Archive the artifacts' marked build as failure Started calculate disk usage of build