Console Output

00:50:08 Started by an SCM change
00:50:08 [EnvInject] - Loading node environment variables.
00:50:08 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/isabelle-nightly-benchmark
00:50:08 [isabelle-nightly-benchmark] $ hg showconfig paths.default
00:50:08 [isabelle-nightly-benchmark] $ hg pull --rev default
00:50:09 pulling from http://isabelle.in.tum.de/repos/isabelle/
00:50:09 searching for changes
00:50:09 no changes found
00:50:09 [isabelle-nightly-benchmark] $ hg update --clean --rev default
00:50:09 5 files updated, 0 files merged, 0 files removed, 0 files unresolved
00:50:09 [isabelle-nightly-benchmark] $ hg --config extensions.purge= clean --all
00:50:09 [isabelle-nightly-benchmark] $ hg log --rev . --template {node}
00:50:09 [isabelle-nightly-benchmark] $ hg log --rev . --template {rev}
00:50:09 [isabelle-nightly-benchmark] $ hg log --rev 4c1985eba1b780bb7deba232d2e17be41e85a305 --template exists\n
00:50:09 exists
00:50:09 [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(4c1985eba1b780bb7deba232d2e17be41e85a305)" --encoding UTF-8 --encodingmode replace
00:50:10 No emails were triggered.
00:50:10 [isabelle-nightly-benchmark] $ /bin/sh -xe /tmp/jenkins2511808123132928428.sh
00:50:10 + Admin/jenkins/run_build benchmark
00:50:10 + set -e
00:50:10 + PROFILE=benchmark
00:50:10 + shift
00:50:10 + bin/isabelle components -a
00:50:10 + bin/isabelle jedit -bf
00:50:11 ### Building graph browser ...
00:50:11 warning: [options] bootstrap class path not set in conjunction with -source 6
00:50:11 warning: [options] source value 6 is obsolete and will be removed in a future release
00:50:11 warning: [options] To suppress warnings about obsolete options, use -Xlint:-options.
00:50:12 Note: Some input files use or override a deprecated API.
00:50:12 Note: Recompile with -Xlint:deprecation for details.
00:50:12 Note: Some input files use unchecked or unsafe operations.
00:50:12 Note: Recompile with -Xlint:unchecked for details.
00:50:12 3 warnings
00:50:12 classes/.: Datei oder Verzeichnis nicht vorhanden
00:50:12 Failed to produce /media/data/jenkins/workspace/isabelle-nightly-benchmark/lib/browser/GraphBrowser.jar
00:50:12 Build step 'Execute shell' marked build as failure
00:50:12 Archiving artifacts
00:50:12 Started calculate disk usage of build
00:50:12 Finished Calculation of disk usage of build in 0 seconds
00:50:12 Started calculate disk usage of workspace
00:50:12 Finished Calculation of disk usage of workspace in 0 seconds
00:50:12 Email was triggered for: Failure - 1st
00:50:12 Trigger Failure - Any was overridden by another trigger and will not send an email.
00:50:12 Trigger Failure - Still was overridden by another trigger and will not send an email.
00:50:12 Sending email for trigger: Failure - 1st
00:50:12 Sending email to: isabelle-ci@mail46.informatik.tu-muenchen.de
00:50:12 Finished: FAILURE