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-ii32d2.opb
MD5SUMa483fc3761bb4050329265bf3a3a7ca5
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 372
Optimality of the best value was proved NO
Number of terms in the objective function 808
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 808
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 808
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.09383
Number of variables808
Total number of constraints5557
Number of constraints which are clauses5557
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 1783

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        932444 kB
Buffers:         27312 kB
Cached:          48824 kB
SwapCached:       1044 kB
Active:          38868 kB
Inactive:        40016 kB
HighTotal:      131008 kB
HighFree:        78540 kB
LowTotal:       903652 kB
LowFree:        853904 kB
SwapTotal:     2097136 kB
SwapFree:      2095568 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5660 kB
Slab:            17548 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 16:54:13 (client local time) WITH STATUS 143 IN 1246.44 SECONDS
stats: 6008 0 1246.44 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/wulflinc9/normalized-ii32d2.opb
c reading problem ... done. Time 4.216 ms.
c #vars     808
c #constraints  5557
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                 404 		Current CPU time: 10.24 ms
c CURRENT OPTIMUM=                 395 		Current CPU time: 19.18 ms
c CURRENT OPTIMUM=                 394 		Current CPU time: 128.81 ms
c CURRENT OPTIMUM=                 393 		Current CPU time: 238.07 ms
c CURRENT OPTIMUM=                 392 		Current CPU time: 980.37 ms
c CURRENT OPTIMUM=                 391 		Current CPU time: 1248.05 ms
c starts		: 28
c conflicts		: 6794
c decisions		: 17702
c propagations		: 763566
c inspects		: 7000416
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 4
c learnt clauses	: 6794
c root simplifications	: 28
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 5890
c speed (decisions/second)	: 21380.434782608696
c non guided choices	5012
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 x772 -x773 x774 -x775 x776 -x777 x778 x779 -x780 -x781 x782 -x783 x784 -x785 x786 -x787 x788 -x789 x790 x791 -x792 -x793 x794 -x795 x796 -x797 x798 x799 -x800 -x801 x802 -x803 x804 -x805 x806 x807 -x808 
c objective function=391
c Total CPU time (ms) : 1248.917

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/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1784498449 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 39 3 38 16 0 23 0
[pid=5847] 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/5847
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=5848
New thread pid=5849
New thread pid=5850
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=5851
New thread pid=5852
New thread pid=5853
New thread pid=5854
New thread pid=5855
New thread pid=5856
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/wulflinc9/normalized-ii32d2.opb
New thread pid=5857

[startup+10.0033 s]
Raw data (loadavg): 1.23 1.02 0.93 2/66 5857
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18134 0 1 0 716 49 0 0 16 0 11 0 1784498449 860950528 20982 4294967295 134512640 134569956 3221224352 3221214792 1131592139 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 210193 20982 13129 16 0 210177 0
[pid=5847] vsize: 840772
Current children cumulated CPU time (s) 7.65
Current children cumulated vsize (Kb) 840772
One traced child (pid=5857) exited with status: 0
New thread pid=5858

[startup+20.004 s]
Raw data (loadavg): 1.36 1.05 0.94 2/66 5858
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18190 3 4 0 1593 50 0 0 21 0 11 0 1784498449 875532288 26368 4294967295 134512640 134569956 3221224352 3221214648 1131532476 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213753 26368 13129 16 0 213737 0
[pid=5847] vsize: 855012
Current children cumulated CPU time (s) 16.43
Current children cumulated vsize (Kb) 855012
One traced child (pid=5858) exited with status: 0
New thread pid=5859

[startup+30.0038 s]
Raw data (loadavg): 1.30 1.05 0.94 2/66 5859
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18199 3 4 0 2553 50 0 0 18 0 11 0 1784498449 874614784 26111 4294967295 134512640 134569956 3221224352 3221214768 1131515176 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 26111 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 26.03
Current children cumulated vsize (Kb) 854116

[startup+40.0045 s]
Raw data (loadavg): 1.26 1.05 0.94 2/66 5859
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18205 3 4 0 3500 51 0 0 25 0 11 0 1784498449 874614784 26111 4294967295 134512640 134569956 3221224352 3221214752 1131594802 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 26111 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 35.51
Current children cumulated vsize (Kb) 854116

[startup+50.0053 s]
Raw data (loadavg): 1.29 1.06 0.94 2/66 5859
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18212 3 4 0 4429 51 0 0 18 0 11 0 1784498449 874614784 26115 4294967295 134512640 134569956 3221224352 3221214568 1131531574 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 26115 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 44.8
Current children cumulated vsize (Kb) 854116

[startup+60.0071 s]
Raw data (loadavg): 1.25 1.06 0.94 2/66 5859
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18220 3 4 0 5347 51 0 0 20 0 11 0 1784498449 874614784 26411 4294967295 134512640 134569956 3221224352 3221214568 1131530327 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 26411 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 53.98
Current children cumulated vsize (Kb) 854116

[startup+70.0079 s]
Raw data (loadavg): 1.21 1.06 0.94 2/66 5859
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18227 3 4 0 6267 51 0 0 18 0 11 0 1784498449 874614784 26706 4294967295 134512640 134569956 3221224352 3221214568 1131534177 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 26706 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 63.18
Current children cumulated vsize (Kb) 854116

[startup+80.0086 s]
Raw data (loadavg): 1.17 1.06 0.94 2/66 5859
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18234 3 4 0 7189 52 0 0 17 0 11 0 1784498449 874614784 26828 4294967295 134512640 134569956 3221224352 3221214480 1131471025 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 26828 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 72.41
Current children cumulated vsize (Kb) 854116

[startup+90.0094 s]
Raw data (loadavg): 1.15 1.05 0.94 2/66 5859
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18240 3 4 0 8120 52 0 0 17 0 11 0 1784498449 874614784 26999 4294967295 134512640 134569956 3221224352 3221214688 1131568800 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 26999 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 81.72
Current children cumulated vsize (Kb) 854116

[startup+100.009 s]
Raw data (loadavg): 1.12 1.05 0.94 2/66 5859
Raw data (/proc/5847/stat): 5847 (java) S 5846 5847 30740 0 -1 0 18246 3 4 0 9040 52 0 0 16 0 11 0 1784498449 874614784 27206 4294967295 134512640 134569956 3221224352 3221213224 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 27206 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 90.92
Current children cumulated vsize (Kb) 854116

[startup+110.011 s]
Raw data (loadavg): 1.10 1.05 0.94 2/66 5859
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18253 3 4 0 9966 52 0 0 16 0 11 0 1784498449 874614784 27454 4294967295 134512640 134569956 3221224352 3221214480 1131470747 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 27454 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 100.18
Current children cumulated vsize (Kb) 854116

[startup+120.012 s]
Raw data (loadavg): 1.09 1.05 0.94 2/66 5859
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18258 3 4 0 10915 52 0 0 17 0 11 0 1784498449 874614784 27841 4294967295 134512640 134569956 3221224352 3221214560 1131567665 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 27841 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 109.67
Current children cumulated vsize (Kb) 854116

[startup+130.011 s]
Raw data (loadavg): 1.07 1.05 0.94 2/66 5859
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18263 3 4 0 11856 53 0 0 15 0 11 0 1784498449 874614784 27984 4294967295 134512640 134569956 3221224352 3221214480 1131471010 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 27984 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 119.09
Current children cumulated vsize (Kb) 854116
One traced child (pid=5859) exited with status: 0
New thread pid=5860

[startup+140.012 s]
Raw data (loadavg): 1.06 1.04 0.94 1/66 5860
Raw data (/proc/5847/stat): 5847 (java) T 5846 5847 30740 0 -1 0 18267 3 4 0 12819 53 0 0 18 0 11 0 1784498449 874614784 28069 4294967295 134512640 134569956 3221224352 3221213652 1074594577 0 4 1 23758 3222434794 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 28069 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 128.72
Current children cumulated vsize (Kb) 854116

[startup+150.013 s]
Raw data (loadavg): 1.05 1.04 0.94 2/66 5860
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18273 3 4 0 13753 53 0 0 16 0 11 0 1784498449 874614784 28120 4294967295 134512640 134569956 3221224352 3221214480 1131471025 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 28120 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 138.06
Current children cumulated vsize (Kb) 854116

[startup+160.014 s]
Raw data (loadavg): 1.04 1.04 0.94 2/66 5860
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18279 3 4 0 14686 53 0 0 17 0 11 0 1784498449 874614784 28201 4294967295 134512640 134569956 3221224352 3221214480 1131471025 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 28201 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 147.39
Current children cumulated vsize (Kb) 854116

[startup+170.015 s]
Raw data (loadavg): 1.04 1.04 0.94 2/66 5860
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18285 3 4 0 15619 53 0 0 17 0 11 0 1784498449 874614784 28303 4294967295 134512640 134569956 3221224352 3221214040 1085806732 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 28303 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 156.72
Current children cumulated vsize (Kb) 854116

[startup+180.014 s]
Raw data (loadavg): 1.03 1.04 0.94 2/66 5860
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18292 3 4 0 16558 54 0 0 17 0 11 0 1784498449 874614784 28704 4294967295 134512640 134569956 3221224352 3221214480 1131471025 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 28704 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 166.12
Current children cumulated vsize (Kb) 854116

[startup+190.015 s]
Raw data (loadavg): 1.02 1.03 0.94 2/66 5860
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18299 3 4 0 17512 54 0 0 18 0 11 0 1784498449 874614784 28849 4294967295 134512640 134569956 3221224352 3221214568 1131530525 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 28849 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 175.66
Current children cumulated vsize (Kb) 854116

[startup+200.016 s]
Raw data (loadavg): 1.02 1.03 0.94 2/66 5860
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18306 3 4 0 18469 54 0 0 18 0 11 0 1784498449 874614784 28942 4294967295 134512640 134569956 3221224352 3221214480 1131471025 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 28942 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 185.23
Current children cumulated vsize (Kb) 854116

[startup+210.018 s]
Raw data (loadavg): 1.02 1.03 0.94 2/66 5860
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18314 3 4 0 19422 56 0 0 17 0 11 0 1784498449 874614784 29019 4294967295 134512640 134569956 3221224352 3221214480 1131471183 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 29019 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 194.78
Current children cumulated vsize (Kb) 854116

[startup+220.018 s]
Raw data (loadavg): 1.01 1.03 0.94 2/66 5860
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18322 3 4 0 20379 56 0 0 17 0 11 0 1784498449 874614784 29104 4294967295 134512640 134569956 3221224352 3221214568 1131532480 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 29104 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 204.35
Current children cumulated vsize (Kb) 854116

[startup+230.019 s]
Raw data (loadavg): 1.01 1.03 0.94 2/66 5860
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18328 3 4 0 21343 56 0 0 17 0 11 0 1784498449 874614784 29155 4294967295 134512640 134569956 3221224352 3221214392 1131359100 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 29155 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 213.99
Current children cumulated vsize (Kb) 854116
One traced child (pid=5860) exited with status: 0
New thread pid=5861

[startup+240.02 s]
Raw data (loadavg): 1.01 1.03 0.94 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18335 3 4 0 22297 57 0 0 18 0 11 0 1784498449 874614784 29205 4294967295 134512640 134569956 3221224352 3221213904 1131469564 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 29205 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 223.54
Current children cumulated vsize (Kb) 854116

[startup+250.02 s]
Raw data (loadavg): 1.01 1.03 0.94 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18338 3 4 0 23274 58 0 0 18 0 11 0 1784498449 874614784 29223 4294967295 134512640 134569956 3221224352 3221214568 1131532364 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 29223 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 233.32
Current children cumulated vsize (Kb) 854116

[startup+260.021 s]
Raw data (loadavg): 1.01 1.02 0.94 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18343 3 4 0 24235 58 0 0 17 0 11 0 1784498449 874614784 29262 4294967295 134512640 134569956 3221224352 3221213904 1131469522 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 29262 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 242.93
Current children cumulated vsize (Kb) 854116

[startup+270.022 s]
Raw data (loadavg): 1.00 1.02 0.94 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18349 3 4 0 25188 59 0 0 17 0 11 0 1784498449 874614784 29301 4294967295 134512640 134569956 3221224352 3221214392 1131359092 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 29301 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 252.47
Current children cumulated vsize (Kb) 854116

[startup+280.022 s]
Raw data (loadavg): 1.00 1.02 0.94 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18354 3 4 0 26151 59 0 0 17 0 11 0 1784498449 874614784 29338 4294967295 134512640 134569956 3221224352 3221214696 1131594839 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 29338 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 262.1
Current children cumulated vsize (Kb) 854116

[startup+290.023 s]
Raw data (loadavg): 1.00 1.02 0.94 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18360 3 4 0 27109 59 0 0 17 0 11 0 1784498449 874614784 29495 4294967295 134512640 134569956 3221224352 3221214568 1131530445 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 29495 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 271.68
Current children cumulated vsize (Kb) 854116

[startup+300.024 s]
Raw data (loadavg): 1.00 1.02 0.94 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18366 3 4 0 28074 59 0 0 18 0 11 0 1784498449 874614784 29542 4294967295 134512640 134569956 3221224352 3221214480 1131470621 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 29542 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 281.33
Current children cumulated vsize (Kb) 854116

[startup+310.024 s]
Raw data (loadavg): 1.00 1.02 0.94 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18371 3 4 0 29049 59 0 0 16 0 11 0 1784498449 874614784 29700 4294967295 134512640 134569956 3221224352 3221214568 1131531571 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 29700 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 291.08
Current children cumulated vsize (Kb) 854116

[startup+320.025 s]
Raw data (loadavg): 1.00 1.02 0.94 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18377 3 4 0 30023 60 0 0 16 0 11 0 1784498449 874614784 29733 4294967295 134512640 134569956 3221224352 3221214480 1131470617 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 29733 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 300.83
Current children cumulated vsize (Kb) 854116

[startup+330.026 s]
Raw data (loadavg): 1.00 1.02 0.94 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18384 3 4 0 30991 60 0 0 17 0 11 0 1784498449 874614784 29757 4294967295 134512640 134569956 3221224352 3221214568 1131530445 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 29757 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 310.51
Current children cumulated vsize (Kb) 854116

[startup+340.027 s]
Raw data (loadavg): 1.00 1.02 0.94 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18390 3 4 0 31965 60 0 0 17 0 11 0 1784498449 874614784 29783 4294967295 134512640 134569956 3221224352 3221214608 1131416522 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 29783 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 320.25
Current children cumulated vsize (Kb) 854116

[startup+350.027 s]
Raw data (loadavg): 1.00 1.02 0.94 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18395 3 4 0 32941 60 0 0 19 0 11 0 1784498449 874614784 29807 4294967295 134512640 134569956 3221224352 3221214568 1131530480 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 29807 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 330.01
Current children cumulated vsize (Kb) 854116

[startup+360.029 s]
Raw data (loadavg): 1.00 1.02 0.94 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18401 3 4 0 33909 60 0 0 17 0 11 0 1784498449 874614784 29858 4294967295 134512640 134569956 3221224352 3221214760 1131521367 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 29858 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 339.69
Current children cumulated vsize (Kb) 854116

[startup+370.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18407 3 4 0 34877 61 0 0 17 0 11 0 1784498449 874614784 29887 4294967295 134512640 134569956 3221224352 3221214120 1131469417 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 29887 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 349.38
Current children cumulated vsize (Kb) 854116

[startup+380.031 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18412 3 4 0 35851 61 0 0 18 0 11 0 1784498449 874614784 29909 4294967295 134512640 134569956 3221224352 3221214568 1131531439 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 29909 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 359.12
Current children cumulated vsize (Kb) 854116

[startup+390.031 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18418 3 4 0 36819 62 0 0 17 0 11 0 1784498449 874614784 29935 4294967295 134512640 134569956 3221224352 3221214480 1131471025 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 29935 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 368.81
Current children cumulated vsize (Kb) 854116

[startup+400.032 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18425 3 4 0 37783 62 0 0 16 0 11 0 1784498449 874614784 29998 4294967295 134512640 134569956 3221224352 3221214704 1131514787 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 29998 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 378.45
Current children cumulated vsize (Kb) 854116

[startup+410.033 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18430 3 4 0 38759 63 0 0 19 0 11 0 1784498449 874614784 30072 4294967295 134512640 134569956 3221224352 3221214480 1131471025 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 30072 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 388.22
Current children cumulated vsize (Kb) 854116

[startup+420.034 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18436 3 4 0 39732 63 0 0 17 0 11 0 1784498449 874614784 30125 4294967295 134512640 134569956 3221224352 3221214480 1131470902 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 30125 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 397.95
Current children cumulated vsize (Kb) 854116

[startup+430.035 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18443 3 4 0 40703 63 0 0 16 0 11 0 1784498449 874614784 30149 4294967295 134512640 134569956 3221224352 3221214568 1131530257 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 30149 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 407.66
Current children cumulated vsize (Kb) 854116

[startup+440.035 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18449 3 4 0 41677 64 0 0 17 0 11 0 1784498449 874614784 30174 4294967295 134512640 134569956 3221224352 3221214480 1131471025 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 30174 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 417.41
Current children cumulated vsize (Kb) 854116

[startup+450.036 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18456 3 4 0 42646 64 0 0 17 0 11 0 1784498449 874614784 30198 4294967295 134512640 134569956 3221224352 3221214568 1131530547 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 30198 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 427.1
Current children cumulated vsize (Kb) 854116

[startup+460.037 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18461 3 4 0 43624 64 0 0 21 0 11 0 1784498449 874614784 30221 4294967295 134512640 134569956 3221224352 3221214568 1131530514 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 30221 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 436.88
Current children cumulated vsize (Kb) 854116

[startup+470.038 s]
Raw data (loadavg): 1.07 1.02 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18467 3 4 0 44594 64 0 0 19 0 11 0 1784498449 874614784 30273 4294967295 134512640 134569956 3221224352 3221213872 1085806266 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 30273 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 446.58
Current children cumulated vsize (Kb) 854116

[startup+480.038 s]
Raw data (loadavg): 1.06 1.02 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18473 3 4 0 45566 65 0 0 17 0 11 0 1784498449 874614784 30296 4294967295 134512640 134569956 3221224352 3221214480 1131471546 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 30296 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 456.31
Current children cumulated vsize (Kb) 854116

[startup+490.039 s]
Raw data (loadavg): 1.05 1.02 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18479 3 4 0 46538 66 0 0 19 0 11 0 1784498449 874614784 30317 4294967295 134512640 134569956 3221224352 3221214480 1131471580 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 30317 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 466.04
Current children cumulated vsize (Kb) 854116

[startup+500.04 s]
Raw data (loadavg): 1.04 1.02 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18484 3 4 0 47514 66 0 0 18 0 11 0 1784498449 874614784 30348 4294967295 134512640 134569956 3221224352 3221214480 1131470646 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 30348 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 475.8
Current children cumulated vsize (Kb) 854116

[startup+510.042 s]
Raw data (loadavg): 1.04 1.02 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18488 3 4 0 48494 67 0 0 17 0 11 0 1784498449 874614784 30365 4294967295 134512640 134569956 3221224352 3221214480 1131471567 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 30365 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 485.61
Current children cumulated vsize (Kb) 854116

[startup+520.043 s]
Raw data (loadavg): 1.03 1.02 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18493 3 4 0 49470 67 0 0 19 0 11 0 1784498449 874614784 30395 4294967295 134512640 134569956 3221224352 3221214480 1131471491 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 30395 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 495.37
Current children cumulated vsize (Kb) 854116

[startup+530.043 s]
Raw data (loadavg): 1.02 1.02 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18497 3 4 0 50451 67 0 0 18 0 11 0 1784498449 874614784 30413 4294967295 134512640 134569956 3221224352 3221214648 1131461152 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 30413 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 505.18
Current children cumulated vsize (Kb) 854116

[startup+540.044 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18503 3 4 0 51421 68 0 0 19 0 11 0 1784498449 874614784 30438 4294967295 134512640 134569956 3221224352 3221214480 1131471517 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 30438 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 514.89
Current children cumulated vsize (Kb) 854116

[startup+550.045 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18508 3 4 0 52396 68 0 0 17 0 11 0 1784498449 874614784 30460 4294967295 134512640 134569956 3221224352 3221214672 1131524654 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 30460 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 524.64
Current children cumulated vsize (Kb) 854116

[startup+560.047 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18512 3 4 0 53375 69 0 0 18 0 11 0 1784498449 874614784 30474 4294967295 134512640 134569956 3221224352 3221214648 1131510934 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 30474 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 534.44
Current children cumulated vsize (Kb) 854116

[startup+570.047 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18518 3 4 0 54346 69 0 0 18 0 11 0 1784498449 874614784 30528 4294967295 134512640 134569956 3221224352 3221214064 1131469597 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 30528 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 544.15
Current children cumulated vsize (Kb) 854116

[startup+580.047 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18523 3 4 0 55323 69 0 0 18 0 11 0 1784498449 874614784 30547 4294967295 134512640 134569956 3221224352 3221214568 1131530514 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 30547 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 553.92
Current children cumulated vsize (Kb) 854116

[startup+590.048 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18529 3 4 0 56294 69 0 0 18 0 11 0 1784498449 874614784 30585 4294967295 134512640 134569956 3221224352 3221213888 1131695752 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 30585 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 563.63
Current children cumulated vsize (Kb) 854116

[startup+600.049 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18535 3 4 0 57265 70 0 0 17 0 11 0 1784498449 874614784 30614 4294967295 134512640 134569956 3221224352 3221214264 1085806272 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 30614 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 573.35
Current children cumulated vsize (Kb) 854116

[startup+610.05 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18539 3 4 0 58246 70 0 0 20 0 11 0 1784498449 874614784 30646 4294967295 134512640 134569956 3221224352 3221214568 1131531574 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 30646 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 583.16
Current children cumulated vsize (Kb) 854116

[startup+620.051 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18544 3 4 0 59222 71 0 0 18 0 11 0 1784498449 874614784 30666 4294967295 134512640 134569956 3221224352 3221214400 1131469564 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 30666 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 592.93
Current children cumulated vsize (Kb) 854116

[startup+630.052 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18549 3 4 0 60198 71 0 0 18 0 11 0 1784498449 874614784 30677 4294967295 134512640 134569956 3221224352 3221213888 1131695664 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 30677 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 602.69
Current children cumulated vsize (Kb) 854116

[startup+640.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18555 3 4 0 61168 71 0 0 17 0 11 0 1784498449 874614784 30699 4294967295 134512640 134569956 3221224352 3221214480 1131471025 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 30699 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 612.39
Current children cumulated vsize (Kb) 854116

[startup+650.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18561 3 4 0 62138 72 0 0 17 0 11 0 1784498449 874614784 30735 4294967295 134512640 134569956 3221224352 3221214008 1131469543 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 30735 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 622.1
Current children cumulated vsize (Kb) 854116

[startup+660.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18567 3 4 0 63108 72 0 0 17 0 11 0 1784498449 874614784 30773 4294967295 134512640 134569956 3221224352 3221214568 1131530445 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 30773 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 631.8
Current children cumulated vsize (Kb) 854116

[startup+670.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18574 3 4 0 64076 73 0 0 17 0 11 0 1784498449 874614784 30805 4294967295 134512640 134569956 3221224352 3221214568 1131530514 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 30805 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 641.49
Current children cumulated vsize (Kb) 854116

[startup+680.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18580 3 4 0 65049 73 0 0 17 0 11 0 1784498449 874614784 30846 4294967295 134512640 134569956 3221224352 3221213888 1131695639 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 30846 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 651.22
Current children cumulated vsize (Kb) 854116

[startup+690.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18585 3 4 0 66027 73 0 0 17 0 11 0 1784498449 874614784 30871 4294967295 134512640 134569956 3221224352 3221214480 1131471591 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 30871 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 661
Current children cumulated vsize (Kb) 854116

[startup+700.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18591 3 4 0 66998 74 0 0 17 0 11 0 1784498449 874614784 30902 4294967295 134512640 134569956 3221224352 3221214568 1131530677 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 30902 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 670.72
Current children cumulated vsize (Kb) 854116

[startup+710.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18596 3 4 0 67974 74 0 0 17 0 11 0 1784498449 874614784 30914 4294967295 134512640 134569956 3221224352 3221214168 1131469567 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 30914 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 680.48
Current children cumulated vsize (Kb) 854116

[startup+720.058 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18601 3 4 0 68947 74 0 0 20 0 11 0 1784498449 874614784 30927 4294967295 134512640 134569956 3221224352 3221214568 1131530445 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 30927 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 690.21
Current children cumulated vsize (Kb) 854116

[startup+730.059 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18607 3 4 0 69914 74 0 0 18 0 11 0 1784498449 874614784 30949 4294967295 134512640 134569956 3221224352 3221214480 1131471433 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 30949 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 699.88
Current children cumulated vsize (Kb) 854116

[startup+740.059 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18613 3 4 0 70881 74 0 0 17 0 11 0 1784498449 874614784 30988 4294967295 134512640 134569956 3221224352 3221214480 1131470636 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 30988 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 709.55
Current children cumulated vsize (Kb) 854116

[startup+750.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18618 3 4 0 71851 75 0 0 18 0 11 0 1784498449 874614784 31020 4294967295 134512640 134569956 3221224352 3221214568 1131530514 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 31020 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 719.26
Current children cumulated vsize (Kb) 854116

[startup+760.062 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18623 3 4 0 72821 75 0 0 17 0 11 0 1784498449 874614784 31067 4294967295 134512640 134569956 3221224352 3221214480 1131471025 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 31067 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 728.96
Current children cumulated vsize (Kb) 854116

[startup+770.063 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18629 3 4 0 73784 76 0 0 16 0 11 0 1784498449 874614784 31121 4294967295 134512640 134569956 3221224352 3221214616 1131471010 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 31121 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 738.6
Current children cumulated vsize (Kb) 854116

[startup+780.063 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18634 3 4 0 74752 76 0 0 18 0 11 0 1784498449 874614784 31155 4294967295 134512640 134569956 3221224352 3221214480 1131471025 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 31155 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 748.28
Current children cumulated vsize (Kb) 854116

[startup+790.064 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18639 3 4 0 75719 77 0 0 18 0 11 0 1784498449 874614784 31194 4294967295 134512640 134569956 3221224352 3221214480 1131470707 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 31194 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 757.96
Current children cumulated vsize (Kb) 854116

[startup+800.065 s]
Raw data (loadavg): 1.15 1.03 0.96 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18646 3 4 0 76672 77 0 0 16 0 11 0 1784498449 874614784 31257 4294967295 134512640 134569956 3221224352 3221214568 1131531660 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 31257 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 767.49
Current children cumulated vsize (Kb) 854116

[startup+810.067 s]
Raw data (loadavg): 1.12 1.03 0.96 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) S 5846 5847 30740 0 -1 0 18651 3 4 0 77632 78 0 0 18 0 11 0 1784498449 874614784 31311 4294967295 134512640 134569956 3221224352 3221213184 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 31311 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 777.1
Current children cumulated vsize (Kb) 854116

[startup+820.07 s]
Raw data (loadavg): 1.10 1.03 0.96 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18657 3 4 0 78600 79 0 0 18 0 11 0 1784498449 874614784 31385 4294967295 134512640 134569956 3221224352 3221214480 1131471025 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 31385 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 786.79
Current children cumulated vsize (Kb) 854116

[startup+830.069 s]
Raw data (loadavg): 1.09 1.03 0.96 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18664 3 4 0 79559 79 0 0 16 0 11 0 1784498449 874614784 31446 4294967295 134512640 134569956 3221224352 3221214568 1131531547 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 31446 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 796.38
Current children cumulated vsize (Kb) 854116

[startup+840.07 s]
Raw data (loadavg): 1.07 1.03 0.96 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18669 3 4 0 80530 80 0 0 16 0 11 0 1784498449 874614784 31509 4294967295 134512640 134569956 3221224352 3221214480 1131471025 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 31509 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 806.1
Current children cumulated vsize (Kb) 854116

[startup+850.071 s]
Raw data (loadavg): 1.06 1.03 0.96 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18676 3 4 0 81494 80 0 0 16 0 11 0 1784498449 874614784 31566 4294967295 134512640 134569956 3221224352 3221214568 1131530445 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 31566 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 815.74
Current children cumulated vsize (Kb) 854116

[startup+860.073 s]
Raw data (loadavg): 1.05 1.02 0.96 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18682 3 4 0 82463 81 0 0 16 0 11 0 1784498449 874614784 31603 4294967295 134512640 134569956 3221224352 3221214480 1131471546 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 31603 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 825.44
Current children cumulated vsize (Kb) 854116

[startup+870.073 s]
Raw data (loadavg): 1.04 1.02 0.96 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18687 3 4 0 83438 81 0 0 17 0 11 0 1784498449 874614784 31641 4294967295 134512640 134569956 3221224352 3221213712 1085806269 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 31641 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 835.19
Current children cumulated vsize (Kb) 854116

[startup+880.073 s]
Raw data (loadavg): 1.04 1.02 0.96 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18693 3 4 0 84406 82 0 0 18 0 11 0 1784498449 874614784 31655 4294967295 134512640 134569956 3221224352 3221213848 1131469564 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 31655 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 844.88
Current children cumulated vsize (Kb) 854116

[startup+890.074 s]
Raw data (loadavg): 1.03 1.02 0.96 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18699 3 4 0 85373 82 0 0 18 0 11 0 1784498449 874614784 31695 4294967295 134512640 134569956 3221224352 3221214168 1131468949 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 31695 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 854.55
Current children cumulated vsize (Kb) 854116

[startup+900.075 s]
Raw data (loadavg): 1.02 1.02 0.96 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18705 3 4 0 86339 83 0 0 16 0 11 0 1784498449 874614784 31731 4294967295 134512640 134569956 3221224352 3221214480 1131470717 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 31731 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 864.22
Current children cumulated vsize (Kb) 854116

[startup+910.077 s]
Raw data (loadavg): 1.02 1.02 0.96 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18711 3 4 0 87307 83 0 0 17 0 11 0 1784498449 874614784 31764 4294967295 134512640 134569956 3221224352 3221213872 1085806313 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 31764 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 873.9
Current children cumulated vsize (Kb) 854116

[startup+920.077 s]
Raw data (loadavg): 1.02 1.02 0.96 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18717 3 4 0 88275 84 0 0 17 0 11 0 1784498449 874614784 31806 4294967295 134512640 134569956 3221224352 3221214400 1131469417 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 31806 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 883.59
Current children cumulated vsize (Kb) 854116

[startup+930.078 s]
Raw data (loadavg): 1.01 1.02 0.96 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18723 3 4 0 89245 84 0 0 19 0 11 0 1784498449 874614784 31864 4294967295 134512640 134569956 3221224352 3221214568 1131530445 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 31864 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 893.29
Current children cumulated vsize (Kb) 854116

[startup+940.079 s]
Raw data (loadavg): 1.01 1.02 0.96 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18730 3 4 0 90211 84 0 0 16 0 11 0 1784498449 874614784 31901 4294967295 134512640 134569956 3221224352 3221214480 1131470646 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 31901 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 902.95
Current children cumulated vsize (Kb) 854116

[startup+950.079 s]
Raw data (loadavg): 1.01 1.02 0.96 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18735 3 4 0 91186 84 0 0 20 0 11 0 1784498449 874614784 31933 4294967295 134512640 134569956 3221224352 3221213712 1085806738 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 31933 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 912.7
Current children cumulated vsize (Kb) 854116

[startup+960.079 s]
Raw data (loadavg): 1.01 1.02 0.96 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18741 3 4 0 92152 85 0 0 16 0 11 0 1784498449 874614784 31963 4294967295 134512640 134569956 3221224352 3221214568 1131531567 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 31963 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 922.37
Current children cumulated vsize (Kb) 854116

[startup+970.08 s]
Raw data (loadavg): 1.01 1.01 0.96 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18747 3 4 0 93116 85 0 0 16 0 11 0 1784498449 874614784 31984 4294967295 134512640 134569956 3221224352 3221214480 1131470986 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 31984 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 932.01
Current children cumulated vsize (Kb) 854116

[startup+980.08 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 5861
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18753 3 4 0 94080 85 0 0 17 0 11 0 1784498449 874614784 32014 4294967295 134512640 134569956 3221224352 3221214480 1131471444 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 32014 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 941.65
Current children cumulated vsize (Kb) 854116
One traced child (pid=5861) exited with status: 0
New thread pid=5862

[startup+990.082 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18755 3 4 0 95065 86 0 0 18 0 11 0 1784498449 874614784 32027 4294967295 134512640 134569956 3221224352 3221213848 1131469564 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 32027 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 951.51
Current children cumulated vsize (Kb) 854116

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18759 3 4 0 96032 86 0 0 16 0 11 0 1784498449 874614784 32046 4294967295 134512640 134569956 3221224352 3221214568 1131530260 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 32046 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 961.18
Current children cumulated vsize (Kb) 854116

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18764 3 4 0 96990 86 0 0 17 0 11 0 1784498449 874614784 32084 4294967295 134512640 134569956 3221224352 3221214392 1131468949 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 32084 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 970.76
Current children cumulated vsize (Kb) 854116

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18768 3 4 0 97957 86 0 0 18 0 11 0 1784498449 874614784 32149 4294967295 134512640 134569956 3221224352 3221213884 1131469312 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 32149 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 980.43
Current children cumulated vsize (Kb) 854116

[startup+1030.15 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18773 3 4 0 98926 87 0 0 17 0 11 0 1784498449 874614784 32220 4294967295 134512640 134569956 3221224352 3221214568 1131530514 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 32220 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 990.13
Current children cumulated vsize (Kb) 854116

[startup+1040.16 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18779 3 4 0 99882 87 0 0 17 0 11 0 1784498449 874614784 32258 4294967295 134512640 134569956 3221224352 3221214532 1131584787 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 32258 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 999.69
Current children cumulated vsize (Kb) 854116

[startup+1050.16 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18785 3 4 0 100837 87 0 0 17 0 11 0 1784498449 874614784 32350 4294967295 134512640 134569956 3221224352 3221214568 1131531607 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 32350 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 1009.24
Current children cumulated vsize (Kb) 854116

[startup+1060.16 s]
Raw data (loadavg): 1.00 1.01 0.96 1/66 5862
Raw data (/proc/5847/stat): 5847 (java) T 5846 5847 30740 0 -1 0 18792 3 4 0 101801 87 0 0 17 0 11 0 1784498449 874614784 32461 4294967295 134512640 134569956 3221224352 3221213352 1073952732 0 4 1 23758 3222434794 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 32461 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 1018.88
Current children cumulated vsize (Kb) 854116

[startup+1070.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18797 3 4 0 102768 87 0 0 17 0 11 0 1784498449 874614784 32519 4294967295 134512640 134569956 3221224352 3221214480 1131471580 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 32519 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 1028.55
Current children cumulated vsize (Kb) 854116

[startup+1080.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18804 3 4 0 103733 88 0 0 17 0 11 0 1784498449 874614784 32579 4294967295 134512640 134569956 3221224352 3221214568 1131530445 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 32579 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 1038.21
Current children cumulated vsize (Kb) 854116

[startup+1090.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18808 3 4 0 104711 88 0 0 17 0 11 0 1784498449 874614784 32605 4294967295 134512640 134569956 3221224352 3221214480 1131471577 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 32605 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 1047.99
Current children cumulated vsize (Kb) 854116

[startup+1100.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18814 3 4 0 105680 88 0 0 17 0 11 0 1784498449 874614784 32627 4294967295 134512640 134569956 3221224352 3221214480 1131471102 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 32627 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 1057.68
Current children cumulated vsize (Kb) 854116

[startup+1110.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18820 3 4 0 106649 89 0 0 18 0 11 0 1784498449 874614784 32647 4294967295 134512640 134569956 3221224352 3221213800 1131353116 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 32647 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 1067.38
Current children cumulated vsize (Kb) 854116

[startup+1120.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18826 3 4 0 107619 89 0 0 17 0 11 0 1784498449 874614784 32671 4294967295 134512640 134569956 3221224352 3221213848 1131469543 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 32671 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 1077.08
Current children cumulated vsize (Kb) 854116

[startup+1130.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18831 3 4 0 108594 89 0 0 16 0 11 0 1784498449 874614784 32702 4294967295 134512640 134569956 3221224352 3221214568 1131530424 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 32702 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 1086.83
Current children cumulated vsize (Kb) 854116

[startup+1140.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18837 3 4 0 109565 90 0 0 17 0 11 0 1784498449 874614784 32748 4294967295 134512640 134569956 3221224352 3221214568 1131531630 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 32748 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 1096.55
Current children cumulated vsize (Kb) 854116

[startup+1150.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18841 3 4 0 110547 90 0 0 25 0 11 0 1784498449 874614784 32770 4294967295 134512640 134569956 3221224352 3221214568 1131531630 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 32770 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 1106.37
Current children cumulated vsize (Kb) 854116

[startup+1160.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18848 3 4 0 111516 91 0 0 17 0 11 0 1784498449 874614784 32784 4294967295 134512640 134569956 3221224352 3221214480 1131470823 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 32784 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 1116.07
Current children cumulated vsize (Kb) 854116

[startup+1170.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18853 3 4 0 112494 91 0 0 18 0 11 0 1784498449 874614784 32794 4294967295 134512640 134569956 3221224352 3221214400 1131469471 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 32794 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 1125.85
Current children cumulated vsize (Kb) 854116

[startup+1180.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18859 3 4 0 113467 91 0 0 19 0 11 0 1784498449 874614784 32804 4294967295 134512640 134569956 3221224352 3221214568 1131532480 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 32804 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 1135.58
Current children cumulated vsize (Kb) 854116

[startup+1190.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18866 3 4 0 114434 92 0 0 16 0 11 0 1784498449 874614784 32835 4294967295 134512640 134569956 3221224352 3221214480 1131471491 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 32835 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 1145.26
Current children cumulated vsize (Kb) 854116

[startup+1200.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18871 3 4 0 115410 92 0 0 19 0 11 0 1784498449 874614784 32854 4294967295 134512640 134569956 3221224352 3221214480 1131471172 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 32854 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 1155.02
Current children cumulated vsize (Kb) 854116

[startup+1210.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18877 3 4 0 116381 92 0 0 16 0 11 0 1784498449 874614784 32871 4294967295 134512640 134569956 3221224352 3221214664 1131431860 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 32871 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 1164.73
Current children cumulated vsize (Kb) 854116

[startup+1220.17 s]
Raw data (loadavg): 1.16 1.03 0.97 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18883 3 4 0 117351 92 0 0 17 0 11 0 1784498449 874614784 32894 4294967295 134512640 134569956 3221224352 3221214568 1131532327 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5847/statm): 213529 32894 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 1174.43
Current children cumulated vsize (Kb) 854116

[startup+1230.17 s]
Raw data (loadavg): 1.13 1.03 0.97 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18889 3 4 0 118319 93 0 0 18 0 11 0 1784498449 874614784 32917 4294967295 134512640 134569956 3221224352 3221214480 1131471109 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 32917 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 1184.12
Current children cumulated vsize (Kb) 854116

[startup+1240.17 s]
Raw data (loadavg): 1.11 1.03 0.97 2/66 5862
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18894 3 4 0 119292 93 0 0 17 0 11 0 1784498449 874614784 32948 4294967295 134512640 134569956 3221224352 3221214480 1131470625 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 32948 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 1193.85
Current children cumulated vsize (Kb) 854116
One traced child (pid=5862) exited with status: 0
New thread pid=5863

[startup+1250.17 s]
Raw data (loadavg): 1.10 1.03 0.97 2/66 5863
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18899 3 4 0 120264 93 0 0 17 0 11 0 1784498449 874614784 32962 4294967295 134512640 134569956 3221224352 3221213848 1131469354 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 32962 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 1203.57
Current children cumulated vsize (Kb) 854116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1250.17 s]
Raw data (loadavg): 1.10 1.03 0.97 2/66 5863
Raw data (/proc/5847/stat): 5847 (java) R 5846 5847 30740 0 -1 0 18899 3 4 0 120265 93 0 0 17 0 11 0 1784498449 874614784 32962 4294967295 134512640 134569956 3221224352 3221214016 1131353092 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5847/statm): 213529 32962 13129 16 0 213513 0
[pid=5847] vsize: 854116
Current children cumulated CPU time (s) 1203.58
Current children cumulated vsize (Kb) 854116

Sending SIGTERM to -5847
Sleeping 2 seconds
New thread pid=5865
New thread pid=5866
One traced child (pid=5866) exited with status: 0
One traced child (pid=5856) exited with status: 0
One traced child (pid=5851) exited with status: 0
One traced child (pid=5848) exited with status: 143
One traced child (pid=5849) exited with status: 143
One traced child (pid=5850) exited with status: 143
One traced child (pid=5855) exited with status: 143
One traced child (pid=5852) exited with status: 143
One traced child (pid=5853) exited with status: 143
One traced child (pid=5854) exited with status: 143
One traced child (pid=5865) exited with status: 143
One traced child (pid=5863) exited with status: 143
One traced child (pid=5847) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1250.28
CPU time (s): 1246.44
CPU user time (s): 1244.91
CPU system time (s): 1.53177
CPU usage (%): 99.6929
Max. virtual memory (cumulated for all children) (Kb): 855012

Verifier Data

Verifier:	OK	391