Console Output

07:08:22 Started by upstream project "afp-repo" build number 1178
07:08:22 originally caused by:
07:08:22  Started by an SCM change
07:08:22 [EnvInject] - Loading node environment variables.
07:08:22 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/afp-repo-afp
07:08:22 [afp-repo-afp] $ hg showconfig paths.default
07:08:22 [afp-repo-afp] $ hg pull --rev default
07:08:23 pulling from http://isabelle.in.tum.de/repos/isabelle/
07:08:23 searching for changes
07:08:23 adding changesets
07:08:23 adding manifests
07:08:23 adding file changes
07:08:23 added 7 changesets with 15 changes to 13 files
07:08:23 (run 'hg update' to get a working copy)
07:08:23 [afp-repo-afp] $ hg update --clean --rev default
07:08:24 13 files updated, 0 files merged, 0 files removed, 0 files unresolved
07:08:24 [afp-repo-afp] $ hg log --rev . --template {node}
07:08:24 [afp-repo-afp] $ hg log --rev . --template {rev}
07:08:24 [afp] $ hg showconfig paths.default
07:08:24 [afp] $ hg pull --rev 22dedea5ab5d607eabf2a218e1d4e138eecf0af8
07:08:25 pulling from https://bitbucket.org/isa-afp/afp-devel/
07:08:25 searching for changes
07:08:25 adding changesets
07:08:25 adding manifests
07:08:25 adding file changes
07:08:25 added 25 changesets with 226 changes to 155 files
07:08:26 (run 'hg update' to get a working copy)
07:08:26 [afp] $ hg update --clean --rev 22dedea5ab5d607eabf2a218e1d4e138eecf0af8
07:08:26 512 files updated, 0 files merged, 0 files removed, 0 files unresolved
07:08:26 [afp] $ hg --config extensions.purge= clean --all
07:08:26 [afp] $ hg log --rev . --template {node}
07:08:26 [afp] $ hg log --rev . --template {rev}
07:08:26 [afp] $ hg id --branch
07:08:26 No emails were triggered.
07:08:26 [afp-repo-afp] $ /bin/sh -xe /tmp/jenkins8864894890257795114.sh
07:08:26 + Admin/jenkins/run_build afp
07:08:26 + set -e
07:08:26 + PROFILE=afp
07:08:26 + shift
07:08:26 + bin/isabelle components -a
07:08:27 + bin/isabelle jedit -bf
07:08:27 ### Building Isabelle/Scala ...
07:08:53 ### Building Isabelle/jEdit ...
07:09:10 + bin/isabelle ci_build_afp
07:09:16 
07:09:16 === CONFIGURATION ===
07:09:16 
07:09:16 ISABELLE_BUILD_OPTIONS=""
07:09:16 
07:09:16 ML_PLATFORM="x86_64-linux"
07:09:16 ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-test-905dae2ebfda/x86_64-linux"
07:09:16 ML_SYSTEM="polyml-5.7.1"
07:09:16 ML_OPTIONS="-H 4000 --maxheap 8G"
07:09:17 
07:09:17 === BUILD ===
07:09:17 
07:09:17 Build started at Fri, 27 Oct 2017 05:09:16 GMT
07:09:17 Isabelle id aefaaef29c58
07:09:17 AFP id 22dedea5ab5d
07:09:17 
07:09:17 === LOG ===
07:09:17 
07:09:18 Session Pure/Pure
07:09:18 Session FOL/FOL
07:09:18 Session HOL/HOL (main)
07:09:19 Session AFP/AVL-Trees (AFP)
07:09:19 Session AFP/AWN (AFP)
07:09:19 Session AFP/Abortable_Linearizable_Modules (AFP)
07:09:19 Session AFP/Abstract-Hoare-Logics (AFP)
07:09:19 Session AFP/AnselmGod (AFP)
07:09:19 Session AFP/BinarySearchTree (AFP)
07:09:19 Session AFP/Binomial-Queues (AFP)
07:09:19 Session AFP/Bondy (AFP)
07:09:19 Session AFP/Bounded_Deducibility_Security (AFP)
07:09:19 Session AFP/BytecodeLogicJmlTypes (AFP)
07:09:19 Session AFP/CISC-Kernel (AFP)
07:09:19 Session AFP/CYK (AFP)
07:09:19 Session AFP/Cauchy (AFP)
07:09:19 Session AFP/Sqrt_Babylonian (AFP)
07:09:19 Session AFP/ClockSynchInst (AFP)
07:09:19 Session AFP/Compiling-Exceptions-Correctly (AFP)
07:09:19 Session AFP/ComponentDependencies (AFP)
07:09:19 Session AFP/Constructor_Funs (AFP)
07:09:19 Session AFP/CryptoBasedCompositionalProperties (AFP)
07:09:19 Session AFP/DPT-SAT-Solver (AFP)
07:09:19 Session AFP/Depth-First-Search (AFP)
07:09:19 Session AFP/Diophantine_Eqns_Lin_Hom (AFP)
07:09:19 *** Cannot load theory file "/media/data/jenkins/workspace/afp-repo-afp/afp/thys/Diophantine_Eqns_Lin_Hom/GCD.thy"
07:09:19 *** The error(s) above occurred in session "Diophantine_Eqns_Lin_Hom" (line 3 of "/media/data/jenkins/workspace/afp-repo-afp/afp/thys/Diophantine_Eqns_Lin_Hom/ROOT")
07:09:19 Build step 'Execute shell' marked build as failure
07:09:19 Archiving artifacts
07:10:06 Started calculate disk usage of build
07:10:06 Finished Calculation of disk usage of build in 0 seconds
07:10:21 Started calculate disk usage of workspace
07:10:21 Finished Calculation of disk usage of workspace in 0 seconds
07:10:21 Email was triggered for: Failure - 1st
07:10:21 Trigger Failure - Any was overridden by another trigger and will not send an email.
07:10:21 Trigger Failure - Still was overridden by another trigger and will not send an email.
07:10:21 Sending email for trigger: Failure - 1st
07:10:21 Sending email to: isabelle-ci@mail46.informatik.tu-muenchen.de
07:10:22 Finished: FAILURE