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/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1786630927 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 39 3 38 16 0 23 0
[pid=6954] 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/6954
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=6955
New thread pid=6956
New thread pid=6957
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=6958
New thread pid=6959
New thread pid=6960
New thread pid=6961
New thread pid=6962
New thread pid=6963
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-9symml.opb
New thread pid=6964
One traced child (pid=6964) exited with status: 0
New thread pid=6965
One traced child (pid=6965) exited with status: 0
New thread pid=6966
One traced child (pid=6966) exited with status: 0
New thread pid=6967
One traced child (pid=6967) exited with status: 0
New thread pid=6968
One traced child (pid=6968) exited with status: 0
New thread pid=6969
One traced child (pid=6969) exited with status: 0
New thread pid=6970
One traced child (pid=6970) exited with status: 0
New thread pid=6971
One traced child (pid=6971) exited with status: 0
New thread pid=6972

[startup+10.0028 s]
Raw data (loadavg): 1.01 1.00 1.00 3/66 6972
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18187 3 1 0 727 51 0 0 20 0 11 0 1786630927 858337280 20484 4294967295 134512640 134569956 3221224352 3221214472 1131423498 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 209555 20484 13129 16 0 209539 0
[pid=6954] vsize: 838220
Current children cumulated CPU time (s) 7.78
Current children cumulated vsize (Kb) 838220
One traced child (pid=6972) exited with status: 0
New thread pid=6973
One traced child (pid=6973) exited with status: 0
New thread pid=6974
One traced child (pid=6974) exited with status: 0
New thread pid=6975
One traced child (pid=6975) exited with status: 0
New thread pid=6976

[startup+20.0024 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 6976
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18199 3 1 0 1672 52 0 0 17 0 11 0 1786630927 858107904 20967 4294967295 134512640 134569956 3221224352 3221214512 1131578370 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 209499 20967 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 17.24
Current children cumulated vsize (Kb) 837996
One traced child (pid=6976) exited with status: 0
New thread pid=6977
One traced child (pid=6977) exited with status: 0
New thread pid=6978

[startup+30.0031 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 6978
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18208 3 1 0 2603 53 0 0 18 0 11 0 1786630927 858107904 21698 4294967295 134512640 134569956 3221224352 3221214504 1131423378 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 209499 21698 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 26.56
Current children cumulated vsize (Kb) 837996
One traced child (pid=6978) exited with status: 0
New thread pid=6979

[startup+40.0037 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 6979
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18214 3 1 0 3547 53 0 0 19 0 11 0 1786630927 858107904 21703 4294967295 134512640 134569956 3221224352 3221214572 1131057164 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 209499 21703 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 36
Current children cumulated vsize (Kb) 837996

[startup+50.0044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6979
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18220 3 1 0 4471 54 0 0 22 0 11 0 1786630927 858107904 22021 4294967295 134512640 134569956 3221224352 3221214504 1131423737 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 209499 22021 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 45.25
Current children cumulated vsize (Kb) 837996

[startup+60.0051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6979
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18226 3 1 0 5412 54 0 0 25 0 11 0 1786630927 858107904 22130 4294967295 134512640 134569956 3221224352 3221214596 1131390451 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 209499 22130 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 54.66
Current children cumulated vsize (Kb) 837996

[startup+70.0057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6979
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18233 3 1 0 6346 55 0 0 18 0 11 0 1786630927 858107904 22228 4294967295 134512640 134569956 3221224352 3221214504 1131423541 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 209499 22228 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 64.01
Current children cumulated vsize (Kb) 837996
One traced child (pid=6979) exited with status: 0
New thread pid=6980

[startup+80.0064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18239 3 1 0 7294 55 0 1 25 0 11 0 1786630927 858107904 22440 4294967295 134512640 134569956 3221224352 3221214600 1131566643 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 209499 22440 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 73.5
Current children cumulated vsize (Kb) 837996

[startup+90.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18245 3 1 0 8248 55 0 1 25 0 11 0 1786630927 858107904 22622 4294967295 134512640 134569956 3221224352 3221214600 1131566052 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 209499 22622 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 83.04
Current children cumulated vsize (Kb) 837996

[startup+100.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18252 3 1 0 9200 56 0 1 25 0 11 0 1786630927 858107904 22843 4294967295 134512640 134569956 3221224352 3221214600 1131566439 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 209499 22843 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 92.57
Current children cumulated vsize (Kb) 837996

[startup+110.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18258 3 1 0 10162 56 0 1 25 0 11 0 1786630927 858107904 22925 4294967295 134512640 134569956 3221224352 3221214608 1131561504 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 209499 22925 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (Kb) 837996

[startup+120.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18264 3 1 0 11124 56 0 1 25 0 11 0 1786630927 858107904 22986 4294967295 134512640 134569956 3221224352 3221214576 1131390480 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 209499 22986 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 111.81
Current children cumulated vsize (Kb) 837996

[startup+130.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18271 3 1 0 12080 56 0 1 23 0 11 0 1786630927 858107904 23157 4294967295 134512640 134569956 3221224352 3221214504 1131423498 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 209499 23157 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 121.37
Current children cumulated vsize (Kb) 837996

[startup+140.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18277 3 1 0 13050 57 0 1 25 0 11 0 1786630927 858107904 23280 4294967295 134512640 134569956 3221224352 3221214600 1131566771 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 209499 23280 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 131.08
Current children cumulated vsize (Kb) 837996

[startup+150.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18284 3 1 0 14016 57 0 1 18 0 11 0 1786630927 858107904 23368 4294967295 134512640 134569956 3221224352 3221214504 1131423496 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 209499 23368 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 140.74
Current children cumulated vsize (Kb) 837996

[startup+160.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18290 3 1 0 14985 57 0 1 25 0 11 0 1786630927 858107904 23436 4294967295 134512640 134569956 3221224352 3221214512 1131578414 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 209499 23436 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 150.43
Current children cumulated vsize (Kb) 837996

[startup+170.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18297 3 1 0 15947 58 0 1 19 0 11 0 1786630927 858107904 23527 4294967295 134512640 134569956 3221224352 3221214512 1131579048 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 209499 23527 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 160.06
Current children cumulated vsize (Kb) 837996

[startup+180.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18303 3 1 0 16905 58 0 1 24 0 11 0 1786630927 858107904 23594 4294967295 134512640 134569956 3221224352 3221214512 1131423541 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 209499 23594 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 169.64
Current children cumulated vsize (Kb) 837996

[startup+190.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18308 3 1 0 17867 58 0 1 25 0 11 0 1786630927 858107904 23650 4294967295 134512640 134569956 3221224352 3221214648 1131496685 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 209499 23650 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 179.26
Current children cumulated vsize (Kb) 837996

[startup+200.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18314 3 1 0 18808 59 0 1 25 0 11 0 1786630927 858107904 24009 4294967295 134512640 134569956 3221224352 3221214648 1131496685 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 209499 24009 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 188.68
Current children cumulated vsize (Kb) 837996

[startup+210.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18321 3 1 0 19734 59 0 1 25 0 11 0 1786630927 858107904 24261 4294967295 134512640 134569956 3221224352 3221214552 1131460598 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 209499 24261 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 197.94
Current children cumulated vsize (Kb) 837996

[startup+220.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18329 3 1 0 20650 59 0 1 18 0 11 0 1786630927 858107904 24966 4294967295 134512640 134569956 3221224352 3221214552 1131459973 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 209499 24966 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 207.1
Current children cumulated vsize (Kb) 837996

[startup+230.018 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18336 3 1 0 21583 60 0 1 25 0 11 0 1786630927 858107904 25184 4294967295 134512640 134569956 3221224352 3221214648 1131497755 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 209499 25184 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 216.44
Current children cumulated vsize (Kb) 837996

[startup+240.019 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18344 3 1 0 22501 60 0 1 16 0 11 0 1786630927 858107904 25243 4294967295 134512640 134569956 3221224352 3221214552 1131459582 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 209499 25243 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 225.62
Current children cumulated vsize (Kb) 837996

[startup+250.019 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18350 3 1 0 23436 60 0 1 24 0 11 0 1786630927 858107904 25584 4294967295 134512640 134569956 3221224352 3221214552 1131460614 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 209499 25584 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 234.97
Current children cumulated vsize (Kb) 837996

[startup+260.02 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18357 3 1 0 24357 60 0 1 16 0 11 0 1786630927 858107904 26047 4294967295 134512640 134569956 3221224352 3221214648 1131496640 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 209499 26047 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 244.18
Current children cumulated vsize (Kb) 837996

[startup+270.021 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18363 3 1 0 25293 60 0 1 17 0 11 0 1786630927 858107904 26127 4294967295 134512640 134569956 3221224352 3221214592 1131566111 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 209499 26127 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 253.54
Current children cumulated vsize (Kb) 837996

[startup+280.021 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18370 3 1 0 26226 61 0 1 16 0 11 0 1786630927 858107904 26339 4294967295 134512640 134569956 3221224352 3221214504 1131423541 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 209499 26339 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 262.88
Current children cumulated vsize (Kb) 837996

[startup+290.022 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18376 3 1 0 27170 61 0 1 17 0 11 0 1786630927 858107904 26350 4294967295 134512640 134569956 3221224352 3221214504 1131423378 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 209499 26350 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 272.32
Current children cumulated vsize (Kb) 837996

[startup+300.023 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18383 3 1 0 28110 61 0 1 16 0 11 0 1786630927 858107904 26893 4294967295 134512640 134569956 3221224352 3221214600 1131561665 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 209499 26893 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 281.72
Current children cumulated vsize (Kb) 837996

[startup+310.023 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18389 3 1 0 29074 61 0 1 17 0 11 0 1786630927 858107904 26975 4294967295 134512640 134569956 3221224352 3221214496 1131423558 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 209499 26975 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 291.36
Current children cumulated vsize (Kb) 837996

[startup+320.023 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18396 3 1 0 30029 62 0 1 16 0 11 0 1786630927 858107904 27087 4294967295 134512640 134569956 3221224352 3221214504 1131423720 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 209499 27087 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 300.92
Current children cumulated vsize (Kb) 837996

[startup+330.025 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18402 3 1 0 30990 62 0 1 17 0 11 0 1786630927 858107904 27136 4294967295 134512640 134569956 3221224352 3221214648 1131496670 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 209499 27136 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 310.53
Current children cumulated vsize (Kb) 837996

[startup+340.025 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18408 3 1 0 31936 62 0 1 17 0 11 0 1786630927 858107904 27202 4294967295 134512640 134569956 3221224352 3221214552 1131459553 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 209499 27202 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 319.99
Current children cumulated vsize (Kb) 837996

[startup+350.025 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18415 3 1 0 32871 63 0 1 17 0 11 0 1786630927 858107904 27334 4294967295 134512640 134569956 3221224352 3221214552 1131460203 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 209499 27334 13129 16 0 209483 0
[pid=6954] vsize: 837996
Current children cumulated CPU time (s) 329.35
Current children cumulated vsize (Kb) 837996

[startup+360.027 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18422 3 1 0 33801 63 0 1 16 0 11 0 1786630927 860205056 27831 4294967295 134512640 134569956 3221224352 3221214496 1131423590 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 27831 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 338.65
Current children cumulated vsize (Kb) 840044

[startup+370.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18429 3 1 0 34725 64 0 1 16 0 11 0 1786630927 860205056 28103 4294967295 134512640 134569956 3221224352 3221214520 1131544589 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 28103 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 347.9
Current children cumulated vsize (Kb) 840044

[startup+380.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18435 3 1 0 35654 64 0 1 17 0 11 0 1786630927 860205056 28467 4294967295 134512640 134569956 3221224352 3221214592 1131566608 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 28467 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 357.19
Current children cumulated vsize (Kb) 840044

[startup+390.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18441 3 1 0 36593 64 0 1 16 0 11 0 1786630927 860205056 28730 4294967295 134512640 134569956 3221224352 3221214728 1131390489 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 28730 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 366.58
Current children cumulated vsize (Kb) 840044

[startup+400.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18448 3 1 0 37532 64 0 1 16 0 11 0 1786630927 860205056 28730 4294967295 134512640 134569956 3221224352 3221214560 1131497811 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 28730 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 375.97
Current children cumulated vsize (Kb) 840044

[startup+410.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18456 3 1 0 38457 64 0 1 16 0 11 0 1786630927 860205056 28900 4294967295 134512640 134569956 3221224352 3221214560 1131496636 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 28900 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 385.22
Current children cumulated vsize (Kb) 840044

[startup+420.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) S 6953 6954 1333 0 -1 0 18462 3 1 0 39381 65 0 1 17 0 11 0 1786630927 860205056 29160 4294967295 134512640 134569956 3221224352 3221213168 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 29162 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 394.47
Current children cumulated vsize (Kb) 840044

[startup+430.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18469 3 1 0 40323 65 0 1 17 0 11 0 1786630927 860205056 29408 4294967295 134512640 134569956 3221224352 3221214648 1131518224 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 29408 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 403.89
Current children cumulated vsize (Kb) 840044

[startup+440.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18476 3 1 0 41249 65 0 1 16 0 11 0 1786630927 860205056 29601 4294967295 134512640 134569956 3221224352 3221214520 1131566272 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 29601 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 413.15
Current children cumulated vsize (Kb) 840044

[startup+450.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18482 3 1 0 42186 65 0 1 17 0 11 0 1786630927 860205056 29722 4294967295 134512640 134569956 3221224352 3221214572 1131576499 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 29722 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 422.52
Current children cumulated vsize (Kb) 840044

[startup+460.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18489 3 1 0 43114 66 0 1 16 0 11 0 1786630927 860205056 29826 4294967295 134512640 134569956 3221224352 3221214432 1131577624 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 29826 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 431.81
Current children cumulated vsize (Kb) 840044

[startup+470.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18496 3 1 0 44042 66 0 1 16 0 11 0 1786630927 860205056 30029 4294967295 134512640 134569956 3221224352 3221214376 1131364096 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 30029 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 441.09
Current children cumulated vsize (Kb) 840044

[startup+480.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18503 3 1 0 44973 67 0 1 16 0 11 0 1786630927 860205056 30284 4294967295 134512640 134569956 3221224352 3221214540 1131664787 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 30284 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 450.41
Current children cumulated vsize (Kb) 840044

[startup+490.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18510 3 1 0 45921 67 0 1 16 0 11 0 1786630927 860205056 30584 4294967295 134512640 134569956 3221224352 3221214496 1131390489 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 30584 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 459.89
Current children cumulated vsize (Kb) 840044

[startup+500.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18517 3 1 0 46873 68 0 1 17 0 11 0 1786630927 860205056 30631 4294967295 134512640 134569956 3221224352 3221214464 1131460286 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 30631 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 469.42
Current children cumulated vsize (Kb) 840044

[startup+510.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18524 3 1 0 47826 68 0 1 17 0 11 0 1786630927 860205056 30834 4294967295 134512640 134569956 3221224352 3221214464 1131460577 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 30834 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 478.95
Current children cumulated vsize (Kb) 840044

[startup+520.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) S 6953 6954 1333 0 -1 0 18532 3 1 0 48780 68 0 1 17 0 11 0 1786630927 860205056 30938 4294967295 134512640 134569956 3221224352 3221213072 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 30938 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 488.49
Current children cumulated vsize (Kb) 840044

[startup+530.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18538 3 1 0 49746 69 0 1 17 0 11 0 1786630927 860205056 31048 4294967295 134512640 134569956 3221224352 3221214576 1131648077 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 31048 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 498.16
Current children cumulated vsize (Kb) 840044

[startup+540.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18546 3 1 0 50686 69 0 1 16 0 11 0 1786630927 860205056 31127 4294967295 134512640 134569956 3221224352 3221214464 1131460051 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 31127 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 507.56
Current children cumulated vsize (Kb) 840044

[startup+550.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18553 3 1 0 51629 70 0 1 17 0 11 0 1786630927 860205056 31198 4294967295 134512640 134569956 3221224352 3221214492 1131057186 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 31198 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 517
Current children cumulated vsize (Kb) 840044

[startup+560.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18560 3 1 0 52578 70 0 1 16 0 11 0 1786630927 860205056 31364 4294967295 134512640 134569956 3221224352 3221214432 1131423541 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 31364 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 526.49
Current children cumulated vsize (Kb) 840044

[startup+570.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18567 3 1 0 53527 70 0 1 16 0 11 0 1786630927 860205056 31411 4294967295 134512640 134569956 3221224352 3221214528 1131574612 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 31411 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 535.98
Current children cumulated vsize (Kb) 840044

[startup+580.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18574 3 1 0 54478 70 0 1 16 0 11 0 1786630927 860205056 31769 4294967295 134512640 134569956 3221224352 3221214464 1131459553 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 31769 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 545.49
Current children cumulated vsize (Kb) 840044

[startup+590.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18581 3 1 0 55441 71 0 1 16 0 11 0 1786630927 860205056 31844 4294967295 134512640 134569956 3221224352 3221214432 1131577657 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 31844 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 555.13
Current children cumulated vsize (Kb) 840044

[startup+600.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18588 3 1 0 56405 71 0 1 16 0 11 0 1786630927 860205056 31913 4294967295 134512640 134569956 3221224352 3221214464 1131459761 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 31913 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 564.77
Current children cumulated vsize (Kb) 840044

[startup+610.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18595 3 1 0 57370 71 0 1 16 0 11 0 1786630927 860205056 32022 4294967295 134512640 134569956 3221224352 3221214464 1131460051 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 32022 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 574.42
Current children cumulated vsize (Kb) 840044

[startup+620.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18601 3 1 0 58342 71 0 1 17 0 11 0 1786630927 860205056 32137 4294967295 134512640 134569956 3221224352 3221214556 1131459532 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 32137 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 584.14
Current children cumulated vsize (Kb) 840044

[startup+630.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18608 3 1 0 59308 71 0 1 17 0 11 0 1786630927 860205056 32179 4294967295 134512640 134569956 3221224352 3221214464 1131459993 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 32179 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 593.8
Current children cumulated vsize (Kb) 840044

[startup+640.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18615 3 1 0 60269 72 0 1 16 0 11 0 1786630927 860205056 32255 4294967295 134512640 134569956 3221224352 3221214432 1131423498 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 32255 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 603.42
Current children cumulated vsize (Kb) 840044

[startup+650.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18622 3 1 0 61222 72 0 1 17 0 11 0 1786630927 860205056 32334 4294967295 134512640 134569956 3221224352 3221214560 1131496678 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 32334 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 612.95
Current children cumulated vsize (Kb) 840044

[startup+660.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18630 3 1 0 62149 72 0 1 16 0 11 0 1786630927 860205056 32444 4294967295 134512640 134569956 3221224352 3221214376 1131364077 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 32444 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 622.22
Current children cumulated vsize (Kb) 840044

[startup+670.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18639 3 1 0 63066 73 0 1 16 0 11 0 1786630927 860205056 32607 4294967295 134512640 134569956 3221224352 3221214464 1131459639 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 32607 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 631.4
Current children cumulated vsize (Kb) 840044

[startup+680.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18647 3 1 0 63993 74 0 1 16 0 11 0 1786630927 860205056 32842 4294967295 134512640 134569956 3221224352 3221214432 1131423637 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 32842 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 640.68
Current children cumulated vsize (Kb) 840044

[startup+690.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18653 3 1 0 64938 74 0 1 16 0 11 0 1786630927 860205056 33069 4294967295 134512640 134569956 3221224352 3221214432 1131577111 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 33069 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 650.13
Current children cumulated vsize (Kb) 840044

[startup+700.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18658 3 1 0 65898 74 0 1 17 0 11 0 1786630927 860205056 33251 4294967295 134512640 134569956 3221224352 3221214424 1131423696 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 33251 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 659.73
Current children cumulated vsize (Kb) 840044

[startup+710.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18664 3 1 0 66852 75 0 1 17 0 11 0 1786630927 860205056 33415 4294967295 134512640 134569956 3221224352 3221214560 1131496685 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 33415 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 669.28
Current children cumulated vsize (Kb) 840044

[startup+720.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18671 3 1 0 67798 75 0 1 17 0 11 0 1786630927 860205056 33527 4294967295 134512640 134569956 3221224352 3221214424 1131423378 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 33527 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 678.74
Current children cumulated vsize (Kb) 840044

[startup+730.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18676 3 1 0 68761 76 0 1 16 0 11 0 1786630927 860205056 33689 4294967295 134512640 134569956 3221224352 3221214560 1131496618 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 33689 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 688.38
Current children cumulated vsize (Kb) 840044

[startup+740.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18683 3 1 0 69718 76 0 1 16 0 11 0 1786630927 860205056 33854 4294967295 134512640 134569956 3221224352 3221214464 1131460608 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 33854 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 697.95
Current children cumulated vsize (Kb) 840044

[startup+750.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18691 3 1 0 70679 77 0 1 17 0 11 0 1786630927 860205056 34072 4294967295 134512640 134569956 3221224352 3221214560 1131498603 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 34072 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 707.57
Current children cumulated vsize (Kb) 840044

[startup+760.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18698 3 1 0 71655 77 0 1 18 0 11 0 1786630927 860205056 34206 4294967295 134512640 134569956 3221224352 3221214464 1131460051 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 34206 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 717.33
Current children cumulated vsize (Kb) 840044

[startup+770.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18704 3 1 0 72636 77 0 1 18 0 11 0 1786630927 860205056 34311 4294967295 134512640 134569956 3221224352 3221214568 1131459553 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 34311 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 727.14
Current children cumulated vsize (Kb) 840044

[startup+780.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18710 3 1 0 73597 77 0 1 17 0 11 0 1786630927 860205056 34325 4294967295 134512640 134569956 3221224352 3221214560 1131496685 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 34325 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 736.75
Current children cumulated vsize (Kb) 840044

[startup+790.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18717 3 1 0 74526 77 0 1 16 0 11 0 1786630927 860205056 34521 4294967295 134512640 134569956 3221224352 3221214560 1131497870 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 34521 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 746.04
Current children cumulated vsize (Kb) 840044

[startup+800.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18723 3 1 0 75456 77 0 1 16 0 11 0 1786630927 860205056 34842 4294967295 134512640 134569956 3221224352 3221214560 1131496685 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 34842 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 755.34
Current children cumulated vsize (Kb) 840044

[startup+810.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18728 3 1 0 76398 77 0 1 17 0 11 0 1786630927 860205056 35127 4294967295 134512640 134569956 3221224352 3221214560 1131496685 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 35127 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 764.76
Current children cumulated vsize (Kb) 840044

[startup+820.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18735 3 1 0 77321 78 0 1 16 0 11 0 1786630927 860205056 35406 4294967295 134512640 134569956 3221224352 3221214560 1131498665 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 35406 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 774
Current children cumulated vsize (Kb) 840044

[startup+830.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18742 3 1 0 78249 78 0 1 16 0 11 0 1786630927 860205056 35406 4294967295 134512640 134569956 3221224352 3221214464 1131459665 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 35406 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 783.28
Current children cumulated vsize (Kb) 840044

[startup+840.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18748 3 1 0 79181 78 0 1 16 0 11 0 1786630927 860205056 35507 4294967295 134512640 134569956 3221224352 3221214376 1131364532 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 35507 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 792.6
Current children cumulated vsize (Kb) 840044

[startup+850.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18753 3 1 0 80130 78 0 1 16 0 11 0 1786630927 860205056 35712 4294967295 134512640 134569956 3221224352 3221214432 1131576763 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 35712 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 802.09
Current children cumulated vsize (Kb) 840044

[startup+860.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18758 3 1 0 81089 78 0 1 17 0 11 0 1786630927 860205056 36013 4294967295 134512640 134569956 3221224352 3221214464 1131459557 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 36013 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 811.68
Current children cumulated vsize (Kb) 840044

[startup+870.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18766 3 1 0 82043 79 0 1 17 0 11 0 1786630927 860205056 36217 4294967295 134512640 134569956 3221224352 3221214464 1131460051 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 36217 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 821.23
Current children cumulated vsize (Kb) 840044

[startup+880.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18773 3 1 0 83007 79 0 1 18 0 11 0 1786630927 860205056 36317 4294967295 134512640 134569956 3221224352 3221214496 1131566052 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 36317 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 830.87
Current children cumulated vsize (Kb) 840044

[startup+890.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18779 3 1 0 83979 79 0 1 18 0 11 0 1786630927 860205056 36403 4294967295 134512640 134569956 3221224352 3221214464 1131460065 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 36403 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 840.59
Current children cumulated vsize (Kb) 840044

[startup+900.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18785 3 1 0 84955 79 0 1 18 0 11 0 1786630927 860205056 36485 4294967295 134512640 134569956 3221224352 3221214464 1131459993 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 36485 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 850.35
Current children cumulated vsize (Kb) 840044

[startup+910.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18792 3 1 0 85922 80 0 1 17 0 11 0 1786630927 860205056 36499 4294967295 134512640 134569956 3221224352 3221214464 1131459549 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 36499 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 860.03
Current children cumulated vsize (Kb) 840044

[startup+920.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18799 3 1 0 86872 80 0 1 16 0 11 0 1786630927 860205056 36556 4294967295 134512640 134569956 3221224352 3221214464 1131460614 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 36556 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 869.53
Current children cumulated vsize (Kb) 840044

[startup+930.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18805 3 1 0 87819 80 0 1 17 0 11 0 1786630927 860205056 36617 4294967295 134512640 134569956 3221224352 3221214464 1131460251 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 36617 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 879
Current children cumulated vsize (Kb) 840044

[startup+940.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18812 3 1 0 88748 80 0 1 16 0 11 0 1786630927 860205056 36680 4294967295 134512640 134569956 3221224352 3221214424 1131423375 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 36680 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 888.29
Current children cumulated vsize (Kb) 840044

[startup+950.061 s]
Raw data (loadavg): 1.00 1.00 1.00 3/66 6980
Raw data (/proc/6954/stat): 6954 (java) S 6953 6954 1333 0 -1 0 18816 3 1 0 89700 80 0 1 16 0 11 0 1786630927 860205056 36710 4294967295 134512640 134569956 3221224352 3221213208 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 36710 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 897.81
Current children cumulated vsize (Kb) 840044

[startup+960.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18822 3 1 0 90638 80 0 1 16 0 11 0 1786630927 860205056 37034 4294967295 134512640 134569956 3221224352 3221214224 1131730863 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 37034 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 907.19
Current children cumulated vsize (Kb) 840044

[startup+970.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18826 3 1 0 91595 81 0 1 17 0 11 0 1786630927 860205056 37180 4294967295 134512640 134569956 3221224352 3221214584 1131424183 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 37180 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 916.77
Current children cumulated vsize (Kb) 840044

[startup+980.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18830 3 1 0 92552 81 0 1 18 0 11 0 1786630927 860205056 37253 4294967295 134512640 134569956 3221224352 3221213952 1131730844 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 37253 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 926.34
Current children cumulated vsize (Kb) 840044

[startup+990.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18834 3 1 0 93517 81 0 1 17 0 11 0 1786630927 860205056 37398 4294967295 134512640 134569956 3221224352 3221214560 1131496750 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 37398 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 935.99
Current children cumulated vsize (Kb) 840044

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18838 3 1 0 94474 81 0 1 17 0 11 0 1786630927 860205056 37472 4294967295 134512640 134569956 3221224352 3221214560 1131496483 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 37472 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 945.56
Current children cumulated vsize (Kb) 840044

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18842 3 1 0 95430 81 0 1 17 0 11 0 1786630927 860205056 37600 4294967295 134512640 134569956 3221224352 3221214220 1131730889 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 37600 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 955.12
Current children cumulated vsize (Kb) 840044

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18847 3 1 0 96378 81 0 1 17 0 11 0 1786630927 860205056 37687 4294967295 134512640 134569956 3221224352 3221214376 1131364100 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 37687 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 964.6
Current children cumulated vsize (Kb) 840044

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18852 3 1 0 97326 82 0 1 20 0 11 0 1786630927 860205056 37835 4294967295 134512640 134569956 3221224352 3221214280 1131730738 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 37835 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 974.09
Current children cumulated vsize (Kb) 840044

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18857 3 1 0 98281 82 0 1 17 0 11 0 1786630927 860205056 38031 4294967295 134512640 134569956 3221224352 3221214432 1131577411 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 38031 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 983.64
Current children cumulated vsize (Kb) 840044

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18863 3 1 0 99230 82 0 1 18 0 11 0 1786630927 860205056 38218 4294967295 134512640 134569956 3221224352 3221214464 1131460267 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 38218 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 993.13
Current children cumulated vsize (Kb) 840044

[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18868 3 1 0 100194 83 0 1 17 0 11 0 1786630927 860205056 38350 4294967295 134512640 134569956 3221224352 3221214560 1131496685 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 38350 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 1002.78
Current children cumulated vsize (Kb) 840044

[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18873 3 1 0 101163 83 0 1 19 0 11 0 1786630927 860205056 38460 4294967295 134512640 134569956 3221224352 3221214584 1131460150 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 38460 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 1012.47
Current children cumulated vsize (Kb) 840044

[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18879 3 1 0 102127 84 0 1 18 0 11 0 1786630927 860205056 38542 4294967295 134512640 134569956 3221224352 3221214560 1131496685 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 38542 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 1022.12
Current children cumulated vsize (Kb) 840044

[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18882 3 1 0 103108 84 0 1 22 0 11 0 1786630927 860205056 38600 4294967295 134512640 134569956 3221224352 3221214560 1131496750 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 38600 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 1031.93
Current children cumulated vsize (Kb) 840044

[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18888 3 1 0 104075 84 0 1 18 0 11 0 1786630927 860205056 38716 4294967295 134512640 134569956 3221224352 3221214464 1131459628 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 38716 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 1041.6
Current children cumulated vsize (Kb) 840044

[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18895 3 1 0 105040 85 0 1 18 0 11 0 1786630927 860205056 38821 4294967295 134512640 134569956 3221224352 3221214560 1131496750 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 38821 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 1051.26
Current children cumulated vsize (Kb) 840044

[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18901 3 1 0 106013 86 0 1 19 0 11 0 1786630927 860205056 38852 4294967295 134512640 134569956 3221224352 3221213952 1131730876 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 38852 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 1061
Current children cumulated vsize (Kb) 840044

[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18904 3 1 0 106998 86 0 1 18 0 11 0 1786630927 860205056 38888 4294967295 134512640 134569956 3221224352 3221214344 1131728006 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 38888 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 1070.85
Current children cumulated vsize (Kb) 840044

[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18908 3 1 0 107979 86 0 1 19 0 11 0 1786630927 860205056 38967 4294967295 134512640 134569956 3221224352 3221214560 1131496750 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 38967 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 1080.66
Current children cumulated vsize (Kb) 840044

[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18912 3 1 0 108959 86 0 1 18 0 11 0 1786630927 860205056 39000 4294967295 134512640 134569956 3221224352 3221214144 1085806301 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 39000 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 1090.46
Current children cumulated vsize (Kb) 840044

[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18916 3 1 0 109937 86 0 1 19 0 11 0 1786630927 860205056 39045 4294967295 134512640 134569956 3221224352 3221214144 1085806738 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 39045 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 1100.24
Current children cumulated vsize (Kb) 840044

[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18921 3 1 0 110907 87 0 1 20 0 11 0 1786630927 860205056 39057 4294967295 134512640 134569956 3221224352 3221214560 1131496685 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 39057 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 1109.95
Current children cumulated vsize (Kb) 840044

[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18926 3 1 0 111876 87 0 1 17 0 11 0 1786630927 860205056 39091 4294967295 134512640 134569956 3221224352 3221214560 1131496750 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 39091 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 1119.64
Current children cumulated vsize (Kb) 840044

[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18932 3 1 0 112840 87 0 1 19 0 11 0 1786630927 860205056 39148 4294967295 134512640 134569956 3221224352 3221214464 1131460237 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 39148 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 1129.28
Current children cumulated vsize (Kb) 840044

[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18938 3 1 0 113804 88 0 1 17 0 11 0 1786630927 860205056 39240 4294967295 134512640 134569956 3221224352 3221214464 1131460788 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 39240 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 1138.93
Current children cumulated vsize (Kb) 840044

[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18945 3 1 0 114768 88 0 1 17 0 11 0 1786630927 860205056 39374 4294967295 134512640 134569956 3221224352 3221214424 1131423647 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 39374 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 1148.57
Current children cumulated vsize (Kb) 840044

[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18950 3 1 0 115745 88 0 1 18 0 11 0 1786630927 860205056 39464 4294967295 134512640 134569956 3221224352 3221214464 1131423541 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 39464 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 1158.34
Current children cumulated vsize (Kb) 840044

[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18954 3 1 0 116727 88 0 1 21 0 11 0 1786630927 860205056 39509 4294967295 134512640 134569956 3221224352 3221214464 1131460515 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 39509 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 1168.16
Current children cumulated vsize (Kb) 840044

[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18962 3 1 0 117694 89 0 1 16 0 11 0 1786630927 860205056 39541 4294967295 134512640 134569956 3221224352 3221214640 1131738357 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 39541 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 1177.84
Current children cumulated vsize (Kb) 840044

[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18967 3 1 0 118673 89 0 1 23 0 11 0 1786630927 860205056 39614 4294967295 134512640 134569956 3221224352 3221214560 1131496685 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 39614 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 1187.63
Current children cumulated vsize (Kb) 840044

[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18970 3 1 0 119658 89 0 1 21 0 11 0 1786630927 860205056 39635 4294967295 134512640 134569956 3221224352 3221214464 1131459715 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 210011 39635 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 1197.48
Current children cumulated vsize (Kb) 840044

[startup+1270.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18975 3 1 0 120633 90 0 1 18 0 11 0 1786630927 860205056 39647 4294967295 134512640 134569956 3221224352 3221214336 1131730863 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 39647 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 1207.24
Current children cumulated vsize (Kb) 840044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6980
Raw data (/proc/6954/stat): 6954 (java) R 6953 6954 1333 0 -1 0 18975 3 1 0 120634 90 0 1 18 0 11 0 1786630927 860205056 39647 4294967295 134512640 134569956 3221224352 3221213860 1085806240 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 210011 39647 13129 16 0 209995 0
[pid=6954] vsize: 840044
Current children cumulated CPU time (s) 1207.25
Current children cumulated vsize (Kb) 840044

Sending SIGTERM to -6954
Sleeping 2 seconds
New thread pid=6982
New thread pid=6983
One traced child (pid=6983) exited with status: 0
One traced child (pid=6963) exited with status: 0
One traced child (pid=6958) exited with status: 0
One traced child (pid=6955) exited with status: 143
One traced child (pid=6956) exited with status: 143
One traced child (pid=6957) exited with status: 143
One traced child (pid=6962) exited with status: 143
One traced child (pid=6959) exited with status: 143
One traced child (pid=6961) exited with status: 143
One traced child (pid=6960) exited with status: 143
One traced child (pid=6980) exited with status: 143
One traced child (pid=6982) exited with status: 143
One traced child (pid=6954) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1270.21
CPU time (s): 1267.05
CPU user time (s): 1265.41
CPU system time (s): 1.63975
CPU usage (%): 99.7509
Max. virtual memory (cumulated for all children) (Kb): 840044
Name	submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb
MD5SUM	48809ba02390b1184dab90aed89aff8e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4517
Optimality of the best value was proved	YES
Number of terms in the objective function	651
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	28138
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	28138
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	OPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark	281.067
Number of variables	651
Total number of constraints	1658
Number of constraints which are clauses	1656
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2
Minimum length of a constraint	1
Maximum length of a constraint	42
Some explanations

General information on the benchmark

Trace number 3194

Launcher Data

Solver Data

Watcher Data

Verifier Data
