Started by an SCM change
[EnvInject] - Loading node environment variables.
Building remotely on workermta3 (mta_small) in workspace /media/data/jenkins/workspace/isabelle-nightly-benchmark
[isabelle-nightly-benchmark] $ hg showconfig paths.default
[isabelle-nightly-benchmark] $ hg pull --rev default
pulling from http://isabelle.in.tum.de/repos/isabelle/
searching for changes
no changes found
[isabelle-nightly-benchmark] $ hg update --clean --rev default
22 files updated, 0 files merged, 3 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 701bb74c5f97ba13263470a964b7582883d5a279 --template exists\n
exists
[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
No emails were triggered.
[isabelle-nightly-benchmark] $ /bin/sh -xe /tmp/hudson1707743161332485011.sh
+ Admin/jenkins/run_build benchmark
+ set -e
+ PROFILE=benchmark
+ shift
+ bin/isabelle components -a
+ bin/isabelle jedit -bf
### Building graph browser ...
warning: [options] bootstrap class path not set in conjunction with -source 1.4
warning: [options] source value 1.4 is obsolete and will be removed in a future release
warning: [options] target value 1.4 is obsolete and will be removed in a future release
warning: [options] To suppress warnings about obsolete options, use -Xlint:-options.
Note: GraphBrowser/GraphBrowser.java uses or overrides a deprecated API.
Note: Recompile with -Xlint:deprecation for details.
4 warnings
### Building Isabelle/Scala ...
### Building Isabelle/jEdit ...
+ bin/isabelle ci_build_benchmark

=== CONFIGURATION ===

ISABELLE_BUILD_OPTIONS=""

ML_PLATFORM="x86_64-linux"
ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-5.6-1/x86_64-linux"
ML_SYSTEM="polyml-5.6"
ML_OPTIONS="-H 4000 --maxheap 8G"

=== BUILD ===

Build started at Sat, 22 Apr 2017 22:51:14 GMT
Isabelle id f533820e7248

=== LOG ===

Session Pure/Pure
Session HOL/HOL (main)
*** No such file: "/media/data/jenkins/workspace/isabelle-nightly-benchmark/src/HOL/Main.thy"
*** The error(s) above occurred for theory "Main" (line 8 of "/media/data/jenkins/workspace/isabelle-nightly-benchmark/src/HOL/ROOT")
*** The error(s) above occurred in session "HOL" (line 3 of "/media/data/jenkins/workspace/isabelle-nightly-benchmark/src/HOL/ROOT")
Build step 'Execute shell' marked build as failure
Archiving artifacts
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace 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@mail46.informatik.tu-muenchen.de
Finished: FAILURE