Console Output

00:50:07 Started by an SCM change
00:50:07 [EnvInject] - Loading node environment variables.
00:50:07 Building remotely on workermta3 (mta_small) in workspace /media/data/jenkins/workspace/isabelle-nightly-benchmark
00:50:07 [isabelle-nightly-benchmark] $ hg showconfig paths.default
00:50:07 [isabelle-nightly-benchmark] $ hg pull --rev default
00:50:08 pulling from http://isabelle.in.tum.de/repos/isabelle/
00:50:08 searching for changes
00:50:08 no changes found
00:50:08 [isabelle-nightly-benchmark] $ hg update --clean --rev default
00:50:08 22 files updated, 0 files merged, 3 files removed, 0 files unresolved
00:50:08 [isabelle-nightly-benchmark] $ hg --config extensions.purge= clean --all
00:50:08 [isabelle-nightly-benchmark] $ hg log --rev . --template {node}
00:50:08 [isabelle-nightly-benchmark] $ hg log --rev . --template {rev}
00:50:08 [isabelle-nightly-benchmark] $ hg log --rev 701bb74c5f97ba13263470a964b7582883d5a279 --template exists\n
00:50:08 exists
00:50:08 [isabelle-nightly-benchmark] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev "ancestors('default') and not ancestors(701bb74c5f97ba13263470a964b7582883d5a279)" --encoding UTF-8 --encodingmode replace
00:50:08 No emails were triggered.
00:50:08 [isabelle-nightly-benchmark] $ /bin/sh -xe /tmp/hudson1707743161332485011.sh
00:50:08 + Admin/jenkins/run_build benchmark
00:50:08 + set -e
00:50:08 + PROFILE=benchmark
00:50:08 + shift
00:50:08 + bin/isabelle components -a
00:50:08 + bin/isabelle jedit -bf
00:50:09 ### Building graph browser ...
00:50:09 warning: [options] bootstrap class path not set in conjunction with -source 1.4
00:50:09 warning: [options] source value 1.4 is obsolete and will be removed in a future release
00:50:09 warning: [options] target value 1.4 is obsolete and will be removed in a future release
00:50:09 warning: [options] To suppress warnings about obsolete options, use -Xlint:-options.
00:50:10 Note: GraphBrowser/GraphBrowser.java uses or overrides a deprecated API.
00:50:10 Note: Recompile with -Xlint:deprecation for details.
00:50:10 4 warnings
00:50:10 ### Building Isabelle/Scala ...
00:50:48 ### Building Isabelle/jEdit ...
00:51:10 + bin/isabelle ci_build_benchmark
00:51:14 
00:51:14 === CONFIGURATION ===
00:51:14 
00:51:14 ISABELLE_BUILD_OPTIONS=""
00:51:14 
00:51:14 ML_PLATFORM="x86_64-linux"
00:51:14 ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-5.6-1/x86_64-linux"
00:51:14 ML_SYSTEM="polyml-5.6"
00:51:14 ML_OPTIONS="-H 4000 --maxheap 8G"
00:51:14 
00:51:14 === BUILD ===
00:51:14 
00:51:14 Build started at Sat, 22 Apr 2017 22:51:14 GMT
00:51:14 Isabelle id f533820e7248
00:51:14 
00:51:14 === LOG ===
00:51:14 
00:51:15 Session Pure/Pure
00:51:15 Session HOL/HOL (main)
00:51:15 *** No such file: "/media/data/jenkins/workspace/isabelle-nightly-benchmark/src/HOL/Main.thy"
00:51:15 *** The error(s) above occurred for theory "Main" (line 8 of "/media/data/jenkins/workspace/isabelle-nightly-benchmark/src/HOL/ROOT")
00:51:15 *** The error(s) above occurred in session "HOL" (line 3 of "/media/data/jenkins/workspace/isabelle-nightly-benchmark/src/HOL/ROOT")
00:51:15 Build step 'Execute shell' marked build as failure
00:51:15 Archiving artifacts
00:51:15 Started calculate disk usage of build
00:51:15 Finished Calculation of disk usage of build in 0 seconds
00:51:17 Started calculate disk usage of workspace
00:51:18 Finished Calculation of disk usage of workspace in 0 seconds
00:51:18 Email was triggered for: Failure - 1st
00:51:18 Trigger Failure - Any was overridden by another trigger and will not send an email.
00:51:18 Trigger Failure - Still was overridden by another trigger and will not send an email.
00:51:18 Sending email for trigger: Failure - 1st
00:51:18 Sending email to: isabelle-ci@mail46.informatik.tu-muenchen.de
00:51:18 Finished: FAILURE