Console Output

21:49:49 Started by an SCM change
21:49:49 Running as SYSTEM
21:49:49 [EnvInject] - Loading node environment variables.
21:49:49 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/afp_testboard
21:49:49 Acquired controller cache lock.
21:49:49 [E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard] $ /usr/bin/hg pull
21:49:50 pulling from https://foss.heptapod.net/isa-afp/afp-testboard/
21:49:50 searching for changes
21:49:50 no changes found
21:49:50 Controller cache lock released.
21:49:50 Acquired agent node cache lock for node workermta1.
21:49:50 [E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard] $ /usr/bin/hg heads --template {node}\n --topo --closed
21:49:50 [E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard] $ /usr/bin/hg heads --template {node}\n --topo --closed
21:49:51 [E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard] $ /usr/bin/hg bundle --base f8f7720a745155f72a7c7741430c07f909174793 --base 6328e25d6d57bce4c1e5f02a034e7c4a825d2514 --base a2b3a17e295d965452d2b62c0e07f3a807dbafd1 --base 5f2eb2ceef5125a76d175cb6581de9ebcbd2fd17 --base 323c29c97a1e631864dab9bb2485d68cc937c308 --base de025214e3963beefec8d379e732e63ebe4d3459 --base 6605df023b1a460037b890a8ad14fe8765137660 --base fd1d5b3fdd7c7d11da907dfbb80dafabebcb7fc2 --base daa87ea0470c7d04bd68f91037b051d8ae4466a1 --base f7321f5a8909e20b43b259a1241d133d196f60e7 --base a040f98f10efa99a7099c0c4d3c01c2e4ccb7daf --base ff876ac75e4455d8a0529b6748b95a310fbd220b --base ab11d512034650dfe402f333c7b5bc1420ae12df --base d2ac6cb14eff7eab402cf54b3a3fcc73e2394c21 --base bb160115a2179f3f3125a7176360f59e453c8482 --base b8423de2be60300566ae72d197b6edefa22a0a03 --base 62b5836207b02ee304c9a7422094563c6da2fc5e --base 3b5ff4b8d37de016c42ca714ecd26c16ea3a8b15 --base 3ce8f73d277bc9542a75434a119ac508de1102e8 --base e5c7e627467e0868e5e50845abf1338436bc7b77 --base 90e3fddb287966f14e71fc0a46e6527822a911b7 --base fbb6f64ec146057b3a43d9ca8e997312b3d39e0d --base 6c51623b69037f6c469b97095cce94c275a30481 --base 2353eca7413d2a2ef053a7886bdf29acf5e584a7 --base cf49f0e51439c3316ac2f18b15bdff23607ca73e --base 543e7034281e51b9e94cf2ea6f6486318101fd4d --base af65d980630d52eadddaa5af581e15dc837af6d6 --base 8c33db4363a7ebacce399f7c169478a7542f7b30 --base 91bcd8449699d802d08890de12b5196b80fc3c65 --base f8af48a3389c65e0bc399c5cae74b8db41ba1be2 --base b685c8a84770547ae352659944faa0f44545d379 --base d109dfa32e8471a8c7365973a8ebed30c0b1d287 --base c71d324c55979a41b1c10c9c3449f68827617f9a --base 8f2429a458251704dc25138f1a1f8e8d0bbc977a --base a17c0e8185a332414fc0d8e6df8b24781aaaa541 --base bcd9b782db6187d07c5581cb6d3291bd1aca04ec --base 6d0bb896d78f06fae91274fd87d1003dcafc2761 --base 688515f82d561f0c1a4f315cbffe8a257a82ffe8 --base b308317162b7df1dd99945db68b173a6cb5bd10e --base 683864d6034e712d638e89a961ec7e31e0ff7454 --base 9bf90ad01ae45433de5ef3a873cd19d18d0bbd31 --base 52ba07b3539a17fd283c4c98d57f989e87765826 --base 2a3bd99f48380f3741b0f00239578918cb3a4501 --base f1ee628e62660e03eea4e62d75a7a4d7145ec4bf --base a13a877f8b74439d0cb87d0e81d35eb8cdaa6863 --base b7e275c25761243fffd634ef5853bcba7a053d57 --base 892baa00e066158d5562309718047310ec2253e7 --base ae2bd562df2cd44848e7139dbd65bfc554bad32c --base e1b99a8662cd2ec9b66d933c4a53271958a2fd58 --base eeb257e2a064aafa38ba961ca1df88a66e576217 --base 1d87653ae27fb524165a49bac8203bce24a965b6 --base d24cdcce27224767a37ee3908d4f34be009c19b2 --base 169cdde8779e7051cfaa735e51f2c62ab66d3407 --base 42ac9ee400e5dcc3954559e55e2511896663d007 --base f3d56c724d1dd0145d0850a42a1c5cc656fdf8eb --base fef0fb9427fcfbee9da37d520a4a721aa8287278 --base a0d561998f2062c89618bae1fe8bb34372f42db4 --base 617a5a4f9a57d3f02dc1901481fd7edde9205710 --base a619289e8f3dc44f5c682dc2b49dc5a1b58e7f8a --base cfe584ca9c4142b05eaa709497d363b319068284 --base 212c9b6124cfa95a3088a73e500185cc875733a1 --base ac20c230e8ea4746eeb2478f67e8972b9c898f7e --base b7198969805993b82e7731fd66d78a5307d45502 --base da8d3c6939273b651bea2ddc56e7bbb27bb7aa95 --base 944bac82ec1335235d4639cface4dcbe46d06842 --base 89824e792473c44dcc676586b3e97ef5378c8611 --base 042bcb2dc7841b496773e2935cd42289a3582033 --base aec7ba1a5b023b9a2b1f6a31d63cfa4be59c3fdf --base fbf8c78cd562775b5c550bf87b2ffe84856ef13b --base 90e6bfe365d78229de215750e5049ce3444d4e3d --base 4b9009c4aa53ea4c9bb1523e7665f0162c5adf6f --base da8616d5446e449a3d68d641613e82dddc090209 --base 0398de3e9f31ea9781d22f5e11f45d7e394c7337 --base c29ea17a53cb437141cfd1f43cd0bf7b2b6c2e35 --base c47a331f06f528227f08b904f9f08f3c67ea6814 --base 8bf1c879ed1d4cb4b2b1e429b8dda4fa959e6c3c --base dc46c0b56b8cbfd1c1d8f6cc08e437b4a897ca90 --base 0d9aa0e5af9ebc89436fe41e7bc2ce84a700cd8a --base 989558beb8d659184c280c6c07d7635cf2cfcd53 --base a9778aac5a3e1f142b6261aa34df0f4f4fa2030e --base 917841b204a3ae0ae67ea9f0b807cff6549e0b6a --base 37fe72879e4f568c205eb0b199cf46c58dbbd61b --base 840d842aa6913741ae33544957763ff81a709123 --base c6e884d1b3080f6c728656770a6b34a9a313dfcb --base 55ff832312b854b75439bfab37f347467f28fa70 --base 3e8d73aef5b6598689a2b1ccd64594c45b4bc3dc --base 5eccd898f468f172f0ee1fa8db490dc620f639e1 --base 43e3b75816e0195ecb318995beacefae6b3e3dff --base 78587d268ec7f53042da0a05f19a2ddf68fc74b7 --base ec9414e556b7541b87eee7bf962f994826b71242 --base 773bcb555b20e551d40ec450e5444d8db40eb9d2 --base d17e9c84e6db4f5fab7d110a9e118f7a443d4450 --base 96f75d83c2bc672d762c2c8d5fd2f7c28b059889 --base 1bf1e9ed4684c99c30333f9e51ffa9d0db330eca --base d7437189a0a30c9135b55a21f866f97794199da5 --base c698eec1f1f94a6be01349ac3eb01d4a73a33254 --base 763ce3f4535aa654175411654a59ef9099f6fdec --base 64892e4eb63c60df17d4d2f8422b187071367c4d --base 28b19f4259ce26e84cab08c5cdb227de5ee8c51e --base 0c38ee0d6c01e204cc98cd3e3eafe247ec4f69f6 --base 87604cc60f21065e08aeb84fdcb0f34e8301a207 --base 6994bb90867aa79406246faef9a79e80079f4f63 --base c21edb091651e0cd05d12d29a729309cb9f599d7 --base d6b016c0771e6e86324a793fe40d4272853b81f5 --base d2f9db174f445209ef2f42d48e0bc46370e0d5fc --base 811e3fb63bb732cfdd5322e36315928bff994851 --base 5c4cfd838e2fd85db2d385fed770b4d78214f2ef --base e6b320c3cb212a8f31551f4387979cca6ef6f080 --base 1c55d325de03f8186cde7254749f37304e4a3c2c --base e1a603e46ea76b411db4ae0c508c81d9e13ab137 --base d15ac73612a3d9abe573d3627c91e20f3b31dcb2 --base 3969ef2856a0a5abc1d5fbef05c76e8d9d7c2b52 --base 9620cf7a48b995b4c44975079c23b130a9ba107a --base 4112beffdb476da4308f0de3140fd8c30363d2c0 --base 8e995d947fb05b350a49ac3aaa2687f01e807996 --base 249c2b58d173a123bf7d627746d2f21b7a9b57e5 --base ad14484777fcf362a44b73d51cc6c21db193f09a --base e3e858bfc9eb5a6bf09ba22403266c95d7e22375 --base 4bea345493dd2fcfcb196cf42258858d06ddf7b8 --base c261a0c41e52a7756369f12937b84e48b76e00cf xfer-workermta1.hg
21:49:51 1 changesets found
21:49:51 [E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard] $ /usr/bin/hg unbundle xfer.hg
21:49:51 adding changesets
21:49:51 adding manifests
21:49:51 adding file changes
21:49:51 added 1 changesets with 1 changes to 1 files
21:49:51 new changesets 6a40d725effa (1 drafts)
21:49:51 (run 'hg update' to get a working copy)
21:49:51 Agent node cache lock released for node workermta1.
21:49:51 [afp] $ /usr/bin/hg pull --rev default /media/data/jenkins/hgcache/E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard
21:49:51 pulling from /media/data/jenkins/hgcache/E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard
21:49:51 no changes found
21:49:51 1 local changesets published
21:49:51 [afp] $ /usr/bin/hg update --clean --rev default
21:49:51 1 files updated, 0 files merged, 0 files removed, 0 files unresolved
21:49:51 [afp] $ /usr/bin/hg log --rev . --template {node}
21:49:51 [afp] $ /usr/bin/hg log --rev . --template {rev}
21:49:52 [afp] $ /usr/bin/hg log --rev f8f7720a745155f72a7c7741430c07f909174793 --template exists\n
21:49:52 exists
21:49:52 [afp] $ /usr/bin/hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg>{file_adds % '<addedFile>{file|xmlescape}</addedFile>'}{file_dels % '<deletedFile>{file|xmlescape}</deletedFile>'}{files % '<file>{file|xmlescape}</file>'}<parents>{parents}</parents></changeset>\n" --rev "ancestors('default') and not ancestors(f8f7720a745155f72a7c7741430c07f909174793)" --encoding UTF-8 --encodingmode replace
21:49:52 [EnvInject] - Executing scripts and injecting environment variables after the SCM step.
21:49:52 [EnvInject] - Injecting as environment variables the properties content 
21:49:52 ISABELLE_CI_TESTBOARD=true
21:49:52 
21:49:52 [EnvInject] - Variables injected successfully.
21:49:52 
[afp_testboard] $ /bin/sh -xe /tmp/jenkins15406737438521300423.sh

21:49:52 + set -ex
21:49:52 + [ -d .hg ]
21:49:52 + hg pull http://isabelle.in.tum.de/repos/isabelle/
21:49:52 Rufe von http://isabelle.in.tum.de/repos/isabelle/ ab
21:49:52 echte Adresse ist https://isabelle.in.tum.de/repos/isabelle/
21:49:55 Suche nach Änderungen
21:49:55 Füge Änderungssätze hinzu
21:49:55 Füge Manifeste hinzu
21:49:55 Füge Dateiänderungen hinzu
21:49:56 Fügte 3075 Änderungssätze mit 7451 Änderungen an 1383 Dateien hinzu
21:49:56 new changesets 204273f3a30e:b41c8fce442d
21:49:56 (führe "hg update" aus, um ein Arbeitsverzeichnis zu erstellen)
21:49:56 + hg up
21:49:56 1320 Dateien aktualisiert, 0 Dateien zusammengeführt, 53 Dateien entfernt, 0 Dateien ungelöst
21:49:56 [afp_testboard] $ /bin/sh -xe /tmp/jenkins2804031203204062726.sh
21:49:56 + Admin/jenkins/run_build afp
21:49:56 + set -e
21:49:56 + PROFILE=afp
21:49:56 + shift
21:49:56 + bin/isabelle components -a
21:49:56 + bin/isabelle jedit -bf
21:49:57 ### Building Isabelle/Scala (/media/data/jenkins/workspace/afp_testboard/lib/classes/isabelle.jar) ...
21:50:51 ### Building graph browser (/media/data/jenkins/workspace/afp_testboard/lib/classes/isabelle_graphbrowser.jar) ...
21:50:52 Note: Some input files use unchecked or unsafe operations.
21:50:52 Note: Recompile with -Xlint:unchecked for details.
21:50:52 ### Building Isabelle/Scala/Admin (/media/data/jenkins/workspace/afp_testboard/lib/classes/isabelle_admin.jar) ...
21:50:52 + bin/isabelle ocaml_setup
21:50:53 # Run eval $(opam env) to update the current shell environment
21:50:53 [NOTE] It seems you have not updated your repositories for a while. Consider updating them with:
21:50:53        opam update
21:50:53 
21:50:54 [NOTE] Package zarith is already installed (current version is 1.12).
21:50:54 + bin/isabelle ghc_setup
21:50:55 stack will use a sandboxed GHC it installed
21:50:55 For more information on paths, see 'stack path' and 'stack exec env'
21:50:55 To use this GHC and packages outside of a project, consider using:
21:50:55 stack ghc, stack ghci, stack runghc, or stack exec
21:50:55 The Glorious Glasgow Haskell Compilation System, version 8.10.7
21:50:56 + bin/isabelle ci_build afp
21:50:57 *** Unknown job "afp"
21:50:57 Build step 'Execute shell' marked build as failure
21:50:57 Started calculate disk usage of build
21:50:57 Finished Calculation of disk usage of build in 0 seconds
21:50:58 Started calculate disk usage of workspace
21:50:58 Finished Calculation of disk usage of workspace in 0 seconds
21:50:58 Finished: FAILURE