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

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-ii32e3.opb
MD5SUMfba76bbece6bbaf52b3b51d8d6e74147
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 310
Optimality of the best value was proved YES
Number of terms in the objective function 660
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 660
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 660
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark109.888
Number of variables660
Total number of constraints5350
Number of constraints which are clauses5350
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 constraint32

Trace number 1789

Launcher Data

LAUNCH ON wulflinc27 THE 2005-09-18 16:40:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6012 boxname=wulflinc27 idbench=152 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  fba76bbece6bbaf52b3b51d8d6e74147  /oldhome/oroussel/tmp/wulflinc27/normalized-ii32e3.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc27/normalized-ii32e3.opb
IDLAUNCH: 6012
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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	: 3
cpu MHz		: 451.169
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:        912544 kB
Buffers:         35796 kB
Cached:          54288 kB
SwapCached:        764 kB
Active:          66992 kB
Inactive:        25700 kB
HighTotal:      131008 kB
HighFree:        74116 kB
LowTotal:       903652 kB
LowFree:        838428 kB
SwapTotal:     2097892 kB
SwapFree:      2096616 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5724 kB
Slab:            23952 kB
Committed_AS:    64164 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 17:01:39 (client local time) WITH STATUS 143 IN 1247.68 SECONDS
stats: 6012 0 1247.68 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/wulflinc27/normalized-ii32e3.opb
c reading problem ... done. Time 3.614 ms.
c #vars     660
c #constraints  5350
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                 324 		Current CPU time: 11.12 ms
c CURRENT OPTIMUM=                 323 		Current CPU time: 15.07 ms
c CURRENT OPTIMUM=                 322 		Current CPU time: 19.23 ms
c CURRENT OPTIMUM=                 320 		Current CPU time: 27.77 ms
c CURRENT OPTIMUM=                 316 		Current CPU time: 50.87 ms
c CURRENT OPTIMUM=                 315 		Current CPU time: 75.73 ms
c CURRENT OPTIMUM=                 314 		Current CPU time: 142.52 ms
c CURRENT OPTIMUM=                 312 		Current CPU time: 165.17 ms
c CURRENT OPTIMUM=                 311 		Current CPU time: 477.66 ms
c CURRENT OPTIMUM=                 310 		Current CPU time: 635.49 ms
c starts		: 25
c conflicts		: 2456
c decisions		: 8090
c propagations		: 308667
c inspects		: 4911044
c learnt literals	: 1
c learnt binary clauses	: 29
c learnt ternary clauses	: 23
c learnt clauses	: 2455
c root simplifications	: 28
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 0
c speed (decisions/second)	: 13.408780513677288
c non guided choices	2623
c random choices	0
s SATISFIABLE
v x1 -x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 -x113 x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 -x123 x124 x125 -x126 x127 -x128 x129 -x130 -x131 x132 -x133 -x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 -x143 -x144 x145 -x146 x147 -x148 -x149 x150 x151 -x152 x153 -x154 -x155 -x156 x157 -x158 -x159 x160 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 x169 -x170 x171 -x172 -x173 -x174 x175 -x176 x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 x186 x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 x195 -x196 x197 -x198 x199 -x200 -x201 -x202 x203 -x204 x205 -x206 x207 -x208 x209 -x210 -x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x220 -x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 -x230 -x231 x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240 x241 -x242 x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 x253 -x254 -x255 -x256 x257 -x258 x259 -x260 x261 -x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 -x289 x290 x291 -x292 -x293 x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 -x345 x346 x347 -x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 x379 -x380 x381 -x382 x383 -x384 x385 -x386 -x387 x388 -x389 x390 x391 -x392 -x393 x394 -x395 x396 -x397 x398 -x399 x400 x401 -x402 x403 -x404 -x405 x406 -x407 x408 x409 -x410 -x411 x412 -x413 -x414 x415 -x416 -x417 x418 -x419 x420 x421 -x422 -x423 x424 -x425 x426 x427 -x428 -x429 x430 -x431 x432 x433 -x434 -x435 x436 -x437 x438 x439 -x440 -x441 x442 -x443 x444 -x445 x446 -x447 x448 x449 -x450 x451 -x452 -x453 x454 -x455 x456 -x457 x458 -x459 x460 x461 -x462 -x463 x464 -x465 x466 x467 -x468 -x469 x470 -x471 x472 x473 -x474 -x475 x476 -x477 x478 x479 -x480 -x481 x482 -x483 x484 x485 -x486 -x487 x488 -x489 x490 x491 -x492 x493 -x494 -x495 x496 -x497 x498 -x499 x500 -x501 x502 x503 -x504 -x505 -x506 -x507 x508 x509 -x510 x511 -x512 -x513 x514 -x515 x516 x517 -x518 -x519 x520 -x521 x522 x523 -x524 -x525 x526 -x527 x528 -x529 x530 -x531 x532 x533 -x534 -x535 x536 -x537 x538 x539 -x540 x541 -x542 -x543 x544 -x545 x546 x547 -x548 -x549 x550 -x551 x552 -x553 x554 -x555 x556 x557 -x558 -x559 x560 x561 -x562 -x563 x564 -x565 x566 -x567 x568 x569 -x570 -x571 x572 -x573 x574 x575 -x576 -x577 x578 x579 -x580 -x581 x582 -x583 x584 -x585 x586 x587 -x588 -x589 x590 -x591 x592 x593 -x594 -x595 x596 -x597 x598 x599 -x600 x601 -x602 -x603 x604 -x605 x606 x607 -x608 -x609 x610 -x611 x612 x613 -x614 -x615 x616 -x617 -x618 x619 -x620 -x621 x622 -x623 x624 x625 -x626 -x627 x628 -x629 x630 -x631 -x632 -x633 x634 x635 -x636 x637 -x638 -x639 x640 -x641 x642 x643 -x644 -x645 x646 -x647 x648 x649 -x650 -x651 x652 -x653 x654 x655 -x656 -x657 x658 -x659 x660 
c objective function=310
c Total CPU time (ms) : 1238.855

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/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1842756054 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 39 3 38 16 0 23 0
[pid=8438] 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/8438
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=8439
New thread pid=8440
New thread pid=8441
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=8442
New thread pid=8443
New thread pid=8444
New thread pid=8445
New thread pid=8446
New thread pid=8447
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security
open syscall for file /dev/random
open syscall for file /dev/urandom
open syscall for file /oldhome/oroussel/tmp/wulflinc27/normalized-ii32e3.opb
New thread pid=8448

[startup+10.0025 s]
Raw data (loadavg): 1.08 1.00 0.92 3/66 8448
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18156 0 1 0 720 50 0 0 20 0 11 0 1842756054 858198016 20312 4294967295 134512640 134569956 3221224352 3221214652 1131300020 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209521 20312 13129 16 0 209505 0
[pid=8438] vsize: 838084
Current children cumulated CPU time (s) 7.7
Current children cumulated vsize (Kb) 838084
One traced child (pid=8448) exited with status: 0
New thread pid=8449
One traced child (pid=8449) exited with status: 0
New thread pid=8450

[startup+20.0033 s]
Raw data (loadavg): 1.14 1.02 0.93 2/66 8450
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18210 4 1 0 1676 51 0 0 24 0 11 0 1842756054 859590656 21827 4294967295 134512640 134569956 3221224352 3221214680 1131512937 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209861 21827 13129 16 0 209845 0
[pid=8438] vsize: 839444
Current children cumulated CPU time (s) 17.27
Current children cumulated vsize (Kb) 839444
One traced child (pid=8450) exited with status: 0
New thread pid=8451
One traced child (pid=8451) exited with status: 0
New thread pid=8452

[startup+30.0041 s]
Raw data (loadavg): 1.12 1.02 0.93 2/66 8452
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18219 4 1 0 2629 52 0 0 17 0 11 0 1842756054 858542080 21784 4294967295 134512640 134569956 3221224352 3221214680 1131513319 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 21784 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 26.81
Current children cumulated vsize (Kb) 838420

[startup+40.005 s]
Raw data (loadavg): 1.10 1.02 0.93 2/66 8452
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18228 4 1 0 3584 52 0 0 23 0 11 0 1842756054 858542080 21950 4294967295 134512640 134569956 3221224352 3221214680 1131513525 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 21950 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 36.36
Current children cumulated vsize (Kb) 838420

[startup+50.0068 s]
Raw data (loadavg): 1.08 1.02 0.93 2/66 8452
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18234 4 1 0 4532 52 0 0 25 0 11 0 1842756054 858542080 22275 4294967295 134512640 134569956 3221224352 3221214608 1131369016 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 22275 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 45.84
Current children cumulated vsize (Kb) 838420
One traced child (pid=8452) exited with status: 0
New thread pid=8453

[startup+60.0076 s]
Raw data (loadavg): 1.07 1.02 0.93 2/66 8453
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18240 4 1 0 5467 53 0 0 25 0 11 0 1842756054 858542080 22481 4294967295 134512640 134569956 3221224352 3221214592 1131378564 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 22481 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 55.2
Current children cumulated vsize (Kb) 838420

[startup+70.0084 s]
Raw data (loadavg): 1.06 1.01 0.93 2/66 8453
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18246 4 1 0 6403 53 0 0 25 0 11 0 1842756054 858542080 22572 4294967295 134512640 134569956 3221224352 3221214776 1131498501 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 22572 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 64.56
Current children cumulated vsize (Kb) 838420
One traced child (pid=8453) exited with status: 0
New thread pid=8454

[startup+80.0092 s]
Raw data (loadavg): 1.05 1.01 0.93 2/66 8454
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18254 4 1 0 7323 53 0 0 17 0 11 0 1842756054 858542080 22696 4294967295 134512640 134569956 3221224352 3221214680 1131512944 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 22696 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 73.76
Current children cumulated vsize (Kb) 838420

[startup+90.011 s]
Raw data (loadavg): 1.04 1.01 0.93 2/66 8454
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18260 4 1 0 8268 53 0 0 22 0 11 0 1842756054 858542080 22813 4294967295 134512640 134569956 3221224352 3221214648 1131343540 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 22813 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 83.21
Current children cumulated vsize (Kb) 838420

[startup+100.012 s]
Raw data (loadavg): 1.04 1.01 0.93 2/66 8454
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18267 4 1 0 9226 53 0 0 25 0 11 0 1842756054 858542080 23280 4294967295 134512640 134569956 3221224352 3221214776 1131498501 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 23280 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 92.79
Current children cumulated vsize (Kb) 838420

[startup+110.012 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 8454
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18275 4 1 0 10196 53 0 0 24 0 11 0 1842756054 858542080 23342 4294967295 134512640 134569956 3221224352 3221214680 1131513205 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 23342 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 102.49
Current children cumulated vsize (Kb) 838420

[startup+120.013 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 8454
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18281 4 1 0 11176 53 0 0 25 0 11 0 1842756054 858542080 23374 4294967295 134512640 134569956 3221224352 3221214680 1131512876 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 23374 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 112.29
Current children cumulated vsize (Kb) 838420

[startup+130.014 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 8454
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18287 4 1 0 12153 54 0 0 25 0 11 0 1842756054 858542080 23448 4294967295 134512640 134569956 3221224352 3221214680 1131513319 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 23448 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 122.07
Current children cumulated vsize (Kb) 838420

[startup+140.015 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 8454
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18294 4 1 0 13128 55 0 0 25 0 11 0 1842756054 858542080 23471 4294967295 134512640 134569956 3221224352 3221214752 1131471921 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 23471 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 131.83
Current children cumulated vsize (Kb) 838420
One traced child (pid=8454) exited with status: 0
New thread pid=8455

[startup+150.016 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 8455
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18303 4 1 0 14096 56 0 0 20 0 11 0 1842756054 858542080 23483 4294967295 134512640 134569956 3221224352 3221214680 1131512898 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 23483 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 141.52
Current children cumulated vsize (Kb) 838420

[startup+160.017 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 8455
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18309 4 1 0 15068 56 0 0 25 0 11 0 1842756054 858542080 23493 4294967295 134512640 134569956 3221224352 3221214680 1131513011 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 23493 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 151.24
Current children cumulated vsize (Kb) 838420
One traced child (pid=8455) exited with status: 0
New thread pid=8456

[startup+170.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18317 4 1 0 16028 57 0 0 16 0 11 0 1842756054 858542080 23570 4294967295 134512640 134569956 3221224352 3221214760 1131326406 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 23570 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 160.85
Current children cumulated vsize (Kb) 838420

[startup+180.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18324 4 1 0 16995 57 0 0 25 0 11 0 1842756054 858542080 23611 4294967295 134512640 134569956 3221224352 3221214680 1131512898 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 23611 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 170.52
Current children cumulated vsize (Kb) 838420

[startup+190.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18331 4 1 0 17962 57 0 0 25 0 11 0 1842756054 858542080 23699 4294967295 134512640 134569956 3221224352 3221214680 1131513499 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 23699 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 180.19
Current children cumulated vsize (Kb) 838420

[startup+200.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18339 4 1 0 18925 57 0 0 25 0 11 0 1842756054 858542080 23743 4294967295 134512640 134569956 3221224352 3221214680 1131512898 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 23743 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 189.82
Current children cumulated vsize (Kb) 838420

[startup+210.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18346 4 1 0 19894 58 0 0 23 0 11 0 1842756054 858542080 23838 4294967295 134512640 134569956 3221224352 3221214680 1131512898 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 23838 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 199.52
Current children cumulated vsize (Kb) 838420

[startup+220.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18353 4 1 0 20859 58 0 0 25 0 11 0 1842756054 858542080 23857 4294967295 134512640 134569956 3221224352 3221214504 1131587907 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 23857 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 209.17
Current children cumulated vsize (Kb) 838420

[startup+230.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18359 4 1 0 21813 58 0 0 25 0 11 0 1842756054 858542080 23878 4294967295 134512640 134569956 3221224352 3221214752 1131471921 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 23878 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 218.71
Current children cumulated vsize (Kb) 838420

[startup+240.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18366 4 1 0 22763 59 0 0 21 0 11 0 1842756054 858542080 23958 4294967295 134512640 134569956 3221224352 3221214680 1131514112 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 23958 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 228.22
Current children cumulated vsize (Kb) 838420

[startup+250.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18373 4 1 0 23717 59 0 0 16 0 11 0 1842756054 858542080 24010 4294967295 134512640 134569956 3221224352 3221214720 1131525004 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 24010 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 237.76
Current children cumulated vsize (Kb) 838420

[startup+260.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18380 4 1 0 24672 59 0 0 25 0 11 0 1842756054 858542080 24025 4294967295 134512640 134569956 3221224352 3221214680 1131512944 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 24025 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 247.31
Current children cumulated vsize (Kb) 838420

[startup+270.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18386 4 1 0 25645 59 0 0 25 0 11 0 1842756054 858542080 24382 4294967295 134512640 134569956 3221224352 3221214648 1131343574 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 24382 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 257.04
Current children cumulated vsize (Kb) 838420

[startup+280.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18394 4 1 0 26621 59 0 0 16 0 11 0 1842756054 858542080 24405 4294967295 134512640 134569956 3221224352 3221214776 1131498231 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 24405 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 266.8
Current children cumulated vsize (Kb) 838420

[startup+290.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18400 4 1 0 27602 60 0 0 25 0 11 0 1842756054 858542080 24422 4294967295 134512640 134569956 3221224352 3221214760 1131326403 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 24422 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 276.62
Current children cumulated vsize (Kb) 838420

[startup+300.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18408 4 1 0 28578 60 0 0 25 0 11 0 1842756054 858542080 24448 4294967295 134512640 134569956 3221224352 3221214776 1131498452 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 24448 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 286.38
Current children cumulated vsize (Kb) 838420

[startup+310.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18415 4 1 0 29556 60 0 0 21 0 11 0 1842756054 858542080 24469 4294967295 134512640 134569956 3221224352 3221214752 1131471928 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 24469 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 296.16
Current children cumulated vsize (Kb) 838420

[startup+320.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18422 4 1 0 30536 61 0 0 21 0 11 0 1842756054 858542080 24496 4294967295 134512640 134569956 3221224352 3221214680 1131512865 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 24496 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 305.97
Current children cumulated vsize (Kb) 838420

[startup+330.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18430 4 1 0 31517 61 0 0 25 0 11 0 1842756054 858542080 24539 4294967295 134512640 134569956 3221224352 3221214648 1131343608 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 24539 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 315.78
Current children cumulated vsize (Kb) 838420

[startup+340.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18438 4 1 0 32498 61 0 0 17 0 11 0 1842756054 858542080 24546 4294967295 134512640 134569956 3221224352 3221214680 1131513875 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 24546 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 325.59
Current children cumulated vsize (Kb) 838420

[startup+350.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18445 4 1 0 33482 61 0 0 25 0 11 0 1842756054 858542080 24558 4294967295 134512640 134569956 3221224352 3221214776 1131498341 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 24558 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 335.43
Current children cumulated vsize (Kb) 838420

[startup+360.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18453 4 1 0 34464 62 0 0 25 0 11 0 1842756054 858542080 24571 4294967295 134512640 134569956 3221224352 3221214760 1131326403 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 24571 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 345.26
Current children cumulated vsize (Kb) 838420

[startup+370.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18461 4 1 0 35446 62 0 0 25 0 11 0 1842756054 858542080 24574 4294967295 134512640 134569956 3221224352 3221214680 1131513489 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 24574 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 355.08
Current children cumulated vsize (Kb) 838420

[startup+380.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18468 4 1 0 36430 62 0 0 25 0 11 0 1842756054 858542080 24578 4294967295 134512640 134569956 3221224352 3221214648 1131344243 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 24578 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 364.92
Current children cumulated vsize (Kb) 838420

[startup+390.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18476 4 1 0 37410 62 0 0 19 0 11 0 1842756054 858542080 24588 4294967295 134512640 134569956 3221224352 3221214680 1131512857 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 24588 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 374.72
Current children cumulated vsize (Kb) 838420

[startup+400.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18483 4 1 0 38395 63 0 0 25 0 11 0 1842756054 858542080 24598 4294967295 134512640 134569956 3221224352 3221214680 1131513256 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 24598 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 384.58
Current children cumulated vsize (Kb) 838420

[startup+410.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18491 4 1 0 39377 63 0 0 25 0 11 0 1842756054 858542080 24612 4294967295 134512640 134569956 3221224352 3221214648 1131343574 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 24612 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 394.4
Current children cumulated vsize (Kb) 838420

[startup+420.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18499 4 1 0 40359 63 0 0 25 0 11 0 1842756054 858542080 24623 4294967295 134512640 134569956 3221224352 3221214680 1131513319 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 24623 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 404.22
Current children cumulated vsize (Kb) 838420

[startup+430.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18506 4 1 0 41342 63 0 0 25 0 11 0 1842756054 858542080 24629 4294967295 134512640 134569956 3221224352 3221214680 1131513744 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 24629 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 414.05
Current children cumulated vsize (Kb) 838420

[startup+440.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18514 4 1 0 42323 63 0 0 25 0 11 0 1842756054 858542080 24637 4294967295 134512640 134569956 3221224352 3221214776 1131498501 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 24637 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 423.86
Current children cumulated vsize (Kb) 838420

[startup+450.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18522 4 1 0 43303 64 0 0 25 0 11 0 1842756054 858542080 24646 4294967295 134512640 134569956 3221224352 3221214680 1131513342 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 24646 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 433.67
Current children cumulated vsize (Kb) 838420

[startup+460.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18529 4 1 0 44284 64 0 0 25 0 11 0 1842756054 858542080 24666 4294967295 134512640 134569956 3221224352 3221214680 1131512861 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 24666 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 443.48
Current children cumulated vsize (Kb) 838420

[startup+470.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8456
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18537 4 1 0 45264 65 0 0 22 0 11 0 1842756054 858542080 24680 4294967295 134512640 134569956 3221224352 3221214680 1131428754 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 24680 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 453.29
Current children cumulated vsize (Kb) 838420
One traced child (pid=8456) exited with status: 0
New thread pid=8457

[startup+480.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8457
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18546 4 1 0 46238 65 0 0 25 0 11 0 1842756054 858542080 24699 4294967295 134512640 134569956 3221224352 3221214648 1131343677 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 24699 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 463.03
Current children cumulated vsize (Kb) 838420

[startup+490.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8457
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18552 4 1 0 47211 65 0 0 25 0 11 0 1842756054 858542080 24705 4294967295 134512640 134569956 3221224352 3221214760 1131326403 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 24705 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 472.76
Current children cumulated vsize (Kb) 838420

[startup+500.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8457
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18559 4 1 0 48179 66 0 0 25 0 11 0 1842756054 858542080 24712 4294967295 134512640 134569956 3221224352 3221214680 1131513129 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 24712 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 482.45
Current children cumulated vsize (Kb) 838420

[startup+510.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8457
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18566 4 1 0 49148 66 0 0 25 0 11 0 1842756054 858542080 24729 4294967295 134512640 134569956 3221224352 3221214776 1131498341 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 24729 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 492.14
Current children cumulated vsize (Kb) 838420

[startup+520.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8457
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18573 4 1 0 50117 66 0 0 25 0 11 0 1842756054 858542080 24740 4294967295 134512640 134569956 3221224352 3221214124 1077403024 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 24740 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 501.83
Current children cumulated vsize (Kb) 838420

[startup+530.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8457
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18580 4 1 0 51092 66 0 0 22 0 11 0 1842756054 858542080 24903 4294967295 134512640 134569956 3221224352 3221214776 1131498509 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 24903 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 511.58
Current children cumulated vsize (Kb) 838420

[startup+540.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8457
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18587 4 1 0 52072 66 0 0 25 0 11 0 1842756054 858542080 24920 4294967295 134512640 134569956 3221224352 3221214680 1131513270 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 24920 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 521.38
Current children cumulated vsize (Kb) 838420

[startup+550.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8457
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18594 4 1 0 53053 67 0 0 25 0 11 0 1842756054 858542080 24930 4294967295 134512640 134569956 3221224352 3221214776 1131498656 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 24930 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 531.2
Current children cumulated vsize (Kb) 838420

[startup+560.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8457
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18601 4 1 0 54033 67 0 0 25 0 11 0 1842756054 858542080 24946 4294967295 134512640 134569956 3221224352 3221214680 1131513399 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 24946 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 541
Current children cumulated vsize (Kb) 838420

[startup+570.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8457
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18609 4 1 0 55012 67 0 0 24 0 11 0 1842756054 858542080 24975 4294967295 134512640 134569956 3221224352 3221214760 1131326403 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 24975 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 550.79
Current children cumulated vsize (Kb) 838420

[startup+580.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8457
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18616 4 1 0 55993 68 0 0 18 0 11 0 1842756054 858542080 24990 4294967295 134512640 134569956 3221224352 3221214680 1131513267 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 24990 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 560.61
Current children cumulated vsize (Kb) 838420

[startup+590.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8457
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18623 4 1 0 56977 68 0 0 25 0 11 0 1842756054 858542080 25004 4294967295 134512640 134569956 3221224352 3221214680 1131513319 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25004 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 570.45
Current children cumulated vsize (Kb) 838420

[startup+600.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8457
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18630 4 1 0 57959 68 0 0 25 0 11 0 1842756054 858542080 25010 4294967295 134512640 134569956 3221224352 3221214680 1131513319 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25010 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 580.27
Current children cumulated vsize (Kb) 838420

[startup+610.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8457
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18638 4 1 0 58938 68 0 0 25 0 11 0 1842756054 858542080 25018 4294967295 134512640 134569956 3221224352 3221214756 1131343520 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25018 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 590.06
Current children cumulated vsize (Kb) 838420

[startup+620.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8457
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18645 4 1 0 59920 69 0 0 25 0 11 0 1842756054 858542080 25032 4294967295 134512640 134569956 3221224352 3221214760 1131326403 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25032 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 599.89
Current children cumulated vsize (Kb) 838420

[startup+630.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8457
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18653 4 1 0 60901 69 0 0 25 0 11 0 1842756054 858542080 25040 4294967295 134512640 134569956 3221224352 3221214680 1131513531 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25040 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 609.7
Current children cumulated vsize (Kb) 838420
One traced child (pid=8457) exited with status: 0
New thread pid=8458

[startup+640.061 s]
Raw data (loadavg): 1.00 1.00 0.93 3/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18660 4 1 0 61879 70 0 0 25 0 11 0 1842756054 858542080 25050 4294967295 134512640 134569956 3221224352 3221214648 1131343540 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25050 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 619.49
Current children cumulated vsize (Kb) 838420

[startup+650.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18667 4 1 0 62845 70 0 0 17 0 11 0 1842756054 858542080 25061 4294967295 134512640 134569956 3221224352 3221214680 1131513036 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25061 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 629.15
Current children cumulated vsize (Kb) 838420

[startup+660.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18674 4 1 0 63810 70 0 0 16 0 11 0 1842756054 858542080 25065 4294967295 134512640 134569956 3221224352 3221214648 1131343540 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25065 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 638.8
Current children cumulated vsize (Kb) 838420

[startup+670.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18681 4 1 0 64774 70 0 0 24 0 11 0 1842756054 858542080 25072 4294967295 134512640 134569956 3221224352 3221214776 1131498520 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25072 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 648.44
Current children cumulated vsize (Kb) 838420

[startup+680.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18688 4 1 0 65738 71 0 0 20 0 11 0 1842756054 858542080 25079 4294967295 134512640 134569956 3221224352 3221214680 1131512898 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25079 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 658.09
Current children cumulated vsize (Kb) 838420

[startup+690.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18697 4 1 0 66705 71 0 0 23 0 11 0 1842756054 858542080 25303 4294967295 134512640 134569956 3221224352 3221214680 1131513449 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25303 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 667.76
Current children cumulated vsize (Kb) 838420

[startup+700.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18703 4 1 0 67676 71 0 0 25 0 11 0 1842756054 858542080 25324 4294967295 134512640 134569956 3221224352 3221214648 1131344230 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25324 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 677.47
Current children cumulated vsize (Kb) 838420

[startup+710.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18709 4 1 0 68648 71 0 0 25 0 11 0 1842756054 858542080 25337 4294967295 134512640 134569956 3221224352 3221214840 1131556762 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25337 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 687.19
Current children cumulated vsize (Kb) 838420

[startup+720.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18716 4 1 0 69615 72 0 0 25 0 11 0 1842756054 858542080 25357 4294967295 134512640 134569956 3221224352 3221214680 1131513875 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25357 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 696.87
Current children cumulated vsize (Kb) 838420

[startup+730.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18723 4 1 0 70582 72 0 0 25 0 11 0 1842756054 858542080 25369 4294967295 134512640 134569956 3221224352 3221214680 1131512865 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25369 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 706.54
Current children cumulated vsize (Kb) 838420

[startup+740.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18729 4 1 0 71553 72 0 0 24 0 11 0 1842756054 858542080 25496 4294967295 134512640 134569956 3221224352 3221214680 1131427922 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25496 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 716.25
Current children cumulated vsize (Kb) 838420

[startup+750.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18736 4 1 0 72529 73 0 0 25 0 11 0 1842756054 858542080 25560 4294967295 134512640 134569956 3221224352 3221214680 1131513352 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25560 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 726.02
Current children cumulated vsize (Kb) 838420

[startup+760.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18744 4 1 0 73505 73 0 0 25 0 11 0 1842756054 858542080 25577 4294967295 134512640 134569956 3221224352 3221214760 1131326403 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25577 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 735.78
Current children cumulated vsize (Kb) 838420

[startup+770.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18751 4 1 0 74484 74 0 0 25 0 11 0 1842756054 858542080 25600 4294967295 134512640 134569956 3221224352 3221214648 1131343540 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25600 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 745.58
Current children cumulated vsize (Kb) 838420

[startup+780.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18758 4 1 0 75465 74 0 0 25 0 11 0 1842756054 858542080 25629 4294967295 134512640 134569956 3221224352 3221214680 1131513489 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25629 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 755.39
Current children cumulated vsize (Kb) 838420

[startup+790.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18766 4 1 0 76445 75 0 0 25 0 11 0 1842756054 858542080 25653 4294967295 134512640 134569956 3221224352 3221214680 1131513850 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25653 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 765.2
Current children cumulated vsize (Kb) 838420

[startup+800.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18773 4 1 0 77429 75 0 0 25 0 11 0 1842756054 858542080 25666 4294967295 134512640 134569956 3221224352 3221214680 1131513813 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25666 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 775.04
Current children cumulated vsize (Kb) 838420

[startup+810.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18780 4 1 0 78412 76 0 0 25 0 11 0 1842756054 858542080 25677 4294967295 134512640 134569956 3221224352 3221214772 1131471840 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25677 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 784.88
Current children cumulated vsize (Kb) 838420

[startup+820.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18787 4 1 0 79397 76 0 0 25 0 11 0 1842756054 858542080 25682 4294967295 134512640 134569956 3221224352 3221214756 1131343520 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25682 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 794.73
Current children cumulated vsize (Kb) 838420

[startup+830.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18795 4 1 0 80378 76 0 0 18 0 11 0 1842756054 858542080 25689 4294967295 134512640 134569956 3221224352 3221214648 1131343540 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25689 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 804.54
Current children cumulated vsize (Kb) 838420

[startup+840.078 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18803 4 1 0 81358 76 0 0 25 0 11 0 1842756054 858542080 25700 4294967295 134512640 134569956 3221224352 3221214680 1131513783 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25700 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 814.34
Current children cumulated vsize (Kb) 838420

[startup+850.079 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18809 4 1 0 82343 76 0 0 25 0 11 0 1842756054 858542080 25704 4294967295 134512640 134569956 3221224352 3221214648 1131343540 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25704 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 824.19
Current children cumulated vsize (Kb) 838420

[startup+860.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18816 4 1 0 83323 77 0 0 25 0 11 0 1842756054 858542080 25710 4294967295 134512640 134569956 3221224352 3221214680 1131512993 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25710 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 834
Current children cumulated vsize (Kb) 838420

[startup+870.081 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18824 4 1 0 84302 77 0 0 25 0 11 0 1842756054 858542080 25719 4294967295 134512640 134569956 3221224352 3221214680 1131512953 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25719 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 843.79
Current children cumulated vsize (Kb) 838420

[startup+880.082 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18832 4 1 0 85281 78 0 0 18 0 11 0 1842756054 858542080 25728 4294967295 134512640 134569956 3221224352 3221214776 1131498804 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25728 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 853.59
Current children cumulated vsize (Kb) 838420

[startup+890.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18840 4 1 0 86260 78 0 0 25 0 11 0 1842756054 858542080 25742 4294967295 134512640 134569956 3221224352 3221214648 1131343646 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25742 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 863.38
Current children cumulated vsize (Kb) 838420

[startup+900.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18848 4 1 0 87240 78 0 0 22 0 11 0 1842756054 858542080 25751 4294967295 134512640 134569956 3221224352 3221214760 1131326403 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25751 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 873.18
Current children cumulated vsize (Kb) 838420

[startup+910.085 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18856 4 1 0 88221 79 0 0 20 0 11 0 1842756054 858542080 25757 4294967295 134512640 134569956 3221224352 3221214756 1131343520 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25757 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 883
Current children cumulated vsize (Kb) 838420

[startup+920.086 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18864 4 1 0 89203 79 0 0 25 0 11 0 1842756054 858542080 25763 4294967295 134512640 134569956 3221224352 3221214680 1131513875 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25763 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 892.82
Current children cumulated vsize (Kb) 838420

[startup+930.087 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18872 4 1 0 90184 79 0 0 18 0 11 0 1842756054 858542080 25766 4294967295 134512640 134569956 3221224352 3221214756 1131343520 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25766 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 902.63
Current children cumulated vsize (Kb) 838420

[startup+940.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18880 4 1 0 91165 79 0 0 25 0 11 0 1842756054 858542080 25771 4294967295 134512640 134569956 3221224352 3221214680 1131512857 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25771 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 912.44
Current children cumulated vsize (Kb) 838420

[startup+950.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18888 4 1 0 92147 79 0 0 25 0 11 0 1842756054 858542080 25776 4294967295 134512640 134569956 3221224352 3221214760 1131326403 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25776 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 922.26
Current children cumulated vsize (Kb) 838420

[startup+960.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18896 4 1 0 93127 80 0 0 18 0 11 0 1842756054 858542080 25778 4294967295 134512640 134569956 3221224352 3221214680 1131513882 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25778 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 932.07
Current children cumulated vsize (Kb) 838420

[startup+970.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18903 4 1 0 94110 80 0 0 25 0 11 0 1842756054 858542080 25783 4294967295 134512640 134569956 3221224352 3221214680 1131512857 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25783 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (Kb) 838420

[startup+980.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18911 4 1 0 95091 80 0 0 25 0 11 0 1842756054 858542080 25794 4294967295 134512640 134569956 3221224352 3221214680 1131513233 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25794 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 951.71
Current children cumulated vsize (Kb) 838420

[startup+990.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18920 4 1 0 96069 81 0 0 25 0 11 0 1842756054 858542080 25802 4294967295 134512640 134569956 3221224352 3221214776 1131498776 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25802 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 961.5
Current children cumulated vsize (Kb) 838420

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18927 4 1 0 97052 81 0 0 25 0 11 0 1842756054 858542080 25809 4294967295 134512640 134569956 3221224352 3221214680 1131513319 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25809 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 971.33
Current children cumulated vsize (Kb) 838420

[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18936 4 1 0 98032 81 0 0 25 0 11 0 1842756054 858542080 25816 4294967295 134512640 134569956 3221224352 3221214680 1131512895 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25816 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 981.13
Current children cumulated vsize (Kb) 838420

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18943 4 1 0 99013 82 0 0 23 0 11 0 1842756054 858542080 25818 4294967295 134512640 134569956 3221224352 3221214776 1131498716 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25818 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 990.95
Current children cumulated vsize (Kb) 838420

[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18951 4 1 0 99992 82 0 0 25 0 11 0 1842756054 858542080 25823 4294967295 134512640 134569956 3221224352 3221214680 1131513810 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25823 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 1000.74
Current children cumulated vsize (Kb) 838420

[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18959 4 1 0 100970 82 0 0 25 0 11 0 1842756054 858542080 25829 4294967295 134512640 134569956 3221224352 3221214680 1131513762 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25829 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 1010.52
Current children cumulated vsize (Kb) 838420

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18966 4 1 0 101951 82 0 0 21 0 11 0 1842756054 858542080 25837 4294967295 134512640 134569956 3221224352 3221214680 1131513875 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25837 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 1020.33
Current children cumulated vsize (Kb) 838420

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18973 4 1 0 102932 83 0 0 18 0 11 0 1842756054 858542080 25849 4294967295 134512640 134569956 3221224352 3221214680 1131513233 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25849 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 1030.15
Current children cumulated vsize (Kb) 838420

[startup+1070.1 s]
Raw data (loadavg): 1.07 1.02 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18980 4 1 0 103914 83 0 0 24 0 11 0 1842756054 858542080 25855 4294967295 134512640 134569956 3221224352 3221214776 1131498231 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25855 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 1039.97
Current children cumulated vsize (Kb) 838420

[startup+1080.1 s]
Raw data (loadavg): 1.06 1.02 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18987 4 1 0 104895 83 0 0 25 0 11 0 1842756054 858542080 25866 4294967295 134512640 134569956 3221224352 3221214760 1131326403 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25866 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 1049.78
Current children cumulated vsize (Kb) 838420

[startup+1090.1 s]
Raw data (loadavg): 1.05 1.01 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 18995 4 1 0 105874 83 0 0 25 0 11 0 1842756054 858542080 25881 4294967295 134512640 134569956 3221224352 3221214680 1131513477 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25881 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 1059.57
Current children cumulated vsize (Kb) 838420

[startup+1100.1 s]
Raw data (loadavg): 1.04 1.01 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 19002 4 1 0 106856 84 0 0 25 0 11 0 1842756054 858542080 25885 4294967295 134512640 134569956 3221224352 3221214680 1131512944 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25885 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 1069.4
Current children cumulated vsize (Kb) 838420

[startup+1110.1 s]
Raw data (loadavg): 1.04 1.01 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 19011 4 1 0 107833 84 0 0 25 0 11 0 1842756054 858542080 25891 4294967295 134512640 134569956 3221224352 3221214676 1131379620 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25891 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 1079.17
Current children cumulated vsize (Kb) 838420

[startup+1120.1 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 19019 4 1 0 108813 84 0 0 25 0 11 0 1842756054 858542080 25903 4294967295 134512640 134569956 3221224352 3221214680 1131513907 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25903 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 1088.97
Current children cumulated vsize (Kb) 838420

[startup+1130.11 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 19027 4 1 0 109794 85 0 0 18 0 11 0 1842756054 858542080 25914 4294967295 134512640 134569956 3221224352 3221214680 1131513875 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25914 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 1098.79
Current children cumulated vsize (Kb) 838420

[startup+1140.11 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 19035 4 1 0 110776 85 0 0 25 0 11 0 1842756054 858542080 25924 4294967295 134512640 134569956 3221224352 3221214776 1131498736 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25924 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 1108.61
Current children cumulated vsize (Kb) 838420

[startup+1150.11 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 19042 4 1 0 111760 85 0 0 25 0 11 0 1842756054 858542080 25932 4294967295 134512640 134569956 3221224352 3221214680 1131513011 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25932 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 1118.45
Current children cumulated vsize (Kb) 838420

[startup+1160.11 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 19050 4 1 0 112739 85 0 0 25 0 11 0 1842756054 858542080 25936 4294967295 134512640 134569956 3221224352 3221214720 1131524986 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25936 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 1128.24
Current children cumulated vsize (Kb) 838420

[startup+1170.11 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 19057 4 1 0 113718 86 0 0 23 0 11 0 1842756054 858542080 25940 4294967295 134512640 134569956 3221224352 3221214680 1131513399 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25940 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 1138.04
Current children cumulated vsize (Kb) 838420

[startup+1180.11 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 19063 4 1 0 114701 86 0 0 25 0 11 0 1842756054 858542080 25947 4294967295 134512640 134569956 3221224352 3221214680 1131513790 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25947 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 1147.87
Current children cumulated vsize (Kb) 838420

[startup+1190.11 s]
Raw data (loadavg): 1.01 1.00 0.93 3/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 19071 4 1 0 115677 87 0 0 17 0 11 0 1842756054 858542080 25956 4294967295 134512640 134569956 3221224352 3221214680 1131513813 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25956 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 1157.64
Current children cumulated vsize (Kb) 838420

[startup+1200.11 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 19078 4 1 0 116655 87 0 0 24 0 11 0 1842756054 858542080 25973 4294967295 134512640 134569956 3221224352 3221214680 1131513399 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25973 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 1167.42
Current children cumulated vsize (Kb) 838420

[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 19085 4 1 0 117635 87 0 0 25 0 11 0 1842756054 858542080 25987 4294967295 134512640 134569956 3221224352 3221214760 1131326403 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 25987 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 1177.22
Current children cumulated vsize (Kb) 838420

[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 19092 4 1 0 118615 88 0 0 25 0 11 0 1842756054 858542080 25998 4294967295 134512640 134569956 3221224352 3221214776 1131498501 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 25998 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 1187.03
Current children cumulated vsize (Kb) 838420

[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 19099 4 1 0 119594 88 0 0 25 0 11 0 1842756054 858542080 26010 4294967295 134512640 134569956 3221224352 3221214756 1131343520 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8438/statm): 209605 26010 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 1196.82
Current children cumulated vsize (Kb) 838420

[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 19106 4 1 0 120573 88 0 0 25 0 11 0 1842756054 858542080 26030 4294967295 134512640 134569956 3221224352 3221214756 1131343520 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 26030 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 1206.61
Current children cumulated vsize (Kb) 838420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 8458
Raw data (/proc/8438/stat): 8438 (java) R 8437 8438 28974 0 -1 0 19106 4 1 0 120573 88 0 0 25 0 11 0 1842756054 858542080 26030 4294967295 134512640 134569956 3221224352 3221214756 1131343520 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8438/statm): 209605 26030 13129 16 0 209589 0
[pid=8438] vsize: 838420
Current children cumulated CPU time (s) 1206.61
Current children cumulated vsize (Kb) 838420

Sending SIGTERM to -8438
Sleeping 2 seconds
New thread pid=8460
New thread pid=8461
One traced child (pid=8461) exited with status: 0
One traced child (pid=8447) exited with status: 0
One traced child (pid=8442) exited with status: 0
One traced child (pid=8439) exited with status: 143
One traced child (pid=8440) exited with status: 143
One traced child (pid=8441) exited with status: 143
One traced child (pid=8443) exited with status: 143
One traced child (pid=8444) exited with status: 143
One traced child (pid=8445) exited with status: 143
One traced child (pid=8446) exited with status: 143
One traced child (pid=8458) exited with status: 143
One traced child (pid=8460) exited with status: 143
One traced child (pid=8438) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1240.22
CPU time (s): 1247.68
CPU user time (s): 1245.94
CPU system time (s): 1.73673
CPU usage (%): 100.602
Max. virtual memory (cumulated for all children) (Kb): 839444

Verifier Data

Verifier:	OK	310