PB'05 competition: run trace

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1845203981 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 39 3 38 16 0 23 0
[pid=25950] vsize: 156
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
execve syscall for /oldhome/oroussel/jre1.5.0_05/bin/java executable
open syscall for file /etc/ld.so.preload
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/libpthread.so.0
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libdl.so.2
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libc.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libc.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libjvm.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libm.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libm.so.6
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /etc/mtab
open syscall for file /proc/meminfo
open syscall for file .hotspotrc
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/endorsed
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /proc/self/maps
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/native_threads/libhpi.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libnsl.so.1
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libnsl.so.1
open syscall for file tls/i686/mmx/libnsl.so.1
open syscall for file tls/i686/libnsl.so.1
open syscall for file tls/mmx/libnsl.so.1
open syscall for file tls/libnsl.so.1
open syscall for file i686/mmx/libnsl.so.1
open syscall for file i686/libnsl.so.1
open syscall for file mmx/libnsl.so.1
open syscall for file libnsl.so.1
open syscall for file /oldhome/oroussel/lib/libnsl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libnsl.so.1
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /tmp/hsperfdata_oroussel
open syscall for file /tmp/hsperfdata_oroussel/25950
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libverify.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libjava.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libzip.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/rt.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jsse.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jce.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/charsets.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/classes.jsa
open syscall for file .hotspot_compiler
New thread pid=25951
New thread pid=25952
New thread pid=25953
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext
New thread pid=25954
New thread pid=25955
New thread pid=25956
New thread pid=25957
New thread pid=25958
New thread pid=25959
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security
open syscall for file /dev/random
open syscall for file /dev/urandom
open syscall for file /oldhome/oroussel/tmp/wulflinc29/normalized-frb56-25-1.opb

[startup+10.0022 s]
Raw data (loadavg): 0.93 0.98 0.99 2/65 25959
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18079 0 1 0 752 58 0 0 25 0 10 0 1845203981 854515712 22363 4294967295 134512640 134569956 3221224336 3221214360 1076697494 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 208622 22363 13129 16 0 208606 0
[pid=25950] vsize: 834488
Current children cumulated CPU time (s) 8.1
Current children cumulated vsize (Kb) 834488
New thread pid=25960
One traced child (pid=25960) exited with status: 0
New thread pid=25961
One traced child (pid=25961) exited with status: 0
New thread pid=25962
One traced child (pid=25962) exited with status: 0

[startup+20.002 s]
Raw data (loadavg): 0.94 0.98 0.99 2/65 25962
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18183 3 1 0 1508 61 0 0 25 0 10 0 1845203981 857772032 32441 4294967295 134512640 134569956 3221224336 3221214408 1131089743 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209417 32441 13129 16 0 209401 0
[pid=25950] vsize: 837668
Current children cumulated CPU time (s) 15.69
Current children cumulated vsize (Kb) 837668
New thread pid=25963

[startup+30.0018 s]
Raw data (loadavg): 0.95 0.98 0.99 2/66 25963
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18194 3 1 0 2377 61 0 0 16 0 11 0 1845203981 857772032 36176 4294967295 134512640 134569956 3221224336 3221214520 1131429705 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209417 36176 13129 16 0 209401 0
[pid=25950] vsize: 837668
Current children cumulated CPU time (s) 24.38
Current children cumulated vsize (Kb) 837668
One traced child (pid=25963) exited with status: 0
New thread pid=25964

[startup+40.0026 s]
Raw data (loadavg): 0.96 0.98 0.99 2/66 25964
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18201 3 1 0 3325 62 0 0 25 0 11 0 1845203981 857772032 36866 4294967295 134512640 134569956 3221224336 3221214656 1131540297 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209417 36866 13129 16 0 209401 0
[pid=25950] vsize: 837668
Current children cumulated CPU time (s) 33.87
Current children cumulated vsize (Kb) 837668

[startup+50.0034 s]
Raw data (loadavg): 0.96 0.98 0.99 2/66 25964
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18209 3 1 0 4243 62 0 0 25 0 11 0 1845203981 857772032 37837 4294967295 134512640 134569956 3221224336 3221214608 1131586921 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209417 37837 13129 16 0 209401 0
[pid=25950] vsize: 837668
Current children cumulated CPU time (s) 43.05
Current children cumulated vsize (Kb) 837668

[startup+60.0042 s]
Raw data (loadavg): 0.97 0.98 0.99 2/66 25964
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18217 3 1 0 5165 62 0 0 21 0 11 0 1845203981 857772032 38597 4294967295 134512640 134569956 3221224336 3221214624 1131382868 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209417 38597 13129 16 0 209401 0
[pid=25950] vsize: 837668
Current children cumulated CPU time (s) 52.27
Current children cumulated vsize (Kb) 837668

[startup+70.0039 s]
Raw data (loadavg): 0.97 0.98 0.99 2/66 25964
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18226 3 1 0 6104 63 0 0 17 0 11 0 1845203981 857772032 38597 4294967295 134512640 134569956 3221224336 3221214544 1131422566 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209417 38597 13129 16 0 209401 0
[pid=25950] vsize: 837668
Current children cumulated CPU time (s) 61.67
Current children cumulated vsize (Kb) 837668
One traced child (pid=25964) exited with status: 0
New thread pid=25965

[startup+80.0047 s]
Raw data (loadavg): 0.98 0.98 0.99 2/66 25965
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18236 3 1 0 7033 63 0 0 17 0 11 0 1845203981 857772032 38877 4294967295 134512640 134569956 3221224336 3221214664 1131519120 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209417 38877 13129 16 0 209401 0
[pid=25950] vsize: 837668
Current children cumulated CPU time (s) 70.96
Current children cumulated vsize (Kb) 837668

[startup+90.0045 s]
Raw data (loadavg): 0.98 0.98 0.99 2/66 25965
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18241 3 1 0 7959 64 0 0 25 0 11 0 1845203981 859021312 40119 4294967295 134512640 134569956 3221224336 3221214432 1131371421 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209722 40119 13129 16 0 209706 0
[pid=25950] vsize: 838888
Current children cumulated CPU time (s) 80.23
Current children cumulated vsize (Kb) 838888

[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/66 25965
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18248 3 1 0 8882 65 0 0 20 0 11 0 1845203981 858791936 40883 4294967295 134512640 134569956 3221224336 3221214528 1131565266 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 40883 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 89.47
Current children cumulated vsize (Kb) 838664

[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/66 25965
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18256 3 1 0 9799 65 0 0 19 0 11 0 1845203981 858791936 41169 4294967295 134512640 134569956 3221224336 3221214512 1131454384 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 41169 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 98.64
Current children cumulated vsize (Kb) 838664

[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25965
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18265 3 1 0 10712 65 0 0 20 0 11 0 1845203981 858791936 41443 4294967295 134512640 134569956 3221224336 3221214528 1131565204 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 41443 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 107.77
Current children cumulated vsize (Kb) 838664

[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25965
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18272 3 1 0 11644 66 0 0 25 0 11 0 1845203981 858791936 41644 4294967295 134512640 134569956 3221224336 3221214512 1131454603 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 41644 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 117.1
Current children cumulated vsize (Kb) 838664

[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25965
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18279 3 1 0 12581 66 0 0 23 0 11 0 1845203981 858791936 41955 4294967295 134512640 134569956 3221224336 3221214408 1131480093 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 41955 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 126.47
Current children cumulated vsize (Kb) 838664

[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25965
Raw data (/proc/25950/stat): 25950 (java) S 25949 25950 19818 0 -1 0 18285 3 1 0 13530 67 0 0 25 0 11 0 1845203981 858791936 42337 4294967295 134512640 134569956 3221224336 3221213216 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 42337 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 135.97
Current children cumulated vsize (Kb) 838664

[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25965
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18294 3 1 0 14478 67 0 0 24 0 11 0 1845203981 858791936 42650 4294967295 134512640 134569956 3221224336 3221214512 1131454272 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 42650 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 145.45
Current children cumulated vsize (Kb) 838664

[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25965
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18299 3 1 0 15448 68 0 0 25 0 11 0 1845203981 858791936 42835 4294967295 134512640 134569956 3221224336 3221214472 1131479922 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 42835 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 155.16
Current children cumulated vsize (Kb) 838664

[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25965
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18302 3 1 0 16429 68 0 0 25 0 11 0 1845203981 858791936 43136 4294967295 134512640 134569956 3221224336 3221214512 1131454339 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 43136 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 164.97
Current children cumulated vsize (Kb) 838664

[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25965
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18303 3 1 0 17423 68 0 0 25 0 11 0 1845203981 858791936 43136 4294967295 134512640 134569956 3221224336 3221214408 1131480044 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 43136 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 174.91
Current children cumulated vsize (Kb) 838664

[startup+200.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25965
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18304 3 1 0 18417 68 0 0 25 0 11 0 1845203981 858791936 43136 4294967295 134512640 134569956 3221224336 3221214472 1131480284 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 43136 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 184.85
Current children cumulated vsize (Kb) 838664
One traced child (pid=25965) exited with status: 0
New thread pid=25966

[startup+210.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) S 25949 25950 19818 0 -1 0 18307 3 1 0 19390 68 0 0 25 0 11 0 1845203981 858791936 43933 4294967295 134512640 134569956 3221224336 3221213216 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 43933 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 194.58
Current children cumulated vsize (Kb) 838664

[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18316 3 1 0 20332 69 0 0 25 0 11 0 1845203981 858791936 43933 4294967295 134512640 134569956 3221224336 3221214512 1131454467 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 43933 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (Kb) 838664

[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18321 3 1 0 21298 69 0 0 25 0 11 0 1845203981 858791936 43933 4294967295 134512640 134569956 3221224336 3221214520 1131382873 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 43933 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 213.67
Current children cumulated vsize (Kb) 838664

[startup+240.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18322 3 1 0 22289 69 0 0 25 0 11 0 1845203981 858791936 43933 4294967295 134512640 134569956 3221224336 3221214408 1131480173 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 43933 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 223.58
Current children cumulated vsize (Kb) 838664

[startup+250.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18323 3 1 0 23280 69 0 0 25 0 11 0 1845203981 858791936 44581 4294967295 134512640 134569956 3221224336 3221214408 1131480350 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 44581 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 233.49
Current children cumulated vsize (Kb) 838664

[startup+260.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18325 3 1 0 24268 69 0 0 25 0 11 0 1845203981 858791936 44581 4294967295 134512640 134569956 3221224336 3221214472 1131480239 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 44581 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 243.37
Current children cumulated vsize (Kb) 838664

[startup+270.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18326 3 1 0 25260 69 0 0 25 0 11 0 1845203981 858791936 44581 4294967295 134512640 134569956 3221224336 3221214208 1131701389 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 44581 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 253.29
Current children cumulated vsize (Kb) 838664

[startup+280.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18328 3 1 0 26249 70 0 0 25 0 11 0 1845203981 858791936 45365 4294967295 134512640 134569956 3221224336 3221214512 1131454476 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 45365 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 263.19
Current children cumulated vsize (Kb) 838664

[startup+290.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18330 3 1 0 27243 70 0 0 25 0 11 0 1845203981 858791936 45365 4294967295 134512640 134569956 3221224336 3221214408 1131480167 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 45365 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 273.13
Current children cumulated vsize (Kb) 838664

[startup+300.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18337 3 1 0 28217 70 0 0 25 0 11 0 1845203981 858791936 45365 4294967295 134512640 134569956 3221224336 3221214472 1131480367 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 45365 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 282.87
Current children cumulated vsize (Kb) 838664

[startup+310.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18337 3 1 0 29216 71 0 0 25 0 11 0 1845203981 858791936 45365 4294967295 134512640 134569956 3221224336 3221214408 1131480179 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 45365 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 292.87
Current children cumulated vsize (Kb) 838664

[startup+320.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18343 3 1 0 30195 72 0 0 25 0 11 0 1845203981 858791936 46224 4294967295 134512640 134569956 3221224336 3221214472 1131480292 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 46224 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 302.67
Current children cumulated vsize (Kb) 838664

[startup+330.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18345 3 1 0 31187 72 0 0 25 0 11 0 1845203981 858791936 46224 4294967295 134512640 134569956 3221224336 3221214512 1131454539 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 46224 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 312.59
Current children cumulated vsize (Kb) 838664

[startup+340.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18348 3 1 0 32177 72 0 0 25 0 11 0 1845203981 858791936 46734 4294967295 134512640 134569956 3221224336 3221214408 1131480173 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 46734 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 322.49
Current children cumulated vsize (Kb) 838664

[startup+350.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18353 3 1 0 33163 72 0 0 25 0 11 0 1845203981 858791936 47197 4294967295 134512640 134569956 3221224336 3221214472 1131479609 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 47197 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 332.35
Current children cumulated vsize (Kb) 838664

[startup+360.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18356 3 1 0 34152 73 0 0 25 0 11 0 1845203981 858791936 47197 4294967295 134512640 134569956 3221224336 3221214512 1131454339 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 47197 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (Kb) 838664

[startup+370.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18361 3 1 0 35135 73 0 0 25 0 11 0 1845203981 858791936 47197 4294967295 134512640 134569956 3221224336 3221214408 1131480183 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 47197 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 352.08
Current children cumulated vsize (Kb) 838664

[startup+380.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18362 3 1 0 36129 73 0 0 25 0 11 0 1845203981 858791936 47197 4294967295 134512640 134569956 3221224336 3221214472 1131480054 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 47197 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 362.02
Current children cumulated vsize (Kb) 838664

[startup+390.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18363 3 1 0 37125 73 0 0 25 0 11 0 1845203981 858791936 47668 4294967295 134512640 134569956 3221224336 3221214408 1131480058 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 47668 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 371.98
Current children cumulated vsize (Kb) 838664

[startup+400.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18363 3 1 0 38125 73 0 0 25 0 11 0 1845203981 858791936 47668 4294967295 134512640 134569956 3221224336 3221214208 1131701378 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 47668 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 381.98
Current children cumulated vsize (Kb) 838664

[startup+410.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18364 3 1 0 39121 73 0 0 25 0 11 0 1845203981 858791936 47668 4294967295 134512640 134569956 3221224336 3221214320 1131706268 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 47668 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 391.94
Current children cumulated vsize (Kb) 838664

[startup+420.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18364 3 1 0 40121 73 0 0 25 0 11 0 1845203981 858791936 47668 4294967295 134512640 134569956 3221224336 3221214432 1131632483 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 47668 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 401.94
Current children cumulated vsize (Kb) 838664

[startup+430.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18364 3 1 0 41121 73 0 0 25 0 11 0 1845203981 858791936 47668 4294967295 134512640 134569956 3221224336 3221214472 1131480207 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 47668 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 411.94
Current children cumulated vsize (Kb) 838664

[startup+440.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18364 3 1 0 42122 73 0 0 25 0 11 0 1845203981 858791936 47668 4294967295 134512640 134569956 3221224336 3221214408 1131480076 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 47668 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 421.95
Current children cumulated vsize (Kb) 838664

[startup+450.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18364 3 1 0 43122 73 0 0 25 0 11 0 1845203981 858791936 47668 4294967295 134512640 134569956 3221224336 3221214408 1131480076 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 47668 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 431.95
Current children cumulated vsize (Kb) 838664

[startup+460.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18365 3 1 0 44119 74 0 0 25 0 11 0 1845203981 858791936 47668 4294967295 134512640 134569956 3221224336 3221214208 1131701452 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 47668 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 441.93
Current children cumulated vsize (Kb) 838664

[startup+470.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18365 3 1 0 45118 74 0 0 25 0 11 0 1845203981 858791936 47668 4294967295 134512640 134569956 3221224336 3221214320 1131706627 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 47668 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 451.92
Current children cumulated vsize (Kb) 838664

[startup+480.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18366 3 1 0 46116 74 0 0 18 0 11 0 1845203981 858791936 47668 4294967295 134512640 134569956 3221224336 3221214208 1131706635 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 47668 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 461.9
Current children cumulated vsize (Kb) 838664

[startup+490.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18370 3 1 0 47102 74 0 0 25 0 11 0 1845203981 858791936 49183 4294967295 134512640 134569956 3221224336 3221214512 1131454447 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 49183 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 471.76
Current children cumulated vsize (Kb) 838664

[startup+500.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18375 3 1 0 48098 74 0 0 25 0 11 0 1845203981 858791936 49183 4294967295 134512640 134569956 3221224336 3221214472 1131480092 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 49183 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 481.72
Current children cumulated vsize (Kb) 838664

[startup+510.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18375 3 1 0 49098 74 0 0 25 0 11 0 1845203981 858791936 49183 4294967295 134512640 134569956 3221224336 3221214408 1131480046 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 49183 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 491.72
Current children cumulated vsize (Kb) 838664

[startup+520.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18376 3 1 0 50095 75 0 0 25 0 11 0 1845203981 858791936 49183 4294967295 134512640 134569956 3221224336 3221214472 1131480358 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 49183 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 501.7
Current children cumulated vsize (Kb) 838664

[startup+530.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18376 3 1 0 51094 75 0 0 25 0 11 0 1845203981 858791936 49183 4294967295 134512640 134569956 3221224336 3221214472 1131480328 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 49183 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 511.69
Current children cumulated vsize (Kb) 838664

[startup+540.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18376 3 1 0 52094 75 0 0 25 0 11 0 1845203981 858791936 49183 4294967295 134512640 134569956 3221224336 3221214472 1131480332 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 49183 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 521.69
Current children cumulated vsize (Kb) 838664

[startup+550.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18376 3 1 0 53095 75 0 0 25 0 11 0 1845203981 858791936 49183 4294967295 134512640 134569956 3221224336 3221214408 1131480183 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 49183 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 531.7
Current children cumulated vsize (Kb) 838664

[startup+560.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18376 3 1 0 54095 75 0 0 25 0 11 0 1845203981 858791936 49183 4294967295 134512640 134569956 3221224336 3221214408 1131480101 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 49183 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 541.7
Current children cumulated vsize (Kb) 838664

[startup+570.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18377 3 1 0 55090 75 0 0 25 0 11 0 1845203981 858791936 49183 4294967295 134512640 134569956 3221224336 3221214472 1131480101 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 49183 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 551.65
Current children cumulated vsize (Kb) 838664

[startup+580.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18377 3 1 0 56090 75 0 0 25 0 11 0 1845203981 858791936 49183 4294967295 134512640 134569956 3221224336 3221214472 1131480358 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 49183 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 561.65
Current children cumulated vsize (Kb) 838664

[startup+590.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18377 3 1 0 57090 75 0 0 25 0 11 0 1845203981 858791936 49183 4294967295 134512640 134569956 3221224336 3221214472 1131480265 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 49183 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 571.65
Current children cumulated vsize (Kb) 838664

[startup+600.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18377 3 1 0 58090 75 0 0 25 0 11 0 1845203981 858791936 49183 4294967295 134512640 134569956 3221224336 3221214472 1131480203 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 49183 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 581.65
Current children cumulated vsize (Kb) 838664

[startup+610.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18377 3 1 0 59090 75 0 0 25 0 11 0 1845203981 858791936 49183 4294967295 134512640 134569956 3221224336 3221214408 1131480276 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 49183 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 591.65
Current children cumulated vsize (Kb) 838664

[startup+620.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18377 3 1 0 60090 75 0 0 25 0 11 0 1845203981 858791936 49183 4294967295 134512640 134569956 3221224336 3221214408 1131480354 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 49183 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 601.65
Current children cumulated vsize (Kb) 838664

[startup+630.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18377 3 1 0 61091 75 0 0 25 0 11 0 1845203981 858791936 49183 4294967295 134512640 134569956 3221224336 3221214408 1131480312 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 49183 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 611.66
Current children cumulated vsize (Kb) 838664

[startup+640.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18378 3 1 0 62084 75 0 0 24 0 11 0 1845203981 858791936 49265 4294967295 134512640 134569956 3221224336 3221214408 1131480058 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 49265 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 621.59
Current children cumulated vsize (Kb) 838664

[startup+650.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18379 3 1 0 63078 75 0 0 25 0 11 0 1845203981 858791936 49320 4294967295 134512640 134569956 3221224336 3221214472 1131480292 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 49320 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 631.53
Current children cumulated vsize (Kb) 838664

[startup+660.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18379 3 1 0 64078 75 0 0 25 0 11 0 1845203981 858791936 49320 4294967295 134512640 134569956 3221224336 3221214408 1131480324 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 49320 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 641.53
Current children cumulated vsize (Kb) 838664

[startup+670.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18379 3 1 0 65079 75 0 0 25 0 11 0 1845203981 858791936 49320 4294967295 134512640 134569956 3221224336 3221214408 1131480076 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 49320 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 651.54
Current children cumulated vsize (Kb) 838664

[startup+680.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18384 3 1 0 66051 75 0 0 25 0 11 0 1845203981 858791936 53337 4294967295 134512640 134569956 3221224336 3221214512 1131454567 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 53337 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 661.26
Current children cumulated vsize (Kb) 838664

[startup+690.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18390 3 1 0 67046 75 0 0 25 0 11 0 1845203981 858791936 53337 4294967295 134512640 134569956 3221224336 3221214408 1131480358 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 53337 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 671.21
Current children cumulated vsize (Kb) 838664

[startup+700.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18391 3 1 0 68043 75 0 0 25 0 11 0 1845203981 858791936 53337 4294967295 134512640 134569956 3221224336 3221214472 1131480336 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 53337 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 681.18
Current children cumulated vsize (Kb) 838664

[startup+710.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18391 3 1 0 69042 76 0 0 25 0 11 0 1845203981 858791936 53337 4294967295 134512640 134569956 3221224336 3221214472 1131480265 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 53337 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 691.18
Current children cumulated vsize (Kb) 838664

[startup+720.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18391 3 1 0 70041 76 0 0 25 0 11 0 1845203981 858791936 53337 4294967295 134512640 134569956 3221224336 3221214408 1131480284 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 53337 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 701.17
Current children cumulated vsize (Kb) 838664

[startup+730.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18391 3 1 0 71042 76 0 0 25 0 11 0 1845203981 858791936 53337 4294967295 134512640 134569956 3221224336 3221214408 1131480076 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 53337 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 711.18
Current children cumulated vsize (Kb) 838664

[startup+740.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18392 3 1 0 72037 76 0 0 25 0 11 0 1845203981 858791936 53337 4294967295 134512640 134569956 3221224336 3221214472 1131480080 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 53337 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 721.13
Current children cumulated vsize (Kb) 838664

[startup+750.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18393 3 1 0 73032 76 0 0 25 0 11 0 1845203981 858791936 53362 4294967295 134512640 134569956 3221224336 3221214472 1131480235 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 53362 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 731.08
Current children cumulated vsize (Kb) 838664

[startup+760.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18393 3 1 0 74033 76 0 0 25 0 11 0 1845203981 858791936 53362 4294967295 134512640 134569956 3221224336 3221214472 1131480149 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 53362 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 741.09
Current children cumulated vsize (Kb) 838664

[startup+770.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18393 3 1 0 75033 76 0 0 25 0 11 0 1845203981 858791936 53362 4294967295 134512640 134569956 3221224336 3221214472 1131480191 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 53362 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 751.09
Current children cumulated vsize (Kb) 838664

[startup+780.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18393 3 1 0 76033 76 0 0 25 0 11 0 1845203981 858791936 53362 4294967295 134512640 134569956 3221224336 3221214472 1131480252 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 53362 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 761.09
Current children cumulated vsize (Kb) 838664

[startup+790.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18393 3 1 0 77033 76 0 0 25 0 11 0 1845203981 858791936 53362 4294967295 134512640 134569956 3221224336 3221214408 1131480126 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 53362 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 771.09
Current children cumulated vsize (Kb) 838664

[startup+800.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18393 3 1 0 78033 76 0 0 25 0 11 0 1845203981 858791936 53362 4294967295 134512640 134569956 3221224336 3221214408 1131480177 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 53362 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 781.09
Current children cumulated vsize (Kb) 838664

[startup+810.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18394 3 1 0 79027 76 0 0 25 0 11 0 1845203981 858791936 53362 4294967295 134512640 134569956 3221224336 3221214408 1131480217 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 53362 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 791.03
Current children cumulated vsize (Kb) 838664

[startup+820.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18394 3 1 0 80028 76 0 0 25 0 11 0 1845203981 858791936 53362 4294967295 134512640 134569956 3221224336 3221214408 1131480084 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 53362 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 801.04
Current children cumulated vsize (Kb) 838664

[startup+830.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18400 3 1 0 81004 76 0 0 25 0 11 0 1845203981 858791936 56954 4294967295 134512640 134569956 3221224336 3221214512 1131454611 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 56954 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 810.8
Current children cumulated vsize (Kb) 838664

[startup+840.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18407 3 1 0 81998 76 0 0 25 0 11 0 1845203981 858791936 56954 4294967295 134512640 134569956 3221224336 3221214668 1131555689 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 56954 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 820.74
Current children cumulated vsize (Kb) 838664

[startup+850.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18409 3 1 0 82993 76 0 0 25 0 11 0 1845203981 858791936 56954 4294967295 134512640 134569956 3221224336 3221214408 1131480155 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56954 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 830.69
Current children cumulated vsize (Kb) 838664

[startup+860.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18409 3 1 0 83993 76 0 0 25 0 11 0 1845203981 858791936 56954 4294967295 134512640 134569956 3221224336 3221214208 1131701296 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56954 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 840.69
Current children cumulated vsize (Kb) 838664

[startup+870.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18410 3 1 0 84990 77 0 0 25 0 11 0 1845203981 858791936 56954 4294967295 134512640 134569956 3221224336 3221214472 1131480155 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56954 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 850.67
Current children cumulated vsize (Kb) 838664

[startup+880.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18410 3 1 0 85990 77 0 0 25 0 11 0 1845203981 858791936 56954 4294967295 134512640 134569956 3221224336 3221214408 1131480101 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56954 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 860.67
Current children cumulated vsize (Kb) 838664

[startup+890.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18411 3 1 0 86986 77 0 0 24 0 11 0 1845203981 858791936 56954 4294967295 134512640 134569956 3221224336 3221214408 1131480265 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 56954 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 870.63
Current children cumulated vsize (Kb) 838664

[startup+900.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18411 3 1 0 87985 77 0 0 25 0 11 0 1845203981 858791936 56954 4294967295 134512640 134569956 3221224336 3221214208 1131706315 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56954 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 880.62
Current children cumulated vsize (Kb) 838664

[startup+910.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18412 3 1 0 88980 77 0 0 25 0 11 0 1845203981 858791936 56974 4294967295 134512640 134569956 3221224336 3221214208 1131706187 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56974 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 890.57
Current children cumulated vsize (Kb) 838664

[startup+920.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18412 3 1 0 89980 77 0 0 25 0 11 0 1845203981 858791936 56974 4294967295 134512640 134569956 3221224336 3221214472 1131480165 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56974 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 900.57
Current children cumulated vsize (Kb) 838664

[startup+930.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18412 3 1 0 90981 77 0 0 25 0 11 0 1845203981 858791936 56974 4294967295 134512640 134569956 3221224336 3221214472 1131480207 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56974 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 910.58
Current children cumulated vsize (Kb) 838664

[startup+940.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18412 3 1 0 91981 77 0 0 25 0 11 0 1845203981 858791936 56974 4294967295 134512640 134569956 3221224336 3221214472 1131480101 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56974 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 920.58
Current children cumulated vsize (Kb) 838664

[startup+950.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18412 3 1 0 92981 77 0 0 25 0 11 0 1845203981 858791936 56974 4294967295 134512640 134569956 3221224336 3221214408 1131480044 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56974 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 930.58
Current children cumulated vsize (Kb) 838664

[startup+960.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18412 3 1 0 93981 77 0 0 25 0 11 0 1845203981 858791936 56974 4294967295 134512640 134569956 3221224336 3221214408 1131480076 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56974 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 940.58
Current children cumulated vsize (Kb) 838664

[startup+970.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18412 3 1 0 94981 77 0 0 25 0 11 0 1845203981 858791936 56974 4294967295 134512640 134569956 3221224336 3221214408 1131480179 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56974 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 950.58
Current children cumulated vsize (Kb) 838664

[startup+980.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18413 3 1 0 95980 78 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214472 1131480097 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 960.58
Current children cumulated vsize (Kb) 838664

[startup+990.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18413 3 1 0 96980 78 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214472 1131480265 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 970.58
Current children cumulated vsize (Kb) 838664

[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18414 3 1 0 97979 78 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214416 1131480324 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 980.57
Current children cumulated vsize (Kb) 838664

[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18414 3 1 0 98979 78 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214472 1131480306 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 990.57
Current children cumulated vsize (Kb) 838664

[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18414 3 1 0 99979 78 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214472 1131480132 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 1000.57
Current children cumulated vsize (Kb) 838664

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18414 3 1 0 100979 78 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214472 1131480155 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 1010.57
Current children cumulated vsize (Kb) 838664

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18414 3 1 0 101979 78 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214472 1131480142 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 1020.57
Current children cumulated vsize (Kb) 838664

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18414 3 1 0 102980 78 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214408 1131480115 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 1030.58
Current children cumulated vsize (Kb) 838664

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18414 3 1 0 103980 78 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214408 1131480149 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 1040.58
Current children cumulated vsize (Kb) 838664

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18414 3 1 0 104980 78 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214408 1131480065 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 1050.58
Current children cumulated vsize (Kb) 838664

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18414 3 1 0 105980 78 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214408 1131480177 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 1060.58
Current children cumulated vsize (Kb) 838664

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18415 3 1 0 106979 78 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214432 1131632455 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 1070.57
Current children cumulated vsize (Kb) 838664

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18415 3 1 0 107979 78 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214320 1131706298 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 1080.57
Current children cumulated vsize (Kb) 838664

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18416 3 1 0 108977 78 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214472 1131480119 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 1090.55
Current children cumulated vsize (Kb) 838664

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18416 3 1 0 109977 79 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214472 1131480132 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 1100.56
Current children cumulated vsize (Kb) 838664

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18416 3 1 0 110977 79 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214472 1131480265 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 1110.56
Current children cumulated vsize (Kb) 838664

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18416 3 1 0 111977 79 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214472 1131480084 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 1120.56
Current children cumulated vsize (Kb) 838664

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18416 3 1 0 112977 79 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214472 1131480358 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 1130.56
Current children cumulated vsize (Kb) 838664

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18416 3 1 0 113978 79 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214408 1131480332 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 1140.57
Current children cumulated vsize (Kb) 838664

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18416 3 1 0 114978 79 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214408 1131480217 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 1150.57
Current children cumulated vsize (Kb) 838664

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18416 3 1 0 115978 79 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214408 1131480076 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 1160.57
Current children cumulated vsize (Kb) 838664

[startup+1190.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18416 3 1 0 116978 79 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214408 1131480221 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 1170.57
Current children cumulated vsize (Kb) 838664

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18416 3 1 0 117978 79 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214408 1131480179 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 1180.57
Current children cumulated vsize (Kb) 838664

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18417 3 1 0 118976 79 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214472 1131480183 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 1190.55
Current children cumulated vsize (Kb) 838664

[startup+1220.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18417 3 1 0 119976 79 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214208 1131701463 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 1200.55
Current children cumulated vsize (Kb) 838664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/66 25966
Raw data (/proc/25950/stat): 25950 (java) R 25949 25950 19818 0 -1 0 18417 3 1 0 119976 79 0 0 25 0 11 0 1845203981 858791936 56976 4294967295 134512640 134569956 3221224336 3221214208 1131701339 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25950/statm): 209666 56976 13129 16 0 209650 0
[pid=25950] vsize: 838664
Current children cumulated CPU time (s) 1200.55
Current children cumulated vsize (Kb) 838664

Sending SIGTERM to -25950
Sleeping 2 seconds
New thread pid=25968
New thread pid=25969
One traced child (pid=25969) exited with status: 0
One traced child (pid=25959) exited with status: 0
One traced child (pid=25954) exited with status: 0
One traced child (pid=25951) exited with status: 143
One traced child (pid=25953) exited with status: 143
One traced child (pid=25955) exited with status: 143
One traced child (pid=25956) exited with status: 143
One traced child (pid=25952) exited with status: 143
One traced child (pid=25958) exited with status: 143
One traced child (pid=25966) exited with status: 143
One traced child (pid=25957) exited with status: 143
One traced child (pid=25968) exited with status: 143
One traced child (pid=25950) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1220.39
CPU time (s): 1217.97
CPU user time (s): 1216.31
CPU system time (s): 1.65275
CPU usage (%): 99.8012
Max. virtual memory (cumulated for all children) (Kb): 838888
Name	web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb
MD5SUM	02058527b1ad27d5be75faa6974ffa0f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-41
Optimality of the best value was proved	NO
Number of terms in the objective function	1400
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1400
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1400
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1204.33
Number of variables	1400
Total number of constraints	109676
Number of constraints which are clauses	109676
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Some explanations

General information on the benchmark

Trace number 3302

Launcher Data

Solver Data

Watcher Data

Verifier Data
