Some explanations

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

General information on the benchmark

Namesubmitted/manquinho/synthesis-ptl-cmos-circuits/normalized-my_adder.opb
MD5SUMfe8f615a95a6852516985b8e3e78bd85
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4561
Optimality of the best value was proved YES
Number of terms in the objective function 577
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 24510
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 24510
Number of bits of the biggest sum of numbers15
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark45.2981
Number of variables577
Total number of constraints1322
Number of constraints which are clauses1306
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint2
Maximum length of a constraint17

Trace number 3216

Launcher Data

LAUNCH ON wulflinc18 THE 2005-09-18 22:35:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6114 boxname=wulflinc18 idbench=254 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  fe8f615a95a6852516985b8e3e78bd85  /oldhome/oroussel/tmp/wulflinc18/normalized-my_adder.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc18/normalized-my_adder.opb
IDLAUNCH: 6114
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        903472 kB
Buffers:         25952 kB
Cached:          71396 kB
SwapCached:        844 kB
Active:          34844 kB
Inactive:        65052 kB
HighTotal:      131008 kB
HighFree:        56504 kB
LowTotal:       903652 kB
LowFree:        846968 kB
SwapTotal:     2097892 kB
SwapFree:      2096548 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5764 kB
Slab:            25512 kB
Committed_AS:    64156 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 22:56:54 (client local time) WITH STATUS 143 IN 1276.88 SECONDS
stats: 6114 0 1276.88 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/wulflinc18/normalized-my_adder.opb
c reading problem ... done. Time 1.81 ms.
c #vars     577
c #constraints  1322
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                5793 		Current CPU time: 2.25 ms
c CURRENT OPTIMUM=                5790 		Current CPU time: 2.64 ms
c CURRENT OPTIMUM=                5386 		Current CPU time: 3.33 ms
c CURRENT OPTIMUM=                5357 		Current CPU time: 5.75 ms
c starts		: 10
c conflicts		: 1878
c decisions		: 31158
c propagations		: 81355
c inspects		: 1525871
c learnt literals	: 3
c learnt binary clauses	: 20
c learnt ternary clauses	: 12
c learnt clauses	: 1875
c root simplifications	: 16
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 13531
c speed (decisions/second)	: 24.668154029100155
c non guided choices	1048
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 
c objective function=5357
c Total CPU time (ms) : 1268.864

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/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1844866603 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 39 3 38 16 0 23 0
[pid=13864] 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/13864
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=13865
New thread pid=13866
New thread pid=13867
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=13868
New thread pid=13869
New thread pid=13870
New thread pid=13871
New thread pid=13872
New thread pid=13873
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/wulflinc18/normalized-my_adder.opb
New thread pid=13874
One traced child (pid=13874) exited with status: 0
New thread pid=13875
One traced child (pid=13875) exited with status: 0
New thread pid=13876
One traced child (pid=13876) exited with status: 0
New thread pid=13877
One traced child (pid=13877) exited with status: 0
New thread pid=13878

[startup+10.0028 s]
Raw data (loadavg): 1.01 0.99 0.89 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18199 4 1 0 749 47 0 0 19 0 11 0 1844866603 856481792 20197 4294967295 134512640 134569956 3221224336 3221214632 1131356148 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 20197 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 7.96
Current children cumulated vsize (Kb) 836408

[startup+20.0038 s]
Raw data (loadavg): 1.08 1.00 0.89 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18211 4 1 0 1690 48 0 0 19 0 11 0 1844866603 856481792 20765 4294967295 134512640 134569956 3221224336 3221214672 1131418353 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 20765 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 17.38
Current children cumulated vsize (Kb) 836408

[startup+30.0047 s]
Raw data (loadavg): 1.22 1.04 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18219 4 1 0 2626 49 0 0 25 0 11 0 1844866603 856481792 21518 4294967295 134512640 134569956 3221224336 3221214744 1131466883 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 21518 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 26.75
Current children cumulated vsize (Kb) 836408

[startup+40.0076 s]
Raw data (loadavg): 1.18 1.03 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18229 4 1 0 3538 49 0 0 17 0 11 0 1844866603 856481792 22458 4294967295 134512640 134569956 3221224336 3221214800 1131375833 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 22458 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 35.87
Current children cumulated vsize (Kb) 836408

[startup+50.0095 s]
Raw data (loadavg): 1.15 1.03 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18237 4 1 0 4460 49 0 0 16 0 11 0 1844866603 856481792 23075 4294967295 134512640 134569956 3221224336 3221214672 1131417568 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 23075 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 45.09
Current children cumulated vsize (Kb) 836408

[startup+60.0095 s]
Raw data (loadavg): 1.13 1.03 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18246 4 1 0 5392 50 0 0 16 0 11 0 1844866603 856481792 23079 4294967295 134512640 134569956 3221224336 3221214672 1131417449 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 23079 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 54.42
Current children cumulated vsize (Kb) 836408

[startup+70.0094 s]
Raw data (loadavg): 1.11 1.03 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18253 4 1 0 6321 50 0 0 16 0 11 0 1844866603 857726976 23932 4294967295 134512640 134569956 3221224336 3221214800 1131375833 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209406 23932 13129 16 0 209390 0
[pid=13864] vsize: 837624
Current children cumulated CPU time (s) 63.71
Current children cumulated vsize (Kb) 837624

[startup+80.0103 s]
Raw data (loadavg): 1.09 1.03 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18259 4 1 0 7257 50 0 0 16 0 11 0 1844866603 856481792 23955 4294967295 134512640 134569956 3221224336 3221214672 1131417474 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 23955 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 73.07
Current children cumulated vsize (Kb) 836408

[startup+90.0102 s]
Raw data (loadavg): 1.08 1.03 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) S 13863 13864 31027 0 -1 0 18265 4 1 0 8185 51 0 0 17 0 11 0 1844866603 856481792 24072 4294967295 134512640 134569956 3221224336 3221213416 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 24072 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 82.36
Current children cumulated vsize (Kb) 836408

[startup+100.011 s]
Raw data (loadavg): 1.07 1.03 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18272 4 1 0 9119 51 0 0 16 0 11 0 1844866603 856481792 24235 4294967295 134512640 134569956 3221224336 3221214744 1131325571 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 24235 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 91.7
Current children cumulated vsize (Kb) 836408

[startup+110.012 s]
Raw data (loadavg): 1.06 1.02 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18278 4 1 0 10060 53 0 0 16 0 11 0 1844866603 856481792 24235 4294967295 134512640 134569956 3221224336 3221214648 1131417981 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 24235 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 101.13
Current children cumulated vsize (Kb) 836408

[startup+120.013 s]
Raw data (loadavg): 1.05 1.02 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18284 4 1 0 10997 53 0 0 17 0 11 0 1844866603 856481792 24612 4294967295 134512640 134569956 3221224336 3221214744 1131325571 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 24612 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 110.5
Current children cumulated vsize (Kb) 836408

[startup+130.014 s]
Raw data (loadavg): 1.04 1.02 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18290 4 1 0 11943 54 0 0 17 0 11 0 1844866603 856481792 24718 4294967295 134512640 134569956 3221224336 3221214696 1131561895 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 24718 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 836408

[startup+140.015 s]
Raw data (loadavg): 1.03 1.02 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18297 4 1 0 12878 54 0 0 16 0 11 0 1844866603 856481792 24876 4294967295 134512640 134569956 3221224336 3221214488 1131356836 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 24876 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 129.32
Current children cumulated vsize (Kb) 836408

[startup+150.016 s]
Raw data (loadavg): 1.03 1.02 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18303 4 1 0 13825 54 0 0 17 0 11 0 1844866603 856481792 24986 4294967295 134512640 134569956 3221224336 3221214672 1131417454 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 24986 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 138.79
Current children cumulated vsize (Kb) 836408

[startup+160.017 s]
Raw data (loadavg): 1.02 1.02 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18310 4 1 0 14761 55 0 0 16 0 11 0 1844866603 856481792 25236 4294967295 134512640 134569956 3221224336 3221214592 1131555522 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 25236 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 148.16
Current children cumulated vsize (Kb) 836408

[startup+170.017 s]
Raw data (loadavg): 1.02 1.02 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18316 4 1 0 15711 55 0 0 17 0 11 0 1844866603 856481792 25413 4294967295 134512640 134569956 3221224336 3221214600 1131634752 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 25413 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 157.66
Current children cumulated vsize (Kb) 836408

[startup+180.018 s]
Raw data (loadavg): 1.02 1.02 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18322 4 1 0 16663 55 0 0 17 0 11 0 1844866603 856481792 25542 4294967295 134512640 134569956 3221224336 3221214744 1131325568 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 25542 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 167.18
Current children cumulated vsize (Kb) 836408

[startup+190.018 s]
Raw data (loadavg): 1.01 1.02 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18329 4 1 0 17608 56 0 0 16 0 11 0 1844866603 856481792 25673 4294967295 134512640 134569956 3221224336 3221214740 1131356128 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 25673 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 176.64
Current children cumulated vsize (Kb) 836408

[startup+200.019 s]
Raw data (loadavg): 1.01 1.02 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18337 4 1 0 18538 56 0 0 16 0 11 0 1844866603 856481792 25878 4294967295 134512640 134569956 3221224336 3221214632 1131356229 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 25878 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 185.94
Current children cumulated vsize (Kb) 836408

[startup+210.019 s]
Raw data (loadavg): 1.01 1.01 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) S 13863 13864 31027 0 -1 0 18344 4 1 0 19467 56 0 0 17 0 11 0 1844866603 856481792 26059 4294967295 134512640 134569956 3221224336 3221213400 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 26059 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 195.23
Current children cumulated vsize (Kb) 836408

[startup+220.02 s]
Raw data (loadavg): 1.01 1.01 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18352 4 1 0 20400 57 0 0 16 0 11 0 1844866603 856481792 26196 4294967295 134512640 134569956 3221224336 3221214756 1131325548 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 26196 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 204.57
Current children cumulated vsize (Kb) 836408

[startup+230.021 s]
Raw data (loadavg): 1.00 1.01 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18359 4 1 0 21336 57 0 0 16 0 11 0 1844866603 856481792 26382 4294967295 134512640 134569956 3221224336 3221214736 1131437958 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 26382 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 213.93
Current children cumulated vsize (Kb) 836408

[startup+240.021 s]
Raw data (loadavg): 1.00 1.01 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18367 4 1 0 22264 57 0 0 16 0 11 0 1844866603 856481792 26558 4294967295 134512640 134569956 3221224336 3221214672 1131417898 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 26558 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 223.21
Current children cumulated vsize (Kb) 836408

[startup+250.022 s]
Raw data (loadavg): 1.00 1.01 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18373 4 1 0 23206 57 0 0 17 0 11 0 1844866603 856481792 26782 4294967295 134512640 134569956 3221224336 3221214672 1131417607 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 26782 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 232.63
Current children cumulated vsize (Kb) 836408

[startup+260.023 s]
Raw data (loadavg): 1.00 1.01 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18380 4 1 0 24131 57 0 0 16 0 11 0 1844866603 856481792 27215 4294967295 134512640 134569956 3221224336 3221214672 1131417524 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 27215 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 241.88
Current children cumulated vsize (Kb) 836408

[startup+270.023 s]
Raw data (loadavg): 1.00 1.01 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18386 4 1 0 25065 57 0 0 17 0 11 0 1844866603 856481792 27358 4294967295 134512640 134569956 3221224336 3221214672 1131417990 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 27358 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 251.22
Current children cumulated vsize (Kb) 836408

[startup+280.024 s]
Raw data (loadavg): 1.00 1.01 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18393 4 1 0 25996 58 0 0 16 0 11 0 1844866603 856481792 27604 4294967295 134512640 134569956 3221224336 3221214328 1078035738 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 27604 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 260.54
Current children cumulated vsize (Kb) 836408

[startup+290.025 s]
Raw data (loadavg): 1.00 1.01 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18399 4 1 0 26931 58 0 0 17 0 11 0 1844866603 856481792 27880 4294967295 134512640 134569956 3221224336 3221214504 1131411855 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 27880 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 269.89
Current children cumulated vsize (Kb) 836408

[startup+300.026 s]
Raw data (loadavg): 1.00 1.01 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18406 4 1 0 27864 59 0 0 16 0 11 0 1844866603 856481792 27880 4294967295 134512640 134569956 3221224336 3221214504 1131411810 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 27880 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 279.23
Current children cumulated vsize (Kb) 836408

[startup+310.027 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18412 4 1 0 28809 59 0 0 16 0 11 0 1844866603 856481792 28124 4294967295 134512640 134569956 3221224336 3221214776 1131415341 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 28124 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 288.68
Current children cumulated vsize (Kb) 836408

[startup+320.026 s]
Raw data (loadavg): 1.00 1.00 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18420 4 1 0 29740 60 0 0 16 0 11 0 1844866603 856481792 28342 4294967295 134512640 134569956 3221224336 3221214624 1131417744 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 28342 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 298
Current children cumulated vsize (Kb) 836408

[startup+330.027 s]
Raw data (loadavg): 1.08 1.02 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18428 4 1 0 30652 60 0 0 17 0 11 0 1844866603 856973312 28875 4294967295 134512640 134569956 3221224336 3221214744 1131325571 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209222 28875 13129 16 0 209206 0
[pid=13864] vsize: 836888
Current children cumulated CPU time (s) 307.12
Current children cumulated vsize (Kb) 836888

[startup+340.028 s]
Raw data (loadavg): 1.07 1.02 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18433 4 1 0 31601 60 0 0 17 0 11 0 1844866603 856612864 28927 4294967295 134512640 134569956 3221224336 3221214744 1131325571 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209134 28927 13129 16 0 209118 0
[pid=13864] vsize: 836536
Current children cumulated CPU time (s) 316.61
Current children cumulated vsize (Kb) 836536

[startup+350.029 s]
Raw data (loadavg): 1.06 1.02 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18440 4 1 0 32522 61 0 0 16 0 11 0 1844866603 856612864 29310 4294967295 134512640 134569956 3221224336 3221214504 1131411197 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209134 29310 13129 16 0 209118 0
[pid=13864] vsize: 836536
Current children cumulated CPU time (s) 325.83
Current children cumulated vsize (Kb) 836536

[startup+360.03 s]
Raw data (loadavg): 1.05 1.02 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18445 4 1 0 33470 61 0 0 17 0 11 0 1844866603 856612864 29532 4294967295 134512640 134569956 3221224336 3221214696 1131561826 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209134 29532 13129 16 0 209118 0
[pid=13864] vsize: 836536
Current children cumulated CPU time (s) 335.31
Current children cumulated vsize (Kb) 836536

[startup+370.03 s]
Raw data (loadavg): 1.04 1.02 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18451 4 1 0 34397 61 0 0 17 0 11 0 1844866603 856612864 29998 4294967295 134512640 134569956 3221224336 3221214760 1131426501 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209134 29998 13129 16 0 209118 0
[pid=13864] vsize: 836536
Current children cumulated CPU time (s) 344.58
Current children cumulated vsize (Kb) 836536

[startup+380.031 s]
Raw data (loadavg): 1.03 1.01 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18458 4 1 0 35329 61 0 0 17 0 11 0 1844866603 856612864 30172 4294967295 134512640 134569956 3221224336 3221214600 1131569319 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209134 30172 13129 16 0 209118 0
[pid=13864] vsize: 836536
Current children cumulated CPU time (s) 353.9
Current children cumulated vsize (Kb) 836536

[startup+390.032 s]
Raw data (loadavg): 1.03 1.01 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18464 4 1 0 36266 61 0 0 17 0 11 0 1844866603 856612864 30274 4294967295 134512640 134569956 3221224336 3221214392 1131658001 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209134 30274 13129 16 0 209118 0
[pid=13864] vsize: 836536
Current children cumulated CPU time (s) 363.27
Current children cumulated vsize (Kb) 836536

[startup+400.034 s]
Raw data (loadavg): 1.02 1.01 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18471 4 1 0 37192 61 0 0 16 0 11 0 1844866603 856612864 30498 4294967295 134512640 134569956 3221224336 3221214632 1131356171 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209134 30498 13129 16 0 209118 0
[pid=13864] vsize: 836536
Current children cumulated CPU time (s) 372.53
Current children cumulated vsize (Kb) 836536

[startup+410.035 s]
Raw data (loadavg): 1.02 1.01 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18478 4 1 0 38138 62 0 0 16 0 11 0 1844866603 856481792 30693 4294967295 134512640 134569956 3221224336 3221214760 1131426344 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 30693 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 382
Current children cumulated vsize (Kb) 836408

[startup+420.035 s]
Raw data (loadavg): 1.02 1.01 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18483 4 1 0 39097 62 0 0 18 0 11 0 1844866603 856481792 30848 4294967295 134512640 134569956 3221224336 3221214632 1131356248 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 30848 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 391.59
Current children cumulated vsize (Kb) 836408

[startup+430.036 s]
Raw data (loadavg): 1.01 1.01 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18489 4 1 0 40051 62 0 0 17 0 11 0 1844866603 856481792 30952 4294967295 134512640 134569956 3221224336 3221214744 1131325571 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 30952 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 401.13
Current children cumulated vsize (Kb) 836408

[startup+440.037 s]
Raw data (loadavg): 1.01 1.01 0.91 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18494 4 1 0 41009 63 0 0 17 0 11 0 1844866603 856481792 31056 4294967295 134512640 134569956 3221224336 3221214640 1131411411 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 31056 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 410.72
Current children cumulated vsize (Kb) 836408

[startup+450.038 s]
Raw data (loadavg): 1.16 1.04 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18500 4 1 0 41956 63 0 0 17 0 11 0 1844866603 856481792 31231 4294967295 134512640 134569956 3221224336 3221214592 1131555156 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 31231 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 420.19
Current children cumulated vsize (Kb) 836408

[startup+460.039 s]
Raw data (loadavg): 1.13 1.04 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18506 4 1 0 42905 63 0 0 17 0 11 0 1844866603 856481792 31338 4294967295 134512640 134569956 3221224336 3221214096 1131718148 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 31338 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 429.68
Current children cumulated vsize (Kb) 836408

[startup+470.039 s]
Raw data (loadavg): 1.11 1.04 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18512 4 1 0 43852 64 0 0 17 0 11 0 1844866603 856481792 31437 4294967295 134512640 134569956 3221224336 3221214760 1131426209 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 31437 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 439.16
Current children cumulated vsize (Kb) 836408

[startup+480.04 s]
Raw data (loadavg): 1.09 1.03 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18519 4 1 0 44790 64 0 0 17 0 11 0 1844866603 856481792 31577 4294967295 134512640 134569956 3221224336 3221214672 1131417460 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 31577 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 448.54
Current children cumulated vsize (Kb) 836408

[startup+490.041 s]
Raw data (loadavg): 1.08 1.03 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18526 4 1 0 45733 64 0 0 16 0 11 0 1844866603 856481792 31848 4294967295 134512640 134569956 3221224336 3221214632 1131356153 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 31848 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 457.97
Current children cumulated vsize (Kb) 836408

[startup+500.042 s]
Raw data (loadavg): 1.07 1.03 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18532 4 1 0 46693 64 0 0 17 0 11 0 1844866603 856481792 31994 4294967295 134512640 134569956 3221224336 3221214632 1131356148 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 31994 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 467.57
Current children cumulated vsize (Kb) 836408

[startup+510.043 s]
Raw data (loadavg): 1.06 1.03 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18539 4 1 0 47649 64 0 0 16 0 11 0 1844866603 856481792 32121 4294967295 134512640 134569956 3221224336 3221214600 1131569676 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 32121 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 477.13
Current children cumulated vsize (Kb) 836408

[startup+520.044 s]
Raw data (loadavg): 1.05 1.03 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18546 4 1 0 48606 64 0 0 16 0 11 0 1844866603 856481792 32289 4294967295 134512640 134569956 3221224336 3221214496 1131411030 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 32289 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 486.7
Current children cumulated vsize (Kb) 836408

[startup+530.046 s]
Raw data (loadavg): 1.04 1.03 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18552 4 1 0 49571 65 0 0 16 0 11 0 1844866603 856481792 32356 4294967295 134512640 134569956 3221224336 3221214432 1131605561 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 32356 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 496.36
Current children cumulated vsize (Kb) 836408

[startup+540.046 s]
Raw data (loadavg): 1.03 1.03 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18559 4 1 0 50533 65 0 0 17 0 11 0 1844866603 856481792 32455 4294967295 134512640 134569956 3221224336 3221214464 1131411197 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 32455 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 505.98
Current children cumulated vsize (Kb) 836408

[startup+550.047 s]
Raw data (loadavg): 1.03 1.02 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18565 4 1 0 51496 65 0 0 17 0 11 0 1844866603 856481792 32506 4294967295 134512640 134569956 3221224336 3221214624 1131417839 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 32506 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 515.61
Current children cumulated vsize (Kb) 836408

[startup+560.048 s]
Raw data (loadavg): 1.02 1.02 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18571 4 1 0 52460 65 0 0 17 0 11 0 1844866603 856481792 32627 4294967295 134512640 134569956 3221224336 3221214624 1131418415 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 32627 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 525.25
Current children cumulated vsize (Kb) 836408

[startup+570.048 s]
Raw data (loadavg): 1.02 1.02 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18578 4 1 0 53421 65 0 0 16 0 11 0 1844866603 856481792 32719 4294967295 134512640 134569956 3221224336 3221214624 1131417474 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 32719 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 534.86
Current children cumulated vsize (Kb) 836408

[startup+580.048 s]
Raw data (loadavg): 1.02 1.02 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18584 4 1 0 54387 66 0 0 17 0 11 0 1844866603 856481792 32784 4294967295 134512640 134569956 3221224336 3221214472 1131411214 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 32784 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 544.53
Current children cumulated vsize (Kb) 836408

[startup+590.049 s]
Raw data (loadavg): 1.01 1.02 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18590 4 1 0 55354 66 0 0 17 0 11 0 1844866603 856481792 32873 4294967295 134512640 134569956 3221224336 3221214624 1131417901 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 32873 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 554.2
Current children cumulated vsize (Kb) 836408

[startup+600.05 s]
Raw data (loadavg): 1.01 1.02 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18598 4 1 0 56318 66 0 0 17 0 11 0 1844866603 856481792 33017 4294967295 134512640 134569956 3221224336 3221214624 1131417901 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 33017 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 563.84
Current children cumulated vsize (Kb) 836408

[startup+610.051 s]
Raw data (loadavg): 1.01 1.02 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18604 4 1 0 57292 66 0 0 18 0 11 0 1844866603 856481792 33090 4294967295 134512640 134569956 3221224336 3221214544 1131375173 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 33090 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 573.58
Current children cumulated vsize (Kb) 836408

[startup+620.051 s]
Raw data (loadavg): 1.01 1.02 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18611 4 1 0 58258 67 0 0 16 0 11 0 1844866603 856481792 33158 4294967295 134512640 134569956 3221224336 3221214464 1131411378 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 33158 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 583.25
Current children cumulated vsize (Kb) 836408

[startup+630.055 s]
Raw data (loadavg): 1.00 1.02 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18618 4 1 0 59222 68 0 0 16 0 11 0 1844866603 856481792 33218 4294967295 134512640 134569956 3221224336 3221214624 1131418041 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 33218 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 592.9
Current children cumulated vsize (Kb) 836408

[startup+640.056 s]
Raw data (loadavg): 1.00 1.02 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18624 4 1 0 60188 68 0 0 17 0 11 0 1844866603 856481792 33258 4294967295 134512640 134569956 3221224336 3221214544 1131375166 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 33258 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 602.56
Current children cumulated vsize (Kb) 836408

[startup+650.057 s]
Raw data (loadavg): 1.00 1.02 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18630 4 1 0 61152 69 0 0 17 0 11 0 1844866603 856481792 33296 4294967295 134512640 134569956 3221224336 3221213864 1085806313 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 33296 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 612.21
Current children cumulated vsize (Kb) 836408

[startup+660.058 s]
Raw data (loadavg): 1.00 1.01 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18636 4 1 0 62112 69 0 0 16 0 11 0 1844866603 856481792 33422 4294967295 134512640 134569956 3221224336 3221214696 1131325571 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 33422 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 621.81
Current children cumulated vsize (Kb) 836408

[startup+670.058 s]
Raw data (loadavg): 1.00 1.01 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18643 4 1 0 63068 69 0 0 17 0 11 0 1844866603 856481792 33509 4294967295 134512640 134569956 3221224336 3221214624 1131418119 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 33509 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 631.37
Current children cumulated vsize (Kb) 836408

[startup+680.059 s]
Raw data (loadavg): 1.00 1.01 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18650 4 1 0 64025 70 0 0 16 0 11 0 1844866603 856481792 33635 4294967295 134512640 134569956 3221224336 3221214624 1131417474 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 33635 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 640.95
Current children cumulated vsize (Kb) 836408

[startup+690.06 s]
Raw data (loadavg): 1.00 1.01 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18656 4 1 0 64992 70 0 0 17 0 11 0 1844866603 856481792 33701 4294967295 134512640 134569956 3221224336 3221214456 1131356444 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 33701 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 650.62
Current children cumulated vsize (Kb) 836408

[startup+700.062 s]
Raw data (loadavg): 1.00 1.01 0.93 3/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18663 4 1 0 65956 70 0 0 17 0 11 0 1844866603 856481792 33849 4294967295 134512640 134569956 3221224336 3221214624 1131417898 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 33849 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 660.26
Current children cumulated vsize (Kb) 836408

[startup+710.062 s]
Raw data (loadavg): 1.00 1.01 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18670 4 1 0 66925 71 0 0 17 0 11 0 1844866603 856481792 33959 4294967295 134512640 134569956 3221224336 3221214560 1131555122 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 33959 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 669.96
Current children cumulated vsize (Kb) 836408

[startup+720.063 s]
Raw data (loadavg): 1.00 1.01 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18677 4 1 0 67897 71 0 0 18 0 11 0 1844866603 856481792 34038 4294967295 134512640 134569956 3221224336 3221214624 1131417901 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 34038 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 679.68
Current children cumulated vsize (Kb) 836408

[startup+730.065 s]
Raw data (loadavg): 1.00 1.01 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18684 4 1 0 68867 72 0 0 19 0 11 0 1844866603 856481792 34093 4294967295 134512640 134569956 3221224336 3221214552 1131440859 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 34093 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 689.39
Current children cumulated vsize (Kb) 836408

[startup+740.066 s]
Raw data (loadavg): 1.00 1.01 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18691 4 1 0 69836 72 0 0 18 0 11 0 1844866603 856481792 34137 4294967295 134512640 134569956 3221224336 3221214472 1131411030 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 34137 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 699.08
Current children cumulated vsize (Kb) 836408

[startup+750.067 s]
Raw data (loadavg): 1.00 1.01 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18698 4 1 0 70803 72 0 0 18 0 11 0 1844866603 856481792 34202 4294967295 134512640 134569956 3221224336 3221214568 1131569271 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 34202 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 708.75
Current children cumulated vsize (Kb) 836408

[startup+760.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18704 4 1 0 71774 73 0 0 18 0 11 0 1844866603 856481792 34268 4294967295 134512640 134569956 3221224336 3221214472 1131411133 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 34268 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 718.47
Current children cumulated vsize (Kb) 836408

[startup+770.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) S 13863 13864 31027 0 -1 0 18710 4 1 0 72743 73 0 0 16 0 11 0 1844866603 856481792 34313 4294967295 134512640 134569956 3221224336 3221213368 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 34313 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 728.16
Current children cumulated vsize (Kb) 836408

[startup+780.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18718 4 1 0 73706 73 0 0 17 0 11 0 1844866603 856481792 34413 4294967295 134512640 134569956 3221224336 3221214624 1131418109 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 34413 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 737.79
Current children cumulated vsize (Kb) 836408

[startup+790.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18725 4 1 0 74671 74 0 0 18 0 11 0 1844866603 856481792 34485 4294967295 134512640 134569956 3221224336 3221214624 1131417821 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 34485 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 747.45
Current children cumulated vsize (Kb) 836408

[startup+800.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18733 4 1 0 75635 74 0 0 17 0 11 0 1844866603 856481792 34569 4294967295 134512640 134569956 3221224336 3221214464 1131411154 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 34569 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 757.09
Current children cumulated vsize (Kb) 836408

[startup+810.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18739 4 1 0 76613 75 0 0 20 0 11 0 1844866603 856481792 34615 4294967295 134512640 134569956 3221224336 3221214160 1131700969 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 34615 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 766.88
Current children cumulated vsize (Kb) 836408

[startup+820.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18745 4 1 0 77587 75 0 0 17 0 11 0 1844866603 856481792 34692 4294967295 134512640 134569956 3221224336 3221214552 1131356148 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 34692 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 776.62
Current children cumulated vsize (Kb) 836408

[startup+830.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18752 4 1 0 78563 75 0 0 17 0 11 0 1844866603 856481792 34765 4294967295 134512640 134569956 3221224336 3221214720 1131375833 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 34765 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 786.38
Current children cumulated vsize (Kb) 836408

[startup+840.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18759 4 1 0 79540 75 0 0 19 0 11 0 1844866603 856481792 34811 4294967295 134512640 134569956 3221224336 3221214536 1131569624 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 34811 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 796.15
Current children cumulated vsize (Kb) 836408

[startup+850.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18764 4 1 0 80520 76 0 0 18 0 11 0 1844866603 856481792 34844 4294967295 134512640 134569956 3221224336 3221214592 1131417763 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 34844 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 805.96
Current children cumulated vsize (Kb) 836408

[startup+860.078 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18770 4 1 0 81493 76 0 0 18 0 11 0 1844866603 856481792 34883 4294967295 134512640 134569956 3221224336 3221214384 1131701084 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 34883 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 815.69
Current children cumulated vsize (Kb) 836408

[startup+870.079 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18775 4 1 0 82469 76 0 0 19 0 11 0 1844866603 856481792 34891 4294967295 134512640 134569956 3221224336 3221214104 1131701088 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 34891 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 825.45
Current children cumulated vsize (Kb) 836408

[startup+880.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18780 4 1 0 83435 76 0 0 17 0 11 0 1844866603 856481792 34912 4294967295 134512640 134569956 3221224336 3221214592 1131417474 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 34912 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 835.11
Current children cumulated vsize (Kb) 836408

[startup+890.081 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18785 4 1 0 84393 77 0 0 17 0 11 0 1844866603 856481792 34933 4294967295 134512640 134569956 3221224336 3221214048 1131701108 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 34933 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 844.7
Current children cumulated vsize (Kb) 836408

[startup+900.082 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18790 4 1 0 85342 77 0 0 16 0 11 0 1844866603 856481792 34994 4294967295 134512640 134569956 3221224336 3221214592 1131417474 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 34994 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 854.19
Current children cumulated vsize (Kb) 836408

[startup+910.083 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18795 4 1 0 86286 78 0 0 17 0 11 0 1844866603 856481792 35162 4294967295 134512640 134569956 3221224336 3221214688 1131467012 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 35162 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 863.64
Current children cumulated vsize (Kb) 836408

[startup+920.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18799 4 1 0 87240 78 0 0 17 0 11 0 1844866603 856481792 35372 4294967295 134512640 134569956 3221224336 3221214664 1131325571 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 35372 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 873.18
Current children cumulated vsize (Kb) 836408

[startup+930.085 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18804 4 1 0 88185 78 0 0 16 0 11 0 1844866603 856481792 35658 4294967295 134512640 134569956 3221224336 3221213832 1085806723 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 35658 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 882.63
Current children cumulated vsize (Kb) 836408

[startup+940.086 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18808 4 1 0 89140 78 0 0 16 0 11 0 1844866603 856481792 35858 4294967295 134512640 134569956 3221224336 3221214552 1131356148 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 35858 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 892.18
Current children cumulated vsize (Kb) 836408

[startup+950.087 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18812 4 1 0 90098 79 0 0 17 0 11 0 1844866603 856481792 35918 4294967295 134512640 134569956 3221224336 3221214584 1131417531 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 35918 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 901.77
Current children cumulated vsize (Kb) 836408

[startup+960.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18820 4 1 0 91015 79 0 0 16 0 11 0 1844866603 856481792 36019 4294967295 134512640 134569956 3221224336 3221214552 1131356186 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 36019 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 910.94
Current children cumulated vsize (Kb) 836408

[startup+970.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18826 4 1 0 91952 80 0 0 16 0 11 0 1844866603 856481792 36142 4294967295 134512640 134569956 3221224336 3221214664 1131325571 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 36142 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 920.32
Current children cumulated vsize (Kb) 836408

[startup+980.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18830 4 1 0 92911 80 0 0 16 0 11 0 1844866603 856481792 36399 4294967295 134512640 134569956 3221224336 3221214552 1131356148 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 36399 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 929.91
Current children cumulated vsize (Kb) 836408

[startup+990.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18838 4 1 0 93851 80 0 0 17 0 11 0 1844866603 856481792 36743 4294967295 134512640 134569956 3221224336 3221214192 1085806281 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 36743 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 939.31
Current children cumulated vsize (Kb) 836408

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18844 4 1 0 94816 80 0 0 17 0 11 0 1844866603 856481792 36857 4294967295 134512640 134569956 3221224336 3221214664 1131325571 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 36857 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 948.96
Current children cumulated vsize (Kb) 836408

[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18850 4 1 0 95765 80 0 0 16 0 11 0 1844866603 856481792 36903 4294967295 134512640 134569956 3221224336 3221214504 1131365178 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 36903 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 958.45
Current children cumulated vsize (Kb) 836408

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18855 4 1 0 96710 80 0 0 17 0 11 0 1844866603 856481792 37087 4294967295 134512640 134569956 3221224336 3221214592 1131417901 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 37087 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 967.9
Current children cumulated vsize (Kb) 836408

[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18861 4 1 0 97649 81 0 0 17 0 11 0 1844866603 856481792 37598 4294967295 134512640 134569956 3221224336 3221214608 1131561844 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 37598 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 977.3
Current children cumulated vsize (Kb) 836408

[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18865 4 1 0 98603 81 0 0 17 0 11 0 1844866603 856481792 37899 4294967295 134512640 134569956 3221224336 3221214192 1085806301 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 37899 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 986.84
Current children cumulated vsize (Kb) 836408

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18868 4 1 0 99566 81 0 0 18 0 11 0 1844866603 856481792 38219 4294967295 134512640 134569956 3221224336 3221214592 1131417821 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 38219 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 996.47
Current children cumulated vsize (Kb) 836408

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) S 13863 13864 31027 0 -1 0 18875 4 1 0 100494 81 0 0 16 0 11 0 1844866603 856481792 38320 4294967295 134512640 134569956 3221224336 3221213336 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 38320 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 1005.75
Current children cumulated vsize (Kb) 836408

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) S 13863 13864 31027 0 -1 0 18883 4 1 0 101417 82 0 0 17 0 11 0 1844866603 856481792 38320 4294967295 134512640 134569956 3221224336 3221213296 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 38320 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 1014.99
Current children cumulated vsize (Kb) 836408

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18891 4 1 0 102337 82 0 0 16 0 11 0 1844866603 856481792 38391 4294967295 134512640 134569956 3221224336 3221214432 1131411152 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 38391 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 1024.19
Current children cumulated vsize (Kb) 836408

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18897 4 1 0 103286 82 0 0 18 0 11 0 1844866603 856481792 38892 4294967295 134512640 134569956 3221224336 3221214680 1131426486 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 38892 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 1033.68
Current children cumulated vsize (Kb) 836408

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18905 4 1 0 104255 83 0 0 18 0 11 0 1844866603 856481792 39150 4294967295 134512640 134569956 3221224336 3221214592 1131417922 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 39150 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 1043.38
Current children cumulated vsize (Kb) 836408

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18914 4 1 0 105221 83 0 0 16 0 11 0 1844866603 856481792 39194 4294967295 134512640 134569956 3221224336 3221214592 1131417471 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 39194 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 1053.04
Current children cumulated vsize (Kb) 836408

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18923 4 1 0 106189 83 0 0 16 0 11 0 1844866603 856481792 39227 4294967295 134512640 134569956 3221224336 3221214432 1131411326 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 39227 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 1062.72
Current children cumulated vsize (Kb) 836408

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18929 4 1 0 107170 83 0 0 19 0 11 0 1844866603 856481792 39295 4294967295 134512640 134569956 3221224336 3221214592 1131417632 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 39295 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 1072.53
Current children cumulated vsize (Kb) 836408

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18934 4 1 0 108153 84 0 0 19 0 11 0 1844866603 856481792 39352 4294967295 134512640 134569956 3221224336 3221214592 1131417898 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 39352 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 1082.37
Current children cumulated vsize (Kb) 836408

[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18940 4 1 0 109126 84 0 0 17 0 11 0 1844866603 856481792 39390 4294967295 134512640 134569956 3221224336 3221214504 1131366228 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 39390 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 1092.1
Current children cumulated vsize (Kb) 836408

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18947 4 1 0 110088 84 0 0 17 0 11 0 1844866603 856481792 39405 4294967295 134512640 134569956 3221224336 3221214592 1131418077 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 39405 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 1101.72
Current children cumulated vsize (Kb) 836408

[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18954 4 1 0 111040 85 0 0 16 0 11 0 1844866603 856481792 39429 4294967295 134512640 134569956 3221224336 3221213968 1131718092 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 39429 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 1111.25
Current children cumulated vsize (Kb) 836408

[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18960 4 1 0 111994 85 0 0 17 0 11 0 1844866603 856481792 39430 4294967295 134512640 134569956 3221224336 3221213968 1131718133 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 39430 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 1120.79
Current children cumulated vsize (Kb) 836408

[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18967 4 1 0 112936 86 0 0 17 0 11 0 1844866603 856481792 39632 4294967295 134512640 134569956 3221224336 3221214664 1131325571 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13864/statm): 209102 39632 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 1130.22
Current children cumulated vsize (Kb) 836408

[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18974 4 1 0 113886 86 0 0 17 0 11 0 1844866603 856481792 39827 4294967295 134512640 134569956 3221224336 3221214592 1131418107 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 39827 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 1139.72
Current children cumulated vsize (Kb) 836408

[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18981 4 1 0 114840 86 0 0 17 0 11 0 1844866603 856481792 40008 4294967295 134512640 134569956 3221224336 3221214676 1131417420 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 40008 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 1149.26
Current children cumulated vsize (Kb) 836408

[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18988 4 1 0 115798 87 0 0 17 0 11 0 1844866603 856481792 40134 4294967295 134512640 134569956 3221224336 3221213888 1085759286 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 40134 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 1158.85
Current children cumulated vsize (Kb) 836408

[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 18996 4 1 0 116751 87 0 0 17 0 11 0 1844866603 856481792 40283 4294967295 134512640 134569956 3221224336 3221213960 1131718160 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 40283 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 1168.38
Current children cumulated vsize (Kb) 836408

[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 19002 4 1 0 117717 88 0 0 18 0 11 0 1844866603 856481792 40385 4294967295 134512640 134569956 3221224336 3221214680 1131426730 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 40385 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 1178.05
Current children cumulated vsize (Kb) 836408

[startup+1250.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 19010 4 1 0 118670 88 0 0 16 0 11 0 1844866603 856481792 40492 4294967295 134512640 134569956 3221224336 3221214660 1131356128 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 40492 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 1187.58
Current children cumulated vsize (Kb) 836408

[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 19016 4 1 0 119638 89 0 0 18 0 11 0 1844866603 856481792 40591 4294967295 134512640 134569956 3221224336 3221213968 1131717939 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 40591 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 1197.27
Current children cumulated vsize (Kb) 836408

[startup+1270.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 19024 4 1 0 120597 89 0 0 18 0 11 0 1844866603 856481792 40725 4294967295 134512640 134569956 3221224336 3221214592 1131417692 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 40725 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 1206.86
Current children cumulated vsize (Kb) 836408



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 13878
Raw data (/proc/13864/stat): 13864 (java) R 13863 13864 31027 0 -1 0 19024 4 1 0 120597 89 0 0 18 0 11 0 1844866603 856481792 40725 4294967295 134512640 134569956 3221224336 3221214592 1131418059 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13864/statm): 209102 40725 13129 16 0 209086 0
[pid=13864] vsize: 836408
Current children cumulated CPU time (s) 1206.86
Current children cumulated vsize (Kb) 836408

Sending SIGTERM to -13864
Sleeping 2 seconds
New thread pid=13880
New thread pid=13881
One traced child (pid=13881) exited with status: 0
One traced child (pid=13873) exited with status: 0
One traced child (pid=13868) exited with status: 0
One traced child (pid=13865) exited with status: 143
One traced child (pid=13866) exited with status: 143
One traced child (pid=13867) exited with status: 143
One traced child (pid=13872) exited with status: 143
One traced child (pid=13869) exited with status: 143
One traced child (pid=13870) exited with status: 143
One traced child (pid=13871) exited with status: 143
One traced child (pid=13878) exited with status: 143
One traced child (pid=13880) exited with status: 143
One traced child (pid=13864) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1270.28
CPU time (s): 1276.88
CPU user time (s): 1275.08
CPU system time (s): 1.80372
CPU usage (%): 100.52
Max. virtual memory (cumulated for all children) (Kb): 837624

Verifier Data

Verifier:	OK	5357