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/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1787000344 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 39 3 38 16 0 23 0
[pid=17922] 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/17922
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=17923
New thread pid=17924
New thread pid=17925
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=17926
New thread pid=17927
New thread pid=17928
New thread pid=17929
New thread pid=17930
New thread pid=17931
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/wulflinc2/normalized-frb56-25-2.opb

[startup+10.0021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 17931
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18086 0 1 0 728 55 0 0 25 0 10 0 1787000344 854802432 22419 4294967295 134512640 134569956 3221224336 3221214760 1131507096 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 208692 22419 13129 16 0 208676 0
[pid=17922] vsize: 834768
Current children cumulated CPU time (s) 7.83
Current children cumulated vsize (Kb) 834768
New thread pid=17932
One traced child (pid=17932) exited with status: 0
New thread pid=17933
One traced child (pid=17933) exited with status: 0
New thread pid=17934

[startup+20.0038 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 17934
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18184 3 1 0 1480 59 0 0 25 0 11 0 1787000344 858435584 32665 4294967295 134512640 134569956 3221224336 3221214668 1131057195 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209579 32665 13129 16 0 209563 0
[pid=17922] vsize: 838316
Current children cumulated CPU time (s) 15.39
Current children cumulated vsize (Kb) 838316
One traced child (pid=17934) exited with status: 0
New thread pid=17935

[startup+30.0034 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 17935
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18194 3 1 0 2337 60 0 0 18 0 11 0 1787000344 857612288 36333 4294967295 134512640 134569956 3221224336 3221214608 1131569302 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 36333 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 23.97
Current children cumulated vsize (Kb) 837512
One traced child (pid=17935) exited with status: 0
New thread pid=17936

[startup+40.0042 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 17936
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18203 3 1 0 3263 60 0 0 25 0 11 0 1787000344 858660864 37244 4294967295 134512640 134569956 3221224336 3221214608 1131569299 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209634 37244 13129 16 0 209618 0
[pid=17922] vsize: 838536
Current children cumulated CPU time (s) 33.23
Current children cumulated vsize (Kb) 838536

[startup+50.0049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17936
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18212 3 1 0 4162 60 0 0 22 0 11 0 1787000344 858660864 38817 4294967295 134512640 134569956 3221224336 3221214512 1131457825 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209634 38817 13129 16 0 209618 0
[pid=17922] vsize: 838536
Current children cumulated CPU time (s) 42.22
Current children cumulated vsize (Kb) 838536

[startup+60.0055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17936
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18220 3 1 0 5075 61 0 0 18 0 11 0 1787000344 857612288 38898 4294967295 134512640 134569956 3221224336 3221214588 1131057173 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 38898 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 51.36
Current children cumulated vsize (Kb) 837512
One traced child (pid=17936) exited with status: 0
New thread pid=17937

[startup+70.0062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18229 3 1 0 5988 61 0 0 17 0 11 0 1787000344 857612288 40199 4294967295 134512640 134569956 3221224336 3221214576 1131423321 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 40199 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 60.49
Current children cumulated vsize (Kb) 837512

[startup+80.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) S 17921 17922 6872 0 -1 0 18238 3 1 0 6905 62 0 0 17 0 11 0 1787000344 857612288 40755 4294967295 134512640 134569956 3221224336 3221213256 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 40755 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 69.67
Current children cumulated vsize (Kb) 837512

[startup+90.0076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18246 3 1 0 7828 62 0 0 17 0 11 0 1787000344 857612288 41140 4294967295 134512640 134569956 3221224336 3221214512 1131646615 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 41140 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 78.9
Current children cumulated vsize (Kb) 837512

[startup+100.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18252 3 1 0 8760 62 0 0 17 0 11 0 1787000344 857612288 41363 4294967295 134512640 134569956 3221224336 3221214552 1131394497 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 41363 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 88.22
Current children cumulated vsize (Kb) 837512

[startup+110.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18259 3 1 0 9692 63 0 0 16 0 11 0 1787000344 857612288 41699 4294967295 134512640 134569956 3221224336 3221214616 1131596872 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 41699 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 97.55
Current children cumulated vsize (Kb) 837512

[startup+120.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18265 3 1 0 10643 63 0 0 16 0 11 0 1787000344 857612288 42014 4294967295 134512640 134569956 3221224336 3221214608 1131570234 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 42014 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 107.06
Current children cumulated vsize (Kb) 837512

[startup+130.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18270 3 1 0 11606 63 0 0 16 0 11 0 1787000344 857612288 42255 4294967295 134512640 134569956 3221224336 3221214512 1131458326 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 42255 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 116.69
Current children cumulated vsize (Kb) 837512

[startup+140.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18274 3 1 0 12581 63 0 0 16 0 11 0 1787000344 857612288 42388 4294967295 134512640 134569956 3221224336 3221214608 1131570234 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 42388 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 126.44
Current children cumulated vsize (Kb) 837512

[startup+150.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18276 3 1 0 13568 63 0 0 25 0 11 0 1787000344 857612288 42581 4294967295 134512640 134569956 3221224336 3221214696 1131546742 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 42581 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 136.31
Current children cumulated vsize (Kb) 837512

[startup+160.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18281 3 1 0 14541 63 0 0 23 0 11 0 1787000344 857612288 43104 4294967295 134512640 134569956 3221224336 3221214512 1131458407 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 43104 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 146.04
Current children cumulated vsize (Kb) 837512

[startup+170.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18284 3 1 0 15526 64 0 0 17 0 11 0 1787000344 857612288 43200 4294967295 134512640 134569956 3221224336 3221214512 1131458429 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 43200 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 155.9
Current children cumulated vsize (Kb) 837512

[startup+180.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18287 3 1 0 16513 64 0 0 25 0 11 0 1787000344 857612288 43440 4294967295 134512640 134569956 3221224336 3221214472 1131694408 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 43440 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 165.77
Current children cumulated vsize (Kb) 837512

[startup+190.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18294 3 1 0 17484 64 0 0 18 0 11 0 1787000344 857612288 43703 4294967295 134512640 134569956 3221224336 3221214552 1131395017 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 43703 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 175.48
Current children cumulated vsize (Kb) 837512

[startup+200.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18295 3 1 0 18478 65 0 0 25 0 11 0 1787000344 857612288 43904 4294967295 134512640 134569956 3221224336 3221214232 1131435756 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 43904 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 185.43
Current children cumulated vsize (Kb) 837512

[startup+210.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18299 3 1 0 19461 65 0 0 25 0 11 0 1787000344 857612288 44173 4294967295 134512640 134569956 3221224336 3221214504 1131435466 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 44173 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 195.26
Current children cumulated vsize (Kb) 837512

[startup+220.017 s]
Raw data (loadavg): 1.00 1.00 1.00 3/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18301 3 1 0 20452 65 0 0 22 0 11 0 1787000344 857612288 44173 4294967295 134512640 134569956 3221224336 3221214512 1131458322 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 44173 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 205.17
Current children cumulated vsize (Kb) 837512

[startup+230.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18304 3 1 0 21439 65 0 0 25 0 11 0 1787000344 857612288 44441 4294967295 134512640 134569956 3221224336 3221214568 1131435260 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 44441 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 215.04
Current children cumulated vsize (Kb) 837512

[startup+240.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18307 3 1 0 22424 66 0 0 17 0 11 0 1787000344 857612288 44908 4294967295 134512640 134569956 3221224336 3221214424 1131375265 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 44908 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 224.9
Current children cumulated vsize (Kb) 837512

[startup+250.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18311 3 1 0 23411 66 0 0 25 0 11 0 1787000344 857612288 44908 4294967295 134512640 134569956 3221224336 3221214520 1131394968 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 44908 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 234.77
Current children cumulated vsize (Kb) 837512

[startup+260.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18313 3 1 0 24401 66 0 0 22 0 11 0 1787000344 857612288 45282 4294967295 134512640 134569956 3221224336 3221214512 1131458451 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 45282 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 244.67
Current children cumulated vsize (Kb) 837512

[startup+270.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18319 3 1 0 25379 66 0 0 25 0 11 0 1787000344 857612288 45635 4294967295 134512640 134569956 3221224336 3221214512 1131458427 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 45635 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 254.45
Current children cumulated vsize (Kb) 837512

[startup+280.02 s]
Raw data (loadavg): 1.00 1.00 1.00 3/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18321 3 1 0 26373 66 0 0 25 0 11 0 1787000344 857612288 45635 4294967295 134512640 134569956 3221224336 3221214424 1131699707 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 45635 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 264.39
Current children cumulated vsize (Kb) 837512

[startup+290.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18322 3 1 0 27370 66 0 0 22 0 11 0 1787000344 857612288 45635 4294967295 134512640 134569956 3221224336 3221214504 1131435353 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 45635 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 274.36
Current children cumulated vsize (Kb) 837512

[startup+300.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18324 3 1 0 28360 67 0 0 23 0 11 0 1787000344 857612288 45635 4294967295 134512640 134569956 3221224336 3221214512 1131458179 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 45635 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 284.27
Current children cumulated vsize (Kb) 837512

[startup+310.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18328 3 1 0 29344 67 0 0 25 0 11 0 1787000344 857612288 46017 4294967295 134512640 134569956 3221224336 3221214512 1131433636 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 46017 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 294.11
Current children cumulated vsize (Kb) 837512

[startup+320.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18328 3 1 0 30343 67 0 0 25 0 11 0 1787000344 857612288 46017 4294967295 134512640 134569956 3221224336 3221214400 1131703674 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 46017 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 304.1
Current children cumulated vsize (Kb) 837512

[startup+330.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18329 3 1 0 31339 67 0 0 25 0 11 0 1787000344 857612288 46017 4294967295 134512640 134569956 3221224336 3221214424 1131699810 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 46017 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 314.06
Current children cumulated vsize (Kb) 837512

[startup+340.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18332 3 1 0 32324 67 0 0 17 0 11 0 1787000344 857612288 46819 4294967295 134512640 134569956 3221224336 3221214512 1131458179 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 46819 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 323.91
Current children cumulated vsize (Kb) 837512

[startup+350.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18335 3 1 0 33315 67 0 0 25 0 11 0 1787000344 857612288 46819 4294967295 134512640 134569956 3221224336 3221214568 1131435040 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 46819 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 333.82
Current children cumulated vsize (Kb) 837512

[startup+360.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18336 3 1 0 34310 67 0 0 19 0 11 0 1787000344 857612288 46819 4294967295 134512640 134569956 3221224336 3221214504 1131435385 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 46819 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 343.77
Current children cumulated vsize (Kb) 837512

[startup+370.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18337 3 1 0 35306 68 0 0 25 0 11 0 1787000344 857612288 47411 4294967295 134512640 134569956 3221224336 3221214512 1131435389 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 47411 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 353.74
Current children cumulated vsize (Kb) 837512

[startup+380.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18341 3 1 0 36296 68 0 0 16 0 11 0 1787000344 857612288 47411 4294967295 134512640 134569956 3221224336 3221214512 1131458387 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 47411 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 363.64
Current children cumulated vsize (Kb) 837512

[startup+390.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18343 3 1 0 37289 68 0 0 25 0 11 0 1787000344 857612288 47411 4294967295 134512640 134569956 3221224336 3221214568 1131435420 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 47411 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 373.57
Current children cumulated vsize (Kb) 837512

[startup+400.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18344 3 1 0 38285 69 0 0 21 0 11 0 1787000344 857612288 47411 4294967295 134512640 134569956 3221224336 3221214520 1131395013 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 47411 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 383.54
Current children cumulated vsize (Kb) 837512

[startup+410.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18345 3 1 0 39280 69 0 0 25 0 11 0 1787000344 857612288 47979 4294967295 134512640 134569956 3221224336 3221214400 1131703700 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 47979 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 393.49
Current children cumulated vsize (Kb) 837512

[startup+420.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18350 3 1 0 40266 70 0 0 19 0 11 0 1787000344 857612288 47979 4294967295 134512640 134569956 3221224336 3221214696 1131555905 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 47979 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 403.36
Current children cumulated vsize (Kb) 837512

[startup+430.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18351 3 1 0 41262 71 0 0 25 0 11 0 1787000344 857612288 47979 4294967295 134512640 134569956 3221224336 3221214400 1131703698 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 47979 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 413.33
Current children cumulated vsize (Kb) 837512

[startup+440.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18351 3 1 0 42261 71 0 0 25 0 11 0 1787000344 857612288 47979 4294967295 134512640 134569956 3221224336 3221214520 1131394995 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 47979 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 423.32
Current children cumulated vsize (Kb) 837512

[startup+450.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18352 3 1 0 43257 71 0 0 25 0 11 0 1787000344 857612288 48542 4294967295 134512640 134569956 3221224336 3221214424 1131699893 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 48542 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 433.28
Current children cumulated vsize (Kb) 837512

[startup+460.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18357 3 1 0 44243 71 0 0 17 0 11 0 1787000344 857612288 48542 4294967295 134512640 134569956 3221224336 3221214512 1131458459 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 48542 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 443.14
Current children cumulated vsize (Kb) 837512

[startup+470.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18358 3 1 0 45239 71 0 0 25 0 11 0 1787000344 857612288 48542 4294967295 134512640 134569956 3221224336 3221214504 1131435456 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 48542 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 453.1
Current children cumulated vsize (Kb) 837512

[startup+480.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18359 3 1 0 46236 71 0 0 25 0 11 0 1787000344 857612288 48542 4294967295 134512640 134569956 3221224336 3221214424 1131699664 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 48542 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 463.07
Current children cumulated vsize (Kb) 837512

[startup+490.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18360 3 1 0 47232 72 0 0 17 0 11 0 1787000344 857612288 48542 4294967295 134512640 134569956 3221224336 3221214512 1131458467 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 48542 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 473.04
Current children cumulated vsize (Kb) 837512

[startup+500.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18366 3 1 0 48214 72 0 0 25 0 11 0 1787000344 857612288 49133 4294967295 134512640 134569956 3221224336 3221214568 1131435456 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 49133 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 482.86
Current children cumulated vsize (Kb) 837512

[startup+510.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18366 3 1 0 49214 72 0 0 25 0 11 0 1787000344 857612288 49133 4294967295 134512640 134569956 3221224336 3221214504 1131435424 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 49133 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 492.86
Current children cumulated vsize (Kb) 837512

[startup+520.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18367 3 1 0 50210 72 0 0 25 0 11 0 1787000344 857612288 49133 4294967295 134512640 134569956 3221224336 3221214424 1131699891 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 49133 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 502.82
Current children cumulated vsize (Kb) 837512

[startup+530.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18370 3 1 0 51198 72 0 0 25 0 11 0 1787000344 857612288 49655 4294967295 134512640 134569956 3221224336 3221214568 1131435337 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 49655 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 512.7
Current children cumulated vsize (Kb) 837512

[startup+540.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18372 3 1 0 52189 72 0 0 25 0 11 0 1787000344 857612288 50177 4294967295 134512640 134569956 3221224336 3221214512 1131458451 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 50177 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 522.61
Current children cumulated vsize (Kb) 837512

[startup+550.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18380 3 1 0 53168 73 0 0 16 0 11 0 1787000344 857612288 50177 4294967295 134512640 134569956 3221224336 3221214512 1131458379 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 50177 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 532.41
Current children cumulated vsize (Kb) 837512

[startup+560.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18386 3 1 0 54097 73 0 0 16 0 11 0 1787000344 857612288 50741 4294967295 134512640 134569956 3221224336 3221214616 1131596838 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 50741 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 541.7
Current children cumulated vsize (Kb) 837512

[startup+570.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18393 3 1 0 55009 73 0 0 16 0 11 0 1787000344 857612288 51582 4294967295 134512640 134569956 3221224336 3221214608 1131569299 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 51582 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 550.82
Current children cumulated vsize (Kb) 837512

[startup+580.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18400 3 1 0 55914 73 0 0 16 0 11 0 1787000344 857612288 52316 4294967295 134512640 134569956 3221224336 3221214512 1131458336 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 52316 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 559.87
Current children cumulated vsize (Kb) 837512

[startup+590.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17937
Raw data (/proc/17922/stat): 17922 (java) S 17921 17922 6872 0 -1 0 18406 3 1 0 56828 73 0 0 16 0 11 0 1787000344 857612288 52869 4294967295 134512640 134569956 3221224336 3221213256 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 52869 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 569.01
Current children cumulated vsize (Kb) 837512
One traced child (pid=17937) exited with status: 0
New thread pid=17938

[startup+600.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18415 3 1 0 57717 74 0 0 16 0 11 0 1787000344 857612288 53275 4294967295 134512640 134569956 3221224336 3221214512 1131458179 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 53275 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 577.91
Current children cumulated vsize (Kb) 837512

[startup+610.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18422 3 1 0 58634 74 0 0 16 0 11 0 1787000344 857612288 53275 4294967295 134512640 134569956 3221224336 3221214512 1131458282 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 53275 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 587.08
Current children cumulated vsize (Kb) 837512

[startup+620.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18430 3 1 0 59539 74 0 0 17 0 11 0 1787000344 857612288 53275 4294967295 134512640 134569956 3221224336 3221214512 1131458179 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 53275 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 596.13
Current children cumulated vsize (Kb) 837512

[startup+630.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18434 3 1 0 60490 74 0 0 25 0 11 0 1787000344 857612288 53541 4294967295 134512640 134569956 3221224336 3221214504 1131435389 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 53541 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 605.64
Current children cumulated vsize (Kb) 837512

[startup+640.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18435 3 1 0 61480 74 0 0 25 0 11 0 1787000344 857612288 53638 4294967295 134512640 134569956 3221224336 3221214432 1131458005 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 53638 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 615.54
Current children cumulated vsize (Kb) 837512

[startup+650.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18436 3 1 0 62470 75 0 0 25 0 11 0 1787000344 857612288 53710 4294967295 134512640 134569956 3221224336 3221214568 1131435319 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 53710 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 625.45
Current children cumulated vsize (Kb) 837512

[startup+660.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18437 3 1 0 63458 75 0 0 25 0 11 0 1787000344 857612288 53808 4294967295 134512640 134569956 3221224336 3221214512 1131435281 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 53808 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 635.33
Current children cumulated vsize (Kb) 837512

[startup+670.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18438 3 1 0 64446 75 0 0 16 0 11 0 1787000344 857612288 54633 4294967295 134512640 134569956 3221224336 3221214504 1131435319 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 54633 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 645.21
Current children cumulated vsize (Kb) 837512

[startup+680.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18442 3 1 0 65434 75 0 0 25 0 11 0 1787000344 857612288 54633 4294967295 134512640 134569956 3221224336 3221214568 1131435260 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 54633 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 655.09
Current children cumulated vsize (Kb) 837512

[startup+690.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18443 3 1 0 66430 75 0 0 25 0 11 0 1787000344 857612288 54633 4294967295 134512640 134569956 3221224336 3221214504 1131435456 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 54633 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 665.05
Current children cumulated vsize (Kb) 837512

[startup+700.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18444 3 1 0 67424 76 0 0 25 0 11 0 1787000344 857612288 55231 4294967295 134512640 134569956 3221224336 3221214424 1131699774 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 55231 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 675
Current children cumulated vsize (Kb) 837512

[startup+710.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18444 3 1 0 68425 76 0 0 25 0 11 0 1787000344 857612288 55231 4294967295 134512640 134569956 3221224336 3221214432 1131395055 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 55231 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 685.01
Current children cumulated vsize (Kb) 837512

[startup+720.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18452 3 1 0 69402 76 0 0 17 0 11 0 1787000344 857612288 55231 4294967295 134512640 134569956 3221224336 3221214424 1131376276 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 55231 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 694.78
Current children cumulated vsize (Kb) 837512

[startup+730.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18455 3 1 0 70392 76 0 0 25 0 11 0 1787000344 857612288 55231 4294967295 134512640 134569956 3221224336 3221214504 1131435270 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 55231 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 704.68
Current children cumulated vsize (Kb) 837512

[startup+740.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18456 3 1 0 71388 77 0 0 21 0 11 0 1787000344 857612288 55231 4294967295 134512640 134569956 3221224336 3221214424 1131699695 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 55231 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 714.65
Current children cumulated vsize (Kb) 837512

[startup+750.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18456 3 1 0 72387 77 0 0 25 0 11 0 1787000344 857612288 55231 4294967295 134512640 134569956 3221224336 3221214424 1131699897 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 55231 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 724.64
Current children cumulated vsize (Kb) 837512

[startup+760.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18463 3 1 0 73365 77 0 0 18 0 11 0 1787000344 857612288 55831 4294967295 134512640 134569956 3221224336 3221214512 1131458379 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 55831 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 734.42
Current children cumulated vsize (Kb) 837512

[startup+770.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18466 3 1 0 74355 77 0 0 25 0 11 0 1787000344 857612288 55831 4294967295 134512640 134569956 3221224336 3221214568 1131435458 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 55831 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 744.32
Current children cumulated vsize (Kb) 837512

[startup+780.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18467 3 1 0 75350 77 0 0 19 0 11 0 1787000344 857612288 55831 4294967295 134512640 134569956 3221224336 3221214568 1131435235 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 55831 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 754.27
Current children cumulated vsize (Kb) 837512

[startup+790.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18468 3 1 0 76345 77 0 0 25 0 11 0 1787000344 857612288 56408 4294967295 134512640 134569956 3221224336 3221214472 1131694478 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 56408 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 764.22
Current children cumulated vsize (Kb) 837512

[startup+800.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18471 3 1 0 77336 78 0 0 17 0 11 0 1787000344 857612288 56408 4294967295 134512640 134569956 3221224336 3221214512 1131458721 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 56408 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 774.14
Current children cumulated vsize (Kb) 837512

[startup+810.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18477 3 1 0 78319 78 0 0 21 0 11 0 1787000344 857612288 56408 4294967295 134512640 134569956 3221224336 3221214504 1131435285 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 56408 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 783.97
Current children cumulated vsize (Kb) 837512

[startup+820.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18478 3 1 0 79314 78 0 0 25 0 11 0 1787000344 857612288 56408 4294967295 134512640 134569956 3221224336 3221214504 1131435458 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 56408 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 793.92
Current children cumulated vsize (Kb) 837512

[startup+830.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18479 3 1 0 80310 78 0 0 19 0 11 0 1787000344 857612288 56408 4294967295 134512640 134569956 3221224336 3221214424 1131699741 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 56408 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 803.88
Current children cumulated vsize (Kb) 837512

[startup+840.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18479 3 1 0 81309 78 0 0 25 0 11 0 1787000344 857612288 56408 4294967295 134512640 134569956 3221224336 3221214424 1131699893 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 56408 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 813.87
Current children cumulated vsize (Kb) 837512

[startup+850.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18485 3 1 0 82290 79 0 0 17 0 11 0 1787000344 857612288 57005 4294967295 134512640 134569956 3221224336 3221214512 1131458307 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 57005 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 823.69
Current children cumulated vsize (Kb) 837512

[startup+860.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18491 3 1 0 83274 79 0 0 21 0 11 0 1787000344 857612288 57005 4294967295 134512640 134569956 3221224336 3221214512 1131646812 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 57005 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 833.53
Current children cumulated vsize (Kb) 837512

[startup+870.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18492 3 1 0 84269 79 0 0 25 0 11 0 1787000344 857612288 57005 4294967295 134512640 134569956 3221224336 3221214504 1131435319 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 57005 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 843.48
Current children cumulated vsize (Kb) 837512

[startup+880.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18493 3 1 0 85263 79 0 0 25 0 11 0 1787000344 857612288 57450 4294967295 134512640 134569956 3221224336 3221214424 1131699684 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 57450 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 853.42
Current children cumulated vsize (Kb) 837512

[startup+890.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18493 3 1 0 86264 79 0 0 25 0 11 0 1787000344 857612288 57450 4294967295 134512640 134569956 3221224336 3221214400 1131703721 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 57450 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 863.43
Current children cumulated vsize (Kb) 837512

[startup+900.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18499 3 1 0 87244 79 0 0 17 0 11 0 1787000344 857612288 57450 4294967295 134512640 134569956 3221224336 3221214512 1131458336 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 57450 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 873.23
Current children cumulated vsize (Kb) 837512

[startup+910.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18501 3 1 0 88236 79 0 0 25 0 11 0 1787000344 857612288 57450 4294967295 134512640 134569956 3221224336 3221214568 1131435180 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 57450 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 883.15
Current children cumulated vsize (Kb) 837512

[startup+920.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18502 3 1 0 89231 80 0 0 25 0 11 0 1787000344 857612288 57602 4294967295 134512640 134569956 3221224336 3221214504 1131435333 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 57602 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 893.11
Current children cumulated vsize (Kb) 837512

[startup+930.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18503 3 1 0 90225 80 0 0 25 0 11 0 1787000344 857612288 58200 4294967295 134512640 134569956 3221224336 3221214400 1131703700 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 58200 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 903.05
Current children cumulated vsize (Kb) 837512

[startup+940.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) S 17921 17922 6872 0 -1 0 18506 3 1 0 91216 80 0 0 16 0 11 0 1787000344 857612288 58200 4294967295 134512640 134569956 3221224336 3221213216 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 58200 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 912.96
Current children cumulated vsize (Kb) 837512

[startup+950.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18513 3 1 0 92197 80 0 0 25 0 11 0 1787000344 857612288 58200 4294967295 134512640 134569956 3221224336 3221214504 1131435293 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 58200 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 922.77
Current children cumulated vsize (Kb) 837512

[startup+960.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18514 3 1 0 93193 80 0 0 25 0 11 0 1787000344 857612288 58200 4294967295 134512640 134569956 3221224336 3221214504 1131435329 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 58200 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 932.73
Current children cumulated vsize (Kb) 837512

[startup+970.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18516 3 1 0 94183 80 0 0 17 0 11 0 1787000344 857612288 58798 4294967295 134512640 134569956 3221224336 3221214472 1131694468 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 58798 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 942.63
Current children cumulated vsize (Kb) 837512

[startup+980.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18516 3 1 0 95183 80 0 0 25 0 11 0 1787000344 857612288 58798 4294967295 134512640 134569956 3221224336 3221214424 1131699957 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 58798 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 952.63
Current children cumulated vsize (Kb) 837512

[startup+990.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18521 3 1 0 96168 81 0 0 17 0 11 0 1787000344 857612288 58798 4294967295 134512640 134569956 3221224336 3221214512 1131458336 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 58798 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 962.49
Current children cumulated vsize (Kb) 837512

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18526 3 1 0 97153 81 0 0 16 0 11 0 1787000344 857612288 58798 4294967295 134512640 134569956 3221224336 3221214520 1131394999 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 58798 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 972.34
Current children cumulated vsize (Kb) 837512

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18526 3 1 0 98153 82 0 0 25 0 11 0 1787000344 857612288 58798 4294967295 134512640 134569956 3221224336 3221214424 1131699403 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 58798 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 982.35
Current children cumulated vsize (Kb) 837512

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18527 3 1 0 99147 82 0 0 25 0 11 0 1787000344 857612288 59394 4294967295 134512640 134569956 3221224336 3221214512 1131435270 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 59394 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 992.29
Current children cumulated vsize (Kb) 837512

[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18528 3 1 0 100144 82 0 0 25 0 11 0 1787000344 857612288 59394 4294967295 134512640 134569956 3221224336 3221214512 1131458179 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 59394 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (Kb) 837512

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18536 3 1 0 101122 83 0 0 17 0 11 0 1787000344 857612288 59394 4294967295 134512640 134569956 3221224336 3221214512 1131458451 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 59394 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 1012.05
Current children cumulated vsize (Kb) 837512

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18543 3 1 0 102101 83 0 0 17 0 11 0 1787000344 857612288 59394 4294967295 134512640 134569956 3221224336 3221214568 1131435289 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 59394 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 1021.84
Current children cumulated vsize (Kb) 837512

[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18544 3 1 0 103097 83 0 0 17 0 11 0 1787000344 857612288 59394 4294967295 134512640 134569956 3221224336 3221214504 1131435456 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 59394 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 1031.8
Current children cumulated vsize (Kb) 837512

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18545 3 1 0 104091 84 0 0 25 0 11 0 1787000344 857612288 59991 4294967295 134512640 134569956 3221224336 3221214424 1131699957 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 59991 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 1041.75
Current children cumulated vsize (Kb) 837512

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18545 3 1 0 105090 85 0 0 25 0 11 0 1787000344 857612288 59991 4294967295 134512640 134569956 3221224336 3221214424 1131699935 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 59991 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 1051.75
Current children cumulated vsize (Kb) 837512

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18550 3 1 0 106076 85 0 0 19 0 11 0 1787000344 857612288 59991 4294967295 134512640 134569956 3221224336 3221214512 1131458451 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 59991 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 1061.61
Current children cumulated vsize (Kb) 837512

[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18556 3 1 0 107058 85 0 0 20 0 11 0 1787000344 857612288 59991 4294967295 134512640 134569956 3221224336 3221214568 1131435416 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 59991 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 1071.43
Current children cumulated vsize (Kb) 837512

[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18557 3 1 0 108053 85 0 0 21 0 11 0 1787000344 857612288 59991 4294967295 134512640 134569956 3221224336 3221214476 1131717927 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 59991 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 1081.38
Current children cumulated vsize (Kb) 837512

[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18558 3 1 0 109048 85 0 0 25 0 11 0 1787000344 857612288 60588 4294967295 134512640 134569956 3221224336 3221214400 1131703685 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 60588 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 1091.33
Current children cumulated vsize (Kb) 837512

[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18560 3 1 0 110042 86 0 0 25 0 11 0 1787000344 857612288 60588 4294967295 134512640 134569956 3221224336 3221214512 1131458316 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 60588 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 1101.28
Current children cumulated vsize (Kb) 837512

[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18567 3 1 0 111023 86 0 0 18 0 11 0 1787000344 857612288 60588 4294967295 134512640 134569956 3221224336 3221214512 1131458296 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 60588 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 1111.09
Current children cumulated vsize (Kb) 837512

[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18571 3 1 0 112012 86 0 0 25 0 11 0 1787000344 857612288 60588 4294967295 134512640 134569956 3221224336 3221214424 1131699949 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 60588 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 1120.98
Current children cumulated vsize (Kb) 837512

[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18572 3 1 0 113007 86 0 0 25 0 11 0 1787000344 857612288 60588 4294967295 134512640 134569956 3221224336 3221214512 1131435297 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 60588 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 1130.93
Current children cumulated vsize (Kb) 837512

[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18573 3 1 0 114000 87 0 0 25 0 11 0 1787000344 857612288 61157 4294967295 134512640 134569956 3221224336 3221214472 1131694408 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 61157 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 1140.87
Current children cumulated vsize (Kb) 837512

[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18575 3 1 0 114995 87 0 0 16 0 11 0 1787000344 857612288 61157 4294967295 134512640 134569956 3221224336 3221214512 1131458282 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 61157 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 1150.82
Current children cumulated vsize (Kb) 837512

[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18582 3 1 0 115974 87 0 0 17 0 11 0 1787000344 857612288 61157 4294967295 134512640 134569956 3221224336 3221214512 1131458179 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 61157 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 1160.61
Current children cumulated vsize (Kb) 837512

[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18584 3 1 0 116968 87 0 0 25 0 11 0 1787000344 857612288 61157 4294967295 134512640 134569956 3221224336 3221214424 1131699828 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17922/statm): 209378 61157 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 1170.55
Current children cumulated vsize (Kb) 837512

[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18585 3 1 0 117963 88 0 0 20 0 11 0 1787000344 857612288 61157 4294967295 134512640 134569956 3221224336 3221214504 1131435389 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 61157 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 1180.51
Current children cumulated vsize (Kb) 837512

[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18586 3 1 0 118958 88 0 0 25 0 11 0 1787000344 857612288 61755 4294967295 134512640 134569956 3221224336 3221214472 1131694444 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 61755 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 1190.46
Current children cumulated vsize (Kb) 837512

[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18589 3 1 0 119950 88 0 0 17 0 11 0 1787000344 857612288 61755 4294967295 134512640 134569956 3221224336 3221214512 1131458307 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 61755 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 1200.38
Current children cumulated vsize (Kb) 837512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17938
Raw data (/proc/17922/stat): 17922 (java) R 17921 17922 6872 0 -1 0 18589 3 1 0 119950 88 0 0 17 0 11 0 1787000344 857612288 61755 4294967295 134512640 134569956 3221224336 3221214512 1131458276 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17922/statm): 209378 61755 13129 16 0 209362 0
[pid=17922] vsize: 837512
Current children cumulated CPU time (s) 1200.38
Current children cumulated vsize (Kb) 837512

Sending SIGTERM to -17922
Sleeping 2 seconds
New thread pid=17940
New thread pid=17941
One traced child (pid=17941) exited with status: 0
One traced child (pid=17931) exited with status: 0
One traced child (pid=17926) exited with status: 0
One traced child (pid=17923) exited with status: 143
One traced child (pid=17924) exited with status: 143
One traced child (pid=17925) exited with status: 143
One traced child (pid=17930) exited with status: 143
One traced child (pid=17927) exited with status: 143
One traced child (pid=17929) exited with status: 143
One traced child (pid=17938) exited with status: 143
One traced child (pid=17940) exited with status: 143
One traced child (pid=17928) exited with status: 143
One traced child (pid=17922) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1230.41
CPU time (s): 1227.32
CPU user time (s): 1225.36
CPU system time (s): 1.9627
CPU usage (%): 99.7486
Max. virtual memory (cumulated for all children) (Kb): 838536
Name	web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb
MD5SUM	550a32227cb0042826e9d8b0433b2655
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-42
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	1203.08
Number of variables	1400
Total number of constraints	109401
Number of constraints which are clauses	109401
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 3304

Launcher Data

Solver Data

Watcher Data

Verifier Data
