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/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1845155658 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 39 3 38 16 0 23 0
[pid=19331] 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/19331
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=19332
New thread pid=19333
New thread pid=19334
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=19335
New thread pid=19336
New thread pid=19337
New thread pid=19338
New thread pid=19339
New thread pid=19340
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/wulflinc31/normalized-frb50-23-2.opb

[startup+10.0032 s]
Raw data (loadavg): 0.96 1.01 1.00 2/66 19340
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18116 0 1 0 739 52 0 0 25 0 10 0 1845155658 856047616 22505 4294967295 134512640 134569956 3221224336 3221214696 1131314607 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 208996 22505 13129 16 0 208980 0
[pid=19331] vsize: 835984
Current children cumulated CPU time (s) 7.91
Current children cumulated vsize (Kb) 835984
New thread pid=19341
One traced child (pid=19341) exited with status: 0
New thread pid=19342
One traced child (pid=19342) exited with status: 0
New thread pid=19343
One traced child (pid=19343) exited with status: 0
New thread pid=19344

[startup+20.0041 s]
Raw data (loadavg): 0.97 1.00 1.00 2/67 19344
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18229 4 1 0 1493 55 0 0 18 0 11 0 1845155658 857231360 32219 4294967295 134512640 134569956 3221224336 3221214520 1131452517 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209285 32219 13129 16 0 209269 0
[pid=19331] vsize: 837140
Current children cumulated CPU time (s) 15.48
Current children cumulated vsize (Kb) 837140
One traced child (pid=19344) exited with status: 0
New thread pid=19345

[startup+30.0061 s]
Raw data (loadavg): 0.97 1.00 1.00 3/69 19347
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18240 4 1 0 2408 56 0 0 16 0 11 0 1845155658 856608768 33041 4294967295 134512640 134569956 3221224336 3221214500 1131057207 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209133 33041 13129 16 0 209117 0
[pid=19331] vsize: 836532
Current children cumulated CPU time (s) 24.64
Current children cumulated vsize (Kb) 836532

[startup+40.007 s]
Raw data (loadavg): 1.05 1.02 1.00 2/67 19347
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18247 4 1 0 3314 57 0 0 18 0 11 0 1845155658 857657344 34570 4294967295 134512640 134569956 3221224336 3221214616 1131593999 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209389 34570 13129 16 0 209373 0
[pid=19331] vsize: 837556
Current children cumulated CPU time (s) 33.71
Current children cumulated vsize (Kb) 837556
One traced child (pid=19345) exited with status: 0
New thread pid=19348

[startup+50.0079 s]
Raw data (loadavg): 1.04 1.02 1.00 2/67 19348
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18256 4 1 0 4235 57 0 0 25 0 11 0 1845155658 857657344 35140 4294967295 134512640 134569956 3221224336 3221214592 1131571022 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209389 35140 13129 16 0 209373 0
[pid=19331] vsize: 837556
Current children cumulated CPU time (s) 42.92
Current children cumulated vsize (Kb) 837556

[startup+60.0088 s]
Raw data (loadavg): 1.04 1.02 1.00 2/67 19348
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18264 4 1 0 5154 58 0 0 17 0 11 0 1845155658 860758016 36609 4294967295 134512640 134569956 3221224336 3221214592 1131570992 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 210146 36609 13129 16 0 210130 0
[pid=19331] vsize: 840584
Current children cumulated CPU time (s) 52.12
Current children cumulated vsize (Kb) 840584

[startup+70.0098 s]
Raw data (loadavg): 1.03 1.02 1.00 2/67 19348
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18272 4 1 0 6063 58 0 0 16 0 11 0 1845155658 859975680 36932 4294967295 134512640 134569956 3221224336 3221214616 1131594128 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 36932 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 61.21
Current children cumulated vsize (Kb) 839820

[startup+80.0117 s]
Raw data (loadavg): 1.02 1.02 1.00 2/67 19348
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18280 4 1 0 6986 58 0 0 22 0 11 0 1845155658 859975680 37185 4294967295 134512640 134569956 3221224336 3221214472 1131376989 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 37185 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 70.44
Current children cumulated vsize (Kb) 839820

[startup+90.0126 s]
Raw data (loadavg): 1.02 1.01 1.00 3/69 19350
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18288 4 1 0 7908 58 0 0 16 0 11 0 1845155658 859975680 37432 4294967295 134512640 134569956 3221224336 3221214520 1131453456 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 37432 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 79.66
Current children cumulated vsize (Kb) 839820

[startup+100.013 s]
Raw data (loadavg): 1.02 1.01 1.00 2/67 19350
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18295 4 1 0 8842 59 0 0 16 0 11 0 1845155658 859975680 37716 4294967295 134512640 134569956 3221224336 3221214704 1131528411 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 37716 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 89.01
Current children cumulated vsize (Kb) 839820

[startup+110.013 s]
Raw data (loadavg): 1.01 1.01 1.00 2/67 19350
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18301 4 1 0 9800 59 0 0 16 0 11 0 1845155658 859975680 37988 4294967295 134512640 134569956 3221224336 3221214544 1131577947 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 37988 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 98.59
Current children cumulated vsize (Kb) 839820

[startup+120.014 s]
Raw data (loadavg): 1.01 1.01 1.00 2/67 19350
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18306 4 1 0 10763 60 0 0 19 0 11 0 1845155658 859975680 38303 4294967295 134512640 134569956 3221224336 3221214520 1131453137 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 38303 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 108.23
Current children cumulated vsize (Kb) 839820

[startup+130.015 s]
Raw data (loadavg): 1.01 1.01 1.00 2/67 19350
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18308 4 1 0 11750 60 0 0 21 0 11 0 1845155658 859975680 38427 4294967295 134512640 134569956 3221224336 3221214552 1131477977 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 38427 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 118.1
Current children cumulated vsize (Kb) 839820

[startup+140.016 s]
Raw data (loadavg): 1.01 1.01 1.00 2/67 19350
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18311 4 1 0 12734 60 0 0 22 0 11 0 1845155658 859975680 38880 4294967295 134512640 134569956 3221224336 3221214488 1131477792 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 38880 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 127.94
Current children cumulated vsize (Kb) 839820

[startup+150.017 s]
Raw data (loadavg): 1.01 1.01 1.00 2/69 19352
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18312 4 1 0 13727 62 0 0 25 0 11 0 1845155658 859975680 38880 4294967295 134512640 134569956 3221224336 3221214416 1131721338 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 38880 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 137.89
Current children cumulated vsize (Kb) 839820

[startup+160.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 19352
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18316 4 1 0 14709 62 0 0 17 0 11 0 1845155658 859975680 39337 4294967295 134512640 134569956 3221224336 3221214624 1131374668 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 39337 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 147.71
Current children cumulated vsize (Kb) 839820

[startup+170.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 19352
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18316 4 1 0 15709 63 0 0 25 0 11 0 1845155658 859975680 39337 4294967295 134512640 134569956 3221224336 3221214488 1131478021 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 39337 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 157.72
Current children cumulated vsize (Kb) 839820

[startup+180.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 19352
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18317 4 1 0 16704 63 0 0 25 0 11 0 1845155658 859975680 39337 4294967295 134512640 134569956 3221224336 3221214416 1131721172 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 39337 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 167.67
Current children cumulated vsize (Kb) 839820

[startup+190.021 s]
Raw data (loadavg): 1.08 1.02 1.01 2/67 19352
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18324 4 1 0 17677 63 0 0 18 0 11 0 1845155658 859975680 40154 4294967295 134512640 134569956 3221224336 3221214512 1131637207 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 40154 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 177.4
Current children cumulated vsize (Kb) 839820

[startup+200.023 s]
Raw data (loadavg): 1.07 1.02 1.00 2/67 19352
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18325 4 1 0 18674 64 0 0 25 0 11 0 1845155658 859975680 40154 4294967295 134512640 134569956 3221224336 3221214552 1131477977 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 40154 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 187.38
Current children cumulated vsize (Kb) 839820

[startup+210.024 s]
Raw data (loadavg): 1.06 1.02 1.00 2/67 19354
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18327 4 1 0 19667 64 0 0 25 0 11 0 1845155658 859975680 40154 4294967295 134512640 134569956 3221224336 3221214616 1131594967 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 40154 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 197.31
Current children cumulated vsize (Kb) 839820

[startup+220.024 s]
Raw data (loadavg): 1.05 1.02 1.00 2/67 19354
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18330 4 1 0 20657 64 0 0 25 0 11 0 1845155658 859975680 40587 4294967295 134512640 134569956 3221224336 3221214552 1131478110 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 40587 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 207.21
Current children cumulated vsize (Kb) 839820

[startup+230.025 s]
Raw data (loadavg): 1.04 1.02 1.00 2/67 19354
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18331 4 1 0 21654 64 0 0 25 0 11 0 1845155658 859975680 40587 4294967295 134512640 134569956 3221224336 3221214488 1131477943 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 40587 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 217.18
Current children cumulated vsize (Kb) 839820

[startup+240.027 s]
Raw data (loadavg): 1.03 1.02 1.00 2/67 19354
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18332 4 1 0 22650 65 0 0 25 0 11 0 1845155658 859975680 40587 4294967295 134512640 134569956 3221224336 3221214520 1131453039 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 40587 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 227.15
Current children cumulated vsize (Kb) 839820

[startup+250.028 s]
Raw data (loadavg): 1.03 1.02 1.00 2/67 19354
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18336 4 1 0 23634 65 0 0 25 0 11 0 1845155658 859975680 40706 4294967295 134512640 134569956 3221224336 3221214488 1131477933 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 40706 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 236.99
Current children cumulated vsize (Kb) 839820

[startup+260.028 s]
Raw data (loadavg): 1.02 1.01 1.00 2/67 19354
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18336 4 1 0 24634 65 0 0 25 0 11 0 1845155658 859975680 40706 4294967295 134512640 134569956 3221224336 3221214488 1131478007 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 40706 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 246.99
Current children cumulated vsize (Kb) 839820

[startup+270.028 s]
Raw data (loadavg): 1.02 1.01 1.00 2/67 19356
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18337 4 1 0 25629 65 0 0 25 0 11 0 1845155658 859975680 41083 4294967295 134512640 134569956 3221224336 3221214416 1131721188 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 41083 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 256.94
Current children cumulated vsize (Kb) 839820

[startup+280.029 s]
Raw data (loadavg): 1.02 1.01 1.00 2/67 19356
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18341 4 1 0 26617 65 0 0 20 0 11 0 1845155658 859975680 41589 4294967295 134512640 134569956 3221224336 3221214584 1131371176 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 41589 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 266.82
Current children cumulated vsize (Kb) 839820

[startup+290.03 s]
Raw data (loadavg): 1.01 1.01 1.00 2/67 19356
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18342 4 1 0 27614 65 0 0 25 0 11 0 1845155658 859975680 41589 4294967295 134512640 134569956 3221224336 3221214552 1131477989 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 41589 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 276.79
Current children cumulated vsize (Kb) 839820

[startup+300.031 s]
Raw data (loadavg): 1.01 1.01 1.00 2/67 19356
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18343 4 1 0 28610 66 0 0 25 0 11 0 1845155658 859975680 41589 4294967295 134512640 134569956 3221224336 3221214416 1131721457 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 41589 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 286.76
Current children cumulated vsize (Kb) 839820

[startup+310.032 s]
Raw data (loadavg): 1.01 1.01 1.00 2/67 19356
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18344 4 1 0 29607 66 0 0 16 0 11 0 1845155658 859975680 41589 4294967295 134512640 134569956 3221224336 3221214520 1131452865 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 41589 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 296.73
Current children cumulated vsize (Kb) 839820

[startup+320.033 s]
Raw data (loadavg): 1.01 1.01 1.00 2/67 19356
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18352 4 1 0 30586 66 0 0 17 0 11 0 1845155658 859975680 42106 4294967295 134512640 134569956 3221224336 3221214520 1131453129 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 42106 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 306.52
Current children cumulated vsize (Kb) 839820

[startup+330.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 19358
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18358 4 1 0 31566 66 0 0 22 0 11 0 1845155658 859975680 42106 4294967295 134512640 134569956 3221224336 3221214552 1131476839 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 42106 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 316.32
Current children cumulated vsize (Kb) 839820

[startup+340.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 19358
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18365 4 1 0 32536 67 0 0 16 0 11 0 1845155658 859975680 42106 4294967295 134512640 134569956 3221224336 3221214584 1131371207 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 42106 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 326.03
Current children cumulated vsize (Kb) 839820

[startup+350.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 19358
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18372 4 1 0 33510 67 0 0 18 0 11 0 1845155658 859975680 42607 4294967295 134512640 134569956 3221224336 3221214520 1131453020 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 42607 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 335.77
Current children cumulated vsize (Kb) 839820

[startup+360.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19358
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18373 4 1 0 34507 67 0 0 25 0 11 0 1845155658 859975680 42607 4294967295 134512640 134569956 3221224336 3221214552 1131477857 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 42607 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 345.74
Current children cumulated vsize (Kb) 839820

[startup+370.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19358
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18374 4 1 0 35503 67 0 0 25 0 11 0 1845155658 859975680 42607 4294967295 134512640 134569956 3221224336 3221214416 1131721168 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 42607 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 355.7
Current children cumulated vsize (Kb) 839820

[startup+380.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19358
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18378 4 1 0 36485 68 0 0 22 0 11 0 1845155658 859975680 43016 4294967295 134512640 134569956 3221224336 3221214552 1131477836 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 43016 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 365.53
Current children cumulated vsize (Kb) 839820

[startup+390.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19360
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18379 4 1 0 37480 68 0 0 17 0 11 0 1845155658 859975680 43016 4294967295 134512640 134569956 3221224336 3221214552 1131477929 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 43016 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 375.48
Current children cumulated vsize (Kb) 839820

[startup+400.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19360
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18379 4 1 0 38480 68 0 0 25 0 11 0 1845155658 859975680 43016 4294967295 134512640 134569956 3221224336 3221214520 1131700691 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 43016 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 385.48
Current children cumulated vsize (Kb) 839820

[startup+410.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19360
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18380 4 1 0 39473 69 0 0 25 0 11 0 1845155658 859975680 43805 4294967295 134512640 134569956 3221224336 3221214496 1131477836 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 43805 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 395.42
Current children cumulated vsize (Kb) 839820

[startup+420.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19360
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18380 4 1 0 40474 69 0 0 25 0 11 0 1845155658 859975680 43805 4294967295 134512640 134569956 3221224336 3221214416 1131721332 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 43805 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 405.43
Current children cumulated vsize (Kb) 839820

[startup+430.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19360
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18386 4 1 0 41459 69 0 0 17 0 11 0 1845155658 859975680 43805 4294967295 134512640 134569956 3221224336 3221214520 1131453137 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 43805 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 415.28
Current children cumulated vsize (Kb) 839820

[startup+440.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19360
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18388 4 1 0 42452 69 0 0 25 0 11 0 1845155658 859975680 43805 4294967295 134512640 134569956 3221224336 3221214520 1131700499 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 43805 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 425.21
Current children cumulated vsize (Kb) 839820

[startup+450.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19362
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18388 4 1 0 43452 69 0 0 25 0 11 0 1845155658 859975680 43805 4294967295 134512640 134569956 3221224336 3221214552 1131477921 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 43805 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 435.21
Current children cumulated vsize (Kb) 839820

[startup+460.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19362
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18388 4 1 0 44452 69 0 0 25 0 11 0 1845155658 859975680 43805 4294967295 134512640 134569956 3221224336 3221214552 1131477999 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 43805 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 445.21
Current children cumulated vsize (Kb) 839820

[startup+470.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19362
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18389 4 1 0 45448 69 0 0 25 0 11 0 1845155658 859975680 43805 4294967295 134512640 134569956 3221224336 3221214552 1131477943 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 43805 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 455.17
Current children cumulated vsize (Kb) 839820

[startup+480.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19362
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18389 4 1 0 46448 69 0 0 25 0 11 0 1845155658 859975680 43805 4294967295 134512640 134569956 3221224336 3221214488 1131477894 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 43805 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 465.17
Current children cumulated vsize (Kb) 839820

[startup+490.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19362
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18390 4 1 0 47442 69 0 0 25 0 11 0 1845155658 859975680 44387 4294967295 134512640 134569956 3221224336 3221214552 1131478104 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 44387 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 475.11
Current children cumulated vsize (Kb) 839820

[startup+500.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19362
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18390 4 1 0 48441 69 0 0 25 0 11 0 1845155658 859975680 44387 4294967295 134512640 134569956 3221224336 3221214488 1131477913 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 44387 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 485.1
Current children cumulated vsize (Kb) 839820

[startup+510.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19364
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18390 4 1 0 49442 69 0 0 25 0 11 0 1845155658 859975680 44387 4294967295 134512640 134569956 3221224336 3221214488 1131477852 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 44387 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 495.11
Current children cumulated vsize (Kb) 839820

[startup+520.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19364
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18391 4 1 0 50438 70 0 0 25 0 11 0 1845155658 859975680 44387 4294967295 134512640 134569956 3221224336 3221214416 1131721427 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 44387 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 505.08
Current children cumulated vsize (Kb) 839820

[startup+530.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19364
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18391 4 1 0 51437 70 0 0 25 0 11 0 1845155658 859975680 44387 4294967295 134512640 134569956 3221224336 3221214496 1131477951 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 44387 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 515.07
Current children cumulated vsize (Kb) 839820

[startup+540.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19364
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18397 4 1 0 52401 70 0 0 16 0 11 0 1845155658 859975680 45194 4294967295 134512640 134569956 3221224336 3221214528 1131429849 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 45194 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 524.71
Current children cumulated vsize (Kb) 839820

[startup+550.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19364
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18401 4 1 0 53355 70 0 0 17 0 11 0 1845155658 859975680 45525 4294967295 134512640 134569956 3221224336 3221214592 1131571057 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 45525 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 534.25
Current children cumulated vsize (Kb) 839820
One traced child (pid=19348) exited with status: 0
New thread pid=19365

[startup+560.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19365
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18409 4 1 0 54270 71 0 0 16 0 11 0 1845155658 859975680 45926 4294967295 134512640 134569956 3221224336 3221214520 1131453133 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 45926 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 543.41
Current children cumulated vsize (Kb) 839820

[startup+570.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19367
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18417 4 1 0 55181 71 0 0 16 0 11 0 1845155658 859975680 45926 4294967295 134512640 134569956 3221224336 3221214520 1131453355 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 45926 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 552.52
Current children cumulated vsize (Kb) 839820

[startup+580.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19367
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18425 4 1 0 56092 71 0 0 16 0 11 0 1845155658 859975680 45926 4294967295 134512640 134569956 3221224336 3221214520 1131453125 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 45926 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 561.63
Current children cumulated vsize (Kb) 839820

[startup+590.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19367
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18427 4 1 0 57068 71 0 0 15 0 11 0 1845155658 859975680 45926 4294967295 134512640 134569956 3221224336 3221214552 1131477686 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 45926 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 571.39
Current children cumulated vsize (Kb) 839820

[startup+600.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19367
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18427 4 1 0 58069 71 0 0 25 0 11 0 1845155658 859975680 45926 4294967295 134512640 134569956 3221224336 3221214552 1131477806 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 45926 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 581.4
Current children cumulated vsize (Kb) 839820

[startup+610.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19367
Raw data (/proc/19331/stat): 19331 (java) S 19330 19331 9102 0 -1 0 18427 4 1 0 59068 71 0 0 16 0 11 0 1845155658 859975680 45927 4294967295 134512640 134569956 3221224336 3221213320 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 45927 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 591.39
Current children cumulated vsize (Kb) 839820

[startup+620.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19367
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18428 4 1 0 60055 72 0 0 25 0 11 0 1845155658 859975680 46256 4294967295 134512640 134569956 3221224336 3221214552 1131477804 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 46256 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 601.27
Current children cumulated vsize (Kb) 839820

[startup+630.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19369
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18430 4 1 0 61034 72 0 0 16 0 11 0 1845155658 859975680 46643 4294967295 134512640 134569956 3221224336 3221214520 1131453133 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 46643 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 611.06
Current children cumulated vsize (Kb) 839820

[startup+640.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19369
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18434 4 1 0 62011 72 0 0 25 0 11 0 1845155658 859975680 46643 4294967295 134512640 134569956 3221224336 3221214488 1131477857 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 46643 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 620.83
Current children cumulated vsize (Kb) 839820

[startup+650.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19369
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18435 4 1 0 63003 72 0 0 25 0 11 0 1845155658 859975680 46643 4294967295 134512640 134569956 3221224336 3221214584 1131369561 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 46643 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 630.75
Current children cumulated vsize (Kb) 839820

[startup+660.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19369
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18436 4 1 0 63994 72 0 0 25 0 11 0 1845155658 859975680 47536 4294967295 134512640 134569956 3221224336 3221214488 1131478025 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 47536 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 640.66
Current children cumulated vsize (Kb) 839820

[startup+670.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19369
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18440 4 1 0 64982 73 0 0 20 0 11 0 1845155658 859975680 47536 4294967295 134512640 134569956 3221224336 3221214520 1131452987 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 47536 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 650.55
Current children cumulated vsize (Kb) 839820

[startup+680.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19369
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18446 4 1 0 65964 73 0 0 25 0 11 0 1845155658 859975680 47536 4294967295 134512640 134569956 3221224336 3221214552 1131477967 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 47536 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 660.37
Current children cumulated vsize (Kb) 839820

[startup+690.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19371
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18447 4 1 0 66959 73 0 0 25 0 11 0 1845155658 859975680 47536 4294967295 134512640 134569956 3221224336 3221214488 1131477894 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 47536 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 670.32
Current children cumulated vsize (Kb) 839820

[startup+700.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19371
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18448 4 1 0 67953 73 0 0 21 0 11 0 1845155658 859975680 48251 4294967295 134512640 134569956 3221224336 3221214488 1131478066 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 48251 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 680.26
Current children cumulated vsize (Kb) 839820

[startup+710.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19371
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18448 4 1 0 68953 74 0 0 25 0 11 0 1845155658 859975680 48251 4294967295 134512640 134569956 3221224336 3221214552 1131477977 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 48251 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 690.27
Current children cumulated vsize (Kb) 839820

[startup+720.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19371
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18452 4 1 0 69942 74 0 0 21 0 11 0 1845155658 859975680 49003 4294967295 134512640 134569956 3221224336 3221214552 1131477977 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 49003 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 700.16
Current children cumulated vsize (Kb) 839820

[startup+730.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19371
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18453 4 1 0 70939 74 0 0 25 0 11 0 1845155658 859975680 49003 4294967295 134512640 134569956 3221224336 3221214520 1131453047 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 49003 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 710.13
Current children cumulated vsize (Kb) 839820

[startup+740.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19371
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18456 4 1 0 71931 75 0 0 25 0 11 0 1845155658 859975680 49003 4294967295 134512640 134569956 3221224336 3221214488 1131477977 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 49003 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 720.06
Current children cumulated vsize (Kb) 839820

[startup+750.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19373
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18457 4 1 0 72925 76 0 0 25 0 11 0 1845155658 859975680 49003 4294967295 134512640 134569956 3221224336 3221214552 1131478066 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 49003 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 730.01
Current children cumulated vsize (Kb) 839820

[startup+760.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19373
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18457 4 1 0 73925 77 0 0 25 0 11 0 1845155658 859975680 49003 4294967295 134512640 134569956 3221224336 3221214488 1131477939 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 49003 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 740.02
Current children cumulated vsize (Kb) 839820

[startup+770.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19373
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18457 4 1 0 74925 77 0 0 25 0 11 0 1845155658 859975680 49003 4294967295 134512640 134569956 3221224336 3221214552 1131478007 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 49003 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 750.02
Current children cumulated vsize (Kb) 839820

[startup+780.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19373
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18457 4 1 0 75924 77 0 0 25 0 11 0 1845155658 859975680 49003 4294967295 134512640 134569956 3221224336 3221214488 1131478106 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 49003 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 760.01
Current children cumulated vsize (Kb) 839820

[startup+790.073 s]
Raw data (loadavg): 1.07 1.02 1.00 2/67 19373
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18460 4 1 0 76907 78 0 0 18 0 11 0 1845155658 859975680 49714 4294967295 134512640 134569956 3221224336 3221214656 1131452599 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 49714 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 769.85
Current children cumulated vsize (Kb) 839820

[startup+800.074 s]
Raw data (loadavg): 1.06 1.02 1.00 2/67 19373
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18461 4 1 0 77899 78 0 0 25 0 11 0 1845155658 859975680 51553 4294967295 134512640 134569956 3221224336 3221214552 1131477892 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 51553 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 779.77
Current children cumulated vsize (Kb) 839820

[startup+810.075 s]
Raw data (loadavg): 1.05 1.01 1.00 2/67 19375
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18461 4 1 0 78899 78 0 0 25 0 11 0 1845155658 859975680 51553 4294967295 134512640 134569956 3221224336 3221214488 1131477959 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 51553 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 789.77
Current children cumulated vsize (Kb) 839820

[startup+820.075 s]
Raw data (loadavg): 1.04 1.01 1.00 2/67 19375
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18461 4 1 0 79898 79 0 0 25 0 11 0 1845155658 859975680 51553 4294967295 134512640 134569956 3221224336 3221214520 1131700514 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 51553 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 799.77
Current children cumulated vsize (Kb) 839820

[startup+830.076 s]
Raw data (loadavg): 1.04 1.01 1.00 2/67 19375
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18461 4 1 0 80898 79 0 0 25 0 11 0 1845155658 859975680 51553 4294967295 134512640 134569956 3221224336 3221214416 1131721389 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 51553 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 809.77
Current children cumulated vsize (Kb) 839820

[startup+840.077 s]
Raw data (loadavg): 1.03 1.01 1.00 2/67 19375
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18461 4 1 0 81898 79 0 0 25 0 11 0 1845155658 859975680 51553 4294967295 134512640 134569956 3221224336 3221214496 1131477967 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 51553 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 819.77
Current children cumulated vsize (Kb) 839820

[startup+850.077 s]
Raw data (loadavg): 1.02 1.01 1.00 2/67 19375
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18461 4 1 0 82897 79 0 0 25 0 11 0 1845155658 859975680 51553 4294967295 134512640 134569956 3221224336 3221214552 1131478052 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 51553 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 829.76
Current children cumulated vsize (Kb) 839820

[startup+860.078 s]
Raw data (loadavg): 1.02 1.01 1.00 2/67 19375
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18461 4 1 0 83897 80 0 0 25 0 11 0 1845155658 859975680 51553 4294967295 134512640 134569956 3221224336 3221214552 1131477977 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 51553 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 839.77
Current children cumulated vsize (Kb) 839820

[startup+870.079 s]
Raw data (loadavg): 1.02 1.01 1.00 2/67 19377
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18461 4 1 0 84897 80 0 0 25 0 11 0 1845155658 859975680 51553 4294967295 134512640 134569956 3221224336 3221214552 1131477925 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 51553 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 849.77
Current children cumulated vsize (Kb) 839820

[startup+880.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/67 19377
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18461 4 1 0 85897 81 0 0 25 0 11 0 1845155658 859975680 51553 4294967295 134512640 134569956 3221224336 3221214552 1131477867 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 51553 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 859.78
Current children cumulated vsize (Kb) 839820

[startup+890.081 s]
Raw data (loadavg): 1.01 1.01 1.00 2/67 19377
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18461 4 1 0 86896 81 0 0 25 0 11 0 1845155658 859975680 51553 4294967295 134512640 134569956 3221224336 3221214552 1131477977 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 51553 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 869.77
Current children cumulated vsize (Kb) 839820

[startup+900.082 s]
Raw data (loadavg): 1.01 1.01 1.00 2/67 19377
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18461 4 1 0 87896 81 0 0 25 0 11 0 1845155658 859975680 51553 4294967295 134512640 134569956 3221224336 3221214488 1131477977 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 51553 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 879.77
Current children cumulated vsize (Kb) 839820

[startup+910.084 s]
Raw data (loadavg): 1.01 1.00 1.00 2/67 19377
Raw data (/proc/19331/stat): 19331 (java) S 19330 19331 9102 0 -1 0 18462 4 1 0 88892 82 0 0 25 0 11 0 1845155658 859975680 51553 4294967295 134512640 134569956 3221224336 3221213088 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 51553 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 889.74
Current children cumulated vsize (Kb) 839820

[startup+920.085 s]
Raw data (loadavg): 1.01 1.00 1.00 2/67 19377
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18462 4 1 0 89890 82 0 0 25 0 11 0 1845155658 859975680 51553 4294967295 134512640 134569956 3221224336 3221214488 1131478106 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 51553 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 899.72
Current children cumulated vsize (Kb) 839820

[startup+930.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19379
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18462 4 1 0 90890 82 0 0 25 0 11 0 1845155658 859975680 51553 4294967295 134512640 134569956 3221224336 3221214488 1131477888 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 51553 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 909.72
Current children cumulated vsize (Kb) 839820

[startup+940.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19379
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18462 4 1 0 91890 82 0 0 25 0 11 0 1845155658 859975680 51553 4294967295 134512640 134569956 3221224336 3221214416 1131721401 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 51553 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 919.72
Current children cumulated vsize (Kb) 839820

[startup+950.086 s]
Raw data (loadavg): 1.16 1.03 1.01 2/67 19379
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18462 4 1 0 92890 82 0 0 25 0 11 0 1845155658 859975680 51553 4294967295 134512640 134569956 3221224336 3221214416 1131721314 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 51553 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 929.72
Current children cumulated vsize (Kb) 839820

[startup+960.087 s]
Raw data (loadavg): 1.13 1.03 1.01 2/67 19379
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18462 4 1 0 93890 82 0 0 25 0 11 0 1845155658 859975680 51553 4294967295 134512640 134569956 3221224336 3221214512 1131637127 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 51553 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 939.72
Current children cumulated vsize (Kb) 839820

[startup+970.088 s]
Raw data (loadavg): 1.11 1.03 1.01 2/67 19379
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18462 4 1 0 94891 82 0 0 25 0 11 0 1845155658 859975680 51553 4294967295 134512640 134569956 3221224336 3221214416 1131724645 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 51553 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 949.73
Current children cumulated vsize (Kb) 839820

[startup+980.088 s]
Raw data (loadavg): 1.09 1.03 1.01 2/67 19379
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18462 4 1 0 95891 82 0 0 25 0 11 0 1845155658 859975680 51553 4294967295 134512640 134569956 3221224336 3221214496 1131477836 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 51553 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 959.73
Current children cumulated vsize (Kb) 839820

[startup+990.088 s]
Raw data (loadavg): 1.08 1.03 1.01 2/67 19381
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18462 4 1 0 96891 82 0 0 25 0 11 0 1845155658 859975680 51553 4294967295 134512640 134569956 3221224336 3221214416 1131721211 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 51553 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 969.73
Current children cumulated vsize (Kb) 839820

[startup+1000.09 s]
Raw data (loadavg): 1.07 1.03 1.01 2/67 19381
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18463 4 1 0 97885 82 0 0 25 0 11 0 1845155658 859975680 51634 4294967295 134512640 134569956 3221224336 3221214328 1131724536 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 51634 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 979.67
Current children cumulated vsize (Kb) 839820

[startup+1010.09 s]
Raw data (loadavg): 1.06 1.03 1.00 2/67 19381
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18463 4 1 0 98884 83 0 0 25 0 11 0 1845155658 859975680 51634 4294967295 134512640 134569956 3221224336 3221214472 1131660476 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 51634 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 989.67
Current children cumulated vsize (Kb) 839820

[startup+1020.09 s]
Raw data (loadavg): 1.05 1.02 1.00 2/67 19381
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18463 4 1 0 99885 83 0 0 25 0 11 0 1845155658 859975680 51634 4294967295 134512640 134569956 3221224336 3221214552 1131478092 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 51634 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 999.68
Current children cumulated vsize (Kb) 839820

[startup+1030.09 s]
Raw data (loadavg): 1.04 1.02 1.00 2/67 19381
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18463 4 1 0 100884 83 0 0 25 0 11 0 1845155658 859975680 51634 4294967295 134512640 134569956 3221224336 3221214552 1131478012 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 51634 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 1009.67
Current children cumulated vsize (Kb) 839820

[startup+1040.09 s]
Raw data (loadavg): 1.03 1.02 1.00 2/67 19381
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18463 4 1 0 101885 83 0 0 25 0 11 0 1845155658 859975680 51634 4294967295 134512640 134569956 3221224336 3221214552 1131477834 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 51634 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 1019.68
Current children cumulated vsize (Kb) 839820

[startup+1050.09 s]
Raw data (loadavg): 1.03 1.02 1.00 2/67 19383
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18463 4 1 0 102885 83 0 0 25 0 11 0 1845155658 859975680 51634 4294967295 134512640 134569956 3221224336 3221214552 1131477879 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 51634 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 1029.68
Current children cumulated vsize (Kb) 839820

[startup+1060.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/67 19383
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18463 4 1 0 103885 83 0 0 25 0 11 0 1845155658 859975680 51634 4294967295 134512640 134569956 3221224336 3221214552 1131477951 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 51634 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 1039.68
Current children cumulated vsize (Kb) 839820

[startup+1070.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/67 19383
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18463 4 1 0 104885 83 0 0 25 0 11 0 1845155658 859975680 51634 4294967295 134512640 134569956 3221224336 3221214488 1131477825 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 51634 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 1049.68
Current children cumulated vsize (Kb) 839820

[startup+1080.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/67 19383
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18463 4 1 0 105885 83 0 0 25 0 11 0 1845155658 859975680 51634 4294967295 134512640 134569956 3221224336 3221214488 1131478034 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 51634 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 1059.68
Current children cumulated vsize (Kb) 839820

[startup+1090.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/67 19383
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18463 4 1 0 106885 83 0 0 25 0 11 0 1845155658 859975680 51634 4294967295 134512640 134569956 3221224336 3221214488 1131477943 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 51634 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 1069.68
Current children cumulated vsize (Kb) 839820

[startup+1100.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/67 19383
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18463 4 1 0 107885 83 0 0 25 0 11 0 1845155658 859975680 51634 4294967295 134512640 134569956 3221224336 3221214488 1131477963 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 51634 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 1079.68
Current children cumulated vsize (Kb) 839820

[startup+1110.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/67 19385
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18463 4 1 0 108886 83 0 0 25 0 11 0 1845155658 859975680 51634 4294967295 134512640 134569956 3221224336 3221214488 1131477836 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 51634 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 1089.69
Current children cumulated vsize (Kb) 839820

[startup+1120.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/67 19385
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18466 4 1 0 109869 83 0 0 19 0 11 0 1845155658 859975680 53191 4294967295 134512640 134569956 3221224336 3221214520 1131453107 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 53191 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 1099.52
Current children cumulated vsize (Kb) 839820

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 19385
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18471 4 1 0 110854 83 0 0 22 0 11 0 1845155658 859975680 53191 4294967295 134512640 134569956 3221224336 3221214488 1131477981 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 53191 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 1109.37
Current children cumulated vsize (Kb) 839820

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 19385
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18472 4 1 0 111850 84 0 0 21 0 11 0 1845155658 859975680 53191 4294967295 134512640 134569956 3221224336 3221214496 1131477902 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 53191 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 1119.34
Current children cumulated vsize (Kb) 839820

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 19385
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18472 4 1 0 112850 84 0 0 25 0 11 0 1845155658 859975680 53191 4294967295 134512640 134569956 3221224336 3221214328 1131724572 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 53191 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 1129.34
Current children cumulated vsize (Kb) 839820

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 19385
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18472 4 1 0 113850 84 0 0 25 0 11 0 1845155658 859975680 53191 4294967295 134512640 134569956 3221224336 3221214416 1131721342 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 53191 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 1139.34
Current children cumulated vsize (Kb) 839820

[startup+1170.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 19387
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18472 4 1 0 114850 84 0 0 25 0 11 0 1845155658 859975680 53191 4294967295 134512640 134569956 3221224336 3221214416 1131724618 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 53191 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 1149.34
Current children cumulated vsize (Kb) 839820

[startup+1180.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 19387
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18478 4 1 0 115834 84 0 0 18 0 11 0 1845155658 859975680 53908 4294967295 134512640 134569956 3221224336 3221214520 1131452956 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 53908 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 1159.18
Current children cumulated vsize (Kb) 839820

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 19387
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18486 4 1 0 116815 84 0 0 16 0 11 0 1845155658 859975680 53908 4294967295 134512640 134569956 3221224336 3221214616 1131594135 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 53908 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 1168.99
Current children cumulated vsize (Kb) 839820

[startup+1200.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 19387
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18490 4 1 0 117806 84 0 0 25 0 11 0 1845155658 859975680 53908 4294967295 134512640 134569956 3221224336 3221214512 1131637092 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 53908 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 1178.9
Current children cumulated vsize (Kb) 839820

[startup+1210.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 19387
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18491 4 1 0 118802 85 0 0 22 0 11 0 1845155658 859975680 53908 4294967295 134512640 134569956 3221224336 3221214552 1131477894 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/19331/statm): 209955 53908 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 1188.87
Current children cumulated vsize (Kb) 839820

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19387
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18491 4 1 0 119802 85 0 0 25 0 11 0 1845155658 859975680 53908 4294967295 134512640 134569956 3221224336 3221214496 1131477909 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 53908 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 1198.87
Current children cumulated vsize (Kb) 839820

[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19389
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18491 4 1 0 120801 85 0 0 25 0 11 0 1845155658 859975680 53908 4294967295 134512640 134569956 3221224336 3221214416 1131724457 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 53908 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 1208.86
Current children cumulated vsize (Kb) 839820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 19389
Raw data (/proc/19331/stat): 19331 (java) R 19330 19331 9102 0 -1 0 18491 4 1 0 120801 85 0 0 25 0 11 0 1845155658 859975680 53908 4294967295 134512640 134569956 3221224336 3221214416 1131724457 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/19331/statm): 209955 53908 13129 16 0 209939 0
[pid=19331] vsize: 839820
Current children cumulated CPU time (s) 1208.86
Current children cumulated vsize (Kb) 839820

Sending SIGTERM to -19331
Sleeping 2 seconds
New thread pid=19391
New thread pid=19392
One traced child (pid=19392) exited with status: 0
One traced child (pid=19340) exited with status: 0
One traced child (pid=19335) exited with status: 0
One traced child (pid=19332) exited with status: 143
One traced child (pid=19338) exited with status: 143
One traced child (pid=19333) exited with status: 143
One traced child (pid=19334) exited with status: 143
One traced child (pid=19339) exited with status: 143
One traced child (pid=19336) exited with status: 143
One traced child (pid=19337) exited with status: 143
One traced child (pid=19365) exited with status: 143
One traced child (pid=19391) exited with status: 143
One traced child (pid=19331) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1230.44
CPU time (s): 1238.79
CPU user time (s): 1236.86
CPU system time (s): 1.9347
CPU usage (%): 100.679
Max. virtual memory (cumulated for all children) (Kb): 840584
Name	web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb
MD5SUM	fe7ff8b16c276b409b25a87eed31b6f9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-40
Optimality of the best value was proved	NO
Number of terms in the objective function	1150
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	1150
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1150
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1195.05
Number of variables	1150
Total number of constraints	80851
Number of constraints which are clauses	80851
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 3295

Launcher Data

Solver Data

Watcher Data

Verifier Data
