AbortedConsole Output

Started by GitHub push by peterwvj
Building on master in workspace /var/lib/jenkins/workspace/vdm2c
 > /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/development:refs/remotes/origin/development
 > /usr/bin/git rev-parse refs/remotes/origin/development^{commit} # timeout=10
 > /usr/bin/git rev-parse refs/remotes/origin/refs/heads/development^{commit} # timeout=10
Checking out Revision 79194af1dc3b8c5abc99874f75f7aa484ad5b86e (refs/remotes/origin/development)
 > /usr/bin/git config core.sparsecheckout # timeout=10
 > /usr/bin/git checkout -f 79194af1dc3b8c5abc99874f75f7aa484ad5b86e
Commit message: "Merge remote-tracking branch 'origin/development' into pvj/development"
 > /usr/bin/git rev-list 8c2dd57b9d3caaeab4cc7794876d68b5b0e617f3 # 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
[Set GitHub commit status (universal)] PENDING on repos [GHRepository@1ad49b8d[description=Working repository for the development of a VDM to C code generator,homepage=<null>,name=vdm2c,license=<null>,fork=false,size=3548,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 12:22:38 GMT], ETag=[W/"d46c9f81a7c5f7112eb25716583abda1"], Last-Modified=[Sun, 22 Oct 2017 13:57:26 GMT], OkHttp-Received-Millis=[1511958158982], OkHttp-Response-Source=[CONDITIONAL_CACHE 200], OkHttp-Selected-Protocol=[http/1.1], OkHttp-Sent-Millis=[1511958158807], 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=[88CC:148B:81C08B:10BAF59:5A1EA68E], X-OAuth-Scopes=[read:repo_hook, repo, user], X-RateLimit-Limit=[5000], X-RateLimit-Remaining=[4999], X-RateLimit-Reset=[1511961758], X-Runtime-rack=[0.058244], X-XSS-Protection=[1; mode=block]},url=https://api.github.com/repos/overturetool/vdm2c,id=49344489]] (sha:79194af) with context:vdm2c
Setting commit status on GitHub for https://github.com/overturetool/vdm2c/commit/79194af1dc3b8c5abc99874f75f7aa484ad5b86e
Parsing POMs
Modules changed, recalculating dependency graph
Established TCP socket on 36380
[vdm2c] $ 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 36380
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/pom.xml -Dmaven.repo.local=/var/lib/jenkins/workspace/vdm2c/.repository -s /var/lib/jenkins/internal-resources/settings.xml clean package -DVDM_LIB_PATH=/var/lib/jenkins/workspace/vdm2c/c/vdmclib/src/main -PWith-IDE -Pcodesigning
[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/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 p2.index from http://download.eclipse.org/releases/neon/201703141400/ (0B 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@54ede608[description=Working repository for the development of a VDM to C code generator,homepage=<null>,name=vdm2c,license=<null>,fork=false,size=3548,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 12:22:38 GMT], ETag=[W/"d46c9f81a7c5f7112eb25716583abda1"], Last-Modified=[Sun, 22 Oct 2017 13:57:26 GMT], OkHttp-Received-Millis=[1511958159039], OkHttp-Response-Source=[CACHE 200], OkHttp-Selected-Protocol=[http/1.1], OkHttp-Sent-Millis=[1511958158893], 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=[88CE:1480:2B3035:63D01A:5A1EA68E], X-OAuth-Scopes=[read:repo_hook, repo, user], X-RateLimit-Limit=[5000], X-RateLimit-Remaining=[4998], X-RateLimit-Reset=[1511961758], X-Runtime-rack=[0.043882], X-XSS-Protection=[1; mode=block]},url=https://api.github.com/repos/overturetool/vdm2c,id=49344489]] (sha:79194af) with context:vdm2c
Setting commit status on GitHub for https://github.com/overturetool/vdm2c/commit/79194af1dc3b8c5abc99874f75f7aa484ad5b86e
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