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/een/normalized-p0548.opb
MD5SUM422c0da7d5380a26c4dac413428db5c9
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18745
Optimality of the best value was proved NO
Number of terms in the objective function 416
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 96797
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 96797
Number of bits of the biggest sum of numbers17
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.1
Number of variables527
Total number of constraints156
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints116
Minimum length of a constraint2
Maximum length of a constraint134

Trace number 3250

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.220
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:        897252 kB
Buffers:         35736 kB
Cached:          74752 kB
SwapCached:        896 kB
Active:          70148 kB
Inactive:        42968 kB
HighTotal:      131008 kB
HighFree:        54880 kB
LowTotal:       903652 kB
LowFree:        842372 kB
SwapTotal:     2097892 kB
SwapFree:      2096496 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            18684 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 23:07:24 (client local time) WITH STATUS 143 IN 1249.73 SECONDS
stats: 6146 0 1249.73 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/wulflinc25/normalized-p0548.opb
c reading problem ... done. Time 0.955 ms.
c #vars     535
c #constraints  156
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=               40874 		Current CPU time: 2.18 ms
c CURRENT OPTIMUM=               36263 		Current CPU time: 21.40 ms
c CURRENT OPTIMUM=               36097 		Current CPU time: 25.39 ms
c CURRENT OPTIMUM=               32933 		Current CPU time: 39.36 ms
c CURRENT OPTIMUM=               30935 		Current CPU time: 42.25 ms
c CURRENT OPTIMUM=               30293 		Current CPU time: 43.69 ms
c CURRENT OPTIMUM=               30280 		Current CPU time: 45.02 ms
c CURRENT OPTIMUM=               29409 		Current CPU time: 46.85 ms
c CURRENT OPTIMUM=               29271 		Current CPU time: 48.83 ms
c CURRENT OPTIMUM=               29263 		Current CPU time: 58.82 ms
c starts		: 16
c conflicts		: 1195
c decisions		: 12785
c propagations		: 40089
c inspects		: 1130223
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 1195
c root simplifications	: 23
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 11156
c speed (decisions/second)	: 10.83492022329173
c non guided choices	4187
c random choices	0
s SATISFIABLE
v -x0 -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 -x493 x494 -x496 x497 -x499 x500 -x464 -x465 -x460 x461 -x456 -x457 -x453 x454 -x449 -x450 -x445 -x446 -x530 x531 -x435 -x436 -x427 -x428 -x527 -x528 -x431 -x432 -x524 x525 -x521 x522 -x518 -x519 -x424 -x425 -x420 x421 -x416 -x417 -x505 x506 -x502 x503 -x474 x475 -x477 -x478 -x480 -x481 -x483 -x484 -x487 x488 -x490 x491 x533 -x470 x471 x544 x486 -x540 -x466 x546 x547 -x437 -x438 x511 x536 x537 x538 x539 x510 x512 x513 x514 x515 -x516 -x426 -x430 x542 x543 x459 x455 x534 x535 x463 -x418 -x419 -x447 x448 -x434 -x422 x423 -x451 -x452 -x468 -x472 -x439 -x443 -x441 x526 -x495 x492 x489 -x482 -x479 -x520 x523 x508 x509 x529 x504 x532 x498 x476 x507 x501 -x485 
c objective function=29263
c Total CPU time (ms) : 1238.821

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/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1844993478 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 39 3 38 16 0 23 0
[pid=17387] 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/17387
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=17388
New thread pid=17389
New thread pid=17390
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=17391
New thread pid=17392
New thread pid=17393
New thread pid=17394
New thread pid=17395
New thread pid=17396
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/wulflinc25/normalized-p0548.opb
New thread pid=17397
One traced child (pid=17397) exited with status: 0
New thread pid=17398

[startup+10.0025 s]
Raw data (loadavg): 1.09 1.02 0.93 2/66 17398
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18214 4 1 0 639 49 0 0 25 0 11 0 1844993478 875122688 23816 4294967295 134512640 134569956 3221224352 3221214608 1131382641 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 213653 23816 13129 16 0 213637 0
[pid=17387] vsize: 854612
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (Kb) 854612

[startup+20.0031 s]
Raw data (loadavg): 1.08 1.02 0.93 3/66 17398
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18225 4 1 0 1601 49 0 0 25 0 11 0 1844993478 869376000 23035 4294967295 134512640 134569956 3221224352 3221214512 1131487185 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 212250 23035 13129 16 0 212234 0
[pid=17387] vsize: 849000
Current children cumulated CPU time (s) 16.5
Current children cumulated vsize (Kb) 849000
One traced child (pid=17398) exited with status: 0
New thread pid=17399
One traced child (pid=17399) exited with status: 0
New thread pid=17400

[startup+30.0027 s]
Raw data (loadavg): 1.07 1.01 0.93 4/66 17400
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18237 4 1 0 2536 49 0 0 25 0 11 0 1844993478 868327424 23351 4294967295 134512640 134569956 3221224352 3221213776 1073952732 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 23351 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 25.85
Current children cumulated vsize (Kb) 847976

[startup+40.0032 s]
Raw data (loadavg): 1.06 1.01 0.93 2/66 17400
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18246 4 1 0 3451 50 0 0 20 0 11 0 1844993478 868327424 23746 4294967295 134512640 134569956 3221224352 3221214632 1131584467 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 23746 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 35.01
Current children cumulated vsize (Kb) 847976
One traced child (pid=17400) exited with status: 0
New thread pid=17401
One traced child (pid=17401) exited with status: 0
New thread pid=17402
One traced child (pid=17402) exited with status: 0
New thread pid=17403
One traced child (pid=17403) exited with status: 0
New thread pid=17404
One traced child (pid=17404) exited with status: 0
New thread pid=17405

[startup+50.0039 s]
Raw data (loadavg): 1.05 1.01 0.93 3/66 17405
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18255 4 1 0 4396 51 0 0 25 0 11 0 1844993478 868327424 24019 4294967295 134512640 134569956 3221224352 3221214144 1085806269 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 24019 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 44.47
Current children cumulated vsize (Kb) 847976
One traced child (pid=17405) exited with status: 0
New thread pid=17406

[startup+60.0044 s]
Raw data (loadavg): 1.11 1.03 0.93 2/66 17406
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18262 4 1 0 5331 51 0 0 17 0 11 0 1844993478 868327424 24144 4294967295 134512640 134569956 3221224352 3221214556 1131638400 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 24144 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 53.82
Current children cumulated vsize (Kb) 847976
One traced child (pid=17406) exited with status: 0
New thread pid=17407

[startup+70.005 s]
Raw data (loadavg): 1.09 1.03 0.93 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18270 4 1 0 6257 52 0 0 25 0 11 0 1844993478 868327424 24447 4294967295 134512640 134569956 3221224352 3221214544 1131375580 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 24447 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 63.09
Current children cumulated vsize (Kb) 847976

[startup+80.0057 s]
Raw data (loadavg): 1.08 1.03 0.93 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18279 4 1 0 7187 52 0 0 18 0 11 0 1844993478 868327424 24679 4294967295 134512640 134569956 3221224352 3221214544 1131375580 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 24679 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 72.39
Current children cumulated vsize (Kb) 847976

[startup+90.0063 s]
Raw data (loadavg): 1.07 1.03 0.93 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18287 4 1 0 8130 53 0 0 17 0 11 0 1844993478 868327424 24801 4294967295 134512640 134569956 3221224352 3221214504 1131501254 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 24801 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 81.83
Current children cumulated vsize (Kb) 847976

[startup+100.007 s]
Raw data (loadavg): 1.06 1.02 0.93 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18295 4 1 0 9077 54 0 0 16 0 11 0 1844993478 868327424 25083 4294967295 134512640 134569956 3221224352 3221214544 1131375416 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 25083 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 91.31
Current children cumulated vsize (Kb) 847976

[startup+110.008 s]
Raw data (loadavg): 1.05 1.02 0.93 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18303 4 1 0 10031 54 0 0 25 0 11 0 1844993478 868327424 25175 4294967295 134512640 134569956 3221224352 3221214544 1131375580 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 25175 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 100.85
Current children cumulated vsize (Kb) 847976

[startup+120.009 s]
Raw data (loadavg): 1.04 1.02 0.93 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18309 4 1 0 10995 54 0 0 25 0 11 0 1844993478 868327424 25318 4294967295 134512640 134569956 3221224352 3221214632 1131581552 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 25318 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 110.49
Current children cumulated vsize (Kb) 847976

[startup+130.009 s]
Raw data (loadavg): 1.03 1.02 0.93 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18317 4 1 0 11946 54 0 0 25 0 11 0 1844993478 868327424 25404 4294967295 134512640 134569956 3221224352 3221214632 1131584646 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 25404 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 847976

[startup+140.009 s]
Raw data (loadavg): 1.19 1.05 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18326 4 1 0 12888 55 0 0 25 0 11 0 1844993478 868327424 25555 4294967295 134512640 134569956 3221224352 3221214632 1131584244 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 25555 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 129.43
Current children cumulated vsize (Kb) 847976

[startup+150.01 s]
Raw data (loadavg): 1.16 1.05 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18335 4 1 0 13838 55 0 0 22 0 11 0 1844993478 868327424 25676 4294967295 134512640 134569956 3221224352 3221214632 1131594364 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 25676 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 138.93
Current children cumulated vsize (Kb) 847976

[startup+160.01 s]
Raw data (loadavg): 1.13 1.05 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18344 4 1 0 14801 55 0 0 25 0 11 0 1844993478 868327424 25944 4294967295 134512640 134569956 3221224352 3221214632 1131596430 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 25944 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 148.56
Current children cumulated vsize (Kb) 847976

[startup+170.011 s]
Raw data (loadavg): 1.11 1.05 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18353 4 1 0 15777 56 0 0 25 0 11 0 1844993478 868327424 26013 4294967295 134512640 134569956 3221224352 3221214632 1131581487 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 26013 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 158.33
Current children cumulated vsize (Kb) 847976

[startup+180.011 s]
Raw data (loadavg): 1.10 1.05 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18363 4 1 0 16745 56 0 0 20 0 11 0 1844993478 868327424 26060 4294967295 134512640 134569956 3221224352 3221214592 1131382700 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 26060 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 168.01
Current children cumulated vsize (Kb) 847976

[startup+190.012 s]
Raw data (loadavg): 1.08 1.04 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18371 4 1 0 17714 57 0 0 25 0 11 0 1844993478 868327424 26098 4294967295 134512640 134569956 3221224352 3221214632 1131581656 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 26098 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 177.71
Current children cumulated vsize (Kb) 847976

[startup+200.012 s]
Raw data (loadavg): 1.07 1.04 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18379 4 1 0 18676 57 0 0 25 0 11 0 1844993478 868327424 26154 4294967295 134512640 134569956 3221224352 3221214632 1131596610 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 26154 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 187.33
Current children cumulated vsize (Kb) 847976

[startup+210.012 s]
Raw data (loadavg): 1.06 1.04 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18388 4 1 0 19640 58 0 0 25 0 11 0 1844993478 868327424 26262 4294967295 134512640 134569956 3221224352 3221214632 1131586589 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 26262 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 196.98
Current children cumulated vsize (Kb) 847976

[startup+220.013 s]
Raw data (loadavg): 1.05 1.04 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18396 4 1 0 20615 58 0 0 25 0 11 0 1844993478 868327424 26374 4294967295 134512640 134569956 3221224352 3221214632 1131596279 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 26374 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 206.73
Current children cumulated vsize (Kb) 847976

[startup+230.013 s]
Raw data (loadavg): 1.04 1.04 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18405 4 1 0 21591 59 0 0 25 0 11 0 1844993478 868327424 26500 4294967295 134512640 134569956 3221224352 3221214632 1131584247 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 26500 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 216.5
Current children cumulated vsize (Kb) 847976

[startup+240.013 s]
Raw data (loadavg): 1.03 1.03 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18414 4 1 0 22571 59 0 0 23 0 11 0 1844993478 868327424 26526 4294967295 134512640 134569956 3221224352 3221214488 1131386561 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 26526 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 226.3
Current children cumulated vsize (Kb) 847976

[startup+250.014 s]
Raw data (loadavg): 1.03 1.03 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18423 4 1 0 23549 59 0 0 25 0 11 0 1844993478 868327424 26551 4294967295 134512640 134569956 3221224352 3221214544 1131375731 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 26551 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 236.08
Current children cumulated vsize (Kb) 847976

[startup+260.015 s]
Raw data (loadavg): 1.02 1.03 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18431 4 1 0 24526 60 0 0 25 0 11 0 1844993478 868327424 26588 4294967295 134512640 134569956 3221224352 3221214632 1131585380 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 26588 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 245.86
Current children cumulated vsize (Kb) 847976

[startup+270.016 s]
Raw data (loadavg): 1.02 1.03 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18440 4 1 0 25502 60 0 0 25 0 11 0 1844993478 868327424 26645 4294967295 134512640 134569956 3221224352 3221214584 1131369603 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 26645 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 255.62
Current children cumulated vsize (Kb) 847976

[startup+280.017 s]
Raw data (loadavg): 1.02 1.03 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18449 4 1 0 26478 61 0 0 19 0 11 0 1844993478 868327424 26697 4294967295 134512640 134569956 3221224352 3221214544 1131375540 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 26697 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 265.39
Current children cumulated vsize (Kb) 847976

[startup+290.018 s]
Raw data (loadavg): 1.01 1.03 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18458 4 1 0 27455 61 0 0 25 0 11 0 1844993478 868327424 26777 4294967295 134512640 134569956 3221224352 3221214632 1131582634 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 26777 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 275.16
Current children cumulated vsize (Kb) 847976

[startup+300.018 s]
Raw data (loadavg): 1.01 1.03 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18467 4 1 0 28436 61 0 0 25 0 11 0 1844993478 868327424 26828 4294967295 134512640 134569956 3221224352 3221214480 1131487085 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 26828 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 284.97
Current children cumulated vsize (Kb) 847976

[startup+310.019 s]
Raw data (loadavg): 1.01 1.02 0.94 3/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18477 4 1 0 29414 62 0 0 25 0 11 0 1844993478 868327424 26868 4294967295 134512640 134569956 3221224352 3221214544 1131375652 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 26868 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 294.76
Current children cumulated vsize (Kb) 847976

[startup+320.019 s]
Raw data (loadavg): 1.01 1.02 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18486 4 1 0 30393 62 0 0 20 0 11 0 1844993478 868327424 26904 4294967295 134512640 134569956 3221224352 3221214544 1131375540 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 26904 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 304.55
Current children cumulated vsize (Kb) 847976

[startup+330.019 s]
Raw data (loadavg): 1.00 1.02 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18496 4 1 0 31369 62 0 0 17 0 11 0 1844993478 868327424 26961 4294967295 134512640 134569956 3221224352 3221214688 1131373155 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 26961 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 314.31
Current children cumulated vsize (Kb) 847976

[startup+340.019 s]
Raw data (loadavg): 1.00 1.02 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18505 4 1 0 32348 63 0 0 23 0 11 0 1844993478 868327424 26997 4294967295 134512640 134569956 3221224352 3221214592 1131382619 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 26997 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 324.11
Current children cumulated vsize (Kb) 847976

[startup+350.02 s]
Raw data (loadavg): 1.00 1.02 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18514 4 1 0 33326 63 0 0 24 0 11 0 1844993478 868327424 27037 4294967295 134512640 134569956 3221224352 3221214544 1131375613 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 27037 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 333.89
Current children cumulated vsize (Kb) 847976

[startup+360.021 s]
Raw data (loadavg): 1.00 1.02 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18522 4 1 0 34307 63 0 0 23 0 11 0 1844993478 868327424 27083 4294967295 134512640 134569956 3221224352 3221214632 1131596549 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 27083 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 343.7
Current children cumulated vsize (Kb) 847976

[startup+370.022 s]
Raw data (loadavg): 1.00 1.02 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18531 4 1 0 35285 64 0 0 21 0 11 0 1844993478 868327424 27127 4294967295 134512640 134569956 3221224352 3221214480 1131487290 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 27127 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 353.49
Current children cumulated vsize (Kb) 847976

[startup+380.023 s]
Raw data (loadavg): 1.00 1.02 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18540 4 1 0 36262 64 0 0 20 0 11 0 1844993478 868327424 27171 4294967295 134512640 134569956 3221224352 3221214544 1131375509 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 27171 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 363.26
Current children cumulated vsize (Kb) 847976

[startup+390.024 s]
Raw data (loadavg): 1.00 1.02 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18549 4 1 0 37239 65 0 0 25 0 11 0 1844993478 868327424 27209 4294967295 134512640 134569956 3221224352 3221214544 1131375540 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 27209 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 373.04
Current children cumulated vsize (Kb) 847976

[startup+400.025 s]
Raw data (loadavg): 1.00 1.02 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18557 4 1 0 38218 65 0 0 25 0 11 0 1844993478 868327424 27250 4294967295 134512640 134569956 3221224352 3221214536 1131432892 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 27250 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 382.83
Current children cumulated vsize (Kb) 847976

[startup+410.026 s]
Raw data (loadavg): 1.00 1.02 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18566 4 1 0 39195 65 0 0 20 0 11 0 1844993478 868327424 27305 4294967295 134512640 134569956 3221224352 3221214544 1131375540 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 27305 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 392.6
Current children cumulated vsize (Kb) 847976

[startup+420.026 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18575 4 1 0 40172 66 0 0 25 0 11 0 1844993478 868327424 27358 4294967295 134512640 134569956 3221224352 3221214624 1131386661 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 27358 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 402.38
Current children cumulated vsize (Kb) 847976

[startup+430.027 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18584 4 1 0 41149 67 0 0 25 0 11 0 1844993478 868327424 27413 4294967295 134512640 134569956 3221224352 3221214632 1131596293 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 27413 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 412.16
Current children cumulated vsize (Kb) 847976

[startup+440.027 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18593 4 1 0 42126 67 0 0 20 0 11 0 1844993478 868327424 27453 4294967295 134512640 134569956 3221224352 3221214632 1131596386 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 27453 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 421.93
Current children cumulated vsize (Kb) 847976

[startup+450.028 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18600 4 1 0 43106 67 0 0 17 0 11 0 1844993478 868327424 27498 4294967295 134512640 134569956 3221224352 3221214544 1131376378 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 27498 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 431.73
Current children cumulated vsize (Kb) 847976

[startup+460.029 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18606 4 1 0 44088 68 0 0 25 0 11 0 1844993478 868327424 27520 4294967295 134512640 134569956 3221224352 3221214632 1131581456 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 27520 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 441.56
Current children cumulated vsize (Kb) 847976

[startup+470.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18615 4 1 0 45059 68 0 0 20 0 11 0 1844993478 868327424 27566 4294967295 134512640 134569956 3221224352 3221214544 1131375540 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 27566 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 451.27
Current children cumulated vsize (Kb) 847976

[startup+480.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18625 4 1 0 46029 69 0 0 24 0 11 0 1844993478 868327424 27621 4294967295 134512640 134569956 3221224352 3221214832 1131374489 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 27621 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 460.98
Current children cumulated vsize (Kb) 847976

[startup+490.031 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) S 17386 17387 4419 0 -1 0 18635 4 1 0 47006 69 0 0 25 0 11 0 1844993478 868327424 27699 4294967295 134512640 134569956 3221224352 3221213272 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 27699 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 470.75
Current children cumulated vsize (Kb) 847976

[startup+500.032 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18644 4 1 0 47987 69 0 0 25 0 11 0 1844993478 868327424 27765 4294967295 134512640 134569956 3221224352 3221214632 1131581271 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 27765 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 480.56
Current children cumulated vsize (Kb) 847976

[startup+510.033 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18654 4 1 0 48968 70 0 0 25 0 11 0 1844993478 868327424 27790 4294967295 134512640 134569956 3221224352 3221214600 1131376289 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 27790 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 490.38
Current children cumulated vsize (Kb) 847976

[startup+520.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18664 4 1 0 49948 70 0 0 25 0 11 0 1844993478 868327424 27810 4294967295 134512640 134569956 3221224352 3221214448 1131381206 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 27810 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 500.18
Current children cumulated vsize (Kb) 847976

[startup+530.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18675 4 1 0 50927 71 0 0 25 0 11 0 1844993478 868327424 27854 4294967295 134512640 134569956 3221224352 3221214488 1131386569 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 27854 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 509.98
Current children cumulated vsize (Kb) 847976

[startup+540.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18684 4 1 0 51908 72 0 0 20 0 11 0 1844993478 868327424 27888 4294967295 134512640 134569956 3221224352 3221214544 1131375652 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 27888 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 519.8
Current children cumulated vsize (Kb) 847976

[startup+550.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18694 4 1 0 52887 72 0 0 25 0 11 0 1844993478 868327424 27914 4294967295 134512640 134569956 3221224352 3221214632 1131594279 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 27914 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 529.59
Current children cumulated vsize (Kb) 847976

[startup+560.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18703 4 1 0 53867 73 0 0 25 0 11 0 1844993478 868327424 27946 4294967295 134512640 134569956 3221224352 3221214544 1131376743 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 27946 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 539.4
Current children cumulated vsize (Kb) 847976

[startup+570.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18713 4 1 0 54846 73 0 0 18 0 11 0 1844993478 868327424 27980 4294967295 134512640 134569956 3221224352 3221214632 1131593171 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 27980 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 549.19
Current children cumulated vsize (Kb) 847976

[startup+580.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18723 4 1 0 55827 73 0 0 25 0 11 0 1844993478 868327424 28016 4294967295 134512640 134569956 3221224352 3221214632 1131581483 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 28016 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 559
Current children cumulated vsize (Kb) 847976

[startup+590.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18732 4 1 0 56810 74 0 0 25 0 11 0 1844993478 868327424 28046 4294967295 134512640 134569956 3221224352 3221214600 1131425585 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 28046 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 568.84
Current children cumulated vsize (Kb) 847976

[startup+600.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18742 4 1 0 57791 74 0 0 25 0 11 0 1844993478 868327424 28076 4294967295 134512640 134569956 3221224352 3221214632 1131594466 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 28076 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 578.65
Current children cumulated vsize (Kb) 847976

[startup+610.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18752 4 1 0 58772 75 0 0 25 0 11 0 1844993478 868327424 28104 4294967295 134512640 134569956 3221224352 3221214632 1131582408 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 28104 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 588.47
Current children cumulated vsize (Kb) 847976

[startup+620.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18761 4 1 0 59752 75 0 0 25 0 11 0 1844993478 868327424 28130 4294967295 134512640 134569956 3221224352 3221214632 1131596440 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 28130 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 598.27
Current children cumulated vsize (Kb) 847976

[startup+630.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18771 4 1 0 60731 75 0 0 21 0 11 0 1844993478 868327424 28151 4294967295 134512640 134569956 3221224352 3221214544 1131375540 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 28151 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 608.06
Current children cumulated vsize (Kb) 847976

[startup+640.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18781 4 1 0 61707 76 0 0 25 0 11 0 1844993478 868327424 28195 4294967295 134512640 134569956 3221224352 3221214544 1131375540 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 28195 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 617.83
Current children cumulated vsize (Kb) 847976

[startup+650.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18791 4 1 0 62685 76 0 0 24 0 11 0 1844993478 868327424 28231 4294967295 134512640 134569956 3221224352 3221214632 1131596386 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 28231 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 627.61
Current children cumulated vsize (Kb) 847976

[startup+660.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18800 4 1 0 63664 76 0 0 25 0 11 0 1844993478 868327424 28266 4294967295 134512640 134569956 3221224352 3221214728 1131392576 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 28266 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 637.4
Current children cumulated vsize (Kb) 847976

[startup+670.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18810 4 1 0 64641 77 0 0 17 0 11 0 1844993478 868327424 28301 4294967295 134512640 134569956 3221224352 3221214544 1131375540 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 28301 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 647.18
Current children cumulated vsize (Kb) 847976

[startup+680.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18819 4 1 0 65619 78 0 0 25 0 11 0 1844993478 868327424 28335 4294967295 134512640 134569956 3221224352 3221214400 1131386381 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 28335 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 656.97
Current children cumulated vsize (Kb) 847976

[startup+690.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18829 4 1 0 66597 78 0 0 25 0 11 0 1844993478 868327424 28379 4294967295 134512640 134569956 3221224352 3221214544 1131376362 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 28379 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 666.75
Current children cumulated vsize (Kb) 847976

[startup+700.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18838 4 1 0 67578 78 0 0 22 0 11 0 1844993478 868327424 28422 4294967295 134512640 134569956 3221224352 3221214632 1131596586 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 28422 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 676.56
Current children cumulated vsize (Kb) 847976

[startup+710.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18848 4 1 0 68557 78 0 0 25 0 11 0 1844993478 868327424 28456 4294967295 134512640 134569956 3221224352 3221214632 1131587385 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 28456 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 686.35
Current children cumulated vsize (Kb) 847976

[startup+720.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18858 4 1 0 69537 79 0 0 25 0 11 0 1844993478 868327424 28501 4294967295 134512640 134569956 3221224352 3221214632 1131584467 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 28501 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 696.16
Current children cumulated vsize (Kb) 847976

[startup+730.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18868 4 1 0 70511 79 0 0 25 0 11 0 1844993478 868327424 28526 4294967295 134512640 134569956 3221224352 3221214632 1131581483 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 28526 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 705.9
Current children cumulated vsize (Kb) 847976

[startup+740.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18877 4 1 0 71484 80 0 0 25 0 11 0 1844993478 868327424 28552 4294967295 134512640 134569956 3221224352 3221214544 1131375613 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 28552 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 715.64
Current children cumulated vsize (Kb) 847976

[startup+750.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18886 4 1 0 72454 80 0 0 25 0 11 0 1844993478 868327424 28578 4294967295 134512640 134569956 3221224352 3221214632 1131581483 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 28578 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 725.34
Current children cumulated vsize (Kb) 847976

[startup+760.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18895 4 1 0 73426 80 0 0 25 0 11 0 1844993478 868327424 28692 4294967295 134512640 134569956 3221224352 3221214488 1131386737 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 28692 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 735.06
Current children cumulated vsize (Kb) 847976

[startup+770.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18904 4 1 0 74400 81 0 0 19 0 11 0 1844993478 868327424 28738 4294967295 134512640 134569956 3221224352 3221214632 1131582477 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 28738 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 744.81
Current children cumulated vsize (Kb) 847976

[startup+780.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18912 4 1 0 75378 81 0 0 22 0 11 0 1844993478 868327424 28779 4294967295 134512640 134569956 3221224352 3221214632 1131594200 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 28779 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 754.59
Current children cumulated vsize (Kb) 847976

[startup+790.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18921 4 1 0 76353 82 0 0 22 0 11 0 1844993478 868327424 28838 4294967295 134512640 134569956 3221224352 3221214632 1131584708 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 28838 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 764.35
Current children cumulated vsize (Kb) 847976

[startup+800.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18930 4 1 0 77332 82 0 0 19 0 11 0 1844993478 868327424 28891 4294967295 134512640 134569956 3221224352 3221214632 1131584467 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 28891 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 774.14
Current children cumulated vsize (Kb) 847976

[startup+810.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18938 4 1 0 78314 83 0 0 25 0 11 0 1844993478 868327424 28933 4294967295 134512640 134569956 3221224352 3221214632 1131584454 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 28933 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 783.97
Current children cumulated vsize (Kb) 847976

[startup+820.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18947 4 1 0 79297 83 0 0 24 0 11 0 1844993478 868327424 28975 4294967295 134512640 134569956 3221224352 3221214632 1131585315 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 28975 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 793.8
Current children cumulated vsize (Kb) 847976

[startup+830.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18956 4 1 0 80278 83 0 0 18 0 11 0 1844993478 868327424 29005 4294967295 134512640 134569956 3221224352 3221214632 1131584667 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 29005 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 803.61
Current children cumulated vsize (Kb) 847976

[startup+840.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18964 4 1 0 81259 84 0 0 19 0 11 0 1844993478 868327424 29017 4294967295 134512640 134569956 3221224352 3221214544 1131375656 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 29017 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 813.43
Current children cumulated vsize (Kb) 847976

[startup+850.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18973 4 1 0 82236 84 0 0 25 0 11 0 1844993478 868327424 29052 4294967295 134512640 134569956 3221224352 3221214544 1131375554 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 29052 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 823.2
Current children cumulated vsize (Kb) 847976

[startup+860.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18982 4 1 0 83215 84 0 0 25 0 11 0 1844993478 868327424 29102 4294967295 134512640 134569956 3221224352 3221214544 1131376091 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 29102 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 832.99
Current children cumulated vsize (Kb) 847976

[startup+870.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 18990 4 1 0 84197 84 0 0 25 0 11 0 1844993478 868327424 29154 4294967295 134512640 134569956 3221224352 3221214544 1131375540 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 29154 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 842.81
Current children cumulated vsize (Kb) 847976

[startup+880.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19000 4 1 0 85176 85 0 0 25 0 11 0 1844993478 868327424 29185 4294967295 134512640 134569956 3221224352 3221214632 1131586520 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 29185 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 852.61
Current children cumulated vsize (Kb) 847976

[startup+890.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19009 4 1 0 86159 85 0 0 25 0 11 0 1844993478 868327424 29218 4294967295 134512640 134569956 3221224352 3221214632 1131582507 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 29218 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 862.44
Current children cumulated vsize (Kb) 847976

[startup+900.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19017 4 1 0 87143 85 0 0 25 0 11 0 1844993478 868327424 29248 4294967295 134512640 134569956 3221224352 3221214544 1131375483 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 29248 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 872.28
Current children cumulated vsize (Kb) 847976

[startup+910.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19025 4 1 0 88125 86 0 0 25 0 11 0 1844993478 868327424 29282 4294967295 134512640 134569956 3221224352 3221214504 1131501272 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 29282 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (Kb) 847976

[startup+920.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19033 4 1 0 89104 86 0 0 25 0 11 0 1844993478 868327424 29296 4294967295 134512640 134569956 3221224352 3221214632 1131586589 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 29296 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 891.9
Current children cumulated vsize (Kb) 847976

[startup+930.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19042 4 1 0 90078 86 0 0 25 0 11 0 1844993478 868327424 29340 4294967295 134512640 134569956 3221224352 3221214544 1131376362 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 29340 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 901.64
Current children cumulated vsize (Kb) 847976

[startup+940.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19050 4 1 0 91055 87 0 0 20 0 11 0 1844993478 868327424 29386 4294967295 134512640 134569956 3221224352 3221214544 1131375540 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 29386 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 911.42
Current children cumulated vsize (Kb) 847976

[startup+950.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19060 4 1 0 92027 87 0 0 25 0 11 0 1844993478 868327424 29456 4294967295 134512640 134569956 3221224352 3221214544 1131375468 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 29456 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 921.14
Current children cumulated vsize (Kb) 847976

[startup+960.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19069 4 1 0 93005 87 0 0 23 0 11 0 1844993478 868327424 29500 4294967295 134512640 134569956 3221224352 3221214632 1131596407 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 29500 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 930.92
Current children cumulated vsize (Kb) 847976

[startup+970.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19078 4 1 0 93982 88 0 0 20 0 11 0 1844993478 868327424 29548 4294967295 134512640 134569956 3221224352 3221214544 1131375540 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 29548 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 940.7
Current children cumulated vsize (Kb) 847976

[startup+980.063 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19087 4 1 0 94962 88 0 0 17 0 11 0 1844993478 868327424 29588 4294967295 134512640 134569956 3221224352 3221214632 1131587496 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 29588 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 950.5
Current children cumulated vsize (Kb) 847976

[startup+990.063 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19095 4 1 0 95942 88 0 0 25 0 11 0 1844993478 868327424 29625 4294967295 134512640 134569956 3221224352 3221214632 1131581552 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 29625 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 960.3
Current children cumulated vsize (Kb) 847976

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19104 4 1 0 96919 88 0 0 25 0 11 0 1844993478 868327424 29656 4294967295 134512640 134569956 3221224352 3221214544 1131376444 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 29656 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 970.07
Current children cumulated vsize (Kb) 847976

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19112 4 1 0 97899 89 0 0 25 0 11 0 1844993478 868327424 29689 4294967295 134512640 134569956 3221224352 3221214632 1131594330 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 29689 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 979.88
Current children cumulated vsize (Kb) 847976

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19122 4 1 0 98874 89 0 0 18 0 11 0 1844993478 868327424 29737 4294967295 134512640 134569956 3221224352 3221214544 1131375575 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 29737 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 989.63
Current children cumulated vsize (Kb) 847976

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19131 4 1 0 99852 89 0 0 25 0 11 0 1844993478 868327424 29782 4294967295 134512640 134569956 3221224352 3221214632 1131594249 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 29782 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 999.41
Current children cumulated vsize (Kb) 847976

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19140 4 1 0 100828 90 0 0 25 0 11 0 1844993478 868327424 29810 4294967295 134512640 134569956 3221224352 3221214632 1131581552 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 29810 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 1009.18
Current children cumulated vsize (Kb) 847976

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19148 4 1 0 101808 90 0 0 25 0 11 0 1844993478 868327424 29849 4294967295 134512640 134569956 3221224352 3221214632 1131584467 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 29849 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 1018.98
Current children cumulated vsize (Kb) 847976

[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19157 4 1 0 102782 90 0 0 25 0 11 0 1844993478 868327424 29894 4294967295 134512640 134569956 3221224352 3221214632 1131581483 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 29894 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 1028.72
Current children cumulated vsize (Kb) 847976

[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19167 4 1 0 103754 91 0 0 25 0 11 0 1844993478 868327424 29948 4294967295 134512640 134569956 3221224352 3221214272 1131682132 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 29948 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 1038.45
Current children cumulated vsize (Kb) 847976

[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19175 4 1 0 104732 91 0 0 19 0 11 0 1844993478 868327424 29974 4294967295 134512640 134569956 3221224352 3221214544 1131376227 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 29974 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 1048.23
Current children cumulated vsize (Kb) 847976

[startup+1090.07 s]
Raw data (loadavg): 1.08 1.02 0.95 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19184 4 1 0 105709 91 0 0 25 0 11 0 1844993478 868327424 30035 4294967295 134512640 134569956 3221224352 3221214632 1131587533 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 30035 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 1058
Current children cumulated vsize (Kb) 847976

[startup+1100.07 s]
Raw data (loadavg): 1.07 1.02 0.95 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19192 4 1 0 106692 92 0 0 21 0 11 0 1844993478 868327424 30073 4294967295 134512640 134569956 3221224352 3221214544 1131375540 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 30073 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 1067.84
Current children cumulated vsize (Kb) 847976

[startup+1110.07 s]
Raw data (loadavg): 1.06 1.01 0.95 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19200 4 1 0 107673 92 0 0 25 0 11 0 1844993478 868327424 30093 4294967295 134512640 134569956 3221224352 3221214544 1131375391 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 30093 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 1077.65
Current children cumulated vsize (Kb) 847976

[startup+1120.07 s]
Raw data (loadavg): 1.05 1.01 0.95 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19209 4 1 0 108651 93 0 0 25 0 11 0 1844993478 868327424 30125 4294967295 134512640 134569956 3221224352 3221214544 1131375652 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 30125 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 1087.44
Current children cumulated vsize (Kb) 847976

[startup+1130.07 s]
Raw data (loadavg): 1.04 1.01 0.95 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19218 4 1 0 109629 93 0 0 24 0 11 0 1844993478 868327424 30156 4294967295 134512640 134569956 3221224352 3221214544 1131375512 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 30156 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 1097.22
Current children cumulated vsize (Kb) 847976

[startup+1140.08 s]
Raw data (loadavg): 1.03 1.01 0.95 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19226 4 1 0 110609 93 0 0 25 0 11 0 1844993478 868327424 30186 4294967295 134512640 134569956 3221224352 3221214632 1131584331 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 30186 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 1107.02
Current children cumulated vsize (Kb) 847976

[startup+1150.08 s]
Raw data (loadavg): 1.03 1.01 0.95 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19234 4 1 0 111590 94 0 0 25 0 11 0 1844993478 868327424 30237 4294967295 134512640 134569956 3221224352 3221214632 1131594503 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 30237 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 1116.84
Current children cumulated vsize (Kb) 847976

[startup+1160.08 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19243 4 1 0 112568 95 0 0 25 0 11 0 1844993478 868327424 30265 4294967295 134512640 134569956 3221224352 3221214544 1131375384 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 30265 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 1126.63
Current children cumulated vsize (Kb) 847976

[startup+1170.08 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19252 4 1 0 113546 96 0 0 25 0 11 0 1844993478 868327424 30298 4294967295 134512640 134569956 3221224352 3221214544 1131377354 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 30298 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 1136.42
Current children cumulated vsize (Kb) 847976

[startup+1180.08 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19262 4 1 0 114520 97 0 0 25 0 11 0 1844993478 868327424 30332 4294967295 134512640 134569956 3221224352 3221214544 1131375485 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 30332 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 1146.17
Current children cumulated vsize (Kb) 847976

[startup+1190.08 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19272 4 1 0 115495 98 0 0 24 0 11 0 1844993478 868327424 30380 4294967295 134512640 134569956 3221224352 3221214632 1131595307 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 30380 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 1155.93
Current children cumulated vsize (Kb) 847976

[startup+1200.08 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19281 4 1 0 116475 98 0 0 25 0 11 0 1844993478 868327424 30423 4294967295 134512640 134569956 3221224352 3221214632 1131584275 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 30423 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 1165.73
Current children cumulated vsize (Kb) 847976

[startup+1210.08 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19290 4 1 0 117457 99 0 0 25 0 11 0 1844993478 868327424 30468 4294967295 134512640 134569956 3221224352 3221214544 1131375795 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 30468 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 1175.56
Current children cumulated vsize (Kb) 847976

[startup+1220.08 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19300 4 1 0 118439 99 0 0 18 0 11 0 1844993478 868327424 30482 4294967295 134512640 134569956 3221224352 3221214544 1131375540 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 30482 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 1185.38
Current children cumulated vsize (Kb) 847976

[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19309 4 1 0 119421 99 0 0 21 0 11 0 1844993478 868327424 30501 4294967295 134512640 134569956 3221224352 3221214544 1131375485 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/17387/statm): 211994 30501 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 1195.2
Current children cumulated vsize (Kb) 847976

[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19318 4 1 0 120402 100 0 0 25 0 11 0 1844993478 868327424 30524 4294967295 134512640 134569956 3221224352 3221214544 1131375719 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 30524 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 1205.02
Current children cumulated vsize (Kb) 847976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 17407
Raw data (/proc/17387/stat): 17387 (java) R 17386 17387 4419 0 -1 0 19318 4 1 0 120402 100 0 0 25 0 11 0 1844993478 868327424 30524 4294967295 134512640 134569956 3221224352 3221214544 1131375540 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/17387/statm): 211994 30524 13129 16 0 211978 0
[pid=17387] vsize: 847976
Current children cumulated CPU time (s) 1205.02
Current children cumulated vsize (Kb) 847976

Sending SIGTERM to -17387
Sleeping 2 seconds
New thread pid=17409
New thread pid=17410
One traced child (pid=17410) exited with status: 0
One traced child (pid=17396) exited with status: 0
One traced child (pid=17391) exited with status: 0
One traced child (pid=17388) exited with status: 143
One traced child (pid=17407) exited with status: 143
One traced child (pid=17389) exited with status: 143
One traced child (pid=17392) exited with status: 143
One traced child (pid=17390) exited with status: 143
One traced child (pid=17395) exited with status: 143
One traced child (pid=17393) exited with status: 143
One traced child (pid=17394) exited with status: 143
One traced child (pid=17409) exited with status: 143
One traced child (pid=17387) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1240.2
CPU time (s): 1249.73
CPU user time (s): 1247.58
CPU system time (s): 2.15267
CPU usage (%): 100.768
Max. virtual memory (cumulated for all children) (Kb): 854612

Verifier Data

Verifier:	OK	29263