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/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1718964778 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 39 3 38 16 0 23 0
[pid=23202] 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/23202
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=23203
New thread pid=23204
New thread pid=23205
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=23206
New thread pid=23207
New thread pid=23208
New thread pid=23209
New thread pid=23210
New thread pid=23211
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/wulflinc21/normalized-alu4.b.opb
New thread pid=23212
One traced child (pid=23212) exited with status: 0
New thread pid=23213
One traced child (pid=23213) exited with status: 0
New thread pid=23214
One traced child (pid=23214) exited with status: 0
New thread pid=23215
One traced child (pid=23215) exited with status: 0
New thread pid=23216

[startup+10.0031 s]
Raw data (loadavg): 1.06 1.04 1.00 2/67 23216
Raw data (/proc/23202/stat): 23202 (java) S 23201 23202 20602 0 -1 0 18193 3 3 0 657 52 0 0 25 0 11 0 1718964778 860610560 22105 4294967295 134512640 134569956 3221224352 3221213040 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 210110 22107 13129 16 0 210094 0
[pid=23202] vsize: 840440
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (Kb) 840440
One traced child (pid=23216) exited with status: 0
New thread pid=23217

[startup+20.0038 s]
Raw data (loadavg): 1.05 1.04 1.00 3/67 23217
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18203 3 3 0 1587 52 0 0 16 0 11 0 1718964778 859889664 23486 4294967295 134512640 134569956 3221224352 3221214616 1131661208 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 23486 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 16.39
Current children cumulated vsize (Kb) 839736
One traced child (pid=23217) exited with status: 0
New thread pid=23218

[startup+30.0034 s]
Raw data (loadavg): 1.05 1.04 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18211 3 3 0 2503 53 0 0 16 0 11 0 1718964778 859889664 23812 4294967295 134512640 134569956 3221224352 3221214680 1131506693 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 23812 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (Kb) 839736

[startup+40.0041 s]
Raw data (loadavg): 1.04 1.04 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18219 3 3 0 3440 53 0 0 25 0 11 0 1718964778 859889664 24467 4294967295 134512640 134569956 3221224352 3221214624 1131409619 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 24467 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 34.93
Current children cumulated vsize (Kb) 839736

[startup+50.0048 s]
Raw data (loadavg): 1.03 1.04 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18227 3 3 0 4372 53 0 0 18 0 11 0 1718964778 859889664 24572 4294967295 134512640 134569956 3221224352 3221214632 1131661164 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 24572 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 44.25
Current children cumulated vsize (Kb) 839736

[startup+60.0055 s]
Raw data (loadavg): 1.03 1.03 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18234 3 3 0 5299 53 0 0 17 0 11 0 1718964778 859889664 24599 4294967295 134512640 134569956 3221224352 3221214544 1131422666 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 24599 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 53.52
Current children cumulated vsize (Kb) 839736

[startup+70.0061 s]
Raw data (loadavg): 1.02 1.03 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18240 3 3 0 6237 53 0 0 17 0 11 0 1718964778 859889664 24599 4294967295 134512640 134569956 3221224352 3221214520 1131422540 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 24599 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 62.9
Current children cumulated vsize (Kb) 839736

[startup+80.0068 s]
Raw data (loadavg): 1.02 1.03 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18247 3 3 0 7169 54 0 0 16 0 11 0 1718964778 859889664 24767 4294967295 134512640 134569956 3221224352 3221214568 1131337460 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 24767 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 72.23
Current children cumulated vsize (Kb) 839736

[startup+90.0075 s]
Raw data (loadavg): 1.02 1.03 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18254 3 3 0 8103 54 0 0 15 0 11 0 1718964778 859889664 25184 4294967295 134512640 134569956 3221224352 3221214520 1131422581 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 25184 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 81.57
Current children cumulated vsize (Kb) 839736

[startup+100.007 s]
Raw data (loadavg): 1.01 1.03 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18260 3 3 0 9064 54 0 0 17 0 11 0 1718964778 859889664 25453 4294967295 134512640 134569956 3221224352 3221214520 1131422420 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 25453 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 91.18
Current children cumulated vsize (Kb) 839736

[startup+110.008 s]
Raw data (loadavg): 1.01 1.03 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18267 3 3 0 10028 54 0 0 17 0 11 0 1718964778 859889664 25480 4294967295 134512640 134569956 3221224352 3221214520 1131422540 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 25480 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 100.82
Current children cumulated vsize (Kb) 839736

[startup+120.009 s]
Raw data (loadavg): 1.01 1.03 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18274 3 3 0 10993 54 0 0 17 0 11 0 1718964778 859889664 25518 4294967295 134512640 134569956 3221224352 3221214628 1131337440 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 25518 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 110.47
Current children cumulated vsize (Kb) 839736

[startup+130.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18281 3 3 0 11961 55 0 0 18 0 11 0 1718964778 859889664 25700 4294967295 134512640 134569956 3221224352 3221214616 1131422581 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 25700 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 120.16
Current children cumulated vsize (Kb) 839736

[startup+140.009 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18288 3 3 0 12947 55 0 0 21 0 11 0 1718964778 859889664 25899 4294967295 134512640 134569956 3221224352 3221214632 1131661701 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 25899 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 839736

[startup+150.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18295 3 3 0 13930 56 0 0 19 0 11 0 1718964778 859889664 25899 4294967295 134512640 134569956 3221224352 3221214544 1131422581 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 25899 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 139.86
Current children cumulated vsize (Kb) 839736

[startup+160.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18302 3 3 0 14908 56 0 0 19 0 11 0 1718964778 859889664 25899 4294967295 134512640 134569956 3221224352 3221214640 1131504578 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 25899 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 149.64
Current children cumulated vsize (Kb) 839736

[startup+170.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18309 3 3 0 15887 56 0 0 18 0 11 0 1718964778 859889664 25925 4294967295 134512640 134569956 3221224352 3221214520 1131422540 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 25925 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 159.43
Current children cumulated vsize (Kb) 839736

[startup+180.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18316 3 3 0 16866 56 0 0 18 0 11 0 1718964778 859889664 25955 4294967295 134512640 134569956 3221224352 3221214680 1131507971 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 25955 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 169.22
Current children cumulated vsize (Kb) 839736

[startup+190.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18323 3 3 0 17809 56 0 0 16 0 11 0 1718964778 859889664 26089 4294967295 134512640 134569956 3221224352 3221214616 1131642114 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 26089 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 178.65
Current children cumulated vsize (Kb) 839736

[startup+200.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18329 3 3 0 18744 56 0 0 17 0 11 0 1718964778 859889664 26197 4294967295 134512640 134569956 3221224352 3221214616 1131641894 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 26197 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 188
Current children cumulated vsize (Kb) 839736

[startup+210.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18336 3 3 0 19665 56 0 0 16 0 11 0 1718964778 859889664 26604 4294967295 134512640 134569956 3221224352 3221214608 1131422536 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 26604 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 197.21
Current children cumulated vsize (Kb) 839736

[startup+220.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18343 3 3 0 20590 56 0 0 16 0 11 0 1718964778 859889664 26865 4294967295 134512640 134569956 3221224352 3221214520 1131479955 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 26865 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 206.46
Current children cumulated vsize (Kb) 839736

[startup+230.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18350 3 3 0 21511 57 0 0 17 0 11 0 1718964778 859889664 27007 4294967295 134512640 134569956 3221224352 3221214568 1131337460 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 27007 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 215.68
Current children cumulated vsize (Kb) 839736

[startup+240.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18356 3 3 0 22420 57 0 0 16 0 11 0 1718964778 859889664 28360 4294967295 134512640 134569956 3221224352 3221214680 1131508052 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 28360 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 224.77
Current children cumulated vsize (Kb) 839736

[startup+250.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18365 3 3 0 23337 57 0 0 16 0 11 0 1718964778 859889664 29123 4294967295 134512640 134569956 3221224352 3221214568 1131337579 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 29123 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 233.94
Current children cumulated vsize (Kb) 839736

[startup+260.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18372 3 3 0 24270 57 0 0 16 0 11 0 1718964778 859889664 29725 4294967295 134512640 134569956 3221224352 3221214608 1131506696 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 29725 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 243.27
Current children cumulated vsize (Kb) 839736

[startup+270.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18381 3 3 0 25198 57 0 0 16 0 11 0 1718964778 859889664 29725 4294967295 134512640 134569956 3221224352 3221214608 1131507783 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 29725 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 252.55
Current children cumulated vsize (Kb) 839736

[startup+280.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) S 23201 23202 20602 0 -1 0 18387 3 3 0 26118 57 0 0 17 0 11 0 1718964778 859889664 30089 4294967295 134512640 134569956 3221224352 3221213192 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 30089 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 261.75
Current children cumulated vsize (Kb) 839736

[startup+290.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18394 3 3 0 27052 58 0 0 16 0 11 0 1718964778 859889664 30357 4294967295 134512640 134569956 3221224352 3221214608 1131507897 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 30357 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 271.1
Current children cumulated vsize (Kb) 839736

[startup+300.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18400 3 3 0 27989 58 0 0 16 0 11 0 1718964778 859889664 30426 4294967295 134512640 134569956 3221224352 3221214496 1131661546 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 30426 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 280.47
Current children cumulated vsize (Kb) 839736

[startup+310.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18406 3 3 0 28928 58 0 0 16 0 11 0 1718964778 859889664 30443 4294967295 134512640 134569956 3221224352 3221214384 1131337463 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 30443 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 289.86
Current children cumulated vsize (Kb) 839736

[startup+320.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18413 3 3 0 29867 58 0 0 17 0 11 0 1718964778 859889664 30567 4294967295 134512640 134569956 3221224352 3221214480 1131641778 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 30567 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 299.25
Current children cumulated vsize (Kb) 839736

[startup+330.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18420 3 3 0 30809 59 0 0 16 0 11 0 1718964778 859889664 31057 4294967295 134512640 134569956 3221224352 3221214608 1131506696 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 31057 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 308.68
Current children cumulated vsize (Kb) 839736

[startup+340.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18427 3 3 0 31773 59 0 0 17 0 11 0 1718964778 859889664 31298 4294967295 134512640 134569956 3221224352 3221214512 1131480534 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 31298 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 318.32
Current children cumulated vsize (Kb) 839736

[startup+350.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18434 3 3 0 32740 60 0 0 16 0 11 0 1718964778 859889664 31298 4294967295 134512640 134569956 3221224352 3221214512 1131479885 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 31298 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 328
Current children cumulated vsize (Kb) 839736

[startup+360.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18440 3 3 0 33700 60 0 0 17 0 11 0 1718964778 859889664 31298 4294967295 134512640 134569956 3221224352 3221214384 1131422581 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 31298 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 337.6
Current children cumulated vsize (Kb) 839736

[startup+370.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18447 3 3 0 34644 60 0 0 17 0 11 0 1718964778 859889664 31402 4294967295 134512640 134569956 3221224352 3221214480 1131641772 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 31402 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 347.04
Current children cumulated vsize (Kb) 839736

[startup+380.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) S 23201 23202 20602 0 -1 0 18454 3 3 0 35595 60 0 0 18 0 11 0 1718964778 859889664 31500 4294967295 134512640 134569956 3221224352 3221213024 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 31500 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 356.55
Current children cumulated vsize (Kb) 839736

[startup+390.019 s]
Raw data (loadavg): 1.07 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18460 3 3 0 36552 61 0 0 17 0 11 0 1718964778 859889664 31612 4294967295 134512640 134569956 3221224352 3221214608 1131506567 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 31612 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 366.13
Current children cumulated vsize (Kb) 839736

[startup+400.02 s]
Raw data (loadavg): 1.06 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18467 3 3 0 37502 61 0 0 17 0 11 0 1718964778 859889664 31812 4294967295 134512640 134569956 3221224352 3221214568 1131504578 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 31812 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 375.63
Current children cumulated vsize (Kb) 839736

[startup+410.019 s]
Raw data (loadavg): 1.05 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18473 3 3 0 38468 61 0 0 17 0 11 0 1718964778 859889664 31921 4294967295 134512640 134569956 3221224352 3221214608 1131506696 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 31921 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 385.29
Current children cumulated vsize (Kb) 839736

[startup+420.02 s]
Raw data (loadavg): 1.04 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18480 3 3 0 39432 61 0 0 18 0 11 0 1718964778 859889664 31984 4294967295 134512640 134569956 3221224352 3221214496 1131337570 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 31984 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 394.93
Current children cumulated vsize (Kb) 839736

[startup+430.021 s]
Raw data (loadavg): 1.04 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18487 3 3 0 40382 61 0 0 16 0 11 0 1718964778 859889664 32060 4294967295 134512640 134569956 3221224352 3221214560 1131661164 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 32060 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 404.43
Current children cumulated vsize (Kb) 839736

[startup+440.021 s]
Raw data (loadavg): 1.03 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18493 3 3 0 41336 62 0 0 18 0 11 0 1718964778 859889664 32181 4294967295 134512640 134569956 3221224352 3221214536 1131497163 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 32181 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 413.98
Current children cumulated vsize (Kb) 839736

[startup+450.021 s]
Raw data (loadavg): 1.02 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18500 3 3 0 42286 63 0 0 16 0 11 0 1718964778 859889664 32223 4294967295 134512640 134569956 3221224352 3221214472 1131216819 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 32223 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 423.49
Current children cumulated vsize (Kb) 839736

[startup+460.022 s]
Raw data (loadavg): 1.02 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18506 3 3 0 43239 63 0 0 16 0 11 0 1718964778 859889664 32294 4294967295 134512640 134569956 3221224352 3221214608 1131509474 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 32294 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 433.02
Current children cumulated vsize (Kb) 839736

[startup+470.022 s]
Raw data (loadavg): 1.02 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18513 3 3 0 44172 64 0 0 17 0 11 0 1718964778 859889664 32431 4294967295 134512640 134569956 3221224352 3221214640 1131561717 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 32431 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 442.36
Current children cumulated vsize (Kb) 839736

[startup+480.022 s]
Raw data (loadavg): 1.01 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18519 3 3 0 45112 64 0 0 17 0 11 0 1718964778 859889664 32668 4294967295 134512640 134569956 3221224352 3221214448 1131337570 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 32668 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 451.76
Current children cumulated vsize (Kb) 839736

[startup+490.023 s]
Raw data (loadavg): 1.01 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18526 3 3 0 46041 64 0 0 16 0 11 0 1718964778 859889664 32722 4294967295 134512640 134569956 3221224352 3221214448 1131423202 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 32722 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 461.05
Current children cumulated vsize (Kb) 839736

[startup+500.023 s]
Raw data (loadavg): 1.01 1.01 1.00 3/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18532 3 3 0 46975 64 0 0 16 0 11 0 1718964778 859889664 32818 4294967295 134512640 134569956 3221224352 3221214544 1131642365 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 32818 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 470.39
Current children cumulated vsize (Kb) 839736

[startup+510.023 s]
Raw data (loadavg): 1.01 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18538 3 3 0 47909 65 0 0 18 0 11 0 1718964778 859889664 33100 4294967295 134512640 134569956 3221224352 3221214472 1131422581 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 33100 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 479.74
Current children cumulated vsize (Kb) 839736

[startup+520.024 s]
Raw data (loadavg): 1.01 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18544 3 3 0 48851 65 0 0 17 0 11 0 1718964778 859889664 33125 4294967295 134512640 134569956 3221224352 3221214608 1131507897 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 33125 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 489.16
Current children cumulated vsize (Kb) 839736

[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18550 3 3 0 49800 65 0 0 17 0 11 0 1718964778 859889664 33431 4294967295 134512640 134569956 3221224352 3221214568 1131504696 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 33431 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 498.65
Current children cumulated vsize (Kb) 839736

[startup+540.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) S 23201 23202 20602 0 -1 0 18556 3 3 0 50754 65 0 0 16 0 11 0 1718964778 859889664 33606 4294967295 134512640 134569956 3221224352 3221213152 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 33606 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 508.19
Current children cumulated vsize (Kb) 839736

[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18563 3 3 0 51711 66 0 0 16 0 11 0 1718964778 859889664 33722 4294967295 134512640 134569956 3221224352 3221214448 1131422410 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 33722 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 517.77
Current children cumulated vsize (Kb) 839736

[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18569 3 3 0 52678 66 0 0 16 0 11 0 1718964778 859889664 33845 4294967295 134512640 134569956 3221224352 3221214448 1131422581 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 33845 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 527.44
Current children cumulated vsize (Kb) 839736

[startup+570.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18575 3 3 0 53648 67 0 0 17 0 11 0 1718964778 859889664 33947 4294967295 134512640 134569956 3221224352 3221214544 1131642114 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 33947 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 537.15
Current children cumulated vsize (Kb) 839736

[startup+580.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18581 3 3 0 54619 67 0 0 17 0 11 0 1718964778 859889664 34011 4294967295 134512640 134569956 3221224352 3221214604 1131337440 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 34011 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 546.86
Current children cumulated vsize (Kb) 839736

[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18589 3 3 0 55587 67 0 0 17 0 11 0 1718964778 859889664 34119 4294967295 134512640 134569956 3221224352 3221214496 1131337479 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 34119 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 556.54
Current children cumulated vsize (Kb) 839736

[startup+600.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18597 3 3 0 56544 67 0 0 16 0 11 0 1718964778 859889664 34176 4294967295 134512640 134569956 3221224352 3221214512 1131479457 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 34176 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 566.11
Current children cumulated vsize (Kb) 839736

[startup+610.931 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18604 3 3 0 57568 67 0 0 17 0 11 0 1718964778 859889664 34256 4294967295 134512640 134569956 3221224352 3221214512 1131479996 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 34256 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 576.35
Current children cumulated vsize (Kb) 839736

[startup+620.931 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18611 3 3 0 58490 67 0 0 16 0 11 0 1718964778 859889664 34575 4294967295 134512640 134569956 3221224352 3221214568 1131504578 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 34575 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 585.57
Current children cumulated vsize (Kb) 839736

[startup+630.931 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18617 3 3 0 59422 68 0 0 16 0 11 0 1718964778 859889664 34766 4294967295 134512640 134569956 3221224352 3221214608 1131507897 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 34766 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 594.9
Current children cumulated vsize (Kb) 839736

[startup+640.933 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18623 3 3 0 60351 68 0 0 16 0 11 0 1718964778 859889664 35088 4294967295 134512640 134569956 3221224352 3221214560 1131661171 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 35088 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 604.19
Current children cumulated vsize (Kb) 839736

[startup+650.932 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18630 3 3 0 61273 68 0 0 16 0 11 0 1718964778 859889664 35374 4294967295 134512640 134569956 3221224352 3221214608 1131506891 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 35374 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 613.41
Current children cumulated vsize (Kb) 839736

[startup+660.933 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18637 3 3 0 62190 68 0 0 16 0 11 0 1718964778 859889664 35712 4294967295 134512640 134569956 3221224352 3221214608 1131506705 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 35712 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 622.58
Current children cumulated vsize (Kb) 839736

[startup+670.934 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18643 3 3 0 63121 68 0 0 17 0 11 0 1718964778 859889664 36039 4294967295 134512640 134569956 3221224352 3221214512 1131479486 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 36039 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 631.89
Current children cumulated vsize (Kb) 839736

[startup+680.933 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18650 3 3 0 64036 68 0 0 16 0 11 0 1718964778 859889664 36552 4294967295 134512640 134569956 3221224352 3221214608 1131506696 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 36552 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 641.04
Current children cumulated vsize (Kb) 839736

[startup+690.934 s]
Raw data (loadavg): 1.08 1.02 1.01 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18656 3 3 0 64960 68 0 0 17 0 11 0 1718964778 859889664 37054 4294967295 134512640 134569956 3221224352 3221214448 1131422460 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 37054 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 650.28
Current children cumulated vsize (Kb) 839736

[startup+700.935 s]
Raw data (loadavg): 1.07 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18662 3 3 0 65900 69 0 0 19 0 11 0 1718964778 859889664 37368 4294967295 134512640 134569956 3221224352 3221213916 1131840536 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 37368 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 659.69
Current children cumulated vsize (Kb) 839736

[startup+710.935 s]
Raw data (loadavg): 1.06 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) S 23201 23202 20602 0 -1 0 18664 3 3 0 66868 69 0 0 16 0 11 0 1718964778 859889664 37552 4294967295 134512640 134569956 3221224352 3221213256 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 37552 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 669.37
Current children cumulated vsize (Kb) 839736

[startup+720.936 s]
Raw data (loadavg): 1.12 1.03 1.01 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18672 3 3 0 67800 69 0 0 16 0 11 0 1718964778 859889664 37552 4294967295 134512640 134569956 3221224352 3221214512 1131480394 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 37552 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 678.69
Current children cumulated vsize (Kb) 839736

[startup+730.936 s]
Raw data (loadavg): 1.10 1.03 1.01 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18679 3 3 0 68720 69 0 0 16 0 11 0 1718964778 859889664 37795 4294967295 134512640 134569956 3221224352 3221214608 1131507048 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 37795 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 687.89
Current children cumulated vsize (Kb) 839736

[startup+740.937 s]
Raw data (loadavg): 1.09 1.03 1.01 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18686 3 3 0 69662 69 0 0 16 0 11 0 1718964778 859889664 38099 4294967295 134512640 134569956 3221224352 3221214608 1131511076 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 38099 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 697.31
Current children cumulated vsize (Kb) 839736

[startup+750.936 s]
Raw data (loadavg): 1.15 1.04 1.01 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18694 3 3 0 70588 70 0 0 16 0 11 0 1718964778 859889664 38162 4294967295 134512640 134569956 3221224352 3221213960 1131863048 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 38162 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 706.58
Current children cumulated vsize (Kb) 839736

[startup+760.937 s]
Raw data (loadavg): 1.12 1.04 1.01 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18698 3 3 0 71538 70 0 0 16 0 11 0 1718964778 859889664 38408 4294967295 134512640 134569956 3221224352 3221214448 1131422460 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 38408 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 716.08
Current children cumulated vsize (Kb) 839736

[startup+770.937 s]
Raw data (loadavg): 1.18 1.06 1.01 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18704 3 3 0 72472 70 0 0 16 0 11 0 1718964778 859889664 38408 4294967295 134512640 134569956 3221224352 3221214472 1131422457 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 38408 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 725.42
Current children cumulated vsize (Kb) 839736

[startup+780.937 s]
Raw data (loadavg): 1.15 1.05 1.01 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18710 3 3 0 73407 70 0 0 16 0 11 0 1718964778 859889664 38592 4294967295 134512640 134569956 3221224352 3221214448 1131422732 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 38592 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 734.77
Current children cumulated vsize (Kb) 839736

[startup+790.938 s]
Raw data (loadavg): 1.13 1.05 1.01 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18715 3 3 0 74362 71 0 0 17 0 11 0 1718964778 859889664 38891 4294967295 134512640 134569956 3221224352 3221214448 1131422666 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 38891 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 744.33
Current children cumulated vsize (Kb) 839736

[startup+800.938 s]
Raw data (loadavg): 1.11 1.05 1.01 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18722 3 3 0 75316 71 0 0 16 0 11 0 1718964778 859889664 38993 4294967295 134512640 134569956 3221224352 3221214544 1131642464 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 38993 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 753.87
Current children cumulated vsize (Kb) 839736

[startup+810.939 s]
Raw data (loadavg): 1.09 1.05 1.01 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18727 3 3 0 76286 71 0 0 18 0 11 0 1718964778 859889664 39273 4294967295 134512640 134569956 3221224352 3221214472 1131422540 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 39273 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 763.57
Current children cumulated vsize (Kb) 839736

[startup+820.94 s]
Raw data (loadavg): 1.08 1.05 1.01 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18733 3 3 0 77264 72 0 0 18 0 11 0 1718964778 859889664 39293 4294967295 134512640 134569956 3221224352 3221214544 1131642114 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 39293 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 773.36
Current children cumulated vsize (Kb) 839736

[startup+830.94 s]
Raw data (loadavg): 1.06 1.04 1.01 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18739 3 3 0 78242 72 0 0 17 0 11 0 1718964778 859889664 39312 4294967295 134512640 134569956 3221224352 3221214448 1131337627 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 39312 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 783.14
Current children cumulated vsize (Kb) 839736

[startup+840.94 s]
Raw data (loadavg): 1.05 1.04 1.01 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18745 3 3 0 79219 72 0 0 17 0 11 0 1718964778 859889664 39342 4294967295 134512640 134569956 3221224352 3221214564 1131422220 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 39342 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 792.91
Current children cumulated vsize (Kb) 839736

[startup+850.941 s]
Raw data (loadavg): 1.04 1.04 1.01 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18751 3 3 0 80194 72 0 0 18 0 11 0 1718964778 859889664 39380 4294967295 134512640 134569956 3221224352 3221214352 1131863028 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 39380 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 802.66
Current children cumulated vsize (Kb) 839736

[startup+860.941 s]
Raw data (loadavg): 1.04 1.04 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18757 3 3 0 81169 73 0 0 18 0 11 0 1718964778 859889664 39467 4294967295 134512640 134569956 3221224352 3221214564 1131484512 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 39467 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 812.42
Current children cumulated vsize (Kb) 839736

[startup+870.941 s]
Raw data (loadavg): 1.03 1.04 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18763 3 3 0 82147 73 0 0 18 0 11 0 1718964778 859889664 39496 4294967295 134512640 134569956 3221224352 3221214544 1131641894 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 39496 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 822.2
Current children cumulated vsize (Kb) 839736

[startup+880.942 s]
Raw data (loadavg): 1.03 1.03 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18769 3 3 0 83125 73 0 0 18 0 11 0 1718964778 859889664 39518 4294967295 134512640 134569956 3221224352 3221214448 1131422538 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 39518 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 831.98
Current children cumulated vsize (Kb) 839736

[startup+890.943 s]
Raw data (loadavg): 1.02 1.03 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18775 3 3 0 84103 73 0 0 20 0 11 0 1718964778 859889664 39565 4294967295 134512640 134569956 3221224352 3221214544 1131642276 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 39565 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 841.76
Current children cumulated vsize (Kb) 839736

[startup+900.942 s]
Raw data (loadavg): 1.02 1.03 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18781 3 3 0 85081 74 0 0 16 0 11 0 1718964778 859889664 39616 4294967295 134512640 134569956 3221224352 3221214448 1131422289 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 39616 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 851.55
Current children cumulated vsize (Kb) 839736

[startup+910.942 s]
Raw data (loadavg): 1.01 1.03 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18787 3 3 0 86061 74 0 0 17 0 11 0 1718964778 859889664 39666 4294967295 134512640 134569956 3221224352 3221214544 1131642114 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 39666 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 861.35
Current children cumulated vsize (Kb) 839736

[startup+920.943 s]
Raw data (loadavg): 1.01 1.03 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18792 3 3 0 87044 74 0 0 18 0 11 0 1718964778 859889664 39695 4294967295 134512640 134569956 3221224352 3221214448 1131423216 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 39695 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 871.18
Current children cumulated vsize (Kb) 839736

[startup+930.942 s]
Raw data (loadavg): 1.01 1.03 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18798 3 3 0 88024 74 0 0 18 0 11 0 1718964778 859889664 39733 4294967295 134512640 134569956 3221224352 3221214560 1131661587 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 39733 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 880.98
Current children cumulated vsize (Kb) 839736

[startup+940.943 s]
Raw data (loadavg): 1.01 1.03 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18804 3 3 0 89004 74 0 0 18 0 11 0 1718964778 859889664 39751 4294967295 134512640 134569956 3221224352 3221214048 1085806294 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 39751 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 890.78
Current children cumulated vsize (Kb) 839736

[startup+950.944 s]
Raw data (loadavg): 1.01 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18810 3 3 0 89985 74 0 0 17 0 11 0 1718964778 859889664 39804 4294967295 134512640 134569956 3221224352 3221214360 1131840550 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 39804 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 900.59
Current children cumulated vsize (Kb) 839736

[startup+960.943 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18816 3 3 0 90965 75 0 0 17 0 11 0 1718964778 859889664 39833 4294967295 134512640 134569956 3221224352 3221214472 1131423180 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 39833 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 910.4
Current children cumulated vsize (Kb) 839736

[startup+970.944 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18822 3 3 0 91944 75 0 0 17 0 11 0 1718964778 859889664 39861 4294967295 134512640 134569956 3221224352 3221214448 1131422540 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 39861 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 920.19
Current children cumulated vsize (Kb) 839736

[startup+980.944 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18828 3 3 0 92923 75 0 0 17 0 11 0 1718964778 859889664 39901 4294967295 134512640 134569956 3221224352 3221214544 1131642284 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 39901 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 929.98
Current children cumulated vsize (Kb) 839736

[startup+990.945 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18833 3 3 0 93907 75 0 0 18 0 11 0 1718964778 859889664 39931 4294967295 134512640 134569956 3221224352 3221214516 1131057207 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 39931 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 939.82
Current children cumulated vsize (Kb) 839736

[startup+1000.95 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18840 3 3 0 94887 76 0 0 17 0 11 0 1718964778 859889664 39960 4294967295 134512640 134569956 3221224352 3221213960 1131863048 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 39960 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 949.63
Current children cumulated vsize (Kb) 839736

[startup+1010.94 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18845 3 3 0 95870 76 0 0 17 0 11 0 1718964778 859889664 39999 4294967295 134512640 134569956 3221224352 3221214496 1131337465 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 39999 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 959.46
Current children cumulated vsize (Kb) 839736

[startup+1020.95 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18852 3 3 0 96848 77 0 0 17 0 11 0 1718964778 859889664 40037 4294967295 134512640 134569956 3221224352 3221214512 1131479665 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 40037 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 969.25
Current children cumulated vsize (Kb) 839736

[startup+1030.95 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18858 3 3 0 97825 77 0 0 18 0 11 0 1718964778 859889664 40070 4294967295 134512640 134569956 3221224352 3221214568 1131504640 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 40070 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 979.02
Current children cumulated vsize (Kb) 839736

[startup+1040.95 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18863 3 3 0 98805 77 0 0 17 0 11 0 1718964778 859889664 40089 4294967295 134512640 134569956 3221224352 3221213888 1085759268 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 40089 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 988.82
Current children cumulated vsize (Kb) 839736

[startup+1050.95 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18869 3 3 0 99780 77 0 0 16 0 11 0 1718964778 859889664 40118 4294967295 134512640 134569956 3221224352 3221214608 1131508709 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 40118 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 998.57
Current children cumulated vsize (Kb) 839736

[startup+1060.95 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18874 3 3 0 100749 77 0 0 16 0 11 0 1718964778 859889664 40139 4294967295 134512640 134569956 3221224352 3221214608 1131506696 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 40139 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 1008.26
Current children cumulated vsize (Kb) 839736

[startup+1070.95 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18879 3 3 0 101713 78 0 0 17 0 11 0 1718964778 859889664 40142 4294967295 134512640 134569956 3221224352 3221214544 1131641772 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 40142 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 1017.91
Current children cumulated vsize (Kb) 839736

[startup+1080.95 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18883 3 3 0 102681 78 0 0 17 0 11 0 1718964778 859889664 40155 4294967295 134512640 134569956 3221224352 3221213920 1131840682 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 40155 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 1027.59
Current children cumulated vsize (Kb) 839736

[startup+1090.95 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18886 3 3 0 103655 78 0 0 17 0 11 0 1718964778 859889664 40274 4294967295 134512640 134569956 3221224352 3221214600 1131422813 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 40274 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 1037.33
Current children cumulated vsize (Kb) 839736

[startup+1100.95 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18891 3 3 0 104616 78 0 0 17 0 11 0 1718964778 859889664 40274 4294967295 134512640 134569956 3221224352 3221214608 1131509644 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 40274 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 1046.94
Current children cumulated vsize (Kb) 839736

[startup+1110.95 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18897 3 3 0 105564 79 0 0 16 0 11 0 1718964778 859889664 40291 4294967295 134512640 134569956 3221224352 3221214512 1131480512 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 40291 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 1056.43
Current children cumulated vsize (Kb) 839736

[startup+1120.95 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18902 3 3 0 106518 79 0 0 17 0 11 0 1718964778 859889664 40483 4294967295 134512640 134569956 3221224352 3221214512 1131479457 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 40483 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 1065.97
Current children cumulated vsize (Kb) 839736

[startup+1130.95 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18908 3 3 0 107473 79 0 0 18 0 11 0 1718964778 859889664 40677 4294967295 134512640 134569956 3221224352 3221213964 1131863019 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 40677 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 1075.52
Current children cumulated vsize (Kb) 839736

[startup+1140.95 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18912 3 3 0 108448 79 0 0 17 0 11 0 1718964778 859889664 40689 4294967295 134512640 134569956 3221224352 3221213832 1085806738 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 40689 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 1085.27
Current children cumulated vsize (Kb) 839736

[startup+1150.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18919 3 3 0 109403 80 0 0 16 0 11 0 1718964778 859889664 40839 4294967295 134512640 134569956 3221224352 3221214608 1131506696 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 40839 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 1094.83
Current children cumulated vsize (Kb) 839736

[startup+1160.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23218
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18926 3 3 0 110358 80 0 0 16 0 11 0 1718964778 859889664 40914 4294967295 134512640 134569956 3221224352 3221214424 1131366202 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 40914 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 1104.38
Current children cumulated vsize (Kb) 839736

[startup+1170.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23220
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18933 3 3 0 111312 80 0 0 16 0 11 0 1718964778 859889664 41071 4294967295 134512640 134569956 3221224352 3221214544 1131641772 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 41071 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 1113.92
Current children cumulated vsize (Kb) 839736

[startup+1180.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23220
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18940 3 3 0 112267 80 0 0 17 0 11 0 1718964778 859889664 41108 4294967295 134512640 134569956 3221224352 3221214608 1131506696 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 41108 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 1123.47
Current children cumulated vsize (Kb) 839736

[startup+1190.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23220
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18947 3 3 0 113215 81 0 0 16 0 11 0 1718964778 859889664 41179 4294967295 134512640 134569956 3221224352 3221214608 1131506696 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 41179 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 1132.96
Current children cumulated vsize (Kb) 839736

[startup+1200.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23220
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18953 3 3 0 114160 81 0 0 16 0 11 0 1718964778 859889664 41272 4294967295 134512640 134569956 3221224352 3221214608 1131506567 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 41272 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 1142.41
Current children cumulated vsize (Kb) 839736

[startup+1210.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23220
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18959 3 3 0 115097 81 0 0 17 0 11 0 1718964778 859889664 41415 4294967295 134512640 134569956 3221224352 3221214448 1131422581 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 41415 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 1151.78
Current children cumulated vsize (Kb) 839736

[startup+1220.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23220
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18965 3 3 0 116028 81 0 0 17 0 11 0 1718964778 859889664 41524 4294967295 134512640 134569956 3221224352 3221214448 1131422581 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 41524 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 1161.09
Current children cumulated vsize (Kb) 839736

[startup+1230.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23220
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18971 3 3 0 116959 82 0 0 16 0 11 0 1718964778 859889664 41758 4294967295 134512640 134569956 3221224352 3221214512 1131480137 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 41758 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 1170.41
Current children cumulated vsize (Kb) 839736

[startup+1240.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23220
Raw data (/proc/23202/stat): 23202 (java) S 23201 23202 20602 0 -1 0 18976 3 3 0 117894 82 0 0 16 0 11 0 1718964778 859889664 41862 4294967295 134512640 134569956 3221224352 3221213192 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 41862 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 1179.76
Current children cumulated vsize (Kb) 839736

[startup+1250.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23220
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18982 3 3 0 118835 82 0 0 17 0 11 0 1718964778 859889664 41954 4294967295 134512640 134569956 3221224352 3221214448 1131422581 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 41954 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 1189.17
Current children cumulated vsize (Kb) 839736

[startup+1260.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23220
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18988 3 3 0 119774 82 0 0 17 0 11 0 1718964778 859889664 42147 4294967295 134512640 134569956 3221224352 3221214448 1131422581 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23202/statm): 209934 42147 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 1198.56
Current children cumulated vsize (Kb) 839736

[startup+1270.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23220
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18994 3 3 0 120723 83 0 0 17 0 11 0 1718964778 859889664 42383 4294967295 134512640 134569956 3221224352 3221214608 1131506693 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 42383 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 1208.06
Current children cumulated vsize (Kb) 839736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 23220
Raw data (/proc/23202/stat): 23202 (java) R 23201 23202 20602 0 -1 0 18994 3 3 0 120723 83 0 0 17 0 11 0 1718964778 859889664 42383 4294967295 134512640 134569956 3221224352 3221214496 1131338163 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23202/statm): 209934 42383 13129 16 0 209918 0
[pid=23202] vsize: 839736
Current children cumulated CPU time (s) 1208.06
Current children cumulated vsize (Kb) 839736

Sending SIGTERM to -23202
Sleeping 2 seconds
New thread pid=23222
New thread pid=23223
One traced child (pid=23223) exited with status: 0
One traced child (pid=23211) exited with status: 0
One traced child (pid=23206) exited with status: 0
One traced child (pid=23203) exited with status: 143
One traced child (pid=23204) exited with status: 143
One traced child (pid=23205) exited with status: 143
One traced child (pid=23210) exited with status: 143
One traced child (pid=23207) exited with status: 143
One traced child (pid=23208) exited with status: 143
One traced child (pid=23209) exited with status: 143
One traced child (pid=23218) exited with status: 143
One traced child (pid=23222) exited with status: 143
One traced child (pid=23202) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1271.17
CPU time (s): 1267.45
CPU user time (s): 1265.79
CPU system time (s): 1.66075
CPU usage (%): 99.7073
Max. virtual memory (cumulated for all children) (Kb): 840440
Name	submitted/manquinho/logic-synthesis/normalized-alu4.b.opb
MD5SUM	db06e7fbd4f70a4af68f8f196fdb3636
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	50
Optimality of the best value was proved	NO
Number of terms in the objective function	808
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	808
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	808
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1195.2
Number of variables	807
Total number of constraints	1838
Number of constraints which are clauses	1823
Number of constraints which are cardinality constraints (but not clauses)	15
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	98
Some explanations

General information on the benchmark

Trace number 1188

Launcher Data

Solver Data

Watcher Data

Verifier Data
