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/logic-synthesis/normalized-e64.b.opb
MD5SUMbf7f8537c6faa135d25c67c53576abb5
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 51
Optimality of the best value was proved NO
Number of terms in the objective function 608
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 608
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 608
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.16
Number of variables607
Total number of constraints1053
Number of constraints which are clauses1022
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint32

Trace number 1164

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        883960 kB
Buffers:         33644 kB
Cached:          90836 kB
SwapCached:        708 kB
Active:          61380 kB
Inactive:        65680 kB
HighTotal:      131008 kB
HighFree:        67228 kB
LowTotal:       903652 kB
LowFree:        816732 kB
SwapTotal:     2097136 kB
SwapFree:      2095936 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5740 kB
Slab:            18040 kB
Committed_AS:    64128 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 13:56:23 (client local time) WITH STATUS 143 IN 1266.86 SECONDS
stats: 5924 0 1266.86 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/wulflinc13/normalized-e64.b.opb
c reading problem ... done. Time 2.595 ms.
c #vars     608
c #constraints  1022
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  67 		Current CPU time: 3.33 ms
c CURRENT OPTIMUM=                  66 		Current CPU time: 4.16 ms
c CURRENT OPTIMUM=                  65 		Current CPU time: 5.29 ms
c CURRENT OPTIMUM=                  64 		Current CPU time: 14.37 ms
c CURRENT OPTIMUM=                  63 		Current CPU time: 892.73 ms
c starts		: 11
c conflicts		: 1339
c decisions		: 16413
c propagations		: 35895
c inspects		: 723582
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 1338
c root simplifications	: 11
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 6845
c speed (decisions/second)	: 44.834829830882576
c non guided choices	2648
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 
c objective function=63
c Total CPU time (ms) : 1258.837

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/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1783449744 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 39 3 38 16 0 23 0
[pid=4114] 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/4114
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=4115
New thread pid=4116
New thread pid=4117
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=4118
New thread pid=4119
New thread pid=4120
New thread pid=4121
New thread pid=4122
New thread pid=4123
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/wulflinc13/normalized-e64.b.opb
New thread pid=4124
One traced child (pid=4124) exited with status: 0
New thread pid=4125
One traced child (pid=4125) exited with status: 0
New thread pid=4126
One traced child (pid=4126) exited with status: 0
New thread pid=4127

[startup+10.0026 s]
Raw data (loadavg): 0.93 0.98 0.93 2/66 4127
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18195 4 1 0 706 48 0 0 17 0 11 0 1783449744 856621056 20340 4294967295 134512640 134569956 3221224352 3221214496 1131468106 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209136 20340 13129 16 0 209120 0
[pid=4114] vsize: 836544
Current children cumulated CPU time (s) 7.54
Current children cumulated vsize (Kb) 836544
One traced child (pid=4127) exited with status: 0
New thread pid=4128

[startup+20.0033 s]
Raw data (loadavg): 0.94 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18203 4 1 0 1642 49 0 0 17 0 11 0 1783449744 856588288 20863 4294967295 134512640 134569956 3221224352 3221214596 1131468658 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 20863 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 16.91
Current children cumulated vsize (Kb) 836512

[startup+30.004 s]
Raw data (loadavg): 0.95 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18212 4 1 0 2588 49 0 0 17 0 11 0 1783449744 856588288 21371 4294967295 134512640 134569956 3221224352 3221214496 1131467957 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 21371 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 26.37
Current children cumulated vsize (Kb) 836512

[startup+40.0046 s]
Raw data (loadavg): 0.96 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18219 4 1 0 3535 50 0 0 17 0 11 0 1783449744 856588288 21371 4294967295 134512640 134569956 3221224352 3221214600 1131617688 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 21371 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 35.85
Current children cumulated vsize (Kb) 836512

[startup+50.0053 s]
Raw data (loadavg): 0.96 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18226 4 1 0 4479 50 0 0 16 0 11 0 1783449744 856588288 21371 4294967295 134512640 134569956 3221224352 3221214592 1131610935 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 21371 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 45.29
Current children cumulated vsize (Kb) 836512

[startup+60.0059 s]
Raw data (loadavg): 0.97 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18234 4 1 0 5426 50 0 0 16 0 11 0 1783449744 856588288 21605 4294967295 134512640 134569956 3221224352 3221214504 1131057195 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 21605 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 54.76
Current children cumulated vsize (Kb) 836512

[startup+70.0066 s]
Raw data (loadavg): 0.97 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18241 4 1 0 6375 50 0 0 16 0 11 0 1783449744 856588288 21984 4294967295 134512640 134569956 3221224352 3221214576 1131401000 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 21984 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 64.25
Current children cumulated vsize (Kb) 836512

[startup+80.0083 s]
Raw data (loadavg): 0.98 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18248 4 1 0 7338 51 0 0 16 0 11 0 1783449744 856588288 22021 4294967295 134512640 134569956 3221224352 3221214560 1131542181 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 22021 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 73.89
Current children cumulated vsize (Kb) 836512

[startup+90.0089 s]
Raw data (loadavg): 0.98 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18255 4 1 0 8297 52 0 0 16 0 11 0 1783449744 856588288 22048 4294967295 134512640 134569956 3221224352 3221214496 1131467916 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 22048 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 83.49
Current children cumulated vsize (Kb) 836512

[startup+100.009 s]
Raw data (loadavg): 0.98 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18261 4 1 0 9260 52 0 0 18 0 11 0 1783449744 856588288 22149 4294967295 134512640 134569956 3221224352 3221214768 1131508706 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 22149 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 93.12
Current children cumulated vsize (Kb) 836512

[startup+110.009 s]
Raw data (loadavg): 0.98 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18269 4 1 0 10210 52 0 0 17 0 11 0 1783449744 856588288 22396 4294967295 134512640 134569956 3221224352 3221214672 1131483318 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 22396 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 102.62
Current children cumulated vsize (Kb) 836512

[startup+120.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18276 4 1 0 11157 53 0 0 17 0 11 0 1783449744 856588288 22436 4294967295 134512640 134569956 3221224352 3221214496 1131467954 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 22436 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 112.1
Current children cumulated vsize (Kb) 836512

[startup+130.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18283 4 1 0 12104 53 0 0 17 0 11 0 1783449744 856588288 22551 4294967295 134512640 134569956 3221224352 3221214576 1131400941 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 22551 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 121.57
Current children cumulated vsize (Kb) 836512

[startup+140.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18290 4 1 0 13049 53 0 0 16 0 11 0 1783449744 856588288 22588 4294967295 134512640 134569956 3221224352 3221214600 1131617646 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 22588 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 131.02
Current children cumulated vsize (Kb) 836512

[startup+150.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18297 4 1 0 13994 54 0 0 16 0 11 0 1783449744 856588288 22817 4294967295 134512640 134569956 3221224352 3221214600 1131577444 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 22817 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 140.48
Current children cumulated vsize (Kb) 836512

[startup+160.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18304 4 1 0 14956 54 0 0 16 0 11 0 1783449744 856588288 23063 4294967295 134512640 134569956 3221224352 3221214572 1131299996 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 23063 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 150.1
Current children cumulated vsize (Kb) 836512

[startup+170.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18311 4 1 0 15913 55 0 0 16 0 11 0 1783449744 856588288 23109 4294967295 134512640 134569956 3221224352 3221214600 1131617646 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 23109 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 159.68
Current children cumulated vsize (Kb) 836512

[startup+180.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18318 4 1 0 16864 55 0 0 16 0 11 0 1783449744 856588288 23271 4294967295 134512640 134569956 3221224352 3221214548 1131057176 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 23271 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 169.19
Current children cumulated vsize (Kb) 836512

[startup+190.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18325 4 1 0 17814 55 0 0 16 0 11 0 1783449744 856588288 23312 4294967295 134512640 134569956 3221224352 3221214588 1131507337 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 23312 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 178.69
Current children cumulated vsize (Kb) 836512

[startup+200.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18332 4 1 0 18761 56 0 0 16 0 11 0 1783449744 856588288 23393 4294967295 134512640 134569956 3221224352 3221214600 1131617643 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 23393 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 188.17
Current children cumulated vsize (Kb) 836512

[startup+210.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18338 4 1 0 19718 56 0 0 18 0 11 0 1783449744 856588288 23616 4294967295 134512640 134569956 3221224352 3221214672 1131484261 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 23616 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 197.74
Current children cumulated vsize (Kb) 836512

[startup+220.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18346 4 1 0 20673 56 0 0 17 0 11 0 1783449744 856588288 23799 4294967295 134512640 134569956 3221224352 3221214672 1131483318 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 23799 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 207.29
Current children cumulated vsize (Kb) 836512

[startup+230.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18354 4 1 0 21622 56 0 0 17 0 11 0 1783449744 856588288 23883 4294967295 134512640 134569956 3221224352 3221214672 1131483739 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 23883 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 216.78
Current children cumulated vsize (Kb) 836512

[startup+240.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18361 4 1 0 22548 57 0 0 17 0 11 0 1783449744 856588288 24032 4294967295 134512640 134569956 3221224352 3221214592 1131611261 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 24032 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 226.05
Current children cumulated vsize (Kb) 836512

[startup+250.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18368 4 1 0 23462 57 0 0 17 0 11 0 1783449744 856588288 25033 4294967295 134512640 134569956 3221224352 3221214672 1131483749 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 25033 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 235.19
Current children cumulated vsize (Kb) 836512

[startup+260.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18375 4 1 0 24389 57 0 0 16 0 11 0 1783449744 856588288 25176 4294967295 134512640 134569956 3221224352 3221214600 1131577319 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 25176 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 244.46
Current children cumulated vsize (Kb) 836512

[startup+270.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18382 4 1 0 25320 58 0 0 16 0 11 0 1783449744 856588288 25176 4294967295 134512640 134569956 3221224352 3221214592 1131611073 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 25176 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 253.78
Current children cumulated vsize (Kb) 836512

[startup+280.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) S 4113 4114 1333 0 -1 0 18388 4 1 0 26257 58 0 0 16 0 11 0 1783449744 856588288 25214 4294967295 134512640 134569956 3221224352 3221213224 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 25214 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 263.15
Current children cumulated vsize (Kb) 836512

[startup+290.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18395 4 1 0 27184 58 0 0 17 0 11 0 1783449744 856588288 25489 4294967295 134512640 134569956 3221224352 3221214600 1131577296 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 25489 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 272.42
Current children cumulated vsize (Kb) 836512

[startup+300.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18402 4 1 0 28122 59 0 0 17 0 11 0 1783449744 856588288 26018 4294967295 134512640 134569956 3221224352 3221214592 1131611073 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 26018 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 281.81
Current children cumulated vsize (Kb) 836512

[startup+310.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18409 4 1 0 29069 59 0 0 17 0 11 0 1783449744 856588288 26051 4294967295 134512640 134569956 3221224352 3221214504 1131467957 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 26051 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 291.28
Current children cumulated vsize (Kb) 836512

[startup+320.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) S 4113 4114 1333 0 -1 0 18416 4 1 0 30001 59 0 0 16 0 11 0 1783449744 856588288 26083 4294967295 134512640 134569956 3221224352 3221213416 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 26083 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 300.6
Current children cumulated vsize (Kb) 836512

[startup+330.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18423 4 1 0 30933 59 0 0 16 0 11 0 1783449744 856588288 26196 4294967295 134512640 134569956 3221224352 3221214656 1131343732 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 26196 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 309.92
Current children cumulated vsize (Kb) 836512

[startup+340.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18431 4 1 0 31865 60 0 0 17 0 11 0 1783449744 856588288 26557 4294967295 134512640 134569956 3221224352 3221214672 1131483739 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 26557 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 319.25
Current children cumulated vsize (Kb) 836512

[startup+350.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18439 4 1 0 32808 60 0 0 17 0 11 0 1783449744 856719360 26704 4294967295 134512640 134569956 3221224352 3221214672 1131483970 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209160 26704 13129 16 0 209144 0
[pid=4114] vsize: 836640
Current children cumulated CPU time (s) 328.68
Current children cumulated vsize (Kb) 836640

[startup+360.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18446 4 1 0 33743 60 0 0 17 0 11 0 1783449744 856588288 26921 4294967295 134512640 134569956 3221224352 3221214768 1131508812 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 26921 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 338.03
Current children cumulated vsize (Kb) 836512

[startup+370.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18453 4 1 0 34684 60 0 0 16 0 11 0 1783449744 856588288 27082 4294967295 134512640 134569956 3221224352 3221214672 1131483861 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 27082 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 347.44
Current children cumulated vsize (Kb) 836512

[startup+380.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18462 4 1 0 35605 61 0 0 16 0 11 0 1783449744 856588288 27171 4294967295 134512640 134569956 3221224352 3221214672 1131483660 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 27171 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 356.66
Current children cumulated vsize (Kb) 836512

[startup+390.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18469 4 1 0 36527 61 0 0 16 0 11 0 1783449744 856588288 27467 4294967295 134512640 134569956 3221224352 3221214608 1131611329 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 27467 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 365.88
Current children cumulated vsize (Kb) 836512

[startup+400.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18476 4 1 0 37453 61 0 0 16 0 11 0 1783449744 856588288 27592 4294967295 134512640 134569956 3221224352 3221214512 1131467957 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 27592 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 375.14
Current children cumulated vsize (Kb) 836512

[startup+410.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18483 4 1 0 38379 62 0 0 16 0 11 0 1783449744 856588288 27680 4294967295 134512640 134569956 3221224352 3221214520 1131467944 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 27680 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 384.41
Current children cumulated vsize (Kb) 836512

[startup+420.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18491 4 1 0 39320 62 0 0 17 0 11 0 1783449744 856588288 27910 4294967295 134512640 134569956 3221224352 3221214592 1131401000 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 27910 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 393.82
Current children cumulated vsize (Kb) 836512

[startup+430.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18499 4 1 0 40268 62 0 0 18 0 11 0 1783449744 856588288 28226 4294967295 134512640 134569956 3221224352 3221214616 1131577461 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 28226 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 403.3
Current children cumulated vsize (Kb) 836512

[startup+440.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18506 4 1 0 41232 62 0 0 16 0 11 0 1783449744 856588288 28406 4294967295 134512640 134569956 3221224352 3221214616 1131577319 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 28406 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 412.94
Current children cumulated vsize (Kb) 836512

[startup+450.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18514 4 1 0 42196 63 0 0 16 0 11 0 1783449744 856588288 28502 4294967295 134512640 134569956 3221224352 3221214564 1131057195 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 28502 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 422.59
Current children cumulated vsize (Kb) 836512

[startup+460.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18521 4 1 0 43161 63 0 0 17 0 11 0 1783449744 856588288 28580 4294967295 134512640 134569956 3221224352 3221214504 1131343869 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 28580 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 432.24
Current children cumulated vsize (Kb) 836512

[startup+470.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18529 4 1 0 44120 63 0 0 17 0 11 0 1783449744 856588288 28648 4294967295 134512640 134569956 3221224352 3221214768 1131508946 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 28648 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 441.83
Current children cumulated vsize (Kb) 836512

[startup+480.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18536 4 1 0 45087 64 0 0 18 0 11 0 1783449744 856588288 28716 4294967295 134512640 134569956 3221224352 3221214512 1131467786 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 28716 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 451.51
Current children cumulated vsize (Kb) 836512

[startup+490.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18544 4 1 0 46043 64 0 0 16 0 11 0 1783449744 856588288 28807 4294967295 134512640 134569956 3221224352 3221214512 1131467957 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 28807 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 461.07
Current children cumulated vsize (Kb) 836512

[startup+500.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18551 4 1 0 47001 65 0 0 17 0 11 0 1783449744 856588288 28928 4294967295 134512640 134569956 3221224352 3221214592 1131588660 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 28928 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 470.66
Current children cumulated vsize (Kb) 836512

[startup+510.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18558 4 1 0 47963 66 0 0 17 0 11 0 1783449744 856588288 28997 4294967295 134512640 134569956 3221224352 3221214576 1131542221 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 28997 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 480.29
Current children cumulated vsize (Kb) 836512

[startup+520.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18565 4 1 0 48926 66 0 0 17 0 11 0 1783449744 856588288 29049 4294967295 134512640 134569956 3221224352 3221214576 1131542269 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 29049 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 489.92
Current children cumulated vsize (Kb) 836512

[startup+530.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18573 4 1 0 49884 67 0 0 16 0 11 0 1783449744 856588288 29176 4294967295 134512640 134569956 3221224352 3221214608 1131611143 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 29176 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 499.51
Current children cumulated vsize (Kb) 836512

[startup+540.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18580 4 1 0 50849 68 0 0 18 0 11 0 1783449744 856588288 29309 4294967295 134512640 134569956 3221224352 3221214672 1131483718 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 29309 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 509.17
Current children cumulated vsize (Kb) 836512

[startup+550.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) S 4113 4114 1333 0 -1 0 18587 4 1 0 51790 68 0 0 16 0 11 0 1783449744 856588288 29358 4294967295 134512640 134569956 3221224352 3221213416 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 29358 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 518.58
Current children cumulated vsize (Kb) 836512

[startup+560.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18595 4 1 0 52722 68 0 0 16 0 11 0 1783449744 856588288 29407 4294967295 134512640 134569956 3221224352 3221214608 1131642669 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 29407 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 527.9
Current children cumulated vsize (Kb) 836512

[startup+570.034 s]
Raw data (loadavg): 1.07 1.00 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) S 4113 4114 1333 0 -1 0 18601 4 1 0 53659 68 0 0 16 0 11 0 1783449744 856588288 29487 4294967295 134512640 134569956 3221224352 3221213416 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 29487 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 537.27
Current children cumulated vsize (Kb) 836512

[startup+580.034 s]
Raw data (loadavg): 1.06 1.00 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18608 4 1 0 54591 69 0 0 16 0 11 0 1783449744 856588288 29593 4294967295 134512640 134569956 3221224352 3221214504 1131343809 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 29593 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 546.6
Current children cumulated vsize (Kb) 836512

[startup+590.035 s]
Raw data (loadavg): 1.05 1.00 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18615 4 1 0 55530 69 0 0 16 0 11 0 1783449744 856588288 30029 4294967295 134512640 134569956 3221224352 3221214568 1131418672 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 30029 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 555.99
Current children cumulated vsize (Kb) 836512

[startup+600.034 s]
Raw data (loadavg): 1.04 1.00 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18622 4 1 0 56482 69 0 0 17 0 11 0 1783449744 856588288 30153 4294967295 134512640 134569956 3221224352 3221214768 1131508819 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 30153 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 565.51
Current children cumulated vsize (Kb) 836512

[startup+610.035 s]
Raw data (loadavg): 1.04 1.00 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18629 4 1 0 57437 70 0 0 18 0 11 0 1783449744 856588288 30307 4294967295 134512640 134569956 3221224352 3221214616 1131577304 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 30307 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 575.07
Current children cumulated vsize (Kb) 836512

[startup+620.036 s]
Raw data (loadavg): 1.03 1.00 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18634 4 1 0 58406 70 0 0 17 0 11 0 1783449744 857636864 30648 4294967295 134512640 134569956 3221224352 3221214816 1131418649 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209384 30648 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 584.76
Current children cumulated vsize (Kb) 837536

[startup+630.037 s]
Raw data (loadavg): 1.03 1.00 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18640 4 1 0 59372 70 0 0 18 0 11 0 1783449744 857636864 30703 4294967295 134512640 134569956 3221224352 3221214768 1131508805 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209384 30703 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 594.42
Current children cumulated vsize (Kb) 837536

[startup+640.037 s]
Raw data (loadavg): 1.02 1.00 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18648 4 1 0 60333 70 0 0 17 0 11 0 1783449744 857636864 30777 4294967295 134512640 134569956 3221224352 3221214656 1131343908 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209384 30777 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 604.03
Current children cumulated vsize (Kb) 837536

[startup+650.037 s]
Raw data (loadavg): 1.09 1.02 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18654 4 1 0 61294 71 0 0 16 0 11 0 1783449744 857636864 30861 4294967295 134512640 134569956 3221224352 3221214672 1131483376 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209384 30861 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 613.65
Current children cumulated vsize (Kb) 837536

[startup+660.037 s]
Raw data (loadavg): 1.08 1.02 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18660 4 1 0 62244 71 0 0 17 0 11 0 1783449744 857636864 30962 4294967295 134512640 134569956 3221224352 3221214160 1131724944 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209384 30962 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 623.15
Current children cumulated vsize (Kb) 837536

[startup+670.037 s]
Raw data (loadavg): 1.06 1.01 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) S 4113 4114 1333 0 -1 0 18666 4 1 0 63180 71 0 0 18 0 11 0 1783449744 857636864 31068 4294967295 134512640 134569956 3221224352 3221213376 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209384 31068 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 632.51
Current children cumulated vsize (Kb) 837536

[startup+680.038 s]
Raw data (loadavg): 1.05 1.01 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18673 4 1 0 64113 72 0 0 16 0 11 0 1783449744 857636864 31160 4294967295 134512640 134569956 3221224352 3221214604 1131467596 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209384 31160 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 641.85
Current children cumulated vsize (Kb) 837536

[startup+690.038 s]
Raw data (loadavg): 1.05 1.01 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18680 4 1 0 65043 72 0 0 16 0 11 0 1783449744 857636864 31238 4294967295 134512640 134569956 3221224352 3221214816 1131418649 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209384 31238 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 651.15
Current children cumulated vsize (Kb) 837536

[startup+700.039 s]
Raw data (loadavg): 1.04 1.01 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18686 4 1 0 65981 72 0 0 17 0 11 0 1783449744 857636864 31508 4294967295 134512640 134569956 3221224352 3221214672 1131484195 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209384 31508 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 660.53
Current children cumulated vsize (Kb) 837536

[startup+710.04 s]
Raw data (loadavg): 1.03 1.01 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18694 4 1 0 66904 73 0 0 16 0 11 0 1783449744 857636864 31789 4294967295 134512640 134569956 3221224352 3221214768 1131508780 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209384 31789 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 669.77
Current children cumulated vsize (Kb) 837536

[startup+720.04 s]
Raw data (loadavg): 1.03 1.01 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18701 4 1 0 67843 73 0 0 16 0 11 0 1783449744 857636864 32008 4294967295 134512640 134569956 3221224352 3221214768 1131508812 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209384 32008 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 679.16
Current children cumulated vsize (Kb) 837536

[startup+730.042 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18708 4 1 0 68788 74 0 0 16 0 11 0 1783449744 857636864 32071 4294967295 134512640 134569956 3221224352 3221214296 1131723477 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209384 32071 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 688.62
Current children cumulated vsize (Kb) 837536

[startup+740.043 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18715 4 1 0 69724 74 0 0 16 0 11 0 1783449744 857636864 32210 4294967295 134512640 134569956 3221224352 3221214604 1131542306 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209384 32210 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 697.98
Current children cumulated vsize (Kb) 837536

[startup+750.043 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18721 4 1 0 70669 74 0 0 17 0 11 0 1783449744 857636864 32390 4294967295 134512640 134569956 3221224352 3221214672 1131483431 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209384 32390 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 707.43
Current children cumulated vsize (Kb) 837536

[startup+760.044 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18729 4 1 0 71595 75 0 0 16 0 11 0 1783449744 857636864 32559 4294967295 134512640 134569956 3221224352 3221214764 1131343712 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209384 32559 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 716.7
Current children cumulated vsize (Kb) 837536

[startup+770.045 s]
Raw data (loadavg): 1.01 1.00 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18736 4 1 0 72527 75 0 0 17 0 11 0 1783449744 857636864 32659 4294967295 134512640 134569956 3221224352 3221214608 1131611099 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209384 32659 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 726.02
Current children cumulated vsize (Kb) 837536

[startup+780.045 s]
Raw data (loadavg): 1.01 1.00 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18743 4 1 0 73463 76 0 0 16 0 11 0 1783449744 857636864 32791 4294967295 134512640 134569956 3221224352 3221214512 1131467957 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209384 32791 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 735.39
Current children cumulated vsize (Kb) 837536

[startup+790.046 s]
Raw data (loadavg): 1.01 1.00 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18750 4 1 0 74408 76 0 0 16 0 11 0 1783449744 857636864 33074 4294967295 134512640 134569956 3221224352 3221214608 1131610935 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209384 33074 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 744.84
Current children cumulated vsize (Kb) 837536

[startup+800.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18757 4 1 0 75364 77 0 0 16 0 11 0 1783449744 857636864 33221 4294967295 134512640 134569956 3221224352 3221214672 1131483739 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209384 33221 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 754.41
Current children cumulated vsize (Kb) 837536

[startup+810.047 s]
Raw data (loadavg): 1.08 1.02 0.95 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18764 4 1 0 76325 77 0 0 17 0 11 0 1783449744 857636864 33371 4294967295 134512640 134569956 3221224352 3221214616 1131618161 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209384 33371 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 764.02
Current children cumulated vsize (Kb) 837536

[startup+820.047 s]
Raw data (loadavg): 1.07 1.02 0.95 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18771 4 1 0 77293 78 0 0 17 0 11 0 1783449744 857636864 33444 4294967295 134512640 134569956 3221224352 3221214564 1131057221 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209384 33444 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 773.71
Current children cumulated vsize (Kb) 837536

[startup+830.048 s]
Raw data (loadavg): 1.06 1.02 0.95 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18778 4 1 0 78260 78 0 0 17 0 11 0 1783449744 857636864 33503 4294967295 134512640 134569956 3221224352 3221214352 1076697425 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209384 33503 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 783.38
Current children cumulated vsize (Kb) 837536

[startup+840.048 s]
Raw data (loadavg): 1.05 1.01 0.95 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18786 4 1 0 79226 79 0 0 16 0 11 0 1783449744 857636864 33591 4294967295 134512640 134569956 3221224352 3221214672 1131483819 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209384 33591 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 793.05
Current children cumulated vsize (Kb) 837536

[startup+850.049 s]
Raw data (loadavg): 1.04 1.01 0.95 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18793 4 1 0 80199 79 0 0 18 0 11 0 1783449744 857636864 33680 4294967295 134512640 134569956 3221224352 3221214512 1131467916 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209384 33680 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 802.78
Current children cumulated vsize (Kb) 837536

[startup+860.05 s]
Raw data (loadavg): 1.04 1.01 0.95 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18800 4 1 0 81172 79 0 0 17 0 11 0 1783449744 857636864 33728 4294967295 134512640 134569956 3221224352 3221214592 1131401022 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209384 33728 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 812.51
Current children cumulated vsize (Kb) 837536

[startup+870.05 s]
Raw data (loadavg): 1.03 1.01 0.95 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18807 4 1 0 82146 79 0 0 18 0 11 0 1783449744 857636864 33788 4294967295 134512640 134569956 3221224352 3221214768 1131508949 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209384 33788 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 822.25
Current children cumulated vsize (Kb) 837536

[startup+880.051 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18815 4 1 0 83116 80 0 0 18 0 11 0 1783449744 857636864 33837 4294967295 134512640 134569956 3221224352 3221214576 1131542203 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209384 33837 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 831.96
Current children cumulated vsize (Kb) 837536

[startup+890.052 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 4128
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18822 4 1 0 84089 80 0 0 18 0 11 0 1783449744 857636864 33895 4294967295 134512640 134569956 3221224352 3221214672 1131483739 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209384 33895 13129 16 0 209368 0
[pid=4114] vsize: 837536
Current children cumulated CPU time (s) 841.69
Current children cumulated vsize (Kb) 837536
One traced child (pid=4128) exited with status: 0
New thread pid=4129

[startup+900.052 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18828 4 1 0 85063 80 0 0 19 0 11 0 1783449744 856588288 33820 4294967295 134512640 134569956 3221224352 3221214400 1131700220 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 33820 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 851.43
Current children cumulated vsize (Kb) 836512

[startup+910.053 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18835 4 1 0 86028 81 0 0 17 0 11 0 1783449744 856588288 33858 4294967295 134512640 134569956 3221224352 3221214600 1131483615 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 33858 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 861.09
Current children cumulated vsize (Kb) 836512

[startup+920.054 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18843 4 1 0 86990 81 0 0 17 0 11 0 1783449744 856588288 33906 4294967295 134512640 134569956 3221224352 3221214096 1131725024 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 33906 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 870.71
Current children cumulated vsize (Kb) 836512

[startup+930.054 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18849 4 1 0 87964 82 0 0 18 0 11 0 1783449744 856588288 33955 4294967295 134512640 134569956 3221224352 3221214560 1131618204 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 33955 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 880.46
Current children cumulated vsize (Kb) 836512

[startup+940.055 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18855 4 1 0 88932 82 0 0 18 0 11 0 1783449744 856588288 34041 4294967295 134512640 134569956 3221224352 3221214304 1078035217 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 34041 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 890.14
Current children cumulated vsize (Kb) 836512

[startup+950.054 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18862 4 1 0 89903 83 0 0 17 0 11 0 1783449744 856588288 34168 4294967295 134512640 134569956 3221224352 3221214464 1131467916 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 34168 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 899.86
Current children cumulated vsize (Kb) 836512

[startup+960.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18869 4 1 0 90876 83 0 0 16 0 11 0 1783449744 856588288 34180 4294967295 134512640 134569956 3221224352 3221214552 1131610935 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 34180 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 909.59
Current children cumulated vsize (Kb) 836512

[startup+970.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18876 4 1 0 91847 83 0 0 17 0 11 0 1783449744 856588288 34230 4294967295 134512640 134569956 3221224352 3221214552 1131611156 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 34230 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 919.3
Current children cumulated vsize (Kb) 836512

[startup+980.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18883 4 1 0 92821 84 0 0 17 0 11 0 1783449744 856588288 34317 4294967295 134512640 134569956 3221224352 3221214556 1131541600 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 34317 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 929.05
Current children cumulated vsize (Kb) 836512

[startup+990.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18889 4 1 0 93802 84 0 0 17 0 11 0 1783449744 856588288 34363 4294967295 134512640 134569956 3221224352 3221214600 1131483453 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 34363 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 938.86
Current children cumulated vsize (Kb) 836512

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18897 4 1 0 94770 85 0 0 17 0 11 0 1783449744 856588288 34411 4294967295 134512640 134569956 3221224352 3221214456 1131467711 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 34411 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 948.55
Current children cumulated vsize (Kb) 836512

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18902 4 1 0 95743 85 0 0 17 0 11 0 1783449744 856588288 34429 4294967295 134512640 134569956 3221224352 3221214532 1131418608 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 34429 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 958.28
Current children cumulated vsize (Kb) 836512

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18907 4 1 0 96715 85 0 0 17 0 11 0 1783449744 856588288 34448 4294967295 134512640 134569956 3221224352 3221214456 1131467615 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 34448 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 968
Current children cumulated vsize (Kb) 836512

[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18912 4 1 0 97686 86 0 0 17 0 11 0 1783449744 856588288 34477 4294967295 134512640 134569956 3221224352 3221214456 1131467704 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 34477 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 977.72
Current children cumulated vsize (Kb) 836512

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18916 4 1 0 98662 86 0 0 19 0 11 0 1783449744 856588288 34488 4294967295 134512640 134569956 3221224352 3221214016 1085759263 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 34488 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 987.48
Current children cumulated vsize (Kb) 836512

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18922 4 1 0 99623 86 0 0 16 0 11 0 1783449744 856588288 34519 4294967295 134512640 134569956 3221224352 3221214448 1131580107 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 34519 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 997.09
Current children cumulated vsize (Kb) 836512

[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18929 4 1 0 100584 86 0 0 16 0 11 0 1783449744 856588288 34728 4294967295 134512640 134569956 3221224352 3221214448 1131343766 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 34728 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 1006.7
Current children cumulated vsize (Kb) 836512

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18935 4 1 0 101556 87 0 0 17 0 11 0 1783449744 856588288 34798 4294967295 134512640 134569956 3221224352 3221214440 1131650140 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 34798 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 1016.43
Current children cumulated vsize (Kb) 836512

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18940 4 1 0 102531 88 0 0 17 0 11 0 1783449744 856588288 34852 4294967295 134512640 134569956 3221224352 3221214692 1131343712 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 34852 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 1026.19
Current children cumulated vsize (Kb) 836512

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18946 4 1 0 103504 88 0 0 17 0 11 0 1783449744 856588288 34908 4294967295 134512640 134569956 3221224352 3221214600 1131484161 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 34908 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 1035.92
Current children cumulated vsize (Kb) 836512

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18953 4 1 0 104477 89 0 0 18 0 11 0 1783449744 856588288 34975 4294967295 134512640 134569956 3221224352 3221214696 1131508812 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 34975 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 1045.66
Current children cumulated vsize (Kb) 836512

[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18962 4 1 0 105449 89 0 0 18 0 11 0 1783449744 856588288 35048 4294967295 134512640 134569956 3221224352 3221214600 1131483739 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 35048 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 1055.38
Current children cumulated vsize (Kb) 836512

[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) S 4113 4114 1333 0 -1 0 18970 4 1 0 106428 90 0 0 16 0 11 0 1783449744 856588288 35119 4294967295 134512640 134569956 3221224352 3221213240 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 35119 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 1065.18
Current children cumulated vsize (Kb) 836512

[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18977 4 1 0 107409 90 0 0 17 0 11 0 1783449744 856588288 35134 4294967295 134512640 134569956 3221224352 3221214548 1131397607 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 35134 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 1074.99
Current children cumulated vsize (Kb) 836512

[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18984 4 1 0 108392 90 0 0 18 0 11 0 1783449744 856588288 35141 4294967295 134512640 134569956 3221224352 3221214464 1131467649 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 35141 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 1084.82
Current children cumulated vsize (Kb) 836512

[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18991 4 1 0 109372 91 0 0 18 0 11 0 1783449744 856588288 35154 4294967295 134512640 134569956 3221224352 3221214456 1131468155 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 35154 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 1094.63
Current children cumulated vsize (Kb) 836512

[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 18998 4 1 0 110353 91 0 0 19 0 11 0 1783449744 856588288 35195 4294967295 134512640 134569956 3221224352 3221214456 1131467738 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 35195 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 1104.44
Current children cumulated vsize (Kb) 836512

[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 19005 4 1 0 111334 92 0 0 18 0 11 0 1783449744 856588288 35214 4294967295 134512640 134569956 3221224352 3221214696 1131508871 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 35214 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 1114.26
Current children cumulated vsize (Kb) 836512

[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 19012 4 1 0 112316 92 0 0 17 0 11 0 1783449744 856588288 35250 4294967295 134512640 134569956 3221224352 3221214600 1131483739 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 35250 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 1124.08
Current children cumulated vsize (Kb) 836512

[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 19019 4 1 0 113297 92 0 0 25 0 11 0 1783449744 856588288 35268 4294967295 134512640 134569956 3221224352 3221214456 1131467916 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 35268 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 1133.89
Current children cumulated vsize (Kb) 836512

[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 19026 4 1 0 114276 93 0 0 18 0 11 0 1783449744 856588288 35285 4294967295 134512640 134569956 3221224352 3221214520 1131542181 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 35285 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 1143.69
Current children cumulated vsize (Kb) 836512

[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 19033 4 1 0 115256 94 0 0 16 0 11 0 1783449744 856588288 35320 4294967295 134512640 134569956 3221224352 3221214744 1131418649 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 35320 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 1153.5
Current children cumulated vsize (Kb) 836512

[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 19040 4 1 0 116234 94 0 0 17 0 11 0 1783449744 856588288 35340 4294967295 134512640 134569956 3221224352 3221214600 1131483605 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 35340 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 1163.28
Current children cumulated vsize (Kb) 836512

[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 19048 4 1 0 117205 95 0 0 16 0 11 0 1783449744 856588288 35368 4294967295 134512640 134569956 3221224352 3221214552 1131611190 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 35368 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 1173
Current children cumulated vsize (Kb) 836512

[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 0.95 3/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 19054 4 1 0 118184 95 0 0 18 0 11 0 1783449744 856588288 35394 4294967295 134512640 134569956 3221224352 3221214696 1131508812 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 35394 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 1182.79
Current children cumulated vsize (Kb) 836512

[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 19062 4 1 0 119155 96 0 0 17 0 11 0 1783449744 856588288 35447 4294967295 134512640 134569956 3221224352 3221214456 1131468573 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4114/statm): 209128 35447 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 1192.51
Current children cumulated vsize (Kb) 836512

[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 19069 4 1 0 120131 96 0 0 17 0 11 0 1783449744 856588288 35497 4294967295 134512640 134569956 3221224352 3221214552 1131611026 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 35497 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 1202.27
Current children cumulated vsize (Kb) 836512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4129
Raw data (/proc/4114/stat): 4114 (java) R 4113 4114 1333 0 -1 0 19069 4 1 0 120131 96 0 0 17 0 11 0 1783449744 856588288 35497 4294967295 134512640 134569956 3221224352 3221214552 1131611185 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4114/statm): 209128 35497 13129 16 0 209112 0
[pid=4114] vsize: 836512
Current children cumulated CPU time (s) 1202.27
Current children cumulated vsize (Kb) 836512

Sending SIGTERM to -4114
Sleeping 2 seconds
New thread pid=4131
New thread pid=4132
One traced child (pid=4132) exited with status: 0
One traced child (pid=4123) exited with status: 0
One traced child (pid=4118) exited with status: 0
One traced child (pid=4115) exited with status: 143
One traced child (pid=4117) exited with status: 143
One traced child (pid=4116) exited with status: 143
One traced child (pid=4122) exited with status: 143
One traced child (pid=4119) exited with status: 143
One traced child (pid=4121) exited with status: 143
One traced child (pid=4120) exited with status: 143
One traced child (pid=4129) exited with status: 143
One traced child (pid=4131) exited with status: 143
One traced child (pid=4114) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1260.2
CPU time (s): 1266.86
CPU user time (s): 1264.98
CPU system time (s): 1.87771
CPU usage (%): 100.528
Max. virtual memory (cumulated for all children) (Kb): 837536

Verifier Data

Verifier:	OK	63