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/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1845157364 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 39 3 38 16 0 23 0
[pid=19916] 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/19916
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=19917
New thread pid=19918
New thread pid=19919
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=19920
New thread pid=19921
New thread pid=19922
New thread pid=19923
New thread pid=19924
New thread pid=19925
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/wulflinc19/normalized-frb45-21-4.opb

[startup+10.0022 s]
Raw data (loadavg): 0.93 0.98 0.98 2/65 19925
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18091 0 1 0 742 51 0 0 25 0 10 0 1845157364 854110208 22280 4294967295 134512640 134569956 3221224336 3221214732 1131380845 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 208523 22280 13129 16 0 208507 0
[pid=19916] vsize: 834092
Current children cumulated CPU time (s) 7.93
Current children cumulated vsize (Kb) 834092
New thread pid=19926
One traced child (pid=19926) exited with status: 0
New thread pid=19927
One traced child (pid=19927) exited with status: 0
New thread pid=19928
One traced child (pid=19928) exited with status: 0
New thread pid=19929

[startup+20.003 s]
Raw data (loadavg): 1.09 1.02 1.00 2/66 19929
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18186 4 1 0 1544 52 0 0 16 0 11 0 1845157364 856686592 29667 4294967295 134512640 134569956 3221224336 3221214536 1131452383 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209152 29667 13129 16 0 209136 0
[pid=19916] vsize: 836608
Current children cumulated CPU time (s) 15.96
Current children cumulated vsize (Kb) 836608
One traced child (pid=19929) exited with status: 0
New thread pid=19930

[startup+30.0038 s]
Raw data (loadavg): 1.08 1.02 1.00 2/66 19930
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18194 4 1 0 2469 52 0 0 16 0 11 0 1845157364 856686592 30641 4294967295 134512640 134569956 3221224336 3221214616 1131615043 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209152 30641 13129 16 0 209136 0
[pid=19916] vsize: 836608
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (Kb) 836608

[startup+40.0046 s]
Raw data (loadavg): 1.06 1.01 1.00 2/66 19930
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18201 4 1 0 3406 53 0 0 22 0 11 0 1845157364 856686592 31196 4294967295 134512640 134569956 3221224336 3221214512 1131532982 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209152 31196 13129 16 0 209136 0
[pid=19916] vsize: 836608
Current children cumulated CPU time (s) 34.59
Current children cumulated vsize (Kb) 836608
One traced child (pid=19930) exited with status: 0
New thread pid=19931

[startup+50.0054 s]
Raw data (loadavg): 1.13 1.03 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18208 4 1 0 4316 53 0 0 16 0 11 0 1845157364 858112000 32166 4294967295 134512640 134569956 3221224336 3221214492 1131535724 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 32166 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 43.69
Current children cumulated vsize (Kb) 838000

[startup+60.0063 s]
Raw data (loadavg): 1.11 1.03 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) S 19915 19916 5929 0 -1 0 18216 4 1 0 5228 54 0 0 16 0 11 0 1845157364 858112000 32734 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 32734 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 52.82
Current children cumulated vsize (Kb) 838000

[startup+70.0081 s]
Raw data (loadavg): 1.09 1.03 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18223 4 1 0 6171 54 0 0 17 0 11 0 1845157364 859160576 33141 4294967295 134512640 134569956 3221224336 3221214520 1131453204 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209756 33141 13129 16 0 209740 0
[pid=19916] vsize: 839024
Current children cumulated CPU time (s) 62.25
Current children cumulated vsize (Kb) 839024

[startup+80.0089 s]
Raw data (loadavg): 1.08 1.03 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18228 4 1 0 7125 54 0 0 17 0 11 0 1845157364 858112000 33108 4294967295 134512640 134569956 3221224336 3221214520 1131452030 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 33108 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 71.79
Current children cumulated vsize (Kb) 838000

[startup+90.0096 s]
Raw data (loadavg): 1.07 1.03 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18233 4 1 0 8075 54 0 0 17 0 11 0 1845157364 858112000 33255 4294967295 134512640 134569956 3221224336 3221214540 1131570633 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 33255 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 81.29
Current children cumulated vsize (Kb) 838000

[startup+100.01 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18239 4 1 0 9017 54 0 0 16 0 11 0 1845157364 858112000 33352 4294967295 134512640 134569956 3221224336 3221214648 1131533033 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 33352 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 90.71
Current children cumulated vsize (Kb) 838000

[startup+110.011 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18247 4 1 0 9948 54 0 0 16 0 11 0 1845157364 858112000 33720 4294967295 134512640 134569956 3221224336 3221214520 1131452504 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 33720 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 838000

[startup+120.013 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18253 4 1 0 10904 55 0 0 20 0 11 0 1845157364 858112000 33946 4294967295 134512640 134569956 3221224336 3221214520 1131452800 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 33946 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 109.59
Current children cumulated vsize (Kb) 838000

[startup+130.013 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18259 4 1 0 11844 56 0 0 16 0 11 0 1845157364 858112000 34771 4294967295 134512640 134569956 3221224336 3221214520 1131452551 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 34771 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 119
Current children cumulated vsize (Kb) 838000

[startup+140.014 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18265 4 1 0 12775 56 0 0 17 0 11 0 1845157364 858112000 35339 4294967295 134512640 134569956 3221224336 3221214496 1131564884 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 35339 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 128.31
Current children cumulated vsize (Kb) 838000

[startup+150.015 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) S 19915 19916 5929 0 -1 0 18271 4 1 0 13701 57 0 0 16 0 11 0 1845157364 858112000 35793 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 35793 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 137.58
Current children cumulated vsize (Kb) 838000

[startup+160.015 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) S 19915 19916 5929 0 -1 0 18278 4 1 0 14620 57 0 0 17 0 11 0 1845157364 858112000 36215 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 36215 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 146.77
Current children cumulated vsize (Kb) 838000

[startup+170.016 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18285 4 1 0 15544 58 0 0 17 0 11 0 1845157364 858112000 36715 4294967295 134512640 134569956 3221224336 3221214520 1131451997 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 36715 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 156.02
Current children cumulated vsize (Kb) 838000

[startup+180.017 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18292 4 1 0 16458 58 0 0 17 0 11 0 1845157364 858112000 37126 4294967295 134512640 134569956 3221224336 3221214520 1131452383 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 37126 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 165.16
Current children cumulated vsize (Kb) 838000

[startup+190.018 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18299 4 1 0 17354 59 0 0 16 0 11 0 1845157364 858112000 38252 4294967295 134512640 134569956 3221224336 3221214488 1131570736 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 38252 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 174.13
Current children cumulated vsize (Kb) 838000

[startup+200.019 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18308 4 1 0 18267 59 0 0 16 0 11 0 1845157364 858112000 38870 4294967295 134512640 134569956 3221224336 3221214520 1131452256 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 38870 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 183.26
Current children cumulated vsize (Kb) 838000

[startup+210.019 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18315 4 1 0 19183 59 0 0 16 0 11 0 1845157364 858112000 39477 4294967295 134512640 134569956 3221224336 3221214520 1131452302 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 39477 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 192.42
Current children cumulated vsize (Kb) 838000

[startup+220.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18321 4 1 0 20112 59 0 0 16 0 11 0 1845157364 858112000 39969 4294967295 134512640 134569956 3221224336 3221214376 1131535737 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 39969 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 201.71
Current children cumulated vsize (Kb) 838000

[startup+230.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18328 4 1 0 21029 59 0 0 17 0 11 0 1845157364 858112000 40397 4294967295 134512640 134569956 3221224336 3221214548 1131057186 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 40397 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 210.88
Current children cumulated vsize (Kb) 838000

[startup+240.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18336 4 1 0 21931 60 0 0 17 0 11 0 1845157364 858112000 40943 4294967295 134512640 134569956 3221224336 3221214576 1131570794 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 40943 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 219.91
Current children cumulated vsize (Kb) 838000

[startup+250.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18344 4 1 0 22820 60 0 0 16 0 11 0 1845157364 858112000 41563 4294967295 134512640 134569956 3221224336 3221214576 1131571140 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 41563 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 228.8
Current children cumulated vsize (Kb) 838000

[startup+260.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18352 4 1 0 23721 60 0 0 16 0 11 0 1845157364 858112000 42085 4294967295 134512640 134569956 3221224336 3221214680 1131351273 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 42085 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 237.81
Current children cumulated vsize (Kb) 838000

[startup+270.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18360 4 1 0 24631 60 0 0 16 0 11 0 1845157364 858112000 42548 4294967295 134512640 134569956 3221224336 3221214584 1131564761 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 42548 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 246.91
Current children cumulated vsize (Kb) 838000

[startup+280.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18369 4 1 0 25529 61 0 0 16 0 11 0 1845157364 858112000 42936 4294967295 134512640 134569956 3221224336 3221214520 1131452383 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 42936 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 255.9
Current children cumulated vsize (Kb) 838000

[startup+290.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18376 4 1 0 26447 61 0 0 16 0 11 0 1845157364 858112000 43367 4294967295 134512640 134569956 3221224336 3221214520 1131638504 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 43367 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 265.08
Current children cumulated vsize (Kb) 838000

[startup+300.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18384 4 1 0 27355 62 0 0 17 0 11 0 1845157364 858112000 43706 4294967295 134512640 134569956 3221224336 3221214520 1131452113 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 43706 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 274.17
Current children cumulated vsize (Kb) 838000

[startup+310.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) S 19915 19916 5929 0 -1 0 18392 4 1 0 28259 62 0 0 16 0 11 0 1845157364 858112000 44088 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 44088 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 283.21
Current children cumulated vsize (Kb) 838000

[startup+320.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18401 4 1 0 29163 63 0 0 16 0 11 0 1845157364 858112000 44516 4294967295 134512640 134569956 3221224336 3221214616 1131613752 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 44516 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 292.26
Current children cumulated vsize (Kb) 838000

[startup+330.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18410 4 1 0 30056 63 0 0 16 0 11 0 1845157364 858112000 44960 4294967295 134512640 134569956 3221224336 3221214664 1131571148 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 44960 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 301.19
Current children cumulated vsize (Kb) 838000

[startup+340.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18419 4 1 0 30951 63 0 0 16 0 11 0 1845157364 858112000 45284 4294967295 134512640 134569956 3221224336 3221214520 1131452030 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 45284 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 310.14
Current children cumulated vsize (Kb) 838000

[startup+350.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18428 4 1 0 31850 64 0 0 16 0 11 0 1845157364 858112000 45575 4294967295 134512640 134569956 3221224336 3221214536 1131407875 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 45575 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 319.14
Current children cumulated vsize (Kb) 838000

[startup+360.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18437 4 1 0 32752 64 0 0 16 0 11 0 1845157364 858112000 45804 4294967295 134512640 134569956 3221224336 3221214520 1131452593 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 45804 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 328.16
Current children cumulated vsize (Kb) 838000

[startup+370.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18446 4 1 0 33656 64 0 0 16 0 11 0 1845157364 858112000 46101 4294967295 134512640 134569956 3221224336 3221214520 1131452432 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 46101 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 337.2
Current children cumulated vsize (Kb) 838000

[startup+380.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18455 4 1 0 34571 64 0 0 16 0 11 0 1845157364 858112000 46341 4294967295 134512640 134569956 3221224336 3221214616 1131613755 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 46341 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 346.35
Current children cumulated vsize (Kb) 838000

[startup+390.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18464 4 1 0 35482 64 0 0 16 0 11 0 1845157364 858112000 46572 4294967295 134512640 134569956 3221224336 3221214520 1131452383 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 46572 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 355.46
Current children cumulated vsize (Kb) 838000

[startup+400.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18473 4 1 0 36377 65 0 0 16 0 11 0 1845157364 858112000 46896 4294967295 134512640 134569956 3221224336 3221214632 1131591330 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 46896 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 364.42
Current children cumulated vsize (Kb) 838000

[startup+410.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18481 4 1 0 37270 65 0 0 16 0 11 0 1845157364 858112000 47361 4294967295 134512640 134569956 3221224336 3221214616 1131613844 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 47361 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 373.35
Current children cumulated vsize (Kb) 838000

[startup+420.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18489 4 1 0 38166 66 0 0 16 0 11 0 1845157364 858112000 47698 4294967295 134512640 134569956 3221224336 3221214520 1131452080 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 47698 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 382.32
Current children cumulated vsize (Kb) 838000

[startup+430.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18498 4 1 0 39060 66 0 0 16 0 11 0 1845157364 858112000 48171 4294967295 134512640 134569956 3221224336 3221214520 1131452605 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 48171 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 391.26
Current children cumulated vsize (Kb) 838000

[startup+440.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18506 4 1 0 39965 66 0 0 16 0 11 0 1845157364 858112000 48647 4294967295 134512640 134569956 3221224336 3221214472 1131377344 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 48647 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 400.31
Current children cumulated vsize (Kb) 838000

[startup+450.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18515 4 1 0 40854 67 0 0 16 0 11 0 1845157364 858112000 49241 4294967295 134512640 134569956 3221224336 3221214432 1131380828 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 49241 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 409.21
Current children cumulated vsize (Kb) 838000

[startup+460.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18523 4 1 0 41759 67 0 0 16 0 11 0 1845157364 858112000 49731 4294967295 134512640 134569956 3221224336 3221214760 1131553859 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 49731 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 418.26
Current children cumulated vsize (Kb) 838000

[startup+470.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18532 4 1 0 42655 67 0 0 17 0 11 0 1845157364 858112000 50198 4294967295 134512640 134569956 3221224336 3221214520 1131452343 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 50198 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 427.22
Current children cumulated vsize (Kb) 838000

[startup+480.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18540 4 1 0 43564 67 0 0 16 0 11 0 1845157364 858112000 50505 4294967295 134512640 134569956 3221224336 3221214520 1131452535 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 50505 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 436.31
Current children cumulated vsize (Kb) 838000

[startup+490.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18549 4 1 0 44464 68 0 0 16 0 11 0 1845157364 858112000 50784 4294967295 134512640 134569956 3221224336 3221214520 1131452073 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 50784 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 445.32
Current children cumulated vsize (Kb) 838000

[startup+500.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18557 4 1 0 45376 68 0 0 16 0 11 0 1845157364 858112000 51109 4294967295 134512640 134569956 3221224336 3221214632 1131591330 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 51109 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 454.44
Current children cumulated vsize (Kb) 838000

[startup+510.047 s]
Raw data (loadavg): 1.08 1.02 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18566 4 1 0 46275 68 0 0 16 0 11 0 1845157364 858112000 51444 4294967295 134512640 134569956 3221224336 3221214616 1131613762 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 51444 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 463.43
Current children cumulated vsize (Kb) 838000

[startup+520.048 s]
Raw data (loadavg): 1.15 1.03 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18575 4 1 0 47175 69 0 0 16 0 11 0 1845157364 858112000 51694 4294967295 134512640 134569956 3221224336 3221214520 1131452593 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 51694 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 472.44
Current children cumulated vsize (Kb) 838000

[startup+530.048 s]
Raw data (loadavg): 1.12 1.03 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18584 4 1 0 48077 69 0 0 16 0 11 0 1845157364 858112000 52023 4294967295 134512640 134569956 3221224336 3221214520 1131452030 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 52023 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 481.46
Current children cumulated vsize (Kb) 838000

[startup+540.05 s]
Raw data (loadavg): 1.10 1.03 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18593 4 1 0 48978 69 0 0 16 0 11 0 1845157364 858112000 52322 4294967295 134512640 134569956 3221224336 3221214520 1131452343 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 52322 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 490.47
Current children cumulated vsize (Kb) 838000

[startup+550.051 s]
Raw data (loadavg): 1.09 1.03 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18602 4 1 0 49876 69 0 0 16 0 11 0 1845157364 858112000 52624 4294967295 134512640 134569956 3221224336 3221214520 1131452182 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 52624 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 499.45
Current children cumulated vsize (Kb) 838000

[startup+560.052 s]
Raw data (loadavg): 1.07 1.03 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) S 19915 19916 5929 0 -1 0 18610 4 1 0 50777 69 0 0 17 0 11 0 1845157364 858112000 53019 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 53019 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 508.46
Current children cumulated vsize (Kb) 838000

[startup+570.053 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18619 4 1 0 51681 69 0 0 16 0 11 0 1845157364 858112000 53365 4294967295 134512640 134569956 3221224336 3221214520 1131452401 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 53365 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 517.5
Current children cumulated vsize (Kb) 838000

[startup+580.053 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18628 4 1 0 52578 70 0 0 16 0 11 0 1845157364 858112000 53742 4294967295 134512640 134569956 3221224336 3221214680 1131351261 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 53742 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 526.48
Current children cumulated vsize (Kb) 838000

[startup+590.054 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18637 4 1 0 53473 71 0 0 16 0 11 0 1845157364 858112000 54188 4294967295 134512640 134569956 3221224336 3221214616 1131613890 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 54188 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 535.44
Current children cumulated vsize (Kb) 838000

[startup+600.056 s]
Raw data (loadavg): 1.04 1.02 1.00 1/66 19931
Raw data (/proc/19916/stat): 19916 (java) S 19915 19916 5929 0 -1 0 18645 4 1 0 54383 71 0 0 17 0 11 0 1845157364 858112000 54401 4294967295 134512640 134569956 3221224336 3221213224 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 54401 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 544.54
Current children cumulated vsize (Kb) 838000

[startup+610.057 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) S 19915 19916 5929 0 -1 0 18654 4 1 0 55274 72 0 0 16 0 11 0 1845157364 858112000 54700 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 54700 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 553.46
Current children cumulated vsize (Kb) 838000

[startup+620.058 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18664 4 1 0 56167 72 0 0 16 0 11 0 1845157364 858112000 55062 4294967295 134512640 134569956 3221224336 3221214616 1131613641 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 55062 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 562.39
Current children cumulated vsize (Kb) 838000

[startup+630.058 s]
Raw data (loadavg): 1.18 1.05 1.01 1/66 19931
Raw data (/proc/19916/stat): 19916 (java) S 19915 19916 5929 0 -1 0 18672 4 1 0 57075 72 0 0 16 0 11 0 1845157364 858112000 55371 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 55371 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 571.47
Current children cumulated vsize (Kb) 838000

[startup+640.059 s]
Raw data (loadavg): 1.15 1.05 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18682 4 1 0 57948 73 0 0 16 0 11 0 1845157364 858112000 55610 4294967295 134512640 134569956 3221224336 3221214616 1131613762 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 55610 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 580.21
Current children cumulated vsize (Kb) 838000

[startup+650.06 s]
Raw data (loadavg): 1.13 1.05 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18691 4 1 0 58827 73 0 0 16 0 11 0 1845157364 858112000 56005 4294967295 134512640 134569956 3221224336 3221214520 1131639206 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 56005 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 589
Current children cumulated vsize (Kb) 838000

[startup+660.061 s]
Raw data (loadavg): 1.26 1.08 1.02 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18700 4 1 0 59710 73 0 0 16 0 11 0 1845157364 858112000 56207 4294967295 134512640 134569956 3221224336 3221214632 1131573856 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 56207 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 597.83
Current children cumulated vsize (Kb) 838000

[startup+670.062 s]
Raw data (loadavg): 1.36 1.11 1.03 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18709 4 1 0 60597 73 0 0 16 0 11 0 1845157364 858112000 56614 4294967295 134512640 134569956 3221224336 3221214616 1131613732 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 56614 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 606.7
Current children cumulated vsize (Kb) 838000

[startup+680.062 s]
Raw data (loadavg): 1.31 1.11 1.03 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18717 4 1 0 61501 73 0 0 16 0 11 0 1845157364 858112000 56871 4294967295 134512640 134569956 3221224336 3221214520 1131452383 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 56871 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 615.74
Current children cumulated vsize (Kb) 838000

[startup+690.064 s]
Raw data (loadavg): 1.26 1.10 1.03 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18726 4 1 0 62394 74 0 0 16 0 11 0 1845157364 858112000 57216 4294967295 134512640 134569956 3221224336 3221214612 1131451980 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 57216 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 624.68
Current children cumulated vsize (Kb) 838000

[startup+700.065 s]
Raw data (loadavg): 1.22 1.10 1.03 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18735 4 1 0 63288 74 0 0 16 0 11 0 1845157364 858112000 57507 4294967295 134512640 134569956 3221224336 3221214520 1131452836 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 57507 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 633.62
Current children cumulated vsize (Kb) 838000

[startup+710.066 s]
Raw data (loadavg): 1.18 1.09 1.02 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18745 4 1 0 64170 74 0 0 16 0 11 0 1845157364 858112000 57749 4294967295 134512640 134569956 3221224336 3221214520 1131452155 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 57749 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 642.44
Current children cumulated vsize (Kb) 838000

[startup+720.068 s]
Raw data (loadavg): 1.24 1.11 1.03 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18754 4 1 0 65065 75 0 0 16 0 11 0 1845157364 858112000 58102 4294967295 134512640 134569956 3221224336 3221214520 1131452030 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 58102 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 651.4
Current children cumulated vsize (Kb) 838000

[startup+730.069 s]
Raw data (loadavg): 1.20 1.10 1.03 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18763 4 1 0 65960 76 0 0 16 0 11 0 1845157364 858112000 58325 4294967295 134512640 134569956 3221224336 3221214624 1131577372 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 58325 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 660.36
Current children cumulated vsize (Kb) 838000

[startup+740.069 s]
Raw data (loadavg): 1.17 1.10 1.03 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18772 4 1 0 66857 76 0 0 16 0 11 0 1845157364 858112000 58586 4294967295 134512640 134569956 3221224336 3221214480 1131216819 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 58586 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 669.33
Current children cumulated vsize (Kb) 838000

[startup+750.071 s]
Raw data (loadavg): 1.14 1.10 1.03 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) S 19915 19916 5929 0 -1 0 18780 4 1 0 67755 77 0 0 16 0 11 0 1845157364 858112000 58842 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 58842 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 678.32
Current children cumulated vsize (Kb) 838000

[startup+760.072 s]
Raw data (loadavg): 1.12 1.09 1.02 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18790 4 1 0 68648 77 0 0 16 0 11 0 1845157364 858112000 59115 4294967295 134512640 134569956 3221224336 3221214520 1131639210 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 59115 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 687.25
Current children cumulated vsize (Kb) 838000

[startup+770.073 s]
Raw data (loadavg): 1.10 1.09 1.02 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18798 4 1 0 69553 78 0 0 16 0 11 0 1845157364 858112000 59522 4294967295 134512640 134569956 3221224336 3221214520 1131452383 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 59522 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 696.31
Current children cumulated vsize (Kb) 838000

[startup+780.075 s]
Raw data (loadavg): 1.08 1.08 1.02 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18807 4 1 0 70449 78 0 0 16 0 11 0 1845157364 858112000 59781 4294967295 134512640 134569956 3221224336 3221214520 1131452383 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 59781 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 705.27
Current children cumulated vsize (Kb) 838000

[startup+790.075 s]
Raw data (loadavg): 1.07 1.08 1.02 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18816 4 1 0 71345 78 0 0 16 0 11 0 1845157364 858112000 60027 4294967295 134512640 134569956 3221224336 3221214520 1131452383 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 60027 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 714.23
Current children cumulated vsize (Kb) 838000

[startup+800.076 s]
Raw data (loadavg): 1.06 1.08 1.02 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18825 4 1 0 72243 78 0 0 16 0 11 0 1845157364 858112000 60319 4294967295 134512640 134569956 3221224336 3221214520 1131452383 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 60319 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 723.21
Current children cumulated vsize (Kb) 838000

[startup+810.077 s]
Raw data (loadavg): 1.05 1.08 1.02 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18833 4 1 0 73150 78 0 0 17 0 11 0 1845157364 858112000 60641 4294967295 134512640 134569956 3221224336 3221214520 1131452308 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 60641 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 732.28
Current children cumulated vsize (Kb) 838000

[startup+820.078 s]
Raw data (loadavg): 1.04 1.07 1.02 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18842 4 1 0 74047 79 0 0 16 0 11 0 1845157364 858112000 60910 4294967295 134512640 134569956 3221224336 3221214520 1131452383 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 60910 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 741.26
Current children cumulated vsize (Kb) 838000

[startup+830.079 s]
Raw data (loadavg): 1.04 1.07 1.02 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) S 19915 19916 5929 0 -1 0 18851 4 1 0 74937 79 0 0 16 0 11 0 1845157364 858112000 61126 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 61126 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 750.16
Current children cumulated vsize (Kb) 838000

[startup+840.081 s]
Raw data (loadavg): 1.03 1.07 1.02 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18861 4 1 0 75827 80 0 0 16 0 11 0 1845157364 858112000 61456 4294967295 134512640 134569956 3221224336 3221214520 1131452275 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 61456 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 759.07
Current children cumulated vsize (Kb) 838000

[startup+850.082 s]
Raw data (loadavg): 1.02 1.06 1.02 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18870 4 1 0 76729 80 0 0 16 0 11 0 1845157364 858112000 61774 4294967295 134512640 134569956 3221224336 3221214616 1131613603 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 61774 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 768.09
Current children cumulated vsize (Kb) 838000

[startup+860.083 s]
Raw data (loadavg): 1.02 1.06 1.02 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18879 4 1 0 77633 81 0 0 16 0 11 0 1845157364 858112000 61945 4294967295 134512640 134569956 3221224336 3221214520 1131452293 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 61945 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 777.14
Current children cumulated vsize (Kb) 838000

[startup+870.084 s]
Raw data (loadavg): 1.02 1.06 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18889 4 1 0 78527 81 0 0 16 0 11 0 1845157364 858112000 62251 4294967295 134512640 134569956 3221224336 3221214520 1131452401 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 62251 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 786.08
Current children cumulated vsize (Kb) 838000

[startup+880.085 s]
Raw data (loadavg): 1.01 1.06 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18898 4 1 0 79432 81 0 0 16 0 11 0 1845157364 858112000 62395 4294967295 134512640 134569956 3221224336 3221214520 1131452609 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 62395 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 795.13
Current children cumulated vsize (Kb) 838000

[startup+890.086 s]
Raw data (loadavg): 1.01 1.05 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18908 4 1 0 80331 81 0 0 16 0 11 0 1845157364 858112000 62703 4294967295 134512640 134569956 3221224336 3221214520 1131452005 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 62703 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 804.12
Current children cumulated vsize (Kb) 838000

[startup+900.086 s]
Raw data (loadavg): 1.01 1.05 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18917 4 1 0 81252 81 0 0 16 0 11 0 1845157364 858112000 62962 4294967295 134512640 134569956 3221224336 3221214520 1131452343 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 62962 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 813.33
Current children cumulated vsize (Kb) 838000

[startup+910.087 s]
Raw data (loadavg): 1.01 1.05 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18927 4 1 0 82161 82 0 0 16 0 11 0 1845157364 858112000 63161 4294967295 134512640 134569956 3221224336 3221214520 1131452496 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 63161 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 822.43
Current children cumulated vsize (Kb) 838000

[startup+920.089 s]
Raw data (loadavg): 1.01 1.05 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) S 19915 19916 5929 0 -1 0 18936 4 1 0 83078 82 0 0 16 0 11 0 1845157364 858112000 63397 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 63397 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 831.6
Current children cumulated vsize (Kb) 838000

[startup+930.09 s]
Raw data (loadavg): 1.00 1.05 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18946 4 1 0 83991 82 0 0 16 0 11 0 1845157364 858112000 63564 4294967295 134512640 134569956 3221224336 3221214520 1131452182 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 63564 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 840.73
Current children cumulated vsize (Kb) 838000

[startup+940.092 s]
Raw data (loadavg): 1.00 1.04 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18955 4 1 0 84911 83 0 0 17 0 11 0 1845157364 858112000 63741 4294967295 134512640 134569956 3221224336 3221214520 1131638531 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 63741 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 849.94
Current children cumulated vsize (Kb) 838000

[startup+950.092 s]
Raw data (loadavg): 1.00 1.04 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18965 4 1 0 85817 83 0 0 16 0 11 0 1845157364 858112000 63952 4294967295 134512640 134569956 3221224336 3221214520 1131452401 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 63952 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 859
Current children cumulated vsize (Kb) 838000

[startup+960.093 s]
Raw data (loadavg): 1.00 1.04 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18975 4 1 0 86727 84 0 0 16 0 11 0 1845157364 858112000 64183 4294967295 134512640 134569956 3221224336 3221214520 1131452165 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 64183 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 868.11
Current children cumulated vsize (Kb) 838000

[startup+970.094 s]
Raw data (loadavg): 1.00 1.04 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18985 4 1 0 87640 84 0 0 16 0 11 0 1845157364 858112000 64399 4294967295 134512640 134569956 3221224336 3221214520 1131452383 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 64399 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 877.24
Current children cumulated vsize (Kb) 838000

[startup+980.095 s]
Raw data (loadavg): 1.00 1.04 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 18995 4 1 0 88558 84 0 0 16 0 11 0 1845157364 858112000 64616 4294967295 134512640 134569956 3221224336 3221214600 1131532982 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 64616 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 886.42
Current children cumulated vsize (Kb) 838000

[startup+990.097 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19005 4 1 0 89479 85 0 0 16 0 11 0 1845157364 858112000 64750 4294967295 134512640 134569956 3221224336 3221214520 1131452383 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 64750 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 895.64
Current children cumulated vsize (Kb) 838000

[startup+1000.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) S 19915 19916 5929 0 -1 0 19014 4 1 0 90398 85 0 0 16 0 11 0 1845157364 858112000 64947 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 64947 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 904.83
Current children cumulated vsize (Kb) 838000

[startup+1010.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19024 4 1 0 91319 85 0 0 16 0 11 0 1845157364 858112000 65081 4294967295 134512640 134569956 3221224336 3221214520 1131452851 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 65081 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 914.04
Current children cumulated vsize (Kb) 838000

[startup+1020.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) S 19915 19916 5929 0 -1 0 19034 4 1 0 92229 85 0 0 16 0 11 0 1845157364 858112000 65263 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 65263 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 923.14
Current children cumulated vsize (Kb) 838000

[startup+1030.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19044 4 1 0 93143 85 0 0 16 0 11 0 1845157364 858112000 65460 4294967295 134512640 134569956 3221224336 3221214616 1131613759 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 65460 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 932.28
Current children cumulated vsize (Kb) 838000

[startup+1040.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19054 4 1 0 94052 86 0 0 16 0 11 0 1845157364 858112000 65668 4294967295 134512640 134569956 3221224336 3221214520 1131452001 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 65668 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 941.38
Current children cumulated vsize (Kb) 838000

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.03 1.00 3/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19064 4 1 0 94962 86 0 0 16 0 11 0 1845157364 858112000 65880 4294967295 134512640 134569956 3221224336 3221214488 1131216239 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 65880 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 950.48
Current children cumulated vsize (Kb) 838000

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19073 4 1 0 95877 87 0 0 16 0 11 0 1845157364 858112000 66027 4294967295 134512640 134569956 3221224336 3221214616 1131613755 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 66027 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 959.64
Current children cumulated vsize (Kb) 838000

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19082 4 1 0 96791 87 0 0 16 0 11 0 1845157364 858112000 66260 4294967295 134512640 134569956 3221224336 3221214520 1131452190 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 66260 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 968.78
Current children cumulated vsize (Kb) 838000

[startup+1080.11 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19092 4 1 0 97697 88 0 0 16 0 11 0 1845157364 858112000 66444 4294967295 134512640 134569956 3221224336 3221214520 1131452256 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 66444 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 977.85
Current children cumulated vsize (Kb) 838000

[startup+1090.11 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19101 4 1 0 98607 88 0 0 16 0 11 0 1845157364 858112000 66682 4294967295 134512640 134569956 3221224336 3221214520 1131452343 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 66682 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 986.95
Current children cumulated vsize (Kb) 838000

[startup+1100.11 s]
Raw data (loadavg): 1.00 1.02 1.00 4/66 19931
Raw data (/proc/19916/stat): 19916 (java) S 19915 19916 5929 0 -1 0 19111 4 1 0 99501 88 0 0 16 0 11 0 1845157364 858112000 66908 4294967295 134512640 134569956 3221224336 3221213224 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 66908 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 995.89
Current children cumulated vsize (Kb) 838000

[startup+1110.11 s]
Raw data (loadavg): 1.15 1.05 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19121 4 1 0 100407 88 0 0 16 0 11 0 1845157364 858112000 67123 4294967295 134512640 134569956 3221224336 3221214520 1131452061 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 67123 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1004.95
Current children cumulated vsize (Kb) 838000

[startup+1120.11 s]
Raw data (loadavg): 1.12 1.05 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19130 4 1 0 101314 88 0 0 16 0 11 0 1845157364 858112000 67373 4294967295 134512640 134569956 3221224336 3221214616 1131613824 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 67373 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1014.02
Current children cumulated vsize (Kb) 838000

[startup+1130.11 s]
Raw data (loadavg): 1.10 1.05 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19140 4 1 0 102211 89 0 0 16 0 11 0 1845157364 858112000 67549 4294967295 134512640 134569956 3221224336 3221214520 1131452343 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 67549 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1023
Current children cumulated vsize (Kb) 838000

[startup+1140.11 s]
Raw data (loadavg): 1.09 1.05 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19150 4 1 0 103111 89 0 0 16 0 11 0 1845157364 858112000 67822 4294967295 134512640 134569956 3221224336 3221214520 1131452030 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 67822 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1032
Current children cumulated vsize (Kb) 838000

[startup+1150.11 s]
Raw data (loadavg): 1.07 1.04 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19160 4 1 0 104023 89 0 0 16 0 11 0 1845157364 858112000 68047 4294967295 134512640 134569956 3221224336 3221214520 1131451997 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 68047 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1041.12
Current children cumulated vsize (Kb) 838000

[startup+1160.11 s]
Raw data (loadavg): 1.13 1.06 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19170 4 1 0 104946 90 0 0 16 0 11 0 1845157364 858112000 68279 4294967295 134512640 134569956 3221224336 3221214616 1131613759 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 68279 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1050.36
Current children cumulated vsize (Kb) 838000

[startup+1170.11 s]
Raw data (loadavg): 1.11 1.06 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19180 4 1 0 105873 90 0 0 16 0 11 0 1845157364 858112000 68409 4294967295 134512640 134569956 3221224336 3221214432 1131379765 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 68409 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1059.63
Current children cumulated vsize (Kb) 838000

[startup+1180.11 s]
Raw data (loadavg): 1.10 1.05 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) S 19915 19916 5929 0 -1 0 19189 4 1 0 106792 90 0 0 16 0 11 0 1845157364 858112000 68539 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 68539 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1068.82
Current children cumulated vsize (Kb) 838000

[startup+1190.12 s]
Raw data (loadavg): 1.08 1.05 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19199 4 1 0 107691 91 0 0 16 0 11 0 1845157364 858112000 68668 4294967295 134512640 134569956 3221224336 3221214616 1131613755 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 68668 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1077.82
Current children cumulated vsize (Kb) 838000

[startup+1200.12 s]
Raw data (loadavg): 1.07 1.05 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19209 4 1 0 108555 91 0 0 16 0 11 0 1845157364 858112000 68906 4294967295 134512640 134569956 3221224336 3221214520 1131452080 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 68906 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1086.46
Current children cumulated vsize (Kb) 838000

[startup+1210.12 s]
Raw data (loadavg): 1.06 1.05 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) S 19915 19916 5929 0 -1 0 19218 4 1 0 109431 91 0 0 17 0 11 0 1845157364 858112000 69113 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 69113 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1095.22
Current children cumulated vsize (Kb) 838000

[startup+1220.12 s]
Raw data (loadavg): 1.05 1.05 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) S 19915 19916 5929 0 -1 0 19228 4 1 0 110313 91 0 0 16 0 11 0 1845157364 858112000 69364 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 69364 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1104.04
Current children cumulated vsize (Kb) 838000

[startup+1230.12 s]
Raw data (loadavg): 1.04 1.04 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19238 4 1 0 111203 91 0 0 16 0 11 0 1845157364 858112000 69716 4294967295 134512640 134569956 3221224336 3221214520 1131452601 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 69716 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1112.94
Current children cumulated vsize (Kb) 838000

[startup+1240.12 s]
Raw data (loadavg): 1.03 1.04 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19248 4 1 0 112084 92 0 0 16 0 11 0 1845157364 858112000 69991 4294967295 134512640 134569956 3221224336 3221214548 1131057195 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 69991 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1121.76
Current children cumulated vsize (Kb) 838000

[startup+1250.12 s]
Raw data (loadavg): 1.03 1.04 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19258 4 1 0 112967 92 0 0 16 0 11 0 1845157364 858112000 70222 4294967295 134512640 134569956 3221224336 3221214572 1131351216 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 70222 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1130.59
Current children cumulated vsize (Kb) 838000

[startup+1260.12 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19266 4 1 0 113868 92 0 0 16 0 11 0 1845157364 858112000 70555 4294967295 134512640 134569956 3221224336 3221214520 1131452938 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 70555 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1139.6
Current children cumulated vsize (Kb) 838000

[startup+1270.12 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) S 19915 19916 5929 0 -1 0 19275 4 1 0 114750 93 0 0 16 0 11 0 1845157364 858112000 70767 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 70767 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1148.43
Current children cumulated vsize (Kb) 838000

[startup+1280.12 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19285 4 1 0 115642 93 0 0 16 0 11 0 1845157364 858112000 70977 4294967295 134512640 134569956 3221224336 3221214624 1131577376 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 70977 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1157.35
Current children cumulated vsize (Kb) 838000

[startup+1290.12 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19294 4 1 0 116543 93 0 0 16 0 11 0 1845157364 858112000 71367 4294967295 134512640 134569956 3221224336 3221214616 1131614621 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 71367 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1166.36
Current children cumulated vsize (Kb) 838000

[startup+1300.12 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19304 4 1 0 117442 94 0 0 15 0 11 0 1845157364 858112000 71619 4294967295 134512640 134569956 3221224336 3221214616 1131614706 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 71619 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1175.36
Current children cumulated vsize (Kb) 838000

[startup+1310.12 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19313 4 1 0 118348 94 0 0 16 0 11 0 1845157364 858112000 71780 4294967295 134512640 134569956 3221224336 3221214432 1131379765 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 71780 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1184.42
Current children cumulated vsize (Kb) 838000

[startup+1320.13 s]
Raw data (loadavg): 1.15 1.06 1.01 3/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19323 4 1 0 119238 94 0 0 15 0 11 0 1845157364 858112000 72020 4294967295 134512640 134569956 3221224336 3221214616 1131613714 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19916/statm): 209500 72020 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1193.32
Current children cumulated vsize (Kb) 838000

[startup+1330.13 s]
Raw data (loadavg): 1.13 1.06 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19332 4 1 0 120135 95 0 0 16 0 11 0 1845157364 858112000 72241 4294967295 134512640 134569956 3221224336 3221214432 1131380820 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 72241 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1202.3
Current children cumulated vsize (Kb) 838000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1330.13 s]
Raw data (loadavg): 1.13 1.06 1.01 2/66 19931
Raw data (/proc/19916/stat): 19916 (java) R 19915 19916 5929 0 -1 0 19332 4 1 0 120135 95 0 0 16 0 11 0 1845157364 858112000 72241 4294967295 134512640 134569956 3221224336 3221214616 1131614643 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19916/statm): 209500 72241 13129 16 0 209484 0
[pid=19916] vsize: 838000
Current children cumulated CPU time (s) 1202.3
Current children cumulated vsize (Kb) 838000

Sending SIGTERM to -19916
Sleeping 2 seconds
New thread pid=19933
New thread pid=19934
One traced child (pid=19934) exited with status: 0
One traced child (pid=19925) exited with status: 0
One traced child (pid=19920) exited with status: 0
One traced child (pid=19917) exited with status: 143
One traced child (pid=19918) exited with status: 143
One traced child (pid=19919) exited with status: 143
One traced child (pid=19924) exited with status: 143
One traced child (pid=19921) exited with status: 143
One traced child (pid=19922) exited with status: 143
One traced child (pid=19931) exited with status: 143
One traced child (pid=19923) exited with status: 143
One traced child (pid=19933) exited with status: 143
One traced child (pid=19916) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1330.47
CPU time (s): 1327.14
CPU user time (s): 1324.7
CPU system time (s): 2.44063
CPU usage (%): 99.7497
Max. virtual memory (cumulated for all children) (Kb): 839024
Name	web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb
MD5SUM	2b591d1b24a201f365bc505135aa0578
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-37
Optimality of the best value was proved	NO
Number of terms in the objective function	945
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	945
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	945
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1195.04
Number of variables	945
Total number of constraints	58549
Number of constraints which are clauses	58549
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 3293

Launcher Data

Solver Data

Watcher Data

Verifier Data
