Started by an SCM change
Running as SYSTEM
[EnvInject] - Loading node environment variables.
Building remotely on workerlrz5 (lrz-cloud) in workspace /media/data/jenkins/workspace/isabelle-nightly-slow
[isabelle-nightly-slow] $ hg showconfig paths.default
[isabelle-nightly-slow] $ hg pull --rev default
pulling from https://isabelle.in.tum.de/repos/isabelle/
no changes found
[isabelle-nightly-slow] $ hg update --clean --rev default
6 files updated, 0 files merged, 0 files removed, 0 files unresolved
[isabelle-nightly-slow] $ hg --config extensions.purge= clean --all
[isabelle-nightly-slow] $ hg log --rev . --template {node}
[isabelle-nightly-slow] $ hg log --rev . --template {rev}
[isabelle-nightly-slow] $ hg log --rev db9a45e05b5bc3dd469a5313d828b6590be672bb --template exists\n
exists
[isabelle-nightly-slow] $ hg log --template "{desc|xmlescape}{file_adds % '{file|xmlescape}'}{file_dels % '{file|xmlescape}'}{files % '{file|xmlescape}'}{parents}\n" --rev "ancestors('default') and not ancestors(db9a45e05b5bc3dd469a5313d828b6590be672bb)" --encoding UTF-8 --encodingmode replace
[afp] $ hg showconfig paths.default
[afp] $ hg pull --rev default
pulling from https://foss.heptapod.net/isa-afp/afp-devel/
no changes found
[afp] $ hg update --clean --rev default
0 files updated, 0 files merged, 0 files removed, 0 files unresolved
[afp] $ hg --config extensions.purge= clean --all
[afp] $ hg log --rev . --template {node}
[afp] $ hg log --rev . --template {rev}
[afp] $ hg log --rev b61f72e5cba6ba8c80827b4efe78f7d6a93c3647 --template exists\n
exists
[afp] $ hg log --template "{desc|xmlescape}{file_adds % '{file|xmlescape}'}{file_dels % '{file|xmlescape}'}{files % '{file|xmlescape}'}{parents}\n" --rev "ancestors('default') and not ancestors(b61f72e5cba6ba8c80827b4efe78f7d6a93c3647)" --encoding UTF-8 --encodingmode replace
No emails were triggered.
[isabelle-nightly-slow] $ /bin/sh -xe /tmp/jenkins17464962980345227396.sh
+ Admin/jenkins/run_build slow
+ set -e
+ PROFILE=slow
+ shift
+ bin/isabelle components -a
+ bin/isabelle jedit -bf
### Building Isabelle/Scala (/media/data/jenkins/workspace/isabelle-nightly-slow/lib/classes/isabelle.jar) ...
### Building Demo (/media/data/jenkins/workspace/isabelle-nightly-slow/src/Tools/Demo/lib/demo.jar) ...
### Building graph browser (/media/data/jenkins/workspace/isabelle-nightly-slow/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-slow/lib/classes/isabelle_admin.jar) ...
### Building AFP/Tools (/media/data/jenkins/workspace/isabelle-nightly-slow/afp/admin/jenkins/../../tools/lib/classes/afp_tools.jar) ...
+ 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. 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 9.6.3
+ bin/isabelle ci_build slow
=== CONFIGURATION ===
ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4g -Xss16m -Xmx8g"
ISABELLE_BUILD_OPTIONS=""
ML_PLATFORM="x86_64-linux"
ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-5.9.1/x86_64-linux"
ML_SYSTEM="polyml-5.9.1"
ML_OPTIONS="-H 4000 --maxheap 32G"
jobs = 1, threads = 8, numa = false
=== BUILD ===
Build started at Sat, 16 Mar 2024 00:48:07 GMT
Isabelle id e6f0a93e2edd
Build for AFP id b61f72e5cba6
=== LOG ===
Session Pure/Pure
Session FOL/FOL
Session Pure/Pure-Examples
Session Pure/Pure-ex
Session Misc/Tools
Session HOL/HOL (main)
Session AFP/AWN (AFP)
Session AFP/AODV (AFP slow)
Session HOL/HOL-Cardinals (timing)
Session HOL/HOL-Library (main timing)
Session AFP/Binomial-Heaps (AFP)
Session AFP/ConcurrentIMP (AFP)
Session AFP/ConcurrentGC (AFP slow)
Session AFP/FinFun (AFP)
Session AFP/Finger-Trees (AFP)
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-Number_Theory (main timing)
Session HOL/HOL-ex (timing)
Session HOL/HOL-Imperative_HOL (timing)
Session AFP/HereditarilyFinite (AFP)
Session AFP/Trie (AFP)
Session AFP/Flyspeck-Tame (AFP)
Session AFP/Flyspeck-Tame-Computation (AFP slow very_slow)
Session HOL/HOL-Real_Asymp
Session HOL/HOL-Analysis (main timing)
Session AFP/Coinductive (AFP)
Session HOL/HOL-Eisbach
Session AFP/Automatic_Refinement (AFP)
Session AFP/Refine_Monadic (AFP)
Session AFP/Word_Lib (AFP)
Session AFP/IP_Addresses (AFP)
Session AFP/Simple_Firewall (AFP)
Session AFP/Routing (AFP)
Session AFP/Native_Word (AFP)
Session AFP/Collections (AFP)
Session AFP/Iptables_Semantics (AFP)
Session AFP/Iptables_Semantics_Examples (AFP)
Session AFP/Iptables_Semantics_Examples_Big (AFP slow very_slow)
Session AFP/JinjaThreads (AFP slow)
Session AFP/ZFC_in_HOL (AFP)
Session AFP/Category3 (AFP)
Session AFP/MonoidalCategory (AFP)
Session AFP/Bicategory (AFP slow)
Building Pure ...
Pure: theory Pure
Pure: theory ML_Bootstrap
Pure: theory Pure.Sessions
Timing Pure (1 threads, 0.980s elapsed time, 1.010s cpu time, 0.000s GC time, factor 1.03)
Finished Pure (0:00:25 elapsed time, 0:00:24 cpu time, factor 0.99)
Building HOL ...
HOL: theory Tools.Code_Generator
HOL: theory HOL.HOL
HOL: theory HOL.Argo
HOL: theory HOL.Orderings
HOL: theory HOL.Ctr_Sugar
HOL: theory HOL.Groups
HOL: theory HOL.SAT
HOL: theory HOL.Lattices
HOL: theory HOL.Boolean_Algebras
HOL: theory HOL.Set
HOL: theory HOL.Typedef
HOL: theory HOL.Fun
HOL: theory HOL.Complete_Lattices
HOL: theory HOL.Rings
HOL: theory HOL.Inductive
HOL: theory HOL.Product_Type
HOL: theory HOL.Sum_Type
HOL: theory HOL.Complete_Partial_Order
HOL: theory HOL.Nat
HOL: theory HOL.Fields
HOL: theory HOL.Meson
HOL: theory HOL.Relation
HOL: theory HOL.Finite_Set
HOL: theory HOL.Transitive_Closure
HOL: theory HOL.Wellfounded
HOL: theory HOL.Fun_Def_Base
HOL: theory HOL.Hilbert_Choice
HOL: theory HOL.Wfrec
HOL: theory HOL.Order_Relation
HOL: theory HOL.BNF_Wellorder_Relation
HOL: theory HOL.BNF_Wellorder_Embedding
HOL: theory HOL.Zorn
HOL: theory HOL.ATP
HOL: theory HOL.BNF_Wellorder_Constructions
HOL: theory HOL.BNF_Cardinal_Order_Relation
HOL: theory HOL.BNF_Cardinal_Arithmetic
HOL: theory HOL.BNF_Def
HOL: theory HOL.Metis
HOL: theory HOL.BNF_Composition
HOL: theory HOL.Basic_BNFs
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.Transfer
HOL: theory HOL.Lifting
HOL: theory HOL.Num
HOL: theory HOL.Option
HOL: theory HOL.Quotient
HOL: theory HOL.Extraction
HOL: theory HOL.Partial_Function
HOL: theory HOL.Fun_Def
HOL: theory HOL.Power
HOL: theory HOL.Groups_Big
HOL: theory HOL.Int
HOL: theory HOL.Lattices_Big
HOL: theory HOL.Lifting_Set
HOL: theory HOL.Euclidean_Rings
HOL: theory HOL.Parity
HOL: theory HOL.Divides
HOL: theory HOL.Set_Interval
HOL: theory HOL.Numeral_Simprocs
HOL: theory HOL.SMT
HOL: theory HOL.Semiring_Normalization
HOL: theory HOL.Groebner_Basis
HOL: theory HOL.Conditionally_Complete_Lattices
HOL: theory HOL.Filter
HOL: theory HOL.Presburger
HOL: theory HOL.Sledgehammer
HOL: theory HOL.List
HOL: theory HOL.Groups_List
HOL: theory HOL.Map
HOL: theory HOL.Bit_Operations
HOL: theory HOL.Factorial
HOL: theory HOL.Enum
HOL: theory HOL.Binomial
HOL: theory HOL.Code_Numeral
HOL: theory HOL.GCD
HOL: theory HOL.String
HOL: theory HOL.Random
HOL: theory HOL.BNF_Greatest_Fixpoint
HOL: theory HOL.Predicate
HOL: theory HOL.Typerep
HOL: theory HOL.Lazy_Sequence
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_Pred
HOL: theory HOL.Random_Sequence
HOL: theory HOL.Record
HOL: theory HOL.Predicate_Compile
HOL: theory HOL.Nitpick
HOL: theory HOL.Mirabelle
HOL: theory HOL.Nunchaku
HOL: theory Main
HOL: theory HOL.Archimedean_Field
HOL: theory HOL.Hull
HOL: theory HOL.Topological_Spaces
HOL: theory HOL.Modules
HOL: theory HOL.Vector_Spaces
HOL: theory HOL.Rat
HOL: theory HOL.Real
HOL: theory HOL.Real_Vector_Spaces
HOL: theory HOL.Inequalities
HOL: theory HOL.Limits
HOL: theory HOL.Deriv
HOL: theory HOL.Series
HOL: theory HOL.NthRoot
HOL: theory HOL.Transcendental
HOL: theory HOL.Complex
HOL: theory HOL.MacLaurin
HOL: theory Complex_Main
Preparing HOL/document ...
Finished HOL/document (0:01:50 elapsed time)
Preparing HOL/outline ...
Finished HOL/outline (0:01:02 elapsed time)
Timing HOL (8 threads, 311.282s elapsed time, 1153.870s cpu time, 80.964s GC time, factor 3.71)
Finished HOL (0:05:41 elapsed time, 0:20:18 cpu time, factor 3.57)
Running JinjaThreads ...
JinjaThreads: theory HOL-Eisbach.Eisbach
JinjaThreads: theory Automatic_Refinement.Prio_List
JinjaThreads: theory Automatic_Refinement.Refine_Util_Bootstrap1
JinjaThreads: theory Finger-Trees.FingerTree
JinjaThreads: theory HOL-Library.Adhoc_Overloading
JinjaThreads: theory Automatic_Refinement.Foldi
JinjaThreads: theory HOL-Library.AList
JinjaThreads: theory Collections.ICF_Tools
JinjaThreads: theory Automatic_Refinement.Mk_Term_Antiquot
JinjaThreads: theory Automatic_Refinement.Mpat_Antiquot
JinjaThreads: theory HOL-Library.Monad_Syntax
JinjaThreads: theory HOL-Library.Cancellation
JinjaThreads: theory Collections.Ord_Code_Preproc
JinjaThreads: theory Automatic_Refinement.Refine_Util
JinjaThreads: theory HOL-Library.Case_Converter
JinjaThreads: theory HOL-Library.Code_Abstract_Nat
JinjaThreads: theory Collections.Locale_Code
JinjaThreads: theory Collections.Record_Intf
JinjaThreads: theory HOL-Library.Code_Target_Nat
JinjaThreads: theory HOL-Library.Code_Target_Int
JinjaThreads: theory HOL-Library.Simps_Case_Conv
JinjaThreads: theory HOL-Library.Complete_Partial_Order2
JinjaThreads: theory HOL-Library.Confluence
JinjaThreads: theory Automatic_Refinement.Anti_Unification
JinjaThreads: theory Automatic_Refinement.Attr_Comb
JinjaThreads: theory Automatic_Refinement.Autoref_Data
JinjaThreads: theory Automatic_Refinement.Indep_Vars
JinjaThreads: theory Automatic_Refinement.Mk_Record_Simp
JinjaThreads: theory Automatic_Refinement.Tagged_Solver
JinjaThreads: theory Automatic_Refinement.Select_Solve
JinjaThreads: theory Automatic_Refinement.Named_Sorted_Thms
JinjaThreads: theory HOL-Library.Multiset
JinjaThreads: theory HOL-Library.Code_Target_Numeral
JinjaThreads: theory HOL-Library.Confluent_Quotient
JinjaThreads: theory HOL-Library.Infinite_Set
JinjaThreads: theory HOL-Library.Nat_Bijection
JinjaThreads: theory HOL-Library.Old_Datatype
JinjaThreads: theory HOL-Library.Dlist
JinjaThreads: theory HOL-Library.Option_ord
JinjaThreads: theory HOL-Library.Phantom_Type
JinjaThreads: theory HOL-Library.Predicate_Compile_Alternative_Defs
JinjaThreads: theory Trie.Trie
JinjaThreads: theory HOL-Library.RBT_Impl
JinjaThreads: theory HOL-Library.Signed_Division
JinjaThreads: theory HOL-Library.Sublist
JinjaThreads: theory HOL-Library.Cardinality
JinjaThreads: theory HOL-Library.Transitive_Closure_Table
JinjaThreads: theory HOL-Library.While_Combinator
JinjaThreads: theory FinFun.FinFun
JinjaThreads: theory HOL-Library.Numeral_Type
JinjaThreads: theory Collections.DatRef
JinjaThreads: theory HOL-Library.Countable
JinjaThreads: theory JinjaThreads.Set_Monad
JinjaThreads: theory JinjaThreads.Set_without_equal
JinjaThreads: theory Native_Word.Code_Int_Integer_Conversion
JinjaThreads: theory HOL-Library.Type_Length
JinjaThreads: theory Refine_Monadic.Refine_Chapter
JinjaThreads: theory Word_Lib.More_Bit_Ring
JinjaThreads: theory JinjaThreads.Auxiliary
JinjaThreads: theory HOL-Library.Word
JinjaThreads: theory Word_Lib.More_Arithmetic
JinjaThreads: theory HOL-Library.Countable_Set
JinjaThreads: theory Binomial-Heaps.BinomialHeap
JinjaThreads: theory Binomial-Heaps.SkewBinomialHeap
JinjaThreads: theory HOL-ex.Quicksort
JinjaThreads: theory HOL-Library.Countable_Complete_Lattices
JinjaThreads: theory Automatic_Refinement.Misc
JinjaThreads: theory HOL-Library.Order_Continuity
JinjaThreads: theory HOL-Library.Extended_Nat
JinjaThreads: theory Coinductive.Coinductive_Nat
JinjaThreads: theory Automatic_Refinement.Refine_Lib
JinjaThreads: theory Collections.SetIterator
JinjaThreads: theory Collections.Sorted_List_Operations
JinjaThreads: theory Coinductive.Coinductive_List
JinjaThreads: theory Automatic_Refinement.Autoref_Phases
JinjaThreads: theory Automatic_Refinement.Autoref_Tagging
JinjaThreads: theory Automatic_Refinement.Relators
JinjaThreads: theory Refine_Monadic.Refine_Mono_Prover
JinjaThreads: theory Collections.SetIteratorOperations
JinjaThreads: theory Word_Lib.Bit_Comprehension
JinjaThreads: theory Word_Lib.More_Divides
JinjaThreads: theory Word_Lib.Signed_Division_Word
JinjaThreads: theory Automatic_Refinement.Param_Tool
JinjaThreads: theory Word_Lib.More_Word
JinjaThreads: theory Automatic_Refinement.Param_HOL
JinjaThreads: theory Collections.Assoc_List
JinjaThreads: theory Automatic_Refinement.Parametricity
JinjaThreads: theory Collections.Dlist_add
JinjaThreads: theory Collections.Proper_Iterator
JinjaThreads: theory Automatic_Refinement.Autoref_Id_Ops
JinjaThreads: theory Collections.SetIteratorGA
JinjaThreads: theory Collections.It_to_It
JinjaThreads: theory Collections.Diff_Array
JinjaThreads: theory Collections.Trie_Impl
JinjaThreads: theory Native_Word.Code_Target_Word_Base
JinjaThreads: theory Automatic_Refinement.Autoref_Fix_Rel
JinjaThreads: theory Collections.Trie2
JinjaThreads: theory Word_Lib.Bit_Shifts_Infix_Syntax
JinjaThreads: theory Word_Lib.Least_significant_bit
JinjaThreads: theory Automatic_Refinement.Autoref_Translate
JinjaThreads: theory Automatic_Refinement.Autoref_Relator_Interface
JinjaThreads: theory Automatic_Refinement.Autoref_Gen_Algo
JinjaThreads: theory Automatic_Refinement.Autoref_Tool
JinjaThreads: theory Automatic_Refinement.Autoref_Bindings_HOL
JinjaThreads: theory Word_Lib.Most_significant_bit
JinjaThreads: theory Coinductive.Lazy_LList
JinjaThreads: theory Coinductive.TLList
JinjaThreads: theory Word_Lib.Generic_set_bit
JinjaThreads: theory Native_Word.Code_Target_Integer_Bit
JinjaThreads: theory Native_Word.Word_Type_Copies
JinjaThreads: theory Automatic_Refinement.Automatic_Refinement
JinjaThreads: theory Coinductive.Lazy_TLList
JinjaThreads: theory Collections.Idx_Iterator
JinjaThreads: theory Refine_Monadic.Refine_Misc
JinjaThreads: theory Refine_Monadic.RefineG_Domain
JinjaThreads: theory Refine_Monadic.RefineG_Transfer
JinjaThreads: theory Refine_Monadic.RefineG_Assert
JinjaThreads: theory Refine_Monadic.RefineG_Recursion
JinjaThreads: theory Refine_Monadic.RefineG_While
JinjaThreads: theory Refine_Monadic.Refine_Basic
JinjaThreads: theory Refine_Monadic.Refine_Det
JinjaThreads: theory Refine_Monadic.Refine_Heuristics
JinjaThreads: theory Refine_Monadic.Refine_Leof
JinjaThreads: theory Refine_Monadic.Refine_Pfun
JinjaThreads: theory Refine_Monadic.Refine_More_Comb
JinjaThreads: theory Refine_Monadic.Refine_While
JinjaThreads: theory Refine_Monadic.Refine_Transfer
JinjaThreads: theory Refine_Monadic.Autoref_Monadic
JinjaThreads: theory Refine_Monadic.Refine_Automation
JinjaThreads: theory Refine_Monadic.Refine_Foreach
JinjaThreads: theory Native_Word.Code_Target_Int_Bit
JinjaThreads: theory Native_Word.Uint32
JinjaThreads: theory Collections.Code_Target_ICF
JinjaThreads: theory Refine_Monadic.Refine_Monadic
JinjaThreads: theory Collections.HashCode
JinjaThreads: theory Collections.Gen_Iterator
JinjaThreads: theory Collections.Intf_Map
JinjaThreads: theory Collections.Intf_Set
JinjaThreads: theory Collections.Iterator
JinjaThreads: theory Collections.Array_Iterator
JinjaThreads: theory Collections.ICF_Spec_Base
JinjaThreads: theory Collections.AnnotatedListSpec
JinjaThreads: theory Collections.ListSpec
JinjaThreads: theory Collections.MapSpec
JinjaThreads: theory Collections.PrioSpec
JinjaThreads: theory Collections.PrioUniqueSpec
JinjaThreads: theory Collections.SetSpec
JinjaThreads: theory Collections.BinoPrioImpl
JinjaThreads: theory Collections.SkewPrioImpl
JinjaThreads: theory Collections.ListGA
JinjaThreads: theory Collections.FTAnnotatedListImpl
JinjaThreads: theory Collections.Fifo
JinjaThreads: theory Collections.PrioByAnnotatedList
JinjaThreads: theory Collections.PrioUniqueByAnnotatedList
JinjaThreads: theory Collections.Algos
JinjaThreads: theory Collections.SetIndex
JinjaThreads: theory Collections.SetIteratorCollectionsGA
JinjaThreads: theory Collections.MapGA
JinjaThreads: theory Collections.SetGA
JinjaThreads: theory Collections.FTPrioImpl
JinjaThreads: theory Collections.FTPrioUniqueImpl
JinjaThreads: theory Collections.ArrayMapImpl
JinjaThreads: theory Collections.ListMapImpl
JinjaThreads: theory Collections.ListMapImpl_Invar
JinjaThreads: theory Collections.TrieMapImpl
JinjaThreads: theory Collections.ListSetImpl
JinjaThreads: theory Collections.ListSetImpl_Invar
JinjaThreads: theory Collections.ListSetImpl_NotDist
JinjaThreads: theory Collections.ListSetImpl_Sorted
JinjaThreads: theory Collections.SetByMap
JinjaThreads: theory Collections.ArrayHashMap_Impl
JinjaThreads: theory Collections.ArraySetImpl
JinjaThreads: theory Collections.TrieSetImpl
JinjaThreads: theory Collections.ArrayHashMap
JinjaThreads: theory HOL-Library.RBT
JinjaThreads: theory Collections.RBT_add
JinjaThreads: theory Collections.ArrayHashSet
JinjaThreads: theory Collections.RBTMapImpl
JinjaThreads: theory Collections.RBTSetImpl
JinjaThreads: theory Collections.HashMap_Impl
JinjaThreads: theory Collections.HashMap
JinjaThreads: theory Collections.HashSet
JinjaThreads: theory Collections.MapStdImpl
JinjaThreads: theory Collections.SetStdImpl
JinjaThreads: theory Collections.ICF_Impl
JinjaThreads: theory Collections.ICF_Refine_Monadic
JinjaThreads: theory Collections.ICF_Autoref
JinjaThreads: theory Collections.Collections
JinjaThreads: theory Collections.CollectionsV1
JinjaThreads: theory JinjaThreads.JT_ICF
JinjaThreads: theory JinjaThreads.Basic_Main
JinjaThreads: theory HOL-Library.Mapping
FATAL: command execution failed
java.io.EOFException
at java.base/java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2915)
at java.base/java.io.ObjectInputStream$BlockDataInputStream.readShort(ObjectInputStream.java:3410)
at java.base/java.io.ObjectInputStream.readStreamHeader(ObjectInputStream.java:954)
at java.base/java.io.ObjectInputStream.(ObjectInputStream.java:392)
at hudson.remoting.ObjectInputStreamEx.(ObjectInputStreamEx.java:50)
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 'workerlrz5' is disconnected.
at hudson.remoting.RemoteInvocationHandler.channelOrFail(RemoteInvocationHandler.java:215)
at hudson.remoting.RemoteInvocationHandler.invoke(RemoteInvocationHandler.java:285)
at jdk.proxy2/jdk.proxy2.$Proxy158.isAlive(Unknown Source)
at hudson.Launcher$RemoteLauncher$ProcImpl.isAlive(Launcher.java:1212)
at hudson.Launcher$RemoteLauncher$ProcImpl.join(Launcher.java:1204)
at hudson.tasks.CommandInterpreter.join(CommandInterpreter.java:195)
at hudson.tasks.CommandInterpreter.perform(CommandInterpreter.java:145)
at hudson.tasks.CommandInterpreter.perform(CommandInterpreter.java:92)
at hudson.tasks.BuildStepMonitor$1.perform(BuildStepMonitor.java:20)
at hudson.model.AbstractBuild$AbstractBuildExecution.perform(AbstractBuild.java:818)
at hudson.model.Build$BuildExecution.build(Build.java:199)
at hudson.model.Build$BuildExecution.doRun(Build.java:164)
at hudson.model.AbstractBuild$AbstractBuildExecution.run(AbstractBuild.java:526)
at hudson.model.Run.execute(Run.java:1895)
at hudson.model.FreeStyleBuild.run(FreeStyleBuild.java:44)
at hudson.model.ResourceController.execute(ResourceController.java:101)
at hudson.model.Executor.run(Executor.java:442)
FATAL: Unable to delete script file /tmp/jenkins17464962980345227396.sh
java.io.EOFException
at java.base/java.io.ObjectInputStream$PeekInputStream.readFully(ObjectInputStream.java:2915)
at java.base/java.io.ObjectInputStream$BlockDataInputStream.readShort(ObjectInputStream.java:3410)
at java.base/java.io.ObjectInputStream.readStreamHeader(ObjectInputStream.java:954)
at java.base/java.io.ObjectInputStream.(ObjectInputStream.java:392)
at hudson.remoting.ObjectInputStreamEx.(ObjectInputStreamEx.java:50)
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@65234347:workerlrz5": Remote call on workerlrz5 failed. The channel is closing down or has closed down
at hudson.remoting.Channel.call(Channel.java:996)
at hudson.FilePath.act(FilePath.java:1230)
at hudson.FilePath.act(FilePath.java:1219)
at hudson.FilePath.delete(FilePath.java:1766)
at hudson.tasks.CommandInterpreter.perform(CommandInterpreter.java:163)
at hudson.tasks.CommandInterpreter.perform(CommandInterpreter.java:92)
at hudson.tasks.BuildStepMonitor$1.perform(BuildStepMonitor.java:20)
at hudson.model.AbstractBuild$AbstractBuildExecution.perform(AbstractBuild.java:818)
at hudson.model.Build$BuildExecution.build(Build.java:199)
at hudson.model.Build$BuildExecution.doRun(Build.java:164)
at hudson.model.AbstractBuild$AbstractBuildExecution.run(AbstractBuild.java:526)
at hudson.model.Run.execute(Run.java:1895)
at hudson.model.FreeStyleBuild.run(FreeStyleBuild.java:44)
at hudson.model.ResourceController.execute(ResourceController.java:101)
at hudson.model.Executor.run(Executor.java:442)
Build step 'Execute shell' marked build as failure
ERROR: Step ‘Archive the artifacts’ failed: no workspace for isabelle-nightly-slow #2494
JinjaThreads: theory HOL-Library.Code_Cardinality
JinjaThreads: theory HOL-Library.Prefix_Order
JinjaThreads: theory JinjaThreads.FWState
JinjaThreads: theory JinjaThreads.LTS
JinjaThreads: theory JinjaThreads.Type
JinjaThreads: theory JinjaThreads.ListIndex
JinjaThreads: theory JinjaThreads.Orders
JinjaThreads: theory JinjaThreads.Semilat
JinjaThreads: theory JinjaThreads.Err
JinjaThreads: theory JinjaThreads.Listn
JinjaThreads: theory HOL-Library.AList_Mapping
JinjaThreads: theory JinjaThreads.Opt
JinjaThreads: theory JinjaThreads.Product
JinjaThreads: theory JinjaThreads.Decl
JinjaThreads: theory JinjaThreads.Semilattices
JinjaThreads: theory JinjaThreads.Bisimulation
JinjaThreads: theory JinjaThreads.Typing_Framework
JinjaThreads: theory JinjaThreads.SemilatAlg
JinjaThreads: theory JinjaThreads.Kildall
JinjaThreads: theory JinjaThreads.LBVSpec
JinjaThreads: theory JinjaThreads.Typing_Framework_err
JinjaThreads: theory JinjaThreads.LBVComplete
JinjaThreads: theory JinjaThreads.LBVCorrect
JinjaThreads: theory JinjaThreads.TypeRel
JinjaThreads: theory JinjaThreads.Abstract_BV
JinjaThreads: theory JinjaThreads.TypeRelRefine
JinjaThreads: theory JinjaThreads.Value
JinjaThreads: theory JinjaThreads.Exceptions
JinjaThreads: theory JinjaThreads.Heap
JinjaThreads: theory JinjaThreads.SystemClasses
JinjaThreads: theory JinjaThreads.MM
JinjaThreads: theory JinjaThreads.State
JinjaThreads: theory JinjaThreads.FWCondAction
JinjaThreads: theory JinjaThreads.FWInterrupt
JinjaThreads: theory JinjaThreads.FWLock
JinjaThreads: theory JinjaThreads.FWThread
JinjaThreads: theory JinjaThreads.FWWait
JinjaThreads: theory JinjaThreads.Observable_Events
JinjaThreads: theory JinjaThreads.FWLocking
JinjaThreads: theory JinjaThreads.FWLockingThread
JinjaThreads: theory JinjaThreads.FWWellform
JinjaThreads: theory JinjaThreads.FWLifting
JinjaThreads: theory JinjaThreads.FWSemantics
JinjaThreads: theory JinjaThreads.JVMState
JinjaThreads: theory JinjaThreads.StartConfig
JinjaThreads: theory JinjaThreads.JMM_Spec
JinjaThreads: theory JinjaThreads.FWLiftingSem
JinjaThreads: theory JinjaThreads.FWProgressAux
JinjaThreads: theory JinjaThreads.Conform
JinjaThreads: theory JinjaThreads.State_Refinement
JinjaThreads: theory JinjaThreads.FWDeadlock
JinjaThreads: theory JinjaThreads.FWLTS
JinjaThreads: theory JinjaThreads.ConformThreaded
JinjaThreads: theory JinjaThreads.FWProgress
JinjaThreads: theory JinjaThreads.ExternalCall
JinjaThreads: theory JinjaThreads.SC
JinjaThreads: theory JinjaThreads.SC_Collections
JinjaThreads: theory JinjaThreads.JMM_DRF
JinjaThreads: theory JinjaThreads.SC_Legal
JinjaThreads: theory JinjaThreads.FWBisimulation
JinjaThreads: theory JinjaThreads.FWInitFinLift
JinjaThreads: theory JinjaThreads.Non_Speculative
JinjaThreads: theory JinjaThreads.Scheduler
JinjaThreads: theory JinjaThreads.HB_Completion
JinjaThreads: theory JinjaThreads.SC_Completion
JinjaThreads: theory JinjaThreads.WellForm
JinjaThreads: theory JinjaThreads.ExternalCall_Execute
JinjaThreads: theory JinjaThreads.ExternalCallWF
JinjaThreads: theory JinjaThreads.JMM_Heap
JinjaThreads: theory JinjaThreads.SemiType
JinjaThreads: theory JinjaThreads.BinOp
JinjaThreads: theory JinjaThreads.JVM_SemiType
JinjaThreads: theory JinjaThreads.JMM_Type
JinjaThreads: theory JinjaThreads.JMM_Type2
JinjaThreads: theory JinjaThreads.Random_Scheduler
JinjaThreads: theory JinjaThreads.Round_Robin
JinjaThreads: theory JinjaThreads.JMM_Framework
JinjaThreads: theory JinjaThreads.SC_Schedulers
JinjaThreads: theory JinjaThreads.Expr
JinjaThreads: theory JinjaThreads.JVMInstructions
JinjaThreads: theory JinjaThreads.PCompiler
JinjaThreads: theory JinjaThreads.PCompilerRefine
JinjaThreads: theory JinjaThreads.JVMExceptions
JinjaThreads: theory JinjaThreads.Effect
JinjaThreads: theory JinjaThreads.JVMHeap
JinjaThreads: theory JinjaThreads.JVMExecInstr
JinjaThreads: theory JinjaThreads.CallExpr
JinjaThreads: theory JinjaThreads.DefAss
JinjaThreads: theory JinjaThreads.JHeap
JinjaThreads: theory JinjaThreads.WWellForm
JinjaThreads: theory JinjaThreads.WellType
JinjaThreads: theory JinjaThreads.JVMExec
JinjaThreads: theory JinjaThreads.ToString
JinjaThreads: theory JinjaThreads.J1State
JinjaThreads: theory JinjaThreads.JVMDefensive
JinjaThreads: theory JinjaThreads.SmallStep
JinjaThreads: theory JinjaThreads.Annotate
JinjaThreads: theory JinjaThreads.J1Heap
JinjaThreads: theory JinjaThreads.J1WellType
JinjaThreads: theory JinjaThreads.JWellForm
JinjaThreads: theory JinjaThreads.WellTypeRT
JinjaThreads: theory JinjaThreads.JVMThreaded
JinjaThreads: theory JinjaThreads.J1WellForm
JinjaThreads: theory JinjaThreads.JVMExec_Execute
JinjaThreads: theory JinjaThreads.JMM_Typesafe
JinjaThreads: theory JinjaThreads.Compiler1
JinjaThreads: theory JinjaThreads.Compiler2
JinjaThreads: theory JinjaThreads.Preprocessor
JinjaThreads: theory JinjaThreads.JJ1WellForm
JinjaThreads: theory JinjaThreads.JMM_JVM
JinjaThreads: theory JinjaThreads.JVM_Main
JinjaThreads: theory JinjaThreads.Compiler
JinjaThreads: theory JinjaThreads.Exception_Tables
JinjaThreads: theory JinjaThreads.JMM_Common
JinjaThreads: theory JinjaThreads.BVSpec
JinjaThreads: theory JinjaThreads.EffectMono
JinjaThreads: theory JinjaThreads.TF_JVM
JinjaThreads: theory JinjaThreads.BVConform
JinjaThreads: theory JinjaThreads.TypeComp
JinjaThreads: theory JinjaThreads.JMM_Typesafe2
JinjaThreads: theory JinjaThreads.BVExec
JinjaThreads: theory JinjaThreads.FWBisimDeadlock
JinjaThreads: theory JinjaThreads.FWBisimLift
JinjaThreads: theory JinjaThreads.J1
JinjaThreads: theory JinjaThreads.LBVJVM
JinjaThreads: theory JinjaThreads.BVSpecTypeSafe
JinjaThreads: theory JinjaThreads.JVMTau
JinjaThreads: theory JinjaThreads.BVNoTypeError
JinjaThreads: theory JinjaThreads.BCVExec
JinjaThreads: theory JinjaThreads.JVMExec_Execute2
JinjaThreads: theory JinjaThreads.BVProgressThreaded
JinjaThreads: theory JinjaThreads.Common_Main
JinjaThreads: theory JinjaThreads.J1Deadlock
JinjaThreads: theory JinjaThreads.Execs
JinjaThreads: theory JinjaThreads.DefAssPreservation
JinjaThreads: theory JinjaThreads.Threaded
JinjaThreads: theory JinjaThreads.Progress
JinjaThreads: theory JinjaThreads.TypeSafe
JinjaThreads: theory JinjaThreads.J0
JinjaThreads: theory JinjaThreads.JMM_J
JinjaThreads: theory JinjaThreads.ProgressThreaded
JinjaThreads: theory JinjaThreads.J_Execute
JinjaThreads: theory JinjaThreads.J1JVMBisim
JinjaThreads: theory JinjaThreads.Deadlocked
JinjaThreads: theory JinjaThreads.DRF_J
JinjaThreads: theory JinjaThreads.JVMDeadlocked
JinjaThreads: theory JinjaThreads.DRF_JVM
JinjaThreads: theory JinjaThreads.JVM_Execute
JinjaThreads: theory JinjaThreads.J_Main
JinjaThreads: theory JinjaThreads.JVM_Execute2
JinjaThreads: theory JinjaThreads.J0Bisim
JinjaThreads: theory JinjaThreads.J0J1Bisim
JinjaThreads: theory JinjaThreads.BV_Main
JinjaThreads: theory JinjaThreads.Correctness1
JinjaThreads: theory JinjaThreads.Correctness1Threaded
JinjaThreads: theory JinjaThreads.Code_Generation
JinjaThreads: theory JinjaThreads.ApprenticeChallenge
JinjaThreads: theory JinjaThreads.BufferExample
JinjaThreads: theory JinjaThreads.Java2Jinja
JinjaThreads: theory JinjaThreads.Examples_Main
JinjaThreads: theory JinjaThreads.JMM_JVM_Typesafe
JinjaThreads: theory JinjaThreads.JMM_J_Typesafe
JinjaThreads: theory JinjaThreads.J1JVM
JinjaThreads: theory JinjaThreads.JVMJ1
JinjaThreads: theory JinjaThreads.Execute_Main
JinjaThreads: theory JinjaThreads.Correctness2
JinjaThreads: theory JinjaThreads.Correctness
JinjaThreads: theory JinjaThreads.JMM_Compiler
JinjaThreads: theory JinjaThreads.SC_Interp
JinjaThreads: theory JinjaThreads.Compiler_Main
JinjaThreads: theory JinjaThreads.JMM_Interp
JinjaThreads: theory JinjaThreads.JMM_Compiler_Type2
JinjaThreads: theory JinjaThreads.JMM
JinjaThreads: theory JinjaThreads.MM_Main
JinjaThreads: theory JinjaThreads.JinjaThreads
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Email was triggered for: Failure - 1st
Trigger Failure - Any was overridden by another trigger and will not send an email.
Trigger Failure - Still was overridden by another trigger and will not send an email.
Sending email for trigger: Failure - 1st
Sending email to: isabelle-ci@mailman46.in.tum.de
Finished: FAILURE