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).
  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

Namenormalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b4.opb
MD5SUMc3974db7e8a7a7dcf1a342d47c14e34f
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 376
Optimality of the best value was proved NO
Number of terms in the objective function 762
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 762
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 762
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 benchmark1.03584
Number of variables762
Total number of constraints7299
Number of constraints which are clauses7299
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 constraint32

Trace number 29166

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-25 05:18:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20560 boxname=wulflinc9 idbench=150 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  c3974db7e8a7a7dcf1a342d47c14e34f  /oldhome/oroussel/tmp/wulflinc9/normalized-ii32b4.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc9/normalized-ii32b4.opb
IDLAUNCH: 20560
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        545432 kB
Buffers:         23612 kB
Cached:         444392 kB
SwapCached:        584 kB
Active:          37740 kB
Inactive:       432436 kB
HighTotal:      131008 kB
HighFree:         6552 kB
LowTotal:       903652 kB
LowFree:        538880 kB
SwapTotal:     2097136 kB
SwapFree:      2095724 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5416 kB
Slab:            13612 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 05:39:16 (client local time) WITH STATUS 143 IN 1277.64 SECONDS
stats: 20560 0 1277.64 143
#### END LAUNCHER DATA ####
#### BEGIN 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 Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-ii32b4.opb
c reading problem ... done. Time 6.155 ms.
c #vars     762
c #constraints  7299
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                 378 		Current CPU time: 22.65 ms
c CURRENT OPTIMUM=                 377 		Current CPU time: 33.56 ms
c CURRENT OPTIMUM=                 376 		Current CPU time: 68.35 ms
c starts	: 17
c conflicts	: 5412
c decisions	: 11086
c propagations	: 775552
c inspects	: 8242994
c learned literals	: 1
c learned binary clauses	: 41
c learned ternary clauses	: 66
c learned clauses	: 5411
c root simplifications	: 33
s SATISFIABLE
v x1 -x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 -x19 x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 -x79 x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 -x125 x126 x127 -x128 -x129 x130 x131 -x132 -x133 x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 -x162 -x163 x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 -x175 x176 -x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 -x200 x201 -x202 -x203 -x204 x205 -x206 x207 -x208 x209 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 -x249 x250 x251 -x252 x253 -x254 x255 -x256 x257 -x258 x259 -x260 x261 -x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 -x329 x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 -x347 x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 -x357 x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 x379 -x380 x381 -x382 x383 -x384 x385 -x386 -x387 x388 -x389 x390 -x391 x392 -x393 x394 x395 -x396 -x397 x398 -x399 x400 x401 -x402 -x403 x404 -x405 x406 x407 -x408 -x409 x410 -x411 x412 x413 -x414 -x415 x416 x417 -x418 -x419 x420 -x421 x422 -x423 x424 x425 -x426 -x427 x428 -x429 x430 x431 -x432 -x433 x434 -x435 x436 x437 -x438 x439 -x440 -x441 x442 -x443 x444 x445 -x446 -x447 x448 -x449 x450 -x451 x452 -x453 x454 x455 -x456 x457 -x458 -x459 x460 -x461 -x462 -x463 x464 -x465 x466 x467 -x468 -x469 x470 -x471 x472 x473 -x474 -x475 x476 -x477 x478 x479 -x480 -x481 x482 -x483 x484 x485 -x486 -x487 x488 -x489 x490 x491 -x492 x493 -x494 -x495 x496 -x497 x498 x499 -x500 -x501 x502 -x503 x504 -x505 x506 -x507 x508 x509 -x510 x511 -x512 -x513 x514 -x515 x516 -x517 x518 x519 -x520 -x521 x522 -x523 x524 -x525 x526 x527 -x528 x529 -x530 -x531 x532 -x533 x534 x535 -x536 -x537 x538 -x539 x540 -x541 x542 -x543 x544 x545 -x546 x547 -x548 -x549 x550 -x551 x552 -x553 x554 -x555 x556 x557 -x558 -x559 x560 -x561 x562 x563 -x564 x565 -x566 -x567 x568 -x569 x570 x571 -x572 -x573 x574 -x575 x576 x577 -x578 -x579 x580 -x581 x582 -x583 x584 -x585 x586 x587 -x588 -x589 x590 -x591 x592 x593 -x594 -x595 x596 -x597 x598 x599 -x600 -x601 x602 -x603 x604 x605 -x606 x607 -x608 -x609 x610 -x611 x612 x613 -x614 -x615 x616 -x617 x618 -x619 x620 -x621 x622 x623 -x624 -x625 x626 -x627 x628 x629 -x630 -x631 -x632 -x633 x634 x635 -x636 -x637 x638 -x639 x640 x641 -x642 x643 -x644 -x645 x646 -x647 x648 x649 -x650 -x651 x652 -x653 x654 x655 -x656 -x657 x658 -x659 x660 -x661 x662 -x663 x664 x665 -x666 x667 -x668 -x669 x670 -x671 x672 -x673 x674 -x675 x676 x677 -x678 -x679 x680 -x681 x682 x683 -x684 x685 -x686 -x687 x688 -x689 x690 -x691 x692 -x693 x694 x695 -x696 -x697 -x698 -x699 x700 x701 -x702 -x703 x704 x705 -x706 -x707 x708 -x709 x710 x711 -x712 -x713 x714 -x715 x716 -x717 x718 x719 -x720 -x721 x722 x723 -x724 -x725 x726 x727 -x728 -x729 x730 -x731 x732 -x733 x734 -x735 x736 x737 -x738 -x739 x740 x741 -x742 -x743 x744 -x745 x746 -x747 x748 x749 -x750 -x751 x752 -x753 x754 x755 -x756 x757 -x758 -x759 x760 -x761 x762 
c objectif function=376
c Total CPU time (ms) : 1249.094
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 1.00 0.99 2/54 16773
Raw data (stat): 16773 (runsolver) R 16772 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778077433 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 1.24 1.06 1.01 4/64 16783
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 14820 0 1 0 647 37 0 0 25 0 11 0 778077433 871641088 18961 4294967295 134512640 134569956 3221224384 3221214816 1130908619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212803 18962 13086 16 0 212787 0
vsize: 851212
[startup+20.0021 s]
Raw data (loadavg): 1.35 1.09 1.02 2/64 16783
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18088 0 1 0 1400 45 0 0 25 0 11 0 778077433 867799040 24209 4294967295 134512640 134569956 3221224384 3221214768 1131449493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211865 24209 13086 16 0 211849 0
vsize: 847460
[startup+30.0016 s]
Raw data (loadavg): 1.37 1.11 1.02 2/64 16784
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 2347 46 0 0 25 0 11 0 778077433 873119744 25844 4294967295 134512640 134569956 3221224384 3221214932 1130918079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213164 25844 13086 16 0 213148 0
vsize: 852656
[startup+40.0012 s]
Raw data (loadavg): 1.39 1.12 1.03 2/64 16785
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 3301 46 0 0 25 0 11 0 778077433 875356160 26570 4294967295 134512640 134569956 3221224384 3221214552 1131350927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213710 26570 13086 16 0 213694 0
vsize: 854840
[startup+50.0015 s]
Raw data (loadavg): 1.33 1.11 1.03 2/64 16785
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 4239 46 0 0 25 0 11 0 778077433 867799040 24876 4294967295 134512640 134569956 3221224384 3221214656 1131597577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211865 24876 13086 16 0 211849 0
vsize: 847460
[startup+60.0018 s]
Raw data (loadavg): 1.28 1.11 1.03 2/64 16785
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 5172 46 0 0 25 0 11 0 778077433 867799040 24953 4294967295 134512640 134569956 3221224384 3221214656 1131598030 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211865 24953 13086 16 0 211849 0
vsize: 847460
[startup+70.0026 s]
Raw data (loadavg): 1.24 1.11 1.03 3/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 6112 46 0 0 25 0 11 0 778077433 868773888 25619 4294967295 134512640 134569956 3221224384 3221214544 1131432863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212103 25619 13086 16 0 212087 0
vsize: 848412
[startup+80.0028 s]
Raw data (loadavg): 1.20 1.10 1.03 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 7060 47 0 0 25 0 11 0 778077433 874090496 26973 4294967295 134512640 134569956 3221224384 3221214656 1131599106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 26973 13086 16 0 213385 0
vsize: 853604
[startup+90.003 s]
Raw data (loadavg): 1.25 1.11 1.03 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 8016 47 0 0 24 0 11 0 778077433 874090496 27036 4294967295 134512640 134569956 3221224384 3221214656 1131597934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27036 13086 16 0 213385 0
vsize: 853604
[startup+100.003 s]
Raw data (loadavg): 1.21 1.11 1.03 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 8972 47 0 0 25 0 11 0 778077433 874090496 27089 4294967295 134512640 134569956 3221224384 3221214656 1131599100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27089 13086 16 0 213385 0
vsize: 853604
[startup+110.004 s]
Raw data (loadavg): 1.18 1.11 1.03 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 9928 48 0 0 25 0 11 0 778077433 874090496 27133 4294967295 134512640 134569956 3221224384 3221214656 1131597974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27133 13086 16 0 213385 0
vsize: 853604
[startup+120.004 s]
Raw data (loadavg): 1.15 1.10 1.03 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 10885 48 0 0 25 0 11 0 778077433 874090496 27251 4294967295 134512640 134569956 3221224384 3221214552 1131350301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27251 13086 16 0 213385 0
vsize: 853604
[startup+130.004 s]
Raw data (loadavg): 1.13 1.10 1.03 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 11848 48 0 0 25 0 11 0 778077433 874090496 27398 4294967295 134512640 134569956 3221224384 3221214552 1131350751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27398 13086 16 0 213385 0
vsize: 853604
[startup+140.004 s]
Raw data (loadavg): 1.11 1.10 1.02 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 12822 48 0 0 25 0 11 0 778077433 874090496 27470 4294967295 134512640 134569956 3221224384 3221214552 1131350751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27470 13086 16 0 213385 0
vsize: 853604
[startup+150.005 s]
Raw data (loadavg): 1.09 1.09 1.02 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 13797 49 0 0 24 0 11 0 778077433 874090496 27492 4294967295 134512640 134569956 3221224384 3221214656 1131597934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27492 13086 16 0 213385 0
vsize: 853604
[startup+160.005 s]
Raw data (loadavg): 1.08 1.09 1.02 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 14772 49 0 0 25 0 11 0 778077433 874090496 27516 4294967295 134512640 134569956 3221224384 3221214656 1131598852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213401 27516 13086 16 0 213385 0
vsize: 853604
[startup+170.006 s]
Raw data (loadavg): 1.06 1.08 1.02 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 15749 49 0 0 25 0 11 0 778077433 874090496 27531 4294967295 134512640 134569956 3221224384 3221214552 1131350447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27531 13086 16 0 213385 0
vsize: 853604
[startup+180.005 s]
Raw data (loadavg): 1.05 1.08 1.02 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 16726 50 0 0 25 0 11 0 778077433 874090496 27549 4294967295 134512640 134569956 3221224384 3221214552 1131350447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27549 13086 16 0 213385 0
vsize: 853604
[startup+190.006 s]
Raw data (loadavg): 1.04 1.08 1.02 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 17700 50 0 0 25 0 11 0 778077433 874090496 27561 4294967295 134512640 134569956 3221224384 3221214552 1131350751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27561 13086 16 0 213385 0
vsize: 853604
[startup+200.006 s]
Raw data (loadavg): 1.04 1.08 1.02 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 18674 51 0 0 25 0 11 0 778077433 874090496 27575 4294967295 134512640 134569956 3221224384 3221214656 1131599821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27575 13086 16 0 213385 0
vsize: 853604
[startup+210.007 s]
Raw data (loadavg): 1.03 1.07 1.02 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 19645 51 0 0 25 0 11 0 778077433 874090496 27588 4294967295 134512640 134569956 3221224384 3221214656 1131599821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27588 13086 16 0 213385 0
vsize: 853604
[startup+220.007 s]
Raw data (loadavg): 1.03 1.07 1.02 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 20618 52 0 0 25 0 11 0 778077433 874090496 27612 4294967295 134512640 134569956 3221224384 3221214552 1131350330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27612 13086 16 0 213385 0
vsize: 853604
[startup+230.007 s]
Raw data (loadavg): 1.02 1.07 1.02 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 21594 52 0 0 25 0 11 0 778077433 874090496 27651 4294967295 134512640 134569956 3221224384 3221214656 1131599089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27651 13086 16 0 213385 0
vsize: 853604
[startup+240.008 s]
Raw data (loadavg): 1.02 1.06 1.02 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 22566 52 0 0 25 0 11 0 778077433 874090496 27664 4294967295 134512640 134569956 3221224384 3221214552 1131350751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27664 13086 16 0 213385 0
vsize: 853604
[startup+250.007 s]
Raw data (loadavg): 1.01 1.06 1.01 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 23540 52 0 0 25 0 11 0 778077433 874090496 27681 4294967295 134512640 134569956 3221224384 3221214552 1131350476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27681 13086 16 0 213385 0
vsize: 853604
[startup+260.009 s]
Raw data (loadavg): 1.01 1.06 1.01 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 24511 53 0 0 24 0 11 0 778077433 874090496 27696 4294967295 134512640 134569956 3221224384 3221214552 1131350612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27696 13086 16 0 213385 0
vsize: 853604
[startup+270.009 s]
Raw data (loadavg): 1.01 1.06 1.01 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 25487 53 0 0 25 0 11 0 778077433 874090496 27711 4294967295 134512640 134569956 3221224384 3221214552 1131350513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27711 13086 16 0 213385 0
vsize: 853604
[startup+280.009 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 26460 54 0 0 25 0 11 0 778077433 874090496 27727 4294967295 134512640 134569956 3221224384 3221214552 1131350507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27727 13086 16 0 213385 0
vsize: 853604
[startup+290.01 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 27434 54 0 0 25 0 11 0 778077433 874090496 27765 4294967295 134512640 134569956 3221224384 3221214652 1131350291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27765 13086 16 0 213385 0
vsize: 853604
[startup+300.009 s]
Raw data (loadavg): 1.00 1.05 1.01 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 28405 54 0 0 25 0 11 0 778077433 874090496 27781 4294967295 134512640 134569956 3221224384 3221214552 1131350751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27781 13086 16 0 213385 0
vsize: 853604
[startup+310.01 s]
Raw data (loadavg): 1.00 1.05 1.01 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 29376 55 0 0 25 0 11 0 778077433 874090496 27795 4294967295 134512640 134569956 3221224384 3221214656 1131597934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27795 13086 16 0 213385 0
vsize: 853604
[startup+320.011 s]
Raw data (loadavg): 1.00 1.05 1.01 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 30348 55 0 0 25 0 11 0 778077433 874090496 27816 4294967295 134512640 134569956 3221224384 3221214552 1131350707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27816 13086 16 0 213385 0
vsize: 853604
[startup+330.011 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 31319 56 0 0 25 0 11 0 778077433 874090496 27853 4294967295 134512640 134569956 3221224384 3221214552 1131350677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27853 13086 16 0 213385 0
vsize: 853604
[startup+340.011 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 32289 56 0 0 25 0 11 0 778077433 874090496 27887 4294967295 134512640 134569956 3221224384 3221214552 1131350675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27887 13086 16 0 213385 0
vsize: 853604
[startup+350.012 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 33262 57 0 0 25 0 11 0 778077433 874090496 27895 4294967295 134512640 134569956 3221224384 3221214552 1131350772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27895 13086 16 0 213385 0
vsize: 853604
[startup+360.013 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 34233 57 0 0 25 0 11 0 778077433 874090496 27917 4294967295 134512640 134569956 3221224384 3221214552 1131351310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27917 13086 16 0 213385 0
vsize: 853604
[startup+370.013 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 35205 57 0 0 25 0 11 0 778077433 874090496 27938 4294967295 134512640 134569956 3221224384 3221214552 1131350751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27938 13086 16 0 213385 0
vsize: 853604
[startup+380.013 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 36181 57 0 0 25 0 11 0 778077433 874090496 27965 4294967295 134512640 134569956 3221224384 3221214656 1131597952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27965 13086 16 0 213385 0
vsize: 853604
[startup+390.014 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 37153 58 0 0 25 0 11 0 778077433 874090496 27986 4294967295 134512640 134569956 3221224384 3221214656 1131599093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 27986 13086 16 0 213385 0
vsize: 853604
[startup+400.013 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 38124 58 0 0 25 0 11 0 778077433 874090496 28007 4294967295 134512640 134569956 3221224384 3221214552 1131351281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28007 13086 16 0 213385 0
vsize: 853604
[startup+410.014 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 39094 59 0 0 25 0 11 0 778077433 874090496 28029 4294967295 134512640 134569956 3221224384 3221214656 1131597934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28029 13086 16 0 213385 0
vsize: 853604
[startup+420.014 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 40065 59 0 0 25 0 11 0 778077433 874090496 28047 4294967295 134512640 134569956 3221224384 3221214656 1131597974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28047 13086 16 0 213385 0
vsize: 853604
[startup+430.014 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 41028 60 0 0 25 0 11 0 778077433 874090496 28072 4294967295 134512640 134569956 3221224384 3221214552 1131350443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28072 13086 16 0 213385 0
vsize: 853604
[startup+440.014 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 41995 60 0 0 25 0 11 0 778077433 874090496 28098 4294967295 134512640 134569956 3221224384 3221214756 1131203936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28098 13086 16 0 213385 0
vsize: 853604
[startup+450.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 42951 60 0 0 24 0 11 0 778077433 874090496 28144 4294967295 134512640 134569956 3221224384 3221214552 1131351295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28144 13086 16 0 213385 0
vsize: 853604
[startup+460.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 43918 61 0 0 25 0 11 0 778077433 874090496 28205 4294967295 134512640 134569956 3221224384 3221214760 1131450669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28205 13086 16 0 213385 0
vsize: 853604
[startup+470.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 44885 61 0 0 25 0 11 0 778077433 874090496 28271 4294967295 134512640 134569956 3221224384 3221214656 1131597919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28271 13086 16 0 213385 0
vsize: 853604
[startup+480.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 45855 61 0 0 25 0 11 0 778077433 874090496 28299 4294967295 134512640 134569956 3221224384 3221214656 1131597974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28299 13086 16 0 213385 0
vsize: 853604
[startup+490.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 46821 62 0 0 25 0 11 0 778077433 874090496 28332 4294967295 134512640 134569956 3221224384 3221214656 1131598091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28332 13086 16 0 213385 0
vsize: 853604
[startup+500.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 47791 62 0 0 25 0 11 0 778077433 874090496 28353 4294967295 134512640 134569956 3221224384 3221214656 1131598128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28353 13086 16 0 213385 0
vsize: 853604
[startup+510.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 48763 62 0 0 25 0 11 0 778077433 874090496 28360 4294967295 134512640 134569956 3221224384 3221214760 1131449792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28360 13086 16 0 213385 0
vsize: 853604
[startup+520.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 49731 63 0 0 25 0 11 0 778077433 874090496 28388 4294967295 134512640 134569956 3221224384 3221214552 1131350759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28388 13086 16 0 213385 0
vsize: 853604
[startup+530.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 50703 64 0 0 25 0 11 0 778077433 874090496 28420 4294967295 134512640 134569956 3221224384 3221214656 1131597934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28420 13086 16 0 213385 0
vsize: 853604
[startup+540.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 51675 64 0 0 25 0 11 0 778077433 874090496 28429 4294967295 134512640 134569956 3221224384 3221214552 1131351281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28429 13086 16 0 213385 0
vsize: 853604
[startup+550.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 52645 65 0 0 25 0 11 0 778077433 874090496 28439 4294967295 134512640 134569956 3221224384 3221214656 1131599093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28439 13086 16 0 213385 0
vsize: 853604
[startup+560.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 53612 65 0 0 25 0 11 0 778077433 874090496 28465 4294967295 134512640 134569956 3221224384 3221214552 1131350330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28465 13086 16 0 213385 0
vsize: 853604
[startup+570.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 54582 66 0 0 25 0 11 0 778077433 874090496 28486 4294967295 134512640 134569956 3221224384 3221214464 1131201581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28486 13086 16 0 213385 0
vsize: 853604
[startup+580.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 55549 66 0 0 25 0 11 0 778077433 874090496 28513 4294967295 134512640 134569956 3221224384 3221214552 1131350751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28513 13086 16 0 213385 0
vsize: 853604
[startup+590.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 56519 66 0 0 25 0 11 0 778077433 874090496 28533 4294967295 134512640 134569956 3221224384 3221214656 1131599085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28533 13086 16 0 213385 0
vsize: 853604
[startup+600.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 57485 67 0 0 25 0 11 0 778077433 874090496 28566 4294967295 134512640 134569956 3221224384 3221214656 1131597642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28566 13086 16 0 213385 0
vsize: 853604
[startup+610.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 58456 67 0 0 25 0 11 0 778077433 874090496 28578 4294967295 134512640 134569956 3221224384 3221214552 1131351221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28578 13086 16 0 213385 0
vsize: 853604
[startup+620.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 59421 68 0 0 25 0 11 0 778077433 874090496 28603 4294967295 134512640 134569956 3221224384 3221214656 1131597974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28603 13086 16 0 213385 0
vsize: 853604
[startup+630.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 60386 68 0 0 25 0 11 0 778077433 874090496 28639 4294967295 134512640 134569956 3221224384 3221214552 1131350627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28639 13086 16 0 213385 0
vsize: 853604
[startup+640.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 61353 69 0 0 25 0 11 0 778077433 874090496 28664 4294967295 134512640 134569956 3221224384 3221214656 1131597974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28664 13086 16 0 213385 0
vsize: 853604
[startup+650.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 62315 69 0 0 25 0 11 0 778077433 874090496 28707 4294967295 134512640 134569956 3221224384 3221214656 1131599085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28707 13086 16 0 213385 0
vsize: 853604
[startup+660.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 63285 69 0 0 25 0 11 0 778077433 874090496 28742 4294967295 134512640 134569956 3221224384 3221214552 1131350330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28742 13086 16 0 213385 0
vsize: 853604
[startup+670.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 64248 69 0 0 25 0 11 0 778077433 874090496 28757 4294967295 134512640 134569956 3221224384 3221214552 1131350386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28757 13086 16 0 213385 0
vsize: 853604
[startup+680.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 65211 70 0 0 25 0 11 0 778077433 874090496 28779 4294967295 134512640 134569956 3221224384 3221214552 1131350588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28779 13086 16 0 213385 0
vsize: 853604
[startup+690.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 66171 70 0 0 25 0 11 0 778077433 874090496 28826 4294967295 134512640 134569956 3221224384 3221214656 1131599089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28826 13086 16 0 213385 0
vsize: 853604
[startup+700.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 67139 70 0 0 25 0 11 0 778077433 874090496 28882 4294967295 134512640 134569956 3221224384 3221214656 1131597934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28882 13086 16 0 213385 0
vsize: 853604
[startup+710.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 68109 71 0 0 25 0 11 0 778077433 874090496 28912 4294967295 134512640 134569956 3221224384 3221214552 1131350369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28912 13086 16 0 213385 0
vsize: 853604
[startup+720.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 69077 71 0 0 25 0 11 0 778077433 874090496 28935 4294967295 134512640 134569956 3221224384 3221214552 1131350305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28935 13086 16 0 213385 0
vsize: 853604
[startup+730.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 70042 71 0 0 25 0 11 0 778077433 874090496 28943 4294967295 134512640 134569956 3221224384 3221214656 1131597974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28943 13086 16 0 213385 0
vsize: 853604
[startup+740.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 71005 72 0 0 25 0 11 0 778077433 874090496 28958 4294967295 134512640 134569956 3221224384 3221214552 1131350793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28958 13086 16 0 213385 0
vsize: 853604
[startup+750.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 71961 72 0 0 24 0 11 0 778077433 874090496 28997 4294967295 134512640 134569956 3221224384 3221214464 1131202036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 28997 13086 16 0 213385 0
vsize: 853604
[startup+760.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 72922 72 0 0 25 0 11 0 778077433 874090496 29032 4294967295 134512640 134569956 3221224384 3221214552 1131350751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29032 13086 16 0 213385 0
vsize: 853604
[startup+770.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 73883 72 0 0 25 0 11 0 778077433 874090496 29087 4294967295 134512640 134569956 3221224384 3221214656 1131597879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29087 13086 16 0 213385 0
vsize: 853604
[startup+780.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 74843 73 0 0 25 0 11 0 778077433 874090496 29117 4294967295 134512640 134569956 3221224384 3221214656 1131597763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29117 13086 16 0 213385 0
vsize: 853604
[startup+790.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 75805 73 0 0 25 0 11 0 778077433 874090496 29143 4294967295 134512640 134569956 3221224384 3221214656 1131597934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29143 13086 16 0 213385 0
vsize: 853604
[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 76769 74 0 0 25 0 11 0 778077433 874090496 29193 4294967295 134512640 134569956 3221224384 3221214552 1131350382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29193 13086 16 0 213385 0
vsize: 853604
[startup+810.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 77735 74 0 0 25 0 11 0 778077433 874090496 29252 4294967295 134512640 134569956 3221224384 3221214656 1131597934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29252 13086 16 0 213385 0
vsize: 853604
[startup+820.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 78700 75 0 0 25 0 11 0 778077433 874090496 29262 4294967295 134512640 134569956 3221224384 3221214552 1131350519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29262 13086 16 0 213385 0
vsize: 853604
[startup+830.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 79664 75 0 0 25 0 11 0 778077433 874090496 29279 4294967295 134512640 134569956 3221224384 3221214464 1131201594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29279 13086 16 0 213385 0
vsize: 853604
[startup+840.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) S 16772 3944 3943 0 -1 0 18136 5 1 0 80624 75 0 0 25 0 11 0 778077433 874090496 29312 4294967295 134512640 134569956 3221224384 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29312 13086 16 0 213385 0
vsize: 853604
[startup+850.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 81589 76 0 0 25 0 11 0 778077433 874090496 29352 4294967295 134512640 134569956 3221224384 3221214552 1131350982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29352 13086 16 0 213385 0
vsize: 853604
[startup+860.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 82551 76 0 0 25 0 11 0 778077433 874090496 29375 4294967295 134512640 134569956 3221224384 3221214656 1131597974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213401 29375 13086 16 0 213385 0
vsize: 853604
[startup+870.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 83512 77 0 0 25 0 11 0 778077433 874090496 29414 4294967295 134512640 134569956 3221224384 3221214656 1131598829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29414 13086 16 0 213385 0
vsize: 853604
[startup+880.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 84473 77 0 0 25 0 11 0 778077433 874090496 29448 4294967295 134512640 134569956 3221224384 3221214656 1131597974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29448 13086 16 0 213385 0
vsize: 853604
[startup+890.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 85436 78 0 0 25 0 11 0 778077433 874090496 29481 4294967295 134512640 134569956 3221224384 3221214656 1131597927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29481 13086 16 0 213385 0
vsize: 853604
[startup+900.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 86398 78 0 0 25 0 11 0 778077433 874090496 29512 4294967295 134512640 134569956 3221224384 3221214464 1131201621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29512 13086 16 0 213385 0
vsize: 853604
[startup+910.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 87361 79 0 0 25 0 11 0 778077433 874090496 29541 4294967295 134512640 134569956 3221224384 3221214552 1131350751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29541 13086 16 0 213385 0
vsize: 853604
[startup+920.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 88313 79 0 0 24 0 11 0 778077433 874090496 29570 4294967295 134512640 134569956 3221224384 3221214656 1131599911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29570 13086 16 0 213385 0
vsize: 853604
[startup+930.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) S 16772 3944 3943 0 -1 0 18136 5 1 0 89274 79 0 0 25 0 11 0 778077433 874090496 29590 4294967295 134512640 134569956 3221224384 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29590 13086 16 0 213385 0
vsize: 853604
[startup+940.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 90232 80 0 0 25 0 11 0 778077433 874090496 29655 4294967295 134512640 134569956 3221224384 3221214656 1131599012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29655 13086 16 0 213385 0
vsize: 853604
[startup+950.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 91195 80 0 0 25 0 11 0 778077433 874090496 29725 4294967295 134512640 134569956 3221224384 3221214656 1131599952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29725 13086 16 0 213385 0
vsize: 853604
[startup+960.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 92159 80 0 0 25 0 11 0 778077433 874090496 29753 4294967295 134512640 134569956 3221224384 3221214552 1131350305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29753 13086 16 0 213385 0
vsize: 853604
[startup+970.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 93124 80 0 0 25 0 11 0 778077433 874090496 29785 4294967295 134512640 134569956 3221224384 3221214656 1131599979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29785 13086 16 0 213385 0
vsize: 853604
[startup+980.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 94086 81 0 0 25 0 11 0 778077433 874090496 29807 4294967295 134512640 134569956 3221224384 3221214656 1131599952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29807 13086 16 0 213385 0
vsize: 853604
[startup+990.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 95046 81 0 0 25 0 11 0 778077433 874090496 29821 4294967295 134512640 134569956 3221224384 3221214552 1131351168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29821 13086 16 0 213385 0
vsize: 853604
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 96003 82 0 0 25 0 11 0 778077433 874090496 29853 4294967295 134512640 134569956 3221224384 3221214656 1131597581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29853 13086 16 0 213385 0
vsize: 853604
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 96961 82 0 0 25 0 11 0 778077433 874090496 29887 4294967295 134512640 134569956 3221224384 3221214552 1131350751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29887 13086 16 0 213385 0
vsize: 853604
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 97920 83 0 0 25 0 11 0 778077433 874090496 29926 4294967295 134512640 134569956 3221224384 3221214656 1131598158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29926 13086 16 0 213385 0
vsize: 853604
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 98878 83 0 0 25 0 11 0 778077433 874090496 29986 4294967295 134512640 134569956 3221224384 3221214552 1131350751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 29986 13086 16 0 213385 0
vsize: 853604
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 99837 84 0 0 25 0 11 0 778077433 874090496 30026 4294967295 134512640 134569956 3221224384 3221214552 1131350721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 30026 13086 16 0 213385 0
vsize: 853604
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 100793 84 0 0 25 0 11 0 778077433 874090496 30039 4294967295 134512640 134569956 3221224384 3221214656 1131599089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 30039 13086 16 0 213385 0
vsize: 853604
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 101748 84 0 0 25 0 11 0 778077433 874090496 30089 4294967295 134512640 134569956 3221224384 3221214656 1131597934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 30089 13086 16 0 213385 0
vsize: 853604
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) S 16772 3944 3943 0 -1 0 18136 5 1 0 102704 85 0 0 25 0 11 0 778077433 874090496 30127 4294967295 134512640 134569956 3221224384 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 30127 13086 16 0 213385 0
vsize: 853604
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 103657 86 0 0 17 0 11 0 778077433 874090496 30194 4294967295 134512640 134569956 3221224384 3221214552 1131350970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 30194 13086 16 0 213385 0
vsize: 853604
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 104615 86 0 0 25 0 11 0 778077433 874090496 30238 4294967295 134512640 134569956 3221224384 3221214552 1131350707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 30238 13086 16 0 213385 0
vsize: 853604
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 105576 87 0 0 25 0 11 0 778077433 874090496 30291 4294967295 134512640 134569956 3221224384 3221214656 1131597879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 30291 13086 16 0 213385 0
vsize: 853604
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 106531 87 0 0 25 0 11 0 778077433 874090496 30320 4294967295 134512640 134569956 3221224384 3221214656 1131597779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 30320 13086 16 0 213385 0
vsize: 853604
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 107483 88 0 0 25 0 11 0 778077433 874090496 30347 4294967295 134512640 134569956 3221224384 3221214732 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 30347 13086 16 0 213385 0
vsize: 853604
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 108434 88 0 0 25 0 11 0 778077433 874090496 30386 4294967295 134512640 134569956 3221224384 3221214552 1131350966 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213401 30386 13086 16 0 213385 0
vsize: 853604
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 109389 88 0 0 25 0 11 0 778077433 874090496 30479 4294967295 134512640 134569956 3221224384 3221214552 1131350507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 30479 13086 16 0 213385 0
vsize: 853604
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 110344 89 0 0 25 0 11 0 778077433 874090496 30518 4294967295 134512640 134569956 3221224384 3221214656 1131597974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 30518 13086 16 0 213385 0
vsize: 853604
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 111303 89 0 0 25 0 11 0 778077433 874090496 30568 4294967295 134512640 134569956 3221224384 3221214464 1131202044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 30568 13086 16 0 213385 0
vsize: 853604
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 112265 89 0 0 25 0 11 0 778077433 874090496 30613 4294967295 134512640 134569956 3221224384 3221214656 1131597927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 30613 13086 16 0 213385 0
vsize: 853604
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 113227 90 0 0 25 0 11 0 778077433 874090496 30631 4294967295 134512640 134569956 3221224384 3221214552 1131350721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 30631 13086 16 0 213385 0
vsize: 853604
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 114188 90 0 0 25 0 11 0 778077433 874090496 30650 4294967295 134512640 134569956 3221224384 3221214552 1131350712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 30650 13086 16 0 213385 0
vsize: 853604
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 115149 90 0 0 25 0 11 0 778077433 874090496 30668 4294967295 134512640 134569956 3221224384 3221214656 1131599952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 30668 13086 16 0 213385 0
vsize: 853604
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 116109 91 0 0 25 0 11 0 778077433 874090496 30705 4294967295 134512640 134569956 3221224384 3221214552 1131350721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 30705 13086 16 0 213385 0
vsize: 853604
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 117068 91 0 0 25 0 11 0 778077433 874090496 30731 4294967295 134512640 134569956 3221224384 3221214552 1131350346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 30731 13086 16 0 213385 0
vsize: 853604
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 118030 91 0 0 25 0 11 0 778077433 874090496 30756 4294967295 134512640 134569956 3221224384 3221214656 1131597927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 30756 13086 16 0 213385 0
vsize: 853604
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 118985 92 0 0 25 0 11 0 778077433 874090496 30774 4294967295 134512640 134569956 3221224384 3221214656 1131597934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 30774 13086 16 0 213385 0
vsize: 853604
[startup+1250.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16786
Raw data (stat): 16773 (java) R 16772 3944 3943 0 -1 0 18136 5 1 0 119941 92 0 0 25 0 11 0 778077433 874090496 30807 4294967295 134512640 134569956 3221224384 3221214844 1131597523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213401 30807 13086 16 0 213385 0
vsize: 853604
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 16788
Raw data (stat): 16773 (java) Z 16772 3944 3943 0 -1 1036 18136 30778 1 0 119947 98 7629 89 25 0 1 0 778077433 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.16
CPU time (s): 1277.64
CPU user time (s): 1275.77
CPU system time (s): 1.87771
CPU usage (%): 102.198
Max. virtual memory (Kb): 854840
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	376
#### END VERIFIER DATA ####