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/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1845179424 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 39 3 38 16 0 23 0
[pid=6205] 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/6205
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=6206
New thread pid=6207
New thread pid=6208
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=6209
New thread pid=6210
New thread pid=6211
New thread pid=6212
New thread pid=6213
New thread pid=6214
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/wulflinc28/normalized-frb45-21-1.opb

[startup+10.0021 s]
Raw data (loadavg): 1.01 1.00 0.96 2/65 6214
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18109 0 1 0 720 56 0 0 21 0 10 0 1845179424 855572480 22565 4294967295 134512640 134569956 3221224336 3221214736 1131314559 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 208880 22565 13129 16 0 208864 0
[pid=6205] vsize: 835520
Current children cumulated CPU time (s) 7.76
Current children cumulated vsize (Kb) 835520
New thread pid=6215
One traced child (pid=6215) exited with status: 0
New thread pid=6216
One traced child (pid=6216) exited with status: 0
New thread pid=6217
One traced child (pid=6217) exited with status: 0
New thread pid=6218

[startup+20.0028 s]
Raw data (loadavg): 1.08 1.02 0.97 2/66 6218
Raw data (/proc/6205/stat): 6205 (java) S 6204 6205 20115 0 -1 0 18205 4 1 0 1495 57 0 0 25 0 11 0 1845179424 856879104 29650 4294967295 134512640 134569956 3221224336 3221212864 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209199 29650 13129 16 0 209183 0
[pid=6205] vsize: 836796
Current children cumulated CPU time (s) 15.52
Current children cumulated vsize (Kb) 836796
One traced child (pid=6218) exited with status: 0
New thread pid=6219

[startup+30.0044 s]
Raw data (loadavg): 1.07 1.02 0.97 2/66 6219
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18213 4 1 0 2420 57 0 0 25 0 11 0 1845179424 856879104 30524 4294967295 134512640 134569956 3221224336 3221214536 1131580802 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209199 30524 13129 16 0 209183 0
[pid=6205] vsize: 836796
Current children cumulated CPU time (s) 24.77
Current children cumulated vsize (Kb) 836796

[startup+40.0051 s]
Raw data (loadavg): 1.06 1.02 0.97 2/66 6219
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18223 4 1 0 3348 58 0 0 18 0 11 0 1845179424 856879104 31179 4294967295 134512640 134569956 3221224336 3221214384 1131076255 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209199 31179 13129 16 0 209183 0
[pid=6205] vsize: 836796
Current children cumulated CPU time (s) 34.06
Current children cumulated vsize (Kb) 836796
One traced child (pid=6219) exited with status: 0
New thread pid=6220

[startup+50.0058 s]
Raw data (loadavg): 1.05 1.02 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18229 4 1 0 4275 58 0 0 23 0 11 0 1845179424 859459584 32085 4294967295 134512640 134569956 3221224336 3221214520 1131649887 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 32085 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 43.33
Current children cumulated vsize (Kb) 839316

[startup+60.0065 s]
Raw data (loadavg): 1.04 1.02 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18238 4 1 0 5184 58 0 0 20 0 11 0 1845179424 859459584 33374 4294967295 134512640 134569956 3221224336 3221214528 1131480685 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 33374 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 52.42
Current children cumulated vsize (Kb) 839316

[startup+70.0072 s]
Raw data (loadavg): 1.03 1.02 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18247 4 1 0 6105 59 0 0 19 0 11 0 1845179424 859459584 33560 4294967295 134512640 134569956 3221224336 3221214528 1131480574 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 33560 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 61.64
Current children cumulated vsize (Kb) 839316

[startup+80.0089 s]
Raw data (loadavg): 1.03 1.01 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18255 4 1 0 7047 59 0 0 21 0 11 0 1845179424 859459584 33897 4294967295 134512640 134569956 3221224336 3221214552 1131473275 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 33897 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 71.06
Current children cumulated vsize (Kb) 839316

[startup+90.0095 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18261 4 1 0 7996 59 0 0 25 0 11 0 1845179424 859459584 34317 4294967295 134512640 134569956 3221224336 3221214696 1131542480 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 34317 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 80.55
Current children cumulated vsize (Kb) 839316

[startup+100.01 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18268 4 1 0 8931 60 0 0 21 0 11 0 1845179424 859459584 35192 4294967295 134512640 134569956 3221224336 3221214696 1131575300 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 35192 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 89.91
Current children cumulated vsize (Kb) 839316

[startup+110.012 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18274 4 1 0 9848 60 0 0 24 0 11 0 1845179424 859459584 36228 4294967295 134512640 134569956 3221224336 3221214624 1131352502 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 36228 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 99.08
Current children cumulated vsize (Kb) 839316

[startup+120.013 s]
Raw data (loadavg): 1.01 1.01 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18282 4 1 0 10755 61 0 0 18 0 11 0 1845179424 859459584 36971 4294967295 134512640 134569956 3221224336 3221214528 1131480519 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 36971 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 108.16
Current children cumulated vsize (Kb) 839316

[startup+130.013 s]
Raw data (loadavg): 1.01 1.01 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18289 4 1 0 11649 61 0 0 16 0 11 0 1845179424 859459584 37937 4294967295 134512640 134569956 3221224336 3221214528 1131480519 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 37937 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 117.1
Current children cumulated vsize (Kb) 839316

[startup+140.014 s]
Raw data (loadavg): 1.01 1.01 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18296 4 1 0 12562 61 0 0 16 0 11 0 1845179424 859459584 38657 4294967295 134512640 134569956 3221224336 3221214308 1131057272 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 38657 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 126.23
Current children cumulated vsize (Kb) 839316

[startup+150.015 s]
Raw data (loadavg): 1.01 1.01 0.97 3/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18303 4 1 0 13476 61 0 0 15 0 11 0 1845179424 859459584 39288 4294967295 134512640 134569956 3221224336 3221214528 1131480953 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 39288 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 135.37
Current children cumulated vsize (Kb) 839316

[startup+160.015 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18310 4 1 0 14390 62 0 0 16 0 11 0 1845179424 859459584 39811 4294967295 134512640 134569956 3221224336 3221214528 1131481075 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 39811 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 144.52
Current children cumulated vsize (Kb) 839316

[startup+170.016 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18318 4 1 0 15291 62 0 0 16 0 11 0 1845179424 859459584 40418 4294967295 134512640 134569956 3221224336 3221214528 1131480214 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 40418 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 153.53
Current children cumulated vsize (Kb) 839316

[startup+180.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18327 4 1 0 16182 62 0 0 16 0 11 0 1845179424 859459584 40955 4294967295 134512640 134569956 3221224336 3221214616 1131617274 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 40955 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 162.44
Current children cumulated vsize (Kb) 839316

[startup+190.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18335 4 1 0 17075 62 0 0 16 0 11 0 1845179424 859459584 41419 4294967295 134512640 134569956 3221224336 3221214528 1131480459 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 41419 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 171.37
Current children cumulated vsize (Kb) 839316

[startup+200.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18343 4 1 0 17975 63 0 0 16 0 11 0 1845179424 859459584 41775 4294967295 134512640 134569956 3221224336 3221214520 1131651553 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 41775 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 180.38
Current children cumulated vsize (Kb) 839316

[startup+210.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18350 4 1 0 18898 63 0 0 17 0 11 0 1845179424 859459584 42026 4294967295 134512640 134569956 3221224336 3221214520 1131650869 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 42026 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 189.61
Current children cumulated vsize (Kb) 839316

[startup+220.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18358 4 1 0 19803 63 0 0 17 0 11 0 1845179424 859459584 42481 4294967295 134512640 134569956 3221224336 3221214440 1131357456 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 42481 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 198.66
Current children cumulated vsize (Kb) 839316

[startup+230.019 s]
Raw data (loadavg): 1.08 1.02 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18366 4 1 0 20712 63 0 0 16 0 11 0 1845179424 859459584 42874 4294967295 134512640 134569956 3221224336 3221214528 1131480101 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 42874 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 207.75
Current children cumulated vsize (Kb) 839316

[startup+240.02 s]
Raw data (loadavg): 1.07 1.02 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18374 4 1 0 21623 64 0 0 16 0 11 0 1845179424 859459584 43241 4294967295 134512640 134569956 3221224336 3221214440 1131357456 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 43241 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 216.87
Current children cumulated vsize (Kb) 839316

[startup+250.02 s]
Raw data (loadavg): 1.06 1.01 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18382 4 1 0 22535 64 0 0 17 0 11 0 1845179424 859459584 43499 4294967295 134512640 134569956 3221224336 3221214616 1131618488 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 43499 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 225.99
Current children cumulated vsize (Kb) 839316

[startup+260.021 s]
Raw data (loadavg): 1.05 1.01 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18391 4 1 0 23437 64 0 0 15 0 11 0 1845179424 859459584 43754 4294967295 134512640 134569956 3221224336 3221214528 1131480343 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 43754 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 235.01
Current children cumulated vsize (Kb) 839316

[startup+270.022 s]
Raw data (loadavg): 1.04 1.01 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18399 4 1 0 24348 65 0 0 16 0 11 0 1845179424 859459584 44045 4294967295 134512640 134569956 3221224336 3221214528 1131480176 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 44045 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 244.13
Current children cumulated vsize (Kb) 839316

[startup+280.022 s]
Raw data (loadavg): 1.03 1.01 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18407 4 1 0 25258 65 0 0 16 0 11 0 1845179424 859459584 44402 4294967295 134512640 134569956 3221224336 3221214616 1131619282 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 44402 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 253.23
Current children cumulated vsize (Kb) 839316

[startup+290.023 s]
Raw data (loadavg): 1.03 1.01 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18416 4 1 0 26156 65 0 0 16 0 11 0 1845179424 859459584 44686 4294967295 134512640 134569956 3221224336 3221214528 1131480516 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 44686 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 262.21
Current children cumulated vsize (Kb) 839316

[startup+300.023 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18425 4 1 0 27054 66 0 0 17 0 11 0 1845179424 859459584 45076 4294967295 134512640 134569956 3221224336 3221214528 1131480519 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 45076 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 271.2
Current children cumulated vsize (Kb) 839316

[startup+310.024 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18433 4 1 0 27963 66 0 0 16 0 11 0 1845179424 859459584 45336 4294967295 134512640 134569956 3221224336 3221214612 1131542380 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 45336 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 280.29
Current children cumulated vsize (Kb) 839316

[startup+320.024 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18442 4 1 0 28860 66 0 0 16 0 11 0 1845179424 859459584 45726 4294967295 134512640 134569956 3221224336 3221214528 1131480199 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 45726 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 289.26
Current children cumulated vsize (Kb) 839316

[startup+330.026 s]
Raw data (loadavg): 1.01 1.01 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18451 4 1 0 29760 67 0 0 16 0 11 0 1845179424 859459584 45979 4294967295 134512640 134569956 3221224336 3221214528 1131480969 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 45979 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 298.27
Current children cumulated vsize (Kb) 839316

[startup+340.027 s]
Raw data (loadavg): 1.01 1.01 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18460 4 1 0 30661 67 0 0 17 0 11 0 1845179424 859459584 46260 4294967295 134512640 134569956 3221224336 3221214440 1131357456 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 46260 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 307.28
Current children cumulated vsize (Kb) 839316

[startup+350.026 s]
Raw data (loadavg): 1.01 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18468 4 1 0 31554 67 0 0 16 0 11 0 1845179424 859459584 46727 4294967295 134512640 134569956 3221224336 3221214528 1131480786 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 46727 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 316.21
Current children cumulated vsize (Kb) 839316

[startup+360.028 s]
Raw data (loadavg): 1.01 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18475 4 1 0 32456 67 0 0 17 0 11 0 1845179424 859459584 47268 4294967295 134512640 134569956 3221224336 3221214528 1131480519 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 47268 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 325.23
Current children cumulated vsize (Kb) 839316

[startup+370.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18483 4 1 0 33359 67 0 0 16 0 11 0 1845179424 859459584 47705 4294967295 134512640 134569956 3221224336 3221214520 1131649977 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 47705 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 334.26
Current children cumulated vsize (Kb) 839316

[startup+380.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18491 4 1 0 34262 68 0 0 16 0 11 0 1845179424 859459584 48186 4294967295 134512640 134569956 3221224336 3221214528 1131480519 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 48186 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 343.3
Current children cumulated vsize (Kb) 839316

[startup+390.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18499 4 1 0 35166 68 0 0 16 0 11 0 1845179424 859459584 48615 4294967295 134512640 134569956 3221224336 3221214616 1131619175 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 48615 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 352.34
Current children cumulated vsize (Kb) 839316

[startup+400.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18508 4 1 0 36062 68 0 0 16 0 11 0 1845179424 859459584 48947 4294967295 134512640 134569956 3221224336 3221214616 1131618516 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 48947 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 361.3
Current children cumulated vsize (Kb) 839316

[startup+410.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18517 4 1 0 36958 68 0 0 16 0 11 0 1845179424 859459584 49312 4294967295 134512640 134569956 3221224336 3221214528 1131480936 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 49312 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 370.26
Current children cumulated vsize (Kb) 839316

[startup+420.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18526 4 1 0 37855 69 0 0 16 0 11 0 1845179424 859459584 49605 4294967295 134512640 134569956 3221224336 3221214184 1080339190 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 49605 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 379.24
Current children cumulated vsize (Kb) 839316

[startup+430.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18534 4 1 0 38765 69 0 0 16 0 11 0 1845179424 859459584 49924 4294967295 134512640 134569956 3221224336 3221214664 1131480729 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 49924 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 388.34
Current children cumulated vsize (Kb) 839316

[startup+440.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18542 4 1 0 39670 69 0 0 16 0 11 0 1845179424 859459584 50229 4294967295 134512640 134569956 3221224336 3221214584 1131542543 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 50229 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 397.39
Current children cumulated vsize (Kb) 839316

[startup+450.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18551 4 1 0 40562 69 0 0 16 0 11 0 1845179424 859459584 50597 4294967295 134512640 134569956 3221224336 3221214528 1131480220 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 50597 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 406.31
Current children cumulated vsize (Kb) 839316

[startup+460.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18559 4 1 0 41465 70 0 0 16 0 11 0 1845179424 859459584 50903 4294967295 134512640 134569956 3221224336 3221214616 1131618425 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 50903 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 415.35
Current children cumulated vsize (Kb) 839316

[startup+470.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18567 4 1 0 42370 70 0 0 16 0 11 0 1845179424 859459584 51226 4294967295 134512640 134569956 3221224336 3221214528 1131481069 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 51226 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 424.4
Current children cumulated vsize (Kb) 839316

[startup+480.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18576 4 1 0 43265 71 0 0 16 0 11 0 1845179424 859459584 51496 4294967295 134512640 134569956 3221224336 3221214528 1131480614 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 51496 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 433.36
Current children cumulated vsize (Kb) 839316

[startup+490.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18584 4 1 0 44165 71 0 0 16 0 11 0 1845179424 859459584 51933 4294967295 134512640 134569956 3221224336 3221214616 1131619334 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 51933 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 442.36
Current children cumulated vsize (Kb) 839316

[startup+500.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18592 4 1 0 45066 71 0 0 16 0 11 0 1845179424 859459584 52426 4294967295 134512640 134569956 3221224336 3221214616 1131618396 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 52426 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 451.37
Current children cumulated vsize (Kb) 839316

[startup+510.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18600 4 1 0 45969 72 0 0 16 0 11 0 1845179424 859459584 52813 4294967295 134512640 134569956 3221224336 3221214528 1131480122 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 52813 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 460.41
Current children cumulated vsize (Kb) 839316

[startup+520.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) S 6204 6205 20115 0 -1 0 18608 4 1 0 46872 72 0 0 16 0 11 0 1845179424 859459584 53120 4294967295 134512640 134569956 3221224336 3221213272 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 53120 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 469.44
Current children cumulated vsize (Kb) 839316

[startup+530.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18617 4 1 0 47769 72 0 0 16 0 11 0 1845179424 859459584 53399 4294967295 134512640 134569956 3221224336 3221214528 1131481052 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 53399 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 478.41
Current children cumulated vsize (Kb) 839316

[startup+540.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18625 4 1 0 48672 73 0 0 16 0 11 0 1845179424 859459584 53768 4294967295 134512640 134569956 3221224336 3221214616 1131618407 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 53768 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 487.45
Current children cumulated vsize (Kb) 839316

[startup+550.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18634 4 1 0 49567 73 0 0 16 0 11 0 1845179424 859459584 54102 4294967295 134512640 134569956 3221224336 3221214616 1131618331 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 54102 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 496.4
Current children cumulated vsize (Kb) 839316

[startup+560.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) S 6204 6205 20115 0 -1 0 18642 4 1 0 50468 73 0 0 16 0 11 0 1845179424 859459584 54438 4294967295 134512640 134569956 3221224336 3221213272 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 54438 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 505.41
Current children cumulated vsize (Kb) 839316

[startup+570.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18651 4 1 0 51361 73 0 0 16 0 11 0 1845179424 859459584 54758 4294967295 134512640 134569956 3221224336 3221214528 1131480519 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 54758 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 514.34
Current children cumulated vsize (Kb) 839316

[startup+580.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18660 4 1 0 52241 74 0 0 16 0 11 0 1845179424 859459584 55020 4294967295 134512640 134569956 3221224336 3221214616 1131619230 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 55020 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 523.15
Current children cumulated vsize (Kb) 839316

[startup+590.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18669 4 1 0 53122 74 0 0 16 0 11 0 1845179424 859459584 55324 4294967295 134512640 134569956 3221224336 3221214528 1131480689 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 55324 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 531.96
Current children cumulated vsize (Kb) 839316

[startup+600.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18677 4 1 0 54019 74 0 0 16 0 11 0 1845179424 859459584 55578 4294967295 134512640 134569956 3221224336 3221214528 1131481075 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 55578 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 540.93
Current children cumulated vsize (Kb) 839316

[startup+610.045 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18686 4 1 0 54915 75 0 0 16 0 11 0 1845179424 859459584 55822 4294967295 134512640 134569956 3221224336 3221214528 1131481052 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 55822 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 549.9
Current children cumulated vsize (Kb) 839316

[startup+620.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18695 4 1 0 55812 75 0 0 16 0 11 0 1845179424 859459584 56078 4294967295 134512640 134569956 3221224336 3221214440 1131357446 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 56078 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 558.87
Current children cumulated vsize (Kb) 839316

[startup+630.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18704 4 1 0 56714 75 0 0 16 0 11 0 1845179424 859459584 56372 4294967295 134512640 134569956 3221224336 3221214536 1131580791 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 56372 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 567.89
Current children cumulated vsize (Kb) 839316

[startup+640.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18713 4 1 0 57611 76 0 0 16 0 11 0 1845179424 859459584 56647 4294967295 134512640 134569956 3221224336 3221214528 1131480413 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 56647 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 576.87
Current children cumulated vsize (Kb) 839316

[startup+650.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18722 4 1 0 58507 76 0 0 16 0 11 0 1845179424 859459584 56892 4294967295 134512640 134569956 3221224336 3221214528 1131480519 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 56892 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 585.83
Current children cumulated vsize (Kb) 839316

[startup+660.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18731 4 1 0 59400 76 0 0 16 0 11 0 1845179424 859459584 57239 4294967295 134512640 134569956 3221224336 3221214520 1131650787 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 57239 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 594.76
Current children cumulated vsize (Kb) 839316

[startup+670.049 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18740 4 1 0 60297 76 0 0 16 0 11 0 1845179424 859459584 57467 4294967295 134512640 134569956 3221224336 3221214528 1131480568 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 57467 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 603.73
Current children cumulated vsize (Kb) 839316

[startup+680.051 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18749 4 1 0 61193 77 0 0 16 0 11 0 1845179424 859459584 57770 4294967295 134512640 134569956 3221224336 3221214528 1131480097 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 57770 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 612.7
Current children cumulated vsize (Kb) 839316

[startup+690.052 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18758 4 1 0 62089 77 0 0 16 0 11 0 1845179424 859459584 58044 4294967295 134512640 134569956 3221224336 3221214528 1131480599 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 58044 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 621.66
Current children cumulated vsize (Kb) 839316

[startup+700.052 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18767 4 1 0 62986 78 0 0 16 0 11 0 1845179424 859459584 58313 4294967295 134512640 134569956 3221224336 3221214608 1131596161 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 58313 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 630.64
Current children cumulated vsize (Kb) 839316

[startup+710.053 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18776 4 1 0 63889 78 0 0 16 0 11 0 1845179424 859459584 58562 4294967295 134512640 134569956 3221224336 3221214616 1131618461 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 58562 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 639.67
Current children cumulated vsize (Kb) 839316

[startup+720.054 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18786 4 1 0 64787 78 0 0 16 0 11 0 1845179424 859459584 58850 4294967295 134512640 134569956 3221224336 3221214528 1131480420 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 58850 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 648.65
Current children cumulated vsize (Kb) 839316

[startup+730.054 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18795 4 1 0 65700 79 0 0 16 0 11 0 1845179424 859459584 59076 4294967295 134512640 134569956 3221224336 3221214528 1131480979 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 59076 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 657.79
Current children cumulated vsize (Kb) 839316

[startup+740.055 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18805 4 1 0 66609 79 0 0 16 0 11 0 1845179424 859459584 59298 4294967295 134512640 134569956 3221224336 3221214440 1131357465 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 59298 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 666.88
Current children cumulated vsize (Kb) 839316

[startup+750.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18815 4 1 0 67531 79 0 0 16 0 11 0 1845179424 859459584 59549 4294967295 134512640 134569956 3221224336 3221214528 1131480122 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 59549 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 676.1
Current children cumulated vsize (Kb) 839316

[startup+760.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18825 4 1 0 68452 80 0 0 16 0 11 0 1845179424 859459584 59746 4294967295 134512640 134569956 3221224336 3221214528 1131480634 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 59746 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 685.32
Current children cumulated vsize (Kb) 839316

[startup+770.057 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18835 4 1 0 69367 81 0 0 16 0 11 0 1845179424 859459584 59888 4294967295 134512640 134569956 3221224336 3221214808 1131664724 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 59888 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 694.48
Current children cumulated vsize (Kb) 839316

[startup+780.059 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18844 4 1 0 70288 81 0 0 16 0 11 0 1845179424 859459584 60031 4294967295 134512640 134569956 3221224336 3221214528 1131480519 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 60031 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 703.69
Current children cumulated vsize (Kb) 839316

[startup+790.059 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18854 4 1 0 71193 81 0 0 16 0 11 0 1845179424 859459584 60254 4294967295 134512640 134569956 3221224336 3221214528 1131480269 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 60254 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 712.74
Current children cumulated vsize (Kb) 839316

[startup+800.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18863 4 1 0 72107 81 0 0 16 0 11 0 1845179424 859459584 60471 4294967295 134512640 134569956 3221224336 3221214528 1131480439 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 60471 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 721.88
Current children cumulated vsize (Kb) 839316

[startup+810.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18873 4 1 0 73005 81 0 0 15 0 11 0 1845179424 859459584 60568 4294967295 134512640 134569956 3221224336 3221214528 1131480556 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 60568 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 730.86
Current children cumulated vsize (Kb) 839316

[startup+820.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18881 4 1 0 73917 82 0 0 17 0 11 0 1845179424 859459584 60870 4294967295 134512640 134569956 3221224336 3221214608 1131596104 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 60870 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 739.99
Current children cumulated vsize (Kb) 839316

[startup+830.062 s]
Raw data (loadavg): 1.07 1.02 0.98 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18891 4 1 0 74805 83 0 0 16 0 11 0 1845179424 859459584 61112 4294967295 134512640 134569956 3221224336 3221214616 1131619338 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 61112 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 748.88
Current children cumulated vsize (Kb) 839316

[startup+840.063 s]
Raw data (loadavg): 1.06 1.02 0.98 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18900 4 1 0 75702 83 0 0 16 0 11 0 1845179424 859459584 61319 4294967295 134512640 134569956 3221224336 3221214528 1131480519 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 61319 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 757.85
Current children cumulated vsize (Kb) 839316

[startup+850.062 s]
Raw data (loadavg): 1.05 1.01 0.98 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18909 4 1 0 76600 83 0 0 16 0 11 0 1845179424 859459584 61530 4294967295 134512640 134569956 3221224336 3221214528 1131480519 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 61530 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 766.83
Current children cumulated vsize (Kb) 839316

[startup+860.063 s]
Raw data (loadavg): 1.04 1.01 0.98 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18918 4 1 0 77504 83 0 0 16 0 11 0 1845179424 859459584 61805 4294967295 134512640 134569956 3221224336 3221214528 1131480519 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 61805 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 775.87
Current children cumulated vsize (Kb) 839316

[startup+870.064 s]
Raw data (loadavg): 1.04 1.01 0.98 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18928 4 1 0 78402 84 0 0 16 0 11 0 1845179424 859459584 62159 4294967295 134512640 134569956 3221224336 3221214528 1131480519 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 62159 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 784.86
Current children cumulated vsize (Kb) 839316

[startup+880.064 s]
Raw data (loadavg): 1.03 1.01 0.98 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18937 4 1 0 79319 84 0 0 16 0 11 0 1845179424 859459584 62327 4294967295 134512640 134569956 3221224336 3221214528 1131481052 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 62327 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 794.03
Current children cumulated vsize (Kb) 839316

[startup+890.065 s]
Raw data (loadavg): 1.02 1.01 0.98 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) S 6204 6205 20115 0 -1 0 18946 4 1 0 80225 85 0 0 18 0 11 0 1845179424 859459584 62540 4294967295 134512640 134569956 3221224336 3221213232 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 62540 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 803.1
Current children cumulated vsize (Kb) 839316

[startup+900.066 s]
Raw data (loadavg): 1.02 1.01 0.98 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18956 4 1 0 81148 86 0 0 16 0 11 0 1845179424 859459584 62738 4294967295 134512640 134569956 3221224336 3221214528 1131480432 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 62738 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 812.34
Current children cumulated vsize (Kb) 839316

[startup+910.067 s]
Raw data (loadavg): 1.02 1.01 0.98 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18966 4 1 0 82069 86 0 0 16 0 11 0 1845179424 859459584 62967 4294967295 134512640 134569956 3221224336 3221214440 1131357456 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 62967 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 821.55
Current children cumulated vsize (Kb) 839316

[startup+920.067 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18975 4 1 0 83005 86 0 0 17 0 11 0 1845179424 859459584 63163 4294967295 134512640 134569956 3221224336 3221214440 1131357465 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 63163 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 830.91
Current children cumulated vsize (Kb) 839316

[startup+930.068 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18985 4 1 0 83939 87 0 0 16 0 11 0 1845179424 859459584 63337 4294967295 134512640 134569956 3221224336 3221214496 1131216239 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 63337 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 840.26
Current children cumulated vsize (Kb) 839316

[startup+940.069 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 18995 4 1 0 84869 87 0 0 17 0 11 0 1845179424 859459584 63445 4294967295 134512640 134569956 3221224336 3221214616 1131619175 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 63445 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 849.56
Current children cumulated vsize (Kb) 839316

[startup+950.069 s]
Raw data (loadavg): 1.01 1.00 0.98 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19005 4 1 0 85797 87 0 0 17 0 11 0 1845179424 859459584 63574 4294967295 134512640 134569956 3221224336 3221214620 1131714003 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 63574 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 858.84
Current children cumulated vsize (Kb) 839316

[startup+960.07 s]
Raw data (loadavg): 1.01 1.00 0.98 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19015 4 1 0 86719 87 0 0 17 0 11 0 1845179424 859459584 63751 4294967295 134512640 134569956 3221224336 3221214748 1131575668 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 63751 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 868.06
Current children cumulated vsize (Kb) 839316

[startup+970.071 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19025 4 1 0 87648 88 0 0 17 0 11 0 1845179424 859459584 63882 4294967295 134512640 134569956 3221224336 3221214528 1131480599 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 63882 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 877.36
Current children cumulated vsize (Kb) 839316

[startup+980.072 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19035 4 1 0 88573 88 0 0 16 0 11 0 1845179424 859459584 64046 4294967295 134512640 134569956 3221224336 3221214528 1131480766 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 64046 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 886.61
Current children cumulated vsize (Kb) 839316

[startup+990.073 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19045 4 1 0 89501 88 0 0 16 0 11 0 1845179424 859459584 64213 4294967295 134512640 134569956 3221224336 3221214528 1131480519 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 64213 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 895.89
Current children cumulated vsize (Kb) 839316

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19054 4 1 0 90429 89 0 0 16 0 11 0 1845179424 859459584 64359 4294967295 134512640 134569956 3221224336 3221214528 1131480292 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 64359 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 905.18
Current children cumulated vsize (Kb) 839316

[startup+1010.07 s]
Raw data (loadavg): 1.15 1.03 0.99 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19064 4 1 0 91342 89 0 0 16 0 11 0 1845179424 859459584 64519 4294967295 134512640 134569956 3221224336 3221214528 1131480519 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 64519 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 914.31
Current children cumulated vsize (Kb) 839316

[startup+1020.07 s]
Raw data (loadavg): 1.13 1.03 0.99 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19074 4 1 0 92251 89 0 0 16 0 11 0 1845179424 859459584 64689 4294967295 134512640 134569956 3221224336 3221214696 1131575135 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 64689 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 923.4
Current children cumulated vsize (Kb) 839316

[startup+1030.07 s]
Raw data (loadavg): 1.11 1.03 0.99 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19084 4 1 0 93159 89 0 0 16 0 11 0 1845179424 859459584 64955 4294967295 134512640 134569956 3221224336 3221214528 1131480725 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 64955 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 932.48
Current children cumulated vsize (Kb) 839316

[startup+1040.08 s]
Raw data (loadavg): 1.39 1.09 1.01 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19094 4 1 0 94076 90 0 0 16 0 11 0 1845179424 859459584 65142 4294967295 134512640 134569956 3221224336 3221214528 1131480519 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 65142 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 941.66
Current children cumulated vsize (Kb) 839316

[startup+1050.08 s]
Raw data (loadavg): 1.33 1.09 1.01 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19104 4 1 0 94996 90 0 0 15 0 11 0 1845179424 859459584 65308 4294967295 134512640 134569956 3221224336 3221214528 1131480519 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 65308 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 950.86
Current children cumulated vsize (Kb) 839316

[startup+1060.08 s]
Raw data (loadavg): 1.28 1.09 1.01 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19113 4 1 0 95929 90 0 0 16 0 11 0 1845179424 859459584 65528 4294967295 134512640 134569956 3221224336 3221214616 1131618260 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 65528 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 960.19
Current children cumulated vsize (Kb) 839316

[startup+1070.08 s]
Raw data (loadavg): 1.39 1.12 1.02 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19123 4 1 0 96860 91 0 0 16 0 11 0 1845179424 859459584 65655 4294967295 134512640 134569956 3221224336 3221214616 1131619282 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 65655 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 969.51
Current children cumulated vsize (Kb) 839316

[startup+1080.08 s]
Raw data (loadavg): 1.33 1.11 1.02 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19133 4 1 0 97785 91 0 0 16 0 11 0 1845179424 859459584 65818 4294967295 134512640 134569956 3221224336 3221214528 1131480677 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 65818 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 978.76
Current children cumulated vsize (Kb) 839316

[startup+1090.08 s]
Raw data (loadavg): 1.28 1.11 1.02 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19143 4 1 0 98709 92 0 0 16 0 11 0 1845179424 859459584 65969 4294967295 134512640 134569956 3221224336 3221214528 1131480122 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 65969 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 988.01
Current children cumulated vsize (Kb) 839316

[startup+1100.08 s]
Raw data (loadavg): 1.24 1.10 1.02 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) S 6204 6205 20115 0 -1 0 19152 4 1 0 99632 93 0 0 17 0 11 0 1845179424 859459584 66157 4294967295 134512640 134569956 3221224336 3221213232 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 66157 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 997.25
Current children cumulated vsize (Kb) 839316

[startup+1110.08 s]
Raw data (loadavg): 1.20 1.10 1.01 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19163 4 1 0 100553 94 0 0 16 0 11 0 1845179424 859459584 66295 4294967295 134512640 134569956 3221224336 3221214520 1131421689 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 66295 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1006.47
Current children cumulated vsize (Kb) 839316

[startup+1120.08 s]
Raw data (loadavg): 1.17 1.10 1.01 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19173 4 1 0 101479 94 0 0 16 0 11 0 1845179424 859459584 66449 4294967295 134512640 134569956 3221224336 3221214528 1131480953 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 66449 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1015.73
Current children cumulated vsize (Kb) 839316

[startup+1130.08 s]
Raw data (loadavg): 1.14 1.09 1.01 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19183 4 1 0 102413 94 0 0 16 0 11 0 1845179424 859459584 66660 4294967295 134512640 134569956 3221224336 3221214616 1131619304 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 66660 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1025.07
Current children cumulated vsize (Kb) 839316

[startup+1140.09 s]
Raw data (loadavg): 1.12 1.09 1.01 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19193 4 1 0 103344 94 0 0 16 0 11 0 1845179424 859459584 66763 4294967295 134512640 134569956 3221224336 3221214528 1131480101 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 66763 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1034.38
Current children cumulated vsize (Kb) 839316

[startup+1150.09 s]
Raw data (loadavg): 1.10 1.08 1.01 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19202 4 1 0 104279 95 0 0 16 0 11 0 1845179424 859459584 66886 4294967295 134512640 134569956 3221224336 3221214696 1131542446 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 66886 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1043.74
Current children cumulated vsize (Kb) 839316

[startup+1160.09 s]
Raw data (loadavg): 1.08 1.08 1.01 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19212 4 1 0 105200 95 0 0 17 0 11 0 1845179424 859459584 67060 4294967295 134512640 134569956 3221224336 3221214528 1131480519 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 67060 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1052.95
Current children cumulated vsize (Kb) 839316

[startup+1170.09 s]
Raw data (loadavg): 1.07 1.08 1.01 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19222 4 1 0 106124 96 0 0 17 0 11 0 1845179424 859459584 67205 4294967295 134512640 134569956 3221224336 3221214616 1131620552 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 67205 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1062.2
Current children cumulated vsize (Kb) 839316

[startup+1180.09 s]
Raw data (loadavg): 1.06 1.08 1.01 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19232 4 1 0 107042 96 0 0 16 0 11 0 1845179424 859459584 67393 4294967295 134512640 134569956 3221224336 3221214528 1131481069 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 67393 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1071.38
Current children cumulated vsize (Kb) 839316

[startup+1190.09 s]
Raw data (loadavg): 1.05 1.07 1.01 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19242 4 1 0 107968 97 0 0 16 0 11 0 1845179424 859459584 67536 4294967295 134512640 134569956 3221224336 3221214528 1131480689 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 67536 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1080.65
Current children cumulated vsize (Kb) 839316

[startup+1200.09 s]
Raw data (loadavg): 1.04 1.07 1.01 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19252 4 1 0 108895 97 0 0 16 0 11 0 1845179424 859459584 67687 4294967295 134512640 134569956 3221224336 3221214616 1131618428 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 67687 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1089.92
Current children cumulated vsize (Kb) 839316

[startup+1210.09 s]
Raw data (loadavg): 1.04 1.07 1.00 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19262 4 1 0 109827 97 0 0 16 0 11 0 1845179424 859459584 67878 4294967295 134512640 134569956 3221224336 3221214496 1131216239 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 67878 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1099.24
Current children cumulated vsize (Kb) 839316

[startup+1220.09 s]
Raw data (loadavg): 1.03 1.06 1.00 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19271 4 1 0 110751 98 0 0 16 0 11 0 1845179424 859459584 67985 4294967295 134512640 134569956 3221224336 3221214616 1131619183 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 67985 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1108.49
Current children cumulated vsize (Kb) 839316

[startup+1230.09 s]
Raw data (loadavg): 1.02 1.06 1.00 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19280 4 1 0 111648 98 0 0 16 0 11 0 1845179424 859459584 68124 4294967295 134512640 134569956 3221224336 3221214528 1131480097 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 68124 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1117.46
Current children cumulated vsize (Kb) 839316

[startup+1240.09 s]
Raw data (loadavg): 1.02 1.06 1.00 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19290 4 1 0 112523 98 0 0 15 0 11 0 1845179424 859459584 68273 4294967295 134512640 134569956 3221224336 3221214616 1131618372 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 68273 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1126.21
Current children cumulated vsize (Kb) 839316

[startup+1250.84 s]
Raw data (loadavg): 1.18 1.09 1.01 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19299 4 1 0 113482 99 0 0 17 0 11 0 1845179424 859459584 68566 4294967295 134512640 134569956 3221224336 3221214528 1131480122 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 68566 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1135.81
Current children cumulated vsize (Kb) 839316

[startup+1260.84 s]
Raw data (loadavg): 1.15 1.09 1.01 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19309 4 1 0 114370 99 0 0 16 0 11 0 1845179424 859459584 68807 4294967295 134512640 134569956 3221224336 3221214528 1131481006 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 68807 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1144.69
Current children cumulated vsize (Kb) 839316

[startup+1270.84 s]
Raw data (loadavg): 1.12 1.08 1.01 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19319 4 1 0 115272 99 0 0 16 0 11 0 1845179424 859459584 69089 4294967295 134512640 134569956 3221224336 3221214528 1131480519 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 69089 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1153.71
Current children cumulated vsize (Kb) 839316

[startup+1280.84 s]
Raw data (loadavg): 1.10 1.08 1.01 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) S 6204 6205 20115 0 -1 0 19327 4 1 0 116182 100 0 0 16 0 11 0 1845179424 859459584 69312 4294967295 134512640 134569956 3221224336 3221213272 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 69312 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1162.82
Current children cumulated vsize (Kb) 839316

[startup+1290.84 s]
Raw data (loadavg): 1.09 1.08 1.01 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) S 6204 6205 20115 0 -1 0 19336 4 1 0 117097 100 0 0 16 0 11 0 1845179424 859459584 69528 4294967295 134512640 134569956 3221224336 3221213272 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 69528 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1171.97
Current children cumulated vsize (Kb) 839316

[startup+1300.84 s]
Raw data (loadavg): 1.07 1.07 1.01 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19345 4 1 0 117991 100 0 0 16 0 11 0 1845179424 859459584 69774 4294967295 134512640 134569956 3221224336 3221214440 1131357429 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 69774 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1180.91
Current children cumulated vsize (Kb) 839316

[startup+1310.84 s]
Raw data (loadavg): 1.06 1.07 1.01 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19353 4 1 0 118893 101 0 0 16 0 11 0 1845179424 859459584 70093 4294967295 134512640 134569956 3221224336 3221214528 1131480519 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6205/statm): 209829 70093 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1189.94
Current children cumulated vsize (Kb) 839316

[startup+1320.85 s]
Raw data (loadavg): 1.05 1.07 1.00 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19362 4 1 0 119784 101 0 0 16 0 11 0 1845179424 859459584 70405 4294967295 134512640 134569956 3221224336 3221214528 1131480269 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 70405 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1198.85
Current children cumulated vsize (Kb) 839316

[startup+1330.85 s]
Raw data (loadavg): 1.04 1.06 1.00 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19370 4 1 0 120689 101 0 0 16 0 11 0 1845179424 859459584 70583 4294967295 134512640 134569956 3221224336 3221214616 1131591563 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 70583 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1207.9
Current children cumulated vsize (Kb) 839316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1330.85 s]
Raw data (loadavg): 1.04 1.06 1.00 2/66 6220
Raw data (/proc/6205/stat): 6205 (java) R 6204 6205 20115 0 -1 0 19370 4 1 0 120690 101 0 0 16 0 11 0 1845179424 859459584 70583 4294967295 134512640 134569956 3221224336 3221214512 1131357429 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6205/statm): 209829 70583 13129 16 0 209813 0
[pid=6205] vsize: 839316
Current children cumulated CPU time (s) 1207.91
Current children cumulated vsize (Kb) 839316

Sending SIGTERM to -6205
Sleeping 2 seconds
New thread pid=6222
New thread pid=6223
One traced child (pid=6223) exited with status: 0
One traced child (pid=6214) exited with status: 0
One traced child (pid=6209) exited with status: 0
One traced child (pid=6210) exited with status: 143
One traced child (pid=6211) exited with status: 143
One traced child (pid=6208) exited with status: 143
One traced child (pid=6213) exited with status: 143
One traced child (pid=6220) exited with status: 143
One traced child (pid=6207) exited with status: 143
One traced child (pid=6212) exited with status: 143
One traced child (pid=6222) exited with status: 143
One traced child (pid=6206) exited with status: 143
One traced child (pid=6205) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1331.21
CPU time (s): 1339.19
CPU user time (s): 1336.41
CPU system time (s): 2.78358
CPU usage (%): 100.6
Max. virtual memory (cumulated for all children) (Kb): 839316
Name	web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
MD5SUM	aa1ea44fce5b7bfbe62733720f941ebb
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-36
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.05
Number of variables	945
Total number of constraints	59186
Number of constraints which are clauses	59186
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 3290

Launcher Data

Solver Data

Watcher Data

Verifier Data
