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/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1787054262 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 39 9 38 16 0 23 0
[pid=8264] 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/8264
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=8265
New thread pid=8266
New thread pid=8267
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=8268
New thread pid=8269
New thread pid=8270
New thread pid=8271
New thread pid=8272
New thread pid=8273
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/wulflinc13/normalized-frb59-26-1.opb

[startup+10.0023 s]
Raw data (loadavg): 0.93 0.98 0.99 2/65 8273
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18097 0 1 0 757 50 0 0 25 0 10 0 1787054262 854704128 22386 4294967295 134512640 134569956 3221224336 3221214640 1131376933 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 208668 22386 13129 16 0 208652 0
[pid=8264] vsize: 834672
Current children cumulated CPU time (s) 8.07
Current children cumulated vsize (Kb) 834672
New thread pid=8274
One traced child (pid=8274) exited with status: 0
New thread pid=8275
One traced child (pid=8275) exited with status: 0
New thread pid=8276

[startup+20.003 s]
Raw data (loadavg): 0.94 0.98 0.99 2/66 8276
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18197 4 1 0 1505 55 0 0 25 0 11 0 1787054262 857214976 32414 4294967295 134512640 134569956 3221224336 3221214316 1131067237 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209281 32414 13129 16 0 209265 0
[pid=8264] vsize: 837124
Current children cumulated CPU time (s) 15.6
Current children cumulated vsize (Kb) 837124
One traced child (pid=8276) exited with status: 0
New thread pid=8277

[startup+30.0037 s]
Raw data (loadavg): 0.95 0.98 0.99 2/66 8277
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18204 4 1 0 2351 56 0 0 25 0 11 0 1787054262 856952832 37858 4294967295 134512640 134569956 3221224336 3221214328 1131628525 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209217 37858 13129 16 0 209201 0
[pid=8264] vsize: 836868
Current children cumulated CPU time (s) 24.07
Current children cumulated vsize (Kb) 836868

[startup+40.0043 s]
Raw data (loadavg): 1.04 1.00 1.00 2/66 8277
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18211 4 1 0 3289 56 0 0 25 0 11 0 1787054262 858001408 38942 4294967295 134512640 134569956 3221224336 3221214488 1131542824 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209473 38942 13129 16 0 209457 0
[pid=8264] vsize: 837892
Current children cumulated CPU time (s) 33.45
Current children cumulated vsize (Kb) 837892
One traced child (pid=8277) exited with status: 0
New thread pid=8278

[startup+50.0059 s]
Raw data (loadavg): 1.03 1.00 1.00 2/66 8278
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18218 4 1 0 4216 56 0 0 19 0 11 0 1787054262 858001408 39572 4294967295 134512640 134569956 3221224336 3221214464 1131400720 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209473 39572 13129 16 0 209457 0
[pid=8264] vsize: 837892
Current children cumulated CPU time (s) 42.72
Current children cumulated vsize (Kb) 837892

[startup+60.0066 s]
Raw data (loadavg): 1.03 1.00 1.00 2/66 8278
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18227 4 1 0 5141 56 0 0 18 0 11 0 1787054262 858001408 40198 4294967295 134512640 134569956 3221224336 3221214616 1131351504 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209473 40198 13129 16 0 209457 0
[pid=8264] vsize: 837892
Current children cumulated CPU time (s) 51.97
Current children cumulated vsize (Kb) 837892

[startup+70.0073 s]
Raw data (loadavg): 1.02 1.00 1.00 2/66 8278
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18232 4 1 0 6071 56 0 0 25 0 11 0 1787054262 856952832 40891 4294967295 134512640 134569956 3221224336 3221214568 1131366663 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209217 40891 13129 16 0 209201 0
[pid=8264] vsize: 836868
Current children cumulated CPU time (s) 61.27
Current children cumulated vsize (Kb) 836868
One traced child (pid=8278) exited with status: 0
New thread pid=8279

[startup+80.008 s]
Raw data (loadavg): 1.02 1.00 1.00 3/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18241 4 1 0 6987 57 0 0 20 0 11 0 1787054262 861786112 42597 4294967295 134512640 134569956 3221224336 3221214616 1131596189 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 210397 42597 13129 16 0 210381 0
[pid=8264] vsize: 841588
Current children cumulated CPU time (s) 70.44
Current children cumulated vsize (Kb) 841588

[startup+90.0086 s]
Raw data (loadavg): 1.02 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18246 4 1 0 7918 57 0 0 25 0 11 0 1787054262 859049984 43169 4294967295 134512640 134569956 3221224336 3221214440 1131627628 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 43169 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 79.75
Current children cumulated vsize (Kb) 838916

[startup+100.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18254 4 1 0 8839 57 0 0 20 0 11 0 1787054262 859049984 43283 4294967295 134512640 134569956 3221224336 3221214676 1131539081 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 43283 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 88.96
Current children cumulated vsize (Kb) 838916

[startup+110.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18261 4 1 0 9759 58 0 0 19 0 11 0 1787054262 859049984 43650 4294967295 134512640 134569956 3221224336 3221214520 1131435361 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 43650 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 98.17
Current children cumulated vsize (Kb) 838916

[startup+120.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18269 4 1 0 10676 58 0 0 17 0 11 0 1787054262 859049984 44106 4294967295 134512640 134569956 3221224336 3221214544 1131564223 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 44106 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 107.34
Current children cumulated vsize (Kb) 838916

[startup+130.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18273 4 1 0 11641 58 0 0 25 0 11 0 1787054262 859049984 44402 4294967295 134512640 134569956 3221224336 3221214472 1131479430 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 44402 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 116.99
Current children cumulated vsize (Kb) 838916

[startup+140.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18276 4 1 0 12615 58 0 0 25 0 11 0 1787054262 859049984 44803 4294967295 134512640 134569956 3221224336 3221214472 1131480075 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 44803 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 126.73
Current children cumulated vsize (Kb) 838916

[startup+150.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18281 4 1 0 13586 59 0 0 25 0 11 0 1787054262 859049984 45387 4294967295 134512640 134569956 3221224336 3221214472 1131417704 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 45387 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 136.45
Current children cumulated vsize (Kb) 838916

[startup+160.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18286 4 1 0 14564 59 0 0 25 0 11 0 1787054262 859049984 45685 4294967295 134512640 134569956 3221224336 3221214520 1131435786 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 45685 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 146.23
Current children cumulated vsize (Kb) 838916

[startup+170.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18294 4 1 0 15527 59 0 0 25 0 11 0 1787054262 859049984 46134 4294967295 134512640 134569956 3221224336 3221214544 1131426889 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 46134 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 155.86
Current children cumulated vsize (Kb) 838916

[startup+180.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18302 4 1 0 16484 59 0 0 24 0 11 0 1787054262 859049984 46134 4294967295 134512640 134569956 3221224336 3221214520 1131435839 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 46134 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 165.43
Current children cumulated vsize (Kb) 838916

[startup+190.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18304 4 1 0 17471 60 0 0 25 0 11 0 1787054262 859049984 46134 4294967295 134512640 134569956 3221224336 3221214472 1131479916 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 46134 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 175.31
Current children cumulated vsize (Kb) 838916

[startup+200.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) S 8263 8264 1333 0 -1 0 18309 4 1 0 18437 60 0 0 25 0 11 0 1787054262 859049984 46567 4294967295 134512640 134569956 3221224336 3221213176 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 46567 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 184.97
Current children cumulated vsize (Kb) 838916

[startup+210.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18311 4 1 0 19423 60 0 0 25 0 11 0 1787054262 859049984 46763 4294967295 134512640 134569956 3221224336 3221214304 1131671279 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 46763 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 194.83
Current children cumulated vsize (Kb) 838916

[startup+220.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18318 4 1 0 20388 60 0 0 25 0 11 0 1787054262 859049984 47406 4294967295 134512640 134569956 3221224336 3221214520 1131435757 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 47406 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 204.48
Current children cumulated vsize (Kb) 838916

[startup+230.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18323 4 1 0 21369 61 0 0 19 0 11 0 1787054262 859049984 47790 4294967295 134512640 134569956 3221224336 3221214540 1131353952 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 47790 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 214.3
Current children cumulated vsize (Kb) 838916

[startup+240.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18328 4 1 0 22347 61 0 0 25 0 11 0 1787054262 859049984 47790 4294967295 134512640 134569956 3221224336 3221214472 1131480029 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 47790 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 224.08
Current children cumulated vsize (Kb) 838916

[startup+250.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18330 4 1 0 23335 61 0 0 19 0 11 0 1787054262 859049984 48030 4294967295 134512640 134569956 3221224336 3221214320 1131704112 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 48030 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 233.96
Current children cumulated vsize (Kb) 838916

[startup+260.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18330 4 1 0 24335 61 0 0 25 0 11 0 1787054262 859049984 48030 4294967295 134512640 134569956 3221224336 3221214408 1131480154 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 48030 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 243.96
Current children cumulated vsize (Kb) 838916

[startup+270.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18332 4 1 0 25327 61 0 0 25 0 11 0 1787054262 859049984 48355 4294967295 134512640 134569956 3221224336 3221214520 1131435643 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 48355 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 253.88
Current children cumulated vsize (Kb) 838916

[startup+280.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18338 4 1 0 26302 62 0 0 25 0 11 0 1787054262 859049984 48355 4294967295 134512640 134569956 3221224336 3221214472 1131480014 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 48355 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 263.64
Current children cumulated vsize (Kb) 838916

[startup+290.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18339 4 1 0 27293 62 0 0 25 0 11 0 1787054262 859049984 49190 4294967295 134512640 134569956 3221224336 3221214408 1131480089 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 49190 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 273.55
Current children cumulated vsize (Kb) 838916

[startup+300.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18341 4 1 0 28286 62 0 0 25 0 11 0 1787054262 859049984 49190 4294967295 134512640 134569956 3221224336 3221214472 1131479916 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 49190 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 283.48
Current children cumulated vsize (Kb) 838916

[startup+310.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18341 4 1 0 29286 62 0 0 25 0 11 0 1787054262 859049984 49190 4294967295 134512640 134569956 3221224336 3221214472 1131480230 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 49190 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 293.48
Current children cumulated vsize (Kb) 838916

[startup+320.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18344 4 1 0 30278 63 0 0 18 0 11 0 1787054262 859049984 49208 4294967295 134512640 134569956 3221224336 3221214472 1131480045 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 49208 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 303.41
Current children cumulated vsize (Kb) 838916

[startup+330.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18344 4 1 0 31278 63 0 0 25 0 11 0 1787054262 859049984 49208 4294967295 134512640 134569956 3221224336 3221214360 1131717236 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 49208 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 313.41
Current children cumulated vsize (Kb) 838916

[startup+340.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18349 4 1 0 32267 63 0 0 25 0 11 0 1787054262 859049984 50165 4294967295 134512640 134569956 3221224336 3221214520 1131435839 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 50165 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 323.3
Current children cumulated vsize (Kb) 838916

[startup+350.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18351 4 1 0 33263 63 0 0 25 0 11 0 1787054262 859049984 50165 4294967295 134512640 134569956 3221224336 3221214520 1131435308 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 50165 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 333.26
Current children cumulated vsize (Kb) 838916

[startup+360.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18354 4 1 0 34255 63 0 0 25 0 11 0 1787054262 859049984 50165 4294967295 134512640 134569956 3221224336 3221214408 1131479948 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 50165 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 343.18
Current children cumulated vsize (Kb) 838916

[startup+370.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18359 4 1 0 35238 63 0 0 24 0 11 0 1787054262 859049984 50608 4294967295 134512640 134569956 3221224336 3221214520 1131435823 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 50608 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 353.01
Current children cumulated vsize (Kb) 838916

[startup+380.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18361 4 1 0 36232 64 0 0 25 0 11 0 1787054262 859049984 50608 4294967295 134512640 134569956 3221224336 3221214408 1131479948 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 50608 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 362.96
Current children cumulated vsize (Kb) 838916

[startup+390.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18362 4 1 0 37227 64 0 0 25 0 11 0 1787054262 859049984 50608 4294967295 134512640 134569956 3221224336 3221214304 1131671358 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 50608 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 372.91
Current children cumulated vsize (Kb) 838916

[startup+400.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18363 4 1 0 38224 64 0 0 25 0 11 0 1787054262 859049984 51194 4294967295 134512640 134569956 3221224336 3221214408 1131680972 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 51194 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 382.88
Current children cumulated vsize (Kb) 838916

[startup+410.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18363 4 1 0 39224 64 0 0 25 0 11 0 1787054262 859049984 51194 4294967295 134512640 134569956 3221224336 3221214472 1131480137 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 51194 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 392.88
Current children cumulated vsize (Kb) 838916

[startup+420.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18363 4 1 0 40224 64 0 0 25 0 11 0 1787054262 859049984 51194 4294967295 134512640 134569956 3221224336 3221214488 1131543223 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 51194 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 402.88
Current children cumulated vsize (Kb) 838916

[startup+430.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18363 4 1 0 41224 64 0 0 25 0 11 0 1787054262 859049984 51194 4294967295 134512640 134569956 3221224336 3221214416 1131480216 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 51194 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 412.88
Current children cumulated vsize (Kb) 838916

[startup+440.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8279
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18363 4 1 0 42224 64 0 0 25 0 11 0 1787054262 859049984 51194 4294967295 134512640 134569956 3221224336 3221214408 1131681090 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 51194 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 422.88
Current children cumulated vsize (Kb) 838916
One traced child (pid=8279) exited with status: 0
New thread pid=8280

[startup+450.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18369 4 1 0 43191 65 0 0 22 0 11 0 1787054262 859049984 51934 4294967295 134512640 134569956 3221224336 3221214520 1131436191 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 51934 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 432.56
Current children cumulated vsize (Kb) 838916

[startup+460.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18377 4 1 0 44147 66 0 0 23 0 11 0 1787054262 859049984 51934 4294967295 134512640 134569956 3221224336 3221214520 1131435843 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 51934 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 442.13
Current children cumulated vsize (Kb) 838916

[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18385 4 1 0 45103 66 0 0 25 0 11 0 1787054262 859049984 51934 4294967295 134512640 134569956 3221224336 3221214520 1131435915 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 51934 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 451.69
Current children cumulated vsize (Kb) 838916

[startup+480.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18393 4 1 0 46058 67 0 0 25 0 11 0 1787054262 859049984 51934 4294967295 134512640 134569956 3221224336 3221214408 1131480206 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 51934 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 461.25
Current children cumulated vsize (Kb) 838916

[startup+490.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18394 4 1 0 47051 68 0 0 25 0 11 0 1787054262 859049984 51934 4294967295 134512640 134569956 3221224336 3221214472 1131480010 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 51934 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 471.19
Current children cumulated vsize (Kb) 838916

[startup+500.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18395 4 1 0 48042 68 0 0 25 0 11 0 1787054262 859049984 51934 4294967295 134512640 134569956 3221224336 3221214408 1131479987 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 51934 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 481.1
Current children cumulated vsize (Kb) 838916

[startup+510.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18395 4 1 0 49042 68 0 0 25 0 11 0 1787054262 859049984 51934 4294967295 134512640 134569956 3221224336 3221214440 1131627864 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 51934 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 491.1
Current children cumulated vsize (Kb) 838916

[startup+520.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18396 4 1 0 50034 69 0 0 25 0 11 0 1787054262 859049984 52091 4294967295 134512640 134569956 3221224336 3221214472 1131480101 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 52091 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 501.03
Current children cumulated vsize (Kb) 838916

[startup+530.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18396 4 1 0 51034 69 0 0 25 0 11 0 1787054262 859049984 52091 4294967295 134512640 134569956 3221224336 3221214472 1131480137 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 52091 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 511.03
Current children cumulated vsize (Kb) 838916

[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18396 4 1 0 52034 69 0 0 25 0 11 0 1787054262 859049984 52091 4294967295 134512640 134569956 3221224336 3221214408 1131480154 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 52091 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 521.03
Current children cumulated vsize (Kb) 838916

[startup+550.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18396 4 1 0 53034 69 0 0 25 0 11 0 1787054262 859049984 52091 4294967295 134512640 134569956 3221224336 3221214408 1131480119 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 52091 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 531.03
Current children cumulated vsize (Kb) 838916

[startup+560.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18396 4 1 0 54034 69 0 0 25 0 11 0 1787054262 859049984 52091 4294967295 134512640 134569956 3221224336 3221214472 1131479937 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 52091 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 541.03
Current children cumulated vsize (Kb) 838916

[startup+570.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18397 4 1 0 55024 69 0 0 25 0 11 0 1787054262 859049984 52231 4294967295 134512640 134569956 3221224336 3221214408 1131480006 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 52231 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 550.93
Current children cumulated vsize (Kb) 838916

[startup+580.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18400 4 1 0 56009 69 0 0 25 0 11 0 1787054262 859049984 52263 4294967295 134512640 134569956 3221224336 3221214416 1131479926 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 52263 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 560.78
Current children cumulated vsize (Kb) 838916

[startup+590.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18404 4 1 0 56990 69 0 0 25 0 11 0 1787054262 859049984 53828 4294967295 134512640 134569956 3221224336 3221214472 1131479973 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 53828 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 570.59
Current children cumulated vsize (Kb) 838916

[startup+600.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18405 4 1 0 57987 69 0 0 25 0 11 0 1787054262 859049984 53828 4294967295 134512640 134569956 3221224336 3221214616 1131596143 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 53828 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 580.56
Current children cumulated vsize (Kb) 838916

[startup+610.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18410 4 1 0 58975 70 0 0 25 0 11 0 1787054262 859049984 53828 4294967295 134512640 134569956 3221224336 3221214472 1131417688 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 53828 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 590.45
Current children cumulated vsize (Kb) 838916

[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18416 4 1 0 59952 70 0 0 22 0 11 0 1787054262 859049984 53828 4294967295 134512640 134569956 3221224336 3221214408 1131480148 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 53828 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 600.22
Current children cumulated vsize (Kb) 838916

[startup+630.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18417 4 1 0 60945 70 0 0 25 0 11 0 1787054262 859049984 54328 4294967295 134512640 134569956 3221224336 3221214320 1131704156 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 54328 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 610.15
Current children cumulated vsize (Kb) 838916

[startup+640.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18417 4 1 0 61946 70 0 0 25 0 11 0 1787054262 859049984 54328 4294967295 134512640 134569956 3221224336 3221214304 1131671055 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 54328 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 620.16
Current children cumulated vsize (Kb) 838916

[startup+650.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18417 4 1 0 62946 70 0 0 25 0 11 0 1787054262 859049984 54328 4294967295 134512640 134569956 3221224336 3221214472 1131480137 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 54328 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 630.16
Current children cumulated vsize (Kb) 838916

[startup+660.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18417 4 1 0 63946 70 0 0 25 0 11 0 1787054262 859049984 54328 4294967295 134512640 134569956 3221224336 3221214408 1131480055 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 54328 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 640.16
Current children cumulated vsize (Kb) 838916

[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18418 4 1 0 64943 71 0 0 25 0 11 0 1787054262 859049984 54328 4294967295 134512640 134569956 3221224336 3221214656 1131565617 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 54328 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 650.14
Current children cumulated vsize (Kb) 838916

[startup+680.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18419 4 1 0 65940 71 0 0 25 0 11 0 1787054262 859049984 54328 4294967295 134512640 134569956 3221224336 3221214408 1131681122 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 54328 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 660.11
Current children cumulated vsize (Kb) 838916

[startup+690.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18419 4 1 0 66940 71 0 0 25 0 11 0 1787054262 859049984 54328 4294967295 134512640 134569956 3221224336 3221214224 1131375232 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 54328 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 670.11
Current children cumulated vsize (Kb) 838916

[startup+700.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18427 4 1 0 67925 72 0 0 25 0 11 0 1787054262 859049984 55558 4294967295 134512640 134569956 3221224336 3221214520 1131435804 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 55558 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 679.97
Current children cumulated vsize (Kb) 838916

[startup+710.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18429 4 1 0 68921 72 0 0 25 0 11 0 1787054262 859049984 55558 4294967295 134512640 134569956 3221224336 3221214564 1131057275 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 55558 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 689.93
Current children cumulated vsize (Kb) 838916

[startup+720.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18430 4 1 0 69919 72 0 0 25 0 11 0 1787054262 859049984 55558 4294967295 134512640 134569956 3221224336 3221214472 1131479926 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 55558 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 699.91
Current children cumulated vsize (Kb) 838916

[startup+730.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18430 4 1 0 70919 72 0 0 25 0 11 0 1787054262 859049984 55558 4294967295 134512640 134569956 3221224336 3221214408 1131479969 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 55558 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 709.91
Current children cumulated vsize (Kb) 838916

[startup+740.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18430 4 1 0 71919 72 0 0 25 0 11 0 1787054262 859049984 55558 4294967295 134512640 134569956 3221224336 3221214408 1131480148 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 55558 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 719.91
Current children cumulated vsize (Kb) 838916

[startup+750.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18432 4 1 0 72912 72 0 0 25 0 11 0 1787054262 859049984 55582 4294967295 134512640 134569956 3221224336 3221214472 1131417522 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 55582 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 729.84
Current children cumulated vsize (Kb) 838916

[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18434 4 1 0 73906 73 0 0 25 0 11 0 1787054262 859049984 55582 4294967295 134512640 134569956 3221224336 3221214304 1131671248 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 55582 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 739.79
Current children cumulated vsize (Kb) 838916

[startup+770.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18434 4 1 0 74906 73 0 0 25 0 11 0 1787054262 859049984 55582 4294967295 134512640 134569956 3221224336 3221214320 1131704225 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 55582 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 749.79
Current children cumulated vsize (Kb) 838916

[startup+780.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18434 4 1 0 75907 73 0 0 25 0 11 0 1787054262 859049984 55582 4294967295 134512640 134569956 3221224336 3221214304 1131671408 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 55582 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 759.8
Current children cumulated vsize (Kb) 838916

[startup+790.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18440 4 1 0 76894 73 0 0 21 0 11 0 1787054262 859049984 56604 4294967295 134512640 134569956 3221224336 3221214520 1131435643 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 56604 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 769.67
Current children cumulated vsize (Kb) 838916

[startup+800.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18446 4 1 0 77888 74 0 0 25 0 11 0 1787054262 859049984 56604 4294967295 134512640 134569956 3221224336 3221214408 1131480137 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 56604 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 779.62
Current children cumulated vsize (Kb) 838916

[startup+810.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18447 4 1 0 78885 74 0 0 25 0 11 0 1787054262 859049984 56604 4294967295 134512640 134569956 3221224336 3221214472 1131417658 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 56604 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 789.59
Current children cumulated vsize (Kb) 838916

[startup+820.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18448 4 1 0 79881 74 0 0 25 0 11 0 1787054262 859049984 56604 4294967295 134512640 134569956 3221224336 3221214472 1131480063 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 56604 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 799.55
Current children cumulated vsize (Kb) 838916

[startup+830.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18449 4 1 0 80877 74 0 0 25 0 11 0 1787054262 859049984 56604 4294967295 134512640 134569956 3221224336 3221214472 1131480146 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 56604 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 809.51
Current children cumulated vsize (Kb) 838916

[startup+840.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18450 4 1 0 81874 74 0 0 25 0 11 0 1787054262 859049984 56604 4294967295 134512640 134569956 3221224336 3221214440 1131627864 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 56604 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 819.48
Current children cumulated vsize (Kb) 838916

[startup+850.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18450 4 1 0 82873 74 0 0 25 0 11 0 1787054262 859049984 56604 4294967295 134512640 134569956 3221224336 3221214472 1131480137 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 56604 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 829.47
Current children cumulated vsize (Kb) 838916

[startup+860.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18450 4 1 0 83873 74 0 0 25 0 11 0 1787054262 859049984 56604 4294967295 134512640 134569956 3221224336 3221214408 1131480230 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 56604 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 839.47
Current children cumulated vsize (Kb) 838916

[startup+870.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18450 4 1 0 84874 74 0 0 25 0 11 0 1787054262 859049984 56604 4294967295 134512640 134569956 3221224336 3221214408 1131480196 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 56604 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 849.48
Current children cumulated vsize (Kb) 838916

[startup+880.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18451 4 1 0 85870 74 0 0 25 0 11 0 1787054262 859049984 56604 4294967295 134512640 134569956 3221224336 3221214472 1131479891 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 56604 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 859.44
Current children cumulated vsize (Kb) 838916

[startup+890.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18454 4 1 0 86864 75 0 0 25 0 11 0 1787054262 859049984 56604 4294967295 134512640 134569956 3221224336 3221214312 1131704276 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 56604 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 869.39
Current children cumulated vsize (Kb) 838916

[startup+900.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18454 4 1 0 87864 75 0 0 25 0 11 0 1787054262 859049984 56604 4294967295 134512640 134569956 3221224336 3221214304 1131671299 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 56604 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 879.39
Current children cumulated vsize (Kb) 838916

[startup+910.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18454 4 1 0 88864 75 0 0 25 0 11 0 1787054262 859049984 56604 4294967295 134512640 134569956 3221224336 3221214304 1131671396 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 56604 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 889.39
Current children cumulated vsize (Kb) 838916

[startup+920.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18455 4 1 0 89860 75 0 0 25 0 11 0 1787054262 859049984 56604 4294967295 134512640 134569956 3221224336 3221214528 1131417702 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 56604 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 899.35
Current children cumulated vsize (Kb) 838916

[startup+930.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18463 4 1 0 90843 75 0 0 24 0 11 0 1787054262 859049984 57725 4294967295 134512640 134569956 3221224336 3221214520 1131435843 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 57725 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 909.18
Current children cumulated vsize (Kb) 838916

[startup+940.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18467 4 1 0 91837 75 0 0 25 0 11 0 1787054262 859049984 57725 4294967295 134512640 134569956 3221224336 3221214408 1131480184 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 57725 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 919.12
Current children cumulated vsize (Kb) 838916

[startup+950.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18468 4 1 0 92833 75 0 0 25 0 11 0 1787054262 859049984 57725 4294967295 134512640 134569956 3221224336 3221214584 1131435817 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 57725 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 929.08
Current children cumulated vsize (Kb) 838916

[startup+960.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18469 4 1 0 93829 75 0 0 25 0 11 0 1787054262 859049984 57725 4294967295 134512640 134569956 3221224336 3221214408 1131480089 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 57725 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 939.04
Current children cumulated vsize (Kb) 838916

[startup+970.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18470 4 1 0 94825 75 0 0 25 0 11 0 1787054262 859049984 57725 4294967295 134512640 134569956 3221224336 3221214448 1131417698 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 57725 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 949
Current children cumulated vsize (Kb) 838916

[startup+980.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18472 4 1 0 95818 75 0 0 25 0 11 0 1787054262 859049984 57933 4294967295 134512640 134569956 3221224336 3221214304 1131671437 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 57933 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 958.93
Current children cumulated vsize (Kb) 838916

[startup+990.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18472 4 1 0 96818 75 0 0 25 0 11 0 1787054262 859049984 57933 4294967295 134512640 134569956 3221224336 3221214416 1131480033 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 57933 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 968.93
Current children cumulated vsize (Kb) 838916

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18473 4 1 0 97817 75 0 0 25 0 11 0 1787054262 859049984 57933 4294967295 134512640 134569956 3221224336 3221214520 1131435903 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 57933 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 978.92
Current children cumulated vsize (Kb) 838916

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18479 4 1 0 98795 76 0 0 25 0 11 0 1787054262 859049984 57933 4294967295 134512640 134569956 3221224336 3221214408 1131479956 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 57933 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 988.71
Current children cumulated vsize (Kb) 838916

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18481 4 1 0 99782 76 0 0 25 0 11 0 1787054262 859049984 58801 4294967295 134512640 134569956 3221224336 3221214472 1131480085 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 58801 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 998.58
Current children cumulated vsize (Kb) 838916

[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18481 4 1 0 100782 76 0 0 25 0 11 0 1787054262 859049984 58801 4294967295 134512640 134569956 3221224336 3221214408 1131480045 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 58801 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 1008.58
Current children cumulated vsize (Kb) 838916

[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18481 4 1 0 101782 76 0 0 25 0 11 0 1787054262 859049984 58801 4294967295 134512640 134569956 3221224336 3221214472 1131480045 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 58801 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 1018.58
Current children cumulated vsize (Kb) 838916

[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18481 4 1 0 102783 76 0 0 25 0 11 0 1787054262 859049984 58801 4294967295 134512640 134569956 3221224336 3221214472 1131480081 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 58801 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 1028.59
Current children cumulated vsize (Kb) 838916

[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18481 4 1 0 103783 76 0 0 25 0 11 0 1787054262 859049984 58801 4294967295 134512640 134569956 3221224336 3221214408 1131480029 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 58801 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 1038.59
Current children cumulated vsize (Kb) 838916

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18482 4 1 0 104777 76 0 0 25 0 11 0 1787054262 859049984 58801 4294967295 134512640 134569956 3221224336 3221214408 1131480045 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 58801 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 1048.53
Current children cumulated vsize (Kb) 838916

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18485 4 1 0 105766 76 0 0 25 0 11 0 1787054262 859049984 60157 4294967295 134512640 134569956 3221224336 3221214520 1131435376 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 60157 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 1058.42
Current children cumulated vsize (Kb) 838916

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18492 4 1 0 106759 77 0 0 25 0 11 0 1787054262 859049984 60157 4294967295 134512640 134569956 3221224336 3221214520 1131435923 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 60157 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 1068.36
Current children cumulated vsize (Kb) 838916

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18496 4 1 0 107753 77 0 0 25 0 11 0 1787054262 859049984 60157 4294967295 134512640 134569956 3221224336 3221214472 1131480164 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 60157 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 1078.3
Current children cumulated vsize (Kb) 838916

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18496 4 1 0 108753 77 0 0 25 0 11 0 1787054262 859049984 60157 4294967295 134512640 134569956 3221224336 3221214472 1131480093 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 60157 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 1088.3
Current children cumulated vsize (Kb) 838916

[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18496 4 1 0 109753 77 0 0 25 0 11 0 1787054262 859049984 60157 4294967295 134512640 134569956 3221224336 3221214408 1131480010 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 60157 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 1098.3
Current children cumulated vsize (Kb) 838916

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18496 4 1 0 110753 77 0 0 25 0 11 0 1787054262 859049984 60157 4294967295 134512640 134569956 3221224336 3221214472 1131479983 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 60157 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 1108.3
Current children cumulated vsize (Kb) 838916

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18498 4 1 0 111744 77 0 0 25 0 11 0 1787054262 859049984 60178 4294967295 134512640 134569956 3221224336 3221214472 1131479465 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 60178 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 1118.21
Current children cumulated vsize (Kb) 838916

[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18499 4 1 0 112739 77 0 0 25 0 11 0 1787054262 859049984 60180 4294967295 134512640 134569956 3221224336 3221214472 1131480089 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 60180 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 1128.16
Current children cumulated vsize (Kb) 838916

[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18499 4 1 0 113740 77 0 0 25 0 11 0 1787054262 859049984 60180 4294967295 134512640 134569956 3221224336 3221214472 1131480216 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 60180 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 1138.17
Current children cumulated vsize (Kb) 838916

[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18499 4 1 0 114740 77 0 0 25 0 11 0 1787054262 859049984 60180 4294967295 134512640 134569956 3221224336 3221214408 1131480111 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 60180 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 1148.17
Current children cumulated vsize (Kb) 838916

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18499 4 1 0 115740 77 0 0 25 0 11 0 1787054262 859049984 60180 4294967295 134512640 134569956 3221224336 3221214320 1131704207 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 60180 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 1158.17
Current children cumulated vsize (Kb) 838916

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18500 4 1 0 116734 77 0 0 25 0 11 0 1787054262 859049984 60185 4294967295 134512640 134569956 3221224336 3221214408 1131480196 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 60185 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 1168.11
Current children cumulated vsize (Kb) 838916

[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18500 4 1 0 117734 77 0 0 25 0 11 0 1787054262 859049984 60185 4294967295 134512640 134569956 3221224336 3221214408 1131480178 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 60185 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 1178.11
Current children cumulated vsize (Kb) 838916

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18501 4 1 0 118729 77 0 0 25 0 11 0 1787054262 859049984 60188 4294967295 134512640 134569956 3221224336 3221214472 1131479937 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 60188 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 1188.06
Current children cumulated vsize (Kb) 838916

[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18501 4 1 0 119729 77 0 0 25 0 11 0 1787054262 859049984 60188 4294967295 134512640 134569956 3221224336 3221214408 1131480184 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8264/statm): 209729 60188 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 1198.06
Current children cumulated vsize (Kb) 838916

[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18503 4 1 0 120719 77 0 0 25 0 11 0 1787054262 859049984 60194 4294967295 134512640 134569956 3221224336 3221214320 1131704116 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 60194 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 1207.96
Current children cumulated vsize (Kb) 838916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8280
Raw data (/proc/8264/stat): 8264 (java) R 8263 8264 1333 0 -1 0 18503 4 1 0 120719 77 0 0 25 0 11 0 1787054262 859049984 60194 4294967295 134512640 134569956 3221224336 3221214320 1131704116 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8264/statm): 209729 60194 13129 16 0 209713 0
[pid=8264] vsize: 838916
Current children cumulated CPU time (s) 1207.96
Current children cumulated vsize (Kb) 838916

Sending SIGTERM to -8264
Sleeping 2 seconds
New thread pid=8282
New thread pid=8283
One traced child (pid=8283) exited with status: 0
One traced child (pid=8273) exited with status: 0
One traced child (pid=8268) exited with status: 0
One traced child (pid=8265) exited with status: 143
One traced child (pid=8266) exited with status: 143
One traced child (pid=8267) exited with status: 143
One traced child (pid=8269) exited with status: 143
One traced child (pid=8272) exited with status: 143
One traced child (pid=8270) exited with status: 143
One traced child (pid=8280) exited with status: 143
One traced child (pid=8271) exited with status: 143
One traced child (pid=8282) exited with status: 143
One traced child (pid=8264) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1230.41
CPU time (s): 1238.2
CPU user time (s): 1236.26
CPU system time (s): 1.9417
CPU usage (%): 100.633
Max. virtual memory (cumulated for all children) (Kb): 841588
Name	web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb
MD5SUM	42c2d619b73aa24781f1b54bddde28cc
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-44
Optimality of the best value was proved	NO
Number of terms in the objective function	1534
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	1534
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	1534
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	1202.47
Number of variables	1534
Total number of constraints	126555
Number of constraints which are clauses	126555
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 3308

Launcher Data

Solver Data

Watcher Data

Verifier Data
