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/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1802259173 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 39 3 38 16 0 23 0
[pid=22275] 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/22275
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=22276
New thread pid=22277
New thread pid=22278
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=22279
New thread pid=22280
New thread pid=22281
New thread pid=22282
New thread pid=22283
New thread pid=22284
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/wulflinc12/normalized-mps-v2-13-7-bell5.opb
New thread pid=22285
One traced child (pid=22285) exited with status: 0
New thread pid=22286
One traced child (pid=22286) exited with status: 0
New thread pid=22287

[startup+10.0017 s]
Raw data (loadavg): 0.98 0.98 0.93 2/66 22287
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18173 3 1 0 676 50 0 0 25 0 11 0 1802259173 860356608 20612 4294967295 134512640 134569956 3221224336 3221214560 1131409748 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 210048 20612 13129 16 0 210032 0
[pid=22275] vsize: 840192
Current children cumulated CPU time (s) 7.26
Current children cumulated vsize (Kb) 840192
One traced child (pid=22287) exited with status: 0
New thread pid=22288

[startup+20.0025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 22288
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18191 3 1 0 1617 50 0 0 22 0 11 0 1802259173 859037696 20408 4294967295 134512640 134569956 3221224336 3221214536 1131424191 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209726 20408 13129 16 0 209710 0
[pid=22275] vsize: 838904
Current children cumulated CPU time (s) 16.67
Current children cumulated vsize (Kb) 838904
One traced child (pid=22288) exited with status: 0
New thread pid=22289
One traced child (pid=22289) exited with status: 0
New thread pid=22290

[startup+30.0034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 22290
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18201 3 1 0 2571 51 0 0 17 0 11 0 1802259173 857956352 20269 4294967295 134512640 134569956 3221224336 3221214632 1131473546 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 20269 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 26.22
Current children cumulated vsize (Kb) 837848
One traced child (pid=22290) exited with status: 0
New thread pid=22291

[startup+40.0052 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 22291
Raw data (/proc/22275/stat): 22275 (java) S 22274 22275 8263 0 -1 0 18209 3 1 0 3527 51 0 0 25 0 11 0 1802259173 857956352 20354 4294967295 134512640 134569956 3221224336 3221213376 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 20354 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 35.78
Current children cumulated vsize (Kb) 837848
One traced child (pid=22291) exited with status: 0
New thread pid=22292

[startup+50.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 22292
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18221 3 1 0 4490 52 0 0 25 0 11 0 1802259173 857956352 20716 4294967295 134512640 134569956 3221224336 3221214416 1131430347 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 20716 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 45.42
Current children cumulated vsize (Kb) 837848

[startup+60.0079 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 22292
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18231 3 1 0 5467 52 0 0 25 0 11 0 1802259173 857956352 20776 4294967295 134512640 134569956 3221224336 3221214544 1131410605 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 20776 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 55.19
Current children cumulated vsize (Kb) 837848

[startup+70.0087 s]
Raw data (loadavg): 1.07 0.99 0.94 2/66 22292
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18241 3 1 0 6449 53 0 0 25 0 11 0 1802259173 857956352 20837 4294967295 134512640 134569956 3221224336 3221214504 1131366196 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 20837 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 65.02
Current children cumulated vsize (Kb) 837848
One traced child (pid=22292) exited with status: 0
New thread pid=22293

[startup+80.0095 s]
Raw data (loadavg): 1.06 0.99 0.94 2/66 22293
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18251 3 1 0 7430 53 0 0 25 0 11 0 1802259173 857956352 20882 4294967295 134512640 134569956 3221224336 3221214632 1131474903 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 20882 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 74.83
Current children cumulated vsize (Kb) 837848

[startup+90.0104 s]
Raw data (loadavg): 1.05 0.99 0.94 2/66 22293
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18262 3 1 0 8411 54 0 0 23 0 11 0 1802259173 857956352 20921 4294967295 134512640 134569956 3221224336 3221214632 1131478670 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 20921 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 84.65
Current children cumulated vsize (Kb) 837848

[startup+100.011 s]
Raw data (loadavg): 1.04 0.99 0.94 2/66 22293
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18270 3 1 0 9396 54 0 0 25 0 11 0 1802259173 857956352 20957 4294967295 134512640 134569956 3221224336 3221214184 1085806723 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 20957 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 94.5
Current children cumulated vsize (Kb) 837848

[startup+110.012 s]
Raw data (loadavg): 1.03 0.99 0.94 2/66 22293
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18279 3 1 0 10377 54 0 0 25 0 11 0 1802259173 857956352 21018 4294967295 134512640 134569956 3221224336 3221214544 1131410528 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 21018 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 104.31
Current children cumulated vsize (Kb) 837848

[startup+120.013 s]
Raw data (loadavg): 1.03 0.99 0.94 2/66 22293
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18289 3 1 0 11355 55 0 0 19 0 11 0 1802259173 857956352 21036 4294967295 134512640 134569956 3221224336 3221214544 1131410556 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 21036 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 114.1
Current children cumulated vsize (Kb) 837848

[startup+130.014 s]
Raw data (loadavg): 1.02 0.99 0.94 2/66 22293
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18298 3 1 0 12335 56 0 0 25 0 11 0 1802259173 857956352 21065 4294967295 134512640 134569956 3221224336 3221214536 1131424214 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 21065 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 123.91
Current children cumulated vsize (Kb) 837848

[startup+140.015 s]
Raw data (loadavg): 1.02 0.99 0.94 2/66 22293
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18308 3 1 0 13313 56 0 0 25 0 11 0 1802259173 857956352 21132 4294967295 134512640 134569956 3221224336 3221214632 1131477802 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 21132 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 133.69
Current children cumulated vsize (Kb) 837848

[startup+150.016 s]
Raw data (loadavg): 1.02 0.99 0.94 2/66 22293
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18318 3 1 0 14293 56 0 0 25 0 11 0 1802259173 857956352 21184 4294967295 134512640 134569956 3221224336 3221214628 1131355269 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 21184 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 143.49
Current children cumulated vsize (Kb) 837848

[startup+160.017 s]
Raw data (loadavg): 1.01 0.99 0.94 2/66 22293
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18327 3 1 0 15276 57 0 0 24 0 11 0 1802259173 857956352 21226 4294967295 134512640 134569956 3221224336 3221214632 1131475404 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 21226 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 153.33
Current children cumulated vsize (Kb) 837848

[startup+170.018 s]
Raw data (loadavg): 1.09 1.01 0.94 2/66 22293
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18337 3 1 0 16257 58 0 0 25 0 11 0 1802259173 857956352 21266 4294967295 134512640 134569956 3221224336 3221214624 1131355260 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 21266 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 163.15
Current children cumulated vsize (Kb) 837848

[startup+180.02 s]
Raw data (loadavg): 1.08 1.01 0.94 2/66 22293
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18347 3 1 0 17238 59 0 0 25 0 11 0 1802259173 857956352 21308 4294967295 134512640 134569956 3221224336 3221214632 1131473145 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 21308 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 172.97
Current children cumulated vsize (Kb) 837848

[startup+190.021 s]
Raw data (loadavg): 1.06 1.01 0.94 2/66 22293
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18357 3 1 0 18219 59 0 0 25 0 11 0 1802259173 857956352 21353 4294967295 134512640 134569956 3221224336 3221214536 1131424183 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 21353 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 182.78
Current children cumulated vsize (Kb) 837848

[startup+200.022 s]
Raw data (loadavg): 1.05 1.01 0.94 2/66 22293
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18367 3 1 0 19204 60 0 0 24 0 11 0 1802259173 857956352 21388 4294967295 134512640 134569956 3221224336 3221214536 1131424879 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 21388 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 192.64
Current children cumulated vsize (Kb) 837848

[startup+210.022 s]
Raw data (loadavg): 1.04 1.01 0.94 2/66 22293
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18376 3 1 0 20190 60 0 0 24 0 11 0 1802259173 857956352 21428 4294967295 134512640 134569956 3221224336 3221214632 1131475718 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 21428 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 202.5
Current children cumulated vsize (Kb) 837848

[startup+220.024 s]
Raw data (loadavg): 1.04 1.01 0.94 2/66 22293
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18386 3 1 0 21176 61 0 0 25 0 11 0 1802259173 857956352 21449 4294967295 134512640 134569956 3221224336 3221214632 1131474920 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 21449 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 212.37
Current children cumulated vsize (Kb) 837848

[startup+230.025 s]
Raw data (loadavg): 1.03 1.00 0.94 2/66 22293
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18396 3 1 0 22162 61 0 0 25 0 11 0 1802259173 857956352 21467 4294967295 134512640 134569956 3221224336 3221214632 1131478048 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 21467 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (Kb) 837848

[startup+240.026 s]
Raw data (loadavg): 1.03 1.00 0.94 2/66 22293
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18406 3 1 0 23149 61 0 0 25 0 11 0 1802259173 857956352 21506 4294967295 134512640 134569956 3221224336 3221214424 1131417833 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 21506 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 232.1
Current children cumulated vsize (Kb) 837848

[startup+250.027 s]
Raw data (loadavg): 1.02 1.00 0.94 2/66 22293
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18416 3 1 0 24135 62 0 0 18 0 11 0 1802259173 857956352 21525 4294967295 134512640 134569956 3221224336 3221214632 1131478885 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 21525 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 241.97
Current children cumulated vsize (Kb) 837848

[startup+260.028 s]
Raw data (loadavg): 1.02 1.00 0.94 2/66 22293
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18426 3 1 0 25122 62 0 0 25 0 11 0 1802259173 857956352 21545 4294967295 134512640 134569956 3221224336 3221214632 1131475404 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 21545 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 251.84
Current children cumulated vsize (Kb) 837848

[startup+270.029 s]
Raw data (loadavg): 1.01 1.00 0.94 2/66 22293
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18436 3 1 0 26108 62 0 0 24 0 11 0 1802259173 857956352 21564 4294967295 134512640 134569956 3221224336 3221214544 1131409981 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 21564 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 261.7
Current children cumulated vsize (Kb) 837848

[startup+280.03 s]
Raw data (loadavg): 1.01 1.00 0.94 2/66 22293
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18445 3 1 0 27097 63 0 0 25 0 11 0 1802259173 857956352 21584 4294967295 134512640 134569956 3221224336 3221214632 1131477599 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 21584 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 271.6
Current children cumulated vsize (Kb) 837848

[startup+290.031 s]
Raw data (loadavg): 1.01 1.00 0.94 2/66 22293
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18455 3 1 0 28084 63 0 0 23 0 11 0 1802259173 857956352 21605 4294967295 134512640 134569956 3221224336 3221214544 1131409906 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 21605 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 281.47
Current children cumulated vsize (Kb) 837848

[startup+300.032 s]
Raw data (loadavg): 1.09 1.02 0.95 3/69 22334
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18465 3 1 0 29059 72 0 0 25 0 11 0 1802259173 857956352 21643 4294967295 134512640 134569956 3221224336 3221214632 1131478335 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 21643 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 291.31
Current children cumulated vsize (Kb) 837848

[startup+310.034 s]
Raw data (loadavg): 1.07 1.02 0.95 2/66 22348
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18475 3 1 0 30044 74 0 0 19 0 11 0 1802259173 857956352 21662 4294967295 134512640 134569956 3221224336 3221214624 1131355260 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 21662 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 301.18
Current children cumulated vsize (Kb) 837848

[startup+320.035 s]
Raw data (loadavg): 1.06 1.01 0.95 2/66 22348
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18485 3 1 0 31031 75 0 0 18 0 11 0 1802259173 857956352 21684 4294967295 134512640 134569956 3221224336 3221214632 1131478527 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 21684 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 311.06
Current children cumulated vsize (Kb) 837848

[startup+330.035 s]
Raw data (loadavg): 1.05 1.01 0.95 2/66 22348
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18495 3 1 0 32018 75 0 0 18 0 11 0 1802259173 857956352 21705 4294967295 134512640 134569956 3221224336 3221214568 1131410784 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 21705 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 320.93
Current children cumulated vsize (Kb) 837848

[startup+340.036 s]
Raw data (loadavg): 1.04 1.01 0.95 2/66 22348
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18505 3 1 0 33005 76 0 0 25 0 11 0 1802259173 857956352 21727 4294967295 134512640 134569956 3221224336 3221214632 1131475280 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 21727 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 330.81
Current children cumulated vsize (Kb) 837848

[startup+350.038 s]
Raw data (loadavg): 1.04 1.01 0.95 2/66 22348
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18515 3 1 0 33991 76 0 0 17 0 11 0 1802259173 857956352 21728 4294967295 134512640 134569956 3221224336 3221214632 1131475366 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 21728 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 340.67
Current children cumulated vsize (Kb) 837848

[startup+360.038 s]
Raw data (loadavg): 1.03 1.01 0.95 2/66 22348
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18524 3 1 0 34979 76 0 0 25 0 11 0 1802259173 857956352 21751 4294967295 134512640 134569956 3221224336 3221214544 1131410051 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 21751 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 350.55
Current children cumulated vsize (Kb) 837848

[startup+370.039 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 22348
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18534 3 1 0 35965 77 0 0 25 0 11 0 1802259173 857956352 21771 4294967295 134512640 134569956 3221224336 3221214632 1131473263 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 21771 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 360.42
Current children cumulated vsize (Kb) 837848

[startup+380.04 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18544 3 1 0 36951 78 0 0 25 0 11 0 1802259173 857956352 21794 4294967295 134512640 134569956 3221224336 3221214632 1131474920 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 21794 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 370.29
Current children cumulated vsize (Kb) 837848

[startup+390.039 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18554 3 1 0 37937 79 0 0 23 0 11 0 1802259173 857956352 21817 4294967295 134512640 134569956 3221224336 3221214544 1131410665 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 21817 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 380.16
Current children cumulated vsize (Kb) 837848

[startup+400.04 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18564 3 1 0 38921 79 0 0 25 0 11 0 1802259173 857956352 21840 4294967295 134512640 134569956 3221224336 3221214544 1131409804 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 21840 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 390
Current children cumulated vsize (Kb) 837848

[startup+410.041 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18574 3 1 0 39905 80 0 0 25 0 11 0 1802259173 857956352 21868 4294967295 134512640 134569956 3221224336 3221214632 1131478018 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 21868 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 399.85
Current children cumulated vsize (Kb) 837848

[startup+420.043 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18584 3 1 0 40890 80 0 0 21 0 11 0 1802259173 857956352 21870 4294967295 134512640 134569956 3221224336 3221214632 1131475585 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 21870 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 409.7
Current children cumulated vsize (Kb) 837848

[startup+430.044 s]
Raw data (loadavg): 1.08 1.02 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18594 3 1 0 41876 81 0 0 25 0 11 0 1802259173 857956352 21919 4294967295 134512640 134569956 3221224336 3221214624 1131355193 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 21919 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 419.57
Current children cumulated vsize (Kb) 837848

[startup+440.044 s]
Raw data (loadavg): 1.07 1.02 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18604 3 1 0 42862 81 0 0 25 0 11 0 1802259173 857956352 21943 4294967295 134512640 134569956 3221224336 3221214632 1131478676 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 21943 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 429.43
Current children cumulated vsize (Kb) 837848

[startup+450.044 s]
Raw data (loadavg): 1.06 1.02 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18614 3 1 0 43850 81 0 0 25 0 11 0 1802259173 857956352 21963 4294967295 134512640 134569956 3221224336 3221214632 1131473491 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 21963 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 439.31
Current children cumulated vsize (Kb) 837848

[startup+460.045 s]
Raw data (loadavg): 1.05 1.02 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18624 3 1 0 44836 82 0 0 25 0 11 0 1802259173 857956352 21982 4294967295 134512640 134569956 3221224336 3221214632 1131474920 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 21982 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 449.18
Current children cumulated vsize (Kb) 837848

[startup+470.047 s]
Raw data (loadavg): 1.04 1.02 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18634 3 1 0 45823 82 0 0 25 0 11 0 1802259173 857956352 21983 4294967295 134512640 134569956 3221224336 3221214632 1131473484 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 21983 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 459.05
Current children cumulated vsize (Kb) 837848

[startup+480.048 s]
Raw data (loadavg): 1.03 1.02 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18644 3 1 0 46811 82 0 0 25 0 11 0 1802259173 857956352 22001 4294967295 134512640 134569956 3221224336 3221214544 1131409870 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22001 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 468.93
Current children cumulated vsize (Kb) 837848

[startup+490.049 s]
Raw data (loadavg): 1.03 1.01 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18654 3 1 0 47798 83 0 0 25 0 11 0 1802259173 857956352 22021 4294967295 134512640 134569956 3221224336 3221214632 1131475300 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22021 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 478.81
Current children cumulated vsize (Kb) 837848

[startup+500.05 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18664 3 1 0 48785 84 0 0 25 0 11 0 1802259173 857956352 22038 4294967295 134512640 134569956 3221224336 3221214544 1131409956 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22038 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 488.69
Current children cumulated vsize (Kb) 837848

[startup+510.049 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) S 22274 22275 8263 0 -1 0 18673 3 1 0 49773 84 0 0 25 0 11 0 1802259173 857956352 22039 4294967295 134512640 134569956 3221224336 3221213376 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22039 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 498.57
Current children cumulated vsize (Kb) 837848

[startup+520.051 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) S 22274 22275 8263 0 -1 0 18683 3 1 0 50761 84 0 0 16 0 11 0 1802259173 857956352 22059 4294967295 134512640 134569956 3221224336 3221213376 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22059 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 508.45
Current children cumulated vsize (Kb) 837848

[startup+530.052 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18694 3 1 0 51747 85 0 0 16 0 11 0 1802259173 857956352 22078 4294967295 134512640 134569956 3221224336 3221214632 1131478676 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22078 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 518.32
Current children cumulated vsize (Kb) 837848

[startup+540.052 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18703 3 1 0 52736 86 0 0 25 0 11 0 1802259173 857956352 22078 4294967295 134512640 134569956 3221224336 3221214632 1131478317 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22078 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 528.22
Current children cumulated vsize (Kb) 837848

[startup+550.053 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18713 3 1 0 53723 86 0 0 23 0 11 0 1802259173 857956352 22096 4294967295 134512640 134569956 3221224336 3221214632 1131476464 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22096 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 538.09
Current children cumulated vsize (Kb) 837848

[startup+560.054 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18723 3 1 0 54710 87 0 0 25 0 11 0 1802259173 857956352 22115 4294967295 134512640 134569956 3221224336 3221214544 1131409849 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22115 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 547.97
Current children cumulated vsize (Kb) 837848

[startup+570.054 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18733 3 1 0 55699 87 0 0 25 0 11 0 1802259173 857956352 22116 4294967295 134512640 134569956 3221224336 3221214544 1131409849 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22116 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 557.86
Current children cumulated vsize (Kb) 837848

[startup+580.055 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18743 3 1 0 56686 87 0 0 25 0 11 0 1802259173 857956352 22134 4294967295 134512640 134569956 3221224336 3221214632 1131480046 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22134 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 567.73
Current children cumulated vsize (Kb) 837848

[startup+590.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18753 3 1 0 57673 88 0 0 25 0 11 0 1802259173 857956352 22152 4294967295 134512640 134569956 3221224336 3221214632 1131475726 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22152 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 577.61
Current children cumulated vsize (Kb) 837848

[startup+600.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18763 3 1 0 58660 89 0 0 25 0 11 0 1802259173 857956352 22152 4294967295 134512640 134569956 3221224336 3221214544 1131409906 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22152 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 587.49
Current children cumulated vsize (Kb) 837848

[startup+610.058 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18773 3 1 0 59648 89 0 0 22 0 11 0 1802259173 857956352 22170 4294967295 134512640 134569956 3221224336 3221214632 1131478676 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22170 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 597.37
Current children cumulated vsize (Kb) 837848

[startup+620.059 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18783 3 1 0 60635 90 0 0 25 0 11 0 1802259173 857956352 22189 4294967295 134512640 134569956 3221224336 3221214632 1131478298 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22189 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 607.25
Current children cumulated vsize (Kb) 837848

[startup+630.059 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18793 3 1 0 61623 90 0 0 25 0 11 0 1802259173 857956352 22189 4294967295 134512640 134569956 3221224336 3221214544 1131409906 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22189 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 617.13
Current children cumulated vsize (Kb) 837848

[startup+640.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18803 3 1 0 62610 90 0 0 25 0 11 0 1802259173 857956352 22208 4294967295 134512640 134569956 3221224336 3221214536 1131424240 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22208 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 627
Current children cumulated vsize (Kb) 837848

[startup+650.061 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18813 3 1 0 63598 91 0 0 25 0 11 0 1802259173 857956352 22225 4294967295 134512640 134569956 3221224336 3221214536 1131424257 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22225 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 636.89
Current children cumulated vsize (Kb) 837848

[startup+660.062 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18823 3 1 0 64586 91 0 0 25 0 11 0 1802259173 857956352 22227 4294967295 134512640 134569956 3221224336 3221214544 1131411120 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22227 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 646.77
Current children cumulated vsize (Kb) 837848

[startup+670.064 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 22352
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18833 3 1 0 65575 92 0 0 25 0 11 0 1802259173 857956352 22245 4294967295 134512640 134569956 3221224336 3221214544 1131409906 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22245 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 656.67
Current children cumulated vsize (Kb) 837848

[startup+680.065 s]
Raw data (loadavg): 1.07 1.02 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18843 3 1 0 66562 92 0 0 25 0 11 0 1802259173 857956352 22245 4294967295 134512640 134569956 3221224336 3221214544 1131409906 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22245 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 666.54
Current children cumulated vsize (Kb) 837848

[startup+690.064 s]
Raw data (loadavg): 1.06 1.02 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18853 3 1 0 67550 93 0 0 25 0 11 0 1802259173 857956352 22263 4294967295 134512640 134569956 3221224336 3221214544 1131410091 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22263 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 676.43
Current children cumulated vsize (Kb) 837848

[startup+700.066 s]
Raw data (loadavg): 1.05 1.01 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18863 3 1 0 68539 93 0 0 25 0 11 0 1802259173 857956352 22280 4294967295 134512640 134569956 3221224336 3221214632 1131478048 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22280 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 686.32
Current children cumulated vsize (Kb) 837848

[startup+710.067 s]
Raw data (loadavg): 1.04 1.01 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18873 3 1 0 69526 93 0 0 25 0 11 0 1802259173 857956352 22281 4294967295 134512640 134569956 3221224336 3221214632 1131476369 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22281 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 696.19
Current children cumulated vsize (Kb) 837848

[startup+720.068 s]
Raw data (loadavg): 1.04 1.01 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18883 3 1 0 70514 94 0 0 25 0 11 0 1802259173 857956352 22299 4294967295 134512640 134569956 3221224336 3221214544 1131410024 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22299 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 706.08
Current children cumulated vsize (Kb) 837848

[startup+730.069 s]
Raw data (loadavg): 1.03 1.01 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18893 3 1 0 71502 94 0 0 25 0 11 0 1802259173 857956352 22299 4294967295 134512640 134569956 3221224336 3221214632 1131473546 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22299 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 715.96
Current children cumulated vsize (Kb) 837848

[startup+740.069 s]
Raw data (loadavg): 1.02 1.01 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18903 3 1 0 72490 95 0 0 25 0 11 0 1802259173 857956352 22317 4294967295 134512640 134569956 3221224336 3221214544 1131409847 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22317 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 725.85
Current children cumulated vsize (Kb) 837848

[startup+750.07 s]
Raw data (loadavg): 1.02 1.01 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18913 3 1 0 73478 95 0 0 25 0 11 0 1802259173 857956352 22334 4294967295 134512640 134569956 3221224336 3221214632 1131474920 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22334 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 735.73
Current children cumulated vsize (Kb) 837848

[startup+760.07 s]
Raw data (loadavg): 1.02 1.01 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18923 3 1 0 74466 96 0 0 25 0 11 0 1802259173 857956352 22335 4294967295 134512640 134569956 3221224336 3221214544 1131410032 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22335 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 745.62
Current children cumulated vsize (Kb) 837848

[startup+770.072 s]
Raw data (loadavg): 1.01 1.01 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18933 3 1 0 75455 96 0 0 25 0 11 0 1802259173 857956352 22353 4294967295 134512640 134569956 3221224336 3221214544 1131409849 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22353 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 755.51
Current children cumulated vsize (Kb) 837848

[startup+780.073 s]
Raw data (loadavg): 1.01 1.01 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18943 3 1 0 76442 97 0 0 25 0 11 0 1802259173 857956352 22353 4294967295 134512640 134569956 3221224336 3221214632 1131475585 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22353 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 765.39
Current children cumulated vsize (Kb) 837848

[startup+790.074 s]
Raw data (loadavg): 1.01 1.01 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18953 3 1 0 77430 98 0 0 25 0 11 0 1802259173 857956352 22371 4294967295 134512640 134569956 3221224336 3221214628 1131426215 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22371 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 775.28
Current children cumulated vsize (Kb) 837848

[startup+800.075 s]
Raw data (loadavg): 1.01 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18963 3 1 0 78418 98 0 0 25 0 11 0 1802259173 857956352 22371 4294967295 134512640 134569956 3221224336 3221214632 1131473491 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22371 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 785.16
Current children cumulated vsize (Kb) 837848

[startup+810.075 s]
Raw data (loadavg): 1.01 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18973 3 1 0 79406 99 0 0 25 0 11 0 1802259173 857956352 22389 4294967295 134512640 134569956 3221224336 3221214544 1131409906 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22389 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 795.05
Current children cumulated vsize (Kb) 837848

[startup+820.076 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18983 3 1 0 80394 99 0 0 25 0 11 0 1802259173 857956352 22389 4294967295 134512640 134569956 3221224336 3221214632 1131478897 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22389 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 804.93
Current children cumulated vsize (Kb) 837848

[startup+830.077 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 18993 3 1 0 81382 100 0 0 25 0 11 0 1802259173 857956352 22407 4294967295 134512640 134569956 3221224336 3221214544 1131409914 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22407 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 814.82
Current children cumulated vsize (Kb) 837848

[startup+840.078 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19003 3 1 0 82370 100 0 0 25 0 11 0 1802259173 857956352 22426 4294967295 134512640 134569956 3221224336 3221214632 1131473546 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22426 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 824.7
Current children cumulated vsize (Kb) 837848

[startup+850.079 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19013 3 1 0 83359 100 0 0 25 0 11 0 1802259173 857956352 22427 4294967295 134512640 134569956 3221224336 3221214536 1131424286 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22427 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 834.59
Current children cumulated vsize (Kb) 837848

[startup+860.079 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19023 3 1 0 84346 101 0 0 25 0 11 0 1802259173 857956352 22444 4294967295 134512640 134569956 3221224336 3221214544 1131409906 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22444 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 844.47
Current children cumulated vsize (Kb) 837848

[startup+870.081 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19033 3 1 0 85335 102 0 0 25 0 11 0 1802259173 857956352 22445 4294967295 134512640 134569956 3221224336 3221214544 1131409906 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22445 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 854.37
Current children cumulated vsize (Kb) 837848

[startup+880.081 s]
Raw data (loadavg): 1.08 1.02 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19043 3 1 0 86322 102 0 0 25 0 11 0 1802259173 857956352 22466 4294967295 134512640 134569956 3221224336 3221214624 1131355246 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22466 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 864.24
Current children cumulated vsize (Kb) 837848

[startup+890.082 s]
Raw data (loadavg): 1.07 1.02 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19053 3 1 0 87311 102 0 0 25 0 11 0 1802259173 857956352 22467 4294967295 134512640 134569956 3221224336 3221214632 1131473569 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22467 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 874.13
Current children cumulated vsize (Kb) 837848

[startup+900.083 s]
Raw data (loadavg): 1.06 1.01 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19063 3 1 0 88299 103 0 0 25 0 11 0 1802259173 857956352 22485 4294967295 134512640 134569956 3221224336 3221214632 1131475588 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22485 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 884.02
Current children cumulated vsize (Kb) 837848

[startup+910.084 s]
Raw data (loadavg): 1.05 1.01 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19073 3 1 0 89287 103 0 0 25 0 11 0 1802259173 857956352 22486 4294967295 134512640 134569956 3221224336 3221214632 1131473546 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22486 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 893.9
Current children cumulated vsize (Kb) 837848

[startup+920.085 s]
Raw data (loadavg): 1.04 1.01 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19083 3 1 0 90274 104 0 0 25 0 11 0 1802259173 857956352 22504 4294967295 134512640 134569956 3221224336 3221214544 1131409964 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22504 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 903.78
Current children cumulated vsize (Kb) 837848

[startup+930.086 s]
Raw data (loadavg): 1.03 1.01 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19093 3 1 0 91263 104 0 0 25 0 11 0 1802259173 857956352 22505 4294967295 134512640 134569956 3221224336 3221214632 1131473546 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22505 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 913.67
Current children cumulated vsize (Kb) 837848

[startup+940.086 s]
Raw data (loadavg): 1.03 1.01 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19103 3 1 0 92251 104 0 0 25 0 11 0 1802259173 857956352 22524 4294967295 134512640 134569956 3221224336 3221214536 1131424272 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22524 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 923.55
Current children cumulated vsize (Kb) 837848

[startup+950.087 s]
Raw data (loadavg): 1.02 1.01 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19113 3 1 0 93239 105 0 0 25 0 11 0 1802259173 857956352 22525 4294967295 134512640 134569956 3221224336 3221214544 1131410490 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22525 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 933.44
Current children cumulated vsize (Kb) 837848

[startup+960.087 s]
Raw data (loadavg): 1.02 1.01 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19123 3 1 0 94227 105 0 0 25 0 11 0 1802259173 857956352 22544 4294967295 134512640 134569956 3221224336 3221214632 1131478335 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22544 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 943.32
Current children cumulated vsize (Kb) 837848

[startup+970.088 s]
Raw data (loadavg): 1.02 1.01 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19133 3 1 0 95215 105 0 0 20 0 11 0 1802259173 857956352 22545 4294967295 134512640 134569956 3221224336 3221214544 1131409845 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22545 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 953.2
Current children cumulated vsize (Kb) 837848

[startup+980.089 s]
Raw data (loadavg): 1.01 1.01 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19143 3 1 0 96202 106 0 0 25 0 11 0 1802259173 857956352 22565 4294967295 134512640 134569956 3221224336 3221214632 1131475701 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22565 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 963.08
Current children cumulated vsize (Kb) 837848

[startup+990.089 s]
Raw data (loadavg): 1.01 1.01 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19153 3 1 0 97191 106 0 0 25 0 11 0 1802259173 857956352 22566 4294967295 134512640 134569956 3221224336 3221214544 1131410099 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22566 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 972.97
Current children cumulated vsize (Kb) 837848

[startup+1000.09 s]
Raw data (loadavg): 1.01 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19163 3 1 0 98178 106 0 0 25 0 11 0 1802259173 857956352 22588 4294967295 134512640 134569956 3221224336 3221214632 1131475404 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22588 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 982.84
Current children cumulated vsize (Kb) 837848

[startup+1010.09 s]
Raw data (loadavg): 1.01 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19173 3 1 0 99167 107 0 0 25 0 11 0 1802259173 857956352 22589 4294967295 134512640 134569956 3221224336 3221214624 1131355260 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22589 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 992.74
Current children cumulated vsize (Kb) 837848

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19183 3 1 0 100154 107 0 0 25 0 11 0 1802259173 857956352 22609 4294967295 134512640 134569956 3221224336 3221214632 1131474603 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22609 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 1002.61
Current children cumulated vsize (Kb) 837848

[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19193 3 1 0 101143 107 0 0 25 0 11 0 1802259173 857956352 22610 4294967295 134512640 134569956 3221224336 3221214544 1131410528 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22610 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 1012.5
Current children cumulated vsize (Kb) 837848

[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19203 3 1 0 102130 108 0 0 25 0 11 0 1802259173 857956352 22629 4294967295 134512640 134569956 3221224336 3221214632 1131475346 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22629 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 1022.38
Current children cumulated vsize (Kb) 837848

[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19214 3 1 0 103118 108 0 0 25 0 11 0 1802259173 857956352 22629 4294967295 134512640 134569956 3221224336 3221214544 1131410133 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22629 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 1032.26
Current children cumulated vsize (Kb) 837848

[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19224 3 1 0 104103 109 0 0 25 0 11 0 1802259173 857956352 22629 4294967295 134512640 134569956 3221224336 3221214536 1131424266 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22629 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 1042.12
Current children cumulated vsize (Kb) 837848

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19234 3 1 0 105092 109 0 0 17 0 11 0 1802259173 857956352 22650 4294967295 134512640 134569956 3221224336 3221214536 1131424183 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22650 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 1052.01
Current children cumulated vsize (Kb) 837848

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19244 3 1 0 106078 110 0 0 17 0 11 0 1802259173 857956352 22650 4294967295 134512640 134569956 3221224336 3221214632 1131473491 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22650 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (Kb) 837848

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19254 3 1 0 107066 110 0 0 25 0 11 0 1802259173 857956352 22676 4294967295 134512640 134569956 3221224336 3221214632 1131474920 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22676 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 1071.76
Current children cumulated vsize (Kb) 837848

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19264 3 1 0 108053 111 0 0 25 0 11 0 1802259173 857956352 22676 4294967295 134512640 134569956 3221224336 3221214632 1131473519 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22676 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 1081.64
Current children cumulated vsize (Kb) 837848

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19274 3 1 0 109041 111 0 0 18 0 11 0 1802259173 857956352 22698 4294967295 134512640 134569956 3221224336 3221214544 1131409756 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22698 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 1091.52
Current children cumulated vsize (Kb) 837848

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19284 3 1 0 110028 112 0 0 25 0 11 0 1802259173 857956352 22698 4294967295 134512640 134569956 3221224336 3221214544 1131410513 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22698 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 1101.4
Current children cumulated vsize (Kb) 837848

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19294 3 1 0 111014 113 0 0 25 0 11 0 1802259173 857956352 22723 4294967295 134512640 134569956 3221224336 3221214632 1131477853 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22723 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 1111.27
Current children cumulated vsize (Kb) 837848

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19304 3 1 0 112002 113 0 0 18 0 11 0 1802259173 857956352 22723 4294967295 134512640 134569956 3221224336 3221214544 1131410615 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22723 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 1121.15
Current children cumulated vsize (Kb) 837848

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19314 3 1 0 112988 114 0 0 25 0 11 0 1802259173 857956352 22750 4294967295 134512640 134569956 3221224336 3221214124 1085806236 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22750 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 1131.02
Current children cumulated vsize (Kb) 837848

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19324 3 1 0 113976 114 0 0 25 0 11 0 1802259173 857956352 22751 4294967295 134512640 134569956 3221224336 3221214632 1131475404 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22751 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 1140.9
Current children cumulated vsize (Kb) 837848

[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19334 3 1 0 114962 114 0 0 25 0 11 0 1802259173 857956352 22751 4294967295 134512640 134569956 3221224336 3221214544 1131411739 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22751 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 1150.76
Current children cumulated vsize (Kb) 837848

[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19344 3 1 0 115950 115 0 0 25 0 11 0 1802259173 857956352 22772 4294967295 134512640 134569956 3221224336 3221214544 1131411500 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22772 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 1160.65
Current children cumulated vsize (Kb) 837848

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19354 3 1 0 116937 115 0 0 25 0 11 0 1802259173 857956352 22772 4294967295 134512640 134569956 3221224336 3221214544 1131409906 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/22275/statm): 209462 22772 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 1170.52
Current children cumulated vsize (Kb) 837848

[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19364 3 1 0 117923 115 0 0 23 0 11 0 1802259173 857956352 22800 4294967295 134512640 134569956 3221224336 3221214632 1131478659 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22800 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 1180.38
Current children cumulated vsize (Kb) 837848

[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19374 3 1 0 118911 116 0 0 25 0 11 0 1802259173 857956352 22800 4294967295 134512640 134569956 3221224336 3221214624 1131355228 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22800 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 1190.27
Current children cumulated vsize (Kb) 837848

[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19384 3 1 0 119896 116 0 0 25 0 11 0 1802259173 857956352 22825 4294967295 134512640 134569956 3221224336 3221214632 1131473458 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22825 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 1200.12
Current children cumulated vsize (Kb) 837848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 0.96 3/66 22354
Raw data (/proc/22275/stat): 22275 (java) R 22274 22275 8263 0 -1 0 19384 3 1 0 119896 116 0 0 25 0 11 0 1802259173 857956352 22825 4294967295 134512640 134569956 3221224336 3221214544 1131409943 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/22275/statm): 209462 22825 13129 16 0 209446 0
[pid=22275] vsize: 837848
Current children cumulated CPU time (s) 1200.12
Current children cumulated vsize (Kb) 837848

Sending SIGTERM to -22275
Sleeping 2 seconds
New thread pid=22356
New thread pid=22357
One traced child (pid=22357) exited with status: 0
One traced child (pid=22284) exited with status: 0
One traced child (pid=22279) exited with status: 0
One traced child (pid=22276) exited with status: 143
One traced child (pid=22277) exited with status: 143
One traced child (pid=22278) exited with status: 143
One traced child (pid=22281) exited with status: 143
One traced child (pid=22283) exited with status: 143
One traced child (pid=22280) exited with status: 143
One traced child (pid=22293) exited with status: 143
One traced child (pid=22282) exited with status: 143
One traced child (pid=22356) exited with status: 143
One traced child (pid=22275) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1220.5
CPU time (s): 1228.67
CPU user time (s): 1226.48
CPU system time (s): 2.19667
CPU usage (%): 100.67
Max. virtual memory (cumulated for all children) (Kb): 840192
Name	mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell5.opb
MD5SUM	fa1c29f360870381638d135cd26eadfd
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	181644428760406
Optimality of the best value was proved	NO
Number of terms in the objective function	948
Biggest coefficient in the objective function	6291456000000000
Number of bits for the biggest coefficient in the objective function	53
Sum of the numbers in the objective function	104362034158211275
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	6291456000000000
Number of bits of the biggest number in a constraint	53
Biggest sum of numbers in a constraint	104362034158211275
Number of bits of the biggest sum of numbers	57
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1228.67
Number of variables	1244
Total number of constraints	149
Number of constraints which are clauses	15
Number of constraints which are cardinality constraints (but not clauses)	30
Number of constraints which are nor clauses,nor cardinality constraints	104
Minimum length of a constraint	1
Maximum length of a constraint	95
Some explanations

General information on the benchmark

Trace number 8721

Launcher Data

Solver Data

Watcher Data

Verifier Data
