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

0 views
Skip to first unread message

zab...@gmail.com

unread,
Jun 2, 2016, 7:39:17 PM6/2/16
to plume-...@googlegroups.com, checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/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

------------------------------------------
[...truncated 5 lines...]
Building in workspace <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/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_8] $ /bin/sh -xe /tmp/hudson5110895246970894932.sh
+ ln -fs java/src src
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/javac> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/javadoc> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/javah> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/javap> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/sjavac>
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../checker-framework/configurations/axis-jdk/JDK_8/lastSuccessful/archive/checker/bin/javac>
[JDK_8] $ /bin/sh -xe /tmp/hudson4931352275432239079.sh
+ PATH=/www/secs-jenkins/java/jdk1.8.0/bin:/www/secs-jenkins/java/jdk1.8.0/bin:/www/secs-jenkins/java/jdk1.8.0/bin:/sbin:/usr/sbin:/bin:/usr/bin
+ CHECKERFRAMEWORK=<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../checker-framework/configurations/axis-jdk/JDK_8/lastSuccessful/archive>
+ JAVAC=<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/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_8/ws/java'>
\rm -f .class-files-timestamp
make JAVAC_COMMAND="<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../checker-framework/configurations/axis-jdk/JDK_8/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_8/ws/java'>
make tools_jar_exists
make[2]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/java'>
make /www/secs-jenkins/java/jdk1.8.0/lib/tools.jar
make[3]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/java'>
make[3]: `/www/secs-jenkins/java/jdk1.8.0/lib/tools.jar' is up to date.
make[3]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/java'>
make[2]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/java'>
make clean optionsdoc
make[2]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/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_8/ws/java'>
make tools_jar_exists
make[4]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/java'>
make /www/secs-jenkins/java/jdk1.8.0/lib/tools.jar
make[5]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/java'>
make[5]: `/www/secs-jenkins/java/jdk1.8.0/lib/tools.jar' is up to date.
make[5]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/java'>
make[4]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/java'>
<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../checker-framework/configurations/axis-jdk/JDK_8/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
Memory pool Code Cache statistics
Pool type: Non-heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
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 = 41982464(40998K) committed = 42401792(41408K) max = 251658240(245760K)
Peak usage: init = 2555904(2496K) used = 41982464(40998K) committed = 42401792(41408K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41982464(40998K) committed = 42401792(41408K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41982464(40998K) committed = 42401792(41408K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41982464(40998K) committed = 42401792(41408K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41982464(40998K) committed = 42401792(41408K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21078248(20584K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21078248(20584K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21078248(20584K) committed = 21626880(21120K) max = -1(-1K)
Peak usage: init = 0(0K) used = 1910728(1865K) committed = 1966080(1920K) max = 1073741824(1048576K)
Peak usage: init = 0(0K) used = 21078248(20584K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41982464(40998K) committed = 42401792(41408K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21078248(20584K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1910728(1865K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1910728(1865K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 21078248(20584K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 689963008(673792K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 64496888(62985K) committed = 91750400(89600K) max = 91750400(89600K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1051816064(1027164K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 0(0K) used = 1910728(1865K) committed = 1966080(1920K) max = 1073741824(1048576K)
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 = 0(0K) used = 1910728(1865K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 21078248(20584K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 689963008(673792K)
Memory pool PS Survivor Space statistics
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 689963008(673792K)
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 689963008(673792K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 689963008(673792K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 1910728(1865K) committed = 1966080(1920K) max = 1073741824(1048576K)
Peak usage: init = 66060288(64512K) used = 64496888(62985K) committed = 91750400(89600K) max = 91750400(89600K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 64496888(62985K) committed = 91750400(89600K) max = 91750400(89600K)
Peak usage: init = 1056964608(1032192K) used = 1051816064(1027164K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Pool type: Heap memory
Peak usage: init = 0(0K) used = 1910728(1865K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 64496888(62985K) committed = 91750400(89600K) max = 91750400(89600K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 64496888(62985K) committed = 91750400(89600K) max = 91750400(89600K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Memory pool PS Eden Space statistics
Peak usage: init = 1056964608(1032192K) used = 1051816064(1027164K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1051816064(1027164K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 689963008(673792K)
Peak usage: init = 1056964608(1032192K) used = 1051816064(1027164K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 689963008(673792K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 64496888(62985K) committed = 91750400(89600K) max = 91750400(89600K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1051816064(1027164K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 64496888(62985K) committed = 91750400(89600K) max = 91750400(89600K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1051816064(1027164K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
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_8/ws/java'>
make[2]: *** [.optionsdoc-timestamp] Error 2
make[2]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/java'>
make[1]: *** [plume.jar] Error 2
make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/java'>
make: *** [typecheck] Error 2
make: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/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:33 PM6/2/16
to plume-...@googlegroups.com, checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/913/>

------------------------------------------
[...truncated 7 lines...]
Building in workspace <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/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_8] $ /bin/sh -xe /tmp/hudson1912059604660716225.sh
+ ln -fs java/src src
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/javac> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/javadoc> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/javah> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/javap> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/sjavac>
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../checker-framework/configurations/axis-jdk/JDK_8/lastSuccessful/archive/checker/bin/javac>
[JDK_8] $ /bin/sh -xe /tmp/hudson8096050228853380184.sh
Pool type: Non-heap memory
Pool type: Non-heap memory
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 = 40838784(39881K) committed = 41484288(40512K) max = 251658240(245760K)
Peak usage: init = 2555904(2496K) used = 40838784(39881K) committed = 41484288(40512K) max = 251658240(245760K)
Peak usage: init = 2555904(2496K) used = 40838784(39881K) committed = 41484288(40512K) max = 251658240(245760K)
Peak usage: init = 2555904(2496K) used = 40838784(39881K) committed = 41484288(40512K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 40838784(39881K) committed = 41484288(40512K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21062440(20568K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1910840(1866K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 688914432(672768K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66453936(64896K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1053707872(1029011K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 2555904(2496K) used = 40838784(39881K) committed = 41484288(40512K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21062568(20568K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21062568(20568K) committed = 21626880(21120K) max = -1(-1K)
Peak usage: init = 0(0K) used = 21062440(20568K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1910840(1866K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 21062440(20568K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 40838784(39881K) committed = 41484288(40512K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21062568(20568K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1910840(1866K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 688914432(672768K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21062568(20568K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1910840(1866K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 688914432(672768K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66453936(64896K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66453936(64896K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1053707872(1029011K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 688914432(672768K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66453936(64896K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1053707872(1029011K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 0(0K) used = 1910840(1866K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1910840(1866K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 688914432(672768K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66453936(64896K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1053707872(1029011K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 0(0K) used = 1910840(1866K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 688914432(672768K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66453936(64896K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1053707872(1029011K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 1056964608(1032192K) used = 1053707872(1029011K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 688914432(672768K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66453936(64896K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1053707872(1029011K) committed = 1056964608(1032192K) max = 1398276096(1365504K)

zab...@gmail.com

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

------------------------------------------
[...truncated 23 lines...]
Building in workspace <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/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_8] $ /bin/sh -xe /tmp/hudson5764890589957675506.sh
+ ln -fs java/src src
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/javac> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/javadoc> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/javah> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/javap> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/sjavac>
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../checker-framework/configurations/axis-jdk/JDK_8/lastSuccessful/archive/checker/bin/javac>
[JDK_8] $ /bin/sh -xe /tmp/hudson6892797142068576903.sh
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 40576640(39625K) committed = 41484288(40512K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21074088(20580K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1910640(1865K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 689963008(673792K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 64520224(63008K) committed = 91750400(89600K) max = 91750400(89600K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1048516664(1023942K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
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 = 40576640(39625K) committed = 41484288(40512K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 40576640(39625K) committed = 41484288(40512K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21074592(20580K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21074592(20580K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1910640(1865K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 40576640(39625K) committed = 41484288(40512K) max = 251658240(245760K)
Peak usage: init = 2555904(2496K) used = 40576640(39625K) committed = 41484288(40512K) max = 251658240(245760K)
Memory pool Metaspace 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 = 40576640(39625K) committed = 41484288(40512K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21074592(20580K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1910640(1865K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 689963008(673792K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 689963008(673792K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 64520224(63008K) committed = 91750400(89600K) max = 91750400(89600K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 1910640(1865K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 689963008(673792K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 64520224(63008K) committed = 91750400(89600K) max = 91750400(89600K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1048516664(1023942K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 1056964608(1032192K) used = 1048516664(1023942K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 0(0K) used = 21074592(20580K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 66060288(64512K) used = 64520224(63008K) committed = 91750400(89600K) max = 91750400(89600K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 21074592(20580K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 40576640(39625K) committed = 41484288(40512K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1910640(1865K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1048516664(1023942K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 0(0K) used = 1910640(1865K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 689963008(673792K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 21077200(20583K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 66060288(64512K) used = 64520224(63008K) committed = 91750400(89600K) max = 91750400(89600K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1048516664(1023942K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 689963008(673792K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 1910640(1865K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 689963008(673792K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 64520224(63008K) committed = 91750400(89600K) max = 91750400(89600K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1048516664(1023942K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 66060288(64512K) used = 64520224(63008K) committed = 91750400(89600K) max = 91750400(89600K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1048516664(1023942K) committed = 1056964608(1032192K) max = 1398276096(1365504K)

zab...@gmail.com

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

------------------------------------------
[...truncated 20 lines...]
Building in workspace <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/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_8] $ /bin/sh -xe /tmp/hudson7768633289709398719.sh
+ ln -fs java/src src
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/javac> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/javadoc> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/javah> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/javap> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/sjavac>
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../checker-framework/configurations/axis-jdk/JDK_8/lastSuccessful/archive/checker/bin/javac>
[JDK_8] $ /bin/sh -xe /tmp/hudson4089575858655283972.sh
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
Memory pool Code Cache statistics
Pool type: Non-heap memory
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 = 41327360(40358K) committed = 41943040(40960K) max = 251658240(245760K)
Peak usage: init = 2555904(2496K) used = 41327360(40358K) committed = 41943040(40960K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41327360(40358K) committed = 41943040(40960K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41327360(40358K) committed = 41943040(40960K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41327360(40358K) committed = 41943040(40960K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41327360(40358K) committed = 41943040(40960K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41327360(40358K) committed = 41943040(40960K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21078456(20584K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21078456(20584K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21078456(20584K) committed = 21626880(21120K) max = -1(-1K)
Peak usage: init = 0(0K) used = 1910760(1865K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Peak usage: init = 0(0K) used = 21078456(20584K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21078456(20584K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1910760(1865K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 1910760(1865K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Pool type: Heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1910760(1865K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 21078456(20584K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 396361728(387072K) used = 685244416(669184K) committed = 685244416(669184K) max = 691011584(674816K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 1910760(1865K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 685244416(669184K) committed = 685244416(669184K) max = 691011584(674816K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 685244416(669184K) committed = 685244416(669184K) max = 691011584(674816K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 685244416(669184K) committed = 685244416(669184K) max = 691011584(674816K)
Peak usage: init = 0(0K) used = 21078456(20584K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66665104(65102K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66665104(65102K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 685244416(669184K) committed = 685244416(669184K) max = 691011584(674816K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66665104(65102K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 1910760(1865K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1050483960(1025863K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 66060288(64512K) used = 66665104(65102K) committed = 93847552(91648K) max = 93847552(91648K)
Peak usage: init = 1056964608(1032192K) used = 1050483960(1025863K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 1056964608(1032192K) used = 1050483960(1025863K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 66060288(64512K) used = 66665104(65102K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1050483960(1025863K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 0(0K) used = 1910760(1865K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 685244416(669184K) committed = 685244416(669184K) max = 691011584(674816K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66665104(65102K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1050483960(1025863K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1050483960(1025863K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 396361728(387072K) used = 685244416(669184K) committed = 685244416(669184K) max = 691011584(674816K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66665104(65102K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1050483960(1025863K) committed = 1056964608(1032192K) max = 1398276096(1365504K)

zab...@gmail.com

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

Reply all
Reply to author
Forward
0 new messages