Some explanations

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

General information on the benchmark

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-ii8b1.opb
MD5SUM812314147c77e28d5e428080c7a2412d
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 191
Optimality of the best value was proved NO
Number of terms in the objective function 672
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 672
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 672
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.08
Number of variables672
Total number of constraints2404
Number of constraints which are clauses2404
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint8

Trace number 1819

Launcher Data

LAUNCH ON wulflinc7 THE 2005-09-18 16:45:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6018 boxname=wulflinc7 idbench=158 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  812314147c77e28d5e428080c7a2412d  /oldhome/oroussel/tmp/wulflinc7/normalized-ii8b1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc7/normalized-ii8b1.opb
IDLAUNCH: 6018
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        923796 kB
Buffers:         34800 kB
Cached:          51908 kB
SwapCached:        740 kB
Active:          66676 kB
Inactive:        22576 kB
HighTotal:      131008 kB
HighFree:        77028 kB
LowTotal:       903652 kB
LowFree:        846768 kB
SwapTotal:     2097136 kB
SwapFree:      2095892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            15980 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 17:06:00 (client local time) WITH STATUS 143 IN 1259.24 SECONDS
stats: 6018 0 1259.24 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/wulflinc7/normalized-ii8b1.opb
c reading problem ... done. Time 2.36 ms.
c #vars     672
c #constraints  2404
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                 307 		Current CPU time: 3.18 ms
c CURRENT OPTIMUM=                 291 		Current CPU time: 5.57 ms
c CURRENT OPTIMUM=                 288 		Current CPU time: 37.51 ms
c CURRENT OPTIMUM=                 287 		Current CPU time: 101.93 ms
c CURRENT OPTIMUM=                 286 		Current CPU time: 183.02 ms
c CURRENT OPTIMUM=                 285 		Current CPU time: 270.20 ms
c CURRENT OPTIMUM=                 284 		Current CPU time: 387.17 ms
c CURRENT OPTIMUM=                 283 		Current CPU time: 623.77 ms
c CURRENT OPTIMUM=                 282 		Current CPU time: 790.71 ms
c CURRENT OPTIMUM=                 281 		Current CPU time: 1034.75 ms
c CURRENT OPTIMUM=                 280 		Current CPU time: 1210.51 ms
c starts		: 20
c conflicts		: 1167
c decisions		: 6452
c propagations		: 49452
c inspects		: 2174855
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 1
c learnt clauses	: 1167
c root simplifications	: 20
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 0
c speed (decisions/second)	: 168.6048030940497
c non guided choices	1328
c random choices	0
s SATISFIABLE
v x1 -x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 -x37 x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 -x69 x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 -x97 x98 x99 -x100 x101 -x102 -x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 -x125 x126 x127 -x128 -x129 x130 x131 -x132 -x133 x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 -x189 x190 x191 -x192 -x193 x194 -x195 x196 -x197 x198 -x199 x200 -x201 x202 x203 -x204 x205 -x206 x207 -x208 x209 -x210 -x211 x212 -x213 x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 x241 -x242 x243 -x244 x245 -x246 -x247 x248 -x249 -x250 -x251 x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 x265 -x266 x267 -x268 x269 -x270 -x271 x272 -x273 x274 -x275 x276 x277 -x278 x279 -x280 x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 x309 -x310 -x311 -x312 x313 -x314 x315 -x316 x317 -x318 -x319 x320 -x321 x322 -x323 x324 -x325 x326 -x327 x328 -x329 x330 x331 -x332 -x333 x334 -x335 -x336 x337 -x338 x339 -x340 x341 -x342 -x343 x344 -x345 x346 -x347 -x348 x349 -x350 x351 -x352 x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 x361 -x362 x363 -x364 x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 x376 -x377 x378 -x379 x380 -x381 x382 x383 -x384 x385 -x386 x387 -x388 x389 -x390 -x391 x392 -x393 x394 -x395 -x396 x397 -x398 x399 -x400 x401 -x402 -x403 x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 x419 -x420 x421 -x422 x423 -x424 x425 -x426 -x427 x428 -x429 -x430 -x431 x432 -x433 x434 -x435 x436 -x437 x438 x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 x454 x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 x464 -x465 x466 -x467 x468 x469 -x470 x471 -x472 x473 -x474 -x475 x476 -x477 x478 -x479 -x480 x481 -x482 x483 -x484 x485 -x486 -x487 x488 -x489 x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 -x501 -x502 x503 -x504 x505 -x506 x507 -x508 x509 -x510 -x511 x512 -x513 x514 -x515 x516 x517 -x518 x519 -x520 x521 -x522 -x523 x524 -x525 -x526 -x527 x528 x529 -x530 x531 -x532 x533 -x534 -x535 x536 -x537 x538 -x539 -x540 -x541 x542 -x543 x544 -x545 x546 x547 -x548 -x549 x550 -x551 -x552 x553 -x554 x555 -x556 x557 -x558 -x559 x560 -x561 x562 -x563 x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 x572 -x573 x574 -x575 x576 -x577 x578 -x579 x580 -x581 x582 -x583 x584 -x585 x586 x587 -x588 x589 -x590 x591 -x592 x593 -x594 -x595 x596 -x597 x598 -x599 x600 x601 -x602 x603 -x604 x605 -x606 -x607 x608 -x609 -x610 -x611 x612 -x613 x614 -x615 x616 -x617 x618 x619 -x620 -x621 x622 -x623 -x624 x625 -x626 x627 -x628 x629 -x630 -x631 x632 -x633 -x634 -x635 x636 x637 -x638 x639 -x640 x641 -x642 -x643 x644 -x645 x646 -x647 x648 -x649 x650 -x651 x652 -x653 x654 -x655 x656 -x657 x658 x659 -x660 x661 -x662 x663 -x664 x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 
c objective function=280
c Total CPU time (ms) : 1248.806

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/20384/stat): 20384 (java) T 20383 20384 15400 0 -1 0 25 0 0 0 0 0 0 0 23 0 1 0 1784593009 159744 9 4294967295 134512640 134569956 3221224480 3221223840 1073813229 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20384/statm): 39 9 38 16 0 23 0
[pid=20384] 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/20384
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=20385
New thread pid=20386
New thread pid=20387
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=20388
New thread pid=20389
New thread pid=20390
New thread pid=20391
New thread pid=20392
New thread pid=20393
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/wulflinc7/normalized-ii8b1.opb
New thread pid=20394
One traced child (pid=20394) exited with status: 0
New thread pid=20395
One traced child (pid=20395) exited with status: 0
New thread pid=20396

[startup+10.0019 s]
Raw data (loadavg): 1.17 1.07 1.01 2/66 20396
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18196 3 1 0 665 49 0 0 25 0 11 0 1784593009 863997952 21364 4294967295 134512640 134569956 3221224352 3221214700 1131057176 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210937 21364 13129 16 0 210921 0
[pid=20384] vsize: 843748
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (Kb) 843748

[startup+20.0026 s]
Raw data (loadavg): 1.14 1.07 1.01 2/66 20396
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18207 3 1 0 1589 49 0 0 16 0 11 0 1784593009 863793152 22315 4294967295 134512640 134569956 3221224352 3221214644 1131459852 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 22315 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 16.38
Current children cumulated vsize (Kb) 843548

[startup+30.0032 s]
Raw data (loadavg): 1.20 1.08 1.01 2/66 20396
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18214 3 1 0 2523 49 0 0 24 0 11 0 1784593009 867987456 23988 4294967295 134512640 134569956 3221224352 3221214648 1131474862 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 211911 23988 13129 16 0 211895 0
[pid=20384] vsize: 847644
Current children cumulated CPU time (s) 25.72
Current children cumulated vsize (Kb) 847644
One traced child (pid=20396) exited with status: 0
New thread pid=20397

[startup+40.0049 s]
Raw data (loadavg): 1.24 1.10 1.02 2/66 20397
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18222 3 1 0 3473 50 0 0 25 0 11 0 1784593009 866938880 23960 4294967295 134512640 134569956 3221224352 3221214616 1131582169 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 211655 23960 13129 16 0 211639 0
[pid=20384] vsize: 846620
Current children cumulated CPU time (s) 35.23
Current children cumulated vsize (Kb) 846620

[startup+50.0055 s]
Raw data (loadavg): 1.21 1.09 1.02 2/66 20397
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18231 3 1 0 4416 51 0 0 25 0 11 0 1784593009 863793152 23154 4294967295 134512640 134569956 3221224352 3221214552 1131460199 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 23154 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 44.67
Current children cumulated vsize (Kb) 843548

[startup+60.0061 s]
Raw data (loadavg): 1.17 1.09 1.02 2/66 20397
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18239 3 1 0 5346 51 0 0 18 0 11 0 1784593009 863793152 23270 4294967295 134512640 134569956 3221224352 3221214648 1131474797 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 23270 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 53.97
Current children cumulated vsize (Kb) 843548

[startup+70.0068 s]
Raw data (loadavg): 1.15 1.09 1.02 2/66 20397
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18248 3 1 0 6298 51 0 0 20 0 11 0 1784593009 863793152 23414 4294967295 134512640 134569956 3221224352 3221214552 1131460281 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 23414 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 63.49
Current children cumulated vsize (Kb) 843548

[startup+80.0074 s]
Raw data (loadavg): 1.12 1.08 1.01 2/66 20397
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18257 3 1 0 7246 52 0 0 25 0 11 0 1784593009 863793152 23575 4294967295 134512640 134569956 3221224352 3221214548 1131392160 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 23575 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 72.98
Current children cumulated vsize (Kb) 843548

[startup+90.0081 s]
Raw data (loadavg): 1.10 1.08 1.01 2/66 20397
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18266 3 1 0 8198 52 0 0 25 0 11 0 1784593009 863793152 23871 4294967295 134512640 134569956 3221224352 3221214536 1131609739 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 23871 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 82.5
Current children cumulated vsize (Kb) 843548

[startup+100.009 s]
Raw data (loadavg): 1.09 1.08 1.01 2/66 20397
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18273 3 1 0 9163 53 0 0 19 0 11 0 1784593009 863793152 23960 4294967295 134512640 134569956 3221224352 3221214648 1131474797 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 23960 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 92.16
Current children cumulated vsize (Kb) 843548
One traced child (pid=20397) exited with status: 0
New thread pid=20398

[startup+110.009 s]
Raw data (loadavg): 1.07 1.07 1.01 2/66 20398
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18281 3 1 0 10108 53 0 0 19 0 11 0 1784593009 863793152 24038 4294967295 134512640 134569956 3221224352 3221214648 1131475916 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 24038 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (Kb) 843548

[startup+120.01 s]
Raw data (loadavg): 1.06 1.07 1.01 2/66 20398
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18288 3 1 0 11061 53 0 0 25 0 11 0 1784593009 863793152 24141 4294967295 134512640 134569956 3221224352 3221214552 1131460416 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 24141 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 111.14
Current children cumulated vsize (Kb) 843548

[startup+130.011 s]
Raw data (loadavg): 1.05 1.07 1.01 2/66 20398
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18294 3 1 0 12019 53 0 0 25 0 11 0 1784593009 863793152 24225 4294967295 134512640 134569956 3221224352 3221214648 1131469981 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 24225 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 120.72
Current children cumulated vsize (Kb) 843548

[startup+140.011 s]
Raw data (loadavg): 1.04 1.07 1.01 2/66 20398
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18300 3 1 0 12976 54 0 0 21 0 11 0 1784593009 863793152 24334 4294967295 134512640 134569956 3221224352 3221214552 1131460207 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 24334 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 130.3
Current children cumulated vsize (Kb) 843548

[startup+150.013 s]
Raw data (loadavg): 1.04 1.06 1.01 2/66 20398
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18306 3 1 0 13934 54 0 0 25 0 11 0 1784593009 863793152 24393 4294967295 134512640 134569956 3221224352 3221214552 1131460604 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 24393 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 139.88
Current children cumulated vsize (Kb) 843548

[startup+160.012 s]
Raw data (loadavg): 1.03 1.06 1.01 2/66 20398
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18312 3 1 0 14900 54 0 0 23 0 11 0 1784593009 863793152 24636 4294967295 134512640 134569956 3221224352 3221214648 1131469888 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 24636 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 149.54
Current children cumulated vsize (Kb) 843548

[startup+170.013 s]
Raw data (loadavg): 1.02 1.06 1.01 2/66 20398
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18318 3 1 0 15863 55 0 0 17 0 11 0 1784593009 863793152 24713 4294967295 134512640 134569956 3221224352 3221214552 1131460158 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 24713 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 159.18
Current children cumulated vsize (Kb) 843548

[startup+180.014 s]
Raw data (loadavg): 1.02 1.06 1.00 2/66 20398
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18325 3 1 0 16821 55 0 0 21 0 11 0 1784593009 863793152 24781 4294967295 134512640 134569956 3221224352 3221214552 1131460285 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 24781 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 168.76
Current children cumulated vsize (Kb) 843548
One traced child (pid=20398) exited with status: 0
New thread pid=20399

[startup+190.014 s]
Raw data (loadavg): 1.02 1.05 1.00 2/66 20399
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18333 3 1 0 17758 56 0 0 25 0 11 0 1784593009 863793152 24915 4294967295 134512640 134569956 3221224352 3221214552 1131460288 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 24915 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 178.14
Current children cumulated vsize (Kb) 843548

[startup+200.015 s]
Raw data (loadavg): 1.01 1.05 1.00 2/66 20399
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18340 3 1 0 18703 56 0 0 18 0 11 0 1784593009 863793152 25027 4294967295 134512640 134569956 3221224352 3221214648 1131474609 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 25027 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 187.59
Current children cumulated vsize (Kb) 843548

[startup+210.016 s]
Raw data (loadavg): 1.01 1.05 1.00 2/66 20399
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18347 3 1 0 19647 56 0 0 25 0 11 0 1784593009 863793152 25146 4294967295 134512640 134569956 3221224352 3221214544 1131454981 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 25146 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 197.03
Current children cumulated vsize (Kb) 843548

[startup+220.016 s]
Raw data (loadavg): 1.01 1.05 1.00 2/66 20399
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18354 3 1 0 20586 57 0 0 25 0 11 0 1784593009 863793152 25342 4294967295 134512640 134569956 3221224352 3221214536 1131610964 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 25342 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 206.43
Current children cumulated vsize (Kb) 843548

[startup+230.017 s]
Raw data (loadavg): 1.08 1.06 1.00 2/66 20399
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18361 3 1 0 21528 57 0 0 19 0 11 0 1784593009 863793152 25594 4294967295 134512640 134569956 3221224352 3221214552 1131460375 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 25594 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 215.85
Current children cumulated vsize (Kb) 843548

[startup+240.018 s]
Raw data (loadavg): 1.07 1.06 1.00 2/66 20399
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18368 3 1 0 22479 57 0 0 25 0 11 0 1784593009 863793152 25635 4294967295 134512640 134569956 3221224352 3221214552 1131455090 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 25635 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 225.36
Current children cumulated vsize (Kb) 843548

[startup+250.018 s]
Raw data (loadavg): 1.06 1.06 1.00 2/66 20399
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18373 3 1 0 23441 57 0 0 18 0 11 0 1784593009 863793152 25674 4294967295 134512640 134569956 3221224352 3221214552 1131460375 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 25674 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 234.98
Current children cumulated vsize (Kb) 843548

[startup+260.019 s]
Raw data (loadavg): 1.05 1.05 1.00 2/66 20399
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18380 3 1 0 24390 57 0 0 17 0 11 0 1784593009 863793152 25961 4294967295 134512640 134569956 3221224352 3221214616 1131522798 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 25961 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 244.47
Current children cumulated vsize (Kb) 843548

[startup+270.019 s]
Raw data (loadavg): 1.04 1.05 1.00 2/66 20399
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18387 3 1 0 25351 58 0 0 18 0 11 0 1784593009 863793152 26073 4294967295 134512640 134569956 3221224352 3221214648 1131474609 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 26073 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 254.09
Current children cumulated vsize (Kb) 843548
One traced child (pid=20399) exited with status: 0
New thread pid=20400

[startup+280.019 s]
Raw data (loadavg): 1.03 1.05 1.00 2/66 20400
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18394 3 1 0 26298 58 0 0 25 0 11 0 1784593009 863793152 26147 4294967295 134512640 134569956 3221224352 3221214552 1131460375 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 26147 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 263.56
Current children cumulated vsize (Kb) 843548

[startup+290.021 s]
Raw data (loadavg): 1.03 1.05 1.00 3/66 20400
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18401 3 1 0 27251 58 0 0 23 0 11 0 1784593009 863793152 26305 4294967295 134512640 134569956 3221224352 3221214648 1131476777 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 26305 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 273.09
Current children cumulated vsize (Kb) 843548

[startup+300.021 s]
Raw data (loadavg): 1.02 1.05 1.00 2/66 20400
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18410 3 1 0 28200 58 0 0 25 0 11 0 1784593009 863793152 26408 4294967295 134512640 134569956 3221224352 3221214616 1131522736 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 26408 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 282.58
Current children cumulated vsize (Kb) 843548

[startup+310.022 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 20400
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18416 3 1 0 29161 59 0 0 25 0 11 0 1784593009 863793152 26452 4294967295 134512640 134569956 3221224352 3221214648 1131474862 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 26452 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 292.2
Current children cumulated vsize (Kb) 843548

[startup+320.023 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 20400
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18422 3 1 0 30122 59 0 0 25 0 11 0 1784593009 863793152 26757 4294967295 134512640 134569956 3221224352 3221214648 1131470044 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 26757 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 301.81
Current children cumulated vsize (Kb) 843548

[startup+330.023 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 20400
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18429 3 1 0 31095 59 0 0 20 0 11 0 1784593009 863793152 26767 4294967295 134512640 134569956 3221224352 3221214552 1131459956 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 26767 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 311.54
Current children cumulated vsize (Kb) 843548

[startup+340.023 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 20400
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18434 3 1 0 32070 59 0 0 25 0 11 0 1784593009 863793152 26796 4294967295 134512640 134569956 3221224352 3221214640 1131582055 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 26796 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 321.29
Current children cumulated vsize (Kb) 843548

[startup+350.024 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 20400
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18441 3 1 0 33035 60 0 0 25 0 11 0 1784593009 863793152 26922 4294967295 134512640 134569956 3221224352 3221214552 1131460920 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 26922 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 330.95
Current children cumulated vsize (Kb) 843548

[startup+360.024 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 20400
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18448 3 1 0 34001 60 0 0 25 0 11 0 1784593009 863793152 26998 4294967295 134512640 134569956 3221224352 3221214552 1131460622 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 26998 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 340.61
Current children cumulated vsize (Kb) 843548

[startup+370.025 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 20400
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18455 3 1 0 34968 60 0 0 25 0 11 0 1784593009 863793152 27093 4294967295 134512640 134569956 3221224352 3221214616 1131522782 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 27093 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 350.28
Current children cumulated vsize (Kb) 843548

[startup+380.025 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 20400
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18462 3 1 0 35933 61 0 0 19 0 11 0 1784593009 863793152 27150 4294967295 134512640 134569956 3221224352 3221214552 1131459952 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 27150 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 359.94
Current children cumulated vsize (Kb) 843548
One traced child (pid=20400) exited with status: 0
New thread pid=20401

[startup+390.025 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) S 20383 20384 15400 0 -1 0 18469 3 1 0 36882 61 0 0 25 0 11 0 1784593009 863793152 27276 4294967295 134512640 134569956 3221224352 3221213296 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 27276 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 369.43
Current children cumulated vsize (Kb) 843548

[startup+400.026 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18477 3 1 0 37809 61 0 0 19 0 11 0 1784593009 863793152 27352 4294967295 134512640 134569956 3221224352 3221214536 1131610962 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 27352 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 378.7
Current children cumulated vsize (Kb) 843548

[startup+410.026 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) S 20383 20384 15400 0 -1 0 18483 3 1 0 38747 61 0 0 25 0 11 0 1784593009 863793152 27421 4294967295 134512640 134569956 3221224352 3221213296 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 27421 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 388.08
Current children cumulated vsize (Kb) 843548

[startup+420.027 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18490 3 1 0 39680 61 0 0 24 0 11 0 1784593009 863793152 27525 4294967295 134512640 134569956 3221224352 3221214648 1131476802 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 27525 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 397.41
Current children cumulated vsize (Kb) 843548

[startup+430.028 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18497 3 1 0 40611 62 0 0 25 0 11 0 1784593009 863793152 27654 4294967295 134512640 134569956 3221224352 3221214552 1131460375 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 27654 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 406.73
Current children cumulated vsize (Kb) 843548

[startup+440.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18503 3 1 0 41571 62 0 0 24 0 11 0 1784593009 863793152 28208 4294967295 134512640 134569956 3221224352 3221214552 1131460375 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 28208 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 416.33
Current children cumulated vsize (Kb) 843548

[startup+450.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18509 3 1 0 42545 62 0 0 20 0 11 0 1784593009 863793152 28238 4294967295 134512640 134569956 3221224352 3221214648 1131474996 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 28238 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 426.07
Current children cumulated vsize (Kb) 843548

[startup+460.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18515 3 1 0 43517 63 0 0 25 0 11 0 1784593009 863793152 28273 4294967295 134512640 134569956 3221224352 3221214552 1131460261 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 28273 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 435.8
Current children cumulated vsize (Kb) 843548

[startup+470.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18522 3 1 0 44481 64 0 0 25 0 11 0 1784593009 863793152 28353 4294967295 134512640 134569956 3221224352 3221214552 1131460292 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 28353 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 445.45
Current children cumulated vsize (Kb) 843548

[startup+480.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18528 3 1 0 45449 64 0 0 25 0 11 0 1784593009 863793152 28412 4294967295 134512640 134569956 3221224352 3221214480 1131644001 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 28412 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 455.13
Current children cumulated vsize (Kb) 843548

[startup+490.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18533 3 1 0 46424 65 0 0 25 0 11 0 1784593009 863793152 28493 4294967295 134512640 134569956 3221224352 3221214648 1131474797 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 28493 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 464.89
Current children cumulated vsize (Kb) 843548

[startup+500.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18542 3 1 0 47382 65 0 0 21 0 11 0 1784593009 863793152 28623 4294967295 134512640 134569956 3221224352 3221214720 1131368916 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 28623 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 474.47
Current children cumulated vsize (Kb) 843548

[startup+510.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18549 3 1 0 48354 66 0 0 25 0 11 0 1784593009 863793152 28713 4294967295 134512640 134569956 3221224352 3221214648 1131474797 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 28713 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 484.2
Current children cumulated vsize (Kb) 843548

[startup+520.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18557 3 1 0 49327 66 0 0 24 0 11 0 1784593009 863793152 28812 4294967295 134512640 134569956 3221224352 3221214644 1131454892 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 28812 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 493.93
Current children cumulated vsize (Kb) 843548

[startup+530.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18565 3 1 0 50303 66 0 0 25 0 11 0 1784593009 863793152 28921 4294967295 134512640 134569956 3221224352 3221214552 1131459869 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 28921 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 503.69
Current children cumulated vsize (Kb) 843548

[startup+540.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18573 3 1 0 51284 67 0 0 25 0 11 0 1784593009 863793152 28958 4294967295 134512640 134569956 3221224352 3221214552 1131460305 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 28958 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 513.51
Current children cumulated vsize (Kb) 843548

[startup+550.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18581 3 1 0 52266 67 0 0 25 0 11 0 1784593009 863793152 29015 4294967295 134512640 134569956 3221224352 3221214648 1131474593 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 29015 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 523.33
Current children cumulated vsize (Kb) 843548

[startup+560.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18587 3 1 0 53250 67 0 0 25 0 11 0 1784593009 863793152 29035 4294967295 134512640 134569956 3221224352 3221214648 1131474862 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 29035 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 533.17
Current children cumulated vsize (Kb) 843548

[startup+570.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18596 3 1 0 54228 68 0 0 25 0 11 0 1784593009 863793152 29073 4294967295 134512640 134569956 3221224352 3221214552 1131459989 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 29073 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 542.96
Current children cumulated vsize (Kb) 843548

[startup+580.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18602 3 1 0 55201 68 0 0 25 0 11 0 1784593009 863793152 29081 4294967295 134512640 134569956 3221224352 3221214592 1131495163 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 29081 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 552.69
Current children cumulated vsize (Kb) 843548

[startup+590.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18608 3 1 0 56166 68 0 0 25 0 11 0 1784593009 863793152 29105 4294967295 134512640 134569956 3221224352 3221214648 1131474862 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 29105 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 562.34
Current children cumulated vsize (Kb) 843548

[startup+600.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18614 3 1 0 57128 68 0 0 25 0 11 0 1784593009 863793152 29158 4294967295 134512640 134569956 3221224352 3221214552 1131460031 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 29158 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 571.96
Current children cumulated vsize (Kb) 843548

[startup+610.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18621 3 1 0 58084 68 0 0 24 0 11 0 1784593009 863793152 29180 4294967295 134512640 134569956 3221224352 3221214616 1131522798 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 29180 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 581.52
Current children cumulated vsize (Kb) 843548

[startup+620.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 20401
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18628 3 1 0 59034 69 0 0 17 0 11 0 1784593009 863793152 29252 4294967295 134512640 134569956 3221224352 3221214552 1131460048 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 29252 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 591.03
Current children cumulated vsize (Kb) 843548
One traced child (pid=20401) exited with status: 0
New thread pid=20402

[startup+630.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 20402
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18635 3 1 0 59979 69 0 0 17 0 11 0 1784593009 863793152 29498 4294967295 134512640 134569956 3221224352 3221214648 1131474752 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 29498 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 600.48
Current children cumulated vsize (Kb) 843548

[startup+640.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20402
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18642 3 1 0 60925 69 0 0 25 0 11 0 1784593009 863793152 29607 4294967295 134512640 134569956 3221224352 3221214552 1131460375 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 29607 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 609.94
Current children cumulated vsize (Kb) 843548

[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20402
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18651 3 1 0 61861 70 0 0 19 0 11 0 1784593009 863793152 29702 4294967295 134512640 134569956 3221224352 3221214552 1131459906 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 29702 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 619.31
Current children cumulated vsize (Kb) 843548

[startup+660.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20402
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18659 3 1 0 62808 70 0 0 25 0 11 0 1784593009 863793152 29777 4294967295 134512640 134569956 3221224352 3221214648 1131474748 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 29777 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 628.78
Current children cumulated vsize (Kb) 843548

[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20402
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18666 3 1 0 63769 70 0 0 25 0 11 0 1784593009 863793152 30181 4294967295 134512640 134569956 3221224352 3221214648 1131474862 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 30181 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 638.39
Current children cumulated vsize (Kb) 843548

[startup+680.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20402
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18673 3 1 0 64743 70 0 0 22 0 11 0 1784593009 863793152 30202 4294967295 134512640 134569956 3221224352 3221214744 1131506228 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 30202 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 648.13
Current children cumulated vsize (Kb) 843548

[startup+690.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20402
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18679 3 1 0 65718 70 0 0 23 0 11 0 1784593009 863793152 30214 4294967295 134512640 134569956 3221224352 3221214624 1131404738 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 30214 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 657.88
Current children cumulated vsize (Kb) 843548

[startup+700.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20402
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18686 3 1 0 66685 71 0 0 25 0 11 0 1784593009 863793152 30260 4294967295 134512640 134569956 3221224352 3221214552 1131460453 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 30260 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 667.56
Current children cumulated vsize (Kb) 843548

[startup+710.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20402
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18693 3 1 0 67653 71 0 0 23 0 11 0 1784593009 863793152 30338 4294967295 134512640 134569956 3221224352 3221214552 1131460585 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 30338 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 677.24
Current children cumulated vsize (Kb) 843548

[startup+720.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20402
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18701 3 1 0 68617 71 0 0 25 0 11 0 1784593009 863793152 30435 4294967295 134512640 134569956 3221224352 3221214648 1131469927 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 30435 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 686.88
Current children cumulated vsize (Kb) 843548

[startup+730.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20402
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18709 3 1 0 69586 72 0 0 25 0 11 0 1784593009 863793152 30526 4294967295 134512640 134569956 3221224352 3221214552 1131459971 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 30526 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 696.58
Current children cumulated vsize (Kb) 843548

[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20402
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18717 3 1 0 70557 72 0 0 17 0 11 0 1784593009 863793152 30605 4294967295 134512640 134569956 3221224352 3221214552 1131460192 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 30605 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 706.29
Current children cumulated vsize (Kb) 843548

[startup+750.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20402
Raw data (/proc/20384/stat): 20384 (java) S 20383 20384 15400 0 -1 0 18725 3 1 0 71531 72 0 0 25 0 11 0 1784593009 863793152 30689 4294967295 134512640 134569956 3221224352 3221213192 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 30689 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 716.03
Current children cumulated vsize (Kb) 843548

[startup+760.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20402
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18731 3 1 0 72509 72 0 0 25 0 11 0 1784593009 863793152 30719 4294967295 134512640 134569956 3221224352 3221214552 1131460819 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 30719 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 725.81
Current children cumulated vsize (Kb) 843548

[startup+770.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20402
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18736 3 1 0 73491 73 0 0 25 0 11 0 1784593009 863793152 30766 4294967295 134512640 134569956 3221224352 3221214648 1131474829 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 30766 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 735.64
Current children cumulated vsize (Kb) 843548

[startup+780.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20402
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18744 3 1 0 74460 73 0 0 25 0 11 0 1784593009 863793152 30821 4294967295 134512640 134569956 3221224352 3221214552 1131460093 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 30821 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 745.33
Current children cumulated vsize (Kb) 843548

[startup+790.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20402
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18754 3 1 0 75429 73 0 0 18 0 11 0 1784593009 863793152 30889 4294967295 134512640 134569956 3221224352 3221214648 1131474790 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 30889 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 755.02
Current children cumulated vsize (Kb) 843548
One traced child (pid=20402) exited with status: 0
New thread pid=20403

[startup+800.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18760 3 1 0 76394 74 0 0 19 0 11 0 1784593009 863793152 30915 4294967295 134512640 134569956 3221224352 3221214648 1131474885 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 30915 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 764.68
Current children cumulated vsize (Kb) 843548

[startup+810.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) S 20383 20384 15400 0 -1 0 18768 3 1 0 77346 74 0 0 25 0 11 0 1784593009 863793152 31024 4294967295 134512640 134569956 3221224352 3221213256 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 31024 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 774.2
Current children cumulated vsize (Kb) 843548

[startup+820.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18777 3 1 0 78304 74 0 0 25 0 11 0 1784593009 863793152 31030 4294967295 134512640 134569956 3221224352 3221214548 1131393255 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 31030 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 783.78
Current children cumulated vsize (Kb) 843548

[startup+830.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18784 3 1 0 79269 74 0 0 25 0 11 0 1784593009 863793152 31034 4294967295 134512640 134569956 3221224352 3221214640 1131582055 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 31034 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 793.43
Current children cumulated vsize (Kb) 843548

[startup+840.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18791 3 1 0 80247 74 0 0 25 0 11 0 1784593009 863793152 31344 4294967295 134512640 134569956 3221224352 3221214816 1131368921 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 31344 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 803.21
Current children cumulated vsize (Kb) 843548

[startup+850.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18799 3 1 0 81229 75 0 0 25 0 11 0 1784593009 863793152 31352 4294967295 134512640 134569956 3221224352 3221214648 1131476088 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 31352 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 813.04
Current children cumulated vsize (Kb) 843548

[startup+860.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18808 3 1 0 82206 75 0 0 25 0 11 0 1784593009 863793152 31363 4294967295 134512640 134569956 3221224352 3221214648 1131476886 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 31363 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 822.81
Current children cumulated vsize (Kb) 843548

[startup+870.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18815 3 1 0 83186 75 0 0 25 0 11 0 1784593009 863793152 31393 4294967295 134512640 134569956 3221224352 3221214648 1131474911 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 31393 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 832.61
Current children cumulated vsize (Kb) 843548

[startup+880.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18823 3 1 0 84163 75 0 0 21 0 11 0 1784593009 863793152 31442 4294967295 134512640 134569956 3221224352 3221214576 1131455083 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 31442 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 842.38
Current children cumulated vsize (Kb) 843548

[startup+890.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18830 3 1 0 85143 76 0 0 17 0 11 0 1784593009 863793152 31479 4294967295 134512640 134569956 3221224352 3221214648 1131475924 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 31479 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 852.19
Current children cumulated vsize (Kb) 843548

[startup+900.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18837 3 1 0 86121 76 0 0 20 0 11 0 1784593009 863793152 31511 4294967295 134512640 134569956 3221224352 3221214648 1131474770 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 31511 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 861.97
Current children cumulated vsize (Kb) 843548

[startup+910.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18844 3 1 0 87098 76 0 0 25 0 11 0 1784593009 863793152 31538 4294967295 134512640 134569956 3221224352 3221214552 1131460375 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 31538 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 871.74
Current children cumulated vsize (Kb) 843548

[startup+920.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18851 3 1 0 88076 76 0 0 25 0 11 0 1784593009 863793152 31584 4294967295 134512640 134569956 3221224352 3221214624 1131404732 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 31584 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 881.52
Current children cumulated vsize (Kb) 843548

[startup+930.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18858 3 1 0 89053 77 0 0 25 0 11 0 1784593009 863793152 31635 4294967295 134512640 134569956 3221224352 3221214552 1131460305 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 31635 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 891.3
Current children cumulated vsize (Kb) 843548

[startup+940.045 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18867 3 1 0 90027 77 0 0 16 0 11 0 1784593009 863793152 31710 4294967295 134512640 134569956 3221224352 3221214552 1131460352 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 31710 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 901.04
Current children cumulated vsize (Kb) 843548

[startup+950.046 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18875 3 1 0 91005 77 0 0 17 0 11 0 1784593009 863793152 31766 4294967295 134512640 134569956 3221224352 3221214552 1131459895 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 31766 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 910.82
Current children cumulated vsize (Kb) 843548

[startup+960.046 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18882 3 1 0 91987 77 0 0 17 0 11 0 1784593009 863793152 31784 4294967295 134512640 134569956 3221224352 3221214648 1131474794 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 31784 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 920.64
Current children cumulated vsize (Kb) 843548

[startup+970.047 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18889 3 1 0 92968 78 0 0 25 0 11 0 1784593009 863793152 31814 4294967295 134512640 134569956 3221224352 3221214552 1131460612 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 31814 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 930.46
Current children cumulated vsize (Kb) 843548

[startup+980.047 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18897 3 1 0 93946 78 0 0 23 0 11 0 1784593009 863793152 31855 4294967295 134512640 134569956 3221224352 3221214464 1131392198 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 31855 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 940.24
Current children cumulated vsize (Kb) 843548

[startup+990.048 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18904 3 1 0 94925 78 0 0 21 0 11 0 1784593009 863793152 31898 4294967295 134512640 134569956 3221224352 3221214648 1131474862 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 31898 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 950.03
Current children cumulated vsize (Kb) 843548

[startup+1000.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18911 3 1 0 95904 78 0 0 24 0 11 0 1784593009 863793152 31915 4294967295 134512640 134569956 3221224352 3221214620 1131368864 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 31915 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 959.82
Current children cumulated vsize (Kb) 843548

[startup+1010.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18919 3 1 0 96875 79 0 0 25 0 11 0 1784593009 863793152 31963 4294967295 134512640 134569956 3221224352 3221214552 1131460372 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 31963 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 969.54
Current children cumulated vsize (Kb) 843548

[startup+1020.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18925 3 1 0 97854 79 0 0 25 0 11 0 1784593009 863793152 31999 4294967295 134512640 134569956 3221224352 3221214648 1131474797 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 31999 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 979.33
Current children cumulated vsize (Kb) 843548

[startup+1030.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 20403
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18934 3 1 0 98824 79 0 0 17 0 11 0 1784593009 863793152 32046 4294967295 134512640 134569956 3221224352 3221214552 1131460372 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 32046 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 989.03
Current children cumulated vsize (Kb) 843548
One traced child (pid=20403) exited with status: 0
New thread pid=20404

[startup+1040.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 20404
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18941 3 1 0 99803 79 0 1 25 0 11 0 1784593009 863793152 32091 4294967295 134512640 134569956 3221224352 3221214648 1131474797 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 32091 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 998.83
Current children cumulated vsize (Kb) 843548

[startup+1050.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 20404
Raw data (/proc/20384/stat): 20384 (java) S 20383 20384 15400 0 -1 0 18950 3 1 0 100783 80 0 1 25 0 11 0 1784593009 863793152 32171 4294967295 134512640 134569956 3221224352 3221213192 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 32171 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 1008.64
Current children cumulated vsize (Kb) 843548

[startup+1060.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 20404
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18958 3 1 0 101766 80 0 1 25 0 11 0 1784593009 863793152 32186 4294967295 134512640 134569956 3221224352 3221214648 1131474911 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 32186 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 1018.47
Current children cumulated vsize (Kb) 843548

[startup+1070.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 20404
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18964 3 1 0 102752 81 0 1 25 0 11 0 1784593009 863793152 32188 4294967295 134512640 134569956 3221224352 3221214648 1131474862 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 32188 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 1028.34
Current children cumulated vsize (Kb) 843548

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20404
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18971 3 1 0 103732 82 0 1 25 0 11 0 1784593009 863793152 32189 4294967295 134512640 134569956 3221224352 3221214648 1131474916 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 32189 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 1038.15
Current children cumulated vsize (Kb) 843548

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20404
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18979 3 1 0 104712 82 0 1 25 0 11 0 1784593009 863793152 32226 4294967295 134512640 134569956 3221224352 3221214552 1131460199 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 32226 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 1047.95
Current children cumulated vsize (Kb) 843548

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20404
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18987 3 1 0 105691 82 0 1 25 0 11 0 1784593009 863793152 32226 4294967295 134512640 134569956 3221224352 3221214552 1131460375 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 32226 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 1057.74
Current children cumulated vsize (Kb) 843548

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20404
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 18994 3 1 0 106670 83 0 1 25 0 11 0 1784593009 863793152 32267 4294967295 134512640 134569956 3221224352 3221214648 1131470060 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 32267 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 1067.54
Current children cumulated vsize (Kb) 843548

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20404
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 19002 3 1 0 107647 83 0 1 18 0 11 0 1784593009 863793152 32326 4294967295 134512640 134569956 3221224352 3221214552 1131460250 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 32326 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 1077.31
Current children cumulated vsize (Kb) 843548

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20404
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 19009 3 1 0 108620 84 0 1 24 0 11 0 1784593009 863793152 32352 4294967295 134512640 134569956 3221224352 3221214648 1131474862 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 32352 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 1087.05
Current children cumulated vsize (Kb) 843548

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20404
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 19015 3 1 0 109593 84 0 1 25 0 11 0 1784593009 863793152 32360 4294967295 134512640 134569956 3221224352 3221214536 1131609979 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 32360 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 1096.78
Current children cumulated vsize (Kb) 843548

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20404
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 19022 3 1 0 110554 84 0 1 25 0 11 0 1784593009 863793152 32398 4294967295 134512640 134569956 3221224352 3221214552 1131459906 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 32398 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 1106.39
Current children cumulated vsize (Kb) 843548

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20404
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 19030 3 1 0 111509 85 0 1 25 0 11 0 1784593009 863793152 32481 4294967295 134512640 134569956 3221224352 3221214536 1131610794 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 32481 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 1115.95
Current children cumulated vsize (Kb) 843548

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20404
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 19038 3 1 0 112468 85 0 1 17 0 11 0 1784593009 863793152 32605 4294967295 134512640 134569956 3221224352 3221214648 1131478335 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 32605 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 1125.54
Current children cumulated vsize (Kb) 843548

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20404
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 19045 3 1 0 113438 85 0 1 24 0 11 0 1784593009 863793152 32690 4294967295 134512640 134569956 3221224352 3221214552 1131460391 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 32690 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 1135.24
Current children cumulated vsize (Kb) 843548

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20404
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 19050 3 1 0 114420 86 0 1 25 0 11 0 1784593009 863793152 32809 4294967295 134512640 134569956 3221224352 3221214552 1131459877 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 32809 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 1145.07
Current children cumulated vsize (Kb) 843548

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20404
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 19058 3 1 0 115390 86 0 1 19 0 11 0 1784593009 863793152 32866 4294967295 134512640 134569956 3221224352 3221214552 1131460199 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 32866 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 1154.77
Current children cumulated vsize (Kb) 843548

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20404
Raw data (/proc/20384/stat): 20384 (java) S 20383 20384 15400 0 -1 0 19068 3 1 0 116360 86 0 1 25 0 11 0 1784593009 863793152 32911 4294967295 134512640 134569956 3221224352 3221213192 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 32911 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 1164.47
Current children cumulated vsize (Kb) 843548
One traced child (pid=20404) exited with status: 0
New thread pid=20405

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20405
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 19074 3 1 0 117331 86 0 1 19 0 11 0 1784593009 863793152 32940 4294967295 134512640 134569956 3221224352 3221214552 1131460375 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 32940 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 1174.18
Current children cumulated vsize (Kb) 843548

[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20405
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 19083 3 1 0 118291 87 0 1 24 0 11 0 1784593009 863793152 33049 4294967295 134512640 134569956 3221224352 3221214552 1131460001 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20384/statm): 210887 33049 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 1183.79
Current children cumulated vsize (Kb) 843548

[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20405
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 19089 3 1 0 119267 87 0 1 22 0 11 0 1784593009 863793152 33049 4294967295 134512640 134569956 3221224352 3221214648 1131474790 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 33049 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 1193.55
Current children cumulated vsize (Kb) 843548

[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20405
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 19099 3 1 0 120223 87 0 1 16 0 11 0 1784593009 863793152 33050 4294967295 134512640 134569956 3221224352 3221214552 1131460188 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 33050 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 1203.11
Current children cumulated vsize (Kb) 843548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20405
Raw data (/proc/20384/stat): 20384 (java) R 20383 20384 15400 0 -1 0 19099 3 1 0 120223 87 0 1 16 0 11 0 1784593009 863793152 33050 4294967295 134512640 134569956 3221224352 3221214552 1131460867 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20384/statm): 210887 33050 13129 16 0 210871 0
[pid=20384] vsize: 843548
Current children cumulated CPU time (s) 1203.11
Current children cumulated vsize (Kb) 843548

Sending SIGTERM to -20384
Sleeping 2 seconds
New thread pid=20407
New thread pid=20408
One traced child (pid=20408) exited with status: 0
One traced child (pid=20393) exited with status: 0
One traced child (pid=20388) exited with status: 0
One traced child (pid=20385) exited with status: 143
One traced child (pid=20390) exited with status: 143
One traced child (pid=20386) exited with status: 143
One traced child (pid=20389) exited with status: 143
One traced child (pid=20391) exited with status: 143
One traced child (pid=20392) exited with status: 143
One traced child (pid=20405) exited with status: 143
One traced child (pid=20387) exited with status: 143
One traced child (pid=20407) exited with status: 143
One traced child (pid=20384) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1250.19
CPU time (s): 1259.24
CPU user time (s): 1257.29
CPU system time (s): 1.9467
CPU usage (%): 100.723
Max. virtual memory (cumulated for all children) (Kb): 847644

Verifier Data

Verifier:	OK	280