PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e4.opb
MD5SUM	1c0d08e5657c85ec3afe3a7738817cf3
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	364
Optimality of the best value was proved	NO
Number of terms in the objective function	774
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	774
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	774
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	130.714
Number of variables	774
Total number of constraints	7493
Number of constraints which are clauses	7493
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 29182

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        722304 kB
Buffers:         34216 kB
Cached:         257788 kB
SwapCached:        600 kB
Active:          53544 kB
Inactive:       240916 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        722052 kB
SwapTotal:     2097136 kB
SwapFree:      2096004 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5784 kB
Slab:            12220 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 05:47:17 (client local time) WITH STATUS 143 IN 1251.43 SECONDS
stats: 20571 0 1251.43 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/wulflinc4/normalized-ii32e4.opb
c reading problem ... done. Time 5.353 ms.
c #vars     774
c #constraints  7493
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                 378 		Current CPU time: 10.65 ms
c CURRENT OPTIMUM=                 377 		Current CPU time: 11.59 ms
c CURRENT OPTIMUM=                 370 		Current CPU time: 12.74 ms
c CURRENT OPTIMUM=                 365 		Current CPU time: 13.43 ms
c starts	: 10
c conflicts	: 1308
c decisions	: 6053
c propagations	: 213541
c inspects	: 3884688
c learned literals	: 1
c learned binary clauses	: 34
c learned ternary clauses	: 17
c learned clauses	: 1307
c root simplifications	: 14
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 -x763 x764 x765 -x766 -x767 x768 -x769 x770 -x771 x772 x773 -x774 
c objectif function=365
c Total CPU time (ms) : 1239.13
#### 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.93 0.98 0.94 2/54 31224
Raw data (stat): 31224 (runsolver) R 31223 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778119338 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.0007 s]
Raw data (loadavg): 1.08 1.02 0.95 2/64 31234
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18060 0 1 0 676 38 0 0 25 0 11 0 778119338 861667328 21632 4294967295 134512640 134569956 3221224384 3221214696 1131279298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210368 21632 13086 16 0 210352 0
vsize: 841472
[startup+20.0015 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18112 3 1 0 1558 39 0 0 25 0 11 0 778119338 860905472 23400 4294967295 134512640 134569956 3221224384 3221214104 1131174426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210182 23400 13086 16 0 210166 0
vsize: 840728
[startup+30.0018 s]
Raw data (loadavg): 1.06 1.01 0.95 3/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18112 3 1 0 2518 39 0 0 25 0 11 0 778119338 860676096 23510 4294967295 134512640 134569956 3221224384 3221213544 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 23510 13086 16 0 210110 0
vsize: 840504
[startup+40.0032 s]
Raw data (loadavg): 1.13 1.03 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18112 3 1 0 3455 39 0 0 25 0 11 0 778119338 860676096 23795 4294967295 134512640 134569956 3221224384 3221214656 1131588458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 23795 13086 16 0 210110 0
vsize: 840504
[startup+50.0041 s]
Raw data (loadavg): 1.11 1.03 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 4401 40 0 0 24 0 11 0 778119338 860676096 23908 4294967295 134512640 134569956 3221224384 3221214656 1131458109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 23908 13086 16 0 210110 0
vsize: 840504
[startup+60.0034 s]
Raw data (loadavg): 1.09 1.03 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 5353 40 0 0 25 0 11 0 778119338 860676096 24102 4294967295 134512640 134569956 3221224384 3221214672 1131396624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 24102 13086 16 0 210110 0
vsize: 840504
[startup+70.0042 s]
Raw data (loadavg): 1.08 1.03 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 6288 40 0 0 25 0 11 0 778119338 860676096 24102 4294967295 134512640 134569956 3221224384 3221214664 1131174324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210126 24102 13086 16 0 210110 0
vsize: 840504
[startup+80.0056 s]
Raw data (loadavg): 1.07 1.03 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 7217 40 0 0 25 0 11 0 778119338 860676096 24395 4294967295 134512640 134569956 3221224384 3221214776 1131438072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 24395 13086 16 0 210110 0
vsize: 840504
[startup+90.006 s]
Raw data (loadavg): 1.06 1.02 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 8176 40 0 0 25 0 11 0 778119338 860676096 24631 4294967295 134512640 134569956 3221224384 3221214664 1131174324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 24631 13086 16 0 210110 0
vsize: 840504
[startup+100.006 s]
Raw data (loadavg): 1.05 1.02 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 9148 40 0 0 25 0 11 0 778119338 860676096 24828 4294967295 134512640 134569956 3221224384 3221214776 1131438072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210126 24828 13086 16 0 210110 0
vsize: 840504
[startup+110.006 s]
Raw data (loadavg): 1.04 1.02 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 10129 41 0 0 25 0 11 0 778119338 860676096 24868 4294967295 134512640 134569956 3221224384 3221214672 1131397472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 24868 13086 16 0 210110 0
vsize: 840504
[startup+120.007 s]
Raw data (loadavg): 1.03 1.02 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 11111 41 0 0 25 0 11 0 778119338 860676096 24884 4294967295 134512640 134569956 3221224384 3221214776 1131438400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 24884 13086 16 0 210110 0
vsize: 840504
[startup+130.006 s]
Raw data (loadavg): 1.03 1.02 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 12096 41 0 0 25 0 11 0 778119338 860676096 24905 4294967295 134512640 134569956 3221224384 3221214776 1131438069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 24905 13086 16 0 210110 0
vsize: 840504
[startup+140.008 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 13080 42 0 0 25 0 11 0 778119338 860676096 24908 4294967295 134512640 134569956 3221224384 3221214696 1131279471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 24908 13086 16 0 210110 0
vsize: 840504
[startup+150.009 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 14063 42 0 0 24 0 11 0 778119338 860676096 24914 4294967295 134512640 134569956 3221224384 3221214664 1131174329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 24914 13086 16 0 210110 0
vsize: 840504
[startup+160.008 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 15048 42 0 0 25 0 11 0 778119338 860676096 24918 4294967295 134512640 134569956 3221224384 3221214672 1131396663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210126 24918 13086 16 0 210110 0
vsize: 840504
[startup+170.008 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 16030 42 0 0 25 0 11 0 778119338 860676096 24932 4294967295 134512640 134569956 3221224384 3221214776 1131438054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 24932 13086 16 0 210110 0
vsize: 840504
[startup+180.008 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 17014 43 0 0 25 0 11 0 778119338 860676096 24941 4294967295 134512640 134569956 3221224384 3221214664 1131174324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 24941 13086 16 0 210110 0
vsize: 840504
[startup+190.008 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 17997 43 0 0 25 0 11 0 778119338 860676096 24944 4294967295 134512640 134569956 3221224384 3221214776 1131437945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210126 24944 13086 16 0 210110 0
vsize: 840504
[startup+200.009 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 18979 43 0 0 25 0 11 0 778119338 860676096 24951 4294967295 134512640 134569956 3221224384 3221214664 1131174434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 24951 13086 16 0 210110 0
vsize: 840504
[startup+210.009 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 19960 43 0 0 25 0 11 0 778119338 860676096 24959 4294967295 134512640 134569956 3221224384 3221214776 1131438069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 24959 13086 16 0 210110 0
vsize: 840504
[startup+220.009 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 20944 44 0 0 25 0 11 0 778119338 860676096 24971 4294967295 134512640 134569956 3221224384 3221214708 1130898165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210126 24971 13086 16 0 210110 0
vsize: 840504
[startup+230.01 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 21923 44 0 0 25 0 11 0 778119338 860676096 24978 4294967295 134512640 134569956 3221224384 3221214672 1131397035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 24978 13086 16 0 210110 0
vsize: 840504
[startup+240.011 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 22906 44 0 0 25 0 11 0 778119338 860676096 25011 4294967295 134512640 134569956 3221224384 3221214772 1131438083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25011 13086 16 0 210110 0
vsize: 840504
[startup+250.011 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 23887 44 0 0 25 0 11 0 778119338 860676096 25022 4294967295 134512640 134569956 3221224384 3221214672 1131397566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25022 13086 16 0 210110 0
vsize: 840504
[startup+260.011 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 24866 45 0 0 25 0 11 0 778119338 860676096 25042 4294967295 134512640 134569956 3221224384 3221214672 1131397531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25042 13086 16 0 210110 0
vsize: 840504
[startup+270.012 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 25844 45 0 0 25 0 11 0 778119338 860676096 25052 4294967295 134512640 134569956 3221224384 3221214584 1131187014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25052 13086 16 0 210110 0
vsize: 840504
[startup+280.012 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 26825 46 0 0 25 0 11 0 778119338 860676096 25061 4294967295 134512640 134569956 3221224384 3221214672 1131396993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210126 25061 13086 16 0 210110 0
vsize: 840504
[startup+290.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 27808 46 0 0 25 0 11 0 778119338 860676096 25078 4294967295 134512640 134569956 3221224384 3221214664 1131174324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25078 13086 16 0 210110 0
vsize: 840504
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 28792 46 0 0 25 0 11 0 778119338 860676096 25082 4294967295 134512640 134569956 3221224384 3221214672 1131397035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25082 13086 16 0 210110 0
vsize: 840504
[startup+310.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 29774 46 0 0 25 0 11 0 778119338 860676096 25087 4294967295 134512640 134569956 3221224384 3221214672 1131397566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25087 13086 16 0 210110 0
vsize: 840504
[startup+320.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 30756 47 0 0 25 0 11 0 778119338 860676096 25101 4294967295 134512640 134569956 3221224384 3221214776 1131437945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25101 13086 16 0 210110 0
vsize: 840504
[startup+330.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 31738 48 0 0 25 0 11 0 778119338 860676096 25122 4294967295 134512640 134569956 3221224384 3221214776 1131438072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25122 13086 16 0 210110 0
vsize: 840504
[startup+340.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 32722 48 0 0 25 0 11 0 778119338 860676096 25128 4294967295 134512640 134569956 3221224384 3221214672 1131396689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210126 25128 13086 16 0 210110 0
vsize: 840504
[startup+350.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 33704 48 0 0 25 0 11 0 778119338 860676096 25135 4294967295 134512640 134569956 3221224384 3221214776 1131438072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25135 13086 16 0 210110 0
vsize: 840504
[startup+360.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 34688 49 0 0 25 0 11 0 778119338 860676096 25140 4294967295 134512640 134569956 3221224384 3221214672 1131397035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25140 13086 16 0 210110 0
vsize: 840504
[startup+370.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 35667 49 0 0 25 0 11 0 778119338 860676096 25148 4294967295 134512640 134569956 3221224384 3221214776 1131438497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25148 13086 16 0 210110 0
vsize: 840504
[startup+380.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 36647 50 0 0 25 0 11 0 778119338 860676096 25152 4294967295 134512640 134569956 3221224384 3221214664 1131174335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25152 13086 16 0 210110 0
vsize: 840504
[startup+390.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 37626 50 0 0 25 0 11 0 778119338 860676096 25170 4294967295 134512640 134569956 3221224384 3221214672 1131397097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25170 13086 16 0 210110 0
vsize: 840504
[startup+400.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 38605 51 0 0 25 0 11 0 778119338 860676096 25180 4294967295 134512640 134569956 3221224384 3221214768 1131160012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25180 13086 16 0 210110 0
vsize: 840504
[startup+410.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 39587 51 0 0 25 0 11 0 778119338 860676096 25186 4294967295 134512640 134569956 3221224384 3221214776 1131437933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25186 13086 16 0 210110 0
vsize: 840504
[startup+420.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 40568 51 0 0 25 0 11 0 778119338 860676096 25216 4294967295 134512640 134569956 3221224384 3221214776 1131438574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25216 13086 16 0 210110 0
vsize: 840504
[startup+430.019 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 41551 51 0 0 25 0 11 0 778119338 860676096 25225 4294967295 134512640 134569956 3221224384 3221214672 1131396663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25225 13086 16 0 210110 0
vsize: 840504
[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 42535 52 0 0 25 0 11 0 778119338 860676096 25234 4294967295 134512640 134569956 3221224384 3221214672 1131397035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25234 13086 16 0 210110 0
vsize: 840504
[startup+450.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) S 31223 21152 21151 0 -1 0 18113 3 1 0 43517 52 0 0 25 0 11 0 778119338 860676096 25239 4294967295 134512640 134569956 3221224384 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25239 13086 16 0 210110 0
vsize: 840504
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 44497 52 0 0 25 0 11 0 778119338 860676096 25245 4294967295 134512640 134569956 3221224384 3221214776 1131438230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25245 13086 16 0 210110 0
vsize: 840504
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 45481 53 0 0 25 0 11 0 778119338 860676096 25256 4294967295 134512640 134569956 3221224384 3221214776 1131438364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25256 13086 16 0 210110 0
vsize: 840504
[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 46460 53 0 0 25 0 11 0 778119338 860676096 25265 4294967295 134512640 134569956 3221224384 3221214772 1131438083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25265 13086 16 0 210110 0
vsize: 840504
[startup+490.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 47445 53 0 0 25 0 11 0 778119338 860676096 25269 4294967295 134512640 134569956 3221224384 3221214664 1131174430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25269 13086 16 0 210110 0
vsize: 840504
[startup+500.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 48424 54 0 0 25 0 11 0 778119338 860676096 25278 4294967295 134512640 134569956 3221224384 3221214776 1131437807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25278 13086 16 0 210110 0
vsize: 840504
[startup+510.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 49404 54 0 0 25 0 11 0 778119338 860676096 25287 4294967295 134512640 134569956 3221224384 3221214776 1131438072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25287 13086 16 0 210110 0
vsize: 840504
[startup+520.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 50381 55 0 0 25 0 11 0 778119338 860676096 25301 4294967295 134512640 134569956 3221224384 3221214672 1131397157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25301 13086 16 0 210110 0
vsize: 840504
[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 51359 55 0 0 25 0 11 0 778119338 860676096 25320 4294967295 134512640 134569956 3221224384 3221214672 1131397035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25320 13086 16 0 210110 0
vsize: 840504
[startup+540.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 52335 56 0 0 25 0 11 0 778119338 860676096 25336 4294967295 134512640 134569956 3221224384 3221214672 1131397169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25336 13086 16 0 210110 0
vsize: 840504
[startup+550.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 53308 56 0 0 25 0 11 0 778119338 860676096 25375 4294967295 134512640 134569956 3221224384 3221214760 1131422896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25375 13086 16 0 210110 0
vsize: 840504
[startup+560.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 54278 57 0 0 25 0 11 0 778119338 860676096 25389 4294967295 134512640 134569956 3221224384 3221214664 1131435923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25389 13086 16 0 210110 0
vsize: 840504
[startup+570.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) S 31223 21152 21151 0 -1 0 18113 3 1 0 55231 57 0 0 25 0 11 0 778119338 860676096 25394 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25394 13086 16 0 210110 0
vsize: 840504
[startup+580.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 56177 57 0 0 25 0 11 0 778119338 860676096 25403 4294967295 134512640 134569956 3221224384 3221214632 1131160058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25403 13086 16 0 210110 0
vsize: 840504
[startup+590.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 57112 58 0 0 25 0 11 0 778119338 860676096 25618 4294967295 134512640 134569956 3221224384 3221214772 1131174311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25618 13086 16 0 210110 0
vsize: 840504
[startup+600.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 58061 58 0 0 25 0 11 0 778119338 860676096 25692 4294967295 134512640 134569956 3221224384 3221214656 1131589231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25692 13086 16 0 210110 0
vsize: 840504
[startup+610.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 58996 58 0 0 25 0 11 0 778119338 860676096 25902 4294967295 134512640 134569956 3221224384 3221214560 1131279314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25902 13086 16 0 210110 0
vsize: 840504
[startup+620.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) S 31223 21152 21151 0 -1 0 18113 3 1 0 59935 58 0 0 25 0 11 0 778119338 860676096 25994 4294967295 134512640 134569956 3221224384 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 25994 13086 16 0 210110 0
vsize: 840504
[startup+630.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 60864 59 0 0 24 0 11 0 778119338 860676096 26260 4294967295 134512640 134569956 3221224384 3221214776 1131438069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 26260 13086 16 0 210110 0
vsize: 840504
[startup+640.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 61812 59 0 0 25 0 11 0 778119338 860676096 26462 4294967295 134512640 134569956 3221224384 3221214664 1131174412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 26462 13086 16 0 210110 0
vsize: 840504
[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 62770 59 0 0 25 0 11 0 778119338 860676096 26650 4294967295 134512640 134569956 3221224384 3221214776 1131438072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 26650 13086 16 0 210110 0
vsize: 840504
[startup+660.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 63744 60 0 0 25 0 11 0 778119338 860676096 26837 4294967295 134512640 134569956 3221224384 3221214776 1131438593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 26837 13086 16 0 210110 0
vsize: 840504
[startup+670.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 64727 60 0 0 25 0 11 0 778119338 860676096 26854 4294967295 134512640 134569956 3221224384 3221214672 1131396569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 26854 13086 16 0 210110 0
vsize: 840504
[startup+680.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 65708 61 0 0 25 0 11 0 778119338 860676096 26867 4294967295 134512640 134569956 3221224384 3221214776 1131438072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 26867 13086 16 0 210110 0
vsize: 840504
[startup+690.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 66691 61 0 0 25 0 11 0 778119338 860676096 26883 4294967295 134512640 134569956 3221224384 3221214672 1131397035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 26883 13086 16 0 210110 0
vsize: 840504
[startup+700.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 67674 62 0 0 25 0 11 0 778119338 860676096 26891 4294967295 134512640 134569956 3221224384 3221214776 1131438072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 26891 13086 16 0 210110 0
vsize: 840504
[startup+710.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 68655 62 0 0 25 0 11 0 778119338 860676096 26896 4294967295 134512640 134569956 3221224384 3221214776 1131438072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 26896 13086 16 0 210110 0
vsize: 840504
[startup+720.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 69637 62 0 0 25 0 11 0 778119338 860676096 26904 4294967295 134512640 134569956 3221224384 3221214664 1131174358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 26904 13086 16 0 210110 0
vsize: 840504
[startup+730.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 70621 63 0 0 25 0 11 0 778119338 860676096 26925 4294967295 134512640 134569956 3221224384 3221214664 1131174339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 26925 13086 16 0 210110 0
vsize: 840504
[startup+740.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 71603 63 0 0 25 0 11 0 778119338 860676096 26930 4294967295 134512640 134569956 3221224384 3221214664 1131174324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 26930 13086 16 0 210110 0
vsize: 840504
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 72584 63 0 0 24 0 11 0 778119338 860676096 26944 4294967295 134512640 134569956 3221224384 3221214672 1131397580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 26944 13086 16 0 210110 0
vsize: 840504
[startup+760.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 73565 63 0 0 25 0 11 0 778119338 860676096 26951 4294967295 134512640 134569956 3221224384 3221214672 1131396687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 26951 13086 16 0 210110 0
vsize: 840504
[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 74550 64 0 0 25 0 11 0 778119338 860676096 26959 4294967295 134512640 134569956 3221224384 3221214776 1131438069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 26959 13086 16 0 210110 0
vsize: 840504
[startup+780.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 75534 64 0 0 25 0 11 0 778119338 860676096 26962 4294967295 134512640 134569956 3221224384 3221214664 1131174324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 26962 13086 16 0 210110 0
vsize: 840504
[startup+790.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 76517 64 0 0 25 0 11 0 778119338 860676096 26970 4294967295 134512640 134569956 3221224384 3221214664 1131174355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 26970 13086 16 0 210110 0
vsize: 840504
[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 77496 64 0 0 25 0 11 0 778119338 860676096 26983 4294967295 134512640 134569956 3221224384 3221214776 1131438640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 26983 13086 16 0 210110 0
vsize: 840504
[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 78479 64 0 0 25 0 11 0 778119338 860676096 26994 4294967295 134512640 134569956 3221224384 3221214776 1131438072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 26994 13086 16 0 210110 0
vsize: 840504
[startup+820.044 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 79462 64 0 0 25 0 11 0 778119338 860676096 27000 4294967295 134512640 134569956 3221224384 3221214672 1131397143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27000 13086 16 0 210110 0
vsize: 840504
[startup+830.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 80444 65 0 0 25 0 11 0 778119338 860676096 27006 4294967295 134512640 134569956 3221224384 3221214672 1131396974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27006 13086 16 0 210110 0
vsize: 840504
[startup+840.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 81427 65 0 0 25 0 11 0 778119338 860676096 27030 4294967295 134512640 134569956 3221224384 3221214672 1131397268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27030 13086 16 0 210110 0
vsize: 840504
[startup+850.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 82410 65 0 0 25 0 11 0 778119338 860676096 27037 4294967295 134512640 134569956 3221224384 3221214772 1131438083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27037 13086 16 0 210110 0
vsize: 840504
[startup+860.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 83393 66 0 0 25 0 11 0 778119338 860676096 27050 4294967295 134512640 134569956 3221224384 3221214672 1131396606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27050 13086 16 0 210110 0
vsize: 840504
[startup+870.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 84377 66 0 0 25 0 11 0 778119338 860676096 27052 4294967295 134512640 134569956 3221224384 3221214664 1131174324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27052 13086 16 0 210110 0
vsize: 840504
[startup+880.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 85361 66 0 0 25 0 11 0 778119338 860676096 27059 4294967295 134512640 134569956 3221224384 3221214664 1131174347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27059 13086 16 0 210110 0
vsize: 840504
[startup+890.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 86340 67 0 0 25 0 11 0 778119338 860676096 27067 4294967295 134512640 134569956 3221224384 3221214672 1131396907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27067 13086 16 0 210110 0
vsize: 840504
[startup+900.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 87319 67 0 0 25 0 11 0 778119338 860676096 27071 4294967295 134512640 134569956 3221224384 3221214776 1131438072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27071 13086 16 0 210110 0
vsize: 840504
[startup+910.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 88299 67 0 0 25 0 11 0 778119338 860676096 27084 4294967295 134512640 134569956 3221224384 3221214772 1131396563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27084 13086 16 0 210110 0
vsize: 840504
[startup+920.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 89283 68 0 0 25 0 11 0 778119338 860676096 27114 4294967295 134512640 134569956 3221224384 3221214584 1131187014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27114 13086 16 0 210110 0
vsize: 840504
[startup+930.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 90267 68 0 0 25 0 11 0 778119338 860676096 27121 4294967295 134512640 134569956 3221224384 3221214776 1131438072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27121 13086 16 0 210110 0
vsize: 840504
[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 91250 69 0 0 25 0 11 0 778119338 860676096 27127 4294967295 134512640 134569956 3221224384 3221214776 1131438072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27127 13086 16 0 210110 0
vsize: 840504
[startup+950.054 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 92234 69 0 0 25 0 11 0 778119338 860676096 27136 4294967295 134512640 134569956 3221224384 3221214664 1131174324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27136 13086 16 0 210110 0
vsize: 840504
[startup+960.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 93216 69 0 0 25 0 11 0 778119338 860676096 27145 4294967295 134512640 134569956 3221224384 3221214776 1131438072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27145 13086 16 0 210110 0
vsize: 840504
[startup+970.055 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 94199 69 0 0 25 0 11 0 778119338 860676096 27153 4294967295 134512640 134569956 3221224384 3221214672 1131397196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27153 13086 16 0 210110 0
vsize: 840504
[startup+980.056 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 95178 70 0 0 25 0 11 0 778119338 860676096 27158 4294967295 134512640 134569956 3221224384 3221214776 1131438400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27158 13086 16 0 210110 0
vsize: 840504
[startup+990.056 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 96158 70 0 0 25 0 11 0 778119338 860676096 27163 4294967295 134512640 134569956 3221224384 3221214776 1131438278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27163 13086 16 0 210110 0
vsize: 840504
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 97140 70 0 0 25 0 11 0 778119338 860676096 27190 4294967295 134512640 134569956 3221224384 3221214776 1131438072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27190 13086 16 0 210110 0
vsize: 840504
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 98120 71 0 0 25 0 11 0 778119338 860676096 27193 4294967295 134512640 134569956 3221224384 3221214672 1131396581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27193 13086 16 0 210110 0
vsize: 840504
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 99103 71 0 0 25 0 11 0 778119338 860676096 27211 4294967295 134512640 134569956 3221224384 3221214776 1131438072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210126 27211 13086 16 0 210110 0
vsize: 840504
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 100085 71 0 0 25 0 11 0 778119338 860676096 27225 4294967295 134512640 134569956 3221224384 3221214672 1131397594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27225 13086 16 0 210110 0
vsize: 840504
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 101068 72 0 0 25 0 11 0 778119338 860676096 27227 4294967295 134512640 134569956 3221224384 3221214664 1131175027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27227 13086 16 0 210110 0
vsize: 840504
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 102048 72 0 0 25 0 11 0 778119338 860676096 27229 4294967295 134512640 134569956 3221224384 3221214736 1131428415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27229 13086 16 0 210110 0
vsize: 840504
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 103030 72 0 0 25 0 11 0 778119338 860676096 27235 4294967295 134512640 134569956 3221224384 3221214672 1131397028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27235 13086 16 0 210110 0
vsize: 840504
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 104011 73 0 0 25 0 11 0 778119338 860676096 27241 4294967295 134512640 134569956 3221224384 3221214776 1131438352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27241 13086 16 0 210110 0
vsize: 840504
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 104992 73 0 0 25 0 11 0 778119338 860676096 27256 4294967295 134512640 134569956 3221224384 3221214672 1131397192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27256 13086 16 0 210110 0
vsize: 840504
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 105975 74 0 0 25 0 11 0 778119338 860676096 27267 4294967295 134512640 134569956 3221224384 3221214776 1131438069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27267 13086 16 0 210110 0
vsize: 840504
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 106956 74 0 0 24 0 11 0 778119338 860676096 27272 4294967295 134512640 134569956 3221224384 3221214672 1131397216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27272 13086 16 0 210110 0
vsize: 840504
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 107943 74 0 0 25 0 11 0 778119338 860676096 27275 4294967295 134512640 134569956 3221224384 3221214776 1131438497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27275 13086 16 0 210110 0
vsize: 840504
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 108926 74 0 0 25 0 11 0 778119338 860676096 27280 4294967295 134512640 134569956 3221224384 3221214192 1079276344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27280 13086 16 0 210110 0
vsize: 840504
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 109908 75 0 0 25 0 11 0 778119338 860676096 27285 4294967295 134512640 134569956 3221224384 3221214776 1131438035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27285 13086 16 0 210110 0
vsize: 840504
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 110890 76 0 0 25 0 11 0 778119338 860676096 27288 4294967295 134512640 134569956 3221224384 3221214672 1131397028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27288 13086 16 0 210110 0
vsize: 840504
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 111872 76 0 0 25 0 11 0 778119338 860676096 27297 4294967295 134512640 134569956 3221224384 3221214772 1131396556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27297 13086 16 0 210110 0
vsize: 840504
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 112850 76 0 0 25 0 11 0 778119338 860676096 27303 4294967295 134512640 134569956 3221224384 3221214664 1131174324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27303 13086 16 0 210110 0
vsize: 840504
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 113831 76 0 0 25 0 11 0 778119338 860676096 27311 4294967295 134512640 134569956 3221224384 3221214664 1131174358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27311 13086 16 0 210110 0
vsize: 840504
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 114809 77 0 0 25 0 11 0 778119338 860676096 27322 4294967295 134512640 134569956 3221224384 3221214664 1131174335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27322 13086 16 0 210110 0
vsize: 840504
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 115789 77 0 0 25 0 11 0 778119338 860676096 27342 4294967295 134512640 134569956 3221224384 3221214672 1131397827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27342 13086 16 0 210110 0
vsize: 840504
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 116770 77 0 0 25 0 11 0 778119338 860676096 27364 4294967295 134512640 134569956 3221224384 3221214664 1131174317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27364 13086 16 0 210110 0
vsize: 840504
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 117752 78 0 0 25 0 11 0 778119338 860676096 27372 4294967295 134512640 134569956 3221224384 3221214672 1131397534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27372 13086 16 0 210110 0
vsize: 840504
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) S 31223 21152 21151 0 -1 0 18113 3 1 0 118734 79 0 0 25 0 11 0 778119338 860676096 27376 4294967295 134512640 134569956 3221224384 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27376 13086 16 0 210110 0
vsize: 840504
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 119719 79 0 0 25 0 11 0 778119338 860676096 27384 4294967295 134512640 134569956 3221224384 3221214776 1131438054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27384 13086 16 0 210110 0
vsize: 840504
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 31238
Raw data (stat): 31224 (java) R 31223 21152 21151 0 -1 0 18113 3 1 0 120699 79 0 0 25 0 11 0 778119338 860676096 27402 4294967295 134512640 134569956 3221224384 3221214664 1131174324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210126 27402 13086 16 0 210110 0
vsize: 840504
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.18 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 31240
Raw data (stat): 31224 (java) Z 31223 21152 21151 0 -1 1036 18113 14677 1 0 120704 85 4310 43 25 0 1 0 778119338 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): 1240.18
CPU time (s): 1251.43
CPU user time (s): 1250.15
CPU system time (s): 1.2858
CPU usage (%): 100.907
Max. virtual memory (Kb): 841472
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	365
#### END VERIFIER DATA ####