Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb |
MD5SUM | a483fc3761bb4050329265bf3a3a7ca5 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 372 |
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.04284 |
Number of variables | 808 |
Total number of constraints | 5557 |
Number of constraints which are clauses | 5557 |
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 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc11 THE 2005-05-25 05:22:13 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20566 boxname=wulflinc11 idbench=156 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: a483fc3761bb4050329265bf3a3a7ca5 /oldhome/oroussel/tmp/wulflinc11/normalized-ii32d2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc11/normalized-ii32d2.opb IDLAUNCH: 20566 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 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.028 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: 877156 kB Buffers: 18956 kB Cached: 117768 kB SwapCached: 772 kB Active: 33324 kB Inactive: 105404 kB HighTotal: 131008 kB HighFree: 13440 kB LowTotal: 903652 kB LowFree: 863716 kB SwapTotal: 2097136 kB SwapFree: 2095468 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5024 kB Slab: 13220 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 05:43:05 (client local time) WITH STATUS 143 IN 1260.79 SECONDS stats: 20566 0 1260.79 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/wulflinc11/normalized-ii32d2.opb c reading problem ... done. Time 4.359 ms. c #vars 808 c #constraints 5557 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 404 Current CPU time: 9.76 ms c CURRENT OPTIMUM= 403 Current CPU time: 27.43 ms c CURRENT OPTIMUM= 402 Current CPU time: 78.16 ms c CURRENT OPTIMUM= 401 Current CPU time: 106.64 ms c CURRENT OPTIMUM= 400 Current CPU time: 116.63 ms c CURRENT OPTIMUM= 398 Current CPU time: 786.78 ms c CURRENT OPTIMUM= 397 Current CPU time: 804.56 ms c CURRENT OPTIMUM= 396 Current CPU time: 859.96 ms c starts : 33 c conflicts : 7379 c decisions : 18847 c propagations : 835241 c inspects : 7608115 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 7379 c root simplifications : 33 s SATISFIABLE v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 -x11 x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 -x33 x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 x75 -x76 -x77 x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 -x129 x130 x131 -x132 x133 -x134 -x135 x136 -x137 x138 x139 -x140 x141 -x142 -x143 x144 -x145 -x146 x147 -x148 x149 -x150 -x151 x152 x153 -x154 -x155 x156 -x157 x158 x159 -x160 x161 -x162 -x163 -x164 x165 -x166 -x167 x168 -x169 x170 x171 -x172 -x173 x174 x175 -x176 x177 -x178 -x179 x180 -x181 x182 x183 -x184 -x185 x186 x187 -x188 -x189 x190 x191 -x192 -x193 x194 x195 -x196 x197 -x198 -x199 x200 -x201 -x202 x203 -x204 x205 -x206 -x207 x208 x209 -x210 -x211 -x212 -x213 x214 x215 -x216 -x217 x218 x219 -x220 -x221 x222 x223 -x224 -x225 x226 x227 -x228 -x229 -x230 x231 -x232 x233 -x234 -x235 -x236 x237 -x238 -x239 x240 -x241 -x242 x243 -x244 -x245 x246 x247 -x248 x249 -x250 -x251 x252 x253 -x254 -x255 x256 x257 -x258 x259 -x260 x261 -x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 -x301 x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 -x315 x316 x317 -x318 -x319 x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 -x371 x372 x373 -x374 x375 -x376 x377 -x378 x379 -x380 x381 -x382 x383 -x384 x385 -x386 x387 -x388 x389 -x390 x391 -x392 x393 -x394 x395 -x396 -x397 x398 x399 -x400 x401 -x402 x403 -x404 x405 -x406 x407 -x408 x409 -x410 x411 -x412 x413 -x414 x415 -x416 x417 -x418 x419 -x420 x421 -x422 x423 -x424 -x425 x426 x427 -x428 x429 -x430 x431 -x432 x433 -x434 x435 -x436 x437 -x438 x439 -x440 x441 -x442 x443 -x444 x445 -x446 x447 -x448 x449 -x450 x451 -x452 x453 -x454 x455 -x456 x457 -x458 x459 -x460 x461 -x462 x463 -x464 x465 -x466 x467 -x468 x469 -x470 -x471 x472 x473 -x474 x475 -x476 x477 -x478 x479 -x480 x481 -x482 x483 -x484 x485 -x486 x487 -x488 x489 -x490 x491 -x492 x493 -x494 x495 -x496 x497 -x498 x499 -x500 x501 -x502 x503 -x504 x505 -x506 x507 -x508 x509 -x510 x511 -x512 x513 -x514 -x515 x516 -x517 x518 -x519 x520 -x521 x522 -x523 x524 x525 -x526 -x527 x528 -x529 x530 -x531 x532 -x533 x534 x535 -x536 x537 -x538 -x539 x540 -x541 x542 -x543 x544 -x545 x546 -x547 x548 -x549 x550 x551 -x552 x553 -x554 -x555 x556 -x557 x558 -x559 x560 x561 -x562 -x563 x564 -x565 x566 -x567 x568 x569 -x570 -x571 x572 -x573 x574 -x575 x576 -x577 x578 -x579 x580 -x581 x582 x583 -x584 -x585 x586 -x587 x588 x589 -x590 -x591 x592 x593 -x594 -x595 x596 -x597 x598 -x599 x600 x601 -x602 -x603 x604 -x605 x606 -x607 x608 -x609 x610 -x611 x612 x613 -x614 -x615 x616 -x617 x618 -x619 x620 -x621 x622 x623 -x624 -x625 x626 -x627 x628 -x629 x630 x631 -x632 x633 -x634 -x635 x636 -x637 x638 -x639 x640 -x641 x642 -x643 x644 -x645 x646 x647 -x648 x649 -x650 -x651 x652 -x653 x654 -x655 x656 x657 -x658 -x659 x660 -x661 x662 -x663 x664 -x665 x666 -x667 x668 -x669 x670 x671 -x672 -x673 x674 -x675 x676 -x677 x678 x679 -x680 x681 -x682 -x683 x684 -x685 x686 -x687 x688 x689 -x690 -x691 x692 -x693 x694 -x695 x696 x697 -x698 -x699 x700 -x701 x702 -x703 x704 -x705 x706 -x707 x708 -x709 x710 x711 -x712 x713 -x714 -x715 x716 -x717 x718 -x719 x720 -x721 x722 -x723 x724 -x725 x726 x727 -x728 -x729 x730 -x731 x732 x733 -x734 -x735 x736 x737 -x738 -x739 x740 x741 -x742 -x743 x744 -x745 x746 -x747 x748 x749 -x750 -x751 x752 x753 -x754 -x755 x756 -x757 x758 -x759 x760 -x761 x762 -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=396 c Total CPU time (ms) : 1249.099 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.98 0.98 2/54 4273 Raw data (stat): 4273 (runsolver) R 4272 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778097527 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.0001 s] Raw data (loadavg): 1.16 1.03 1.00 3/64 4283 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18064 0 1 0 744 42 0 0 25 0 11 0 778097527 858210304 20323 4294967295 134512640 134569956 3221224384 3221214776 1131423465 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209524 20323 13086 16 0 209508 0 vsize: 838096 [startup+20.0015 s] Raw data (loadavg): 1.21 1.05 1.00 2/64 4284 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18110 3 1 0 1644 43 0 0 25 0 11 0 778097527 860209152 22628 4294967295 134512640 134569956 3221224384 3221214672 1131386219 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 22628 13086 16 0 209996 0 vsize: 840048 [startup+30.0032 s] Raw data (loadavg): 1.17 1.05 1.00 2/64 4285 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18110 3 1 0 2600 43 0 0 24 0 11 0 778097527 860209152 22628 4294967295 134512640 134569956 3221224384 3221214684 1131441203 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 22628 13086 16 0 209996 0 vsize: 840048 [startup+40.0035 s] Raw data (loadavg): 1.23 1.06 1.01 2/64 4285 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18110 3 1 0 3547 44 0 0 25 0 11 0 778097527 863354880 23560 4294967295 134512640 134569956 3221224384 3221214656 1131385861 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210780 23560 13086 16 0 210764 0 vsize: 843120 [startup+50.0048 s] Raw data (loadavg): 1.19 1.06 1.01 2/64 4285 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18110 3 1 0 4486 44 0 0 25 0 11 0 778097527 860209152 22950 4294967295 134512640 134569956 3221224384 3221214760 1131421381 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 22950 13086 16 0 209996 0 vsize: 840048 [startup+60.0056 s] Raw data (loadavg): 1.16 1.06 1.01 2/64 4285 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18110 3 1 0 5412 44 0 0 25 0 11 0 778097527 860209152 23101 4294967295 134512640 134569956 3221224384 3221214656 1131386230 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 23101 13086 16 0 209996 0 vsize: 840048 [startup+70.0064 s] Raw data (loadavg): 1.14 1.05 1.01 2/64 4285 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18110 3 1 0 6345 44 0 0 25 0 11 0 778097527 860209152 23394 4294967295 134512640 134569956 3221224384 3221214656 1131385701 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 23394 13086 16 0 209996 0 vsize: 840048 [startup+80.0082 s] Raw data (loadavg): 1.12 1.05 1.00 2/64 4286 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18110 3 1 0 7269 44 0 0 25 0 11 0 778097527 860209152 23551 4294967295 134512640 134569956 3221224384 3221214832 1131397477 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 23551 13086 16 0 209996 0 vsize: 840048 [startup+90.0091 s] Raw data (loadavg): 1.10 1.05 1.00 2/64 4286 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18110 3 1 0 8193 44 0 0 25 0 11 0 778097527 860209152 23704 4294967295 134512640 134569956 3221224384 3221214648 1131198422 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 23704 13086 16 0 209996 0 vsize: 840048 [startup+100.009 s] Raw data (loadavg): 1.08 1.05 1.00 2/64 4286 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18110 3 1 0 9116 44 0 0 25 0 11 0 778097527 860209152 23842 4294967295 134512640 134569956 3221224384 3221214648 1131198403 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 23842 13086 16 0 209996 0 vsize: 840048 [startup+110.011 s] Raw data (loadavg): 1.07 1.05 1.00 2/64 4287 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18110 3 1 0 10039 44 0 0 25 0 11 0 778097527 860209152 24086 4294967295 134512640 134569956 3221224384 3221214648 1131198388 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 24086 13086 16 0 209996 0 vsize: 840048 [startup+120.015 s] Raw data (loadavg): 1.06 1.04 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18110 3 1 0 10973 44 0 0 25 0 11 0 778097527 860209152 24302 4294967295 134512640 134569956 3221224384 3221214656 1131386143 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 24302 13086 16 0 209996 0 vsize: 840048 [startup+130.016 s] Raw data (loadavg): 1.05 1.04 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 11916 44 0 0 25 0 11 0 778097527 860209152 24302 4294967295 134512640 134569956 3221224384 3221214656 1131386394 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 24302 13086 16 0 209996 0 vsize: 840048 [startup+140.017 s] Raw data (loadavg): 1.04 1.04 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 12858 44 0 0 25 0 11 0 778097527 860209152 24450 4294967295 134512640 134569956 3221224384 3221214656 1131385742 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 24450 13086 16 0 209996 0 vsize: 840048 [startup+150.017 s] Raw data (loadavg): 1.03 1.04 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 13797 44 0 0 25 0 11 0 778097527 860209152 24621 4294967295 134512640 134569956 3221224384 3221214756 1131385676 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 24621 13086 16 0 209996 0 vsize: 840048 [startup+160.017 s] Raw data (loadavg): 1.03 1.04 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 14751 44 0 0 25 0 11 0 778097527 860209152 24737 4294967295 134512640 134569956 3221224384 3221214656 1131386640 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 24737 13086 16 0 209996 0 vsize: 840048 [startup+170.018 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 15713 44 0 0 25 0 11 0 778097527 860209152 24866 4294967295 134512640 134569956 3221224384 3221214760 1131421016 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 24866 13086 16 0 209996 0 vsize: 840048 [startup+180.019 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 16672 44 0 0 25 0 11 0 778097527 860209152 24951 4294967295 134512640 134569956 3221224384 3221214648 1131198419 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 24951 13086 16 0 209996 0 vsize: 840048 [startup+190.02 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 17638 44 0 0 25 0 11 0 778097527 860209152 25055 4294967295 134512640 134569956 3221224384 3221214656 1131386240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 25055 13086 16 0 209996 0 vsize: 840048 [startup+200.021 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 18610 44 0 0 25 0 11 0 778097527 860209152 25093 4294967295 134512640 134569956 3221224384 3221214696 1131386354 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 25093 13086 16 0 209996 0 vsize: 840048 [startup+210.021 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 19577 44 0 0 25 0 11 0 778097527 860209152 25139 4294967295 134512640 134569956 3221224384 3221214656 1131386143 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 25139 13086 16 0 209996 0 vsize: 840048 [startup+220.022 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 20545 45 0 0 25 0 11 0 778097527 860209152 25169 4294967295 134512640 134569956 3221224384 3221214720 1131400096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 25169 13086 16 0 209996 0 vsize: 840048 [startup+230.023 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 21503 45 0 0 25 0 11 0 778097527 860209152 25196 4294967295 134512640 134569956 3221224384 3221214760 1131422355 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 25196 13086 16 0 209996 0 vsize: 840048 [startup+240.024 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 22466 45 0 0 25 0 11 0 778097527 860209152 25251 4294967295 134512640 134569956 3221224384 3221214656 1131386143 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 25251 13086 16 0 209996 0 vsize: 840048 [startup+250.023 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 23425 45 0 0 25 0 11 0 778097527 860209152 25296 4294967295 134512640 134569956 3221224384 3221214608 1131205156 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 25296 13086 16 0 209996 0 vsize: 840048 [startup+260.024 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 24390 45 0 0 25 0 11 0 778097527 860209152 25361 4294967295 134512640 134569956 3221224384 3221214568 1131204090 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 25361 13086 16 0 209996 0 vsize: 840048 [startup+270.025 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 25352 45 0 0 25 0 11 0 778097527 860209152 25469 4294967295 134512640 134569956 3221224384 3221214656 1131386224 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 25469 13086 16 0 209996 0 vsize: 840048 [startup+280.026 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 4288 Raw data (stat): 4273 (java) S 4272 25830 25829 0 -1 0 18111 3 1 0 26315 45 0 0 25 0 11 0 778097527 860209152 25510 4294967295 134512640 134569956 3221224384 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 25510 13086 16 0 209996 0 vsize: 840048 [startup+290.027 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 27282 45 0 0 25 0 11 0 778097527 860209152 25536 4294967295 134512640 134569956 3221224384 3221214656 1131386724 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 25536 13086 16 0 209996 0 vsize: 840048 [startup+300.026 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 28244 46 0 0 25 0 11 0 778097527 860209152 25604 4294967295 134512640 134569956 3221224384 3221214656 1131386324 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 25604 13086 16 0 209996 0 vsize: 840048 [startup+310.027 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 29205 47 0 0 25 0 11 0 778097527 860209152 25685 4294967295 134512640 134569956 3221224384 3221214760 1131421016 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 25685 13086 16 0 209996 0 vsize: 840048 [startup+320.028 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 30162 47 0 0 25 0 11 0 778097527 860209152 25717 4294967295 134512640 134569956 3221224384 3221214760 1131421468 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 25717 13086 16 0 209996 0 vsize: 840048 [startup+330.028 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 31122 48 0 0 25 0 11 0 778097527 860209152 25747 4294967295 134512640 134569956 3221224384 3221214760 1131421086 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 25747 13086 16 0 209996 0 vsize: 840048 [startup+340.028 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 32071 48 0 0 25 0 11 0 778097527 860209152 25797 4294967295 134512640 134569956 3221224384 3221214656 1131386041 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 25797 13086 16 0 209996 0 vsize: 840048 [startup+350.028 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 33025 48 0 0 25 0 11 0 778097527 860209152 25874 4294967295 134512640 134569956 3221224384 3221214656 1131385697 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 25874 13086 16 0 209996 0 vsize: 840048 [startup+360.029 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 33978 48 0 0 25 0 11 0 778097527 860209152 25967 4294967295 134512640 134569956 3221224384 3221213976 1131567292 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 25967 13086 16 0 209996 0 vsize: 840048 [startup+370.03 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 34953 48 0 0 25 0 11 0 778097527 860209152 25998 4294967295 134512640 134569956 3221224384 3221214760 1131420877 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 25998 13086 16 0 209996 0 vsize: 840048 [startup+380.029 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 35921 49 0 0 25 0 11 0 778097527 860209152 26082 4294967295 134512640 134569956 3221224384 3221214224 1131198407 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 26082 13086 16 0 209996 0 vsize: 840048 [startup+390.03 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 36896 49 0 0 25 0 11 0 778097527 860209152 26114 4294967295 134512640 134569956 3221224384 3221213944 1131567223 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 26114 13086 16 0 209996 0 vsize: 840048 [startup+400.03 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 37865 50 0 0 24 0 11 0 778097527 860209152 26160 4294967295 134512640 134569956 3221224384 3221214000 1131567288 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 26160 13086 16 0 209996 0 vsize: 840048 [startup+410.031 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 38839 50 0 0 25 0 11 0 778097527 860209152 26230 4294967295 134512640 134569956 3221224384 3221214376 1131282581 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 26230 13086 16 0 209996 0 vsize: 840048 [startup+420.031 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 39815 50 0 0 25 0 11 0 778097527 860209152 26292 4294967295 134512640 134569956 3221224384 3221214768 1131453599 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 26292 13086 16 0 209996 0 vsize: 840048 [startup+430.032 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 40768 51 0 0 25 0 11 0 778097527 860209152 26333 4294967295 134512640 134569956 3221224384 3221214656 1131386710 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 26333 13086 16 0 209996 0 vsize: 840048 [startup+440.032 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 41719 52 0 0 25 0 11 0 778097527 860209152 26395 4294967295 134512640 134569956 3221224384 3221214776 1131450801 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 26395 13086 16 0 209996 0 vsize: 840048 [startup+450.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 42679 52 0 0 25 0 11 0 778097527 860209152 26470 4294967295 134512640 134569956 3221224384 3221214024 1085679526 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 26470 13086 16 0 209996 0 vsize: 840048 [startup+460.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 43646 52 0 0 25 0 11 0 778097527 860209152 26529 4294967295 134512640 134569956 3221224384 3221214720 1131498017 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 26529 13086 16 0 209996 0 vsize: 840048 [startup+470.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 44614 52 0 0 25 0 11 0 778097527 860209152 26595 4294967295 134512640 134569956 3221224384 3221214756 1131199104 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 26595 13086 16 0 209996 0 vsize: 840048 [startup+480.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 45579 53 0 0 25 0 11 0 778097527 860209152 26681 4294967295 134512640 134569956 3221224384 3221214760 1131421394 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 26681 13086 16 0 209996 0 vsize: 840048 [startup+490.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 46556 53 0 0 25 0 11 0 778097527 860209152 26728 4294967295 134512640 134569956 3221224384 3221214656 1131386143 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 26728 13086 16 0 209996 0 vsize: 840048 [startup+500.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 47531 54 0 0 25 0 11 0 778097527 860209152 26777 4294967295 134512640 134569956 3221224384 3221214360 1085679305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 26777 13086 16 0 209996 0 vsize: 840048 [startup+510.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 48506 54 0 0 25 0 11 0 778097527 860209152 26800 4294967295 134512640 134569956 3221224384 3221214360 1085679526 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 26800 13086 16 0 209996 0 vsize: 840048 [startup+520.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 49479 54 0 0 25 0 11 0 778097527 860209152 26825 4294967295 134512640 134569956 3221224384 3221214112 1131567260 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 26825 13086 16 0 209996 0 vsize: 840048 [startup+530.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 50451 54 0 0 25 0 11 0 778097527 860209152 26864 4294967295 134512640 134569956 3221224384 3221213864 1131567313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 26864 13086 16 0 209996 0 vsize: 840048 [startup+540.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 51423 55 0 0 25 0 11 0 778097527 860209152 26883 4294967295 134512640 134569956 3221224384 3221213920 1131567288 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 26883 13086 16 0 209996 0 vsize: 840048 [startup+550.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 52385 55 0 0 25 0 11 0 778097527 860209152 26934 4294967295 134512640 134569956 3221224384 3221214760 1131421618 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 26934 13086 16 0 209996 0 vsize: 840048 [startup+560.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 53354 55 0 0 25 0 11 0 778097527 860209152 26974 4294967295 134512640 134569956 3221224384 3221214044 1131567136 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 26974 13086 16 0 209996 0 vsize: 840048 [startup+570.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 54316 56 0 0 25 0 11 0 778097527 860209152 27073 4294967295 134512640 134569956 3221224384 3221214212 1131610889 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27073 13086 16 0 209996 0 vsize: 840048 [startup+580.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 55287 56 0 0 25 0 11 0 778097527 860209152 27118 4294967295 134512640 134569956 3221224384 3221214760 1131421013 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27118 13086 16 0 209996 0 vsize: 840048 [startup+590.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 56256 56 0 0 25 0 11 0 778097527 860209152 27163 4294967295 134512640 134569956 3221224384 3221214768 1131417273 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27163 13086 16 0 209996 0 vsize: 840048 [startup+600.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 57225 56 0 0 25 0 11 0 778097527 860209152 27207 4294967295 134512640 134569956 3221224384 3221214760 1131421016 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27207 13086 16 0 209996 0 vsize: 840048 [startup+610.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 58193 57 0 0 25 0 11 0 778097527 860209152 27260 4294967295 134512640 134569956 3221224384 3221214656 1131385726 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27260 13086 16 0 209996 0 vsize: 840048 [startup+620.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 59186 57 0 0 25 0 11 0 778097527 860209152 27279 4294967295 134512640 134569956 3221224384 3221214216 1131610876 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27279 13086 16 0 209996 0 vsize: 840048 [startup+630.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 60171 58 0 0 25 0 11 0 778097527 860209152 27302 4294967295 134512640 134569956 3221224384 3221214656 1131386143 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27302 13086 16 0 209996 0 vsize: 840048 [startup+640.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 61142 58 0 0 25 0 11 0 778097527 860209152 27367 4294967295 134512640 134569956 3221224384 3221213800 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27367 13086 16 0 209996 0 vsize: 840048 [startup+650.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 62108 59 0 0 25 0 11 0 778097527 860209152 27425 4294967295 134512640 134569956 3221224384 3221214248 1085679305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27425 13086 16 0 209996 0 vsize: 840048 [startup+660.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 63083 59 0 0 25 0 11 0 778097527 860209152 27494 4294967295 134512640 134569956 3221224384 3221214024 1085679305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27494 13086 16 0 209996 0 vsize: 840048 [startup+670.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 64064 59 0 0 25 0 11 0 778097527 860209152 27549 4294967295 134512640 134569956 3221224384 3221214336 1131567322 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27549 13086 16 0 209996 0 vsize: 840048 [startup+680.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 65046 59 0 0 25 0 11 0 778097527 860209152 27596 4294967295 134512640 134569956 3221224384 3221214056 1131567313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27596 13086 16 0 209996 0 vsize: 840048 [startup+690.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 66027 60 0 0 25 0 11 0 778097527 860209152 27649 4294967295 134512640 134569956 3221224384 3221214756 1131421027 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27649 13086 16 0 209996 0 vsize: 840048 [startup+700.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 66997 60 0 0 25 0 11 0 778097527 860209152 27689 4294967295 134512640 134569956 3221224384 3221214648 1131198450 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27689 13086 16 0 209996 0 vsize: 840048 [startup+710.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 67972 60 0 0 25 0 11 0 778097527 860209152 27706 4294967295 134512640 134569956 3221224384 3221213968 1085679753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27706 13086 16 0 209996 0 vsize: 840048 [startup+720.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 68946 60 0 0 25 0 11 0 778097527 860209152 27730 4294967295 134512640 134569956 3221224384 3221214568 1131204125 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27730 13086 16 0 209996 0 vsize: 840048 [startup+730.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 69918 60 0 0 25 0 11 0 778097527 860209152 27749 4294967295 134512640 134569956 3221224384 3221214648 1131198388 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27749 13086 16 0 209996 0 vsize: 840048 [startup+740.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 70890 61 0 0 25 0 11 0 778097527 860209152 27769 4294967295 134512640 134569956 3221224384 3221214656 1131386649 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27769 13086 16 0 209996 0 vsize: 840048 [startup+750.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 71866 62 0 0 25 0 11 0 778097527 860209152 27805 4294967295 134512640 134569956 3221224384 3221214656 1131386140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 27805 13086 16 0 209996 0 vsize: 840048 [startup+760.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 72842 62 0 0 25 0 11 0 778097527 860209152 27839 4294967295 134512640 134569956 3221224384 3221214032 1131238196 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27839 13086 16 0 209996 0 vsize: 840048 [startup+770.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 73809 63 0 0 25 0 11 0 778097527 860209152 27885 4294967295 134512640 134569956 3221224384 3221214212 1131610852 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27885 13086 16 0 209996 0 vsize: 840048 [startup+780.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4288 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 74778 63 0 0 25 0 11 0 778097527 860209152 27923 4294967295 134512640 134569956 3221224384 3221213944 1131567157 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27923 13086 16 0 209996 0 vsize: 840048 [startup+790.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4289 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 75753 63 0 0 25 0 11 0 778097527 860209152 27958 4294967295 134512640 134569956 3221224384 3221214152 1131610888 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27958 13086 16 0 209996 0 vsize: 840048 [startup+800.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4289 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 76744 64 0 0 25 0 11 0 778097527 860209152 27964 4294967295 134512640 134569956 3221224384 3221214080 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27964 13086 16 0 209996 0 vsize: 840048 [startup+810.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4290 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 77726 64 0 0 25 0 11 0 778097527 860209152 27988 4294967295 134512640 134569956 3221224384 3221214496 1131610855 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 27988 13086 16 0 209996 0 vsize: 840048 [startup+820.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4290 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 78691 64 0 0 25 0 11 0 778097527 860209152 28034 4294967295 134512640 134569956 3221224384 3221213608 1085679386 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28034 13086 16 0 209996 0 vsize: 840048 [startup+830.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4290 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 79657 65 0 0 25 0 11 0 778097527 860209152 28097 4294967295 134512640 134569956 3221224384 3221214760 1131422445 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28097 13086 16 0 209996 0 vsize: 840048 [startup+840.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4290 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 80633 65 0 0 25 0 11 0 778097527 860209152 28127 4294967295 134512640 134569956 3221224384 3221214656 1131386115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28127 13086 16 0 209996 0 vsize: 840048 [startup+850.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4290 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 81608 66 0 0 25 0 11 0 778097527 860209152 28203 4294967295 134512640 134569956 3221224384 3221214800 1131404999 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28203 13086 16 0 209996 0 vsize: 840048 [startup+860.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4290 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 82579 66 0 0 25 0 11 0 778097527 860209152 28272 4294967295 134512640 134569956 3221224384 3221214632 1131364476 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 28272 13086 16 0 209996 0 vsize: 840048 [startup+870.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 83571 66 0 0 25 0 11 0 778097527 860209152 28276 4294967295 134512640 134569956 3221224384 3221214384 1131610830 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 28276 13086 16 0 209996 0 vsize: 840048 [startup+880.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 84547 66 0 0 25 0 11 0 778097527 860209152 28306 4294967295 134512640 134569956 3221224384 3221214392 1131567252 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28306 13086 16 0 209996 0 vsize: 840048 [startup+890.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 85515 67 0 0 25 0 11 0 778097527 860209152 28360 4294967295 134512640 134569956 3221224384 3221214760 1131421016 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 28360 13086 16 0 209996 0 vsize: 840048 [startup+900.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 86485 67 0 0 25 0 11 0 778097527 860209152 28447 4294967295 134512640 134569956 3221224384 3221214664 1131274010 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28447 13086 16 0 209996 0 vsize: 840048 [startup+910.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 87457 67 0 0 25 0 11 0 778097527 860209152 28492 4294967295 134512640 134569956 3221224384 3221213864 1131567313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 28492 13086 16 0 209996 0 vsize: 840048 [startup+920.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 88437 67 0 0 25 0 11 0 778097527 860209152 28505 4294967295 134512640 134569956 3221224384 3221214760 1131420998 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28505 13086 16 0 209996 0 vsize: 840048 [startup+930.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 89416 67 0 0 25 0 11 0 778097527 860209152 28515 4294967295 134512640 134569956 3221224384 3221214656 1131385701 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28515 13086 16 0 209996 0 vsize: 840048 [startup+940.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 90377 67 0 0 25 0 11 0 778097527 860209152 28555 4294967295 134512640 134569956 3221224384 3221214756 1131385676 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28555 13086 16 0 209996 0 vsize: 840048 [startup+950.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 91370 67 0 0 25 0 11 0 778097527 860209152 28562 4294967295 134512640 134569956 3221224384 3221213716 1131567312 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28562 13086 16 0 209996 0 vsize: 840048 [startup+960.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 92340 67 0 0 25 0 11 0 778097527 860209152 28664 4294967295 134512640 134569956 3221224384 3221214656 1131386308 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28664 13086 16 0 209996 0 vsize: 840048 [startup+970.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) S 4272 25830 25829 0 -1 0 18111 3 1 0 93323 68 0 0 25 0 11 0 778097527 860209152 28694 4294967295 134512640 134569956 3221224384 3221213296 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28694 13086 16 0 209996 0 vsize: 840048 [startup+980.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 94298 68 0 0 25 0 11 0 778097527 860209152 28724 4294967295 134512640 134569956 3221224384 3221214360 1085679482 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28724 13086 16 0 209996 0 vsize: 840048 [startup+990.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 95273 68 0 0 25 0 11 0 778097527 860209152 28754 4294967295 134512640 134569956 3221224384 3221214224 1131567288 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28754 13086 16 0 209996 0 vsize: 840048 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 96253 69 0 0 25 0 11 0 778097527 860209152 28789 4294967295 134512640 134569956 3221224384 3221214380 1131282560 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28789 13086 16 0 209996 0 vsize: 840048 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 97242 69 0 0 25 0 11 0 778097527 860209152 28800 4294967295 134512640 134569956 3221224384 3221213860 1131610624 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 28800 13086 16 0 209996 0 vsize: 840048 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 98232 70 0 0 25 0 11 0 778097527 860209152 28804 4294967295 134512640 134569956 3221224384 3221214000 1131567377 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28804 13086 16 0 209996 0 vsize: 840048 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 99210 70 0 0 25 0 11 0 778097527 860209152 28810 4294967295 134512640 134569956 3221224384 3221214648 1131198422 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28810 13086 16 0 209996 0 vsize: 840048 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 100187 70 0 0 25 0 11 0 778097527 860209152 28818 4294967295 134512640 134569956 3221224384 3221214760 1131421553 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28818 13086 16 0 209996 0 vsize: 840048 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 101164 70 0 0 25 0 11 0 778097527 860209152 28829 4294967295 134512640 134569956 3221224384 3221214648 1131198484 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28829 13086 16 0 209996 0 vsize: 840048 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 102140 71 0 0 25 0 11 0 778097527 860209152 28838 4294967295 134512640 134569956 3221224384 3221213872 1131610888 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 28838 13086 16 0 209996 0 vsize: 840048 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 103123 71 0 0 25 0 11 0 778097527 860209152 28848 4294967295 134512640 134569956 3221224384 3221214760 1131421016 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28848 13086 16 0 209996 0 vsize: 840048 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 104093 71 0 0 25 0 11 0 778097527 860209152 28863 4294967295 134512640 134569956 3221224384 3221214648 1131198381 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28863 13086 16 0 209996 0 vsize: 840048 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 105070 71 0 0 25 0 11 0 778097527 860209152 28916 4294967295 134512640 134569956 3221224384 3221214244 1085679260 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28916 13086 16 0 209996 0 vsize: 840048 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 106047 72 0 0 25 0 11 0 778097527 860209152 28962 4294967295 134512640 134569956 3221224384 3221213744 1131607909 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28962 13086 16 0 209996 0 vsize: 840048 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 107022 72 0 0 25 0 11 0 778097527 860209152 28992 4294967295 134512640 134569956 3221224384 3221213688 1085679325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 28992 13086 16 0 209996 0 vsize: 840048 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 108005 72 0 0 25 0 11 0 778097527 860209152 29001 4294967295 134512640 134569956 3221224384 3221213696 1131567274 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 29001 13086 16 0 209996 0 vsize: 840048 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 108979 72 0 0 25 0 11 0 778097527 860209152 29015 4294967295 134512640 134569956 3221224384 3221214704 1131454984 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 29015 13086 16 0 209996 0 vsize: 840048 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 109958 72 0 0 25 0 11 0 778097527 860209152 29022 4294967295 134512640 134569956 3221224384 3221214760 1131421157 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 29022 13086 16 0 209996 0 vsize: 840048 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 110932 73 0 0 25 0 11 0 778097527 860209152 29036 4294967295 134512640 134569956 3221224384 3221214760 1131421016 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 29036 13086 16 0 209996 0 vsize: 840048 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 111905 73 0 0 25 0 11 0 778097527 860209152 29072 4294967295 134512640 134569956 3221224384 3221214136 1131607863 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 29072 13086 16 0 209996 0 vsize: 840048 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 112884 74 0 0 25 0 11 0 778097527 860209152 29098 4294967295 134512640 134569956 3221224384 3221214760 1131420998 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 29098 13086 16 0 209996 0 vsize: 840048 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) S 4272 25830 25829 0 -1 0 18111 3 1 0 113860 74 0 0 25 0 11 0 778097527 860209152 29127 4294967295 134512640 134569956 3221224384 3221213296 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 29127 13086 16 0 209996 0 vsize: 840048 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 114835 74 0 0 25 0 11 0 778097527 860209152 29155 4294967295 134512640 134569956 3221224384 3221214648 1131198549 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210012 29155 13086 16 0 209996 0 vsize: 840048 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 115812 74 0 0 25 0 11 0 778097527 860209152 29166 4294967295 134512640 134569956 3221224384 3221214760 1131421033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 29166 13086 16 0 209996 0 vsize: 840048 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 116781 75 0 0 25 0 11 0 778097527 860209152 29186 4294967295 134512640 134569956 3221224384 3221214656 1131385726 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 29186 13086 16 0 209996 0 vsize: 840048 [startup+1220.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 117750 75 0 0 25 0 11 0 778097527 860209152 29202 4294967295 134512640 134569956 3221224384 3221214760 1131421016 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 29202 13086 16 0 209996 0 vsize: 840048 [startup+1230.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 118724 76 0 0 25 0 11 0 778097527 860209152 29227 4294967295 134512640 134569956 3221224384 3221214336 1131567373 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 29227 13086 16 0 209996 0 vsize: 840048 [startup+1240.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 119704 76 0 0 25 0 11 0 778097527 860209152 29245 4294967295 134512640 134569956 3221224384 3221214648 1131198462 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 29245 13086 16 0 209996 0 vsize: 840048 [startup+1250.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4291 Raw data (stat): 4273 (java) R 4272 25830 25829 0 -1 0 18111 3 1 0 120671 76 0 0 25 0 11 0 778097527 860209152 29295 4294967295 134512640 134569956 3221224384 3221214216 1131610661 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210012 29295 13086 16 0 209996 0 vsize: 840048 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.15 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 4293 Raw data (stat): 4273 (java) Z 4272 25830 25829 0 -1 1036 18111 15766 1 0 120675 82 5279 42 25 0 1 0 778097527 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1250.15 CPU time (s): 1260.79 CPU user time (s): 1259.55 CPU system time (s): 1.24281 CPU usage (%): 100.852 Max. virtual memory (Kb): 843120 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 396 #### END VERIFIER DATA ####