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/synthesis-ptl-cmos-circuits/normalized-C432.opb
MD5SUM6292e63147fb202dc159fbf5a9ff5c77
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4882
Optimality of the best value was proved NO
Number of terms in the objective function 771
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 33355
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 33355
Number of bits of the biggest sum of numbers16
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1196.31
Number of variables771
Total number of constraints1951
Number of constraints which are clauses1949
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint1
Maximum length of a constraint42

Trace number 3195

Launcher Data

LAUNCH ON wulflinc29 THE 2005-09-18 22:25:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6108 boxname=wulflinc29 idbench=248 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6292e63147fb202dc159fbf5a9ff5c77  /oldhome/oroussel/tmp/wulflinc29/normalized-C432.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc29/normalized-C432.opb
IDLAUNCH: 6108
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        908072 kB
Buffers:         33864 kB
Cached:          63332 kB
SwapCached:        792 kB
Active:          33484 kB
Inactive:        66476 kB
HighTotal:      131008 kB
HighFree:        66500 kB
LowTotal:       903652 kB
LowFree:        841572 kB
SwapTotal:     2097892 kB
SwapFree:      2096664 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5740 kB
Slab:            20912 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 22:46:41 (client local time) WITH STATUS 143 IN 1256.59 SECONDS
stats: 6108 0 1256.59 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/wulflinc29/normalized-C432.opb
c reading problem ... done. Time 2.46 ms.
c #vars     771
c #constraints  1951
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                5742 		Current CPU time: 3.84 ms
c CURRENT OPTIMUM=                5672 		Current CPU time: 4.88 ms
c CURRENT OPTIMUM=                5663 		Current CPU time: 5.23 ms
c CURRENT OPTIMUM=                5629 		Current CPU time: 7.20 ms
c CURRENT OPTIMUM=                5620 		Current CPU time: 8.51 ms
c CURRENT OPTIMUM=                5598 		Current CPU time: 11.99 ms
c CURRENT OPTIMUM=                5550 		Current CPU time: 12.31 ms
c CURRENT OPTIMUM=                5507 		Current CPU time: 12.82 ms
c starts		: 13
c conflicts		: 1093
c decisions		: 19686
c propagations		: 67047
c inspects		: 752685
c learnt literals	: 7
c learnt binary clauses	: 2
c learnt ternary clauses	: 0
c learnt clauses	: 1086
c root simplifications	: 20
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 0
c speed (decisions/second)	: 15.798977552707399
c non guided choices	3476
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 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 x674 -x675 -x676 -x677 -x678 -x679 x680 x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770 x771 
c objective function=5507
c Total CPU time (ms) : 1258.886

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/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1844829581 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 39 3 38 16 0 23 0
[pid=25603] 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/25603
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=25604
New thread pid=25605
New thread pid=25606
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=25607
New thread pid=25608
New thread pid=25609
New thread pid=25610
New thread pid=25611
New thread pid=25612
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/wulflinc29/normalized-C432.opb
New thread pid=25613
One traced child (pid=25613) exited with status: 0
New thread pid=25614
One traced child (pid=25614) exited with status: 0
New thread pid=25615
One traced child (pid=25615) exited with status: 0
New thread pid=25616
One traced child (pid=25616) exited with status: 0
New thread pid=25617
One traced child (pid=25617) exited with status: 0
New thread pid=25618

[startup+10.0029 s]
Raw data (loadavg): 1.04 1.00 0.98 2/66 25618
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18175 3 1 0 679 50 0 0 17 0 11 0 1844829581 859287552 20713 4294967295 134512640 134569956 3221224352 3221214752 1131487459 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209787 20713 13129 16 0 209771 0
[pid=25603] vsize: 839148
Current children cumulated CPU time (s) 7.29
Current children cumulated vsize (Kb) 839148
One traced child (pid=25618) exited with status: 0
New thread pid=25619
One traced child (pid=25619) exited with status: 0
New thread pid=25620
One traced child (pid=25620) exited with status: 0
New thread pid=25621

[startup+20.0027 s]
Raw data (loadavg): 1.10 1.02 0.99 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18186 3 1 0 1608 51 0 0 18 0 11 0 1844829581 859287552 21262 4294967295 134512640 134569956 3221224352 3221214552 1131508439 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209787 21262 13129 16 0 209771 0
[pid=25603] vsize: 839148
Current children cumulated CPU time (s) 16.59
Current children cumulated vsize (Kb) 839148

[startup+30.0025 s]
Raw data (loadavg): 1.17 1.03 0.99 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18192 3 1 0 2551 51 0 0 20 0 11 0 1844829581 858537984 21814 4294967295 134512640 134569956 3221224352 3221214584 1131569550 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 21814 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 26.02
Current children cumulated vsize (Kb) 838416

[startup+40.0032 s]
Raw data (loadavg): 1.22 1.05 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18199 3 1 0 3509 52 0 0 25 0 11 0 1844829581 858537984 21817 4294967295 134512640 134569956 3221224352 3221214552 1131508314 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 21817 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 35.61
Current children cumulated vsize (Kb) 838416

[startup+50.004 s]
Raw data (loadavg): 1.19 1.04 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18206 3 1 0 4450 52 0 0 20 0 11 0 1844829581 858537984 21817 4294967295 134512640 134569956 3221224352 3221214496 1131579212 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 21817 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 45.02
Current children cumulated vsize (Kb) 838416

[startup+60.0048 s]
Raw data (loadavg): 1.16 1.04 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) S 25602 25603 19818 0 -1 0 18213 3 1 0 5397 53 0 0 25 0 11 0 1844829581 858537984 21930 4294967295 134512640 134569956 3221224352 3221213192 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 21930 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 54.5
Current children cumulated vsize (Kb) 838416

[startup+70.0056 s]
Raw data (loadavg): 1.13 1.04 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18219 3 1 0 6322 53 0 0 24 0 11 0 1844829581 858537984 22740 4294967295 134512640 134569956 3221224352 3221214556 1131057201 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 22740 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 63.75
Current children cumulated vsize (Kb) 838416

[startup+80.0064 s]
Raw data (loadavg): 1.11 1.04 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18226 3 1 0 7271 53 0 0 25 0 11 0 1844829581 858537984 22740 4294967295 134512640 134569956 3221224352 3221214632 1131516658 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 22740 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 73.24
Current children cumulated vsize (Kb) 838416

[startup+90.0071 s]
Raw data (loadavg): 1.09 1.04 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18234 3 1 0 8185 54 0 0 16 0 11 0 1844829581 858537984 23607 4294967295 134512640 134569956 3221224352 3221214536 1131436738 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 23607 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 82.39
Current children cumulated vsize (Kb) 838416

[startup+100.008 s]
Raw data (loadavg): 1.08 1.03 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18241 3 1 0 9103 54 0 0 17 0 11 0 1844829581 858537984 24542 4294967295 134512640 134569956 3221224352 3221214648 1131632027 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 24542 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 91.57
Current children cumulated vsize (Kb) 838416

[startup+110.009 s]
Raw data (loadavg): 1.07 1.03 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18247 3 1 0 10045 54 0 0 25 0 11 0 1844829581 858537984 25004 4294967295 134512640 134569956 3221224352 3221214608 1131569550 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 25004 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 100.99
Current children cumulated vsize (Kb) 838416

[startup+120.009 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18254 3 1 0 10980 54 0 0 25 0 11 0 1844829581 858537984 25004 4294967295 134512640 134569956 3221224352 3221214532 1131373600 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 25004 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 110.34
Current children cumulated vsize (Kb) 838416

[startup+130.01 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18260 3 1 0 11919 54 0 0 25 0 11 0 1844829581 858537984 25138 4294967295 134512640 134569956 3221224352 3221214632 1131516593 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 25138 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 119.73
Current children cumulated vsize (Kb) 838416

[startup+140.011 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18268 3 1 0 12840 55 0 0 19 0 11 0 1844829581 858537984 25138 4294967295 134512640 134569956 3221224352 3221214712 1131506675 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 25138 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 128.95
Current children cumulated vsize (Kb) 838416

[startup+150.012 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18274 3 1 0 13774 55 0 0 21 0 11 0 1844829581 858537984 25656 4294967295 134512640 134569956 3221224352 3221214632 1131516593 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 25656 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 138.29
Current children cumulated vsize (Kb) 838416

[startup+160.013 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18281 3 1 0 14710 55 0 0 17 0 11 0 1844829581 858537984 25848 4294967295 134512640 134569956 3221224352 3221214608 1131569466 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 25848 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 147.65
Current children cumulated vsize (Kb) 838416

[startup+170.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18286 3 1 0 15638 55 0 0 24 0 11 0 1844829581 858537984 26826 4294967295 134512640 134569956 3221224352 3221214536 1131437111 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 26826 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 156.93
Current children cumulated vsize (Kb) 838416

[startup+180.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18293 3 1 0 16559 55 0 0 17 0 11 0 1844829581 858537984 27440 4294967295 134512640 134569956 3221224352 3221214632 1131516597 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 27440 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 166.14
Current children cumulated vsize (Kb) 838416

[startup+190.014 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18299 3 1 0 17495 56 0 0 24 0 11 0 1844829581 858537984 27738 4294967295 134512640 134569956 3221224352 3221214624 1131437210 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 27738 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 175.51
Current children cumulated vsize (Kb) 838416

[startup+200.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18306 3 1 0 18419 56 0 0 19 0 11 0 1844829581 858537984 27923 4294967295 134512640 134569956 3221224352 3221214536 1131437111 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 27923 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 184.75
Current children cumulated vsize (Kb) 838416

[startup+210.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18312 3 1 0 19355 56 0 0 25 0 11 0 1844829581 858537984 28132 4294967295 134512640 134569956 3221224352 3221214632 1131516677 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 28132 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 194.11
Current children cumulated vsize (Kb) 838416

[startup+220.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) S 25602 25603 19818 0 -1 0 18317 3 1 0 20295 57 0 0 17 0 11 0 1844829581 858537984 28261 4294967295 134512640 134569956 3221224352 3221213280 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 28261 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 203.52
Current children cumulated vsize (Kb) 838416

[startup+230.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18324 3 1 0 21235 57 0 0 20 0 11 0 1844829581 858537984 28261 4294967295 134512640 134569956 3221224352 3221214536 1131437687 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 28261 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 212.92
Current children cumulated vsize (Kb) 838416

[startup+240.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18332 3 1 0 22170 57 0 0 21 0 11 0 1844829581 858537984 28760 4294967295 134512640 134569956 3221224352 3221214800 1131356569 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 28760 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (Kb) 838416

[startup+250.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18339 3 1 0 23125 57 0 0 20 0 11 0 1844829581 858537984 28916 4294967295 134512640 134569956 3221224352 3221214632 1131516741 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 28916 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 231.82
Current children cumulated vsize (Kb) 838416

[startup+260.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18347 3 1 0 24063 58 0 0 25 0 11 0 1844829581 858537984 29085 4294967295 134512640 134569956 3221224352 3221214632 1131518648 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 29085 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 241.21
Current children cumulated vsize (Kb) 838416

[startup+270.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18355 3 1 0 24973 58 0 0 25 0 11 0 1844829581 858537984 29475 4294967295 134512640 134569956 3221224352 3221214536 1131437303 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 29475 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 250.31
Current children cumulated vsize (Kb) 838416

[startup+280.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18363 3 1 0 25885 58 0 0 23 0 11 0 1844829581 858537984 29666 4294967295 134512640 134569956 3221224352 3221214768 1131487896 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 29666 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 259.43
Current children cumulated vsize (Kb) 838416

[startup+290.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18372 3 1 0 26780 59 0 0 17 0 11 0 1844829581 858537984 30137 4294967295 134512640 134569956 3221224352 3221214536 1131436705 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 30137 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 268.39
Current children cumulated vsize (Kb) 838416

[startup+300.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18381 3 1 0 27682 59 0 0 16 0 11 0 1844829581 858537984 30437 4294967295 134512640 134569956 3221224352 3221214628 1131436684 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 30437 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 277.41
Current children cumulated vsize (Kb) 838416

[startup+310.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18390 3 1 0 28583 60 0 0 16 0 11 0 1844829581 858537984 30693 4294967295 134512640 134569956 3221224352 3221214536 1131437657 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 30693 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 286.43
Current children cumulated vsize (Kb) 838416

[startup+320.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18399 3 1 0 29483 60 0 0 16 0 11 0 1844829581 858537984 30960 4294967295 134512640 134569956 3221224352 3221214632 1131520823 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 30960 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 295.43
Current children cumulated vsize (Kb) 838416

[startup+330.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18409 3 1 0 30386 60 0 0 16 0 11 0 1844829581 858537984 31198 4294967295 134512640 134569956 3221224352 3221214632 1131520926 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 31198 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 304.46
Current children cumulated vsize (Kb) 838416

[startup+340.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) S 25602 25603 19818 0 -1 0 18419 3 1 0 31304 60 0 0 16 0 11 0 1844829581 858537984 31510 4294967295 134512640 134569956 3221224352 3221213280 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 31510 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 313.64
Current children cumulated vsize (Kb) 838416

[startup+350.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18430 3 1 0 32242 61 0 0 16 0 11 0 1844829581 858537984 31846 4294967295 134512640 134569956 3221224352 3221214632 1131516677 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 31846 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 323.03
Current children cumulated vsize (Kb) 838416

[startup+360.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18441 3 1 0 33189 61 0 0 16 0 11 0 1844829581 858537984 31941 4294967295 134512640 134569956 3221224352 3221214632 1131520982 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 31941 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 332.5
Current children cumulated vsize (Kb) 838416

[startup+370.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18451 3 1 0 34144 61 0 0 17 0 11 0 1844829581 858537984 32070 4294967295 134512640 134569956 3221224352 3221214632 1131517692 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 32070 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (Kb) 838416

[startup+380.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18462 3 1 0 35096 62 0 0 17 0 11 0 1844829581 858537984 32173 4294967295 134512640 134569956 3221224352 3221214536 1131436769 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 32173 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 351.58
Current children cumulated vsize (Kb) 838416

[startup+390.029 s]
Raw data (loadavg): 1.15 1.04 1.01 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18473 3 1 0 36048 62 0 0 16 0 11 0 1844829581 858537984 32288 4294967295 134512640 134569956 3221224352 3221214536 1131437111 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 32288 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 361.1
Current children cumulated vsize (Kb) 838416

[startup+400.028 s]
Raw data (loadavg): 1.12 1.03 1.01 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18483 3 1 0 37005 62 0 0 17 0 11 0 1844829581 858537984 32389 4294967295 134512640 134569956 3221224352 3221214632 1131521047 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 32389 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 370.67
Current children cumulated vsize (Kb) 838416

[startup+410.03 s]
Raw data (loadavg): 1.10 1.03 1.01 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18494 3 1 0 37947 63 0 0 16 0 11 0 1844829581 858537984 32481 4294967295 134512640 134569956 3221224352 3221214536 1131436960 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 32481 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 380.1
Current children cumulated vsize (Kb) 838416

[startup+420.031 s]
Raw data (loadavg): 1.09 1.03 1.01 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18504 3 1 0 38887 64 0 0 17 0 11 0 1844829581 858537984 32581 4294967295 134512640 134569956 3221224352 3221214632 1131520991 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 32581 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 389.51
Current children cumulated vsize (Kb) 838416

[startup+430.032 s]
Raw data (loadavg): 1.07 1.03 1.01 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18515 3 1 0 39819 65 0 0 16 0 11 0 1844829581 858537984 32684 4294967295 134512640 134569956 3221224352 3221214632 1131517457 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 32684 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 398.84
Current children cumulated vsize (Kb) 838416

[startup+440.033 s]
Raw data (loadavg): 1.06 1.03 1.01 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18526 3 1 0 40760 65 0 0 16 0 11 0 1844829581 858537984 32950 4294967295 134512640 134569956 3221224352 3221214632 1131521710 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 32950 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 408.25
Current children cumulated vsize (Kb) 838416

[startup+450.034 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18536 3 1 0 41710 66 0 0 17 0 11 0 1844829581 858537984 33074 4294967295 134512640 134569956 3221224352 3221214536 1131437540 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 33074 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 417.76
Current children cumulated vsize (Kb) 838416

[startup+460.036 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18547 3 1 0 42652 66 0 0 16 0 11 0 1844829581 858537984 33199 4294967295 134512640 134569956 3221224352 3221214632 1131520914 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 33199 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 427.18
Current children cumulated vsize (Kb) 838416

[startup+470.037 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18557 3 1 0 43597 66 0 0 16 0 11 0 1844829581 858537984 33319 4294967295 134512640 134569956 3221224352 3221214536 1131437657 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 33319 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 436.63
Current children cumulated vsize (Kb) 838416

[startup+480.038 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18568 3 1 0 44539 67 0 0 16 0 11 0 1844829581 858537984 33481 4294967295 134512640 134569956 3221224352 3221214536 1131437111 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 33481 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 446.06
Current children cumulated vsize (Kb) 838416

[startup+490.038 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18579 3 1 0 45483 68 0 0 16 0 11 0 1844829581 858537984 33622 4294967295 134512640 134569956 3221224352 3221214536 1131437684 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 33622 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 455.51
Current children cumulated vsize (Kb) 838416

[startup+500.04 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18584 3 1 0 46458 68 0 0 18 0 11 0 1844829581 858537984 33678 4294967295 134512640 134569956 3221224352 3221214632 1131516597 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 33678 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 465.26
Current children cumulated vsize (Kb) 838416

[startup+510.042 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18590 3 1 0 47431 68 0 0 17 0 11 0 1844829581 858537984 33746 4294967295 134512640 134569956 3221224352 3221214632 1131516593 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 33746 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 474.99
Current children cumulated vsize (Kb) 838416

[startup+520.043 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) S 25602 25603 19818 0 -1 0 18597 3 1 0 48398 69 0 0 18 0 11 0 1844829581 858537984 33813 4294967295 134512640 134569956 3221224352 3221213280 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 33813 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 484.67
Current children cumulated vsize (Kb) 838416

[startup+530.047 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18605 3 1 0 49368 69 0 0 17 0 11 0 1844829581 858537984 33914 4294967295 134512640 134569956 3221224352 3221214448 1131373626 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 33914 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 494.37
Current children cumulated vsize (Kb) 838416

[startup+540.048 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18613 3 1 0 50330 69 0 0 17 0 11 0 1844829581 858537984 33998 4294967295 134512640 134569956 3221224352 3221214608 1131569713 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 33998 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 503.99
Current children cumulated vsize (Kb) 838416

[startup+550.048 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18621 3 1 0 51289 70 0 0 17 0 11 0 1844829581 858537984 34025 4294967295 134512640 134569956 3221224352 3221214672 1131415481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 34025 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 513.59
Current children cumulated vsize (Kb) 838416

[startup+560.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18629 3 1 0 52239 70 0 0 16 0 11 0 1844829581 858537984 34073 4294967295 134512640 134569956 3221224352 3221214800 1131356569 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 34073 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 523.09
Current children cumulated vsize (Kb) 838416

[startup+570.052 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18636 3 1 0 53184 70 0 0 16 0 11 0 1844829581 858537984 34172 4294967295 134512640 134569956 3221224352 3221214632 1131516658 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 34172 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 532.54
Current children cumulated vsize (Kb) 838416

[startup+580.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18643 3 1 0 54129 70 0 0 16 0 11 0 1844829581 858537984 34297 4294967295 134512640 134569956 3221224352 3221214632 1131518648 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 34297 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 541.99
Current children cumulated vsize (Kb) 838416

[startup+590.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18650 3 1 0 55070 71 0 0 16 0 11 0 1844829581 858537984 34394 4294967295 134512640 134569956 3221224352 3221214536 1131437111 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 34394 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 551.41
Current children cumulated vsize (Kb) 838416

[startup+600.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18658 3 1 0 56002 71 0 0 16 0 11 0 1844829581 858537984 34558 4294967295 134512640 134569956 3221224352 3221214632 1131516658 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 34558 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 560.73
Current children cumulated vsize (Kb) 838416

[startup+610.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) S 25602 25603 19818 0 -1 0 18665 3 1 0 56939 71 0 0 17 0 11 0 1844829581 858537984 34777 4294967295 134512640 134569956 3221224352 3221213240 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 34777 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 570.1
Current children cumulated vsize (Kb) 838416

[startup+620.059 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) S 25602 25603 19818 0 -1 0 18673 3 1 0 57872 72 0 0 16 0 11 0 1844829581 858537984 34922 4294967295 134512640 134569956 3221224352 3221213280 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 34922 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 579.44
Current children cumulated vsize (Kb) 838416

[startup+630.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18682 3 1 0 58795 72 0 0 16 0 11 0 1844829581 858537984 35052 4294967295 134512640 134569956 3221224352 3221214536 1131437291 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 35052 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 588.67
Current children cumulated vsize (Kb) 838416

[startup+640.061 s]
Raw data (loadavg): 1.08 1.02 1.01 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18690 3 1 0 59727 72 0 0 16 0 11 0 1844829581 858537984 35290 4294967295 134512640 134569956 3221224352 3221214632 1131516586 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 35290 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 597.99
Current children cumulated vsize (Kb) 838416

[startup+650.062 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18698 3 1 0 60667 73 0 0 16 0 11 0 1844829581 858537984 35482 4294967295 134512640 134569956 3221224352 3221214536 1131437299 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 35482 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 607.4
Current children cumulated vsize (Kb) 838416

[startup+660.063 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18707 3 1 0 61601 73 0 0 16 0 11 0 1844829581 858537984 35681 4294967295 134512640 134569956 3221224352 3221214520 1131415265 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 35681 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 616.74
Current children cumulated vsize (Kb) 838416

[startup+670.063 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18715 3 1 0 62541 73 0 0 16 0 11 0 1844829581 858537984 35863 4294967295 134512640 134569956 3221224352 3221214448 1131374076 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 35863 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 626.14
Current children cumulated vsize (Kb) 838416

[startup+680.064 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18722 3 1 0 63488 73 0 0 16 0 11 0 1844829581 858537984 35948 4294967295 134512640 134569956 3221224352 3221214512 1131415599 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 35948 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 635.61
Current children cumulated vsize (Kb) 838416

[startup+690.065 s]
Raw data (loadavg): 1.11 1.04 1.01 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18728 3 1 0 64445 74 0 0 17 0 11 0 1844829581 858537984 36022 4294967295 134512640 134569956 3221224352 3221214536 1131437536 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 36022 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 645.19
Current children cumulated vsize (Kb) 838416

[startup+700.065 s]
Raw data (loadavg): 1.10 1.03 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18737 3 1 0 65385 74 0 0 16 0 11 0 1844829581 858537984 36245 4294967295 134512640 134569956 3221224352 3221214448 1131373626 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 36245 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 654.59
Current children cumulated vsize (Kb) 838416

[startup+710.067 s]
Raw data (loadavg): 1.08 1.03 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18745 3 1 0 66330 74 0 0 16 0 11 0 1844829581 858537984 36457 4294967295 134512640 134569956 3221224352 3221214536 1131437337 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 36457 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 664.04
Current children cumulated vsize (Kb) 838416

[startup+720.067 s]
Raw data (loadavg): 1.07 1.03 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18753 3 1 0 67274 75 0 0 17 0 11 0 1844829581 858537984 36528 4294967295 134512640 134569956 3221224352 3221214632 1131516593 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 36528 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 673.49
Current children cumulated vsize (Kb) 838416

[startup+730.067 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18760 3 1 0 68221 75 0 0 17 0 11 0 1844829581 858537984 36631 4294967295 134512640 134569956 3221224352 3221214408 1131675732 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 36631 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 682.96
Current children cumulated vsize (Kb) 838416

[startup+740.069 s]
Raw data (loadavg): 1.13 1.04 1.01 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18766 3 1 0 69180 75 0 0 17 0 11 0 1844829581 858537984 36725 4294967295 134512640 134569956 3221224352 3221214672 1131415468 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 36725 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 692.55
Current children cumulated vsize (Kb) 838416

[startup+750.07 s]
Raw data (loadavg): 1.11 1.04 1.01 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18772 3 1 0 70144 76 0 0 18 0 11 0 1844829581 858537984 36894 4294967295 134512640 134569956 3221224352 3221214432 1131666389 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 36894 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 702.2
Current children cumulated vsize (Kb) 838416

[startup+760.07 s]
Raw data (loadavg): 1.16 1.06 1.01 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18778 3 1 0 71116 76 0 0 22 0 11 0 1844829581 858537984 37046 4294967295 134512640 134569956 3221224352 3221214432 1131667109 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 37046 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 711.92
Current children cumulated vsize (Kb) 838416

[startup+770.071 s]
Raw data (loadavg): 1.14 1.06 1.01 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18782 3 1 0 72103 76 0 0 17 0 11 0 1844829581 858537984 37167 4294967295 134512640 134569956 3221224352 3221214536 1131437111 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 37167 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 721.79
Current children cumulated vsize (Kb) 838416

[startup+780.072 s]
Raw data (loadavg): 1.12 1.05 1.01 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18790 3 1 0 73079 76 0 0 17 0 11 0 1844829581 858537984 37222 4294967295 134512640 134569956 3221224352 3221214512 1131415601 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 37222 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 731.55
Current children cumulated vsize (Kb) 838416

[startup+790.073 s]
Raw data (loadavg): 1.10 1.05 1.01 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18796 3 1 0 74060 76 0 0 18 0 11 0 1844829581 858537984 37287 4294967295 134512640 134569956 3221224352 3221214512 1131415616 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 37287 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 741.36
Current children cumulated vsize (Kb) 838416

[startup+800.073 s]
Raw data (loadavg): 1.08 1.05 1.01 3/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18802 3 1 0 75041 77 0 0 16 0 11 0 1844829581 858537984 37287 4294967295 134512640 134569956 3221224352 3221214512 1131415601 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 37287 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 751.18
Current children cumulated vsize (Kb) 838416

[startup+810.075 s]
Raw data (loadavg): 1.07 1.05 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18807 3 1 0 76025 77 0 0 24 0 11 0 1844829581 858537984 37287 4294967295 134512640 134569956 3221224352 3221214520 1131415536 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 37287 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 761.02
Current children cumulated vsize (Kb) 838416

[startup+820.076 s]
Raw data (loadavg): 1.06 1.05 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18810 3 1 0 77014 77 0 0 25 0 11 0 1844829581 858537984 37287 4294967295 134512640 134569956 3221224352 3221214512 1131415599 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 37287 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 770.91
Current children cumulated vsize (Kb) 838416

[startup+830.077 s]
Raw data (loadavg): 1.05 1.04 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18816 3 1 0 77997 78 0 0 16 0 11 0 1844829581 858537984 37435 4294967295 134512640 134569956 3221224352 3221214512 1131415577 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 37435 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 780.75
Current children cumulated vsize (Kb) 838416

[startup+840.078 s]
Raw data (loadavg): 1.04 1.04 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18819 3 1 0 78989 78 0 0 19 0 11 0 1844829581 858537984 37444 4294967295 134512640 134569956 3221224352 3221214408 1131676094 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 37444 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 790.67
Current children cumulated vsize (Kb) 838416

[startup+850.078 s]
Raw data (loadavg): 1.03 1.04 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18826 3 1 0 79968 79 0 0 17 0 11 0 1844829581 858537984 37527 4294967295 134512640 134569956 3221224352 3221214520 1131579416 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 37527 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 800.47
Current children cumulated vsize (Kb) 838416

[startup+860.08 s]
Raw data (loadavg): 1.03 1.04 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18832 3 1 0 80948 79 0 0 20 0 11 0 1844829581 858537984 37528 4294967295 134512640 134569956 3221224352 3221214488 1131663018 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 37528 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 810.27
Current children cumulated vsize (Kb) 838416

[startup+870.081 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18835 3 1 0 81937 79 0 0 19 0 11 0 1844829581 858537984 37528 4294967295 134512640 134569956 3221224352 3221214672 1131415436 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 37528 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 820.16
Current children cumulated vsize (Kb) 838416

[startup+880.081 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18841 3 1 0 82912 79 0 0 18 0 11 0 1844829581 858537984 37528 4294967295 134512640 134569956 3221224352 3221214376 1131675690 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 37528 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 829.91
Current children cumulated vsize (Kb) 838416

[startup+890.082 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18847 3 1 0 83887 80 0 0 17 0 11 0 1844829581 858537984 37528 4294967295 134512640 134569956 3221224352 3221214512 1131415564 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 37528 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 839.67
Current children cumulated vsize (Kb) 838416

[startup+900.082 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18853 3 1 0 84865 80 0 0 25 0 11 0 1844829581 858537984 37853 4294967295 134512640 134569956 3221224352 3221214512 1131415436 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 37853 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 849.45
Current children cumulated vsize (Kb) 838416

[startup+910.084 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18857 3 1 0 85854 80 0 0 21 0 11 0 1844829581 858537984 37877 4294967295 134512640 134569956 3221224352 3221214512 1131415636 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 37877 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 859.34
Current children cumulated vsize (Kb) 838416

[startup+920.085 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18859 3 1 0 86849 81 0 0 25 0 11 0 1844829581 858537984 37943 4294967295 134512640 134569956 3221224352 3221214432 1131666836 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 37943 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 869.3
Current children cumulated vsize (Kb) 838416

[startup+930.086 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18862 3 1 0 87843 81 0 0 25 0 11 0 1844829581 858537984 37950 4294967295 134512640 134569956 3221224352 3221214512 1131415436 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 37950 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 879.24
Current children cumulated vsize (Kb) 838416

[startup+940.086 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18868 3 1 0 88834 81 0 0 19 0 11 0 1844829581 858537984 38030 4294967295 134512640 134569956 3221224352 3221214520 1131415660 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 38030 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 889.15
Current children cumulated vsize (Kb) 838416

[startup+950.087 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18874 3 1 0 89827 81 0 0 17 0 11 0 1844829581 858537984 38030 4294967295 134512640 134569956 3221224352 3221214512 1131415599 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 38030 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 899.08
Current children cumulated vsize (Kb) 838416

[startup+960.089 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18880 3 1 0 90820 82 0 0 19 0 11 0 1844829581 858537984 38031 4294967295 134512640 134569956 3221224352 3221214608 1131569888 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 38031 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 909.02
Current children cumulated vsize (Kb) 838416

[startup+970.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18886 3 1 0 91813 82 0 0 18 0 11 0 1844829581 858537984 38031 4294967295 134512640 134569956 3221224352 3221214480 1131595293 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 38031 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 918.95
Current children cumulated vsize (Kb) 838416

[startup+980.091 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18891 3 1 0 92807 83 0 0 18 0 11 0 1844829581 858537984 38031 4294967295 134512640 134569956 3221224352 3221214512 1131415587 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 38031 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 928.9
Current children cumulated vsize (Kb) 838416

[startup+990.091 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18897 3 1 0 93801 83 0 0 20 0 11 0 1844829581 858537984 38032 4294967295 134512640 134569956 3221224352 3221214512 1131415599 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 38032 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 938.84
Current children cumulated vsize (Kb) 838416

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18903 3 1 0 94794 83 0 0 20 0 11 0 1844829581 858537984 38035 4294967295 134512640 134569956 3221224352 3221214512 1131415599 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 38035 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 948.77
Current children cumulated vsize (Kb) 838416

[startup+1010.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18910 3 1 0 95778 84 0 0 17 0 11 0 1844829581 858537984 38035 4294967295 134512640 134569956 3221224352 3221214632 1131516352 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 38035 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 958.62
Current children cumulated vsize (Kb) 838416

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18918 3 1 0 96751 86 0 0 23 0 11 0 1844829581 858537984 38036 4294967295 134512640 134569956 3221224352 3221214536 1131437319 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 38036 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 968.37
Current children cumulated vsize (Kb) 838416

[startup+1030.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18927 3 1 0 97716 86 0 0 17 0 11 0 1844829581 858537984 38036 4294967295 134512640 134569956 3221224352 3221214520 1131579125 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 38036 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 978.02
Current children cumulated vsize (Kb) 838416

[startup+1040.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18929 3 1 0 98707 86 0 0 25 0 11 0 1844829581 858537984 38037 4294967295 134512640 134569956 3221224352 3221214432 1131666966 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 38037 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 987.93
Current children cumulated vsize (Kb) 838416

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18931 3 1 0 99697 87 0 0 21 0 11 0 1844829581 858537984 38037 4294967295 134512640 134569956 3221224352 3221214408 1131676244 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 38037 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 997.84
Current children cumulated vsize (Kb) 838416

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18932 3 1 0 100692 87 0 0 25 0 11 0 1844829581 858537984 38037 4294967295 134512640 134569956 3221224352 3221214432 1131666857 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 38037 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 1007.79
Current children cumulated vsize (Kb) 838416

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18934 3 1 0 101682 87 0 0 18 0 11 0 1844829581 858537984 38037 4294967295 134512640 134569956 3221224352 3221214488 1131663117 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 38037 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 1017.69
Current children cumulated vsize (Kb) 838416

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18938 3 1 0 102664 87 0 0 17 0 11 0 1844829581 858537984 38318 4294967295 134512640 134569956 3221224352 3221214632 1131516658 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 38318 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 1027.51
Current children cumulated vsize (Kb) 838416

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18945 3 1 0 103629 88 0 0 17 0 11 0 1844829581 858537984 38389 4294967295 134512640 134569956 3221224352 3221214520 1131415530 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 38389 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 1037.17
Current children cumulated vsize (Kb) 838416

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18948 3 1 0 104613 88 0 0 24 0 11 0 1844829581 858537984 38423 4294967295 134512640 134569956 3221224352 3221214536 1131659973 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 38423 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 1047.01
Current children cumulated vsize (Kb) 838416

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18949 3 1 0 105607 88 0 0 25 0 11 0 1844829581 858537984 38423 4294967295 134512640 134569956 3221224352 3221214432 1131667073 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 38423 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 1056.95
Current children cumulated vsize (Kb) 838416

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18951 3 1 0 106595 88 0 0 25 0 11 0 1844829581 858537984 38443 4294967295 134512640 134569956 3221224352 3221214488 1131663125 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 38443 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 1066.83
Current children cumulated vsize (Kb) 838416

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18952 3 1 0 107590 88 0 0 25 0 11 0 1844829581 858537984 38463 4294967295 134512640 134569956 3221224352 3221214520 1131415610 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 38463 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 1076.78
Current children cumulated vsize (Kb) 838416

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18953 3 1 0 108585 89 0 0 25 0 11 0 1844829581 858537984 38463 4294967295 134512640 134569956 3221224352 3221214512 1131501830 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 38463 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 1086.74
Current children cumulated vsize (Kb) 838416

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18960 3 1 0 109548 89 0 0 17 0 11 0 1844829581 858537984 38685 4294967295 134512640 134569956 3221224352 3221214536 1131437111 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 38685 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 1096.37
Current children cumulated vsize (Kb) 838416

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18965 3 1 0 110522 89 0 0 20 0 11 0 1844829581 858537984 38869 4294967295 134512640 134569956 3221224352 3221214512 1131415620 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 38869 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 1106.11
Current children cumulated vsize (Kb) 838416

[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18968 3 1 0 111506 90 0 0 25 0 11 0 1844829581 858537984 38943 4294967295 134512640 134569956 3221224352 3221214520 1131415599 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 38943 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 1115.96
Current children cumulated vsize (Kb) 838416

[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18970 3 1 0 112495 90 0 0 25 0 11 0 1844829581 858537984 38943 4294967295 134512640 134569956 3221224352 3221214408 1131676049 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 38943 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 1125.85
Current children cumulated vsize (Kb) 838416

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18976 3 1 0 113463 90 0 0 17 0 11 0 1844829581 858537984 39098 4294967295 134512640 134569956 3221224352 3221214632 1131517457 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 39098 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 1135.53
Current children cumulated vsize (Kb) 838416

[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18981 3 1 0 114434 91 0 0 19 0 11 0 1844829581 858537984 39423 4294967295 134512640 134569956 3221224352 3221214512 1131415599 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 39423 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 1145.25
Current children cumulated vsize (Kb) 838416

[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18986 3 1 0 115406 91 0 0 17 0 11 0 1844829581 858537984 39423 4294967295 134512640 134569956 3221224352 3221214512 1131415601 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 39423 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 1154.97
Current children cumulated vsize (Kb) 838416

[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18992 3 1 0 116373 91 0 0 17 0 11 0 1844829581 858537984 39666 4294967295 134512640 134569956 3221224352 3221214512 1131415591 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 39666 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 1164.64
Current children cumulated vsize (Kb) 838416

[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18998 3 1 0 117346 92 0 0 20 0 11 0 1844829581 858537984 39700 4294967295 134512640 134569956 3221224352 3221214512 1131415648 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 39700 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 1174.38
Current children cumulated vsize (Kb) 838416

[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 19003 3 1 0 118324 92 0 0 19 0 11 0 1844829581 858537984 39781 4294967295 134512640 134569956 3221224352 3221214608 1131569436 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 39781 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 1184.16
Current children cumulated vsize (Kb) 838416

[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 19010 3 1 0 119300 92 0 0 19 0 11 0 1844829581 858537984 40024 4294967295 134512640 134569956 3221224352 3221214632 1131517996 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/25603/statm): 209604 40024 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 1193.92
Current children cumulated vsize (Kb) 838416

[startup+1260.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) S 25602 25603 19818 0 -1 0 19018 3 1 0 120282 92 0 0 23 0 11 0 1844829581 858537984 40166 4294967295 134512640 134569956 3221224352 3221213176 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 40166 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 1203.74
Current children cumulated vsize (Kb) 838416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1260.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 25621
Raw data (/proc/25603/stat): 25603 (java) S 25602 25603 19818 0 -1 0 19018 3 1 0 120282 92 0 0 23 0 11 0 1844829581 858537984 40166 4294967295 134512640 134569956 3221224352 3221213176 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/25603/statm): 209604 40166 13129 16 0 209588 0
[pid=25603] vsize: 838416
Current children cumulated CPU time (s) 1203.74
Current children cumulated vsize (Kb) 838416

Sending SIGTERM to -25603
Sleeping 2 seconds
New thread pid=25623
New thread pid=25624
One traced child (pid=25624) exited with status: 0
One traced child (pid=25612) exited with status: 0
One traced child (pid=25607) exited with status: 0
One traced child (pid=25604) exited with status: 143
One traced child (pid=25605) exited with status: 143
One traced child (pid=25606) exited with status: 143
One traced child (pid=25609) exited with status: 143
One traced child (pid=25611) exited with status: 143
One traced child (pid=25610) exited with status: 143
One traced child (pid=25608) exited with status: 143
One traced child (pid=25621) exited with status: 143
One traced child (pid=25623) exited with status: 143
One traced child (pid=25603) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1260.26
CPU time (s): 1256.59
CPU user time (s): 1254.85
CPU system time (s): 1.73474
CPU usage (%): 99.7087
Max. virtual memory (cumulated for all children) (Kb): 839148

Verifier Data

Verifier:	OK	5507