Build failed in Jenkins: plume-lib-typecheck » JDK_7 #912

0 views
Skip to first unread message

zab...@gmail.com

unread,
Jun 2, 2016, 7:38:08 PM6/2/16
to plume-...@googlegroups.com, checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/912/changes>

Changes:

[Michael Ernst] Make sum handle ragged as well as rectangular arrays

[Michael Ernst] Better error checking for fn_inverse

[Michael Ernst] Handle sum of array of doubles, just like ints

[Michael Ernst] Make tests run

[Michael Ernst] Fix @return Javadoc clause for isSubarray

------------------------------------------
Started by upstream project "plume-lib-typecheck" build number 912
originally caused by:
Started by upstream project "plume-lib" build number 236
originally caused by:
Started by an SCM change
Building in workspace <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/>
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse --is-inside-work-tree # timeout=10
Fetching changes from the remote Git repository
> /www/secs-jenkins/tools/git-2.4.5/git config remote.origin.url https://github.com/mernst/plume-lib.git # timeout=10
Fetching upstream changes from https://github.com/mernst/plume-lib.git
> /www/secs-jenkins/tools/git-2.4.5/git --version # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git -c core.askpass=true fetch --tags --progress https://github.com/mernst/plume-lib.git +refs/heads/*:refs/remotes/origin/*
Checking out Revision f2a433a77c0c4f2b3bc3b6c9856d5e44c3abff3d (refs/remotes/origin/master)
> /www/secs-jenkins/tools/git-2.4.5/git config core.sparsecheckout # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git checkout -f f2a433a77c0c4f2b3bc3b6c9856d5e44c3abff3d
> /www/secs-jenkins/tools/git-2.4.5/git rev-list bfb40c77040290f2ebb4d2df2cfc5eabe6ee2e23 # timeout=10
[JDK_7] $ /bin/sh -xe /tmp/hudson5260218258651180654.sh
+ ln -fs java/src src
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_7/lastSuccessful/archive/dist/bin/javac> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_7/lastSuccessful/archive/dist/bin/javadoc> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_7/lastSuccessful/archive/dist/bin/javah> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_7/lastSuccessful/archive/dist/bin/javap> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_7/lastSuccessful/archive/dist/bin/sjavac>
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/lastSuccessful/archive/checker/bin/javac>
[JDK_7] $ /bin/sh -xe /tmp/hudson6340260894743761188.sh
+ PATH=/www/secs-jenkins/java/jdk1.7.0/bin:/www/secs-jenkins/java/jdk1.7.0/bin:/www/secs-jenkins/java/jdk1.7.0/bin:/sbin:/usr/sbin:/bin:/usr/bin
+ CHECKERFRAMEWORK=<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/lastSuccessful/archive>
+ JAVAC=<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_7/lastSuccessful/archive/dist/bin/javac>
+ JAVAC_TARGET_FLAGS='-source 7 -target 7 -AprintErrorStack -Awarns -XDsourcePosition=bottom -AresourceStats'
+ make -C java typecheck
make: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
\rm -f .class-files-timestamp
make JAVAC_COMMAND="<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/lastSuccessful/archive/checker/bin/javac> -g -Xlint -Xmaxwarns 1000 -J-Xmx2000m -source 7 -target 7 -Xlint:-options -Werror -Xlint:-classfile -source 7 -target 7 -AprintErrorStack -Awarns -XDsourcePosition=bottom -AresourceStats -source 7 -target 7 -Xlint:-options -Awarns -implicit:class -Xlint:-processing -AcheckPurityAnnotations -AsuppressWarnings=lock:method.guarantee.violated -processor org.checkerframework.checker.nullness.NullnessRawnessChecker,org.checkerframework.checker.nullness.NullnessChecker,org.checkerframework.checker.interning.InterningChecker,org.checkerframework.checker.regex.RegexChecker,org.checkerframework.checker.formatter.FormatterChecker,org.checkerframework.checker.signature.SignatureChecker,org.checkerframework.checker.lock.LockChecker "
make[1]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
make tools_jar_exists
make[2]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
make /www/secs-jenkins/java/jdk1.7.0/lib/tools.jar
make[3]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
make[3]: `/www/secs-jenkins/java/jdk1.7.0/lib/tools.jar' is up to date.
make[3]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
make[2]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
make clean optionsdoc
make[2]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
rm -f src/plume/*.class
rm -f .class-files-timestamp
rm -f .javadoc-timestamp
rm -f .optionsdoc-timestamp
rm -f .test-timestamp
rm -f plume.jar lookup.jar task_manager.jar
make compile
make[3]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
make tools_jar_exists
make[4]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
make /www/secs-jenkins/java/jdk1.7.0/lib/tools.jar
make[5]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
make[5]: `/www/secs-jenkins/java/jdk1.7.0/lib/tools.jar' is up to date.
make[5]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
make[4]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/lastSuccessful/archive/checker/bin/javac> -g -Xlint -Xmaxwarns 1000 -J-Xmx2000m -source 7 -target 7 -Xlint:-options -Werror -Xlint:-classfile -source 7 -target 7 -AprintErrorStack -Awarns -XDsourcePosition=bottom -AresourceStats -source 7 -target 7 -Xlint:-options -Awarns -implicit:class -Xlint:-processing -AcheckPurityAnnotations -AsuppressWarnings=lock:method.guarantee.violated -processor org.checkerframework.checker.nullness.NullnessRawnessChecker,org.checkerframework.checker.nullness.NullnessChecker,org.checkerframework.checker.interning.InterningChecker,org.checkerframework.checker.regex.RegexChecker,org.checkerframework.checker.formatter.FormatterChecker,org.checkerframework.checker.signature.SignatureChecker,org.checkerframework.checker.lock.LockChecker src/plume/ArraysMDE.java src/plume/BCELUtil.java src/plume/BibtexClean.java src/plume/ClassFileVersion.java src/plume/CountingPrintWriter.java src/plume/DeterministicObject.java src/plume/Digest.java src/plume/EntryReader.java src/plume/FileCompiler.java src/plume/FileIOException.java src/plume/Filter.java src/plume/FuzzyFloat.java src/plume/GraphMDE.java src/plume/Hasher.java src/plume/HtmlPrettyPrint.java src/plume/ICalAvailable.java src/plume/Intern.java src/plume/IterableIterator.java src/plume/JWhich.java src/plume/LimitedSizeIntSet.java src/plume/LimitedSizeSet.java src/plume/Lookup.java src/plume/MathMDE.java src/plume/MultiRandSelector.java src/plume/MultiVersionControl.java src/plume/Option.java src/plume/OptionGroup.java src/plume/Options.java src/plume/OptionsDoclet.java src/plume/OrderedPairIterator.java src/plume/Pair.java src/plume/Partitioner.java src/plume/RandomSelector.java src/plume/RandoopMappedCalls.java src/plume/RegexUtil.java src/plume/SimpleLog.java src/plume/Stopwatch.java src/plume/StrTok.java src/plume/StringBuilderDelimited.java src/plume/TaskManager.java src/plume/TestPlume.java src/plume/TimeLimitProcess.java src/plume/Triple.java src/plume/Unpublicized.java src/plume/UtilMDE.java src/plume/WeakHasherMap.java src/plume/WeakIdentityHashMap.java src/plume/WeakIdentityPair.java src/plume/package-info.java 2>&1
Memory pool Code Cache statistics
Memory pool Code Cache statistics
Memory pool Code Cache statistics
Memory pool Code Cache statistics
Pool type: Non-heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 13498496(13182K) committed = 13697024(13376K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 687341568(671232K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 64885936(63365K) committed = 91226112(89088K) max = 91226112(89088K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1047984840(1023422K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18874832(18432K) committed = 41943040(40960K) max = 174063616(169984K)
Peak usage: init = 2555904(2496K) used = 13498496(13182K) committed = 13697024(13376K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 13498496(13182K) committed = 13697024(13376K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Non-heap memory
Pool type: Non-heap memory
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 13498496(13182K) committed = 13697024(13376K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 687341568(671232K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 13498496(13182K) committed = 13697024(13376K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 13498496(13182K) committed = 13697024(13376K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 687341568(671232K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 687341568(671232K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 64885936(63365K) committed = 91226112(89088K) max = 91226112(89088K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 687341568(671232K)
Peak usage: init = 1055916032(1031168K) used = 1047984840(1023422K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 13498496(13182K) committed = 13697024(13376K) max = 50331648(49152K)
Peak usage: init = 22020096(21504K) used = 18874832(18432K) committed = 41943040(40960K) max = 174063616(169984K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 64885936(63365K) committed = 91226112(89088K) max = 91226112(89088K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1047984840(1023422K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18874832(18432K) committed = 41943040(40960K) max = 174063616(169984K)
Peak usage: init = 66060288(64512K) used = 64885936(63365K) committed = 91226112(89088K) max = 91226112(89088K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1047984840(1023422K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18874832(18432K) committed = 41943040(40960K) max = 174063616(169984K)
Peak usage: init = 66060288(64512K) used = 64885936(63365K) committed = 91226112(89088K) max = 91226112(89088K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 687341568(671232K)
Peak usage: init = 1055916032(1031168K) used = 1047984840(1023422K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 687341568(671232K)
Memory pool PS Survivor Space statistics
Peak usage: init = 22020096(21504K) used = 18874832(18432K) committed = 41943040(40960K) max = 174063616(169984K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 64885936(63365K) committed = 91226112(89088K) max = 91226112(89088K)
Peak usage: init = 66060288(64512K) used = 64885936(63365K) committed = 91226112(89088K) max = 91226112(89088K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1047984840(1023422K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Peak usage: init = 1055916032(1031168K) used = 1047984840(1023422K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18874832(18432K) committed = 41943040(40960K) max = 174063616(169984K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18874832(18432K) committed = 41943040(40960K) max = 174063616(169984K)
src/plume/TestPlume.java:492: warning: [type.argument.type.incompatible] incompatible types in type argument.
found : @NonRaw @Nullable String
required: @NonNull @NonRaw Object
assertThat(e.getMessage(), is(equalTo("Not invertible; a[1]=0 and a[3]=0")));
^
src/plume/TestPlume.java:492: warning: [argument.type.incompatible] incompatible types in argument.
found : @NonNull @NonRaw Matcher<@NonNull @NonRaw String>
required: @NonNull @NonRaw Matcher<? extends @NonNull @NonRaw Object super @NonRaw @Nullable String>
assertThat(e.getMessage(), is(equalTo("Not invertible; a[1]=0 and a[3]=0")));
^
src/plume/TestPlume.java:504: warning: [type.argument.type.incompatible] incompatible types in type argument.
found : @NonRaw @Nullable String
required: @NonNull @NonRaw Object
assertThat(e.getMessage(), is(equalTo("Bad range value: a[0]=100")));
^
src/plume/TestPlume.java:504: warning: [argument.type.incompatible] incompatible types in argument.
found : @NonNull @NonRaw Matcher<@NonNull @NonRaw String>
required: @NonNull @NonRaw Matcher<? extends @NonNull @NonRaw Object super @NonRaw @Nullable String>
assertThat(e.getMessage(), is(equalTo("Bad range value: a[0]=100")));
^
src/plume/TestPlume.java:492: warning: [type.argument.type.incompatible] incompatible types in type argument.
found : @Initialized @Nullable String
required: @Initialized @NonNull Object
assertThat(e.getMessage(), is(equalTo("Not invertible; a[1]=0 and a[3]=0")));
^
src/plume/TestPlume.java:492: warning: [argument.type.incompatible] incompatible types in argument.
found : @Initialized @NonNull Matcher<@Initialized @NonNull String>
required: @Initialized @NonNull Matcher<? extends @Initialized @NonNull Object super @Initialized @Nullable String>
assertThat(e.getMessage(), is(equalTo("Not invertible; a[1]=0 and a[3]=0")));
^
src/plume/TestPlume.java:504: warning: [type.argument.type.incompatible] incompatible types in type argument.
found : @Initialized @Nullable String
required: @Initialized @NonNull Object
assertThat(e.getMessage(), is(equalTo("Bad range value: a[0]=100")));
^
src/plume/TestPlume.java:504: warning: [argument.type.incompatible] incompatible types in argument.
found : @Initialized @NonNull Matcher<@Initialized @NonNull String>
required: @Initialized @NonNull Matcher<? extends @Initialized @NonNull Object super @Initialized @Nullable String>
assertThat(e.getMessage(), is(equalTo("Bad range value: a[0]=100")));
^
src/plume/TestPlume.java:492: warning: [argument.type.incompatible] incompatible types in argument.
found : Matcher<@Regex String>
required: Matcher<? extends Object super String>
assertThat(e.getMessage(), is(equalTo("Not invertible; a[1]=0 and a[3]=0")));
^
src/plume/TestPlume.java:504: warning: [argument.type.incompatible] incompatible types in argument.
found : Matcher<@Regex String>
required: Matcher<? extends Object super String>
assertThat(e.getMessage(), is(equalTo("Bad range value: a[0]=100")));
^
src/plume/TestPlume.java:492: warning: [argument.type.incompatible] incompatible types in argument.
found : Matcher<@Format({}) String>
required: Matcher<? extends Object super String>
assertThat(e.getMessage(), is(equalTo("Not invertible; a[1]=0 and a[3]=0")));
^
src/plume/TestPlume.java:504: warning: [argument.type.incompatible] incompatible types in argument.
found : Matcher<@Format({}) String>
required: Matcher<? extends Object super String>
assertThat(e.getMessage(), is(equalTo("Bad range value: a[0]=100")));
^
error: warnings found and -Werror specified
1 error
12 warnings
make[3]: *** [.class-files-timestamp] Error 1
make[3]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
make[2]: *** [.optionsdoc-timestamp] Error 2
make[2]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
make[1]: *** [plume.jar] Error 2
make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
make: *** [typecheck] Error 2
make: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
Build step 'Execute shell' marked build as failure
[WARNINGS] Skipping publisher since build result is FAILURE

zab...@gmail.com

unread,
Jun 2, 2016, 7:50:31 PM6/2/16
to plume-...@googlegroups.com, checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/913/>

------------------------------------------
Started by upstream project "plume-lib-typecheck" build number 913
originally caused by:
Started by upstream project "checker-framework" build number 1036
originally caused by:
Started by upstream project "annotation-tools" build number 247
originally caused by:
Started by an SCM change
Building in workspace <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/>
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse --is-inside-work-tree # timeout=10
Fetching changes from the remote Git repository
> /www/secs-jenkins/tools/git-2.4.5/git config remote.origin.url https://github.com/mernst/plume-lib.git # timeout=10
Fetching upstream changes from https://github.com/mernst/plume-lib.git
> /www/secs-jenkins/tools/git-2.4.5/git --version # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git -c core.askpass=true fetch --tags --progress https://github.com/mernst/plume-lib.git +refs/heads/*:refs/remotes/origin/*
Checking out Revision f2a433a77c0c4f2b3bc3b6c9856d5e44c3abff3d (refs/remotes/origin/master)
> /www/secs-jenkins/tools/git-2.4.5/git config core.sparsecheckout # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git checkout -f f2a433a77c0c4f2b3bc3b6c9856d5e44c3abff3d
> /www/secs-jenkins/tools/git-2.4.5/git rev-list f2a433a77c0c4f2b3bc3b6c9856d5e44c3abff3d # timeout=10
[JDK_7] $ /bin/sh -xe /tmp/hudson4401456539013741280.sh
+ ln -fs java/src src
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_7/lastSuccessful/archive/dist/bin/javac> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_7/lastSuccessful/archive/dist/bin/javadoc> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_7/lastSuccessful/archive/dist/bin/javah> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_7/lastSuccessful/archive/dist/bin/javap> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_7/lastSuccessful/archive/dist/bin/sjavac>
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/lastSuccessful/archive/checker/bin/javac>
[JDK_7] $ /bin/sh -xe /tmp/hudson7172606589859155259.sh
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 13760256(13437K) committed = 13959168(13632K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 686817280(670720K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63049976(61572K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1047509696(1022958K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18882752(18440K) committed = 41943040(40960K) max = 174063616(169984K)
Memory pool Code Cache statistics
Pool type: Non-heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Memory pool Code Cache statistics
Peak usage: init = 2555904(2496K) used = 13760256(13437K) committed = 13959168(13632K) max = 50331648(49152K)
Peak usage: init = 2555904(2496K) used = 13760256(13437K) committed = 13959168(13632K) max = 50331648(49152K)
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 13760256(13437K) committed = 13959168(13632K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Memory pool Code Cache statistics
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 686817280(670720K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 686817280(670720K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Memory pool PS Eden Space statistics
Pool type: Heap memory
Pool type: Non-heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 686817280(670720K)
Peak usage: init = 2555904(2496K) used = 13760256(13437K) committed = 13959168(13632K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 686817280(670720K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63049976(61572K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63049976(61572K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63049976(61572K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 13760256(13437K) committed = 13959168(13632K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 686817280(670720K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63049976(61572K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1047509696(1022958K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18882752(18440K) committed = 41943040(40960K) max = 174063616(169984K)
Peak usage: init = 2555904(2496K) used = 13760256(13437K) committed = 13959168(13632K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1047509696(1022958K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18882752(18440K) committed = 41943040(40960K) max = 174063616(169984K)
Peak usage: init = 1055916032(1031168K) used = 1047509696(1022958K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 1055916032(1031168K) used = 1047509696(1022958K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 22020096(21504K) used = 18882752(18440K) committed = 41943040(40960K) max = 174063616(169984K)
Peak usage: init = 22020096(21504K) used = 18882752(18440K) committed = 41943040(40960K) max = 174063616(169984K)
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 686817280(670720K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63049976(61572K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1047509696(1022958K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18882752(18440K) committed = 41943040(40960K) max = 174063616(169984K)
Peak usage: init = 66060288(64512K) used = 63049976(61572K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1047509696(1022958K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18882752(18440K) committed = 41943040(40960K) max = 174063616(169984K)

zab...@gmail.com

unread,
Jun 2, 2016, 9:48:16 PM6/2/16
to plume-...@googlegroups.com, checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/914/>

------------------------------------------
[...truncated 2 lines...]
Started by upstream project "checker-framework" build number 1037
originally caused by:
Started by upstream project "annotation-tools" build number 248
[JDK_7] $ /bin/sh -xe /tmp/hudson6163753828435638657.sh
+ ln -fs java/src src
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_7/lastSuccessful/archive/dist/bin/javac> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_7/lastSuccessful/archive/dist/bin/javadoc> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_7/lastSuccessful/archive/dist/bin/javah> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_7/lastSuccessful/archive/dist/bin/javap> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_7/lastSuccessful/archive/dist/bin/sjavac>
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/lastSuccessful/archive/checker/bin/javac>
[JDK_7] $ /bin/sh -xe /tmp/hudson7794227466391145969.sh
Peak usage: init = 2555904(2496K) used = 13299008(12987K) committed = 13565952(13248K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 682622976(666624K) committed = 682622976(666624K) max = 686292992(670208K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 62993480(61517K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1046195152(1021674K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18863752(18421K) committed = 41943040(40960K) max = 174063616(169984K)
Memory pool Code Cache statistics
Pool type: Non-heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 13299008(12987K) committed = 13565952(13248K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 13299008(12987K) committed = 13565952(13248K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 13299008(12987K) committed = 13565952(13248K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 682622976(666624K) committed = 682622976(666624K) max = 686292992(670208K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 62993480(61517K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1046195152(1021674K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18863752(18421K) committed = 41943040(40960K) max = 174063616(169984K)
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 13299008(12987K) committed = 13565952(13248K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 13299008(12987K) committed = 13565952(13248K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 682622976(666624K) committed = 682622976(666624K) max = 686292992(670208K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 682622976(666624K) committed = 682622976(666624K) max = 686292992(670208K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 62993480(61517K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 682622976(666624K) committed = 682622976(666624K) max = 686292992(670208K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 62993480(61517K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1046195152(1021674K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 396361728(387072K) used = 682622976(666624K) committed = 682622976(666624K) max = 686292992(670208K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 22020096(21504K) used = 18863752(18421K) committed = 41943040(40960K) max = 174063616(169984K)
Peak usage: init = 1055916032(1031168K) used = 1046195152(1021674K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18863752(18421K) committed = 41943040(40960K) max = 174063616(169984K)
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 66060288(64512K) used = 62993480(61517K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1046195152(1021674K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18863752(18421K) committed = 41943040(40960K) max = 174063616(169984K)
Peak usage: init = 2555904(2496K) used = 13299008(12987K) committed = 13565952(13248K) max = 50331648(49152K)
Peak usage: init = 66060288(64512K) used = 62993480(61517K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1046195152(1021674K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18863752(18421K) committed = 41943040(40960K) max = 174063616(169984K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 682622976(666624K) committed = 682622976(666624K) max = 686292992(670208K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 62993480(61517K) committed = 88604672(86528K) max = 88604672(86528K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1046195152(1021674K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18863752(18421K) committed = 41943040(40960K) max = 174063616(169984K)

zab...@gmail.com

unread,
Jun 2, 2016, 11:33:51 PM6/2/16
to plume-...@googlegroups.com, checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/915/>

------------------------------------------
Started by upstream project "plume-lib-typecheck" build number 915
originally caused by:
Started by upstream project "checker-framework" build number 1038
originally caused by:
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Building in workspace <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/>
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse --is-inside-work-tree # timeout=10
Fetching changes from the remote Git repository
> /www/secs-jenkins/tools/git-2.4.5/git config remote.origin.url https://github.com/mernst/plume-lib.git # timeout=10
Fetching upstream changes from https://github.com/mernst/plume-lib.git
> /www/secs-jenkins/tools/git-2.4.5/git --version # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git -c core.askpass=true fetch --tags --progress https://github.com/mernst/plume-lib.git +refs/heads/*:refs/remotes/origin/*
Checking out Revision f2a433a77c0c4f2b3bc3b6c9856d5e44c3abff3d (refs/remotes/origin/master)
> /www/secs-jenkins/tools/git-2.4.5/git config core.sparsecheckout # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git checkout -f f2a433a77c0c4f2b3bc3b6c9856d5e44c3abff3d
> /www/secs-jenkins/tools/git-2.4.5/git rev-list f2a433a77c0c4f2b3bc3b6c9856d5e44c3abff3d # timeout=10
[JDK_7] $ /bin/sh -xe /tmp/hudson3088062596045647406.sh
+ ln -fs java/src src
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_7/lastSuccessful/archive/dist/bin/javac> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_7/lastSuccessful/archive/dist/bin/javadoc> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_7/lastSuccessful/archive/dist/bin/javah> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_7/lastSuccessful/archive/dist/bin/javap> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_7/lastSuccessful/archive/dist/bin/sjavac>
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/lastSuccessful/archive/checker/bin/javac>
[JDK_7] $ /bin/sh -xe /tmp/hudson8044910270258748124.sh
Memory pool Code Cache statistics
Memory pool Code Cache statistics
Memory pool Code Cache statistics
Memory pool Code Cache statistics
Memory pool Code Cache statistics
Pool type: Non-heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 13760448(13437K) committed = 13959168(13632K) max = 50331648(49152K)
Peak usage: init = 2555904(2496K) used = 13760448(13437K) committed = 13959168(13632K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Non-heap memory
Pool type: Non-heap memory
Pool type: Non-heap memory
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 13760448(13437K) committed = 13959168(13632K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Peak usage: init = 2555904(2496K) used = 13760448(13437K) committed = 13959168(13632K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 13760448(13437K) committed = 13959168(13632K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Pool type: Heap memory
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 13760448(13437K) committed = 13959168(13632K) max = 50331648(49152K)
Peak usage: init = 396361728(387072K) used = 681050112(665088K) committed = 681050112(665088K) max = 685768704(669696K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681050112(665088K) committed = 681050112(665088K) max = 685768704(669696K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681050112(665088K) committed = 681050112(665088K) max = 685768704(669696K)
Peak usage: init = 66060288(64512K) used = 63225096(61743K) committed = 89128960(87040K) max = 89128960(87040K)
Peak usage: init = 396361728(387072K) used = 681050112(665088K) committed = 681050112(665088K) max = 685768704(669696K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 13760448(13437K) committed = 13959168(13632K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681050112(665088K) committed = 681050112(665088K) max = 685768704(669696K)
Peak usage: init = 66060288(64512K) used = 63225096(61743K) committed = 89128960(87040K) max = 89128960(87040K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Memory pool PS Old Gen statistics
Pool type: Heap memory
Memory pool PS Survivor Space statistics
Peak usage: init = 66060288(64512K) used = 63225096(61743K) committed = 89128960(87040K) max = 89128960(87040K)
Memory pool PS Old Gen statistics
Memory pool PS Eden Space statistics
Pool type: Heap memory
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1051108984(1026473K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 1055916032(1031168K) used = 1051108984(1026473K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Memory pool PS Survivor Space statistics
Peak usage: init = 396361728(387072K) used = 681050112(665088K) committed = 681050112(665088K) max = 685768704(669696K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Pool type: Heap memory
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18899992(18457K) committed = 41943040(40960K) max = 174063616(169984K)
Peak usage: init = 66060288(64512K) used = 63225096(61743K) committed = 89128960(87040K) max = 89128960(87040K)
Peak usage: init = 1055916032(1031168K) used = 1051108984(1026473K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Pool type: Heap memory
Peak usage: init = 22020096(21504K) used = 18899992(18457K) committed = 41943040(40960K) max = 174063616(169984K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 22020096(21504K) used = 18899992(18457K) committed = 41943040(40960K) max = 174063616(169984K)
Peak usage: init = 66060288(64512K) used = 63225096(61743K) committed = 89128960(87040K) max = 89128960(87040K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63225096(61743K) committed = 89128960(87040K) max = 89128960(87040K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1051108984(1026473K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 1055916032(1031168K) used = 1051108984(1026473K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 396361728(387072K) used = 681050112(665088K) committed = 681050112(665088K) max = 685768704(669696K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 22020096(21504K) used = 18899992(18457K) committed = 41943040(40960K) max = 174063616(169984K)
Peak usage: init = 22020096(21504K) used = 18899992(18457K) committed = 41943040(40960K) max = 174063616(169984K)
Peak usage: init = 1055916032(1031168K) used = 1051108984(1026473K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 66060288(64512K) used = 63225096(61743K) committed = 89128960(87040K) max = 89128960(87040K)
Peak usage: init = 22020096(21504K) used = 18899992(18457K) committed = 41943040(40960K) max = 174063616(169984K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1051108984(1026473K) committed = 1055916032(1031168K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18899992(18457K) committed = 41943040(40960K) max = 174063616(169984K)

zab...@gmail.com

unread,
Jun 2, 2016, 11:53:58 PM6/2/16
to plume-...@googlegroups.com, checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/916/changes>

Reply all
Reply to author
Forward
0 new messages