AbortedConsole Output

Started by GitHub push by peterwvj
Building on master in workspace /var/lib/jenkins/workspace/vdm2c-pvj
 > /usr/bin/git rev-parse --is-inside-work-tree # timeout=10
Fetching changes from the remote Git repository
 > /usr/bin/git config remote.origin.url https://github.com/overturetool/vdm2c.git # timeout=10
Fetching upstream changes from https://github.com/overturetool/vdm2c.git
 > /usr/bin/git --version # timeout=10
 > /usr/bin/git fetch --tags --progress https://github.com/overturetool/vdm2c.git +refs/heads/pvj/development:refs/remotes/origin/pvj/development
 > /usr/bin/git rev-parse refs/remotes/origin/pvj/development^{commit} # timeout=10
 > /usr/bin/git rev-parse refs/remotes/origin/refs/heads/pvj/development^{commit} # timeout=10
Checking out Revision 2f2a9642b0c0d18033005a780373b9405ff1f9a9 (refs/remotes/origin/pvj/development)
 > /usr/bin/git config core.sparsecheckout # timeout=10
 > /usr/bin/git checkout -f 2f2a9642b0c0d18033005a780373b9405ff1f9a9
Commit message: "Handle vdm2c build jobs in Jenkinsfile"
 > /usr/bin/git rev-list cbb0cb201ef5c52b4e11d921bc55e10f3ef20f6c # timeout=10
 > /usr/bin/git remote # timeout=10
 > /usr/bin/git submodule init # timeout=10
 > /usr/bin/git submodule sync # timeout=10
 > /usr/bin/git config --get remote.origin.url # timeout=10
 > /usr/bin/git submodule init # timeout=10
 > /usr/bin/git config -f .gitmodules --get-regexp ^submodule\.(.*)\.url # timeout=10
 > /usr/bin/git config --get submodule.c/third_party/googletest.url # timeout=10
 > /usr/bin/git config -f .gitmodules --get submodule.c/third_party/googletest.path # timeout=10
 > /usr/bin/git submodule update --init --recursive c/third_party/googletest
 > /usr/bin/git config --get submodule.cases/single-watertank.url # timeout=10
 > /usr/bin/git config -f .gitmodules --get submodule.cases/single-watertank.path # timeout=10
 > /usr/bin/git submodule update --init --recursive cases/single-watertank
 > /usr/bin/git config --get submodule.cases/three-tank.url # timeout=10
 > /usr/bin/git config -f .gitmodules --get submodule.cases/three-tank.path # timeout=10
 > /usr/bin/git submodule update --init --recursive cases/three-tank
 > /usr/bin/git config --get submodule.cases/fcu.url # timeout=10
 > /usr/bin/git config -f .gitmodules --get submodule.cases/fcu.path # timeout=10
 > /usr/bin/git submodule update --init --recursive cases/fcu
 > /usr/bin/git config --get submodule.cases/line-follower-robot.url # timeout=10
 > /usr/bin/git config -f .gitmodules --get submodule.cases/line-follower-robot.path # timeout=10
 > /usr/bin/git submodule update --init --recursive cases/line-follower-robot
[vdm2c-pvj] $ /bin/sh -xe /tmp/jenkins294128044775649178.sh
[Set GitHub commit status (universal)] PENDING on repos [GHRepository@1c0112b5[description=Working repository for the development of a VDM to C code generator,homepage=<null>,name=vdm2c,license=<null>,fork=false,size=3543,milestones={},language=C,commits={},source=<null>,parent=<null>,responseHeaderFields={null=[HTTP/1.1 200 OK], Access-Control-Allow-Origin=[*], Access-Control-Expose-Headers=[ETag, Link, Retry-After, X-GitHub-OTP, X-RateLimit-Limit, X-RateLimit-Remaining, X-RateLimit-Reset, X-OAuth-Scopes, X-Accepted-OAuth-Scopes, X-Poll-Interval], Cache-Control=[private, max-age=60, s-maxage=60], Content-Encoding=[gzip], Content-Security-Policy=[default-src 'none'], Content-Type=[application/json; charset=utf-8], Date=[Wed, 29 Nov 2017 09:53:08 GMT], ETag=[W/"7a00ec9f8a6a01e891d7320bad1f8536"], Last-Modified=[Sun, 22 Oct 2017 13:57:26 GMT], OkHttp-Received-Millis=[1511949188383], OkHttp-Response-Source=[CONDITIONAL_CACHE 200], OkHttp-Selected-Protocol=[http/1.1], OkHttp-Sent-Millis=[1511949188222], Server=[GitHub.com], Status=[200 OK], Strict-Transport-Security=[max-age=31536000; includeSubdomains; preload], Transfer-Encoding=[chunked], Vary=[Accept, Authorization, Cookie, X-GitHub-OTP], X-Accepted-OAuth-Scopes=[repo], X-Content-Type-Options=[nosniff], X-Frame-Options=[deny], X-GitHub-Media-Type=[github.v3; format=json], X-GitHub-Request-Id=[D248:1481:47CB09:9BD550:5A1E8383], X-OAuth-Scopes=[read:repo_hook, repo, user], X-RateLimit-Limit=[5000], X-RateLimit-Remaining=[4999], X-RateLimit-Reset=[1511952788], X-Runtime-rack=[0.050985], X-XSS-Protection=[1; mode=block]},url=https://api.github.com/repos/overturetool/vdm2c,id=49344489]] (sha:2f2a964) with context:vdm2c-pvj
Setting commit status on GitHub for https://github.com/overturetool/vdm2c/commit/2f2a9642b0c0d18033005a780373b9405ff1f9a9
Parsing POMs
Established TCP socket on 39194
[vdm2c-pvj] $ java -Xmx1024m -XX:MaxPermSize=256M -cp /var/lib/jenkins/plugins/maven-plugin/WEB-INF/lib/maven31-agent-1.12-alpha-1.jar:/var/lib/jenkins/tools/hudson.tasks.Maven_MavenInstallation/Maven_3.1.1/boot/plexus-classworlds-2.5.1.jar:/var/lib/jenkins/tools/hudson.tasks.Maven_MavenInstallation/Maven_3.1.1/conf/logging jenkins.maven3.agent.Maven31Main /var/lib/jenkins/tools/hudson.tasks.Maven_MavenInstallation/Maven_3.1.1 /var/cache/jenkins/war/WEB-INF/lib/remoting-3.7.jar /var/lib/jenkins/plugins/maven-plugin/WEB-INF/lib/maven31-interceptor-1.12-alpha-1.jar /var/lib/jenkins/plugins/maven-plugin/WEB-INF/lib/maven3-interceptor-commons-1.12-alpha-1.jar 39194
Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=256M; support was removed in 8.0
<===[JENKINS REMOTING CAPACITY]===>channel started
Executing Maven:  -B -f /var/lib/jenkins/workspace/vdm2c-pvj/pom.xml -Dmaven.repo.local=/var/lib/jenkins/workspace/vdm2c-pvj/.repository clean install -PWith-IDE
[INFO] Scanning for projects...
[INFO] Computing target platform for MavenProject: org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.cgen:0.1.17-SNAPSHOT @ /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/pom.xml
[INFO] Fetching p2.index from http://download.eclipse.org/releases/neon/ (0B at 0B/s)
[INFO] Adding repository http://download.eclipse.org/releases/neon
[INFO] Fetching p2.index from http://download.eclipse.org/technology/epp/packages/neon/ (0B at 0B/s)
[INFO] Fetching p2.index from http://download.eclipse.org/releases/neon/201705151400/ (0B at 0B/s)
[INFO] Fetching content.jar from http://download.eclipse.org/releases/neon/201703141400/ (0B of 2.8MB at 0B/s)
Build was aborted
Aborted by Peter W. V. Tran-Jørgensen
channel stopped
SSH: Current build result is [ABORTED], not going to run.
[Set GitHub commit status (universal)] PENDING on repos [GHRepository@702e6366[description=Working repository for the development of a VDM to C code generator,homepage=<null>,name=vdm2c,license=<null>,fork=false,size=3543,milestones={},language=C,commits={},source=<null>,parent=<null>,responseHeaderFields={null=[HTTP/1.1 200 OK], Access-Control-Allow-Origin=[*], Access-Control-Expose-Headers=[ETag, Link, Retry-After, X-GitHub-OTP, X-RateLimit-Limit, X-RateLimit-Remaining, X-RateLimit-Reset, X-OAuth-Scopes, X-Accepted-OAuth-Scopes, X-Poll-Interval], Cache-Control=[private, max-age=60, s-maxage=60], Content-Encoding=[gzip], Content-Security-Policy=[default-src 'none'], Content-Type=[application/json; charset=utf-8], Date=[Wed, 29 Nov 2017 09:53:08 GMT], ETag=[W/"7a00ec9f8a6a01e891d7320bad1f8536"], Last-Modified=[Sun, 22 Oct 2017 13:57:26 GMT], OkHttp-Received-Millis=[1511949188383], OkHttp-Response-Source=[CACHE 200], OkHttp-Selected-Protocol=[http/1.1], OkHttp-Sent-Millis=[1511949188222], Server=[GitHub.com], Status=[200 OK], Strict-Transport-Security=[max-age=31536000; includeSubdomains; preload], Transfer-Encoding=[chunked], Vary=[Accept, Authorization, Cookie, X-GitHub-OTP], X-Accepted-OAuth-Scopes=[repo], X-Content-Type-Options=[nosniff], X-Frame-Options=[deny], X-GitHub-Media-Type=[github.v3; format=json], X-GitHub-Request-Id=[D248:1481:47CB09:9BD550:5A1E8383], X-OAuth-Scopes=[read:repo_hook, repo, user], X-RateLimit-Limit=[5000], X-RateLimit-Remaining=[4999], X-RateLimit-Reset=[1511952788], X-Runtime-rack=[0.050985], X-XSS-Protection=[1; mode=block]},url=https://api.github.com/repos/overturetool/vdm2c,id=49344489]] (sha:2f2a964) with context:vdm2c-pvj
Setting commit status on GitHub for https://github.com/overturetool/vdm2c/commit/2f2a9642b0c0d18033005a780373b9405ff1f9a9
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
Finished: ABORTED