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-par16-5-c.opb
MD5SUM5b3b72cfc97a7b1e471b28e18b610f1a
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 341
Optimality of the best value was proved YES
Number of terms in the objective function 682
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 682
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 682
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark5.43017
Number of variables682
Total number of constraints1701
Number of constraints which are clauses1701
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 constraint3

Trace number 1834

Launcher Data

LAUNCH ON wulflinc20 THE 2005-09-18 16:54:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6048 boxname=wulflinc20 idbench=188 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5b3b72cfc97a7b1e471b28e18b610f1a  /oldhome/oroussel/tmp/wulflinc20/normalized-par16-5-c.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc20/normalized-par16-5-c.opb
IDLAUNCH: 6048
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        916480 kB
Buffers:         35112 kB
Cached:          54360 kB
SwapCached:        832 kB
Active:          66560 kB
Inactive:        25596 kB
HighTotal:      131008 kB
HighFree:        73332 kB
LowTotal:       903652 kB
LowFree:        843148 kB
SwapTotal:     2097892 kB
SwapFree:      2096604 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            20428 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 17:14:49 (client local time) WITH STATUS 143 IN 1251.3 SECONDS
stats: 6048 0 1251.3 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/wulflinc20/normalized-par16-5-c.opb
c reading problem ... done. Time 2.029 ms.
c #vars     682
c #constraints  1701
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                 341 		Current CPU time: 604.71 ms
c starts		: 18
c conflicts		: 12499
c decisions		: 13629
c propagations		: 2307631
c inspects		: 23473304
c learnt literals	: 0
c learnt binary clauses	: 6
c learnt ternary clauses	: 65
c learnt clauses	: 12499
c root simplifications	: 20
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 12169
c speed (decisions/second)	: 21.495692660015077
c non guided choices	3692
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 
c objective function=341
c Total CPU time (ms) : 1238.808

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/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1842850487 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 39 3 38 16 0 23 0
[pid=11619] 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/11619
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=11620
New thread pid=11621
New thread pid=11622
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=11623
New thread pid=11624
New thread pid=11625
New thread pid=11626
New thread pid=11627
New thread pid=11628
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/wulflinc20/normalized-par16-5-c.opb
New thread pid=11629

[startup+10.0016 s]
Raw data (loadavg): 1.31 1.07 0.96 4/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 11640 0 1 0 746 35 0 0 25 0 11 0 1842850487 868839424 15150 4294967295 134512640 134569956 3221224336 3221214632 1131525415 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212119 15150 13129 16 0 212103 0
[pid=11619] vsize: 848476
Current children cumulated CPU time (s) 7.81
Current children cumulated vsize (Kb) 848476

[startup+20.0023 s]
Raw data (loadavg): 1.34 1.08 0.96 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18215 0 1 0 1620 49 0 0 25 0 11 0 1842850487 868741120 22679 4294967295 134512640 134569956 3221224336 3221214632 1131562195 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 22679 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 16.69
Current children cumulated vsize (Kb) 848380

[startup+30.0021 s]
Raw data (loadavg): 1.29 1.08 0.96 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18221 0 1 0 2577 50 0 0 25 0 11 0 1842850487 868741120 23170 4294967295 134512640 134569956 3221224336 3221214064 1131558915 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 23170 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 26.27
Current children cumulated vsize (Kb) 848380

[startup+40.0038 s]
Raw data (loadavg): 1.24 1.07 0.96 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18230 0 1 0 3518 50 0 0 17 0 11 0 1842850487 868741120 23873 4294967295 134512640 134569956 3221224336 3221214528 1131458060 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 23873 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 35.68
Current children cumulated vsize (Kb) 848380

[startup+50.0045 s]
Raw data (loadavg): 1.20 1.07 0.96 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18233 0 1 0 4491 50 0 0 25 0 11 0 1842850487 868741120 23873 4294967295 134512640 134569956 3221224336 3221214448 1131726121 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 23873 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 45.41
Current children cumulated vsize (Kb) 848380

[startup+60.0042 s]
Raw data (loadavg): 1.17 1.07 0.96 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18236 0 1 0 5460 51 0 0 25 0 11 0 1842850487 868741120 23920 4294967295 134512640 134569956 3221224336 3221214344 1131727395 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 23920 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 55.11
Current children cumulated vsize (Kb) 848380

[startup+70.005 s]
Raw data (loadavg): 1.31 1.10 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18240 0 1 0 6427 51 0 0 25 0 11 0 1842850487 868741120 24048 4294967295 134512640 134569956 3221224336 3221214484 1131057272 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 24048 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 64.78
Current children cumulated vsize (Kb) 848380

[startup+80.0057 s]
Raw data (loadavg): 1.26 1.09 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18243 0 1 0 7392 51 0 0 25 0 11 0 1842850487 868741120 24202 4294967295 134512640 134569956 3221224336 3221214772 1131485747 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 24202 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 74.43
Current children cumulated vsize (Kb) 848380

[startup+90.0064 s]
Raw data (loadavg): 1.22 1.09 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18246 0 1 0 8358 52 0 0 21 0 11 0 1842850487 868741120 24332 4294967295 134512640 134569956 3221224336 3221214648 1131500240 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 24332 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 84.1
Current children cumulated vsize (Kb) 848380

[startup+100.007 s]
Raw data (loadavg): 1.18 1.09 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18249 0 1 0 9326 52 0 0 25 0 11 0 1842850487 868741120 24417 4294967295 134512640 134569956 3221224336 3221214632 1131448488 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 24417 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 93.78
Current children cumulated vsize (Kb) 848380

[startup+110.008 s]
Raw data (loadavg): 1.16 1.08 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18252 0 1 0 10292 52 0 0 25 0 11 0 1842850487 868741120 24519 4294967295 134512640 134569956 3221224336 3221214528 1131457422 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 24519 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 103.44
Current children cumulated vsize (Kb) 848380

[startup+120.009 s]
Raw data (loadavg): 1.13 1.08 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18255 0 1 0 11270 52 0 0 25 0 11 0 1842850487 868741120 24564 4294967295 134512640 134569956 3221224336 3221214528 1131457588 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 24564 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 113.22
Current children cumulated vsize (Kb) 848380

[startup+130.009 s]
Raw data (loadavg): 1.11 1.08 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18258 0 1 0 12237 52 0 0 25 0 11 0 1842850487 868741120 24653 4294967295 134512640 134569956 3221224336 3221214648 1131500124 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 24653 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 122.89
Current children cumulated vsize (Kb) 848380

[startup+140.01 s]
Raw data (loadavg): 1.09 1.07 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18262 0 1 0 13203 52 0 0 25 0 11 0 1842850487 868741120 24739 4294967295 134512640 134569956 3221224336 3221214648 1131500164 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 24739 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 132.55
Current children cumulated vsize (Kb) 848380

[startup+150.011 s]
Raw data (loadavg): 1.08 1.07 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18264 0 1 0 14181 53 0 0 25 0 11 0 1842850487 868741120 24823 4294967295 134512640 134569956 3221224336 3221213872 1085759286 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 24823 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 142.34
Current children cumulated vsize (Kb) 848380

[startup+160.01 s]
Raw data (loadavg): 1.07 1.07 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18267 0 1 0 15148 53 0 0 25 0 11 0 1842850487 868741120 24897 4294967295 134512640 134569956 3221224336 3221214640 1131525932 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 24897 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 152.01
Current children cumulated vsize (Kb) 848380

[startup+170.011 s]
Raw data (loadavg): 1.06 1.07 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18270 0 1 0 16114 53 0 0 25 0 11 0 1842850487 868741120 24949 4294967295 134512640 134569956 3221224336 3221214048 1131726280 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 24949 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 161.67
Current children cumulated vsize (Kb) 848380

[startup+180.011 s]
Raw data (loadavg): 1.05 1.06 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18272 0 1 0 17092 53 0 0 25 0 11 0 1842850487 868741120 25027 4294967295 134512640 134569956 3221224336 3221214616 1131570741 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 25027 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 171.45
Current children cumulated vsize (Kb) 848380

[startup+190.013 s]
Raw data (loadavg): 1.04 1.06 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18275 0 1 0 18058 54 0 0 25 0 11 0 1842850487 868741120 25107 4294967295 134512640 134569956 3221224336 3221214252 1085743747 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 25107 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 181.12
Current children cumulated vsize (Kb) 848380

[startup+200.013 s]
Raw data (loadavg): 1.03 1.06 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18277 0 1 0 19035 54 0 0 25 0 11 0 1842850487 868741120 25150 4294967295 134512640 134569956 3221224336 3221214528 1131457745 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 25150 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 190.89
Current children cumulated vsize (Kb) 848380

[startup+210.013 s]
Raw data (loadavg): 1.03 1.06 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18280 0 1 0 20001 54 0 0 25 0 11 0 1842850487 868741120 25256 4294967295 134512640 134569956 3221224336 3221213896 1131726255 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 25256 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 200.55
Current children cumulated vsize (Kb) 848380

[startup+220.015 s]
Raw data (loadavg): 1.02 1.05 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18282 0 1 0 20979 54 0 0 25 0 11 0 1842850487 868741120 25314 4294967295 134512640 134569956 3221224336 3221214644 1131600676 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 25314 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 210.33
Current children cumulated vsize (Kb) 848380

[startup+230.016 s]
Raw data (loadavg): 1.02 1.05 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18285 0 1 0 21945 54 0 0 16 0 11 0 1842850487 868741120 25397 4294967295 134512640 134569956 3221224336 3221214524 1131665423 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 25397 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 219.99
Current children cumulated vsize (Kb) 848380

[startup+240.016 s]
Raw data (loadavg): 1.02 1.05 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18287 0 1 0 22923 54 0 0 25 0 11 0 1842850487 868741120 25456 4294967295 134512640 134569956 3221224336 3221214316 1131726025 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 25456 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 229.77
Current children cumulated vsize (Kb) 848380

[startup+250.018 s]
Raw data (loadavg): 1.01 1.05 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18289 0 1 0 23899 55 0 0 25 0 11 0 1842850487 868741120 25486 4294967295 134512640 134569956 3221224336 3221214032 1085806738 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 25486 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 239.54
Current children cumulated vsize (Kb) 848380

[startup+260.018 s]
Raw data (loadavg): 1.01 1.05 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18292 0 1 0 24865 55 0 0 25 0 11 0 1842850487 868741120 25573 4294967295 134512640 134569956 3221224336 3221213896 1131726247 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 25573 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 249.2
Current children cumulated vsize (Kb) 848380

[startup+270.018 s]
Raw data (loadavg): 1.01 1.04 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18294 0 1 0 25842 55 0 0 25 0 11 0 1842850487 868741120 25622 4294967295 134512640 134569956 3221224336 3221213864 1085806738 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 25622 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 258.97
Current children cumulated vsize (Kb) 848380

[startup+280.019 s]
Raw data (loadavg): 1.01 1.04 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18297 0 1 0 26808 55 0 0 25 0 11 0 1842850487 868741120 25705 4294967295 134512640 134569956 3221224336 3221214648 1131500211 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 25705 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 268.63
Current children cumulated vsize (Kb) 848380

[startup+290.02 s]
Raw data (loadavg): 1.00 1.04 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18299 0 1 0 27785 56 0 0 25 0 11 0 1842850487 868741120 25754 4294967295 134512640 134569956 3221224336 3221214552 1131481680 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 25754 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 278.41
Current children cumulated vsize (Kb) 848380

[startup+300.02 s]
Raw data (loadavg): 1.00 1.04 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18302 0 1 0 28752 56 0 0 16 0 11 0 1842850487 868741120 25844 4294967295 134512640 134569956 3221224336 3221214616 1131562509 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 25844 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 288.08
Current children cumulated vsize (Kb) 848380

[startup+310.02 s]
Raw data (loadavg): 1.00 1.04 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18304 0 1 0 29731 56 0 0 25 0 11 0 1842850487 868741120 25900 4294967295 134512640 134569956 3221224336 3221214704 1131485555 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 25900 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 297.87
Current children cumulated vsize (Kb) 848380

[startup+320.021 s]
Raw data (loadavg): 1.00 1.03 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18306 0 1 0 30709 56 0 0 25 0 11 0 1842850487 868741120 25956 4294967295 134512640 134569956 3221224336 3221213812 1085806236 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 25956 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 307.65
Current children cumulated vsize (Kb) 848380

[startup+330.021 s]
Raw data (loadavg): 1.00 1.03 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18308 0 1 0 31688 56 0 0 25 0 11 0 1842850487 868741120 26007 4294967295 134512640 134569956 3221224336 3221213888 1131726280 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 26007 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 317.44
Current children cumulated vsize (Kb) 848380

[startup+340.022 s]
Raw data (loadavg): 1.00 1.03 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18310 0 1 0 32667 56 0 0 25 0 11 0 1842850487 868741120 26067 4294967295 134512640 134569956 3221224336 3221214440 1131737365 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 26067 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 327.23
Current children cumulated vsize (Kb) 848380

[startup+350.023 s]
Raw data (loadavg): 1.00 1.03 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18312 0 1 0 33646 56 0 0 25 0 11 0 1842850487 868741120 26127 4294967295 134512640 134569956 3221224336 3221213896 1131726041 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 26127 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 337.02
Current children cumulated vsize (Kb) 848380

[startup+360.023 s]
Raw data (loadavg): 1.00 1.03 0.97 3/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18314 0 1 0 34625 56 0 0 25 0 11 0 1842850487 868741120 26185 4294967295 134512640 134569956 3221224336 3221214620 1131057158 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 26185 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 346.81
Current children cumulated vsize (Kb) 848380

[startup+370.024 s]
Raw data (loadavg): 1.00 1.03 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18316 0 1 0 35602 56 0 0 25 0 11 0 1842850487 868741120 26231 4294967295 134512640 134569956 3221224336 3221214256 1085806313 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 26231 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 356.58
Current children cumulated vsize (Kb) 848380

[startup+380.024 s]
Raw data (loadavg): 1.00 1.03 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18318 0 1 0 36581 57 0 0 23 0 11 0 1842850487 868741120 26280 4294967295 134512640 134569956 3221224336 3221214560 1131377475 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 26280 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 366.38
Current children cumulated vsize (Kb) 848380

[startup+390.025 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18319 0 1 0 37570 57 0 0 25 0 11 0 1842850487 868741120 26303 4294967295 134512640 134569956 3221224336 3221214528 1131457377 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 26303 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 376.27
Current children cumulated vsize (Kb) 848380

[startup+400.026 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18321 0 1 0 38548 58 0 0 25 0 11 0 1842850487 868741120 26354 4294967295 134512640 134569956 3221224336 3221213848 1131727221 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 26354 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 386.06
Current children cumulated vsize (Kb) 848380

[startup+410.025 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18322 0 1 0 39537 59 0 0 25 0 11 0 1842850487 868741120 26380 4294967295 134512640 134569956 3221224336 3221213896 1131726247 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 26380 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 395.96
Current children cumulated vsize (Kb) 848380

[startup+420.025 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18324 0 1 0 40516 59 0 0 25 0 11 0 1842850487 868741120 26429 4294967295 134512640 134569956 3221224336 3221214396 1085759248 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 26429 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 405.75
Current children cumulated vsize (Kb) 848380

[startup+430.026 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18326 0 1 0 41495 59 0 0 25 0 11 0 1842850487 868741120 26468 4294967295 134512640 134569956 3221224336 3221214680 1131743145 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 26468 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 415.54
Current children cumulated vsize (Kb) 848380

[startup+440.027 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18328 0 1 0 42472 60 0 0 25 0 11 0 1842850487 868741120 26511 4294967295 134512640 134569956 3221224336 3221214312 1085806738 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 26511 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 425.32
Current children cumulated vsize (Kb) 848380

[startup+450.026 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18331 0 1 0 43440 60 0 0 25 0 11 0 1842850487 868741120 26569 4294967295 134512640 134569956 3221224336 3221214428 1131726322 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 26569 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 435
Current children cumulated vsize (Kb) 848380

[startup+460.027 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18332 0 1 0 44429 61 0 0 25 0 11 0 1842850487 868741120 26587 4294967295 134512640 134569956 3221224336 3221213848 1131727345 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 26587 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 444.9
Current children cumulated vsize (Kb) 848380

[startup+470.028 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18334 0 1 0 45408 61 0 0 25 0 11 0 1842850487 868741120 26630 4294967295 134512640 134569956 3221224336 3221213848 1131727316 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 26630 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 454.69
Current children cumulated vsize (Kb) 848380

[startup+480.028 s]
Raw data (loadavg): 1.00 1.02 0.97 3/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18336 0 1 0 46387 61 0 0 25 0 11 0 1842850487 868741120 26669 4294967295 134512640 134569956 3221224336 3221214640 1131529077 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 26669 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 464.48
Current children cumulated vsize (Kb) 848380

[startup+490.03 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18338 0 1 0 47366 62 0 0 25 0 11 0 1842850487 868741120 26718 4294967295 134512640 134569956 3221224336 3221213896 1131726058 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 26718 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 474.28
Current children cumulated vsize (Kb) 848380

[startup+500.031 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18340 0 1 0 48345 62 0 0 22 0 11 0 1842850487 868741120 26773 4294967295 134512640 134569956 3221224336 3221213760 1085806738 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 26773 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 484.07
Current children cumulated vsize (Kb) 848380

[startup+510.031 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18341 0 1 0 49334 62 0 0 25 0 11 0 1842850487 868741120 26795 4294967295 134512640 134569956 3221224336 3221213864 1085806281 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 26795 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 493.96
Current children cumulated vsize (Kb) 848380

[startup+520.031 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18343 0 1 0 50314 62 0 0 25 0 11 0 1842850487 868741120 26837 4294967295 134512640 134569956 3221224336 3221213792 1131727334 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 26837 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 503.76
Current children cumulated vsize (Kb) 848380

[startup+530.032 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18345 0 1 0 51292 63 0 0 25 0 11 0 1842850487 868741120 26898 4294967295 134512640 134569956 3221224336 3221213792 1131727441 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 26898 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 513.55
Current children cumulated vsize (Kb) 848380

[startup+540.033 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18347 0 1 0 52272 63 0 0 25 0 11 0 1842850487 868741120 26945 4294967295 134512640 134569956 3221224336 3221214092 1131726322 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 26945 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 523.35
Current children cumulated vsize (Kb) 848380

[startup+550.034 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18349 0 1 0 53252 63 0 0 25 0 11 0 1842850487 868741120 26997 4294967295 134512640 134569956 3221224336 3221214624 1131454105 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 26997 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 533.15
Current children cumulated vsize (Kb) 848380

[startup+560.034 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18352 0 1 0 54232 63 0 0 25 0 11 0 1842850487 868741120 27045 4294967295 134512640 134569956 3221224336 3221214528 1131457518 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 27045 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 542.95
Current children cumulated vsize (Kb) 848380

[startup+570.035 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18354 0 1 0 55212 64 0 0 25 0 11 0 1842850487 868741120 27087 4294967295 134512640 134569956 3221224336 3221214528 1131457797 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 27087 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 552.76
Current children cumulated vsize (Kb) 848380

[startup+580.036 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18357 0 1 0 56182 64 0 0 25 0 11 0 1842850487 868741120 27148 4294967295 134512640 134569956 3221224336 3221214528 1131458285 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 27148 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 562.46
Current children cumulated vsize (Kb) 848380

[startup+590.037 s]
Raw data (loadavg): 1.08 1.02 0.98 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18359 0 1 0 57162 64 0 0 25 0 11 0 1842850487 868741120 27186 4294967295 134512640 134569956 3221224336 3221213840 1131726247 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 27186 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 572.26
Current children cumulated vsize (Kb) 848380

[startup+600.037 s]
Raw data (loadavg): 1.07 1.02 0.98 2/66 11629
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18361 0 1 0 58144 64 0 0 25 0 11 0 1842850487 868741120 27226 4294967295 134512640 134569956 3221224336 3221214616 1131562195 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 27226 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (Kb) 848380
One traced child (pid=11629) exited with status: 0
New thread pid=11630

[startup+610.038 s]
Raw data (loadavg): 1.06 1.02 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18409 4 1 0 59119 65 0 0 25 0 11 0 1842850487 868741120 27308 4294967295 134512640 134569956 3221224336 3221214528 1131457410 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 27308 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 591.84
Current children cumulated vsize (Kb) 848380

[startup+620.039 s]
Raw data (loadavg): 1.05 1.02 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18412 4 1 0 60090 65 0 0 25 0 11 0 1842850487 868741120 27373 4294967295 134512640 134569956 3221224336 3221214176 1131727433 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 27373 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 601.55
Current children cumulated vsize (Kb) 848380

[startup+630.039 s]
Raw data (loadavg): 1.04 1.02 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18415 4 1 0 61062 65 0 0 25 0 11 0 1842850487 868741120 27439 4294967295 134512640 134569956 3221224336 3221213980 1131726016 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 27439 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 611.27
Current children cumulated vsize (Kb) 848380

[startup+640.04 s]
Raw data (loadavg): 1.03 1.02 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18419 4 1 0 62026 65 0 0 18 0 11 0 1842850487 868741120 27520 4294967295 134512640 134569956 3221224336 3221214616 1131564454 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 27520 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 620.91
Current children cumulated vsize (Kb) 848380

[startup+650.041 s]
Raw data (loadavg): 1.03 1.02 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18421 4 1 0 63009 65 0 0 25 0 11 0 1842850487 868741120 27554 4294967295 134512640 134569956 3221224336 3221214616 1131562509 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 27554 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 630.74
Current children cumulated vsize (Kb) 848380

[startup+660.041 s]
Raw data (loadavg): 1.02 1.02 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18424 4 1 0 63983 65 0 0 25 0 11 0 1842850487 868741120 27608 4294967295 134512640 134569956 3221224336 3221214200 1085806334 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 27608 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 640.48
Current children cumulated vsize (Kb) 848380

[startup+670.041 s]
Raw data (loadavg): 1.02 1.01 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) S 11618 11619 2660 0 -1 0 18427 4 1 0 64956 65 0 0 17 0 11 0 1842850487 868741120 27661 4294967295 134512640 134569956 3221224336 3221213272 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 27661 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 650.21
Current children cumulated vsize (Kb) 848380

[startup+680.042 s]
Raw data (loadavg): 1.02 1.01 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18430 4 1 0 65934 66 0 0 25 0 11 0 1842850487 868741120 27715 4294967295 134512640 134569956 3221224336 3221214528 1131457377 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 27715 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 660
Current children cumulated vsize (Kb) 848380

[startup+690.044 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18433 4 1 0 66910 66 0 0 25 0 11 0 1842850487 868741120 27762 4294967295 134512640 134569956 3221224336 3221213996 1131737344 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 27762 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 669.76
Current children cumulated vsize (Kb) 848380

[startup+700.043 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18435 4 1 0 67894 66 0 0 25 0 11 0 1842850487 868741120 27796 4294967295 134512640 134569956 3221224336 3221214616 1131569283 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 27796 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 679.6
Current children cumulated vsize (Kb) 848380

[startup+710.044 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18438 4 1 0 68872 66 0 0 25 0 11 0 1842850487 868741120 27847 4294967295 134512640 134569956 3221224336 3221214616 1131564559 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 27847 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 689.38
Current children cumulated vsize (Kb) 848380

[startup+720.045 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18441 4 1 0 69851 66 0 0 25 0 11 0 1842850487 868741120 27911 4294967295 134512640 134569956 3221224336 3221214392 1131726192 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 27911 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 699.17
Current children cumulated vsize (Kb) 848380

[startup+730.045 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18444 4 1 0 70830 67 0 0 25 0 11 0 1842850487 868741120 27940 4294967295 134512640 134569956 3221224336 3221213864 1085806711 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 27940 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 708.97
Current children cumulated vsize (Kb) 848380

[startup+740.046 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18447 4 1 0 71808 67 0 0 18 0 11 0 1842850487 868741120 27970 4294967295 134512640 134569956 3221224336 3221214144 1085806289 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 27970 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 718.75
Current children cumulated vsize (Kb) 848380

[startup+750.047 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18451 4 1 0 72787 68 0 0 25 0 11 0 1842850487 868741120 27996 4294967295 134512640 134569956 3221224336 3221213944 1131726121 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 27996 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 728.55
Current children cumulated vsize (Kb) 848380

[startup+760.047 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18454 4 1 0 73765 68 0 0 17 0 11 0 1842850487 868741120 28030 4294967295 134512640 134569956 3221224336 3221214112 1131726288 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 28030 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 738.33
Current children cumulated vsize (Kb) 848380

[startup+770.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18457 4 1 0 74745 68 0 0 25 0 11 0 1842850487 868741120 28069 4294967295 134512640 134569956 3221224336 3221214224 1131726180 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 28069 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 748.13
Current children cumulated vsize (Kb) 848380

[startup+780.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18459 4 1 0 75730 68 0 0 25 0 11 0 1842850487 868741120 28085 4294967295 134512640 134569956 3221224336 3221214528 1131458328 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 28085 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 757.98
Current children cumulated vsize (Kb) 848380

[startup+790.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18462 4 1 0 76709 68 0 0 25 0 11 0 1842850487 868741120 28111 4294967295 134512640 134569956 3221224336 3221214776 1131521787 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 28111 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 767.77
Current children cumulated vsize (Kb) 848380

[startup+800.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18464 4 1 0 77694 69 0 0 25 0 11 0 1842850487 868741120 28130 4294967295 134512640 134569956 3221224336 3221214264 1131734287 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 28130 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 777.63
Current children cumulated vsize (Kb) 848380

[startup+810.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18467 4 1 0 78672 69 0 0 25 0 11 0 1842850487 868741120 28171 4294967295 134512640 134569956 3221224336 3221214616 1131563614 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 28171 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 787.41
Current children cumulated vsize (Kb) 848380

[startup+820.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18470 4 1 0 79651 69 0 0 25 0 11 0 1842850487 868741120 28192 4294967295 134512640 134569956 3221224336 3221213840 1131726247 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 28192 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 797.2
Current children cumulated vsize (Kb) 848380

[startup+830.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18472 4 1 0 80637 69 0 0 25 0 11 0 1842850487 868741120 28208 4294967295 134512640 134569956 3221224336 3221214528 1131457836 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 28208 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 807.06
Current children cumulated vsize (Kb) 848380

[startup+840.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18475 4 1 0 81616 69 0 0 25 0 11 0 1842850487 868741120 28238 4294967295 134512640 134569956 3221224336 3221214144 1085806248 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 28238 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 816.85
Current children cumulated vsize (Kb) 848380

[startup+850.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18478 4 1 0 82594 69 0 0 25 0 11 0 1842850487 868741120 28268 4294967295 134512640 134569956 3221224336 3221213876 1131726016 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 28268 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 826.63
Current children cumulated vsize (Kb) 848380

[startup+860.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18480 4 1 0 83579 69 0 0 25 0 11 0 1842850487 868741120 28279 4294967295 134512640 134569956 3221224336 3221214528 1131457373 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 28279 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 836.48
Current children cumulated vsize (Kb) 848380

[startup+870.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18483 4 1 0 84556 70 0 0 25 0 11 0 1842850487 868741120 28307 4294967295 134512640 134569956 3221224336 3221213836 1131726244 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 28307 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 846.26
Current children cumulated vsize (Kb) 848380

[startup+880.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18485 4 1 0 85542 70 0 0 25 0 11 0 1842850487 868741120 28325 4294967295 134512640 134569956 3221224336 3221214040 1131734056 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 28325 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 856.12
Current children cumulated vsize (Kb) 848380

[startup+890.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18488 4 1 0 86519 70 0 0 24 0 11 0 1842850487 868741120 28359 4294967295 134512640 134569956 3221224336 3221214616 1131562536 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 28359 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 865.89
Current children cumulated vsize (Kb) 848380

[startup+900.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18490 4 1 0 87504 70 0 0 25 0 11 0 1842850487 868741120 28378 4294967295 134512640 134569956 3221224336 3221213832 1131726280 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 28378 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 875.74
Current children cumulated vsize (Kb) 848380

[startup+910.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18493 4 1 0 88482 71 0 0 25 0 11 0 1842850487 868741120 28409 4294967295 134512640 134569956 3221224336 3221214392 1131726112 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 28409 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 885.53
Current children cumulated vsize (Kb) 848380

[startup+920.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18496 4 1 0 89459 71 0 0 18 0 11 0 1842850487 868741120 28439 4294967295 134512640 134569956 3221224336 3221213840 1131726228 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 28439 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 895.3
Current children cumulated vsize (Kb) 848380

[startup+930.057 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18498 4 1 0 90444 71 0 0 25 0 11 0 1842850487 868741120 28454 4294967295 134512640 134569956 3221224336 3221214612 1131458549 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 28454 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 905.15
Current children cumulated vsize (Kb) 848380

[startup+940.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18501 4 1 0 91422 72 0 0 25 0 11 0 1842850487 868741120 28487 4294967295 134512640 134569956 3221224336 3221213792 1131727345 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 28487 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 914.94
Current children cumulated vsize (Kb) 848380

[startup+950.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18503 4 1 0 92407 72 0 0 25 0 11 0 1842850487 868741120 28512 4294967295 134512640 134569956 3221224336 3221213840 1131726268 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 28512 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 924.79
Current children cumulated vsize (Kb) 848380

[startup+960.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18505 4 1 0 93392 72 0 0 25 0 11 0 1842850487 868741120 28536 4294967295 134512640 134569956 3221224336 3221214484 1131057173 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 28536 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 934.64
Current children cumulated vsize (Kb) 848380

[startup+970.059 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18508 4 1 0 94371 73 0 0 25 0 11 0 1842850487 868741120 28562 4294967295 134512640 134569956 3221224336 3221214528 1131457866 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 28562 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 944.44
Current children cumulated vsize (Kb) 848380

[startup+980.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18510 4 1 0 95355 73 0 0 25 0 11 0 1842850487 868741120 28588 4294967295 134512640 134569956 3221224336 3221213792 1131727213 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 28588 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 954.28
Current children cumulated vsize (Kb) 848380

[startup+990.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18513 4 1 0 96333 73 0 0 24 0 11 0 1842850487 868741120 28616 4294967295 134512640 134569956 3221224336 3221214224 1131726058 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 28616 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 964.06
Current children cumulated vsize (Kb) 848380

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18515 4 1 0 97319 74 0 0 25 0 11 0 1842850487 868741120 28635 4294967295 134512640 134569956 3221224336 3221214384 1131737367 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 28635 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 973.93
Current children cumulated vsize (Kb) 848380

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18518 4 1 0 98296 74 0 0 23 0 11 0 1842850487 868741120 28665 4294967295 134512640 134569956 3221224336 3221214528 1131457568 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 28665 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 983.7
Current children cumulated vsize (Kb) 848380

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18520 4 1 0 99281 74 0 0 25 0 11 0 1842850487 868741120 28680 4294967295 134512640 134569956 3221224336 3221214480 1131546343 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 28680 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 993.55
Current children cumulated vsize (Kb) 848380

[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18522 4 1 0 100266 75 0 0 25 0 11 0 1842850487 868741120 28704 4294967295 134512640 134569956 3221224336 3221213840 1131726208 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 28704 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 1003.41
Current children cumulated vsize (Kb) 848380

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18524 4 1 0 101251 75 0 0 25 0 11 0 1842850487 868741120 28722 4294967295 134512640 134569956 3221224336 3221214480 1131379813 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 28722 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 1013.26
Current children cumulated vsize (Kb) 848380

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18527 4 1 0 102229 76 0 0 25 0 11 0 1842850487 868741120 28749 4294967295 134512640 134569956 3221224336 3221213832 1131726280 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 28749 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 1023.05
Current children cumulated vsize (Kb) 848380

[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18529 4 1 0 103215 76 0 0 25 0 11 0 1842850487 868741120 28767 4294967295 134512640 134569956 3221224336 3221213836 1131726281 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 28767 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 1032.91
Current children cumulated vsize (Kb) 848380

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18532 4 1 0 104193 76 0 0 25 0 11 0 1842850487 868741120 28795 4294967295 134512640 134569956 3221224336 3221214528 1131457403 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 28795 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 1042.69
Current children cumulated vsize (Kb) 848380

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18535 4 1 0 105172 76 0 0 25 0 11 0 1842850487 868741120 28836 4294967295 134512640 134569956 3221224336 3221214584 1131325213 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 28836 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 1052.48
Current children cumulated vsize (Kb) 848380

[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) S 11618 11619 2660 0 -1 0 18537 4 1 0 106155 76 0 0 16 0 11 0 1842850487 868741120 28855 4294967295 134512640 134569956 3221224336 3221213272 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 28855 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (Kb) 848380

[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18540 4 1 0 107135 76 0 0 25 0 11 0 1842850487 868741120 28880 4294967295 134512640 134569956 3221224336 3221213792 1131727441 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 28880 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 1072.11
Current children cumulated vsize (Kb) 848380

[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18542 4 1 0 108120 77 0 0 25 0 11 0 1842850487 868741120 28902 4294967295 134512640 134569956 3221224336 3221213944 1131726192 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 28902 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 1081.97
Current children cumulated vsize (Kb) 848380

[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18545 4 1 0 109098 77 0 0 25 0 11 0 1842850487 868741120 28926 4294967295 134512640 134569956 3221224336 3221213936 1131726280 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 28926 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 1091.75
Current children cumulated vsize (Kb) 848380

[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18547 4 1 0 110083 77 0 0 25 0 11 0 1842850487 868741120 28939 4294967295 134512640 134569956 3221224336 3221214616 1131569542 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 28939 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 1101.6
Current children cumulated vsize (Kb) 848380

[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18549 4 1 0 111069 77 0 0 25 0 11 0 1842850487 868741120 28956 4294967295 134512640 134569956 3221224336 3221214112 1131726121 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 28956 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 1111.46
Current children cumulated vsize (Kb) 848380

[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18551 4 1 0 112053 78 0 0 25 0 11 0 1842850487 868741120 28979 4294967295 134512640 134569956 3221224336 3221214064 1131727300 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 28979 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 1121.31
Current children cumulated vsize (Kb) 848380

[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18555 4 1 0 113030 78 0 0 25 0 11 0 1842850487 868741120 29008 4294967295 134512640 134569956 3221224336 3221214440 1131737365 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 29008 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 1131.08
Current children cumulated vsize (Kb) 848380

[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.98 3/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18558 4 1 0 114008 78 0 0 25 0 11 0 1842850487 868741120 29031 4294967295 134512640 134569956 3221224336 3221213704 1085806313 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 29031 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 1140.86
Current children cumulated vsize (Kb) 848380

[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18562 4 1 0 114979 78 0 0 25 0 11 0 1842850487 868741120 29062 4294967295 134512640 134569956 3221224336 3221214616 1131563646 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 29062 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 1150.57
Current children cumulated vsize (Kb) 848380

[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18565 4 1 0 115955 79 0 0 25 0 11 0 1842850487 868741120 29080 4294967295 134512640 134569956 3221224336 3221214216 1131726280 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 29080 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 1160.34
Current children cumulated vsize (Kb) 848380

[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18568 4 1 0 116932 79 0 0 25 0 11 0 1842850487 868741120 29096 4294967295 134512640 134569956 3221224336 3221214448 1131726121 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 29096 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 1170.11
Current children cumulated vsize (Kb) 848380

[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18571 4 1 0 117909 79 0 0 25 0 11 0 1842850487 868741120 29127 4294967295 134512640 134569956 3221224336 3221214480 1131546324 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 29127 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 1179.88
Current children cumulated vsize (Kb) 848380

[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18575 4 1 0 118879 80 0 0 25 0 11 0 1842850487 868741120 29163 4294967295 134512640 134569956 3221224336 3221214196 1085743744 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 29163 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 1189.59
Current children cumulated vsize (Kb) 848380

[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18578 4 1 0 119856 80 0 0 23 0 11 0 1842850487 868741120 29193 4294967295 134512640 134569956 3221224336 3221214392 1131726058 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11619/statm): 212095 29193 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 1199.36
Current children cumulated vsize (Kb) 848380

[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18582 4 1 0 120839 80 0 0 25 0 11 0 1842850487 868741120 29233 4294967295 134512640 134569956 3221224336 3221213912 1080069713 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 29233 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 1209.19
Current children cumulated vsize (Kb) 848380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 11630
Raw data (/proc/11619/stat): 11619 (java) R 11618 11619 2660 0 -1 0 18582 4 1 0 120839 80 0 0 25 0 11 0 1842850487 868741120 29233 4294967295 134512640 134569956 3221224336 3221213912 1080069713 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11619/statm): 212095 29233 13129 16 0 212079 0
[pid=11619] vsize: 848380
Current children cumulated CPU time (s) 1209.19
Current children cumulated vsize (Kb) 848380

Sending SIGTERM to -11619
Sleeping 2 seconds
New thread pid=11632
New thread pid=11633
One traced child (pid=11633) exited with status: 0
One traced child (pid=11628) exited with status: 0
One traced child (pid=11623) exited with status: 0
One traced child (pid=11620) exited with status: 143
One traced child (pid=11632) exited with status: 143
One traced child (pid=11630) exited with status: 143
One traced child (pid=11627) exited with status: 143
One traced child (pid=11621) exited with status: 143
One traced child (pid=11624) exited with status: 143
One traced child (pid=11625) exited with status: 143
One traced child (pid=11626) exited with status: 143
One traced child (pid=11622) exited with status: 143
One traced child (pid=11619) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1240.21
CPU time (s): 1251.3
CPU user time (s): 1249.92
CPU system time (s): 1.37979
CPU usage (%): 100.894
Max. virtual memory (cumulated for all children) (Kb): 848476

Verifier Data

Verifier:	OK	341