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/543/stat): 543 (java) T 542 543 20602 0 -1 0 25 0 0 0 0 0 0 0 23 0 1 0 1722472331 159744 9 4294967295 134512640 134569956 3221224480 3221223840 1073813229 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/543/statm): 39 9 38 16 0 23 0
[pid=543] 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/543
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=544
New thread pid=545
New thread pid=546
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=547
New thread pid=548
New thread pid=549
New thread pid=550
New thread pid=551
New thread pid=552
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-frb50-23-5.opb

[startup+10.0021 s]
Raw data (loadavg): 1.08 1.03 1.00 2/66 552
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18111 0 1 0 751 56 0 0 25 0 10 0 1722472331 856821760 22601 4294967295 134512640 134569956 3221224336 3221214776 1131314584 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209185 22601 13129 16 0 209169 0
[pid=543] vsize: 836740
Current children cumulated CPU time (s) 8.07
Current children cumulated vsize (Kb) 836740
New thread pid=553
One traced child (pid=553) exited with status: 0
New thread pid=554
One traced child (pid=554) exited with status: 0
New thread pid=555
One traced child (pid=555) exited with status: 0
New thread pid=556

[startup+20.0028 s]
Raw data (loadavg): 1.07 1.03 1.00 2/67 556
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18206 4 1 0 1490 58 0 0 17 0 11 0 1722472331 858398720 32327 4294967295 134512640 134569956 3221224336 3221214508 1131368096 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 32327 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 15.48
Current children cumulated vsize (Kb) 838280
One traced child (pid=556) exited with status: 0
New thread pid=557

[startup+30.0035 s]
Raw data (loadavg): 1.06 1.03 1.00 2/67 557
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18216 4 1 0 2426 59 0 0 18 0 11 0 1722472331 858398720 32883 4294967295 134512640 134569956 3221224336 3221214496 1131550437 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 32883 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 24.85
Current children cumulated vsize (Kb) 838280

[startup+40.0032 s]
Raw data (loadavg): 1.05 1.03 1.00 2/67 557
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18223 4 1 0 3351 59 0 0 20 0 11 0 1722472331 858398720 33864 4294967295 134512640 134569956 3221224336 3221214784 1131370009 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 33864 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 34.1
Current children cumulated vsize (Kb) 838280

[startup+50.0039 s]
Raw data (loadavg): 1.04 1.03 1.00 2/67 557
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18232 4 1 0 4286 60 0 0 16 0 11 0 1722472331 858398720 34353 4294967295 134512640 134569956 3221224336 3221214616 1131570770 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 34353 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 43.46
Current children cumulated vsize (Kb) 838280
One traced child (pid=557) exited with status: 0
New thread pid=558

[startup+60.0045 s]
Raw data (loadavg): 1.03 1.03 1.00 2/67 558
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18239 4 1 0 5217 60 0 0 17 0 11 0 1722472331 860590080 35008 4294967295 134512640 134569956 3221224336 3221214520 1131461462 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 210105 35008 13129 16 0 210089 0
[pid=543] vsize: 840420
Current children cumulated CPU time (s) 52.77
Current children cumulated vsize (Kb) 840420

[startup+70.0042 s]
Raw data (loadavg): 1.03 1.03 1.00 2/67 558
Raw data (/proc/543/stat): 543 (java) S 542 543 20602 0 -1 0 18247 4 1 0 6131 60 0 0 18 0 11 0 1722472331 858398720 35334 4294967295 134512640 134569956 3221224336 3221213120 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 35334 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 61.91
Current children cumulated vsize (Kb) 838280

[startup+80.0049 s]
Raw data (loadavg): 1.02 1.02 1.00 2/67 558
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18256 4 1 0 7040 60 0 0 17 0 11 0 1722472331 858398720 35839 4294967295 134512640 134569956 3221224336 3221214520 1131460862 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 35839 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 71
Current children cumulated vsize (Kb) 838280

[startup+90.0056 s]
Raw data (loadavg): 1.10 1.04 1.01 2/67 558
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18264 4 1 0 7948 60 0 0 16 0 11 0 1722472331 858693632 36214 4294967295 134512640 134569956 3221224336 3221214520 1131461489 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209642 36214 13129 16 0 209626 0
[pid=543] vsize: 838568
Current children cumulated CPU time (s) 80.08
Current children cumulated vsize (Kb) 838568

[startup+100.005 s]
Raw data (loadavg): 1.08 1.04 1.00 2/67 558
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18271 4 1 0 8876 60 0 0 16 0 11 0 1722472331 858693632 36499 4294967295 134512640 134569956 3221224336 3221214568 1131405618 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209642 36499 13129 16 0 209626 0
[pid=543] vsize: 838568
Current children cumulated CPU time (s) 89.36
Current children cumulated vsize (Kb) 838568

[startup+110.006 s]
Raw data (loadavg): 1.07 1.04 1.00 2/67 558
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18276 4 1 0 9828 61 0 0 16 0 11 0 1722472331 858398720 36639 4294967295 134512640 134569956 3221224336 3221214520 1131460931 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 36639 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 98.89
Current children cumulated vsize (Kb) 838280

[startup+120.007 s]
Raw data (loadavg): 1.06 1.03 1.00 2/67 558
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18281 4 1 0 10785 61 0 0 16 0 11 0 1722472331 858398720 36874 4294967295 134512640 134569956 3221224336 3221214520 1131461159 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 36874 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 108.46
Current children cumulated vsize (Kb) 838280

[startup+130.007 s]
Raw data (loadavg): 1.05 1.03 1.00 2/67 558
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18286 4 1 0 11748 61 0 0 16 0 11 0 1722472331 858398720 37030 4294967295 134512640 134569956 3221224336 3221214616 1131571625 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 37030 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 118.09
Current children cumulated vsize (Kb) 838280

[startup+140.008 s]
Raw data (loadavg): 1.04 1.03 1.00 2/67 558
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18291 4 1 0 12712 62 0 0 16 0 11 0 1722472331 858398720 37141 4294967295 134512640 134569956 3221224336 3221214608 1131563420 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 37141 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 127.74
Current children cumulated vsize (Kb) 838280

[startup+150.009 s]
Raw data (loadavg): 1.03 1.03 1.00 2/67 558
Raw data (/proc/543/stat): 543 (java) S 542 543 20602 0 -1 0 18295 4 1 0 13679 62 0 0 17 0 11 0 1722472331 858398720 37212 4294967295 134512640 134569956 3221224336 3221213256 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 37212 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 137.41
Current children cumulated vsize (Kb) 838280

[startup+160.009 s]
Raw data (loadavg): 1.03 1.03 1.00 2/67 558
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18300 4 1 0 14650 62 0 0 19 0 11 0 1722472331 858398720 37553 4294967295 134512640 134569956 3221224336 3221214512 1131405963 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 37553 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 147.12
Current children cumulated vsize (Kb) 838280

[startup+170.009 s]
Raw data (loadavg): 1.02 1.03 1.00 2/67 558
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18305 4 1 0 15619 63 0 0 18 0 11 0 1722472331 858398720 37553 4294967295 134512640 134569956 3221224336 3221214608 1131563282 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 37553 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 156.82
Current children cumulated vsize (Kb) 838280

[startup+180.01 s]
Raw data (loadavg): 1.02 1.03 1.00 2/67 558
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18309 4 1 0 16593 64 0 0 21 0 11 0 1722472331 858398720 37687 4294967295 134512640 134569956 3221224336 3221214520 1131629696 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 37687 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 166.57
Current children cumulated vsize (Kb) 838280

[startup+190.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/67 558
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18314 4 1 0 17561 64 0 0 19 0 11 0 1722472331 858398720 37823 4294967295 134512640 134569956 3221224336 3221214520 1131629464 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 37823 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 176.25
Current children cumulated vsize (Kb) 838280

[startup+200.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/67 558
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18319 4 1 0 18527 64 0 0 18 0 11 0 1722472331 858398720 37957 4294967295 134512640 134569956 3221224336 3221214320 1131713940 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 37957 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 185.91
Current children cumulated vsize (Kb) 838280
One traced child (pid=558) exited with status: 0
New thread pid=559

[startup+210.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18327 4 1 0 19439 64 0 0 16 0 11 0 1722472331 858398720 38635 4294967295 134512640 134569956 3221224336 3221214520 1131461088 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 38635 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 195.03
Current children cumulated vsize (Kb) 838280

[startup+220.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18333 4 1 0 20373 65 0 0 17 0 11 0 1722472331 858398720 38707 4294967295 134512640 134569956 3221224336 3221214520 1131461088 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 38707 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 204.38
Current children cumulated vsize (Kb) 838280

[startup+230.012 s]
Raw data (loadavg): 1.15 1.05 1.01 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18341 4 1 0 21291 65 0 0 16 0 11 0 1722472331 858398720 39158 4294967295 134512640 134569956 3221224336 3221214520 1131461123 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 39158 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 213.56
Current children cumulated vsize (Kb) 838280

[startup+240.013 s]
Raw data (loadavg): 1.13 1.05 1.01 2/67 559
Raw data (/proc/543/stat): 543 (java) S 542 543 20602 0 -1 0 18348 4 1 0 22227 65 0 0 16 0 11 0 1722472331 858398720 39165 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 39165 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 222.92
Current children cumulated vsize (Kb) 838280

[startup+250.012 s]
Raw data (loadavg): 1.11 1.05 1.01 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18351 4 1 0 23207 66 0 0 25 0 11 0 1722472331 858398720 39361 4294967295 134512640 134569956 3221224336 3221214504 1131439670 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 39361 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 232.73
Current children cumulated vsize (Kb) 838280

[startup+260.013 s]
Raw data (loadavg): 1.09 1.05 1.01 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18356 4 1 0 24174 66 0 0 16 0 11 0 1722472331 858398720 39760 4294967295 134512640 134569956 3221224336 3221214520 1131461436 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 39760 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 242.4
Current children cumulated vsize (Kb) 838280

[startup+270.013 s]
Raw data (loadavg): 1.08 1.05 1.01 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18360 4 1 0 25154 66 0 0 25 0 11 0 1722472331 858398720 40073 4294967295 134512640 134569956 3221224336 3221214520 1131461203 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 40073 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 252.2
Current children cumulated vsize (Kb) 838280

[startup+280.014 s]
Raw data (loadavg): 1.07 1.04 1.01 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18361 4 1 0 26150 66 0 0 25 0 11 0 1722472331 858398720 40073 4294967295 134512640 134569956 3221224336 3221214424 1131708891 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 40073 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 262.16
Current children cumulated vsize (Kb) 838280

[startup+290.014 s]
Raw data (loadavg): 1.06 1.04 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18362 4 1 0 27145 66 0 0 25 0 11 0 1722472331 858398720 40073 4294967295 134512640 134569956 3221224336 3221214512 1131439494 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 40073 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 272.11
Current children cumulated vsize (Kb) 838280

[startup+300.014 s]
Raw data (loadavg): 1.05 1.04 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18366 4 1 0 28127 66 0 0 20 0 11 0 1722472331 858398720 40355 4294967295 134512640 134569956 3221224336 3221214568 1131439613 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 40355 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 281.93
Current children cumulated vsize (Kb) 838280

[startup+310.015 s]
Raw data (loadavg): 1.04 1.04 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18367 4 1 0 29123 66 0 0 25 0 11 0 1722472331 858398720 40355 4294967295 134512640 134569956 3221224336 3221214512 1131439561 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 40355 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 291.89
Current children cumulated vsize (Kb) 838280

[startup+320.014 s]
Raw data (loadavg): 1.03 1.04 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18367 4 1 0 30123 66 0 0 25 0 11 0 1722472331 858398720 40355 4294967295 134512640 134569956 3221224336 3221214504 1131439505 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 40355 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 301.89
Current children cumulated vsize (Kb) 838280

[startup+330.015 s]
Raw data (loadavg): 1.03 1.03 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18368 4 1 0 31118 67 0 0 25 0 11 0 1722472331 858398720 40597 4294967295 134512640 134569956 3221224336 3221214520 1131460931 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 40597 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 311.85
Current children cumulated vsize (Kb) 838280

[startup+340.016 s]
Raw data (loadavg): 1.02 1.03 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18372 4 1 0 32102 67 0 0 25 0 11 0 1722472331 858398720 40908 4294967295 134512640 134569956 3221224336 3221214504 1131439613 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 40908 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 321.69
Current children cumulated vsize (Kb) 838280

[startup+350.015 s]
Raw data (loadavg): 1.02 1.03 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18373 4 1 0 33097 67 0 0 25 0 11 0 1722472331 858398720 40908 4294967295 134512640 134569956 3221224336 3221214504 1131439509 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 40908 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 331.64
Current children cumulated vsize (Kb) 838280

[startup+360.016 s]
Raw data (loadavg): 1.02 1.03 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18374 4 1 0 34092 67 0 0 23 0 11 0 1722472331 858398720 41258 4294967295 134512640 134569956 3221224336 3221214520 1131461028 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 41258 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 341.59
Current children cumulated vsize (Kb) 838280

[startup+370.016 s]
Raw data (loadavg): 1.01 1.03 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18379 4 1 0 35073 67 0 0 25 0 11 0 1722472331 858398720 41258 4294967295 134512640 134569956 3221224336 3221214400 1131713955 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 41258 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 351.4
Current children cumulated vsize (Kb) 838280

[startup+380.016 s]
Raw data (loadavg): 1.01 1.03 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18379 4 1 0 36073 67 0 0 25 0 11 0 1722472331 858398720 41258 4294967295 134512640 134569956 3221224336 3221214520 1131629715 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 41258 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 361.4
Current children cumulated vsize (Kb) 838280

[startup+390.017 s]
Raw data (loadavg): 1.01 1.03 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18379 4 1 0 37073 67 0 0 25 0 11 0 1722472331 858398720 41258 4294967295 134512640 134569956 3221224336 3221214552 1131405922 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 41258 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 371.4
Current children cumulated vsize (Kb) 838280

[startup+400.017 s]
Raw data (loadavg): 1.01 1.02 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18383 4 1 0 38058 68 0 0 18 0 11 0 1722472331 858398720 41725 4294967295 134512640 134569956 3221224336 3221214432 1131388520 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 41725 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 381.26
Current children cumulated vsize (Kb) 838280

[startup+410.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18384 4 1 0 39054 68 0 0 25 0 11 0 1722472331 858398720 41725 4294967295 134512640 134569956 3221224336 3221214424 1131708985 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 41725 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 391.22
Current children cumulated vsize (Kb) 838280

[startup+420.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18385 4 1 0 40050 68 0 0 17 0 11 0 1722472331 858398720 41725 4294967295 134512640 134569956 3221224336 3221214424 1131708766 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 41725 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 401.18
Current children cumulated vsize (Kb) 838280

[startup+430.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18389 4 1 0 41033 68 0 0 17 0 11 0 1722472331 858398720 42075 4294967295 134512640 134569956 3221224336 3221214520 1131461059 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 42075 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 411.01
Current children cumulated vsize (Kb) 838280

[startup+440.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18390 4 1 0 42030 68 0 0 25 0 11 0 1722472331 858398720 42075 4294967295 134512640 134569956 3221224336 3221214520 1131629614 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 42075 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 420.98
Current children cumulated vsize (Kb) 838280

[startup+450.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18391 4 1 0 43025 68 0 0 25 0 11 0 1722472331 858398720 42075 4294967295 134512640 134569956 3221224336 3221214568 1131439581 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 42075 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 430.93
Current children cumulated vsize (Kb) 838280

[startup+460.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18391 4 1 0 44025 69 0 0 25 0 11 0 1722472331 858398720 42075 4294967295 134512640 134569956 3221224336 3221214528 1131688493 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 42075 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 440.94
Current children cumulated vsize (Kb) 838280

[startup+470.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18397 4 1 0 45002 69 0 0 18 0 11 0 1722472331 858398720 42541 4294967295 134512640 134569956 3221224336 3221214504 1131553568 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 42541 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 450.71
Current children cumulated vsize (Kb) 838280

[startup+480.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18397 4 1 0 46002 69 0 0 25 0 11 0 1722472331 858398720 42541 4294967295 134512640 134569956 3221224336 3221214424 1131708930 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 42541 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 460.71
Current children cumulated vsize (Kb) 838280

[startup+490.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18398 4 1 0 46999 69 0 0 25 0 11 0 1722472331 858398720 42541 4294967295 134512640 134569956 3221224336 3221214424 1131708850 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 42541 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 470.68
Current children cumulated vsize (Kb) 838280

[startup+500.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18402 4 1 0 47982 69 0 0 18 0 11 0 1722472331 858398720 42884 4294967295 134512640 134569956 3221224336 3221214400 1131713708 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 42884 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 480.51
Current children cumulated vsize (Kb) 838280

[startup+510.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18402 4 1 0 48981 69 0 0 25 0 11 0 1722472331 858398720 42884 4294967295 134512640 134569956 3221224336 3221214400 1131713896 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 42884 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 490.5
Current children cumulated vsize (Kb) 838280

[startup+520.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18403 4 1 0 49977 69 0 0 25 0 11 0 1722472331 858398720 42884 4294967295 134512640 134569956 3221224336 3221214504 1131439490 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 42884 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 500.46
Current children cumulated vsize (Kb) 838280

[startup+530.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18404 4 1 0 50971 69 0 0 22 0 11 0 1722472331 858398720 43349 4294967295 134512640 134569956 3221224336 3221214520 1131461173 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 43349 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 510.4
Current children cumulated vsize (Kb) 838280

[startup+540.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18408 4 1 0 51956 70 0 0 25 0 11 0 1722472331 858398720 43349 4294967295 134512640 134569956 3221224336 3221214504 1131439630 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 43349 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 520.26
Current children cumulated vsize (Kb) 838280

[startup+550.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18409 4 1 0 52952 70 0 0 25 0 11 0 1722472331 858398720 43349 4294967295 134512640 134569956 3221224336 3221214504 1131439535 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 43349 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 530.22
Current children cumulated vsize (Kb) 838280

[startup+560.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18410 4 1 0 53947 70 0 0 21 0 11 0 1722472331 858398720 43349 4294967295 134512640 134569956 3221224336 3221214520 1131461034 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 43349 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 540.17
Current children cumulated vsize (Kb) 838280

[startup+570.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18415 4 1 0 54928 70 0 0 25 0 11 0 1722472331 858398720 43701 4294967295 134512640 134569956 3221224336 3221214504 1131439636 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 43701 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 549.98
Current children cumulated vsize (Kb) 838280

[startup+580.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18415 4 1 0 55928 70 0 0 25 0 11 0 1722472331 858398720 43701 4294967295 134512640 134569956 3221224336 3221214424 1131708886 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 43701 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 559.98
Current children cumulated vsize (Kb) 838280

[startup+590.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18415 4 1 0 56928 70 0 0 25 0 11 0 1722472331 858398720 43701 4294967295 134512640 134569956 3221224336 3221214424 1131724912 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 43701 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 569.98
Current children cumulated vsize (Kb) 838280

[startup+600.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18418 4 1 0 57914 70 0 0 16 0 11 0 1722472331 858398720 44165 4294967295 134512640 134569956 3221224336 3221214432 1131388222 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 44165 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 579.84
Current children cumulated vsize (Kb) 838280

[startup+610.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18420 4 1 0 58907 70 0 0 25 0 11 0 1722472331 858398720 44165 4294967295 134512640 134569956 3221224336 3221214520 1131629464 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 44165 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 589.77
Current children cumulated vsize (Kb) 838280

[startup+620.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18420 4 1 0 59906 70 0 0 25 0 11 0 1722472331 858398720 44165 4294967295 134512640 134569956 3221224336 3221214508 1131090358 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 44165 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 599.76
Current children cumulated vsize (Kb) 838280

[startup+630.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18423 4 1 0 60892 70 0 0 18 0 11 0 1722472331 858398720 44516 4294967295 134512640 134569956 3221224336 3221214552 1131405882 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 44516 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 609.62
Current children cumulated vsize (Kb) 838280

[startup+640.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18424 4 1 0 61888 71 0 0 25 0 11 0 1722472331 858398720 44516 4294967295 134512640 134569956 3221224336 3221214568 1131439632 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 44516 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 619.59
Current children cumulated vsize (Kb) 838280

[startup+650.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18424 4 1 0 62888 71 0 0 25 0 11 0 1722472331 858398720 44516 4294967295 134512640 134569956 3221224336 3221214568 1131439505 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 44516 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 629.59
Current children cumulated vsize (Kb) 838280

[startup+660.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18424 4 1 0 63888 71 0 0 25 0 11 0 1722472331 858398720 44516 4294967295 134512640 134569956 3221224336 3221214504 1131439561 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 44516 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 639.59
Current children cumulated vsize (Kb) 838280

[startup+670.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18425 4 1 0 64881 71 0 0 25 0 11 0 1722472331 858398720 44977 4294967295 134512640 134569956 3221224336 3221214568 1131437862 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 44977 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 649.52
Current children cumulated vsize (Kb) 838280

[startup+680.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18427 4 1 0 65871 71 0 0 17 0 11 0 1722472331 858398720 45329 4294967295 134512640 134569956 3221224336 3221214520 1131460931 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 45329 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 659.42
Current children cumulated vsize (Kb) 838280

[startup+690.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18434 4 1 0 66855 71 0 0 19 0 11 0 1722472331 858398720 46254 4294967295 134512640 134569956 3221224336 3221214520 1131461059 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 46254 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 669.26
Current children cumulated vsize (Kb) 838280

[startup+700.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18440 4 1 0 67834 71 0 0 21 0 11 0 1722472331 858398720 46254 4294967295 134512640 134569956 3221224336 3221214504 1131439404 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 46254 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 679.05
Current children cumulated vsize (Kb) 838280

[startup+710.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18440 4 1 0 68834 71 0 0 25 0 11 0 1722472331 858398720 46254 4294967295 134512640 134569956 3221224336 3221214568 1131439517 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 46254 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 689.05
Current children cumulated vsize (Kb) 838280

[startup+720.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18440 4 1 0 69834 71 0 0 25 0 11 0 1722472331 858398720 46254 4294967295 134512640 134569956 3221224336 3221214504 1131439652 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 46254 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 699.05
Current children cumulated vsize (Kb) 838280

[startup+730.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18441 4 1 0 70828 71 0 0 25 0 11 0 1722472331 858398720 46254 4294967295 134512640 134569956 3221224336 3221214552 1131405746 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 46254 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 708.99
Current children cumulated vsize (Kb) 838280

[startup+740.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18445 4 1 0 71810 71 0 0 17 0 11 0 1722472331 858398720 46848 4294967295 134512640 134569956 3221224336 3221214520 1131461123 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 46848 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 718.81
Current children cumulated vsize (Kb) 838280

[startup+750.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18449 4 1 0 72793 72 0 0 25 0 11 0 1722472331 858398720 47725 4294967295 134512640 134569956 3221224336 3221214568 1131439682 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 47725 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 728.65
Current children cumulated vsize (Kb) 838280

[startup+760.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18449 4 1 0 73793 72 0 0 25 0 11 0 1722472331 858398720 47725 4294967295 134512640 134569956 3221224336 3221214504 1131439648 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 47725 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 738.65
Current children cumulated vsize (Kb) 838280

[startup+770.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18454 4 1 0 74773 73 0 0 17 0 11 0 1722472331 858398720 48364 4294967295 134512640 134569956 3221224336 3221214512 1131439587 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 48364 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 748.46
Current children cumulated vsize (Kb) 838280

[startup+780.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18455 4 1 0 75772 73 0 0 25 0 11 0 1722472331 858398720 48364 4294967295 134512640 134569956 3221224336 3221214320 1131713867 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 48364 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 758.45
Current children cumulated vsize (Kb) 838280

[startup+790.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18455 4 1 0 76772 74 0 0 25 0 11 0 1722472331 858398720 48364 4294967295 134512640 134569956 3221224336 3221214512 1131439486 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 48364 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 768.46
Current children cumulated vsize (Kb) 838280

[startup+800.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18455 4 1 0 77771 74 0 0 25 0 11 0 1722472331 858398720 48364 4294967295 134512640 134569956 3221224336 3221214400 1131713928 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 48364 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 778.45
Current children cumulated vsize (Kb) 838280

[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18456 4 1 0 78769 74 0 0 25 0 11 0 1722472331 858398720 48364 4294967295 134512640 134569956 3221224336 3221214424 1131708846 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 48364 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 788.43
Current children cumulated vsize (Kb) 838280

[startup+820.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18456 4 1 0 79769 74 0 0 25 0 11 0 1722472331 858398720 48364 4294967295 134512640 134569956 3221224336 3221214512 1131439565 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 48364 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 798.43
Current children cumulated vsize (Kb) 838280

[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18460 4 1 0 80758 74 0 0 24 0 11 0 1722472331 858398720 48364 4294967295 134512640 134569956 3221224336 3221214568 1131439613 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 48364 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 808.32
Current children cumulated vsize (Kb) 838280

[startup+840.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18461 4 1 0 81753 75 0 0 25 0 11 0 1722472331 858398720 48364 4294967295 134512640 134569956 3221224336 3221214504 1131439513 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 48364 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 818.28
Current children cumulated vsize (Kb) 838280

[startup+850.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18461 4 1 0 82753 75 0 0 25 0 11 0 1722472331 858398720 48364 4294967295 134512640 134569956 3221224336 3221214568 1131439613 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 48364 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 828.28
Current children cumulated vsize (Kb) 838280

[startup+860.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18461 4 1 0 83753 75 0 0 25 0 11 0 1722472331 858398720 48364 4294967295 134512640 134569956 3221224336 3221214568 1131439521 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 48364 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 838.28
Current children cumulated vsize (Kb) 838280

[startup+870.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18463 4 1 0 84743 75 0 0 25 0 11 0 1722472331 858398720 49005 4294967295 134512640 134569956 3221224336 3221214568 1131439613 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 49005 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 848.18
Current children cumulated vsize (Kb) 838280

[startup+880.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18463 4 1 0 85742 75 0 0 25 0 11 0 1722472331 858398720 49005 4294967295 134512640 134569956 3221224336 3221214568 1131439494 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 49005 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 858.17
Current children cumulated vsize (Kb) 838280

[startup+890.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18463 4 1 0 86742 75 0 0 25 0 11 0 1722472331 858398720 49005 4294967295 134512640 134569956 3221224336 3221214568 1131439662 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 49005 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 868.17
Current children cumulated vsize (Kb) 838280

[startup+900.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18463 4 1 0 87742 75 0 0 25 0 11 0 1722472331 858398720 49005 4294967295 134512640 134569956 3221224336 3221214504 1131439565 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 49005 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 878.17
Current children cumulated vsize (Kb) 838280

[startup+910.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18464 4 1 0 88738 75 0 0 25 0 11 0 1722472331 858398720 49005 4294967295 134512640 134569956 3221224336 3221214568 1131439609 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 49005 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 888.13
Current children cumulated vsize (Kb) 838280

[startup+920.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18464 4 1 0 89738 75 0 0 25 0 11 0 1722472331 858398720 49005 4294967295 134512640 134569956 3221224336 3221214568 1131439577 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 49005 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 898.13
Current children cumulated vsize (Kb) 838280

[startup+930.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18464 4 1 0 90738 75 0 0 25 0 11 0 1722472331 858398720 49005 4294967295 134512640 134569956 3221224336 3221214504 1131439565 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 49005 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 908.13
Current children cumulated vsize (Kb) 838280

[startup+940.033 s]
Raw data (loadavg): 1.00 1.00 1.00 3/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18464 4 1 0 91738 76 0 0 25 0 11 0 1722472331 858398720 49005 4294967295 134512640 134569956 3221224336 3221214608 1131461100 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 49005 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 918.14
Current children cumulated vsize (Kb) 838280

[startup+950.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18471 4 1 0 92720 76 0 0 19 0 11 0 1722472331 858398720 50406 4294967295 134512640 134569956 3221224336 3221214112 1131389681 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 50406 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 927.96
Current children cumulated vsize (Kb) 838280

[startup+960.034 s]
Raw data (loadavg): 1.08 1.02 1.01 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18478 4 1 0 93696 76 0 0 17 0 11 0 1722472331 858398720 50406 4294967295 134512640 134569956 3221224336 3221214520 1131461211 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 50406 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 937.72
Current children cumulated vsize (Kb) 838280

[startup+970.034 s]
Raw data (loadavg): 1.07 1.02 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18482 4 1 0 94681 76 0 0 18 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214520 1131629464 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 947.57
Current children cumulated vsize (Kb) 838280

[startup+980.035 s]
Raw data (loadavg): 1.06 1.01 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18482 4 1 0 95681 76 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214520 1131629464 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 957.57
Current children cumulated vsize (Kb) 838280

[startup+990.035 s]
Raw data (loadavg): 1.05 1.01 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18482 4 1 0 96681 76 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214568 1131439525 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 967.57
Current children cumulated vsize (Kb) 838280

[startup+1000.03 s]
Raw data (loadavg): 1.04 1.01 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18482 4 1 0 97681 76 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214568 1131439414 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 977.57
Current children cumulated vsize (Kb) 838280

[startup+1010.04 s]
Raw data (loadavg): 1.03 1.01 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18482 4 1 0 98681 76 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214568 1131439404 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 987.57
Current children cumulated vsize (Kb) 838280

[startup+1020.03 s]
Raw data (loadavg): 1.03 1.01 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18482 4 1 0 99681 76 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214504 1131439436 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 997.57
Current children cumulated vsize (Kb) 838280

[startup+1030.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18482 4 1 0 100681 77 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214504 1131439444 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 1007.58
Current children cumulated vsize (Kb) 838280

[startup+1040.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18482 4 1 0 101682 77 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214504 1131439525 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 1017.59
Current children cumulated vsize (Kb) 838280

[startup+1050.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18482 4 1 0 102681 77 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214424 1131709013 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 1027.58
Current children cumulated vsize (Kb) 838280

[startup+1060.04 s]
Raw data (loadavg): 1.01 1.01 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18482 4 1 0 103682 77 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214424 1131708783 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 1037.59
Current children cumulated vsize (Kb) 838280

[startup+1070.04 s]
Raw data (loadavg): 1.01 1.01 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18482 4 1 0 104682 77 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214400 1131713277 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 1047.59
Current children cumulated vsize (Kb) 838280

[startup+1080.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18482 4 1 0 105682 77 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214520 1131629464 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 1057.59
Current children cumulated vsize (Kb) 838280

[startup+1090.04 s]
Raw data (loadavg): 1.01 1.00 1.00 3/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18483 4 1 0 106680 77 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214504 1131439531 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 1067.57
Current children cumulated vsize (Kb) 838280

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18484 4 1 0 107679 77 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214568 1131439486 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 1077.56
Current children cumulated vsize (Kb) 838280

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18484 4 1 0 108679 78 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214568 1131439630 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 1087.57
Current children cumulated vsize (Kb) 838280

[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18484 4 1 0 109679 78 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214504 1131439535 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 1097.57
Current children cumulated vsize (Kb) 838280

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18484 4 1 0 110679 78 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214504 1131439436 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 1107.57
Current children cumulated vsize (Kb) 838280

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18484 4 1 0 111679 78 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214400 1131659320 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 1117.57
Current children cumulated vsize (Kb) 838280

[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18485 4 1 0 112677 78 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214424 1131708971 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 1127.55
Current children cumulated vsize (Kb) 838280

[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18485 4 1 0 113677 78 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214400 1131713948 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 1137.55
Current children cumulated vsize (Kb) 838280

[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18485 4 1 0 114677 78 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214424 1131708862 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 1147.55
Current children cumulated vsize (Kb) 838280

[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18485 4 1 0 115677 79 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214424 1131708889 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 1157.56
Current children cumulated vsize (Kb) 838280

[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18485 4 1 0 116677 79 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214512 1131439640 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 1167.56
Current children cumulated vsize (Kb) 838280

[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18485 4 1 0 117677 79 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214424 1131709041 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 1177.56
Current children cumulated vsize (Kb) 838280

[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18485 4 1 0 118677 79 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214424 1131708981 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 1187.56
Current children cumulated vsize (Kb) 838280

[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18485 4 1 0 119677 79 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214320 1131713802 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 1197.56
Current children cumulated vsize (Kb) 838280

[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18485 4 1 0 120677 79 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214400 1131713790 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 1207.56
Current children cumulated vsize (Kb) 838280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 559
Raw data (/proc/543/stat): 543 (java) R 542 543 20602 0 -1 0 18485 4 1 0 120678 79 0 0 25 0 11 0 1722472331 858398720 51287 4294967295 134512640 134569956 3221224336 3221214400 1131713802 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/543/statm): 209570 51287 13129 16 0 209554 0
[pid=543] vsize: 838280
Current children cumulated CPU time (s) 1207.57
Current children cumulated vsize (Kb) 838280

Sending SIGTERM to -543
Sleeping 2 seconds
New thread pid=561
New thread pid=562
One traced child (pid=562) exited with status: 0
One traced child (pid=552) exited with status: 0
One traced child (pid=547) exited with status: 0
One traced child (pid=548) exited with status: 143
One traced child (pid=551) exited with status: 143
One traced child (pid=546) exited with status: 143
One traced child (pid=559) exited with status: 143
One traced child (pid=545) exited with status: 143
One traced child (pid=549) exited with status: 143
One traced child (pid=550) exited with status: 143
One traced child (pid=561) exited with status: 143
One traced child (pid=544) exited with status: 143
One traced child (pid=543) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1230.45
CPU time (s): 1238.45
CPU user time (s): 1236.65
CPU system time (s): 1.79773
CPU usage (%): 100.65
Max. virtual memory (cumulated for all children) (Kb): 840420
Name	web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
MD5SUM	54f6acf3ab92bda8abb11350f74de20e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-38
Optimality of the best value was proved	NO
Number of terms in the objective function	1150
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1150
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1150
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1195.05
Number of variables	1150
Total number of constraints	80035
Number of constraints which are clauses	80035
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Some explanations

General information on the benchmark

Trace number 3297

Launcher Data

Solver Data

Watcher Data

Verifier Data
