Build failed in Jenkins: plume-lib-typecheck » Local_jdk8u #912
0 views
Skip to first unread message
zab...@gmail.com
Jun 2, 2016, 7:35:46 PM6/2/16
to plume-...@googlegroups.com, checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/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=Local_jdk8u/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
[Local_jdk8u] $ /bin/sh -xe /tmp/hudson8654214651697275473.sh
+ ln -fs java/src src
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javac> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javadoc> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javah> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javap> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/sjavac>
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/bin/javac>
[Local_jdk8u] $ /bin/sh -xe /tmp/hudson4758639083166038520.sh
+ PATH=/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//bin:/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//bin:/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//bin:/sbin:/usr/sbin:/bin:/usr/bin
+ CHECKERFRAMEWORK=<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive>
+ JAVAC=<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/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=Local_jdk8u/ws/java'>
\rm -f .class-files-timestamp
make JAVAC_COMMAND="<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/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=Local_jdk8u/ws/java'>
make tools_jar_exists
make[2]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make /www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar
make[3]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[3]: `/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar' is up to date.
make[3]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[2]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make clean optionsdoc
make[2]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/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=Local_jdk8u/ws/java'>
make tools_jar_exists
make[4]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make /www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar
make[5]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[5]: `/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar' is up to date.
make[5]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[4]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/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
Memory pool Code Cache statistics
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
Peak usage: init = 2555904(2496K) used = 41221888(40255K) committed = 41877504(40896K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21001312(20509K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869832(1826K) 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 = 63624968(62133K) committed = 90701824(88576K) max = 90701824(88576K)
Pool type: Non-heap memory
Pool type: Non-heap memory
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41221888(40255K) committed = 41877504(40896K) max = 251658240(245760K)
Peak usage: init = 2555904(2496K) used = 41221888(40255K) committed = 41877504(40896K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Memory pool PS Old Gen statistics
Peak usage: init = 0(0K) used = 21001648(20509K) committed = 21626880(21120K) max = -1(-1K)
Peak usage: init = 2555904(2496K) used = 41221888(40255K) committed = 41877504(40896K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21001648(20509K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41221888(40255K) committed = 41877504(40896K) max = 251658240(245760K)
Peak usage: init = 0(0K) used = 1869832(1826K) committed = 1966080(1920K) max = 1073741824(1048576K)
Peak usage: init = 2555904(2496K) used = 41221888(40255K) committed = 41877504(40896K) max = 251658240(245760K)
Memory pool Metaspace statistics
Memory pool PS Eden Space statistics
Pool type: Heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Pool type: Heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41221888(40255K) committed = 41877504(40896K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21001648(20509K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869832(1826K) 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 = 1056964608(1032192K) used = 1053369776(1028681K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 0(0K) used = 1869832(1826K) 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 = 0(0K) used = 21001648(20509K) committed = 21626880(21120K) max = -1(-1K)
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 66060288(64512K) used = 63624968(62133K) committed = 90701824(88576K) max = 90701824(88576K)
Peak usage: init = 66060288(64512K) used = 63624968(62133K) committed = 90701824(88576K) max = 90701824(88576K)
Memory pool PS Old Gen statistics
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 688914432(672768K)
Peak usage: init = 0(0K) used = 21001648(20509K) 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
Pool type: Heap memory
Memory pool PS Old Gen statistics
Peak usage: init = 0(0K) used = 1869832(1826K) committed = 1966080(1920K) max = 1073741824(1048576K)
Peak usage: init = 0(0K) used = 21003344(20511K) committed = 21626880(21120K) max = -1(-1K)
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 = 63624968(62133K) committed = 90701824(88576K) max = 90701824(88576K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1053369776(1028681K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1053369776(1028681K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 1056964608(1032192K) used = 1053369776(1028681K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 66060288(64512K) used = 63624968(62133K) committed = 90701824(88576K) max = 90701824(88576K)
Peak usage: init = 0(0K) used = 1869832(1826K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Old Gen statistics
Memory pool Compressed Class Space statistics
Pool type: Heap memory
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1053369776(1028681K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869832(1826K) 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 = 63624968(62133K) committed = 90701824(88576K) max = 90701824(88576K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1053369776(1028681K) 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 = 63624968(62133K) committed = 90701824(88576K) max = 90701824(88576K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1053369776(1028681K) 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=Local_jdk8u/ws/java'>
make[2]: *** [.optionsdoc-timestamp] Error 2
make[2]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[1]: *** [plume.jar] Error 2
make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make: *** [typecheck] Error 2
make: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
Build step 'Execute shell' marked build as failure
[WARNINGS] Skipping publisher since build result is FAILURE
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=Local_jdk8u/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
[Local_jdk8u] $ /bin/sh -xe /tmp/hudson8654214651697275473.sh
+ ln -fs java/src src
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javac> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javadoc> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javah> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javap> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/sjavac>
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/bin/javac>
[Local_jdk8u] $ /bin/sh -xe /tmp/hudson4758639083166038520.sh
+ PATH=/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//bin:/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//bin:/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//bin:/sbin:/usr/sbin:/bin:/usr/bin
+ CHECKERFRAMEWORK=<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive>
+ JAVAC=<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/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=Local_jdk8u/ws/java'>
\rm -f .class-files-timestamp
make JAVAC_COMMAND="<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/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=Local_jdk8u/ws/java'>
make tools_jar_exists
make[2]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make /www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar
make[3]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[3]: `/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar' is up to date.
make[3]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[2]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make clean optionsdoc
make[2]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/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=Local_jdk8u/ws/java'>
make tools_jar_exists
make[4]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make /www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar
make[5]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[5]: `/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar' is up to date.
make[5]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[4]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/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
Memory pool Code Cache statistics
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
Peak usage: init = 2555904(2496K) used = 41221888(40255K) committed = 41877504(40896K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21001312(20509K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869832(1826K) 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 = 63624968(62133K) committed = 90701824(88576K) max = 90701824(88576K)
Pool type: Non-heap memory
Pool type: Non-heap memory
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41221888(40255K) committed = 41877504(40896K) max = 251658240(245760K)
Peak usage: init = 2555904(2496K) used = 41221888(40255K) committed = 41877504(40896K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Memory pool PS Old Gen statistics
Peak usage: init = 0(0K) used = 21001648(20509K) committed = 21626880(21120K) max = -1(-1K)
Peak usage: init = 2555904(2496K) used = 41221888(40255K) committed = 41877504(40896K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21001648(20509K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41221888(40255K) committed = 41877504(40896K) max = 251658240(245760K)
Peak usage: init = 0(0K) used = 1869832(1826K) committed = 1966080(1920K) max = 1073741824(1048576K)
Peak usage: init = 2555904(2496K) used = 41221888(40255K) committed = 41877504(40896K) max = 251658240(245760K)
Memory pool Metaspace statistics
Memory pool PS Eden Space statistics
Pool type: Heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Pool type: Heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41221888(40255K) committed = 41877504(40896K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21001648(20509K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869832(1826K) 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 = 1056964608(1032192K) used = 1053369776(1028681K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 0(0K) used = 1869832(1826K) 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 = 0(0K) used = 21001648(20509K) committed = 21626880(21120K) max = -1(-1K)
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 66060288(64512K) used = 63624968(62133K) committed = 90701824(88576K) max = 90701824(88576K)
Peak usage: init = 66060288(64512K) used = 63624968(62133K) committed = 90701824(88576K) max = 90701824(88576K)
Memory pool PS Old Gen statistics
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 688914432(672768K)
Peak usage: init = 0(0K) used = 21001648(20509K) 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
Pool type: Heap memory
Memory pool PS Old Gen statistics
Peak usage: init = 0(0K) used = 1869832(1826K) committed = 1966080(1920K) max = 1073741824(1048576K)
Peak usage: init = 0(0K) used = 21003344(20511K) committed = 21626880(21120K) max = -1(-1K)
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 = 63624968(62133K) committed = 90701824(88576K) max = 90701824(88576K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1053369776(1028681K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1053369776(1028681K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 1056964608(1032192K) used = 1053369776(1028681K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 66060288(64512K) used = 63624968(62133K) committed = 90701824(88576K) max = 90701824(88576K)
Peak usage: init = 0(0K) used = 1869832(1826K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Old Gen statistics
Memory pool Compressed Class Space statistics
Pool type: Heap memory
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1053369776(1028681K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869832(1826K) 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 = 63624968(62133K) committed = 90701824(88576K) max = 90701824(88576K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1053369776(1028681K) 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 = 63624968(62133K) committed = 90701824(88576K) max = 90701824(88576K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1053369776(1028681K) 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=Local_jdk8u/ws/java'>
make[2]: *** [.optionsdoc-timestamp] Error 2
make[2]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[1]: *** [plume.jar] Error 2
make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make: *** [typecheck] Error 2
make: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
Build step 'Execute shell' marked build as failure
[WARNINGS] Skipping publisher since build result is FAILURE
zab...@gmail.com
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=Local_jdk8u/913/>
------------------------------------------
[...truncated 7 lines...]
[Local_jdk8u] $ /bin/sh -xe /tmp/hudson3383392165876043330.sh
Peak usage: init = 2555904(2496K) used = 40581504(39630K) committed = 41287680(40320K) max = 251658240(245760K)
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 40581504(39630K) committed = 41287680(40320K) max = 251658240(245760K)
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 40581504(39630K) committed = 41287680(40320K) max = 251658240(245760K)
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869784(1825K) committed = 1966080(1920K) max = 1073741824(1048576K)
------------------------------------------
[...truncated 7 lines...]
Building in workspace <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/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
> /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
[Local_jdk8u] $ /bin/sh -xe /tmp/hudson3383392165876043330.sh
+ ln -fs java/src src
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javac> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javadoc> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javah> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javap> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/sjavac>
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/bin/javac>
[Local_jdk8u] $ /bin/sh -xe /tmp/hudson5773783306871593838.sh
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javac> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javadoc> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javah> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javap> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/sjavac>
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/bin/javac>
Pool type: Non-heap memory
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 40581504(39630K) committed = 41287680(40320K) max = 251658240(245760K)
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21016296(20523K) committed = 21626880(21120K) max = -1(-1K)
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869784(1825K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Non-heap memory
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 = 63546912(62057K) committed = 90701824(88576K) max = 90701824(88576K)
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 PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1048469928(1023896K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
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
Peak usage: init = 2555904(2496K) used = 40581504(39630K) committed = 41287680(40320K) max = 251658240(245760K)
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 Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21016768(20524K) committed = 21626880(21120K) max = -1(-1K)
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869784(1825K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Non-heap memory
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 = 63546912(62057K) committed = 90701824(88576K) max = 90701824(88576K)
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 PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1048469928(1023896K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 40581504(39630K) committed = 41287680(40320K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21020112(20527K) committed = 21626880(21120K) max = -1(-1K)
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 40581504(39630K) committed = 41287680(40320K) max = 251658240(245760K)
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21020112(20527K) committed = 21626880(21120K) max = -1(-1K)
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869784(1825K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Non-heap memory
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 = 63546912(62057K) committed = 90701824(88576K) max = 90701824(88576K)
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 PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1048469928(1023896K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 40581504(39630K) committed = 41287680(40320K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21020112(20527K) committed = 21626880(21120K) max = -1(-1K)
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 40581504(39630K) committed = 41287680(40320K) max = 251658240(245760K)
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21020112(20527K) committed = 21626880(21120K) max = -1(-1K)
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869784(1825K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Non-heap memory
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 = 63546912(62057K) committed = 90701824(88576K) max = 90701824(88576K)
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 PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1048469928(1023896K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 40581504(39630K) committed = 41287680(40320K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21020448(20527K) committed = 21626880(21120K) max = -1(-1K)
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869784(1825K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Non-heap memory
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 = 63546912(62057K) committed = 90701824(88576K) max = 90701824(88576K)
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 PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1048469928(1023896K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869784(1825K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 1869784(1825K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Heap memory
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 = 63546912(62057K) committed = 90701824(88576K) max = 90701824(88576K)
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 PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1048469928(1023896K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
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 = 63546912(62057K) committed = 90701824(88576K) max = 90701824(88576K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1048469928(1023896K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
zab...@gmail.com
Jun 2, 2016, 9:48:08 PM6/2/16
to plume-...@googlegroups.com, checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/914/>
------------------------------------------
[...truncated 23 lines...]
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41122752(40158K) committed = 42074112(41088K) max = 251658240(245760K)
Peak usage: init = 0(0K) used = 1869280(1825K) committed = 1966080(1920K) max = 1073741824(1048576K)
Peak usage: init = 66060288(64512K) used = 63586568(62096K) committed = 90177536(88064K) max = 90177536(88064K)
Peak usage: init = 66060288(64512K) used = 63586568(62096K) committed = 90177536(88064K) max = 90177536(88064K)
Peak usage: init = 66060288(64512K) used = 63586568(62096K) committed = 90177536(88064K) max = 90177536(88064K)
Peak usage: init = 1056964608(1032192K) used = 1052092984(1027434K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
------------------------------------------
[...truncated 23 lines...]
Building in workspace <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/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
[Local_jdk8u] $ /bin/sh -xe /tmp/hudson2061317158357404241.sh
> /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
+ ln -fs java/src src
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javac> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javadoc> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javah> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javap> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/sjavac>
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/bin/javac>
[Local_jdk8u] $ /bin/sh -xe /tmp/hudson284348057557093006.sh
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javac> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javadoc> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javah> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javap> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/sjavac>
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/bin/javac>
Peak usage: init = 2555904(2496K) used = 41122752(40158K) committed = 42074112(41088K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20999736(20507K) committed = 21626880(21120K) max = -1(-1K)
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869280(1825K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Non-heap memory
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 = 63586568(62096K) committed = 90177536(88064K) max = 90177536(88064K)
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 PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1052092984(1027434K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: 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
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 = 41122752(40158K) committed = 42074112(41088K) max = 251658240(245760K)
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
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41122752(40158K) committed = 42074112(41088K) max = 251658240(245760K)
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41122752(40158K) committed = 42074112(41088K) max = 251658240(245760K)
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41122752(40158K) committed = 42074112(41088K) max = 251658240(245760K)
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41122752(40158K) committed = 42074112(41088K) max = 251658240(245760K)
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20999864(20507K) committed = 21626880(21120K) max = -1(-1K)
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20999864(20507K) committed = 21626880(21120K) max = -1(-1K)
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869280(1825K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Non-heap memory
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 20999864(20507K) committed = 21626880(21120K) max = -1(-1K)
Pool type: Heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869280(1825K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Non-heap memory
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 = 0(0K) used = 20999864(20507K) committed = 21626880(21120K) max = -1(-1K)
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 Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869280(1825K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Non-heap memory
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 = 0(0K) used = 20999864(20507K) committed = 21626880(21120K) max = -1(-1K)
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 Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869280(1825K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Non-heap memory
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 = 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 = 63586568(62096K) committed = 90177536(88064K) max = 90177536(88064K)
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 = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 688914432(672768K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Memory pool PS Old Gen statistics
Pool type: Heap memory
Pool type: Heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41122752(40158K) committed = 42074112(41088K) max = 251658240(245760K)
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21002104(20509K) committed = 21626880(21120K) max = -1(-1K)
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869280(1825K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Non-heap memory
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 = 63586568(62096K) committed = 90177536(88064K) max = 90177536(88064K)
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 PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1052092984(1027434K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
Peak usage: init = 0(0K) used = 1869280(1825K) 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 = 63586568(62096K) committed = 90177536(88064K) max = 90177536(88064K)
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 PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1052092984(1027434K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63586568(62096K) committed = 90177536(88064K) max = 90177536(88064K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1052092984(1027434K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63586568(62096K) committed = 90177536(88064K) max = 90177536(88064K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1052092984(1027434K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63586568(62096K) committed = 90177536(88064K) max = 90177536(88064K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1052092984(1027434K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1052092984(1027434K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
zab...@gmail.com
Jun 2, 2016, 11:29:26 PM6/2/16
to plume-...@googlegroups.com, checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/915/>
------------------------------------------
[...truncated 20 lines...]
Peak usage: init = 1056964608(1032192K) used = 1049665744(1025064K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 66060288(64512K) used = 63627168(62135K) committed = 90177536(88064K) max = 90177536(88064K)
Peak usage: init = 0(0K) used = 1869832(1826K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21007992(20515K) committed = 21626880(21120K) max = -1(-1K)
Peak usage: init = 2555904(2496K) used = 40541824(39591K) committed = 41353216(40384K) max = 251658240(245760K)
Peak usage: init = 0(0K) used = 1869832(1826K) committed = 1966080(1920K) max = 1073741824(1048576K)
Peak usage: init = 66060288(64512K) used = 63627168(62135K) committed = 90177536(88064K) max = 90177536(88064K)
------------------------------------------
[...truncated 20 lines...]
Building in workspace <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/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
[Local_jdk8u] $ /bin/sh -xe /tmp/hudson9181165474303202515.sh
> /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
+ ln -fs java/src src
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javac> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javadoc> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javah> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javap> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/sjavac>
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/bin/javac>
[Local_jdk8u] $ /bin/sh -xe /tmp/hudson4661189342208916273.sh
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javac> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javadoc> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javah> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javap> <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/sjavac>
+ chmod +x <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/bin/javac>
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 40541824(39591K) committed = 41353216(40384K) max = 251658240(245760K)
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21007144(20514K) committed = 21626880(21120K) max = -1(-1K)
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869832(1826K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Non-heap memory
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 689438720(673280K)
Pool type: Heap memory
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63627168(62135K) committed = 90177536(88064K) max = 90177536(88064K)
Pool type: Heap memory
Memory pool PS Old Gen statistics
Pool type: Heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 1056964608(1032192K) used = 1049665744(1025064K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: 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 = 40541824(39591K) committed = 41353216(40384K) max = 251658240(245760K)
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Pool type: Non-heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 40541824(39591K) committed = 41353216(40384K) max = 251658240(245760K)
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21007992(20515K) committed = 21626880(21120K) max = -1(-1K)
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
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 = 40541824(39591K) committed = 41353216(40384K) max = 251658240(245760K)
Pool type: Non-heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21007992(20515K) committed = 21626880(21120K) max = -1(-1K)
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869832(1826K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Non-heap memory
Memory pool PS Eden Space statistics
Pool type: Heap memory
Pool type: Heap memory
Memory pool Code Cache statistics
Peak usage: init = 2555904(2496K) used = 40541824(39591K) committed = 41353216(40384K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 689438720(673280K)
Pool type: Non-heap memory
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 21007992(20515K) committed = 21626880(21120K) max = -1(-1K)
Pool type: Heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869832(1826K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Non-heap memory
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 689438720(673280K)
Pool type: Heap memory
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63627168(62135K) committed = 90177536(88064K) max = 90177536(88064K)
Pool type: Heap memory
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 40541824(39591K) committed = 41353216(40384K) max = 251658240(245760K)
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1049665744(1025064K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 66060288(64512K) used = 63627168(62135K) committed = 90177536(88064K) max = 90177536(88064K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1049665744(1025064K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
Peak usage: init = 0(0K) used = 1869832(1826K) 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 = 689438720(673280K)
Pool type: Heap memory
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63627168(62135K) committed = 90177536(88064K) max = 90177536(88064K)
Pool type: Heap memory
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1049665744(1025064K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21007992(20515K) committed = 21626880(21120K) max = -1(-1K)
Peak usage: init = 2555904(2496K) used = 40541824(39591K) committed = 41353216(40384K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21010264(20517K) committed = 21626880(21120K) max = -1(-1K)
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869832(1826K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Non-heap memory
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 689438720(673280K)
Pool type: Heap memory
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63627168(62135K) committed = 90177536(88064K) max = 90177536(88064K)
Pool type: Heap memory
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1049665744(1025064K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Peak usage: init = 0(0K) used = 21010600(20518K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Pool type: Non-heap memory
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1869832(1826K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 1869832(1826K) committed = 1966080(1920K) max = 1073741824(1048576K)
Pool type: Heap memory
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 689438720(673280K)
Pool type: Heap memory
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63627168(62135K) committed = 90177536(88064K) max = 90177536(88064K)
Pool type: Heap memory
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 686292992(670208K) committed = 686292992(670208K) max = 689438720(673280K)
Pool type: Heap memory
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1049665744(1025064K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 63627168(62135K) committed = 90177536(88064K) max = 90177536(88064K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1049665744(1025064K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Heap memory
zab...@gmail.com
Jun 2, 2016, 11:53:58 PM6/2/16
to plume-...@googlegroups.com, checker-fr...@googlegroups.com
Reply all
Reply to author
Forward
0 new messages