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/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1860935530 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 39 3 38 16 0 23 0
[pid=11825] 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/11825
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=11826
New thread pid=11827
New thread pid=11828
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=11829
New thread pid=11830
New thread pid=11831
New thread pid=11832
New thread pid=11833
New thread pid=11834
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/wulflinc27/normalized-mps-v2-13-7-bell5.opb
New thread pid=11835
One traced child (pid=11835) exited with status: 0
New thread pid=11836
One traced child (pid=11836) exited with status: 0
New thread pid=11837

[startup+10.0027 s]
Raw data (loadavg): 0.87 0.95 0.98 2/66 11837
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18210 4 1 0 669 47 0 0 23 0 11 0 1860935530 861851648 20699 4294967295 134512640 134569956 3221224336 3221214388 1131093421 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210413 20699 13129 16 0 210397 0
[pid=11825] vsize: 841652
Current children cumulated CPU time (s) 7.16
Current children cumulated vsize (Kb) 841652
One traced child (pid=11837) exited with status: 0
New thread pid=11838

[startup+20.0035 s]
Raw data (loadavg): 0.89 0.95 0.98 2/66 11838
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18225 4 1 0 1613 47 0 0 24 0 11 0 1860935530 861163520 20715 4294967295 134512640 134569956 3221224336 3221214560 1131467455 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 20715 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 16.6
Current children cumulated vsize (Kb) 840980
One traced child (pid=11838) exited with status: 0
New thread pid=11839
One traced child (pid=11839) exited with status: 0
New thread pid=11840

[startup+30.0034 s]
Raw data (loadavg): 0.91 0.96 0.98 2/66 11840
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18235 4 1 0 2567 47 0 0 25 0 11 0 1860935530 861163520 20828 4294967295 134512640 134569956 3221224336 3221214464 1131443407 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 20828 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 26.14
Current children cumulated vsize (Kb) 840980
One traced child (pid=11840) exited with status: 0
New thread pid=11841

[startup+40.0042 s]
Raw data (loadavg): 0.92 0.96 0.98 2/66 11841
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18244 4 1 0 3518 48 0 0 18 0 11 0 1860935530 861163520 20942 4294967295 134512640 134569956 3221224336 3221214464 1131442669 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 20942 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 35.66
Current children cumulated vsize (Kb) 840980
One traced child (pid=11841) exited with status: 0
New thread pid=11842

[startup+50.005 s]
Raw data (loadavg): 0.93 0.96 0.98 2/66 11842
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18258 4 1 0 4481 48 0 0 21 0 11 0 1860935530 861163520 21276 4294967295 134512640 134569956 3221224336 3221214396 1131057186 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 21276 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 45.29
Current children cumulated vsize (Kb) 840980

[startup+60.0048 s]
Raw data (loadavg): 0.94 0.96 0.98 2/66 11842
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18268 4 1 0 5460 49 0 0 24 0 11 0 1860935530 861163520 21356 4294967295 134512640 134569956 3221224336 3221214464 1131443391 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 21356 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 55.09
Current children cumulated vsize (Kb) 840980

[startup+70.0057 s]
Raw data (loadavg): 0.95 0.96 0.98 2/66 11842
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18278 4 1 0 6434 49 0 0 25 0 11 0 1860935530 861163520 21396 4294967295 134512640 134569956 3221224336 3221214432 1131409921 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 21396 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 64.83
Current children cumulated vsize (Kb) 840980
One traced child (pid=11842) exited with status: 0
New thread pid=11843

[startup+80.0065 s]
Raw data (loadavg): 0.96 0.96 0.98 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18288 4 1 0 7415 50 0 0 25 0 11 0 1860935530 861163520 21447 4294967295 134512640 134569956 3221224336 3221214328 1131581300 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 21447 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 74.65
Current children cumulated vsize (Kb) 840980

[startup+90.0073 s]
Raw data (loadavg): 0.96 0.96 0.98 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18298 4 1 0 8396 50 0 0 25 0 11 0 1860935530 861163520 21481 4294967295 134512640 134569956 3221224336 3221214560 1131472368 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 21481 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 84.46
Current children cumulated vsize (Kb) 840980

[startup+100.008 s]
Raw data (loadavg): 1.13 1.00 0.99 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18307 4 1 0 9379 51 0 0 25 0 11 0 1860935530 861163520 21518 4294967295 134512640 134569956 3221224336 3221214464 1131442669 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 21518 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 94.3
Current children cumulated vsize (Kb) 840980

[startup+110.009 s]
Raw data (loadavg): 1.11 1.00 0.99 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18316 4 1 0 10359 52 0 0 25 0 11 0 1860935530 861163520 21584 4294967295 134512640 134569956 3221224336 3221214464 1131444146 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 21584 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 104.11
Current children cumulated vsize (Kb) 840980

[startup+120.01 s]
Raw data (loadavg): 1.09 1.00 0.99 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18326 4 1 0 11337 53 0 0 24 0 11 0 1860935530 861163520 21600 4294967295 134512640 134569956 3221224336 3221214560 1131472547 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 21600 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 113.9
Current children cumulated vsize (Kb) 840980

[startup+130.011 s]
Raw data (loadavg): 1.08 1.00 0.99 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18335 4 1 0 12316 54 0 0 22 0 11 0 1860935530 861163520 21648 4294967295 134512640 134569956 3221224336 3221214552 1131355068 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 21648 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 123.7
Current children cumulated vsize (Kb) 840980

[startup+140.011 s]
Raw data (loadavg): 1.06 1.00 0.99 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18345 4 1 0 13294 55 0 0 25 0 11 0 1860935530 861163520 21692 4294967295 134512640 134569956 3221224336 3221214560 1131470660 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 21692 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 133.49
Current children cumulated vsize (Kb) 840980

[startup+150.013 s]
Raw data (loadavg): 1.05 1.00 0.99 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18355 4 1 0 14275 55 0 0 25 0 11 0 1860935530 861163520 21764 4294967295 134512640 134569956 3221224336 3221214456 1131420019 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 21764 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 143.3
Current children cumulated vsize (Kb) 840980

[startup+160.014 s]
Raw data (loadavg): 1.05 1.00 0.99 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18365 4 1 0 15257 55 0 0 25 0 11 0 1860935530 861163520 21806 4294967295 134512640 134569956 3221224336 3221214464 1131442669 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 21806 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 153.12
Current children cumulated vsize (Kb) 840980

[startup+170.015 s]
Raw data (loadavg): 1.04 1.00 0.99 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18375 4 1 0 16238 55 0 0 25 0 11 0 1860935530 861163520 21846 4294967295 134512640 134569956 3221224336 3221214560 1131469418 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 21846 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 162.93
Current children cumulated vsize (Kb) 840980

[startup+180.016 s]
Raw data (loadavg): 1.03 1.00 0.99 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18385 4 1 0 17219 56 0 0 17 0 11 0 1860935530 861163520 21886 4294967295 134512640 134569956 3221224336 3221214560 1131469592 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 21886 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 172.75
Current children cumulated vsize (Kb) 840980

[startup+190.017 s]
Raw data (loadavg): 1.03 1.00 0.99 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18395 4 1 0 18201 57 0 0 25 0 11 0 1860935530 861163520 21912 4294967295 134512640 134569956 3221224336 3221214464 1131442851 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 21912 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 182.58
Current children cumulated vsize (Kb) 840980

[startup+200.017 s]
Raw data (loadavg): 1.02 1.00 0.99 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18405 4 1 0 19186 57 0 0 25 0 11 0 1860935530 861163520 21968 4294967295 134512640 134569956 3221224336 3221214464 1131442903 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 21968 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 192.43
Current children cumulated vsize (Kb) 840980

[startup+210.018 s]
Raw data (loadavg): 1.02 1.00 0.99 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18415 4 1 0 20172 57 0 0 25 0 11 0 1860935530 861163520 21988 4294967295 134512640 134569956 3221224336 3221214464 1131442509 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 21988 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 202.29
Current children cumulated vsize (Kb) 840980

[startup+220.019 s]
Raw data (loadavg): 1.02 1.00 0.99 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18425 4 1 0 21157 58 0 0 25 0 11 0 1860935530 861163520 22025 4294967295 134512640 134569956 3221224336 3221214560 1131469592 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22025 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 212.15
Current children cumulated vsize (Kb) 840980

[startup+230.02 s]
Raw data (loadavg): 1.01 1.00 0.99 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18435 4 1 0 22143 58 0 0 25 0 11 0 1860935530 861163520 22046 4294967295 134512640 134569956 3221224336 3221214472 1131432888 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22046 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 222.01
Current children cumulated vsize (Kb) 840980

[startup+240.021 s]
Raw data (loadavg): 1.01 1.00 0.99 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18445 4 1 0 23129 59 0 0 25 0 11 0 1860935530 861163520 22065 4294967295 134512640 134569956 3221224336 3221214556 1131355077 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22065 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 231.88
Current children cumulated vsize (Kb) 840980

[startup+250.022 s]
Raw data (loadavg): 1.09 1.01 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18455 4 1 0 24114 60 0 0 25 0 11 0 1860935530 861163520 22084 4294967295 134512640 134569956 3221224336 3221214560 1131467677 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22084 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 241.74
Current children cumulated vsize (Kb) 840980

[startup+260.023 s]
Raw data (loadavg): 1.07 1.01 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18465 4 1 0 25100 60 0 0 18 0 11 0 1860935530 861163520 22122 4294967295 134512640 134569956 3221224336 3221214560 1131467724 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22122 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 251.6
Current children cumulated vsize (Kb) 840980

[startup+270.025 s]
Raw data (loadavg): 1.06 1.01 1.00 3/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18475 4 1 0 26086 60 0 0 25 0 11 0 1860935530 861163520 22143 4294967295 134512640 134569956 3221224336 3221214556 1131432864 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22143 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 261.46
Current children cumulated vsize (Kb) 840980

[startup+280.026 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18485 4 1 0 27073 61 0 0 25 0 11 0 1860935530 861163520 22164 4294967295 134512640 134569956 3221224336 3221214464 1131443431 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22164 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 271.34
Current children cumulated vsize (Kb) 840980

[startup+290.027 s]
Raw data (loadavg): 1.12 1.03 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18495 4 1 0 28060 61 0 0 25 0 11 0 1860935530 861163520 22184 4294967295 134512640 134569956 3221224336 3221214464 1131442669 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22184 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 281.21
Current children cumulated vsize (Kb) 840980

[startup+300.028 s]
Raw data (loadavg): 1.10 1.02 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18505 4 1 0 29047 62 0 0 25 0 11 0 1860935530 861163520 22203 4294967295 134512640 134569956 3221224336 3221214456 1131419885 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22203 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 291.09
Current children cumulated vsize (Kb) 840980

[startup+310.028 s]
Raw data (loadavg): 1.08 1.02 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18515 4 1 0 30033 62 0 0 25 0 11 0 1860935530 861163520 22222 4294967295 134512640 134569956 3221224336 3221214464 1131442845 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22222 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 300.95
Current children cumulated vsize (Kb) 840980

[startup+320.03 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18525 4 1 0 31020 63 0 0 25 0 11 0 1860935530 861163520 22245 4294967295 134512640 134569956 3221224336 3221214560 1131467739 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22245 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 310.83
Current children cumulated vsize (Kb) 840980

[startup+330.031 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18535 4 1 0 32006 63 0 0 25 0 11 0 1860935530 861163520 22266 4294967295 134512640 134569956 3221224336 3221214560 1131469101 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22266 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 320.69
Current children cumulated vsize (Kb) 840980

[startup+340.032 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18546 4 1 0 32992 63 0 0 24 0 11 0 1860935530 861163520 22287 4294967295 134512640 134569956 3221224336 3221214456 1131419915 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22287 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 330.55
Current children cumulated vsize (Kb) 840980

[startup+350.033 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18556 4 1 0 33979 64 0 0 17 0 11 0 1860935530 861163520 22310 4294967295 134512640 134569956 3221224336 3221214464 1131442638 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22310 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 340.43
Current children cumulated vsize (Kb) 840980

[startup+360.034 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18566 4 1 0 34965 64 0 0 25 0 11 0 1860935530 861163520 22330 4294967295 134512640 134569956 3221224336 3221214456 1131419956 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22330 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 350.29
Current children cumulated vsize (Kb) 840980

[startup+370.034 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18576 4 1 0 35952 65 0 0 25 0 11 0 1860935530 861163520 22353 4294967295 134512640 134569956 3221224336 3221214608 1131503914 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22353 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 360.17
Current children cumulated vsize (Kb) 840980

[startup+380.035 s]
Raw data (loadavg): 1.18 1.05 1.01 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18586 4 1 0 36938 66 0 0 25 0 11 0 1860935530 861163520 22375 4294967295 134512640 134569956 3221224336 3221214464 1131442669 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22375 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 370.04
Current children cumulated vsize (Kb) 840980

[startup+390.036 s]
Raw data (loadavg): 1.15 1.05 1.01 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18596 4 1 0 37922 66 0 0 25 0 11 0 1860935530 861163520 22398 4294967295 134512640 134569956 3221224336 3221214560 1131467680 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22398 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 379.88
Current children cumulated vsize (Kb) 840980

[startup+400.037 s]
Raw data (loadavg): 1.13 1.05 1.01 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18606 4 1 0 38906 67 0 0 22 0 11 0 1860935530 861163520 22399 4294967295 134512640 134569956 3221224336 3221214560 1131467680 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22399 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 389.73
Current children cumulated vsize (Kb) 840980

[startup+410.038 s]
Raw data (loadavg): 1.11 1.04 1.01 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18616 4 1 0 39892 67 0 0 25 0 11 0 1860935530 861163520 22428 4294967295 134512640 134569956 3221224336 3221214464 1131442749 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22428 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 399.59
Current children cumulated vsize (Kb) 840980

[startup+420.039 s]
Raw data (loadavg): 1.09 1.04 1.01 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18626 4 1 0 40877 67 0 0 25 0 11 0 1860935530 861163520 22478 4294967295 134512640 134569956 3221224336 3221214464 1131443278 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22478 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 409.44
Current children cumulated vsize (Kb) 840980

[startup+430.04 s]
Raw data (loadavg): 1.08 1.04 1.01 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18637 4 1 0 41863 68 0 0 16 0 11 0 1860935530 861163520 22502 4294967295 134512640 134569956 3221224336 3221214464 1131442851 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22502 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 419.31
Current children cumulated vsize (Kb) 840980

[startup+440.041 s]
Raw data (loadavg): 1.07 1.04 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18647 4 1 0 42850 68 0 0 25 0 11 0 1860935530 861163520 22522 4294967295 134512640 134569956 3221224336 3221214352 1131673266 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22522 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 429.18
Current children cumulated vsize (Kb) 840980

[startup+450.043 s]
Raw data (loadavg): 1.06 1.04 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18657 4 1 0 43839 69 0 0 25 0 11 0 1860935530 861163520 22523 4294967295 134512640 134569956 3221224336 3221214560 1131469592 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22523 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 439.08
Current children cumulated vsize (Kb) 840980

[startup+460.044 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18667 4 1 0 44826 69 0 0 25 0 11 0 1860935530 861163520 22542 4294967295 134512640 134569956 3221224336 3221214552 1131355068 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22542 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 448.95
Current children cumulated vsize (Kb) 840980

[startup+470.046 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18677 4 1 0 45814 69 0 0 25 0 11 0 1860935530 861163520 22560 4294967295 134512640 134569956 3221224336 3221214560 1131469592 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22560 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 458.83
Current children cumulated vsize (Kb) 840980

[startup+480.046 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18687 4 1 0 46801 70 0 0 25 0 11 0 1860935530 861163520 22580 4294967295 134512640 134569956 3221224336 3221214552 1131355068 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22580 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 468.71
Current children cumulated vsize (Kb) 840980

[startup+490.047 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18697 4 1 0 47787 70 0 0 25 0 11 0 1860935530 861163520 22597 4294967295 134512640 134569956 3221224336 3221214560 1131470539 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22597 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 478.57
Current children cumulated vsize (Kb) 840980

[startup+500.048 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18708 4 1 0 48774 71 0 0 25 0 11 0 1860935530 861163520 22598 4294967295 134512640 134569956 3221224336 3221214360 1131411940 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22598 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 488.45
Current children cumulated vsize (Kb) 840980

[startup+510.049 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18718 4 1 0 49762 71 0 0 25 0 11 0 1860935530 861163520 22618 4294967295 134512640 134569956 3221224336 3221214560 1131472368 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22618 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 498.33
Current children cumulated vsize (Kb) 840980

[startup+520.05 s]
Raw data (loadavg): 1.02 1.03 1.00 3/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18728 4 1 0 50749 72 0 0 19 0 11 0 1860935530 861163520 22637 4294967295 134512640 134569956 3221224336 3221214472 1131432877 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22637 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 508.21
Current children cumulated vsize (Kb) 840980

[startup+530.051 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18738 4 1 0 51738 72 0 0 25 0 11 0 1860935530 861163520 22637 4294967295 134512640 134569956 3221224336 3221214464 1131442725 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22637 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 518.1
Current children cumulated vsize (Kb) 840980

[startup+540.051 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18748 4 1 0 52725 73 0 0 25 0 11 0 1860935530 861163520 22655 4294967295 134512640 134569956 3221224336 3221214464 1131442617 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22655 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 527.98
Current children cumulated vsize (Kb) 840980

[startup+550.052 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18758 4 1 0 53712 73 0 0 25 0 11 0 1860935530 861163520 22674 4294967295 134512640 134569956 3221224336 3221214560 1131468657 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22674 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 537.85
Current children cumulated vsize (Kb) 840980

[startup+560.053 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18769 4 1 0 54698 74 0 0 24 0 11 0 1860935530 861163520 22692 4294967295 134512640 134569956 3221224336 3221214464 1131442615 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22692 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 547.72
Current children cumulated vsize (Kb) 840980

[startup+570.055 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18779 4 1 0 55686 74 0 0 25 0 11 0 1860935530 861163520 22693 4294967295 134512640 134569956 3221224336 3221214464 1131442845 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22693 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 557.6
Current children cumulated vsize (Kb) 840980

[startup+580.056 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18789 4 1 0 56673 74 0 0 25 0 11 0 1860935530 861163520 22711 4294967295 134512640 134569956 3221224336 3221214560 1131473891 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22711 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 567.47
Current children cumulated vsize (Kb) 840980

[startup+590.056 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18799 4 1 0 57661 75 0 0 25 0 11 0 1860935530 861163520 22728 4294967295 134512640 134569956 3221224336 3221214560 1131470611 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22728 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 577.36
Current children cumulated vsize (Kb) 840980

[startup+600.058 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18809 4 1 0 58648 75 0 0 22 0 11 0 1860935530 861163520 22729 4294967295 134512640 134569956 3221224336 3221214552 1131355068 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22729 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 587.23
Current children cumulated vsize (Kb) 840980

[startup+610.059 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18819 4 1 0 59636 76 0 0 25 0 11 0 1860935530 861163520 22748 4294967295 134512640 134569956 3221224336 3221214560 1131469832 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22748 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 597.12
Current children cumulated vsize (Kb) 840980

[startup+620.061 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18830 4 1 0 60622 76 0 0 17 0 11 0 1860935530 861163520 22765 4294967295 134512640 134569956 3221224336 3221214464 1131442559 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22765 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 606.98
Current children cumulated vsize (Kb) 840980

[startup+630.063 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18840 4 1 0 61610 76 0 0 25 0 11 0 1860935530 861163520 22767 4294967295 134512640 134569956 3221224336 3221214560 1131472827 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22767 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 616.86
Current children cumulated vsize (Kb) 840980

[startup+640.064 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18850 4 1 0 62598 76 0 0 25 0 11 0 1860935530 861163520 22786 4294967295 134512640 134569956 3221224336 3221214464 1131442613 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22786 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 626.74
Current children cumulated vsize (Kb) 840980

[startup+650.064 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18860 4 1 0 63586 76 0 0 25 0 11 0 1860935530 861163520 22786 4294967295 134512640 134569956 3221224336 3221214464 1131443351 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22786 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 636.62
Current children cumulated vsize (Kb) 840980

[startup+660.065 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18870 4 1 0 64574 77 0 0 25 0 11 0 1860935530 861163520 22804 4294967295 134512640 134569956 3221224336 3221214464 1131442669 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22804 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 646.51
Current children cumulated vsize (Kb) 840980

[startup+670.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18880 4 1 0 65562 78 0 0 25 0 11 0 1860935530 861163520 22821 4294967295 134512640 134569956 3221224336 3221214456 1131420019 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22821 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 656.4
Current children cumulated vsize (Kb) 840980

[startup+680.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18891 4 1 0 66548 78 0 0 25 0 11 0 1860935530 861163520 22822 4294967295 134512640 134569956 3221224336 3221214464 1131442527 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22822 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 666.26
Current children cumulated vsize (Kb) 840980

[startup+690.069 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18901 4 1 0 67536 79 0 0 25 0 11 0 1860935530 861163520 22840 4294967295 134512640 134569956 3221224336 3221214560 1131472354 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22840 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 676.15
Current children cumulated vsize (Kb) 840980

[startup+700.071 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18911 4 1 0 68524 79 0 0 25 0 11 0 1860935530 861163520 22840 4294967295 134512640 134569956 3221224336 3221214560 1131467833 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22840 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 686.03
Current children cumulated vsize (Kb) 840980

[startup+710.071 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18921 4 1 0 69512 80 0 0 25 0 11 0 1860935530 861163520 22858 4294967295 134512640 134569956 3221224336 3221214560 1131467680 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22858 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 695.92
Current children cumulated vsize (Kb) 840980

[startup+720.072 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18931 4 1 0 70500 80 0 0 25 0 11 0 1860935530 861163520 22875 4294967295 134512640 134569956 3221224336 3221214560 1131472892 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22875 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 705.8
Current children cumulated vsize (Kb) 840980

[startup+730.073 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18942 4 1 0 71486 81 0 0 25 0 11 0 1860935530 861163520 22876 4294967295 134512640 134569956 3221224336 3221214560 1131469776 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22876 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 715.67
Current children cumulated vsize (Kb) 840980

[startup+740.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18952 4 1 0 72474 82 0 0 25 0 11 0 1860935530 861163520 22894 4294967295 134512640 134569956 3221224336 3221214464 1131442572 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22894 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 725.56
Current children cumulated vsize (Kb) 840980

[startup+750.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18962 4 1 0 73461 82 0 0 25 0 11 0 1860935530 861163520 22894 4294967295 134512640 134569956 3221224336 3221214464 1131442845 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22894 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 735.43
Current children cumulated vsize (Kb) 840980

[startup+760.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18972 4 1 0 74449 83 0 0 20 0 11 0 1860935530 861163520 22912 4294967295 134512640 134569956 3221224336 3221214456 1131419996 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22912 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 745.32
Current children cumulated vsize (Kb) 840980

[startup+770.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18982 4 1 0 75437 84 0 0 22 0 11 0 1860935530 861163520 22912 4294967295 134512640 134569956 3221224336 3221214560 1131472368 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22912 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 755.21
Current children cumulated vsize (Kb) 840980

[startup+780.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 18992 4 1 0 76425 84 0 0 25 0 11 0 1860935530 861163520 22930 4294967295 134512640 134569956 3221224336 3221214464 1131442730 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22930 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 765.09
Current children cumulated vsize (Kb) 840980

[startup+790.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19003 4 1 0 77412 85 0 0 17 0 11 0 1860935530 861163520 22947 4294967295 134512640 134569956 3221224336 3221214560 1131467680 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22947 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 774.97
Current children cumulated vsize (Kb) 840980

[startup+800.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19013 4 1 0 78399 85 0 0 25 0 11 0 1860935530 861163520 22948 4294967295 134512640 134569956 3221224336 3221214456 1131419895 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22948 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 784.84
Current children cumulated vsize (Kb) 840980

[startup+810.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19023 4 1 0 79387 85 0 0 25 0 11 0 1860935530 861163520 22966 4294967295 134512640 134569956 3221224336 3221214560 1131469592 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 22966 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 794.72
Current children cumulated vsize (Kb) 840980

[startup+820.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19033 4 1 0 80374 86 0 0 22 0 11 0 1860935530 861163520 22966 4294967295 134512640 134569956 3221224336 3221214464 1131442669 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22966 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (Kb) 840980

[startup+830.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19043 4 1 0 81363 86 0 0 23 0 11 0 1860935530 861163520 22986 4294967295 134512640 134569956 3221224336 3221214464 1131442509 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22986 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 814.49
Current children cumulated vsize (Kb) 840980

[startup+840.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19054 4 1 0 82350 87 0 0 25 0 11 0 1860935530 861163520 22986 4294967295 134512640 134569956 3221224336 3221214560 1131469108 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 22986 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 824.37
Current children cumulated vsize (Kb) 840980

[startup+850.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19064 4 1 0 83338 87 0 0 17 0 11 0 1860935530 861163520 23004 4294967295 134512640 134569956 3221224336 3221214464 1131444179 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 23004 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 834.25
Current children cumulated vsize (Kb) 840980

[startup+860.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19074 4 1 0 84326 88 0 0 21 0 11 0 1860935530 861163520 23004 4294967295 134512640 134569956 3221224336 3221214100 1085743747 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 23004 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 844.14
Current children cumulated vsize (Kb) 840980

[startup+870.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19084 4 1 0 85315 88 0 0 21 0 11 0 1860935530 861163520 23026 4294967295 134512640 134569956 3221224336 3221214464 1131442596 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 23026 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 854.03
Current children cumulated vsize (Kb) 840980

[startup+880.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19094 4 1 0 86302 88 0 0 25 0 11 0 1860935530 861163520 23026 4294967295 134512640 134569956 3221224336 3221214560 1131472772 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 23026 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 863.9
Current children cumulated vsize (Kb) 840980

[startup+890.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19105 4 1 0 87289 88 0 0 25 0 11 0 1860935530 861163520 23045 4294967295 134512640 134569956 3221224336 3221214556 1131354988 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 23045 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 873.77
Current children cumulated vsize (Kb) 840980

[startup+900.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19115 4 1 0 88277 89 0 0 25 0 11 0 1860935530 861163520 23063 4294967295 134512640 134569956 3221224336 3221214560 1131472892 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 23063 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 883.66
Current children cumulated vsize (Kb) 840980

[startup+910.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19125 4 1 0 89265 89 0 0 25 0 11 0 1860935530 861163520 23064 4294967295 134512640 134569956 3221224336 3221214560 1131472354 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 23064 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 893.54
Current children cumulated vsize (Kb) 840980

[startup+920.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19135 4 1 0 90252 89 0 0 25 0 11 0 1860935530 861163520 23083 4294967295 134512640 134569956 3221224336 3221214464 1131442669 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 23083 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 903.41
Current children cumulated vsize (Kb) 840980

[startup+930.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19146 4 1 0 91239 90 0 0 25 0 11 0 1860935530 861163520 23084 4294967295 134512640 134569956 3221224336 3221214464 1131444133 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 23084 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 913.29
Current children cumulated vsize (Kb) 840980

[startup+940.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19156 4 1 0 92225 91 0 0 25 0 11 0 1860935530 861163520 23103 4294967295 134512640 134569956 3221224336 3221214560 1131472547 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 23103 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 923.16
Current children cumulated vsize (Kb) 840980

[startup+950.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19166 4 1 0 93213 91 0 0 25 0 11 0 1860935530 861163520 23104 4294967295 134512640 134569956 3221224336 3221214464 1131442707 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 23104 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 933.04
Current children cumulated vsize (Kb) 840980

[startup+960.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19176 4 1 0 94200 92 0 0 25 0 11 0 1860935530 861163520 23124 4294967295 134512640 134569956 3221224336 3221214560 1131467680 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 23124 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 942.92
Current children cumulated vsize (Kb) 840980

[startup+970.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) S 11824 11825 28974 0 -1 0 19186 4 1 0 95188 92 0 0 25 0 11 0 1860935530 861163520 23125 4294967295 134512640 134569956 3221224336 3221213304 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 23125 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 952.8
Current children cumulated vsize (Kb) 840980

[startup+980.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19197 4 1 0 96175 92 0 0 18 0 11 0 1860935530 861163520 23147 4294967295 134512640 134569956 3221224336 3221214464 1131442669 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 23147 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 962.67
Current children cumulated vsize (Kb) 840980

[startup+990.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19207 4 1 0 97163 93 0 0 25 0 11 0 1860935530 861163520 23148 4294967295 134512640 134569956 3221224336 3221214560 1131472730 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 23148 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 972.56
Current children cumulated vsize (Kb) 840980

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19217 4 1 0 98150 93 0 0 23 0 11 0 1860935530 861163520 23168 4294967295 134512640 134569956 3221224336 3221214560 1131472368 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 23168 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 982.43
Current children cumulated vsize (Kb) 840980

[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19228 4 1 0 99138 93 0 0 24 0 11 0 1860935530 861163520 23169 4294967295 134512640 134569956 3221224336 3221214552 1131789323 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 23169 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 992.31
Current children cumulated vsize (Kb) 840980

[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19238 4 1 0 100125 94 0 0 20 0 11 0 1860935530 861163520 23188 4294967295 134512640 134569956 3221224336 3221214412 1131646872 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 23188 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 1002.19
Current children cumulated vsize (Kb) 840980

[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19248 4 1 0 101114 94 0 0 21 0 11 0 1860935530 861163520 23188 4294967295 134512640 134569956 3221224336 3221214560 1131472301 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 23188 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 1012.08
Current children cumulated vsize (Kb) 840980

[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19258 4 1 0 102101 95 0 0 24 0 11 0 1860935530 861163520 23188 4294967295 134512640 134569956 3221224336 3221214464 1131442644 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 23188 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 1021.96
Current children cumulated vsize (Kb) 840980

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19269 4 1 0 103089 95 0 0 25 0 11 0 1860935530 861163520 23209 4294967295 134512640 134569956 3221224336 3221214464 1131442603 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 23209 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 1031.84
Current children cumulated vsize (Kb) 840980

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19279 4 1 0 104075 95 0 0 25 0 11 0 1860935530 861163520 23209 4294967295 134512640 134569956 3221224336 3221214464 1131442861 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 23209 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 1041.7
Current children cumulated vsize (Kb) 840980

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19289 4 1 0 105063 96 0 0 21 0 11 0 1860935530 861163520 23235 4294967295 134512640 134569956 3221224336 3221214560 1131473190 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 23235 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 1051.59
Current children cumulated vsize (Kb) 840980

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19299 4 1 0 106050 96 0 0 25 0 11 0 1860935530 861163520 23235 4294967295 134512640 134569956 3221224336 3221214464 1131442669 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 23235 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 1061.46
Current children cumulated vsize (Kb) 840980

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19310 4 1 0 107036 97 0 0 25 0 11 0 1860935530 861163520 23257 4294967295 134512640 134569956 3221224336 3221214560 1131469826 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 23257 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 1071.33
Current children cumulated vsize (Kb) 840980

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19320 4 1 0 108022 97 0 0 25 0 11 0 1860935530 861163520 23257 4294967295 134512640 134569956 3221224336 3221214464 1131442617 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 23257 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 1081.19
Current children cumulated vsize (Kb) 840980

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19330 4 1 0 109009 98 0 0 22 0 11 0 1860935530 861163520 23282 4294967295 134512640 134569956 3221224336 3221214560 1131469108 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 23282 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 1091.07
Current children cumulated vsize (Kb) 840980

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19340 4 1 0 109996 99 0 0 25 0 11 0 1860935530 861163520 23282 4294967295 134512640 134569956 3221224336 3221214560 1131470660 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 23282 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 1100.95
Current children cumulated vsize (Kb) 840980

[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19351 4 1 0 110982 99 0 0 25 0 11 0 1860935530 861163520 23309 4294967295 134512640 134569956 3221224336 3221214556 1131442496 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 23309 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 1110.81
Current children cumulated vsize (Kb) 840980

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19361 4 1 0 111970 99 0 0 25 0 11 0 1860935530 861163520 23310 4294967295 134512640 134569956 3221224336 3221214504 1131411953 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 23310 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 1120.69
Current children cumulated vsize (Kb) 840980

[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19371 4 1 0 112957 100 0 0 25 0 11 0 1860935530 861163520 23330 4294967295 134512640 134569956 3221224336 3221214560 1131472892 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 23330 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 1130.57
Current children cumulated vsize (Kb) 840980

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19381 4 1 0 113944 101 0 0 25 0 11 0 1860935530 861163520 23331 4294967295 134512640 134569956 3221224336 3221214464 1131443494 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 23331 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 1140.45
Current children cumulated vsize (Kb) 840980

[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19392 4 1 0 114930 101 0 0 18 0 11 0 1860935530 861163520 23331 4294967295 134512640 134569956 3221224336 3221214560 1131467739 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 23331 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 1150.31
Current children cumulated vsize (Kb) 840980

[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19402 4 1 0 115916 102 0 0 25 0 11 0 1860935530 861163520 23359 4294967295 134512640 134569956 3221224336 3221214560 1131468723 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 23359 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 1160.18
Current children cumulated vsize (Kb) 840980

[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19412 4 1 0 116903 103 0 0 25 0 11 0 1860935530 861163520 23359 4294967295 134512640 134569956 3221224336 3221214552 1131355042 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11825/statm): 210245 23359 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 1170.06
Current children cumulated vsize (Kb) 840980

[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19422 4 1 0 117890 103 0 0 25 0 11 0 1860935530 861163520 23386 4294967295 134512640 134569956 3221224336 3221214556 1131354988 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 23386 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 1179.93
Current children cumulated vsize (Kb) 840980

[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19433 4 1 0 118875 104 0 0 24 0 11 0 1860935530 861163520 23386 4294967295 134512640 134569956 3221224336 3221214560 1131467673 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 23386 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 1189.79
Current children cumulated vsize (Kb) 840980

[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19443 4 1 0 119861 104 0 0 25 0 11 0 1860935530 861163520 23413 4294967295 134512640 134569956 3221224336 3221214464 1131442596 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 23413 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 1199.65
Current children cumulated vsize (Kb) 840980

[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19453 4 1 0 120848 105 0 0 22 0 11 0 1860935530 861163520 23414 4294967295 134512640 134569956 3221224336 3221214560 1131467739 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 23414 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 1209.53
Current children cumulated vsize (Kb) 840980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 11843
Raw data (/proc/11825/stat): 11825 (java) R 11824 11825 28974 0 -1 0 19453 4 1 0 120848 105 0 0 22 0 11 0 1860935530 861163520 23414 4294967295 134512640 134569956 3221224336 3221214464 1131443494 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11825/statm): 210245 23414 13129 16 0 210229 0
[pid=11825] vsize: 840980
Current children cumulated CPU time (s) 1209.53
Current children cumulated vsize (Kb) 840980

Sending SIGTERM to -11825
Sleeping 2 seconds
New thread pid=11845
New thread pid=11846
One traced child (pid=11846) exited with status: 0
One traced child (pid=11834) exited with status: 0
One traced child (pid=11829) exited with status: 0
One traced child (pid=11826) exited with status: 143
One traced child (pid=11827) exited with status: 143
One traced child (pid=11828) exited with status: 143
One traced child (pid=11830) exited with status: 143
One traced child (pid=11833) exited with status: 143
One traced child (pid=11832) exited with status: 143
One traced child (pid=11843) exited with status: 143
One traced child (pid=11831) exited with status: 143
One traced child (pid=11845) exited with status: 143
One traced child (pid=11825) exited with status: 143
All traced children have exited ! Game is over.

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

General information on the benchmark

Trace number 8827

Launcher Data

Solver Data

Watcher Data

Verifier Data
