Name | normalized-opb/submitted/manquinho/logic-synthesis/normalized-alu4.b.opb |
MD5SUM | db06e7fbd4f70a4af68f8f196fdb3636 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 50 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 808 |
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 | 808 |
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 | 808 |
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 | 1.03884 |
Number of variables | 807 |
Total number of constraints | 1838 |
Number of constraints which are clauses | 1823 |
Number of constraints which are cardinality constraints (but not clauses) | 15 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 98 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-05-25 04:48:06 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20471 boxname=wulflinc2 idbench=61 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: db06e7fbd4f70a4af68f8f196fdb3636 /oldhome/oroussel/tmp/wulflinc2/normalized-alu4.b.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc2/normalized-alu4.b.opb IDLAUNCH: 20471 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 583048 kB Buffers: 19128 kB Cached: 412248 kB SwapCached: 696 kB Active: 29976 kB Inactive: 403804 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 582796 kB SwapTotal: 2097136 kB SwapFree: 2095796 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5616 kB Slab: 12028 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 05:09:19 (client local time) WITH STATUS 143 IN 1276.86 SECONDS stats: 20471 0 1276.86 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/wulflinc2/normalized-alu4.b.opb c reading problem ... done. Time 4.035 ms. c #vars 808 c #constraints 1823 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 65 Current CPU time: 4.99 ms c CURRENT OPTIMUM= 64 Current CPU time: 343.94 ms c CURRENT OPTIMUM= 60 Current CPU time: 1020.41 ms c starts : 11 c conflicts : 1306 c decisions : 42334 c propagations : 92647 c inspects : 768593 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1306 c root simplifications : 11 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 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 x803 -x804 x805 -x806 x807 -x808 c objectif function=60 c Total CPU time (ms) : 1265.241 #### 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.91 0.95 0.90 2/54 9815 Raw data (stat): 9815 (runsolver) R 9814 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777899992 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0275 s] Raw data (loadavg): 1.08 0.99 0.91 1/63 9825 Raw data (stat): 9815 (java) D 9814 31399 31398 0 -1 0 12909 3 97 0 373 38 0 0 18 0 10 0 777899992 858722304 14449 4294967295 134512640 134569956 3221224384 3221213004 1074594577 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209649 14450 13086 16 0 209633 0 vsize: 838596 [startup+20.0318 s] Raw data (loadavg): 1.07 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18066 3 98 0 1179 50 0 0 24 0 11 0 777899992 863731712 23447 4294967295 134512640 134569956 3221224384 3221214016 1077378129 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 23447 13086 16 0 210856 0 vsize: 843488 [startup+30.0327 s] Raw data (loadavg): 1.06 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18066 3 98 0 2133 51 0 0 25 0 11 0 777899992 863731712 23579 4294967295 134512640 134569956 3221224384 3221214544 1131291629 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 23579 13086 16 0 210856 0 vsize: 843488 [startup+40.0324 s] Raw data (loadavg): 1.05 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18066 3 98 0 3083 51 0 0 25 0 11 0 777899992 863731712 23590 4294967295 134512640 134569956 3221224384 3221214544 1131291588 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 23590 13086 16 0 210856 0 vsize: 843488 [startup+50.0326 s] Raw data (loadavg): 1.04 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18066 3 98 0 4034 51 0 0 25 0 11 0 777899992 863731712 23603 4294967295 134512640 134569956 3221224384 3221214640 1131564546 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 23603 13086 16 0 210856 0 vsize: 843488 [startup+60.0333 s] Raw data (loadavg): 1.03 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 4981 51 0 0 25 0 11 0 777899992 863731712 23677 4294967295 134512640 134569956 3221224384 3221214640 1131564510 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 23677 13086 16 0 210856 0 vsize: 843488 [startup+70.0335 s] Raw data (loadavg): 1.03 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 5948 52 0 0 25 0 11 0 777899992 863731712 24293 4294967295 134512640 134569956 3221224384 3221214544 1131292309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 24293 13086 16 0 210856 0 vsize: 843488 [startup+80.035 s] Raw data (loadavg): 1.02 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 6933 52 0 0 25 0 11 0 777899992 863731712 24296 4294967295 134512640 134569956 3221224384 3221214592 1131692560 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 24296 13086 16 0 210856 0 vsize: 843488 [startup+90.0349 s] Raw data (loadavg): 1.02 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 7916 52 0 0 25 0 11 0 777899992 863731712 24322 4294967295 134512640 134569956 3221224384 3221214664 1131564392 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 24322 13086 16 0 210856 0 vsize: 843488 [startup+100.035 s] Raw data (loadavg): 1.02 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 8896 52 0 0 25 0 11 0 777899992 863731712 24375 4294967295 134512640 134569956 3221224384 3221214560 1131182903 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 24375 13086 16 0 210856 0 vsize: 843488 [startup+110.036 s] Raw data (loadavg): 1.01 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 9882 52 0 0 25 0 11 0 777899992 863731712 24424 4294967295 134512640 134569956 3221224384 3221214784 1131398132 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 24424 13086 16 0 210856 0 vsize: 843488 [startup+120.036 s] Raw data (loadavg): 1.01 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 10846 53 0 0 25 0 11 0 777899992 863731712 24449 4294967295 134512640 134569956 3221224384 3221214672 1131364717 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 24449 13086 16 0 210856 0 vsize: 843488 [startup+130.037 s] Raw data (loadavg): 1.01 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 11805 53 0 0 25 0 11 0 777899992 863731712 24474 4294967295 134512640 134569956 3221224384 3221214664 1131564483 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 24474 13086 16 0 210856 0 vsize: 843488 [startup+140.037 s] Raw data (loadavg): 1.01 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 12766 53 0 0 25 0 11 0 777899992 863731712 24498 4294967295 134512640 134569956 3221224384 3221214568 1131291588 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 24498 13086 16 0 210856 0 vsize: 843488 [startup+150.038 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 13727 53 0 0 25 0 11 0 777899992 863731712 24510 4294967295 134512640 134569956 3221224384 3221214584 1131291588 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 24510 13086 16 0 210856 0 vsize: 843488 [startup+160.038 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 14702 54 0 0 25 0 11 0 777899992 863731712 24826 4294967295 134512640 134569956 3221224384 3221214584 1131292277 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 24826 13086 16 0 210856 0 vsize: 843488 [startup+170.038 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 15687 54 0 0 25 0 11 0 777899992 863731712 24935 4294967295 134512640 134569956 3221224384 3221214568 1131291418 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 24935 13086 16 0 210856 0 vsize: 843488 [startup+180.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 16671 54 0 0 25 0 11 0 777899992 863731712 24935 4294967295 134512640 134569956 3221224384 3221214560 1131182903 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 24935 13086 16 0 210856 0 vsize: 843488 [startup+190.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 17655 54 0 0 25 0 11 0 777899992 863731712 24935 4294967295 134512640 134569956 3221224384 3221214560 1131183019 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 24935 13086 16 0 210856 0 vsize: 843488 [startup+200.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 18638 55 0 0 25 0 11 0 777899992 863731712 24935 4294967295 134512640 134569956 3221224384 3221214624 1131241433 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 24935 13086 16 0 210856 0 vsize: 843488 [startup+210.041 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) S 9814 31399 31398 0 -1 0 18067 3 98 0 19619 55 0 0 25 0 11 0 777899992 863731712 25012 4294967295 134512640 134569956 3221224384 3221213312 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 25012 13086 16 0 210856 0 vsize: 843488 [startup+220.041 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 20608 55 0 0 25 0 11 0 777899992 863731712 25073 4294967295 134512640 134569956 3221224384 3221214584 1131291588 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 25073 13086 16 0 210856 0 vsize: 843488 [startup+230.042 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 21600 55 0 0 25 0 11 0 777899992 863731712 25073 4294967295 134512640 134569956 3221224384 3221214672 1131557230 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 25073 13086 16 0 210856 0 vsize: 843488 [startup+240.043 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 22593 56 0 0 25 0 11 0 777899992 863731712 25112 4294967295 134512640 134569956 3221224384 3221214584 1131291401 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 25112 13086 16 0 210856 0 vsize: 843488 [startup+250.043 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 23587 56 0 0 25 0 11 0 777899992 863731712 25112 4294967295 134512640 134569956 3221224384 3221214644 1131241403 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 25112 13086 16 0 210856 0 vsize: 843488 [startup+260.045 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 24577 56 0 0 25 0 11 0 777899992 863731712 25121 4294967295 134512640 134569956 3221224384 3221214560 1131183039 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 25121 13086 16 0 210856 0 vsize: 843488 [startup+270.045 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 25557 56 0 0 25 0 11 0 777899992 863731712 25121 4294967295 134512640 134569956 3221224384 3221214672 1131364253 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 25121 13086 16 0 210856 0 vsize: 843488 [startup+280.045 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 26493 57 0 0 25 0 11 0 777899992 863731712 25241 4294967295 134512640 134569956 3221224384 3221214688 1131291516 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 25241 13086 16 0 210856 0 vsize: 843488 [startup+290.045 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 27420 58 0 0 25 0 11 0 777899992 863731712 25460 4294967295 134512640 134569956 3221224384 3221214620 1130885175 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 25460 13086 16 0 210856 0 vsize: 843488 [startup+300.045 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 28336 58 0 0 25 0 11 0 777899992 863731712 25764 4294967295 134512640 134569956 3221224384 3221214584 1131291588 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 25764 13086 16 0 210856 0 vsize: 843488 [startup+310.045 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 29262 58 0 0 25 0 11 0 777899992 863731712 25878 4294967295 134512640 134569956 3221224384 3221214664 1131564720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 25878 13086 16 0 210856 0 vsize: 843488 [startup+320.046 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 30176 59 0 0 25 0 11 0 777899992 863731712 26185 4294967295 134512640 134569956 3221224384 3221214740 1130885132 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 26185 13086 16 0 210856 0 vsize: 843488 [startup+330.046 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 31118 59 0 0 25 0 11 0 777899992 863731712 26367 4294967295 134512640 134569956 3221224384 3221214568 1131291363 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 26367 13086 16 0 210856 0 vsize: 843488 [startup+340.046 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9826 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 32064 60 0 0 25 0 11 0 777899992 863731712 26614 4294967295 134512640 134569956 3221224384 3221214644 1131241403 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 26614 13086 16 0 210856 0 vsize: 843488 [startup+350.047 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 33016 61 0 0 25 0 11 0 777899992 863731712 26678 4294967295 134512640 134569956 3221224384 3221214624 1131182900 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 26678 13086 16 0 210856 0 vsize: 843488 [startup+360.047 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) S 9814 31399 31398 0 -1 0 18067 3 98 0 33937 61 0 0 25 0 11 0 777899992 863731712 26977 4294967295 134512640 134569956 3221224384 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 26978 13086 16 0 210856 0 vsize: 843488 [startup+370.047 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 34860 61 0 0 25 0 11 0 777899992 863731712 27911 4294967295 134512640 134569956 3221224384 3221214736 1131531944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 27911 13086 16 0 210856 0 vsize: 843488 [startup+380.049 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 35772 62 0 0 25 0 11 0 777899992 863731712 28852 4294967295 134512640 134569956 3221224384 3221214624 1131183482 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 28852 13086 16 0 210856 0 vsize: 843488 [startup+390.049 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 36694 62 0 0 25 0 11 0 777899992 863731712 29279 4294967295 134512640 134569956 3221224384 3221214560 1131291843 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 29279 13086 16 0 210856 0 vsize: 843488 [startup+400.049 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 37630 62 0 0 25 0 11 0 777899992 863731712 29506 4294967295 134512640 134569956 3221224384 3221214648 1131557715 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 29506 13086 16 0 210856 0 vsize: 843488 [startup+410.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 38571 63 0 0 25 0 11 0 777899992 863731712 29506 4294967295 134512640 134569956 3221224384 3221214636 1131242355 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 29506 13086 16 0 210856 0 vsize: 843488 [startup+420.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 39495 63 0 0 25 0 11 0 777899992 863731712 29763 4294967295 134512640 134569956 3221224384 3221214624 1131182900 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 29763 13086 16 0 210856 0 vsize: 843488 [startup+430.051 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 40426 63 0 0 25 0 11 0 777899992 863731712 29834 4294967295 134512640 134569956 3221224384 3221214632 1131364810 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 29834 13086 16 0 210856 0 vsize: 843488 [startup+440.052 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 41366 64 0 0 25 0 11 0 777899992 863731712 30224 4294967295 134512640 134569956 3221224384 3221214596 1130885243 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 30224 13086 16 0 210856 0 vsize: 843488 [startup+450.053 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 42317 64 0 0 25 0 11 0 777899992 863731712 30319 4294967295 134512640 134569956 3221224384 3221214640 1131564427 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 30319 13086 16 0 210856 0 vsize: 843488 [startup+460.053 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 43274 64 0 0 25 0 11 0 777899992 863731712 30402 4294967295 134512640 134569956 3221224384 3221214632 1131364914 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 30402 13086 16 0 210856 0 vsize: 843488 [startup+470.054 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 44213 64 0 0 25 0 11 0 777899992 863731712 30602 4294967295 134512640 134569956 3221224384 3221214624 1131182900 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 30602 13086 16 0 210856 0 vsize: 843488 [startup+480.055 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 45137 65 0 0 25 0 11 0 777899992 863731712 31101 4294967295 134512640 134569956 3221224384 3221214624 1131182900 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 31101 13086 16 0 210856 0 vsize: 843488 [startup+490.055 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 46066 65 0 0 25 0 11 0 777899992 863731712 31764 4294967295 134512640 134569956 3221224384 3221214632 1131364773 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 31764 13086 16 0 210856 0 vsize: 843488 [startup+500.055 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 47004 65 0 0 25 0 11 0 777899992 863731712 31980 4294967295 134512640 134569956 3221224384 3221214640 1131564427 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 31980 13086 16 0 210856 0 vsize: 843488 [startup+510.056 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) S 9814 31399 31398 0 -1 0 18067 3 98 0 47947 66 0 0 25 0 11 0 777899992 863731712 31980 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 31980 13086 16 0 210856 0 vsize: 843488 [startup+520.056 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 48891 66 0 0 25 0 11 0 777899992 863731712 32099 4294967295 134512640 134569956 3221224384 3221214656 1131394067 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 32099 13086 16 0 210856 0 vsize: 843488 [startup+530.057 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) S 9814 31399 31398 0 -1 0 18067 3 98 0 49836 66 0 0 25 0 11 0 777899992 863731712 32221 4294967295 134512640 134569956 3221224384 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 32221 13086 16 0 210856 0 vsize: 843488 [startup+540.058 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 50761 67 0 0 25 0 11 0 777899992 863731712 32499 4294967295 134512640 134569956 3221224384 3221214624 1131182900 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 32499 13086 16 0 210856 0 vsize: 843488 [startup+550.057 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 51688 68 0 0 25 0 11 0 777899992 863731712 32753 4294967295 134512640 134569956 3221224384 3221214632 1131364748 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 32753 13086 16 0 210856 0 vsize: 843488 [startup+560.057 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 52619 68 0 0 25 0 11 0 777899992 863731712 32986 4294967295 134512640 134569956 3221224384 3221214632 1131364717 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 32986 13086 16 0 210856 0 vsize: 843488 [startup+570.058 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 53541 68 0 0 25 0 11 0 777899992 863731712 33208 4294967295 134512640 134569956 3221224384 3221214832 1131368599 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 33208 13086 16 0 210856 0 vsize: 843488 [startup+580.058 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 54463 68 0 0 25 0 11 0 777899992 863731712 33502 4294967295 134512640 134569956 3221224384 3221214736 1131531400 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 33502 13086 16 0 210856 0 vsize: 843488 [startup+590.058 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 55378 68 0 0 25 0 11 0 777899992 863731712 33645 4294967295 134512640 134569956 3221224384 3221214636 1131291276 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 33645 13086 16 0 210856 0 vsize: 843488 [startup+600.058 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 56307 68 0 0 25 0 11 0 777899992 863731712 33868 4294967295 134512640 134569956 3221224384 3221214640 1131564896 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 33868 13086 16 0 210856 0 vsize: 843488 [startup+610.058 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 57241 68 0 0 25 0 11 0 777899992 863731712 34064 4294967295 134512640 134569956 3221224384 3221214632 1131364298 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 34064 13086 16 0 210856 0 vsize: 843488 [startup+620.058 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 58174 68 0 0 25 0 11 0 777899992 863731712 34357 4294967295 134512640 134569956 3221224384 3221214632 1131364675 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 34357 13086 16 0 210856 0 vsize: 843488 [startup+630.059 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 59122 69 0 0 25 0 11 0 777899992 863731712 34479 4294967295 134512640 134569956 3221224384 3221214640 1131564861 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 34479 13086 16 0 210856 0 vsize: 843488 [startup+640.059 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 60062 69 0 0 25 0 11 0 777899992 863731712 34565 4294967295 134512640 134569956 3221224384 3221214632 1131364717 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 34565 13086 16 0 210856 0 vsize: 843488 [startup+650.059 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 60989 69 0 0 24 0 11 0 777899992 863731712 34766 4294967295 134512640 134569956 3221224384 3221214624 1131182900 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 34766 13086 16 0 210856 0 vsize: 843488 [startup+660.059 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 61936 70 0 0 25 0 11 0 777899992 863731712 34898 4294967295 134512640 134569956 3221224384 3221214632 1131364902 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 34898 13086 16 0 210856 0 vsize: 843488 [startup+670.059 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 62883 70 0 0 25 0 11 0 777899992 863731712 35030 4294967295 134512640 134569956 3221224384 3221214632 1131364675 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 35030 13086 16 0 210856 0 vsize: 843488 [startup+680.061 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 63839 71 0 0 25 0 11 0 777899992 863731712 35283 4294967295 134512640 134569956 3221224384 3221214640 1131564514 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 35283 13086 16 0 210856 0 vsize: 843488 [startup+690.061 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 64803 71 0 0 25 0 11 0 777899992 863731712 35407 4294967295 134512640 134569956 3221224384 3221214736 1131531257 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 35407 13086 16 0 210856 0 vsize: 843488 [startup+700.061 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 65772 72 0 0 25 0 11 0 777899992 863731712 35436 4294967295 134512640 134569956 3221224384 3221214632 1131365306 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 35436 13086 16 0 210856 0 vsize: 843488 [startup+710.061 s] Raw data (loadavg): 1.00 0.99 0.91 2/64 9827 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 66743 72 0 0 25 0 11 0 777899992 863731712 35544 4294967295 134512640 134569956 3221224384 3221214640 1131564546 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 35544 13086 16 0 210856 0 vsize: 843488 [startup+720.107 s] Raw data (loadavg): 1.08 1.00 0.92 3/68 9873 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 67715 74 0 0 25 0 11 0 777899992 863731712 35598 4294967295 134512640 134569956 3221224384 3221214736 1131531400 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 35598 13086 16 0 210856 0 vsize: 843488 [startup+730.108 s] Raw data (loadavg): 1.07 1.00 0.92 2/64 9880 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 68686 75 0 0 25 0 11 0 777899992 863731712 35649 4294967295 134512640 134569956 3221224384 3221214636 1131241104 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 35649 13086 16 0 210856 0 vsize: 843488 [startup+740.109 s] Raw data (loadavg): 1.06 1.00 0.92 2/64 9880 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 69659 75 0 0 25 0 11 0 777899992 863731712 35701 4294967295 134512640 134569956 3221224384 3221214632 1131364534 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 35701 13086 16 0 210856 0 vsize: 843488 [startup+750.109 s] Raw data (loadavg): 1.05 1.00 0.92 2/64 9880 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 70634 76 0 0 25 0 11 0 777899992 863731712 35718 4294967295 134512640 134569956 3221224384 3221214560 1131291629 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 35718 13086 16 0 210856 0 vsize: 843488 [startup+760.109 s] Raw data (loadavg): 1.04 1.00 0.92 2/64 9880 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 71605 76 0 0 25 0 11 0 777899992 863731712 35815 4294967295 134512640 134569956 3221224384 3221214732 1131182887 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 35815 13086 16 0 210856 0 vsize: 843488 [startup+770.108 s] Raw data (loadavg): 1.03 1.00 0.92 2/64 9880 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 72574 77 0 0 25 0 11 0 777899992 863731712 35865 4294967295 134512640 134569956 3221224384 3221214760 1131527980 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 35865 13086 16 0 210856 0 vsize: 843488 [startup+780.109 s] Raw data (loadavg): 1.03 1.00 0.92 2/64 9880 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 73545 77 0 0 25 0 11 0 777899992 863731712 35925 4294967295 134512640 134569956 3221224384 3221214624 1131182900 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 35925 13086 16 0 210856 0 vsize: 843488 [startup+790.109 s] Raw data (loadavg): 1.02 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 74516 77 0 0 25 0 11 0 777899992 863731712 35942 4294967295 134512640 134569956 3221224384 3221214656 1131394067 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 35942 13086 16 0 210856 0 vsize: 843488 [startup+800.109 s] Raw data (loadavg): 1.02 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 75486 78 0 0 25 0 11 0 777899992 863731712 36010 4294967295 134512640 134569956 3221224384 3221214544 1131292309 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 36010 13086 16 0 210856 0 vsize: 843488 [startup+810.109 s] Raw data (loadavg): 1.02 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 76450 78 0 0 25 0 11 0 777899992 863731712 36087 4294967295 134512640 134569956 3221224384 3221214736 1131531632 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 36087 13086 16 0 210856 0 vsize: 843488 [startup+820.11 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 77410 78 0 0 25 0 11 0 777899992 863731712 36199 4294967295 134512640 134569956 3221224384 3221214736 1131531887 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 36199 13086 16 0 210856 0 vsize: 843488 [startup+830.111 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 78369 79 0 0 25 0 11 0 777899992 863731712 36227 4294967295 134512640 134569956 3221224384 3221214624 1131182900 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 36227 13086 16 0 210856 0 vsize: 843488 [startup+840.11 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 79328 79 0 0 25 0 11 0 777899992 863731712 36306 4294967295 134512640 134569956 3221224384 3221214544 1131291588 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 36306 13086 16 0 210856 0 vsize: 843488 [startup+850.11 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 80286 79 0 0 25 0 11 0 777899992 863731712 36408 4294967295 134512640 134569956 3221224384 3221214560 1131291549 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 36408 13086 16 0 210856 0 vsize: 843488 [startup+860.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 81250 80 0 0 25 0 11 0 777899992 863731712 36497 4294967295 134512640 134569956 3221224384 3221214600 1131241456 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 36497 13086 16 0 210856 0 vsize: 843488 [startup+870.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 82204 80 0 0 25 0 11 0 777899992 863731712 36599 4294967295 134512640 134569956 3221224384 3221214624 1131182900 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 36599 13086 16 0 210856 0 vsize: 843488 [startup+880.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 83150 81 0 0 25 0 11 0 777899992 863731712 36666 4294967295 134512640 134569956 3221224384 3221214648 1131557736 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 36666 13086 16 0 210856 0 vsize: 843488 [startup+890.111 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 84096 81 0 0 25 0 11 0 777899992 863731712 36790 4294967295 134512640 134569956 3221224384 3221214632 1131364286 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 36790 13086 16 0 210856 0 vsize: 843488 [startup+900.111 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 85034 82 0 0 24 0 11 0 777899992 863731712 36940 4294967295 134512640 134569956 3221224384 3221214632 1131364717 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 36940 13086 16 0 210856 0 vsize: 843488 [startup+910.111 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 85980 82 0 0 25 0 11 0 777899992 863731712 37095 4294967295 134512640 134569956 3221224384 3221214736 1131531245 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 37095 13086 16 0 210856 0 vsize: 843488 [startup+920.112 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 86933 82 0 0 25 0 11 0 777899992 863731712 37150 4294967295 134512640 134569956 3221224384 3221214544 1131291588 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 37150 13086 16 0 210856 0 vsize: 843488 [startup+930.113 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 87885 83 0 0 25 0 11 0 777899992 863731712 37260 4294967295 134512640 134569956 3221224384 3221214632 1131703095 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 37260 13086 16 0 210856 0 vsize: 843488 [startup+940.112 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 88838 83 0 0 25 0 11 0 777899992 863731712 37434 4294967295 134512640 134569956 3221224384 3221214544 1131291325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 37434 13086 16 0 210856 0 vsize: 843488 [startup+950.112 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 89809 83 0 0 25 0 11 0 777899992 863731712 37635 4294967295 134512640 134569956 3221224384 3221214624 1131182923 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 37635 13086 16 0 210856 0 vsize: 843488 [startup+960.113 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 90784 84 0 0 25 0 11 0 777899992 863731712 37648 4294967295 134512640 134569956 3221224384 3221214596 1130885186 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 37648 13086 16 0 210856 0 vsize: 843488 [startup+970.115 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) S 9814 31399 31398 0 -1 0 18067 3 98 0 91755 84 0 0 25 0 11 0 777899992 863731712 37680 4294967295 134512640 134569956 3221224384 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 37680 13086 16 0 210856 0 vsize: 843488 [startup+980.117 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 92725 84 0 0 25 0 11 0 777899992 863731712 37760 4294967295 134512640 134569956 3221224384 3221214760 1131397647 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 37760 13086 16 0 210856 0 vsize: 843488 [startup+990.117 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 93696 85 0 0 25 0 11 0 777899992 863731712 37791 4294967295 134512640 134569956 3221224384 3221214632 1131364717 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 37791 13086 16 0 210856 0 vsize: 843488 [startup+1000.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 94669 85 0 0 25 0 11 0 777899992 863731712 37846 4294967295 134512640 134569956 3221224384 3221214736 1131531812 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 37846 13086 16 0 210856 0 vsize: 843488 [startup+1010.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 95636 85 0 0 25 0 11 0 777899992 863731712 37910 4294967295 134512640 134569956 3221224384 3221214736 1131531257 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 37910 13086 16 0 210856 0 vsize: 843488 [startup+1020.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9882 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18067 3 98 0 96600 86 0 0 25 0 11 0 777899992 863731712 37959 4294967295 134512640 134569956 3221224384 3221214732 1131364236 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 37959 13086 16 0 210856 0 vsize: 843488 [startup+1030.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9883 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 97554 86 0 0 17 0 11 0 777899992 863731712 38009 4294967295 134512640 134569956 3221224384 3221214624 1131182961 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 38009 13086 16 0 210856 0 vsize: 843488 [startup+1040.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 98509 86 0 0 25 0 11 0 777899992 863731712 38053 4294967295 134512640 134569956 3221224384 3221214624 1131183067 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 38053 13086 16 0 210856 0 vsize: 843488 [startup+1050.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 99465 87 0 0 25 0 11 0 777899992 863731712 38139 4294967295 134512640 134569956 3221224384 3221214088 1131766008 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 38139 13086 16 0 210856 0 vsize: 843488 [startup+1060.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 100448 87 0 0 25 0 11 0 777899992 863731712 38195 4294967295 134512640 134569956 3221224384 3221214632 1131364339 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 38195 13086 16 0 210856 0 vsize: 843488 [startup+1070.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 101419 87 0 0 25 0 11 0 777899992 863731712 38365 4294967295 134512640 134569956 3221224384 3221214624 1131182900 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 38365 13086 16 0 210856 0 vsize: 843488 [startup+1080.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 102387 87 0 0 25 0 11 0 777899992 863731712 38486 4294967295 134512640 134569956 3221224384 3221214120 1131770225 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 38486 13086 16 0 210856 0 vsize: 843488 [startup+1090.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 103361 88 0 0 25 0 11 0 777899992 863731712 38493 4294967295 134512640 134569956 3221224384 3221214560 1131291588 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 38493 13086 16 0 210856 0 vsize: 843488 [startup+1100.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 104330 88 0 0 25 0 11 0 777899992 863731712 38502 4294967295 134512640 134569956 3221224384 3221214640 1131564546 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 38502 13086 16 0 210856 0 vsize: 843488 [startup+1110.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 105310 89 0 0 25 0 11 0 777899992 863731712 38534 4294967295 134512640 134569956 3221224384 3221213976 1131764445 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 38534 13086 16 0 210856 0 vsize: 843488 [startup+1120.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 106277 89 0 0 25 0 11 0 777899992 863731712 38690 4294967295 134512640 134569956 3221224384 3221214648 1131557262 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 38690 13086 16 0 210856 0 vsize: 843488 [startup+1130.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 107249 89 0 0 25 0 11 0 777899992 863731712 38696 4294967295 134512640 134569956 3221224384 3221214632 1131365212 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 38696 13086 16 0 210856 0 vsize: 843488 [startup+1140.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 108206 90 0 0 25 0 11 0 777899992 863731712 38737 4294967295 134512640 134569956 3221224384 3221214632 1131365285 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 38737 13086 16 0 210856 0 vsize: 843488 [startup+1150.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 109160 91 0 0 25 0 11 0 777899992 863731712 38770 4294967295 134512640 134569956 3221224384 3221214632 1131364662 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 38770 13086 16 0 210856 0 vsize: 843488 [startup+1160.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 110117 91 0 0 25 0 11 0 777899992 863731712 38785 4294967295 134512640 134569956 3221224384 3221214692 1130885120 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 38785 13086 16 0 210856 0 vsize: 843488 [startup+1170.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 111072 91 0 0 25 0 11 0 777899992 863731712 38895 4294967295 134512640 134569956 3221224384 3221214544 1131291504 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 38895 13086 16 0 210856 0 vsize: 843488 [startup+1180.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 112018 92 0 0 25 0 11 0 777899992 863731712 39080 4294967295 134512640 134569956 3221224384 3221214648 1131557767 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 39080 13086 16 0 210856 0 vsize: 843488 [startup+1190.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 112982 92 0 0 25 0 11 0 777899992 863731712 39241 4294967295 134512640 134569956 3221224384 3221214360 1131764336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 39241 13086 16 0 210856 0 vsize: 843488 [startup+1200.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 113958 92 0 0 25 0 11 0 777899992 863731712 39304 4294967295 134512640 134569956 3221224384 3221214632 1131364473 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210872 39304 13086 16 0 210856 0 vsize: 843488 [startup+1210.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 114934 93 0 0 25 0 11 0 777899992 863731712 39388 4294967295 134512640 134569956 3221224384 3221213976 1131764331 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 39388 13086 16 0 210856 0 vsize: 843488 [startup+1220.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 115904 93 0 0 25 0 11 0 777899992 863731712 39518 4294967295 134512640 134569956 3221224384 3221213696 1131764432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 39518 13086 16 0 210856 0 vsize: 843488 [startup+1230.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 116883 93 0 0 25 0 11 0 777899992 863731712 39549 4294967295 134512640 134569956 3221224384 3221214536 1131182957 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 39549 13086 16 0 210856 0 vsize: 843488 [startup+1240.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 117856 93 0 0 25 0 11 0 777899992 863731712 39549 4294967295 134512640 134569956 3221224384 3221214736 1131531452 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 39549 13086 16 0 210856 0 vsize: 843488 [startup+1250.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 118845 93 0 0 25 0 11 0 777899992 863731712 39549 4294967295 134512640 134569956 3221224384 3221214624 1131182900 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 39549 13086 16 0 210856 0 vsize: 843488 [startup+1260.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 119811 93 0 0 25 0 11 0 777899992 863731712 39549 4294967295 134512640 134569956 3221224384 3221214736 1131531382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 39549 13086 16 0 210856 0 vsize: 843488 [startup+1270.12 s] Raw data (loadavg): 1.00 1.00 0.92 2/64 9885 Raw data (stat): 9815 (java) R 9814 31399 31398 0 -1 0 18068 3 98 0 120771 93 0 0 25 0 11 0 777899992 863731712 39689 4294967295 134512640 134569956 3221224384 3221214624 1131182905 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210872 39689 13086 16 0 210856 0 vsize: 843488 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1270.23 s] Raw data (loadavg): 1.00 1.00 0.92 1/54 9887 Raw data (stat): 9815 (java) Z 9814 31399 31398 0 -1 1036 18068 25521 98 0 120774 101 6742 68 25 0 1 0 777899992 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): 1270.23 CPU time (s): 1276.86 CPU user time (s): 1275.17 CPU system time (s): 1.69574 CPU usage (%): 100.522 Max. virtual memory (Kb): 843488 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 60 #### END VERIFIER DATA ####