Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Nameweb/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
MD5SUM16a8eb66aae2bcfd534a482dd0a3948e
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved NO
Number of terms in the objective function 595
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 595
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 595
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.03
Number of variables595
Total number of constraints27856
Number of constraints which are clauses27856
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2

Trace number 3279

Launcher Data

LAUNCH ON wulflinc2 THE 2005-09-18 23:07:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6206 boxname=wulflinc2 idbench=346 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  16a8eb66aae2bcfd534a482dd0a3948e  /oldhome/oroussel/tmp/wulflinc2/normalized-frb35-17-1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc2/normalized-frb35-17-1.opb
IDLAUNCH: 6206
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        915624 kB
Buffers:         34176 kB
Cached:          60664 kB
SwapCached:       1040 kB
Active:          60876 kB
Inactive:        36604 kB
HighTotal:      131008 kB
HighFree:        66892 kB
LowTotal:       903652 kB
LowFree:        848732 kB
SwapTotal:     2097136 kB
SwapFree:      2095568 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5696 kB
Slab:            15728 kB
Committed_AS:    72360 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 23:28:08 (client local time) WITH STATUS 143 IN 1207.97 SECONDS
stats: 6206 0 1207.97 143

Solver Data

c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version JAVA5.1.1.31
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@a20892
c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08
c org.sat4j.minisat.learning.MiniSATLearning@158b649
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a sorted array
c No reason simplification
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc2/normalized-frb35-17-1.opb
c reading problem ... done. Time 5.772 ms.
c #vars     595
c #constraints  27856
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                   0 		Current CPU time: 6.18 ms
c CURRENT OPTIMUM=                  -1 		Current CPU time: 6.41 ms
c CURRENT OPTIMUM=                  -2 		Current CPU time: 7.84 ms
c CURRENT OPTIMUM=                  -3 		Current CPU time: 12.52 ms
c CURRENT OPTIMUM=                 -24 		Current CPU time: 23.67 ms
c starts		: 7
c conflicts		: 259
c decisions		: 3699
c propagations		: 7634
c inspects		: 73748
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 258
c root simplifications	: 7
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 0
c speed (decisions/second)	: 3.121200282502799
c non guided choices	3518
c random choices	0
s SATISFIABLE
v -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 C465 -C464 -C463 -C462 -C461 -C460 C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 C326 -C325 -C324 -C323 -C322 C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 C58 -C57 -C56 -C55 -C54 -C53 -C52 -C51 -C50 C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 -C29 -C28 -C27 -C26 -C25 -C24 -C23 -C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 -C10 -C9 -C8 C7 -C6 -C5 -C4 -C3 -C2 -C1 
c objective function=-24
c Total CPU time (ms) : 1208.819

Watcher Data

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/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1786878424 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17808/statm): 39 3 38 16 0 23 0
[pid=17808] 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/17808
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=17809
New thread pid=17810
New thread pid=17811
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=17812
New thread pid=17813
New thread pid=17814
New thread pid=17815
New thread pid=17816
New thread pid=17817
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/wulflinc2/normalized-frb35-17-1.opb
New thread pid=17818
One traced child (pid=17818) exited with status: 0
New thread pid=17819
One traced child (pid=17819) exited with status: 0
New thread pid=17820
One traced child (pid=17820) exited with status: 0
New thread pid=17821

[startup+10.0031 s]
Raw data (loadavg): 1.25 1.05 1.00 4/66 17821
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18203 3 1 0 703 59 0 0 17 0 11 0 1786878424 860041216 23228 4294967295 134512640 134569956 3221224336 3221214680 1131553089 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17808/statm): 209971 23228 13129 16 0 209955 0
[pid=17808] vsize: 839884
Current children cumulated CPU time (s) 7.62
Current children cumulated vsize (Kb) 839884
One traced child (pid=17821) exited with status: 0
New thread pid=17822

[startup+20.0038 s]
Raw data (loadavg): 1.21 1.05 1.00 2/66 17822
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18213 3 1 0 1618 59 0 0 22 0 11 0 1786878424 858578944 25914 4294967295 134512640 134569956 3221224336 3221214460 1131057152 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 209614 25914 13129 16 0 209598 0
[pid=17808] vsize: 838456
Current children cumulated CPU time (s) 16.77
Current children cumulated vsize (Kb) 838456
One traced child (pid=17822) exited with status: 0
New thread pid=17823

[startup+30.0045 s]
Raw data (loadavg): 1.18 1.05 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18223 3 1 0 2540 59 0 0 23 0 11 0 1786878424 858578944 26614 4294967295 134512640 134569956 3221224336 3221214740 1131521065 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17808/statm): 209614 26614 13129 16 0 209598 0
[pid=17808] vsize: 838456
Current children cumulated CPU time (s) 25.99
Current children cumulated vsize (Kb) 838456

[startup+40.0052 s]
Raw data (loadavg): 1.15 1.04 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18231 3 1 0 3448 60 0 0 21 0 11 0 1786878424 861724672 27780 4294967295 134512640 134569956 3221224336 3221214544 1131475847 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 27780 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 35.08
Current children cumulated vsize (Kb) 841528

[startup+50.0059 s]
Raw data (loadavg): 1.13 1.04 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18237 3 1 0 4392 60 0 0 25 0 11 0 1786878424 861724672 28234 4294967295 134512640 134569956 3221224336 3221214552 1131398053 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17808/statm): 210382 28234 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 44.52
Current children cumulated vsize (Kb) 841528

[startup+60.0066 s]
Raw data (loadavg): 1.11 1.04 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18243 3 1 0 5345 60 0 0 25 0 11 0 1786878424 861724672 28621 4294967295 134512640 134569956 3221224336 3221214544 1131473975 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17808/statm): 210382 28621 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 54.05
Current children cumulated vsize (Kb) 841528

[startup+70.0073 s]
Raw data (loadavg): 1.09 1.04 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18244 3 1 0 6338 61 0 0 25 0 11 0 1786878424 861724672 28821 4294967295 134512640 134569956 3221224336 3221214616 1131428074 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17808/statm): 210382 28821 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 63.99
Current children cumulated vsize (Kb) 841528

[startup+80.009 s]
Raw data (loadavg): 1.08 1.04 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18244 3 1 0 7338 61 0 0 25 0 11 0 1786878424 861724672 28821 4294967295 134512640 134569956 3221224336 3221214616 1131428147 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 28821 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 73.99
Current children cumulated vsize (Kb) 841528

[startup+90.0097 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18244 3 1 0 8338 61 0 0 25 0 11 0 1786878424 861724672 28821 4294967295 134512640 134569956 3221224336 3221214480 1131428077 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 28821 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 83.99
Current children cumulated vsize (Kb) 841528

[startup+100.009 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18247 3 1 0 9319 61 0 0 25 0 11 0 1786878424 861724672 29460 4294967295 134512640 134569956 3221224336 3221214328 1131457366 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 29460 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 93.8
Current children cumulated vsize (Kb) 841528

[startup+110.01 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18247 3 1 0 10319 61 0 0 25 0 11 0 1786878424 861724672 29460 4294967295 134512640 134569956 3221224336 3221214552 1131427996 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 29460 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 103.8
Current children cumulated vsize (Kb) 841528

[startup+120.011 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18248 3 1 0 11314 61 0 0 25 0 11 0 1786878424 861724672 29714 4294967295 134512640 134569956 3221224336 3221214336 1131692308 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 29714 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 113.75
Current children cumulated vsize (Kb) 841528

[startup+130.011 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18248 3 1 0 12315 61 0 0 25 0 11 0 1786878424 861724672 29714 4294967295 134512640 134569956 3221224336 3221214336 1131692441 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 29714 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 123.76
Current children cumulated vsize (Kb) 841528

[startup+140.012 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18249 3 1 0 13311 61 0 0 25 0 11 0 1786878424 861724672 29896 4294967295 134512640 134569956 3221224336 3221214544 1131474429 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17808/statm): 210382 29896 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 133.72
Current children cumulated vsize (Kb) 841528

[startup+150.013 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18254 3 1 0 14296 62 0 0 25 0 11 0 1786878424 861724672 30304 4294967295 134512640 134569956 3221224336 3221214528 1131383248 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 30304 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 143.58
Current children cumulated vsize (Kb) 841528

[startup+160.014 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18255 3 1 0 15292 62 0 0 22 0 11 0 1786878424 861724672 30304 4294967295 134512640 134569956 3221224336 3221214592 1131397810 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17808/statm): 210382 30304 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 153.54
Current children cumulated vsize (Kb) 841528

[startup+170.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18257 3 1 0 16285 62 0 0 20 0 11 0 1786878424 861724672 30715 4294967295 134512640 134569956 3221224336 3221214456 1131428010 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17808/statm): 210382 30715 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 163.47
Current children cumulated vsize (Kb) 841528

[startup+180.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18257 3 1 0 17285 62 0 0 25 0 11 0 1786878424 861724672 30715 4294967295 134512640 134569956 3221224336 3221214328 1131457315 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 30715 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 173.47
Current children cumulated vsize (Kb) 841528

[startup+190.016 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18257 3 1 0 18285 62 0 0 25 0 11 0 1786878424 861724672 30715 4294967295 134512640 134569956 3221224336 3221214616 1131428077 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 30715 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 183.47
Current children cumulated vsize (Kb) 841528

[startup+200.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18257 3 1 0 19285 62 0 0 25 0 11 0 1786878424 861724672 30715 4294967295 134512640 134569956 3221224336 3221214552 1131428166 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 30715 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 193.47
Current children cumulated vsize (Kb) 841528

[startup+210.016 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18257 3 1 0 20285 62 0 0 25 0 11 0 1786878424 861724672 30715 4294967295 134512640 134569956 3221224336 3221214616 1131428019 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 30715 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 203.47
Current children cumulated vsize (Kb) 841528

[startup+220.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18257 3 1 0 21285 62 0 0 25 0 11 0 1786878424 861724672 30715 4294967295 134512640 134569956 3221224336 3221214552 1131427996 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 30715 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 213.47
Current children cumulated vsize (Kb) 841528

[startup+230.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18258 3 1 0 22283 62 0 0 25 0 11 0 1786878424 861724672 30715 4294967295 134512640 134569956 3221224336 3221214328 1131457496 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17808/statm): 210382 30715 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 223.45
Current children cumulated vsize (Kb) 841528

[startup+240.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18259 3 1 0 23280 62 0 0 25 0 11 0 1786878424 861724672 30715 4294967295 134512640 134569956 3221224336 3221214328 1131457343 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 30715 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 233.42
Current children cumulated vsize (Kb) 841528

[startup+250.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18259 3 1 0 24280 62 0 0 25 0 11 0 1786878424 861724672 30715 4294967295 134512640 134569956 3221224336 3221214280 1131457361 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 30715 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 243.42
Current children cumulated vsize (Kb) 841528

[startup+260.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18262 3 1 0 25267 62 0 0 16 0 11 0 1786878424 861724672 31295 4294967295 134512640 134569956 3221224336 3221214544 1131473975 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 31295 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 253.29
Current children cumulated vsize (Kb) 841528

[startup+270.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18263 3 1 0 26264 63 0 0 25 0 11 0 1786878424 861724672 31295 4294967295 134512640 134569956 3221224336 3221214552 1131428055 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17808/statm): 210382 31295 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 263.27
Current children cumulated vsize (Kb) 841528

[startup+280.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18267 3 1 0 27249 63 0 0 23 0 11 0 1786878424 861724672 31944 4294967295 134512640 134569956 3221224336 3221214544 1131474407 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 31944 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 273.12
Current children cumulated vsize (Kb) 841528

[startup+290.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18269 3 1 0 28243 63 0 0 25 0 11 0 1786878424 861724672 31944 4294967295 134512640 134569956 3221224336 3221214336 1131692435 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17808/statm): 210382 31944 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 283.06
Current children cumulated vsize (Kb) 841528

[startup+300.022 s]
Raw data (loadavg): 1.00 1.01 1.00 6/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18269 3 1 0 29242 64 0 0 25 0 11 0 1786878424 861724672 31944 4294967295 134512640 134569956 3221224336 3221214336 1131692491 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17808/statm): 210382 31944 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 293.06
Current children cumulated vsize (Kb) 841528

[startup+310.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18269 3 1 0 30241 64 0 0 25 0 11 0 1786878424 861724672 31944 4294967295 134512640 134569956 3221224336 3221214616 1131428064 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17808/statm): 210382 31944 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 303.05
Current children cumulated vsize (Kb) 841528

[startup+320.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18269 3 1 0 31240 64 0 0 25 0 11 0 1786878424 861724672 31944 4294967295 134512640 134569956 3221224336 3221214616 1131428055 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 31944 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 313.04
Current children cumulated vsize (Kb) 841528

[startup+330.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18269 3 1 0 32241 64 0 0 25 0 11 0 1786878424 861724672 31944 4294967295 134512640 134569956 3221224336 3221214552 1131428123 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 31944 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 323.05
Current children cumulated vsize (Kb) 841528

[startup+340.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18269 3 1 0 33241 64 0 0 25 0 11 0 1786878424 861724672 31944 4294967295 134512640 134569956 3221224336 3221214480 1131428055 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 31944 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 333.05
Current children cumulated vsize (Kb) 841528

[startup+350.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18269 3 1 0 34241 64 0 0 25 0 11 0 1786878424 861724672 31944 4294967295 134512640 134569956 3221224336 3221214616 1131428055 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 31944 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 343.05
Current children cumulated vsize (Kb) 841528

[startup+360.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18269 3 1 0 35241 64 0 0 25 0 11 0 1786878424 861724672 31944 4294967295 134512640 134569956 3221224336 3221214616 1131428156 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 31944 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 353.05
Current children cumulated vsize (Kb) 841528

[startup+370.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18269 3 1 0 36242 64 0 0 25 0 11 0 1786878424 861724672 31944 4294967295 134512640 134569956 3221224336 3221214552 1131428086 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 31944 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 363.06
Current children cumulated vsize (Kb) 841528

[startup+380.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18269 3 1 0 37242 64 0 0 25 0 11 0 1786878424 861724672 31944 4294967295 134512640 134569956 3221224336 3221214552 1131428174 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 31944 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 373.06
Current children cumulated vsize (Kb) 841528

[startup+390.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18269 3 1 0 38242 64 0 0 25 0 11 0 1786878424 861724672 31944 4294967295 134512640 134569956 3221224336 3221214336 1131692421 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 31944 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 383.06
Current children cumulated vsize (Kb) 841528

[startup+400.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18269 3 1 0 39242 64 0 0 25 0 11 0 1786878424 861724672 31944 4294967295 134512640 134569956 3221224336 3221214616 1131427984 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 31944 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 393.06
Current children cumulated vsize (Kb) 841528

[startup+410.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18269 3 1 0 40241 65 0 0 25 0 11 0 1786878424 861724672 31944 4294967295 134512640 134569956 3221224336 3221214616 1131428174 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 31944 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 403.06
Current children cumulated vsize (Kb) 841528

[startup+420.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18270 3 1 0 41236 65 0 0 25 0 11 0 1786878424 861724672 32123 4294967295 134512640 134569956 3221224336 3221214616 1131427990 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17808/statm): 210382 32123 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 413.01
Current children cumulated vsize (Kb) 841528

[startup+430.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18270 3 1 0 42235 65 0 0 25 0 11 0 1786878424 861724672 32123 4294967295 134512640 134569956 3221224336 3221214616 1131428156 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17808/statm): 210382 32123 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 423
Current children cumulated vsize (Kb) 841528

[startup+440.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18270 3 1 0 43235 66 0 0 25 0 11 0 1786878424 861724672 32123 4294967295 134512640 134569956 3221224336 3221214552 1131428084 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 32123 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 433.01
Current children cumulated vsize (Kb) 841528

[startup+450.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18270 3 1 0 44235 66 0 0 25 0 11 0 1786878424 861724672 32123 4294967295 134512640 134569956 3221224336 3221214552 1131428025 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 32123 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 443.01
Current children cumulated vsize (Kb) 841528

[startup+460.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18270 3 1 0 45235 66 0 0 25 0 11 0 1786878424 861724672 32123 4294967295 134512640 134569956 3221224336 3221214552 1131428123 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 32123 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 453.01
Current children cumulated vsize (Kb) 841528

[startup+470.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18271 3 1 0 46228 66 0 0 25 0 11 0 1786878424 861724672 32505 4294967295 134512640 134569956 3221224336 3221214280 1131457482 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 32505 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 462.94
Current children cumulated vsize (Kb) 841528

[startup+480.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18271 3 1 0 47229 66 0 0 25 0 11 0 1786878424 861724672 32505 4294967295 134512640 134569956 3221224336 3221214328 1131457444 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 32505 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 472.95
Current children cumulated vsize (Kb) 841528

[startup+490.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18271 3 1 0 48229 66 0 0 25 0 11 0 1786878424 861724672 32505 4294967295 134512640 134569956 3221224336 3221214616 1131428137 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 32505 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 482.95
Current children cumulated vsize (Kb) 841528

[startup+500.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18271 3 1 0 49229 66 0 0 25 0 11 0 1786878424 861724672 32505 4294967295 134512640 134569956 3221224336 3221214616 1131428129 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 32505 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 492.95
Current children cumulated vsize (Kb) 841528

[startup+510.031 s]
Raw data (loadavg): 1.00 1.00 1.00 3/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18271 3 1 0 50229 66 0 0 25 0 11 0 1786878424 861724672 32505 4294967295 134512640 134569956 3221224336 3221214552 1131427990 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 32505 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 502.95
Current children cumulated vsize (Kb) 841528

[startup+520.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18271 3 1 0 51229 67 0 0 25 0 11 0 1786878424 861724672 32505 4294967295 134512640 134569956 3221224336 3221214552 1131428082 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 32505 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 512.96
Current children cumulated vsize (Kb) 841528

[startup+530.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18271 3 1 0 52229 67 0 0 25 0 11 0 1786878424 861724672 32505 4294967295 134512640 134569956 3221224336 3221214552 1131428149 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 32505 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 522.96
Current children cumulated vsize (Kb) 841528

[startup+540.031 s]
Raw data (loadavg): 1.00 1.00 1.00 3/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18272 3 1 0 53224 67 0 0 25 0 11 0 1786878424 861724672 32742 4294967295 134512640 134569956 3221224336 3221214584 1131351577 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 32742 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 532.91
Current children cumulated vsize (Kb) 841528

[startup+550.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18273 3 1 0 54223 67 0 0 25 0 11 0 1786878424 861724672 32813 4294967295 134512640 134569956 3221224336 3221214328 1131457392 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17808/statm): 210382 32813 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 542.9
Current children cumulated vsize (Kb) 841528

[startup+560.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18273 3 1 0 55222 67 0 0 25 0 11 0 1786878424 861724672 32813 4294967295 134512640 134569956 3221224336 3221214480 1131428025 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 32813 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 552.89
Current children cumulated vsize (Kb) 841528

[startup+570.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18273 3 1 0 56222 67 0 0 25 0 11 0 1786878424 861724672 32813 4294967295 134512640 134569956 3221224336 3221214336 1131692461 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 32813 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 562.89
Current children cumulated vsize (Kb) 841528

[startup+580.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18273 3 1 0 57222 67 0 0 25 0 11 0 1786878424 861724672 32813 4294967295 134512640 134569956 3221224336 3221214336 1131692239 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 32813 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 572.89
Current children cumulated vsize (Kb) 841528

[startup+590.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18273 3 1 0 58222 68 0 0 25 0 11 0 1786878424 861724672 32813 4294967295 134512640 134569956 3221224336 3221214456 1131428010 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 32813 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 582.9
Current children cumulated vsize (Kb) 841528

[startup+600.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18273 3 1 0 59222 68 0 0 25 0 11 0 1786878424 861724672 32813 4294967295 134512640 134569956 3221224336 3221214328 1131457851 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 32813 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 592.9
Current children cumulated vsize (Kb) 841528

[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18274 3 1 0 60219 68 0 0 19 0 11 0 1786878424 861724672 32813 4294967295 134512640 134569956 3221224336 3221214544 1131473975 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17808/statm): 210382 32813 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 602.87
Current children cumulated vsize (Kb) 841528

[startup+620.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18277 3 1 0 61211 68 0 0 25 0 11 0 1786878424 861724672 34082 4294967295 134512640 134569956 3221224336 3221214552 1131428082 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 34082 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 612.79
Current children cumulated vsize (Kb) 841528

[startup+630.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18277 3 1 0 62211 68 0 0 25 0 11 0 1786878424 861724672 34082 4294967295 134512640 134569956 3221224336 3221214616 1131428179 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 34082 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 622.79
Current children cumulated vsize (Kb) 841528

[startup+640.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18277 3 1 0 63211 68 0 0 25 0 11 0 1786878424 861724672 34082 4294967295 134512640 134569956 3221224336 3221214552 1131398011 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 34082 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 632.79
Current children cumulated vsize (Kb) 841528

[startup+650.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18277 3 1 0 64211 68 0 0 25 0 11 0 1786878424 861724672 34082 4294967295 134512640 134569956 3221224336 3221214552 1131428137 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 34082 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 642.79
Current children cumulated vsize (Kb) 841528

[startup+660.038 s]
Raw data (loadavg): 1.15 1.03 1.01 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18278 3 1 0 65209 68 0 0 25 0 11 0 1786878424 861724672 34082 4294967295 134512640 134569956 3221224336 3221214616 1131427996 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 34082 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 652.77
Current children cumulated vsize (Kb) 841528

[startup+670.038 s]
Raw data (loadavg): 1.13 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18278 3 1 0 66209 68 0 0 25 0 11 0 1786878424 861724672 34082 4294967295 134512640 134569956 3221224336 3221214616 1131428086 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 34082 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 662.77
Current children cumulated vsize (Kb) 841528

[startup+680.038 s]
Raw data (loadavg): 1.11 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18279 3 1 0 67205 68 0 0 25 0 11 0 1786878424 861724672 34082 4294967295 134512640 134569956 3221224336 3221214552 1131428064 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 34082 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 672.73
Current children cumulated vsize (Kb) 841528

[startup+690.039 s]
Raw data (loadavg): 1.09 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18279 3 1 0 68205 68 0 0 25 0 11 0 1786878424 861724672 34082 4294967295 134512640 134569956 3221224336 3221214208 1131377186 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 34082 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 682.73
Current children cumulated vsize (Kb) 841528

[startup+700.038 s]
Raw data (loadavg): 1.08 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18284 3 1 0 69191 68 0 0 25 0 11 0 1786878424 861724672 34082 4294967295 134512640 134569956 3221224336 3221214616 1131428086 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 34082 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 692.59
Current children cumulated vsize (Kb) 841528

[startup+710.039 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18284 3 1 0 70191 68 0 0 25 0 11 0 1786878424 861724672 34082 4294967295 134512640 134569956 3221224336 3221214552 1131428200 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 34082 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 702.59
Current children cumulated vsize (Kb) 841528

[startup+720.04 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18284 3 1 0 71191 68 0 0 25 0 11 0 1786878424 861724672 34082 4294967295 134512640 134569956 3221224336 3221214552 1131428166 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 34082 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 712.59
Current children cumulated vsize (Kb) 841528

[startup+730.039 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18284 3 1 0 72191 68 0 0 25 0 11 0 1786878424 861724672 34082 4294967295 134512640 134569956 3221224336 3221214616 1131428174 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 34082 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 722.59
Current children cumulated vsize (Kb) 841528

[startup+740.04 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18284 3 1 0 73192 68 0 0 25 0 11 0 1786878424 861724672 34082 4294967295 134512640 134569956 3221224336 3221214616 1131428086 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 34082 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 732.6
Current children cumulated vsize (Kb) 841528

[startup+750.04 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18284 3 1 0 74192 68 0 0 25 0 11 0 1786878424 861724672 34082 4294967295 134512640 134569956 3221224336 3221214552 1131428187 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 34082 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 742.6
Current children cumulated vsize (Kb) 841528

[startup+760.041 s]
Raw data (loadavg): 1.11 1.04 1.01 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18284 3 1 0 75192 68 0 0 25 0 11 0 1786878424 861724672 34082 4294967295 134512640 134569956 3221224336 3221214552 1131428043 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 34082 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 752.6
Current children cumulated vsize (Kb) 841528

[startup+770.041 s]
Raw data (loadavg): 1.09 1.04 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18284 3 1 0 76192 68 0 0 25 0 11 0 1786878424 861724672 34082 4294967295 134512640 134569956 3221224336 3221214616 1131428077 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 34082 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 762.6
Current children cumulated vsize (Kb) 841528

[startup+780.041 s]
Raw data (loadavg): 1.08 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18285 3 1 0 77186 69 0 0 25 0 11 0 1786878424 861724672 34458 4294967295 134512640 134569956 3221224336 3221214616 1131428106 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 34458 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 772.55
Current children cumulated vsize (Kb) 841528

[startup+790.041 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18285 3 1 0 78186 69 0 0 25 0 11 0 1786878424 861724672 34458 4294967295 134512640 134569956 3221224336 3221214616 1131427996 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 34458 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 782.55
Current children cumulated vsize (Kb) 841528

[startup+800.04 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18285 3 1 0 79186 69 0 0 25 0 11 0 1786878424 861724672 34458 4294967295 134512640 134569956 3221224336 3221214552 1131428162 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 34458 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 792.55
Current children cumulated vsize (Kb) 841528

[startup+810.041 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18285 3 1 0 80186 69 0 0 25 0 11 0 1786878424 861724672 34458 4294967295 134512640 134569956 3221224336 3221214552 1131428106 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 34458 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 802.55
Current children cumulated vsize (Kb) 841528

[startup+820.041 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18286 3 1 0 81179 69 0 0 25 0 11 0 1786878424 861724672 35305 4294967295 134512640 134569956 3221224336 3221214552 1131428086 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17808/statm): 210382 35305 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 812.48
Current children cumulated vsize (Kb) 841528

[startup+830.041 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18286 3 1 0 82178 69 0 0 25 0 11 0 1786878424 861724672 35305 4294967295 134512640 134569956 3221224336 3221214480 1131428082 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 35305 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 822.47
Current children cumulated vsize (Kb) 841528

[startup+840.041 s]
Raw data (loadavg): 1.11 1.04 1.01 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18288 3 1 0 83167 69 0 0 24 0 11 0 1786878424 861724672 36044 4294967295 134512640 134569956 3221224336 3221214632 1131593331 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 36044 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 832.36
Current children cumulated vsize (Kb) 841528

[startup+850.042 s]
Raw data (loadavg): 1.09 1.04 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18294 3 1 0 84158 70 0 0 25 0 11 0 1786878424 861724672 37541 4294967295 134512640 134569956 3221224336 3221214616 1131428129 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 37541 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 842.28
Current children cumulated vsize (Kb) 841528

[startup+860.043 s]
Raw data (loadavg): 1.07 1.04 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18295 3 1 0 85157 70 0 0 25 0 11 0 1786878424 861724672 37541 4294967295 134512640 134569956 3221224336 3221214616 1131428025 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 37541 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 852.27
Current children cumulated vsize (Kb) 841528

[startup+870.043 s]
Raw data (loadavg): 1.06 1.04 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18295 3 1 0 86157 70 0 0 25 0 11 0 1786878424 861724672 37541 4294967295 134512640 134569956 3221224336 3221214552 1131428133 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 37541 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 862.27
Current children cumulated vsize (Kb) 841528

[startup+880.043 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18295 3 1 0 87157 70 0 0 25 0 11 0 1786878424 861724672 37541 4294967295 134512640 134569956 3221224336 3221214616 1131428129 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 37541 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 872.27
Current children cumulated vsize (Kb) 841528

[startup+890.044 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18300 3 1 0 88146 70 0 0 25 0 11 0 1786878424 861724672 37541 4294967295 134512640 134569956 3221224336 3221214544 1131473975 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17808/statm): 210382 37541 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (Kb) 841528

[startup+900.044 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18302 3 1 0 89140 71 0 0 25 0 11 0 1786878424 861724672 37541 4294967295 134512640 134569956 3221224336 3221214616 1131428162 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 37541 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 892.11
Current children cumulated vsize (Kb) 841528

[startup+910.045 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18302 3 1 0 90140 71 0 0 25 0 11 0 1786878424 861724672 37541 4294967295 134512640 134569956 3221224336 3221214616 1131428077 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 37541 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 902.11
Current children cumulated vsize (Kb) 841528

[startup+920.046 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18305 3 1 0 91132 71 0 0 24 0 11 0 1786878424 861724672 38111 4294967295 134512640 134569956 3221224336 3221214544 1131473975 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38111 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 912.03
Current children cumulated vsize (Kb) 841528

[startup+930.046 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18309 3 1 0 92121 71 0 0 25 0 11 0 1786878424 861724672 38111 4294967295 134512640 134569956 3221224336 3221214552 1131428077 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38111 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 921.92
Current children cumulated vsize (Kb) 841528

[startup+940.045 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18309 3 1 0 93122 71 0 0 25 0 11 0 1786878424 861724672 38111 4294967295 134512640 134569956 3221224336 3221214616 1131428183 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38111 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 931.93
Current children cumulated vsize (Kb) 841528

[startup+950.046 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18309 3 1 0 94122 71 0 0 25 0 11 0 1786878424 861724672 38111 4294967295 134512640 134569956 3221224336 3221214552 1131428055 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38111 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (Kb) 841528

[startup+960.047 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18310 3 1 0 95118 71 0 0 24 0 11 0 1786878424 861724672 38111 4294967295 134512640 134569956 3221224336 3221214280 1131457409 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17808/statm): 210382 38111 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 951.89
Current children cumulated vsize (Kb) 841528

[startup+970.047 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18310 3 1 0 96117 71 0 0 25 0 11 0 1786878424 861724672 38111 4294967295 134512640 134569956 3221224336 3221214616 1131427996 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38111 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 961.88
Current children cumulated vsize (Kb) 841528

[startup+980.048 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18310 3 1 0 97117 71 0 0 25 0 11 0 1786878424 861724672 38111 4294967295 134512640 134569956 3221224336 3221214552 1131428084 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38111 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 971.88
Current children cumulated vsize (Kb) 841528

[startup+990.049 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18311 3 1 0 98112 71 0 0 25 0 11 0 1786878424 861724672 38656 4294967295 134512640 134569956 3221224336 3221214616 1131428043 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17808/statm): 210382 38656 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 981.83
Current children cumulated vsize (Kb) 841528

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18311 3 1 0 99112 71 0 0 25 0 11 0 1786878424 861724672 38656 4294967295 134512640 134569956 3221224336 3221214336 1131691685 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38656 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 991.83
Current children cumulated vsize (Kb) 841528

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18311 3 1 0 100111 73 0 0 25 0 11 0 1786878424 861724672 38656 4294967295 134512640 134569956 3221224336 3221214616 1131427996 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38656 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (Kb) 841528

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18311 3 1 0 101111 73 0 0 25 0 11 0 1786878424 861724672 38656 4294967295 134512640 134569956 3221224336 3221214616 1131428086 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38656 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 1011.84
Current children cumulated vsize (Kb) 841528

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18311 3 1 0 102111 73 0 0 25 0 11 0 1786878424 861724672 38656 4294967295 134512640 134569956 3221224336 3221214552 1131428155 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38656 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 1021.84
Current children cumulated vsize (Kb) 841528

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18312 3 1 0 103107 74 0 0 25 0 11 0 1786878424 861724672 38656 4294967295 134512640 134569956 3221224336 3221214400 1131658432 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38656 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 1031.81
Current children cumulated vsize (Kb) 841528

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18312 3 1 0 104107 74 0 0 25 0 11 0 1786878424 861724672 38656 4294967295 134512640 134569956 3221224336 3221214480 1131428055 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38656 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 1041.81
Current children cumulated vsize (Kb) 841528

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18312 3 1 0 105107 74 0 0 25 0 11 0 1786878424 861724672 38656 4294967295 134512640 134569956 3221224336 3221214328 1131457460 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38656 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 1051.81
Current children cumulated vsize (Kb) 841528

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18312 3 1 0 106107 74 0 0 25 0 11 0 1786878424 861724672 38656 4294967295 134512640 134569956 3221224336 3221214336 1131688659 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38656 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (Kb) 841528

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18312 3 1 0 107107 74 0 0 25 0 11 0 1786878424 861724672 38656 4294967295 134512640 134569956 3221224336 3221214480 1131428082 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38656 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 1071.81
Current children cumulated vsize (Kb) 841528

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18313 3 1 0 108106 74 0 0 25 0 11 0 1786878424 861724672 38671 4294967295 134512640 134569956 3221224336 3221214328 1131457516 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38671 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 1081.8
Current children cumulated vsize (Kb) 841528

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18313 3 1 0 109106 74 0 0 25 0 11 0 1786878424 861724672 38671 4294967295 134512640 134569956 3221224336 3221214336 1131692362 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38671 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 1091.8
Current children cumulated vsize (Kb) 841528

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18313 3 1 0 110107 74 0 0 25 0 11 0 1786878424 861724672 38671 4294967295 134512640 134569956 3221224336 3221214616 1131428064 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38671 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 1101.81
Current children cumulated vsize (Kb) 841528

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18313 3 1 0 111107 74 0 0 25 0 11 0 1786878424 861724672 38671 4294967295 134512640 134569956 3221224336 3221214616 1131428129 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38671 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 1111.81
Current children cumulated vsize (Kb) 841528

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18313 3 1 0 112107 74 0 0 25 0 11 0 1786878424 861724672 38671 4294967295 134512640 134569956 3221224336 3221214616 1131428086 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38671 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (Kb) 841528

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18313 3 1 0 113107 74 0 0 25 0 11 0 1786878424 861724672 38671 4294967295 134512640 134569956 3221224336 3221214616 1131427984 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38671 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 1131.81
Current children cumulated vsize (Kb) 841528

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18313 3 1 0 114107 74 0 0 25 0 11 0 1786878424 861724672 38671 4294967295 134512640 134569956 3221224336 3221214616 1131428064 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38671 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 1141.81
Current children cumulated vsize (Kb) 841528

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18313 3 1 0 115107 74 0 0 25 0 11 0 1786878424 861724672 38671 4294967295 134512640 134569956 3221224336 3221214616 1131428162 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38671 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 1151.81
Current children cumulated vsize (Kb) 841528

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18313 3 1 0 116107 74 0 0 25 0 11 0 1786878424 861724672 38671 4294967295 134512640 134569956 3221224336 3221214616 1131428170 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38671 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 1161.81
Current children cumulated vsize (Kb) 841528

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18313 3 1 0 117108 74 0 0 25 0 11 0 1786878424 861724672 38671 4294967295 134512640 134569956 3221224336 3221214552 1131428110 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38671 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 1171.82
Current children cumulated vsize (Kb) 841528

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18313 3 1 0 118108 75 0 0 25 0 11 0 1786878424 861724672 38671 4294967295 134512640 134569956 3221224336 3221214552 1131428129 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38671 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (Kb) 841528

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18313 3 1 0 119108 75 0 0 25 0 11 0 1786878424 861724672 38671 4294967295 134512640 134569956 3221224336 3221214552 1131428133 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38671 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 1191.83
Current children cumulated vsize (Kb) 841528

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18313 3 1 0 120108 75 0 0 25 0 11 0 1786878424 861724672 38671 4294967295 134512640 134569956 3221224336 3221214552 1131428160 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38671 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 1201.83
Current children cumulated vsize (Kb) 841528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 17823
Raw data (/proc/17808/stat): 17808 (java) R 17807 17808 6872 0 -1 0 18313 3 1 0 120108 75 0 0 25 0 11 0 1786878424 861724672 38671 4294967295 134512640 134569956 3221224336 3221214552 1131428166 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17808/statm): 210382 38671 13129 16 0 210366 0
[pid=17808] vsize: 841528
Current children cumulated CPU time (s) 1201.83
Current children cumulated vsize (Kb) 841528

Sending SIGTERM to -17808
Sleeping 2 seconds
New thread pid=17825
New thread pid=17826
One traced child (pid=17826) exited with status: 0
One traced child (pid=17817) exited with status: 0
One traced child (pid=17809) exited with status: 143
One traced child (pid=17816) exited with status: 143
One traced child (pid=17814) exited with status: 143
One traced child (pid=17823) exited with status: 143
One traced child (pid=17812) exited with status: 143
One traced child (pid=17825) exited with status: 143
One traced child (pid=17810) exited with status: 143
One traced child (pid=17811) exited with status: 143
One traced child (pid=17813) exited with status: 143
One traced child (pid=17815) exited with status: 143
One traced child (pid=17808) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1210.25
CPU time (s): 1207.97
CPU user time (s): 1206.82
CPU system time (s): 1.15682
CPU usage (%): 99.8119
Max. virtual memory (cumulated for all children) (Kb): 841528

Verifier Data

Verifier:	OK	-24