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/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1789211882 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 39 3 38 16 0 23 0
[pid=29143] 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/29143
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=29144
New thread pid=29145
New thread pid=29146
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=29147
New thread pid=29148
New thread pid=29149
New thread pid=29150
New thread pid=29151
New thread pid=29152
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/wulflinc3/normalized-mps-v2-20-10-glass4.opb
New thread pid=29153

[startup+10.0026 s]
Raw data (loadavg): 1.09 1.02 0.95 2/66 29153
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18138 0 1 0 719 50 0 0 24 0 11 0 1789211882 862298112 21941 4294967295 134512640 134569956 3221224336 3221214688 1131371200 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210522 21941 13129 16 0 210506 0
[pid=29143] vsize: 842088
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (Kb) 842088

[startup+20.0035 s]
Raw data (loadavg): 1.15 1.03 0.95 2/66 29153
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18153 0 1 0 1580 51 0 0 20 0 11 0 1789211882 861544448 22041 4294967295 134512640 134569956 3221224336 3221214760 1131512005 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 22041 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 16.31
Current children cumulated vsize (Kb) 841352
One traced child (pid=29153) exited with status: 0
New thread pid=29154

[startup+30.0043 s]
Raw data (loadavg): 1.13 1.03 0.95 2/66 29154
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18209 4 1 0 2493 52 0 0 22 0 11 0 1789211882 861544448 22202 4294967295 134512640 134569956 3221224336 3221214672 1131504005 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 22202 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (Kb) 841352
One traced child (pid=29154) exited with status: 0
New thread pid=29155

[startup+40.0061 s]
Raw data (loadavg): 1.11 1.03 0.95 2/66 29155
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18220 4 1 0 3429 52 0 0 25 0 11 0 1789211882 861544448 22955 4294967295 134512640 134569956 3221224336 3221214712 1131371307 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 22955 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 34.81
Current children cumulated vsize (Kb) 841352

[startup+50.007 s]
Raw data (loadavg): 1.09 1.03 0.95 2/66 29155
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18230 4 1 0 4395 53 0 0 25 0 11 0 1789211882 861544448 23004 4294967295 134512640 134569956 3221224336 3221214760 1131512308 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 23004 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 44.48
Current children cumulated vsize (Kb) 841352
One traced child (pid=29155) exited with status: 0
New thread pid=29156

[startup+60.0078 s]
Raw data (loadavg): 1.08 1.03 0.95 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18242 4 1 0 5341 53 0 0 24 0 11 0 1789211882 861544448 23130 4294967295 134512640 134569956 3221224336 3221214584 1131380284 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 23130 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 53.94
Current children cumulated vsize (Kb) 841352

[startup+70.0087 s]
Raw data (loadavg): 1.06 1.03 0.95 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18251 4 1 0 6302 54 0 0 16 0 11 0 1789211882 861544448 23202 4294967295 134512640 134569956 3221224336 3221214536 1131403391 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 23202 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 63.56
Current children cumulated vsize (Kb) 841352

[startup+80.0095 s]
Raw data (loadavg): 1.05 1.03 0.95 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18260 4 1 0 7264 54 0 0 18 0 11 0 1789211882 861544448 23290 4294967295 134512640 134569956 3221224336 3221214568 1131407067 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 23290 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 73.18
Current children cumulated vsize (Kb) 841352

[startup+90.0094 s]
Raw data (loadavg): 1.04 1.02 0.95 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18267 4 1 0 8231 54 0 0 25 0 11 0 1789211882 861544448 23449 4294967295 134512640 134569956 3221224336 3221214672 1131503527 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 23449 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 82.85
Current children cumulated vsize (Kb) 841352

[startup+100.01 s]
Raw data (loadavg): 1.04 1.02 0.95 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18276 4 1 0 9190 55 0 0 25 0 11 0 1789211882 861544448 23539 4294967295 134512640 134569956 3221224336 3221214672 1131503937 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 23539 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 92.45
Current children cumulated vsize (Kb) 841352

[startup+110.011 s]
Raw data (loadavg): 1.03 1.02 0.95 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18283 4 1 0 10147 56 0 0 21 0 11 0 1789211882 861544448 23588 4294967295 134512640 134569956 3221224336 3221214204 1131631200 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 23588 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (Kb) 841352

[startup+120.012 s]
Raw data (loadavg): 1.03 1.02 0.95 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18289 4 1 0 11107 56 0 0 25 0 11 0 1789211882 861544448 23706 4294967295 134512640 134569956 3221224336 3221214456 1131380823 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 23706 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 111.63
Current children cumulated vsize (Kb) 841352

[startup+130.013 s]
Raw data (loadavg): 1.02 1.02 0.95 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) S 29142 29143 31915 0 -1 0 18296 4 1 0 12062 56 0 0 25 0 11 0 1789211882 861544448 23887 4294967295 134512640 134569956 3221224336 3221213104 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 23887 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 121.18
Current children cumulated vsize (Kb) 841352

[startup+140.015 s]
Raw data (loadavg): 1.02 1.02 0.95 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18302 4 1 0 13018 56 0 0 25 0 11 0 1789211882 861544448 24068 4294967295 134512640 134569956 3221224336 3221214712 1131371200 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 24068 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 130.74
Current children cumulated vsize (Kb) 841352

[startup+150.015 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18310 4 1 0 13966 57 0 0 25 0 11 0 1789211882 861544448 24325 4294967295 134512640 134569956 3221224336 3221214488 1131454737 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 24325 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 140.23
Current children cumulated vsize (Kb) 841352

[startup+160.016 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18317 4 1 0 14923 58 0 0 25 0 11 0 1789211882 861544448 24545 4294967295 134512640 134569956 3221224336 3221214672 1131503515 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 24545 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 149.81
Current children cumulated vsize (Kb) 841352

[startup+170.017 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18324 4 1 0 15877 58 0 0 25 0 11 0 1789211882 861544448 24762 4294967295 134512640 134569956 3221224336 3221214336 1131619410 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 24762 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 159.35
Current children cumulated vsize (Kb) 841352

[startup+180.017 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18330 4 1 0 16837 59 0 0 25 0 11 0 1789211882 861544448 24994 4294967295 134512640 134569956 3221224336 3221214536 1131403466 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 24994 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 168.96
Current children cumulated vsize (Kb) 841352

[startup+190.018 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18336 4 1 0 17796 59 0 0 25 0 11 0 1789211882 861544448 25257 4294967295 134512640 134569956 3221224336 3221214528 1131454785 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 25257 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 178.55
Current children cumulated vsize (Kb) 841352

[startup+200.019 s]
Raw data (loadavg): 1.08 1.03 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18343 4 1 0 18753 59 0 0 25 0 11 0 1789211882 861544448 25495 4294967295 134512640 134569956 3221224336 3221214712 1131371200 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 25495 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 188.12
Current children cumulated vsize (Kb) 841352

[startup+210.018 s]
Raw data (loadavg): 1.07 1.03 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18350 4 1 0 19711 59 0 0 24 0 11 0 1789211882 861544448 25853 4294967295 134512640 134569956 3221224336 3221214584 1131378201 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 25853 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 197.7
Current children cumulated vsize (Kb) 841352

[startup+220.02 s]
Raw data (loadavg): 1.06 1.03 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18358 4 1 0 20664 60 0 0 25 0 11 0 1789211882 861544448 26051 4294967295 134512640 134569956 3221224336 3221214672 1131504192 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 26051 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 207.24
Current children cumulated vsize (Kb) 841352

[startup+230.021 s]
Raw data (loadavg): 1.05 1.03 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18365 4 1 0 21621 60 0 0 24 0 11 0 1789211882 861544448 26148 4294967295 134512640 134569956 3221224336 3221214504 1131454731 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 26148 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 216.81
Current children cumulated vsize (Kb) 841352

[startup+240.021 s]
Raw data (loadavg): 1.04 1.03 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18373 4 1 0 22571 60 0 0 25 0 11 0 1789211882 861544448 26391 4294967295 134512640 134569956 3221224336 3221214488 1131452663 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 26391 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 226.31
Current children cumulated vsize (Kb) 841352

[startup+250.022 s]
Raw data (loadavg): 1.03 1.02 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18380 4 1 0 23525 61 0 0 25 0 11 0 1789211882 861544448 26666 4294967295 134512640 134569956 3221224336 3221214672 1131504129 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 26666 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 235.86
Current children cumulated vsize (Kb) 841352

[startup+260.023 s]
Raw data (loadavg): 1.03 1.02 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18387 4 1 0 24476 61 0 0 24 0 11 0 1789211882 861544448 26901 4294967295 134512640 134569956 3221224336 3221214504 1131454698 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 26901 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 245.37
Current children cumulated vsize (Kb) 841352

[startup+270.023 s]
Raw data (loadavg): 1.02 1.02 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18394 4 1 0 25421 61 0 0 25 0 11 0 1789211882 861544448 26985 4294967295 134512640 134569956 3221224336 3221214672 1131504148 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 26985 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 254.82
Current children cumulated vsize (Kb) 841352

[startup+280.024 s]
Raw data (loadavg): 1.02 1.02 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) S 29142 29143 31915 0 -1 0 18401 4 1 0 26353 62 0 0 25 0 11 0 1789211882 861544448 27229 4294967295 134512640 134569956 3221224336 3221213416 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 27229 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 264.15
Current children cumulated vsize (Kb) 841352

[startup+290.025 s]
Raw data (loadavg): 1.02 1.02 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18409 4 1 0 27294 62 0 0 25 0 11 0 1789211882 861544448 27566 4294967295 134512640 134569956 3221224336 3221214672 1131504513 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 27566 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 273.56
Current children cumulated vsize (Kb) 841352

[startup+300.026 s]
Raw data (loadavg): 1.01 1.02 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18415 4 1 0 28246 63 0 0 25 0 11 0 1789211882 861544448 27646 4294967295 134512640 134569956 3221224336 3221214672 1131504005 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 27646 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 283.09
Current children cumulated vsize (Kb) 841352

[startup+310.027 s]
Raw data (loadavg): 1.01 1.02 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18422 4 1 0 29190 63 0 0 25 0 11 0 1789211882 861544448 27813 4294967295 134512640 134569956 3221224336 3221214712 1131371200 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 27813 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 292.53
Current children cumulated vsize (Kb) 841352

[startup+320.029 s]
Raw data (loadavg): 1.01 1.02 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18429 4 1 0 30132 63 0 0 25 0 11 0 1789211882 861544448 28071 4294967295 134512640 134569956 3221224336 3221214672 1131504437 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 28071 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 301.95
Current children cumulated vsize (Kb) 841352

[startup+330.029 s]
Raw data (loadavg): 1.01 1.02 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18436 4 1 0 31069 64 0 0 25 0 11 0 1789211882 861544448 28362 4294967295 134512640 134569956 3221224336 3221214712 1131534894 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 28362 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 311.33
Current children cumulated vsize (Kb) 841352

[startup+340.029 s]
Raw data (loadavg): 1.00 1.02 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18443 4 1 0 32005 64 0 0 22 0 11 0 1789211882 861544448 28568 4294967295 134512640 134569956 3221224336 3221214712 1131371232 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 28568 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 320.69
Current children cumulated vsize (Kb) 841352

[startup+350.03 s]
Raw data (loadavg): 1.00 1.02 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18451 4 1 0 32943 64 0 0 25 0 11 0 1789211882 861544448 28787 4294967295 134512640 134569956 3221224336 3221214712 1131371307 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 28787 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 330.07
Current children cumulated vsize (Kb) 841352

[startup+360.031 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18458 4 1 0 33882 65 0 0 25 0 11 0 1789211882 861544448 29039 4294967295 134512640 134569956 3221224336 3221214672 1131504148 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 29039 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 339.47
Current children cumulated vsize (Kb) 841352

[startup+370.032 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18464 4 1 0 34831 65 0 0 25 0 11 0 1789211882 861544448 29126 4294967295 134512640 134569956 3221224336 3221214672 1131503519 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 29126 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 348.96
Current children cumulated vsize (Kb) 841352

[startup+380.033 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18471 4 1 0 35769 66 0 0 22 0 11 0 1789211882 861544448 29365 4294967295 134512640 134569956 3221224336 3221214736 1131509293 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 29365 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 358.35
Current children cumulated vsize (Kb) 841352

[startup+390.034 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) S 29142 29143 31915 0 -1 0 18478 4 1 0 36706 66 0 0 17 0 11 0 1789211882 861544448 29595 4294967295 134512640 134569956 3221224336 3221213288 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 29595 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 367.72
Current children cumulated vsize (Kb) 841352

[startup+400.035 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18486 4 1 0 37637 67 0 0 18 0 11 0 1789211882 861544448 29849 4294967295 134512640 134569956 3221224336 3221214672 1131504005 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 29849 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 377.04
Current children cumulated vsize (Kb) 841352

[startup+410.036 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) S 29142 29143 31915 0 -1 0 18492 4 1 0 38577 67 0 0 25 0 11 0 1789211882 861544448 29980 4294967295 134512640 134569956 3221224336 3221213392 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 29980 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 386.44
Current children cumulated vsize (Kb) 841352

[startup+420.038 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18500 4 1 0 39506 67 0 0 16 0 11 0 1789211882 861544448 30218 4294967295 134512640 134569956 3221224336 3221214712 1131371217 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 30218 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 395.73
Current children cumulated vsize (Kb) 841352

[startup+430.039 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18507 4 1 0 40441 68 0 0 25 0 11 0 1789211882 861544448 30367 4294967295 134512640 134569956 3221224336 3221214672 1131503772 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 30367 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 405.09
Current children cumulated vsize (Kb) 841352

[startup+440.039 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18515 4 1 0 41371 68 0 0 20 0 11 0 1789211882 861544448 30609 4294967295 134512640 134569956 3221224336 3221214672 1131504152 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 30609 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 414.39
Current children cumulated vsize (Kb) 841352

[startup+450.04 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18523 4 1 0 42307 69 0 0 17 0 11 0 1789211882 861544448 30862 4294967295 134512640 134569956 3221224336 3221214584 1131534843 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 30862 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 423.76
Current children cumulated vsize (Kb) 841352

[startup+460.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18531 4 1 0 43252 69 0 0 24 0 11 0 1789211882 861544448 31109 4294967295 134512640 134569956 3221224336 3221214400 1131658913 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 31109 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 433.21
Current children cumulated vsize (Kb) 841352

[startup+470.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18538 4 1 0 44206 71 0 0 25 0 11 0 1789211882 861544448 31259 4294967295 134512640 134569956 3221224336 3221214672 1131503977 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 31259 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 442.77
Current children cumulated vsize (Kb) 841352

[startup+480.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18546 4 1 0 45153 72 0 0 25 0 11 0 1789211882 861544448 31423 4294967295 134512640 134569956 3221224336 3221214504 1131454565 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 31423 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 452.25
Current children cumulated vsize (Kb) 841352

[startup+490.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18554 4 1 0 46102 72 0 0 20 0 11 0 1789211882 861544448 31586 4294967295 134512640 134569956 3221224336 3221214672 1131504544 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 31586 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 461.74
Current children cumulated vsize (Kb) 841352

[startup+500.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18562 4 1 0 47051 72 0 0 21 0 11 0 1789211882 861544448 31748 4294967295 134512640 134569956 3221224336 3221214464 1131553537 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 31748 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 471.23
Current children cumulated vsize (Kb) 841352

[startup+510.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18568 4 1 0 48011 73 0 0 25 0 11 0 1789211882 861544448 31876 4294967295 134512640 134569956 3221224336 3221214756 1131542441 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 31876 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 480.84
Current children cumulated vsize (Kb) 841352

[startup+520.044 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18575 4 1 0 48970 74 0 0 17 0 11 0 1789211882 861544448 32018 4294967295 134512640 134569956 3221224336 3221214760 1131511968 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 32018 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 490.44
Current children cumulated vsize (Kb) 841352
One traced child (pid=29156) exited with status: 0

[startup+530.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 29156
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18581 4 1 0 49944 74 0 0 25 0 10 0 1789211882 861544448 32116 4294967295 134512640 134569956 3221224336 3221214744 1131503538 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 32116 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 500.18
Current children cumulated vsize (Kb) 841352
New thread pid=29157

[startup+540.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 29157
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18588 4 1 0 50921 74 0 0 25 0 11 0 1789211882 861544448 32210 4294967295 134512640 134569956 3221224336 3221214592 1131504116 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 32210 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 509.95
Current children cumulated vsize (Kb) 841352

[startup+550.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 29157
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18596 4 1 0 51888 75 0 0 25 0 11 0 1789211882 861544448 32371 4294967295 134512640 134569956 3221224336 3221214592 1131503527 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 32371 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 519.63
Current children cumulated vsize (Kb) 841352

[startup+560.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 29157
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18602 4 1 0 52863 75 0 0 19 0 11 0 1789211882 861544448 32431 4294967295 134512640 134569956 3221224336 3221214592 1131504192 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 32431 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 529.38
Current children cumulated vsize (Kb) 841352

[startup+570.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 29157
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18608 4 1 0 53833 75 0 0 25 0 11 0 1789211882 861544448 32453 4294967295 134512640 134569956 3221224336 3221214592 1131503616 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 32453 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 539.08
Current children cumulated vsize (Kb) 841352

[startup+580.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 29157
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18614 4 1 0 54796 75 0 0 25 0 11 0 1789211882 861544448 32507 4294967295 134512640 134569956 3221224336 3221214592 1131504005 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 32507 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 548.71
Current children cumulated vsize (Kb) 841352

[startup+590.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 29157
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18621 4 1 0 55756 75 0 0 25 0 11 0 1789211882 861544448 32773 4294967295 134512640 134569956 3221224336 3221214608 1131499284 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 32773 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 558.31
Current children cumulated vsize (Kb) 841352

[startup+600.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 29157
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18626 4 1 0 56725 76 0 0 25 0 11 0 1789211882 861544448 32849 4294967295 134512640 134569956 3221224336 3221214592 1131504136 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 32849 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 568.01
Current children cumulated vsize (Kb) 841352

[startup+610.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 29157
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18632 4 1 0 57688 76 0 0 23 0 11 0 1789211882 861544448 32944 4294967295 134512640 134569956 3221224336 3221214592 1131504005 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 32944 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 577.64
Current children cumulated vsize (Kb) 841352

[startup+620.054 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 29157
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18638 4 1 0 58651 76 0 0 25 0 11 0 1789211882 861544448 33154 4294967295 134512640 134569956 3221224336 3221214152 1131551626 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 33154 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 587.27
Current children cumulated vsize (Kb) 841352

[startup+630.054 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 29157
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18646 4 1 0 59607 77 0 0 25 0 11 0 1789211882 861544448 33449 4294967295 134512640 134569956 3221224336 3221214520 1131534832 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 33449 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 596.84
Current children cumulated vsize (Kb) 841352

[startup+640.054 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 29157
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18652 4 1 0 60578 77 0 0 18 0 11 0 1789211882 861544448 33692 4294967295 134512640 134569956 3221224336 3221214152 1131551612 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 33692 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 606.55
Current children cumulated vsize (Kb) 841352

[startup+650.055 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 29157
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18658 4 1 0 61550 77 0 0 25 0 11 0 1789211882 861544448 33722 4294967295 134512640 134569956 3221224336 3221214376 1131551402 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 33722 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 616.27
Current children cumulated vsize (Kb) 841352

[startup+660.055 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 29157
Raw data (/proc/29143/stat): 29143 (java) S 29142 29143 31915 0 -1 0 18665 4 1 0 62513 78 0 0 25 0 11 0 1789211882 861544448 33851 4294967295 134512640 134569956 3221224336 3221213192 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 33851 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 625.91
Current children cumulated vsize (Kb) 841352

[startup+670.056 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 29157
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18669 4 1 0 63491 78 0 0 25 0 11 0 1789211882 861544448 33884 4294967295 134512640 134569956 3221224336 3221214264 1131551645 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 33884 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 635.69
Current children cumulated vsize (Kb) 841352

[startup+680.057 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 29157
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18675 4 1 0 64459 79 0 0 25 0 11 0 1789211882 861544448 33906 4294967295 134512640 134569956 3221224336 3221214048 1131553453 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 33906 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 645.38
Current children cumulated vsize (Kb) 841352

[startup+690.057 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 29157
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18681 4 1 0 65429 79 0 0 25 0 11 0 1789211882 861544448 33984 4294967295 134512640 134569956 3221224336 3221214592 1131504101 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 33984 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 655.08
Current children cumulated vsize (Kb) 841352
One traced child (pid=29157) exited with status: 0
New thread pid=29158

[startup+700.058 s]
Raw data (loadavg): 1.07 1.02 0.96 2/66 29158
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18686 4 1 0 66406 79 0 0 25 0 11 0 1789211882 861544448 34076 4294967295 134512640 134569956 3221224336 3221214432 1131551566 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 34076 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 664.85
Current children cumulated vsize (Kb) 841352

[startup+710.058 s]
Raw data (loadavg): 1.06 1.02 0.96 2/66 29158
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18692 4 1 0 67384 80 0 0 25 0 11 0 1789211882 861544448 34183 4294967295 134512640 134569956 3221224336 3221214632 1131371274 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 34183 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 674.64
Current children cumulated vsize (Kb) 841352

[startup+720.06 s]
Raw data (loadavg): 1.05 1.01 0.96 2/66 29158
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18700 4 1 0 68362 80 0 0 25 0 11 0 1789211882 861544448 34254 4294967295 134512640 134569956 3221224336 3221214592 1131503515 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 34254 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 684.42
Current children cumulated vsize (Kb) 841352

[startup+730.061 s]
Raw data (loadavg): 1.04 1.01 0.96 2/66 29158
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18708 4 1 0 69339 80 0 0 24 0 11 0 1789211882 861544448 34278 4294967295 134512640 134569956 3221224336 3221214632 1131371197 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 34278 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 694.19
Current children cumulated vsize (Kb) 841352

[startup+740.062 s]
Raw data (loadavg): 1.04 1.01 0.96 2/66 29158
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18715 4 1 0 70318 80 0 0 25 0 11 0 1789211882 861544448 34296 4294967295 134512640 134569956 3221224336 3221214592 1131504052 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 34296 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 703.98
Current children cumulated vsize (Kb) 841352

[startup+750.063 s]
Raw data (loadavg): 1.10 1.03 0.97 2/66 29158
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18723 4 1 0 71293 81 0 0 25 0 11 0 1789211882 861544448 34338 4294967295 134512640 134569956 3221224336 3221214360 1131597054 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 34338 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 713.74
Current children cumulated vsize (Kb) 841352

[startup+760.064 s]
Raw data (loadavg): 1.09 1.03 0.97 2/66 29158
Raw data (/proc/29143/stat): 29143 (java) S 29142 29143 31915 0 -1 0 18733 4 1 0 72263 81 0 0 25 0 11 0 1789211882 861544448 34422 4294967295 134512640 134569956 3221224336 3221213192 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 34422 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 723.44
Current children cumulated vsize (Kb) 841352

[startup+770.064 s]
Raw data (loadavg): 1.07 1.03 0.97 2/66 29158
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18739 4 1 0 73239 82 0 0 25 0 11 0 1789211882 861544448 34458 4294967295 134512640 134569956 3221224336 3221214488 1131551402 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 34458 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 733.21
Current children cumulated vsize (Kb) 841352

[startup+780.064 s]
Raw data (loadavg): 1.06 1.02 0.97 2/66 29158
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18746 4 1 0 74213 82 0 0 22 0 11 0 1789211882 861544448 34501 4294967295 134512640 134569956 3221224336 3221214320 1131551599 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 34501 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 742.95
Current children cumulated vsize (Kb) 841352

[startup+790.065 s]
Raw data (loadavg): 1.05 1.02 0.97 2/66 29158
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18752 4 1 0 75189 82 0 0 24 0 11 0 1789211882 861544448 34539 4294967295 134512640 134569956 3221224336 3221214012 1131547217 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 34539 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 752.71
Current children cumulated vsize (Kb) 841352

[startup+800.066 s]
Raw data (loadavg): 1.04 1.02 0.97 2/66 29158
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18758 4 1 0 76164 83 0 0 25 0 11 0 1789211882 861544448 34594 4294967295 134512640 134569956 3221224336 3221214592 1131504244 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 34594 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 762.47
Current children cumulated vsize (Kb) 841352

[startup+810.066 s]
Raw data (loadavg): 1.04 1.02 0.97 2/66 29158
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18764 4 1 0 77142 83 0 0 25 0 11 0 1789211882 861544448 34661 4294967295 134512640 134569956 3221224336 3221214472 1131555260 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 34661 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 772.25
Current children cumulated vsize (Kb) 841352

[startup+820.068 s]
Raw data (loadavg): 1.03 1.02 0.97 2/66 29158
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18770 4 1 0 78121 83 0 0 25 0 11 0 1789211882 861544448 34705 4294967295 134512640 134569956 3221224336 3221214632 1131371243 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 34705 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 782.04
Current children cumulated vsize (Kb) 841352
One traced child (pid=29158) exited with status: 0
New thread pid=29159

[startup+830.068 s]
Raw data (loadavg): 1.02 1.02 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18775 4 1 0 79102 83 0 0 17 0 11 0 1789211882 861544448 34732 4294967295 134512640 134569956 3221224336 3221214504 1131379834 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 34732 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 791.85
Current children cumulated vsize (Kb) 841352

[startup+840.068 s]
Raw data (loadavg): 1.02 1.02 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18781 4 1 0 80082 83 0 0 25 0 11 0 1789211882 861544448 34788 4294967295 134512640 134569956 3221224336 3221214632 1131371307 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 34788 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 801.65
Current children cumulated vsize (Kb) 841352

[startup+850.069 s]
Raw data (loadavg): 1.02 1.02 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18789 4 1 0 81055 84 0 0 25 0 11 0 1789211882 861544448 34853 4294967295 134512640 134569956 3221224336 3221214400 1131574462 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 34853 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 811.39
Current children cumulated vsize (Kb) 841352

[startup+860.07 s]
Raw data (loadavg): 1.01 1.02 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18794 4 1 0 82038 84 0 0 25 0 11 0 1789211882 861544448 34863 4294967295 134512640 134569956 3221224336 3221214296 1131633084 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 34863 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 821.22
Current children cumulated vsize (Kb) 841352

[startup+870.071 s]
Raw data (loadavg): 1.01 1.02 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18798 4 1 0 83022 84 0 0 25 0 11 0 1789211882 861544448 34870 4294967295 134512640 134569956 3221224336 3221214328 1131632931 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 34870 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 831.06
Current children cumulated vsize (Kb) 841352

[startup+880.072 s]
Raw data (loadavg): 1.01 1.02 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18802 4 1 0 84005 85 0 0 25 0 11 0 1789211882 861544448 34877 4294967295 134512640 134569956 3221224336 3221214472 1131403603 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 34877 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 840.9
Current children cumulated vsize (Kb) 841352

[startup+890.072 s]
Raw data (loadavg): 1.01 1.01 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18807 4 1 0 84983 85 0 0 20 0 11 0 1789211882 861544448 34911 4294967295 134512640 134569956 3221224336 3221214440 1131578078 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 34911 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 850.68
Current children cumulated vsize (Kb) 841352

[startup+900.072 s]
Raw data (loadavg): 1.01 1.01 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18811 4 1 0 85966 85 0 0 25 0 11 0 1789211882 861544448 34959 4294967295 134512640 134569956 3221224336 3221214480 1131403648 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 34959 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 860.51
Current children cumulated vsize (Kb) 841352

[startup+910.073 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18816 4 1 0 86943 86 0 0 25 0 11 0 1789211882 861544448 35033 4294967295 134512640 134569956 3221224336 3221214592 1131504025 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 35033 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 870.29
Current children cumulated vsize (Kb) 841352

[startup+920.075 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18821 4 1 0 87922 86 0 0 25 0 11 0 1789211882 861544448 35128 4294967295 134512640 134569956 3221224336 3221214460 1131616965 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 35128 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 880.08
Current children cumulated vsize (Kb) 841352

[startup+930.076 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18825 4 1 0 88905 86 0 0 25 0 11 0 1789211882 861544448 35233 4294967295 134512640 134569956 3221224336 3221214360 1131596987 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 35233 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 889.91
Current children cumulated vsize (Kb) 841352

[startup+940.077 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18829 4 1 0 89888 86 0 0 25 0 11 0 1789211882 861544448 35331 4294967295 134512640 134569956 3221224336 3221214328 1131633129 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 35331 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 899.74
Current children cumulated vsize (Kb) 841352

[startup+950.078 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18834 4 1 0 90866 86 0 0 25 0 11 0 1789211882 861544448 35470 4294967295 134512640 134569956 3221224336 3221214632 1131371200 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 35470 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 909.52
Current children cumulated vsize (Kb) 841352

[startup+960.078 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18839 4 1 0 91844 87 0 0 25 0 11 0 1789211882 861544448 35589 4294967295 134512640 134569956 3221224336 3221214200 1080338957 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 35589 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 919.31
Current children cumulated vsize (Kb) 841352

[startup+970.079 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18845 4 1 0 92819 87 0 0 25 0 11 0 1789211882 861544448 35710 4294967295 134512640 134569956 3221224336 3221214528 1131381784 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 35710 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 929.06
Current children cumulated vsize (Kb) 841352

[startup+980.08 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18851 4 1 0 93794 87 0 0 25 0 11 0 1789211882 861544448 35895 4294967295 134512640 134569956 3221224336 3221214592 1131503649 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 35895 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 938.81
Current children cumulated vsize (Kb) 841352

[startup+990.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18858 4 1 0 94765 88 0 0 25 0 11 0 1789211882 861544448 36058 4294967295 134512640 134569956 3221224336 3221214328 1131633061 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 36058 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 948.53
Current children cumulated vsize (Kb) 841352

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18864 4 1 0 95741 88 0 0 25 0 11 0 1789211882 861544448 36210 4294967295 134512640 134569956 3221224336 3221214376 1131638066 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 36210 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 958.29
Current children cumulated vsize (Kb) 841352

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18869 4 1 0 96721 88 0 0 25 0 11 0 1789211882 861544448 36324 4294967295 134512640 134569956 3221224336 3221214472 1131403540 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 36324 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 968.09
Current children cumulated vsize (Kb) 841352

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18875 4 1 0 97697 88 0 0 17 0 11 0 1789211882 861544448 36442 4294967295 134512640 134569956 3221224336 3221214480 1131631189 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 36442 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 977.85
Current children cumulated vsize (Kb) 841352

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18882 4 1 0 98668 88 0 0 25 0 11 0 1789211882 861544448 36531 4294967295 134512640 134569956 3221224336 3221214592 1131503964 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 36531 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 987.56
Current children cumulated vsize (Kb) 841352

[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18889 4 1 0 99639 89 0 0 23 0 11 0 1789211882 861544448 36681 4294967295 134512640 134569956 3221224336 3221214552 1131536137 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 36681 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 997.28
Current children cumulated vsize (Kb) 841352

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18898 4 1 0 100603 90 0 0 18 0 11 0 1789211882 861544448 36897 4294967295 134512640 134569956 3221224336 3221214440 1131578271 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 36897 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 1006.93
Current children cumulated vsize (Kb) 841352

[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18907 4 1 0 101569 90 0 0 25 0 11 0 1789211882 861544448 37020 4294967295 134512640 134569956 3221224336 3221214504 1131442705 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 37020 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 1016.59
Current children cumulated vsize (Kb) 841352

[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18916 4 1 0 102537 91 0 0 19 0 11 0 1789211882 861544448 37135 4294967295 134512640 134569956 3221224336 3221214632 1131371200 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 37135 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 1026.28
Current children cumulated vsize (Kb) 841352

[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18925 4 1 0 103510 92 0 0 25 0 11 0 1789211882 861544448 37235 4294967295 134512640 134569956 3221224336 3221214592 1131503929 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 37235 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 1036.02
Current children cumulated vsize (Kb) 841352

[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18934 4 1 0 104485 92 0 0 19 0 11 0 1789211882 861544448 37320 4294967295 134512640 134569956 3221224336 3221214592 1131504005 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 37320 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 1045.77
Current children cumulated vsize (Kb) 841352

[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18943 4 1 0 105460 93 0 0 25 0 11 0 1789211882 861544448 37397 4294967295 134512640 134569956 3221224336 3221214680 1131511831 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 37397 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 1055.53
Current children cumulated vsize (Kb) 841352

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18952 4 1 0 106434 93 0 0 25 0 11 0 1789211882 861544448 37475 4294967295 134512640 134569956 3221224336 3221214592 1131503975 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 37475 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 1065.27
Current children cumulated vsize (Kb) 841352

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18960 4 1 0 107409 94 0 0 24 0 11 0 1789211882 861544448 37543 4294967295 134512640 134569956 3221224336 3221214152 1131551599 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 37543 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 1075.03
Current children cumulated vsize (Kb) 841352

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18967 4 1 0 108386 94 0 0 25 0 11 0 1789211882 861544448 37600 4294967295 134512640 134569956 3221224336 3221214592 1131504513 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 37600 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 1084.8
Current children cumulated vsize (Kb) 841352

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18974 4 1 0 109363 94 0 0 19 0 11 0 1789211882 861544448 37667 4294967295 134512640 134569956 3221224336 3221214680 1131512215 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 37667 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 1094.57
Current children cumulated vsize (Kb) 841352

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18981 4 1 0 110338 94 0 0 19 0 11 0 1789211882 861544448 37741 4294967295 134512640 134569956 3221224336 3221214632 1131371217 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 37741 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 1104.32
Current children cumulated vsize (Kb) 841352

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29159
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18988 4 1 0 111312 94 0 0 25 0 11 0 1789211882 861544448 37809 4294967295 134512640 134569956 3221224336 3221214592 1131504005 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 37809 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 1114.06
Current children cumulated vsize (Kb) 841352
One traced child (pid=29159) exited with status: 0
New thread pid=29160

[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29160
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18993 4 1 0 112295 95 0 0 24 0 11 0 1789211882 861544448 37819 4294967295 134512640 134569956 3221224336 3221214592 1131503649 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 37819 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 1123.9
Current children cumulated vsize (Kb) 841352

[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29160
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 18998 4 1 0 113277 95 0 0 18 0 11 0 1789211882 861544448 37847 4294967295 134512640 134569956 3221224336 3221214568 1131454720 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 37847 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 1133.72
Current children cumulated vsize (Kb) 841352

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29160
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 19006 4 1 0 114248 95 0 0 25 0 11 0 1789211882 861544448 37890 4294967295 134512640 134569956 3221224336 3221214424 1131454773 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 37890 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 1143.43
Current children cumulated vsize (Kb) 841352

[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29160
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 19015 4 1 0 115214 96 0 0 18 0 11 0 1789211882 861544448 37961 4294967295 134512640 134569956 3221224336 3221214608 1131600309 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 37961 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 1153.1
Current children cumulated vsize (Kb) 841352

[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29160
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 19024 4 1 0 116178 96 0 0 24 0 11 0 1789211882 861544448 38001 4294967295 134512640 134569956 3221224336 3221214592 1131503533 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 38001 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 1162.74
Current children cumulated vsize (Kb) 841352

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 29160
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 19032 4 1 0 117147 97 0 0 25 0 11 0 1789211882 861544448 38081 4294967295 134512640 134569956 3221224336 3221214640 1131666627 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/29143/statm): 210338 38081 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 1172.44
Current children cumulated vsize (Kb) 841352

[startup+1230.1 s]
Raw data (loadavg): 1.07 1.02 0.97 2/66 29160
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 19041 4 1 0 118114 97 0 0 17 0 11 0 1789211882 861544448 38177 4294967295 134512640 134569956 3221224336 3221214592 1131504005 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 38177 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (Kb) 841352

[startup+1240.1 s]
Raw data (loadavg): 1.06 1.02 0.97 2/66 29160
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 19049 4 1 0 119085 98 0 0 23 0 11 0 1789211882 861544448 38268 4294967295 134512640 134569956 3221224336 3221214592 1131503977 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 38268 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 1191.83
Current children cumulated vsize (Kb) 841352

[startup+1250.1 s]
Raw data (loadavg): 1.05 1.01 0.97 2/66 29160
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 19058 4 1 0 120053 98 0 0 17 0 11 0 1789211882 861544448 38361 4294967295 134512640 134569956 3221224336 3221214016 1131546940 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 38361 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 1201.51
Current children cumulated vsize (Kb) 841352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1250.11 s]
Raw data (loadavg): 1.05 1.01 0.97 2/66 29160
Raw data (/proc/29143/stat): 29143 (java) R 29142 29143 31915 0 -1 0 19058 4 1 0 120053 98 0 0 17 0 11 0 1789211882 861544448 38361 4294967295 134512640 134569956 3221224336 3221214304 1131555129 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/29143/statm): 210338 38361 13129 16 0 210322 0
[pid=29143] vsize: 841352
Current children cumulated CPU time (s) 1201.51
Current children cumulated vsize (Kb) 841352

Sending SIGTERM to -29143
Sleeping 2 seconds
New thread pid=29162
New thread pid=29163
One traced child (pid=29163) exited with status: 0
One traced child (pid=29152) exited with status: 0
One traced child (pid=29147) exited with status: 0
One traced child (pid=29144) exited with status: 143
One traced child (pid=29149) exited with status: 143
One traced child (pid=29150) exited with status: 143
One traced child (pid=29145) exited with status: 143
One traced child (pid=29146) exited with status: 143
One traced child (pid=29151) exited with status: 143
One traced child (pid=29148) exited with status: 143
One traced child (pid=29160) exited with status: 143
One traced child (pid=29162) exited with status: 143
One traced child (pid=29143) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1250.39
CPU time (s): 1259.64
CPU user time (s): 1257.63
CPU system time (s): 2.00769
CPU usage (%): 100.739
Max. virtual memory (cumulated for all children) (Kb): 842088
Name	mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb
MD5SUM	929651d54295ccab2bd7ed98e4ab5229
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	13303876395624
Optimality of the best value was proved	NO
Number of terms in the objective function	478
Biggest coefficient in the objective function	536870912000000
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	1073761158741413
Number of bits of the sum of numbers in the objective function	50
Biggest number in a constraint	71583145981965762560
Number of bits of the biggest number in a constraint	66
Biggest sum of numbers in a constraint	303620978593259257856
Number of bits of the biggest sum of numbers	69
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1259.64
Number of variables	780
Total number of constraints	707
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	338
Number of constraints which are nor clauses,nor cardinality constraints	369
Minimum length of a constraint	1
Maximum length of a constraint	101
Some explanations

General information on the benchmark

Trace number 4208

Launcher Data

Solver Data

Watcher Data

Verifier Data
