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/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1786963985 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 39 3 38 16 0 23 0
[pid=13447] 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/13447
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=13448
New thread pid=13449
New thread pid=13450
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=13451
New thread pid=13452
New thread pid=13453
New thread pid=13454
New thread pid=13455
New thread pid=13456
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/wulflinc15/normalized-frb50-23-4.opb

[startup+10.0031 s]
Raw data (loadavg): 1.17 1.06 1.01 2/65 13456
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18101 0 1 0 741 51 0 0 25 0 10 0 1786963985 854630400 22501 4294967295 134512640 134569956 3221224336 3221214592 1131488612 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 208650 22501 13129 16 0 208634 0
[pid=13447] vsize: 834600
Current children cumulated CPU time (s) 7.92
Current children cumulated vsize (Kb) 834600
New thread pid=13457
One traced child (pid=13457) exited with status: 0
New thread pid=13458
One traced child (pid=13458) exited with status: 0
New thread pid=13459
One traced child (pid=13459) exited with status: 0
New thread pid=13460

[startup+20.0039 s]
Raw data (loadavg): 1.21 1.08 1.02 2/66 13460
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18199 4 1 0 1472 54 0 0 24 0 11 0 1786963985 857255936 32331 4294967295 134512640 134569956 3221224336 3221214512 1131450603 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209291 32331 13129 16 0 209275 0
[pid=13447] vsize: 837164
Current children cumulated CPU time (s) 15.26
Current children cumulated vsize (Kb) 837164
One traced child (pid=13460) exited with status: 0
New thread pid=13461

[startup+30.0047 s]
Raw data (loadavg): 1.25 1.09 1.02 2/66 13461
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18208 4 1 0 2392 55 0 0 15 0 11 0 1786963985 856858624 33207 4294967295 134512640 134569956 3221224336 3221214512 1131450288 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209194 33207 13129 16 0 209178 0
[pid=13447] vsize: 836776
Current children cumulated CPU time (s) 24.47
Current children cumulated vsize (Kb) 836776

[startup+40.0055 s]
Raw data (loadavg): 1.21 1.09 1.02 2/66 13461
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18215 4 1 0 3306 55 0 0 21 0 11 0 1786963985 858206208 34873 4294967295 134512640 134569956 3221224336 3221214512 1131450813 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209523 34873 13129 16 0 209507 0
[pid=13447] vsize: 838092
Current children cumulated CPU time (s) 33.61
Current children cumulated vsize (Kb) 838092

[startup+50.0064 s]
Raw data (loadavg): 1.18 1.08 1.02 2/66 13461
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18227 4 1 0 4226 55 0 0 23 0 11 0 1786963985 857976832 35095 4294967295 134512640 134569956 3221224336 3221214512 1131450394 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209467 35095 13129 16 0 209451 0
[pid=13447] vsize: 837868
Current children cumulated CPU time (s) 42.81
Current children cumulated vsize (Kb) 837868
One traced child (pid=13461) exited with status: 0
New thread pid=13462

[startup+60.0072 s]
Raw data (loadavg): 1.15 1.08 1.02 2/66 13462
Raw data (/proc/13447/stat): 13447 (java) S 13446 13447 31778 0 -1 0 18237 4 1 0 5162 56 0 0 25 0 11 0 1786963985 860848128 36202 4294967295 134512640 134569956 3221224336 3221213152 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 210168 36202 13129 16 0 210152 0
[pid=13447] vsize: 840672
Current children cumulated CPU time (s) 52.18
Current children cumulated vsize (Kb) 840672

[startup+70.008 s]
Raw data (loadavg): 1.13 1.08 1.02 2/66 13462
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18241 4 1 0 6112 56 0 0 25 0 11 0 1786963985 859869184 36310 4294967295 134512640 134569956 3221224336 3221214512 1131451036 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 36310 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 61.68
Current children cumulated vsize (Kb) 839716

[startup+80.0098 s]
Raw data (loadavg): 1.11 1.07 1.02 2/66 13462
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18248 4 1 0 7030 56 0 0 21 0 11 0 1786963985 859869184 36932 4294967295 134512640 134569956 3221224336 3221214512 1131450603 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 36932 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 70.86
Current children cumulated vsize (Kb) 839716

[startup+90.0106 s]
Raw data (loadavg): 1.09 1.07 1.01 2/66 13462
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18258 4 1 0 7928 56 0 0 19 0 11 0 1786963985 859869184 37258 4294967295 134512640 134569956 3221224336 3221214448 1131428761 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 37258 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 79.84
Current children cumulated vsize (Kb) 839716

[startup+100.011 s]
Raw data (loadavg): 1.08 1.07 1.01 2/66 13462
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18264 4 1 0 8861 57 0 0 25 0 11 0 1786963985 859869184 37518 4294967295 134512640 134569956 3221224336 3221214424 1131375228 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 37518 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 89.18
Current children cumulated vsize (Kb) 839716

[startup+110.012 s]
Raw data (loadavg): 1.06 1.06 1.01 2/66 13462
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18272 4 1 0 9790 57 0 0 22 0 11 0 1786963985 859869184 37865 4294967295 134512640 134569956 3221224336 3221214616 1131632076 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 37865 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 98.47
Current children cumulated vsize (Kb) 839716

[startup+120.013 s]
Raw data (loadavg): 1.05 1.06 1.01 2/66 13462
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18277 4 1 0 10749 57 0 0 25 0 11 0 1786963985 859869184 38001 4294967295 134512640 134569956 3221224336 3221214496 1131536145 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 38001 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 108.06
Current children cumulated vsize (Kb) 839716

[startup+130.014 s]
Raw data (loadavg): 1.05 1.06 1.01 2/66 13462
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18283 4 1 0 11708 58 0 0 25 0 11 0 1786963985 859869184 38296 4294967295 134512640 134569956 3221224336 3221214440 1131624728 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 38296 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 117.66
Current children cumulated vsize (Kb) 839716

[startup+140.014 s]
Raw data (loadavg): 1.04 1.06 1.01 2/66 13462
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18289 4 1 0 12671 58 0 0 25 0 11 0 1786963985 859869184 38597 4294967295 134512640 134569956 3221224336 3221214608 1131570883 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 38597 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 127.29
Current children cumulated vsize (Kb) 839716

[startup+150.015 s]
Raw data (loadavg): 1.03 1.05 1.01 2/66 13462
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18293 4 1 0 13647 59 0 0 25 0 11 0 1786963985 859869184 38909 4294967295 134512640 134569956 3221224336 3221214408 1131473775 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 38909 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 137.06
Current children cumulated vsize (Kb) 839716

[startup+160.015 s]
Raw data (loadavg): 1.03 1.05 1.01 2/66 13462
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18296 4 1 0 14630 60 0 0 25 0 11 0 1786963985 859869184 39186 4294967295 134512640 134569956 3221224336 3221214512 1131450603 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 39186 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 146.9
Current children cumulated vsize (Kb) 839716

[startup+170.015 s]
Raw data (loadavg): 1.02 1.05 1.01 2/66 13462
Raw data (/proc/13447/stat): 13447 (java) S 13446 13447 31778 0 -1 0 18300 4 1 0 15609 60 0 0 25 0 11 0 1786963985 859869184 39363 4294967295 134512640 134569956 3221224336 3221213136 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 39363 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 156.69
Current children cumulated vsize (Kb) 839716

[startup+180.016 s]
Raw data (loadavg): 1.02 1.05 1.01 2/66 13462
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18308 4 1 0 16574 61 0 0 25 0 11 0 1786963985 859869184 40048 4294967295 134512640 134569956 3221224336 3221214512 1131450735 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 40048 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 166.35
Current children cumulated vsize (Kb) 839716

[startup+190.018 s]
Raw data (loadavg): 1.02 1.05 1.00 2/66 13462
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18310 4 1 0 17566 61 0 0 25 0 11 0 1786963985 859869184 40048 4294967295 134512640 134569956 3221224336 3221214408 1131473673 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 40048 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 176.27
Current children cumulated vsize (Kb) 839716

[startup+200.018 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 13462
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18311 4 1 0 18562 61 0 0 25 0 11 0 1786963985 859869184 40048 4294967295 134512640 134569956 3221224336 3221214416 1131473766 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 40048 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 186.23
Current children cumulated vsize (Kb) 839716

[startup+210.017 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 13462
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18316 4 1 0 19540 61 0 0 25 0 11 0 1786963985 859869184 40205 4294967295 134512640 134569956 3221224336 3221214472 1131473744 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 40205 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 196.01
Current children cumulated vsize (Kb) 839716

[startup+220.018 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 13462
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18319 4 1 0 20522 62 0 0 25 0 11 0 1786963985 859869184 40677 4294967295 134512640 134569956 3221224336 3221214656 1131546417 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 40677 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 205.84
Current children cumulated vsize (Kb) 839716

[startup+230.019 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 13462
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18327 4 1 0 21447 62 0 0 17 0 11 0 1786963985 859869184 41474 4294967295 134512640 134569956 3221224336 3221214440 1131624252 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 41474 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 215.09
Current children cumulated vsize (Kb) 839716

[startup+240.019 s]
Raw data (loadavg): 1.00 1.04 1.00 2/66 13462
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18333 4 1 0 22371 63 0 0 25 0 11 0 1786963985 859869184 42111 4294967295 134512640 134569956 3221224336 3221214512 1131554981 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 42111 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 224.34
Current children cumulated vsize (Kb) 839716

[startup+250.02 s]
Raw data (loadavg): 1.00 1.04 1.00 2/66 13462
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18340 4 1 0 23288 63 0 0 21 0 11 0 1786963985 859869184 42626 4294967295 134512640 134569956 3221224336 3221214628 1131455709 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 42626 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 233.51
Current children cumulated vsize (Kb) 839716

[startup+260.021 s]
Raw data (loadavg): 1.15 1.07 1.01 2/66 13462
Raw data (/proc/13447/stat): 13447 (java) S 13446 13447 31778 0 -1 0 18346 4 1 0 24211 63 0 0 25 0 11 0 1786963985 859869184 43130 4294967295 134512640 134569956 3221224336 3221213216 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 43130 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 242.74
Current children cumulated vsize (Kb) 839716

[startup+270.02 s]
Raw data (loadavg): 1.13 1.06 1.01 2/66 13462
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18354 4 1 0 25115 64 0 0 22 0 11 0 1786963985 859869184 43744 4294967295 134512640 134569956 3221224336 3221214608 1131570763 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 43744 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 251.79
Current children cumulated vsize (Kb) 839716

[startup+280.021 s]
Raw data (loadavg): 1.11 1.06 1.01 2/66 13462
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18361 4 1 0 26008 64 0 0 17 0 11 0 1786963985 859869184 44485 4294967295 134512640 134569956 3221224336 3221213856 1077395776 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 44485 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 260.72
Current children cumulated vsize (Kb) 839716
One traced child (pid=13462) exited with status: 0
New thread pid=13463

[startup+290.022 s]
Raw data (loadavg): 1.09 1.06 1.01 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18369 4 1 0 26901 64 0 0 16 0 11 0 1786963985 859869184 45303 4294967295 134512640 134569956 3221224336 3221214512 1131450603 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 45303 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 269.65
Current children cumulated vsize (Kb) 839716

[startup+300.022 s]
Raw data (loadavg): 1.08 1.06 1.01 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18377 4 1 0 27806 64 0 0 16 0 11 0 1786963985 859869184 45303 4294967295 134512640 134569956 3221224336 3221214512 1131450561 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 45303 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 278.7
Current children cumulated vsize (Kb) 839716

[startup+310.023 s]
Raw data (loadavg): 1.06 1.05 1.01 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18385 4 1 0 28711 64 0 0 16 0 11 0 1786963985 859869184 45303 4294967295 134512640 134569956 3221224336 3221214512 1131450561 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 45303 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 287.75
Current children cumulated vsize (Kb) 839716

[startup+320.023 s]
Raw data (loadavg): 1.13 1.07 1.01 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18391 4 1 0 29639 65 0 0 16 0 11 0 1786963985 859869184 45303 4294967295 134512640 134569956 3221224336 3221214328 1131708251 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 45303 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 297.04
Current children cumulated vsize (Kb) 839716

[startup+330.024 s]
Raw data (loadavg): 1.11 1.07 1.01 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18391 4 1 0 30638 66 0 0 25 0 11 0 1786963985 859869184 45303 4294967295 134512640 134569956 3221224336 3221214472 1131473629 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 45303 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 307.04
Current children cumulated vsize (Kb) 839716

[startup+340.025 s]
Raw data (loadavg): 1.09 1.06 1.01 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18392 4 1 0 31624 66 0 0 25 0 11 0 1786963985 859869184 45663 4294967295 134512640 134569956 3221224336 3221214440 1131624055 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 45663 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 316.9
Current children cumulated vsize (Kb) 839716

[startup+350.025 s]
Raw data (loadavg): 1.08 1.06 1.01 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18392 4 1 0 32624 66 0 0 25 0 11 0 1786963985 859869184 45663 4294967295 134512640 134569956 3221224336 3221214472 1131473700 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 45663 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 326.9
Current children cumulated vsize (Kb) 839716

[startup+360.025 s]
Raw data (loadavg): 1.07 1.06 1.01 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18392 4 1 0 33624 66 0 0 25 0 11 0 1786963985 859869184 45663 4294967295 134512640 134569956 3221224336 3221214680 1131547588 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 45663 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 336.9
Current children cumulated vsize (Kb) 839716

[startup+370.025 s]
Raw data (loadavg): 1.06 1.06 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18397 4 1 0 34595 66 0 0 18 0 11 0 1786963985 859869184 47158 4294967295 134512640 134569956 3221224336 3221214512 1131450706 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 47158 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 346.61
Current children cumulated vsize (Kb) 839716

[startup+380.026 s]
Raw data (loadavg): 1.05 1.05 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18402 4 1 0 35585 67 0 0 25 0 11 0 1786963985 859869184 47158 4294967295 134512640 134569956 3221224336 3221214472 1131473440 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 47158 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 356.52
Current children cumulated vsize (Kb) 839716

[startup+390.027 s]
Raw data (loadavg): 1.04 1.05 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18402 4 1 0 36583 67 0 0 25 0 11 0 1786963985 859869184 47158 4294967295 134512640 134569956 3221224336 3221214408 1131473720 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 47158 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 366.5
Current children cumulated vsize (Kb) 839716

[startup+400.027 s]
Raw data (loadavg): 1.03 1.05 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18404 4 1 0 37575 67 0 0 25 0 11 0 1786963985 859869184 47158 4294967295 134512640 134569956 3221224336 3221214472 1131473509 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 47158 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 376.42
Current children cumulated vsize (Kb) 839716

[startup+410.028 s]
Raw data (loadavg): 1.03 1.05 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18405 4 1 0 38569 68 0 0 25 0 11 0 1786963985 859869184 47338 4294967295 134512640 134569956 3221224336 3221214472 1131473625 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 47338 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 386.37
Current children cumulated vsize (Kb) 839716

[startup+420.029 s]
Raw data (loadavg): 1.02 1.05 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18406 4 1 0 39565 68 0 0 25 0 11 0 1786963985 859869184 47338 4294967295 134512640 134569956 3221224336 3221214568 1131369433 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 47338 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 396.33
Current children cumulated vsize (Kb) 839716

[startup+430.03 s]
Raw data (loadavg): 1.10 1.06 1.01 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18407 4 1 0 40562 68 0 0 16 0 11 0 1786963985 859869184 47358 4294967295 134512640 134569956 3221224336 3221214408 1131473625 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 47358 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 406.3
Current children cumulated vsize (Kb) 839716

[startup+440.03 s]
Raw data (loadavg): 1.08 1.06 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18407 4 1 0 41561 68 0 0 25 0 11 0 1786963985 859869184 47358 4294967295 134512640 134569956 3221224336 3221214408 1131473708 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 47358 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 416.29
Current children cumulated vsize (Kb) 839716

[startup+450.03 s]
Raw data (loadavg): 1.07 1.06 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18408 4 1 0 42557 68 0 0 25 0 11 0 1786963985 859869184 47359 4294967295 134512640 134569956 3221224336 3221214408 1131473615 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 47359 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 426.25
Current children cumulated vsize (Kb) 839716

[startup+460.031 s]
Raw data (loadavg): 1.06 1.05 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18412 4 1 0 43545 68 0 0 18 0 11 0 1786963985 859869184 48516 4294967295 134512640 134569956 3221224336 3221214512 1131450672 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 48516 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 436.13
Current children cumulated vsize (Kb) 839716

[startup+470.032 s]
Raw data (loadavg): 1.05 1.05 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18416 4 1 0 44540 68 0 0 25 0 11 0 1786963985 859869184 48516 4294967295 134512640 134569956 3221224336 3221214472 1131428798 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 48516 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 446.08
Current children cumulated vsize (Kb) 839716

[startup+480.033 s]
Raw data (loadavg): 1.04 1.05 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18417 4 1 0 45537 68 0 0 25 0 11 0 1786963985 859869184 48516 4294967295 134512640 134569956 3221224336 3221214472 1131473615 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 48516 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 456.05
Current children cumulated vsize (Kb) 839716

[startup+490.033 s]
Raw data (loadavg): 1.03 1.05 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18417 4 1 0 46538 68 0 0 25 0 11 0 1786963985 859869184 48516 4294967295 134512640 134569956 3221224336 3221214472 1131473492 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 48516 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 466.06
Current children cumulated vsize (Kb) 839716

[startup+500.033 s]
Raw data (loadavg): 1.03 1.05 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18418 4 1 0 47534 68 0 0 25 0 11 0 1786963985 859869184 48516 4294967295 134512640 134569956 3221224336 3221214408 1131473615 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 48516 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 476.02
Current children cumulated vsize (Kb) 839716

[startup+510.034 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18418 4 1 0 48534 68 0 0 25 0 11 0 1786963985 859869184 48516 4294967295 134512640 134569956 3221224336 3221214296 1131675688 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 48516 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 486.02
Current children cumulated vsize (Kb) 839716

[startup+520.034 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18418 4 1 0 49534 68 0 0 25 0 11 0 1786963985 859869184 48516 4294967295 134512640 134569956 3221224336 3221214416 1131473629 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 48516 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 496.02
Current children cumulated vsize (Kb) 839716

[startup+530.035 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18418 4 1 0 50535 68 0 0 25 0 11 0 1786963985 859869184 48516 4294967295 134512640 134569956 3221224336 3221214328 1131708434 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 48516 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 506.03
Current children cumulated vsize (Kb) 839716

[startup+540.035 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18423 4 1 0 51518 69 0 0 20 0 11 0 1786963985 859869184 48516 4294967295 134512640 134569956 3221224336 3221214512 1131450803 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 48516 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 515.87
Current children cumulated vsize (Kb) 839716

[startup+550.034 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18426 4 1 0 52508 69 0 0 25 0 11 0 1786963985 859869184 48516 4294967295 134512640 134569956 3221224336 3221214472 1131473748 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 48516 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 525.77
Current children cumulated vsize (Kb) 839716

[startup+560.035 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18426 4 1 0 53508 69 0 0 25 0 11 0 1786963985 859869184 48516 4294967295 134512640 134569956 3221224336 3221214408 1131473766 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 48516 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 535.77
Current children cumulated vsize (Kb) 839716

[startup+570.035 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18426 4 1 0 54508 69 0 0 25 0 11 0 1786963985 859869184 48516 4294967295 134512640 134569956 3221224336 3221214472 1131473484 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 48516 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 545.77
Current children cumulated vsize (Kb) 839716

[startup+580.036 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) S 13446 13447 31778 0 -1 0 18432 4 1 0 55485 69 0 0 23 0 11 0 1786963985 859869184 49303 4294967295 134512640 134569956 3221224336 3221213112 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 49303 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 555.54
Current children cumulated vsize (Kb) 839716

[startup+590.041 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18432 4 1 0 56485 69 0 0 25 0 11 0 1786963985 859869184 49303 4294967295 134512640 134569956 3221224336 3221214472 1131473581 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 49303 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 565.54
Current children cumulated vsize (Kb) 839716

[startup+600.04 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18432 4 1 0 57485 69 0 0 25 0 11 0 1786963985 859869184 49303 4294967295 134512640 134569956 3221224336 3221214408 1131473488 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 49303 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 575.54
Current children cumulated vsize (Kb) 839716

[startup+610.04 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18433 4 1 0 58479 70 0 0 17 0 11 0 1786963985 859869184 49303 4294967295 134512640 134569956 3221224336 3221214408 1131473573 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 49303 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 585.49
Current children cumulated vsize (Kb) 839716

[startup+620.041 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18433 4 1 0 59478 70 0 0 25 0 11 0 1786963985 859869184 49303 4294967295 134512640 134569956 3221224336 3221214472 1131473732 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 49303 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 595.48
Current children cumulated vsize (Kb) 839716

[startup+630.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18437 4 1 0 60465 70 0 0 19 0 11 0 1786963985 859869184 51138 4294967295 134512640 134569956 3221224336 3221214512 1131450825 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 51138 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 605.35
Current children cumulated vsize (Kb) 839716

[startup+640.043 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18441 4 1 0 61460 70 0 0 25 0 11 0 1786963985 859869184 51138 4294967295 134512640 134569956 3221224336 3221214472 1131473500 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 51138 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 615.3
Current children cumulated vsize (Kb) 839716

[startup+650.044 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18441 4 1 0 62460 70 0 0 25 0 11 0 1786963985 859869184 51138 4294967295 134512640 134569956 3221224336 3221214408 1131473557 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 51138 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 625.3
Current children cumulated vsize (Kb) 839716

[startup+660.044 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18441 4 1 0 63460 70 0 0 25 0 11 0 1786963985 859869184 51138 4294967295 134512640 134569956 3221224336 3221214408 1131473484 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 51138 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 635.3
Current children cumulated vsize (Kb) 839716

[startup+670.044 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18442 4 1 0 64456 70 0 0 25 0 11 0 1786963985 859869184 51138 4294967295 134512640 134569956 3221224336 3221214512 1131450813 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 51138 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 645.26
Current children cumulated vsize (Kb) 839716

[startup+680.046 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18449 4 1 0 65434 71 0 0 19 0 11 0 1786963985 859869184 51262 4294967295 134512640 134569956 3221224336 3221214472 1131471837 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 51262 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 655.05
Current children cumulated vsize (Kb) 839716

[startup+690.047 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18450 4 1 0 66428 71 0 0 25 0 11 0 1786963985 859869184 51262 4294967295 134512640 134569956 3221224336 3221214472 1131473573 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 51262 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 664.99
Current children cumulated vsize (Kb) 839716

[startup+700.047 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18450 4 1 0 67427 71 0 0 25 0 11 0 1786963985 859869184 51262 4294967295 134512640 134569956 3221224336 3221214296 1131675829 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 51262 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 674.98
Current children cumulated vsize (Kb) 839716

[startup+710.048 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18450 4 1 0 68427 71 0 0 25 0 11 0 1786963985 859869184 51262 4294967295 134512640 134569956 3221224336 3221214472 1131473607 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 51262 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 684.98
Current children cumulated vsize (Kb) 839716

[startup+720.048 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18450 4 1 0 69427 71 0 0 25 0 11 0 1786963985 859869184 51262 4294967295 134512640 134569956 3221224336 3221214408 1131473565 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 51262 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 694.98
Current children cumulated vsize (Kb) 839716

[startup+730.049 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18451 4 1 0 70421 71 0 0 16 0 11 0 1786963985 859869184 52028 4294967295 134512640 134569956 3221224336 3221214408 1131472416 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 52028 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 704.92
Current children cumulated vsize (Kb) 839716

[startup+740.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18452 4 1 0 71416 72 0 0 25 0 11 0 1786963985 859869184 52047 4294967295 134512640 134569956 3221224336 3221214296 1131675670 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 52047 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 714.88
Current children cumulated vsize (Kb) 839716

[startup+750.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18452 4 1 0 72416 72 0 0 25 0 11 0 1786963985 859869184 52047 4294967295 134512640 134569956 3221224336 3221214296 1131675673 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 52047 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 724.88
Current children cumulated vsize (Kb) 839716

[startup+760.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18452 4 1 0 73416 72 0 0 25 0 11 0 1786963985 859869184 52047 4294967295 134512640 134569956 3221224336 3221214296 1131675725 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 52047 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 734.88
Current children cumulated vsize (Kb) 839716

[startup+770.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18452 4 1 0 74416 72 0 0 25 0 11 0 1786963985 859869184 52047 4294967295 134512640 134569956 3221224336 3221214296 1131675646 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 52047 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 744.88
Current children cumulated vsize (Kb) 839716

[startup+780.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18452 4 1 0 75417 72 0 0 25 0 11 0 1786963985 859869184 52047 4294967295 134512640 134569956 3221224336 3221214328 1131708298 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 52047 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 754.89
Current children cumulated vsize (Kb) 839716

[startup+790.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18452 4 1 0 76417 72 0 0 25 0 11 0 1786963985 859869184 52047 4294967295 134512640 134569956 3221224336 3221214440 1131624728 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 52047 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 764.89
Current children cumulated vsize (Kb) 839716

[startup+800.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18452 4 1 0 77417 72 0 0 25 0 11 0 1786963985 859869184 52047 4294967295 134512640 134569956 3221224336 3221214296 1131675675 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 52047 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 774.89
Current children cumulated vsize (Kb) 839716

[startup+810.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18452 4 1 0 78417 72 0 0 25 0 11 0 1786963985 859869184 52047 4294967295 134512640 134569956 3221224336 3221214400 1131688752 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 52047 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 784.89
Current children cumulated vsize (Kb) 839716

[startup+820.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18452 4 1 0 79418 72 0 0 25 0 11 0 1786963985 859869184 52047 4294967295 134512640 134569956 3221224336 3221214328 1131708367 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 52047 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 794.9
Current children cumulated vsize (Kb) 839716

[startup+830.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18453 4 1 0 80416 73 0 0 25 0 11 0 1786963985 859869184 52086 4294967295 134512640 134569956 3221224336 3221214296 1131675825 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 52086 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 804.89
Current children cumulated vsize (Kb) 839716

[startup+840.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18453 4 1 0 81415 73 0 0 25 0 11 0 1786963985 859869184 52086 4294967295 134512640 134569956 3221224336 3221214296 1131675548 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 52086 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 814.88
Current children cumulated vsize (Kb) 839716

[startup+850.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18453 4 1 0 82415 73 0 0 25 0 11 0 1786963985 859869184 52086 4294967295 134512640 134569956 3221224336 3221214472 1131473591 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 52086 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 824.88
Current children cumulated vsize (Kb) 839716

[startup+860.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18453 4 1 0 83415 73 0 0 25 0 11 0 1786963985 859869184 52086 4294967295 134512640 134569956 3221224336 3221214472 1131473655 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 52086 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 834.88
Current children cumulated vsize (Kb) 839716

[startup+870.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18453 4 1 0 84416 73 0 0 25 0 11 0 1786963985 859869184 52086 4294967295 134512640 134569956 3221224336 3221214472 1131473550 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 52086 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 844.89
Current children cumulated vsize (Kb) 839716

[startup+880.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18453 4 1 0 85416 73 0 0 25 0 11 0 1786963985 859869184 52086 4294967295 134512640 134569956 3221224336 3221214472 1131473673 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 52086 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 854.89
Current children cumulated vsize (Kb) 839716

[startup+890.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18453 4 1 0 86416 73 0 0 25 0 11 0 1786963985 859869184 52086 4294967295 134512640 134569956 3221224336 3221214472 1131473660 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 52086 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 864.89
Current children cumulated vsize (Kb) 839716

[startup+900.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18453 4 1 0 87416 73 0 0 25 0 11 0 1786963985 859869184 52086 4294967295 134512640 134569956 3221224336 3221214408 1131473615 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 52086 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 874.89
Current children cumulated vsize (Kb) 839716

[startup+910.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18453 4 1 0 88416 73 0 0 25 0 11 0 1786963985 859869184 52086 4294967295 134512640 134569956 3221224336 3221214408 1131473615 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 52086 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 884.89
Current children cumulated vsize (Kb) 839716

[startup+920.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18453 4 1 0 89417 73 0 0 25 0 11 0 1786963985 859869184 52086 4294967295 134512640 134569956 3221224336 3221214408 1131473673 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 52086 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 894.9
Current children cumulated vsize (Kb) 839716

[startup+930.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18453 4 1 0 90417 73 0 0 25 0 11 0 1786963985 859869184 52086 4294967295 134512640 134569956 3221224336 3221214408 1131473523 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 52086 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 904.9
Current children cumulated vsize (Kb) 839716

[startup+940.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18453 4 1 0 91417 73 0 0 25 0 11 0 1786963985 859869184 52086 4294967295 134512640 134569956 3221224336 3221214408 1131473550 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 52086 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 914.9
Current children cumulated vsize (Kb) 839716

[startup+950.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18454 4 1 0 92416 73 0 0 18 0 11 0 1786963985 859869184 52086 4294967295 134512640 134569956 3221224336 3221214496 1131536095 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 52086 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 924.89
Current children cumulated vsize (Kb) 839716

[startup+960.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18454 4 1 0 93415 73 0 0 25 0 11 0 1786963985 859869184 52086 4294967295 134512640 134569956 3221224336 3221214416 1131473758 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 52086 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 934.88
Current children cumulated vsize (Kb) 839716

[startup+970.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18454 4 1 0 94415 73 0 0 25 0 11 0 1786963985 859869184 52086 4294967295 134512640 134569956 3221224336 3221214296 1131675763 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 52086 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 944.88
Current children cumulated vsize (Kb) 839716

[startup+980.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18454 4 1 0 95416 73 0 0 25 0 11 0 1786963985 859869184 52086 4294967295 134512640 134569956 3221224336 3221214328 1131708363 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 52086 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 954.89
Current children cumulated vsize (Kb) 839716

[startup+990.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18455 4 1 0 96410 73 0 0 17 0 11 0 1786963985 859869184 52086 4294967295 134512640 134569956 3221224336 3221214000 1131376790 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 52086 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 964.83
Current children cumulated vsize (Kb) 839716

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18462 4 1 0 97392 73 0 0 17 0 11 0 1786963985 859869184 53932 4294967295 134512640 134569956 3221224336 3221214512 1131450683 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 53932 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 974.65
Current children cumulated vsize (Kb) 839716

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18465 4 1 0 98387 74 0 0 25 0 11 0 1786963985 859869184 53932 4294967295 134512640 134569956 3221224336 3221214472 1131473563 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 53932 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 984.61
Current children cumulated vsize (Kb) 839716

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18465 4 1 0 99387 74 0 0 25 0 11 0 1786963985 859869184 53932 4294967295 134512640 134569956 3221224336 3221214472 1131473523 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 53932 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 994.61
Current children cumulated vsize (Kb) 839716

[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18465 4 1 0 100388 74 0 0 25 0 11 0 1786963985 859869184 53932 4294967295 134512640 134569956 3221224336 3221214408 1131473625 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 53932 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 1004.62
Current children cumulated vsize (Kb) 839716

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18465 4 1 0 101388 74 0 0 25 0 11 0 1786963985 859869184 53932 4294967295 134512640 134569956 3221224336 3221214472 1131428925 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 53932 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 1014.62
Current children cumulated vsize (Kb) 839716

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18466 4 1 0 102383 74 0 0 17 0 11 0 1786963985 859869184 53932 4294967295 134512640 134569956 3221224336 3221214472 1131473440 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 53932 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 1024.57
Current children cumulated vsize (Kb) 839716

[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18467 4 1 0 103378 74 0 0 25 0 11 0 1786963985 859869184 53960 4294967295 134512640 134569956 3221224336 3221214472 1131473440 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 53960 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 1034.52
Current children cumulated vsize (Kb) 839716

[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18467 4 1 0 104377 74 0 0 25 0 11 0 1786963985 859869184 53960 4294967295 134512640 134569956 3221224336 3221214472 1131473708 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 53960 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 1044.51
Current children cumulated vsize (Kb) 839716

[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18467 4 1 0 105377 74 0 0 25 0 11 0 1786963985 859869184 53960 4294967295 134512640 134569956 3221224336 3221214472 1131473540 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 53960 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 1054.51
Current children cumulated vsize (Kb) 839716

[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18467 4 1 0 106378 74 0 0 25 0 11 0 1786963985 859869184 53960 4294967295 134512640 134569956 3221224336 3221214472 1131473690 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 53960 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 1064.52
Current children cumulated vsize (Kb) 839716

[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18468 4 1 0 107371 74 0 0 20 0 11 0 1786963985 859869184 53960 4294967295 134512640 134569956 3221224336 3221214472 1131473550 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 53960 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 1074.45
Current children cumulated vsize (Kb) 839716

[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18468 4 1 0 108371 74 0 0 25 0 11 0 1786963985 859869184 53960 4294967295 134512640 134569956 3221224336 3221214472 1131473673 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 53960 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 1084.45
Current children cumulated vsize (Kb) 839716

[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18468 4 1 0 109371 74 0 0 25 0 11 0 1786963985 859869184 53960 4294967295 134512640 134569956 3221224336 3221214472 1131473625 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 53960 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 1094.45
Current children cumulated vsize (Kb) 839716

[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18468 4 1 0 110372 74 0 0 25 0 11 0 1786963985 859869184 53960 4294967295 134512640 134569956 3221224336 3221214408 1131473700 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 53960 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 1104.46
Current children cumulated vsize (Kb) 839716

[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18468 4 1 0 111372 74 0 0 25 0 11 0 1786963985 859869184 53960 4294967295 134512640 134569956 3221224336 3221214408 1131473500 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 53960 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 1114.46
Current children cumulated vsize (Kb) 839716

[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18468 4 1 0 112372 74 0 0 25 0 11 0 1786963985 859869184 53960 4294967295 134512640 134569956 3221224336 3221214408 1131473440 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 53960 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 1124.46
Current children cumulated vsize (Kb) 839716

[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18468 4 1 0 113370 75 0 0 25 0 11 0 1786963985 859869184 53960 4294967295 134512640 134569956 3221224336 3221214408 1131473534 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 53960 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 1134.45
Current children cumulated vsize (Kb) 839716

[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18468 4 1 0 114371 75 0 0 25 0 11 0 1786963985 859869184 53960 4294967295 134512640 134569956 3221224336 3221214408 1131473440 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 53960 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 1144.46
Current children cumulated vsize (Kb) 839716

[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18468 4 1 0 115371 75 0 0 25 0 11 0 1786963985 859869184 53960 4294967295 134512640 134569956 3221224336 3221214408 1131473708 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 53960 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 1154.46
Current children cumulated vsize (Kb) 839716

[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18468 4 1 0 116371 75 0 0 25 0 11 0 1786963985 859869184 53960 4294967295 134512640 134569956 3221224336 3221214408 1131473625 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 53960 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 1164.46
Current children cumulated vsize (Kb) 839716

[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18469 4 1 0 117364 75 0 0 20 0 11 0 1786963985 859869184 54303 4294967295 134512640 134569956 3221224336 3221214408 1131473700 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 54303 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 1174.39
Current children cumulated vsize (Kb) 839716

[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18469 4 1 0 118364 75 0 0 25 0 11 0 1786963985 859869184 54303 4294967295 134512640 134569956 3221224336 3221214472 1131473752 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13447/statm): 209929 54303 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 1184.39
Current children cumulated vsize (Kb) 839716

[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18470 4 1 0 119357 75 0 0 17 0 11 0 1786963985 859869184 54719 4294967295 134512640 134569956 3221224336 3221214408 1131473573 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 54719 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 1194.32
Current children cumulated vsize (Kb) 839716

[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18470 4 1 0 120356 76 0 0 25 0 11 0 1786963985 859869184 54719 4294967295 134512640 134569956 3221224336 3221214472 1131473667 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 54719 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 1204.32
Current children cumulated vsize (Kb) 839716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13447/stat): 13447 (java) R 13446 13447 31778 0 -1 0 18470 4 1 0 120356 76 0 0 25 0 11 0 1786963985 859869184 54719 4294967295 134512640 134569956 3221224336 3221214472 1131473484 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13447/statm): 209929 54719 13129 16 0 209913 0
[pid=13447] vsize: 839716
Current children cumulated CPU time (s) 1204.32
Current children cumulated vsize (Kb) 839716

Sending SIGTERM to -13447
Sleeping 2 seconds
New thread pid=13465
New thread pid=13466
One traced child (pid=13466) exited with status: 0
One traced child (pid=13456) exited with status: 0
One traced child (pid=13451) exited with status: 0
One traced child (pid=13448) exited with status: 143
One traced child (pid=13449) exited with status: 143
One traced child (pid=13450) exited with status: 143
One traced child (pid=13452) exited with status: 143
One traced child (pid=13455) exited with status: 143
One traced child (pid=13453) exited with status: 143
One traced child (pid=13463) exited with status: 143
One traced child (pid=13454) exited with status: 143
One traced child (pid=13465) exited with status: 143
One traced child (pid=13447) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1230.42
CPU time (s): 1238.49
CPU user time (s): 1236.69
CPU system time (s): 1.80073
CPU usage (%): 100.656
Max. virtual memory (cumulated for all children) (Kb): 840672
Name	web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
MD5SUM	b85a90571dde4fe12541342d5605d680
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-39
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	80258
Number of constraints which are clauses	80258
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 3296

Launcher Data

Solver Data

Watcher Data

Verifier Data
