Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32a1.opb |
MD5SUM | eb47f4c49e66c2bccec3237bb66dd1b2 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 444 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 918 |
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 | 918 |
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 | 918 |
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 | 9.00763 |
Number of variables | 918 |
Total number of constraints | 9671 |
Number of constraints which are clauses | 9671 |
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 wulflinc31 THE 2005-05-05 19:48:00 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1306 boxname=wulflinc31 idbench=146 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: eb47f4c49e66c2bccec3237bb66dd1b2 /oldhome/oroussel/tmp/wulflinc31/normalized-ii32a1.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ii32a1.opb IDLAUNCH: 1306 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 157028 kB Buffers: 34928 kB Cached: 808856 kB SwapCached: 640 kB Active: 481492 kB Inactive: 364364 kB HighTotal: 131008 kB HighFree: 12992 kB LowTotal: 903652 kB LowFree: 144036 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5024 kB Slab: 26344 kB Committed_AS: 63376 kB PageTables: 304 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-05 20:07:41 (client local time) WITH STATUS 10 IN 1180.6 SECONDS stats: 1306 0 1180.6 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 918 variables and 9671 constraints. c After prepocess the problem consists of 918 variables and 9671 constraints. c preprocess terminated 32.865 s c Initial Lower Bound: 290 c Lower Bound Elapsed time: 20.3947 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 459 @ 175.918 c NEW SOLUTION FOUND: 458 @ 175.92 c NEW SOLUTION FOUND: 457 @ 175.938 c NEW SOLUTION FOUND: 456 @ 175.949 c NEW SOLUTION FOUND: 455 @ 175.96 c NEW SOLUTION FOUND: 454 @ 175.972 c NEW SOLUTION FOUND: 453 @ 175.983 c NEW SOLUTION FOUND: 452 @ 175.996 c NEW SOLUTION FOUND: 451 @ 176.007 c NEW SOLUTION FOUND: 450 @ 176.031 c NEW SOLUTION FOUND: 449 @ 176.056 c NEW SOLUTION FOUND: 448 @ 176.069 c NEW SOLUTION FOUND: 447 @ 176.082 c NEW SOLUTION FOUND: 446 @ 176.108 c NEW SOLUTION FOUND: 445 @ 176.122 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 -x809 x810 x811 -x812 -x813 x814 -x815 x816 -x817 x818 -x819 x820 x821 -x822 -x823 x824 -x825 x826 x827 -x828 x829 -x830 -x831 -x832 -x833 x834 -x835 x836 -x837 x838 x839 -x840 x841 -x842 -x843 x844 -x845 x846 x847 -x848 -x849 x850 -x851 x852 -x853 x854 -x855 x856 x857 -x858 -x859 x860 -x861 x862 x863 -x864 -x865 x866 -x867 x868 x869 -x870 x871 -x872 -x873 x874 -x875 x876 -x877 -x878 -x879 x880 x881 -x882 -x883 x884 -x885 x886 x887 -x888 x889 -x890 -x891 -x892 -x893 x894 -x895 x896 -x897 x898 x899 -x900 x901 -x902 -x903 x904 -x905 x906 x907 -x908 -x909 x910 -x911 x912 -x913 x914 -x915 x916 x917 -x918 c Exit Code: 10 c Total time: 1180.56 s #### 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.97 0.95 2/53 17419 Raw data (stat): 17419 (runsolver) R 17418 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 668678666 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0002 s] Raw data (loadavg): 0.93 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 2610 0 0 0 986 10 0 0 25 0 1 0 668678666 13869056 2530 4294967295 134512640 134714508 3221221792 3221220592 134617624 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3386 2530 1111 63 0 3323 0 vsize: 13544 [startup+20.0007 s] Raw data (loadavg): 0.94 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 2616 0 0 0 1985 11 0 0 25 0 1 0 668678666 13869056 2536 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3386 2536 1111 63 0 3323 0 vsize: 13544 [startup+30.001 s] Raw data (loadavg): 0.95 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 2616 0 0 0 2985 11 0 0 25 0 1 0 668678666 13869056 2536 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3386 2536 1111 63 0 3323 0 vsize: 13544 [startup+40.002 s] Raw data (loadavg): 0.96 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 4528 0 0 0 3981 16 0 0 25 0 1 0 668678666 22564864 4053 4294967295 134512640 134714508 3221221792 3221217672 1074789644 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5509 4053 1111 63 0 5446 0 vsize: 22036 [startup+50.0029 s] Raw data (loadavg): 0.96 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 4704 0 0 0 4980 16 0 0 25 0 1 0 668678666 22925312 4229 4294967295 134512640 134714508 3221221792 3221217932 1075116549 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5597 4229 1111 63 0 5534 0 vsize: 22388 [startup+60.0029 s] Raw data (loadavg): 0.97 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 6663 0 0 0 5975 22 0 0 25 0 1 0 668678666 17829888 3607 4294967295 134512640 134714508 3221221792 3221219708 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4353 3607 1111 63 0 4290 0 vsize: 17412 [startup+70.0039 s] Raw data (loadavg): 0.97 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 8160 0 0 0 6972 25 0 0 25 0 1 0 668678666 22892544 4302 4294967295 134512640 134714508 3221221792 3221218368 1075967698 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5589 4302 1111 63 0 5526 0 vsize: 22356 [startup+80.0043 s] Raw data (loadavg): 0.98 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 10173 0 0 0 7966 31 0 0 25 0 1 0 668678666 18108416 3674 4294967295 134512640 134714508 3221221792 3221219864 1074950064 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4421 3674 1111 63 0 4358 0 vsize: 17684 [startup+90.0057 s] Raw data (loadavg): 0.98 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 11673 0 0 0 8963 34 0 0 25 0 1 0 668678666 23126016 4357 4294967295 134512640 134714508 3221221792 3221217952 1075115715 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5646 4357 1111 63 0 5583 0 vsize: 22584 [startup+100.007 s] Raw data (loadavg): 0.98 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 13699 0 0 0 9959 39 0 0 25 0 1 0 668678666 18186240 3701 4294967295 134512640 134714508 3221221792 3221219864 1074950108 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4440 3701 1111 63 0 4377 0 vsize: 17760 [startup+110.008 s] Raw data (loadavg): 0.98 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 15202 0 0 0 10954 44 0 0 25 0 1 0 668678666 23220224 4388 4294967295 134512640 134714508 3221221792 3221217932 1075116851 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5669 4388 1111 63 0 5606 0 vsize: 22676 [startup+120.008 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 16376 0 0 0 11951 47 0 0 25 0 1 0 668678666 16539648 3343 4294967295 134512640 134714508 3221221792 3221220568 134600364 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4038 3343 1111 63 0 3975 0 vsize: 16152 [startup+130.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 16528 0 0 0 12950 48 0 0 25 0 1 0 668678666 17215488 3495 4294967295 134512640 134714508 3221221792 3221220380 134543588 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4203 3495 1111 63 0 4140 0 vsize: 16812 [startup+140.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 16689 0 0 0 13949 49 0 0 25 0 1 0 668678666 17891328 3656 4294967295 134512640 134714508 3221221792 3221220496 134528449 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4368 3656 1111 63 0 4305 0 vsize: 17472 [startup+150.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 16864 0 0 0 14948 50 0 0 25 0 1 0 668678666 18563072 3831 4294967295 134512640 134714508 3221221792 3221220532 134594953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4532 3831 1111 63 0 4469 0 vsize: 18128 [startup+160.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 17034 0 0 0 15948 50 0 0 25 0 1 0 668678666 19238912 4001 4294967295 134512640 134714508 3221221792 3221220328 134613965 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4697 4001 1111 63 0 4634 0 vsize: 18788 [startup+170.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 17197 0 0 0 16947 52 0 0 25 0 1 0 668678666 19914752 4164 4294967295 134512640 134714508 3221221792 3221220348 134539237 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4862 4164 1111 63 0 4799 0 vsize: 19448 [startup+180.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 18330 0 0 0 17944 54 0 0 25 0 1 0 668678666 25444352 4809 4294967295 134512640 134714508 3221221792 3221218012 1075116810 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6212 4809 1111 63 0 6149 0 vsize: 24848 [startup+190.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 20113 0 0 0 18940 59 0 0 25 0 1 0 668678666 20049920 4217 4294967295 134512640 134714508 3221221792 3221220044 1077404726 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4895 4217 1111 63 0 4832 0 vsize: 19580 [startup+200.015 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 22028 0 0 0 19934 64 0 0 25 0 1 0 668678666 25436160 4807 4294967295 134512640 134714508 3221221792 3221218560 1076083427 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6210 4807 1111 63 0 6147 0 vsize: 24840 [startup+210.015 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 24387 0 0 0 20928 70 0 0 25 0 1 0 668678666 25370624 4733 4294967295 134512640 134714508 3221221792 3221217952 1074883672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6194 4733 1111 63 0 6131 0 vsize: 24776 [startup+220.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 26092 0 0 0 21924 75 0 0 25 0 1 0 668678666 20107264 4231 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4909 4231 1111 63 0 4846 0 vsize: 19636 [startup+230.017 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 28459 0 0 0 22919 80 0 0 25 0 1 0 668678666 20078592 4224 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4902 4224 1111 63 0 4839 0 vsize: 19608 [startup+240.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 30316 0 0 0 23915 84 0 0 25 0 1 0 668678666 25391104 4791 4294967295 134512640 134714508 3221221792 3221217848 1074789596 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6199 4791 1111 63 0 6136 0 vsize: 24796 [startup+250.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 32905 0 0 0 24909 90 0 0 25 0 1 0 668678666 25391104 4694 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6199 4694 1111 63 0 6136 0 vsize: 24796 [startup+260.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 34629 0 0 0 25906 94 0 0 25 0 1 0 668678666 20004864 4207 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4884 4207 1111 63 0 4821 0 vsize: 19536 [startup+270.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 36510 0 0 0 26901 98 0 0 25 0 1 0 668678666 25591808 4802 4294967295 134512640 134714508 3221221792 3221218012 1075116564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6248 4802 1111 63 0 6185 0 vsize: 24992 [startup+280.02 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 38997 0 0 0 27895 105 0 0 25 0 1 0 668678666 25415680 4799 4294967295 134512640 134714508 3221221792 3221218012 1075116856 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6205 4799 1111 63 0 6142 0 vsize: 24820 [startup+290.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 41514 0 0 0 28888 112 0 0 25 0 1 0 668678666 25366528 4686 4294967295 134512640 134714508 3221221792 3221217936 1074970650 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6193 4686 1111 63 0 6130 0 vsize: 24772 [startup+300.022 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 43223 0 0 0 29884 116 0 0 25 0 1 0 668678666 20054016 4219 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4896 4219 1111 63 0 4833 0 vsize: 19584 [startup+310.023 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 45085 0 0 0 30880 120 0 0 25 0 1 0 668678666 25550848 4791 4294967295 134512640 134714508 3221221792 3221217936 1074969684 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6238 4791 1111 63 0 6175 0 vsize: 24952 [startup+320.024 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 47530 0 0 0 31874 126 0 0 25 0 1 0 668678666 25251840 4747 4294967295 134512640 134714508 3221221792 3221217672 1074788452 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6165 4747 1111 63 0 6102 0 vsize: 24660 [startup+330.024 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 50320 0 0 0 32868 132 0 0 25 0 1 0 668678666 25583616 4857 4294967295 134512640 134714508 3221221792 3221217756 1074787965 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6246 4857 1111 63 0 6183 0 vsize: 24984 [startup+340.025 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 51978 0 0 0 33865 136 0 0 25 0 1 0 668678666 20074496 4224 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4901 4224 1111 63 0 4838 0 vsize: 19604 [startup+350.026 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 54341 0 0 0 34858 143 0 0 25 0 1 0 668678666 20054016 4219 4294967295 134512640 134714508 3221221792 3221220104 1074138155 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4896 4219 1111 63 0 4833 0 vsize: 19584 [startup+360.026 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 56588 0 0 0 35852 149 0 0 25 0 1 0 668678666 25526272 4837 4294967295 134512640 134714508 3221221792 3221218864 1074867320 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6232 4837 1111 63 0 6169 0 vsize: 24928 [startup+370.027 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 58332 0 0 0 36848 153 0 0 25 0 1 0 668678666 20058112 4220 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4897 4220 1111 63 0 4834 0 vsize: 19588 [startup+380.027 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 60349 0 0 0 37843 158 0 0 25 0 1 0 668678666 20062208 4221 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4898 4221 1111 63 0 4835 0 vsize: 19592 [startup+390.029 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 62609 0 0 0 38837 165 0 0 25 0 1 0 668678666 20054016 4219 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4896 4219 1111 63 0 4833 0 vsize: 19584 [startup+400.03 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 64944 0 0 0 39831 171 0 0 25 0 1 0 668678666 20054016 4219 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4896 4219 1111 63 0 4833 0 vsize: 19584 [startup+410.029 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 67303 0 0 0 40825 177 0 0 25 0 1 0 668678666 20045824 4217 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4894 4217 1111 63 0 4831 0 vsize: 19576 [startup+420.03 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 69338 0 0 0 41820 182 0 0 25 0 1 0 668678666 25538560 4835 4294967295 134512640 134714508 3221221792 3221218000 1074815312 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6235 4835 1111 63 0 6172 0 vsize: 24940 [startup+430.03 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 70576 0 0 0 42817 185 0 0 25 0 1 0 668678666 25841664 4872 4294967295 134512640 134714508 3221221792 3221218128 1075113511 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6309 4872 1111 63 0 6246 0 vsize: 25236 [startup+440.031 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 72970 0 0 0 43811 190 0 0 25 0 1 0 668678666 25485312 4807 4294967295 134512640 134714508 3221221792 3221217952 1074883504 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6222 4807 1111 63 0 6159 0 vsize: 24888 [startup+450.032 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 74960 0 0 0 44807 195 0 0 25 0 1 0 668678666 20119552 4235 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4912 4235 1111 63 0 4849 0 vsize: 19648 [startup+460.032 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 76827 0 0 0 45803 200 0 0 25 0 1 0 668678666 25489408 4819 4294967295 134512640 134714508 3221221792 3221218124 1076111491 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6223 4819 1111 63 0 6160 0 vsize: 24892 [startup+470.033 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 78856 0 0 0 46798 204 0 0 25 0 1 0 668678666 24813568 4587 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6058 4587 1111 63 0 5995 0 vsize: 24232 [startup+480.034 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 80889 0 0 0 47793 209 0 0 25 0 1 0 668678666 20230144 4262 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4939 4262 1111 63 0 4876 0 vsize: 19756 [startup+490.036 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 83109 0 0 0 48788 214 0 0 25 0 1 0 668678666 25485312 4707 4294967295 134512640 134714508 3221221792 3221217936 1074970240 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6222 4707 1111 63 0 6159 0 vsize: 24888 [startup+500.036 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 84799 0 0 0 49785 218 0 0 25 0 1 0 668678666 20340736 4289 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4966 4289 1111 63 0 4903 0 vsize: 19864 [startup+510.037 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 86970 0 0 0 50780 223 0 0 25 0 1 0 668678666 20332544 4287 4294967295 134512640 134714508 3221221792 3221220192 1074153812 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4964 4287 1111 63 0 4901 0 vsize: 19856 [startup+520.038 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 88701 0 0 0 51776 227 0 0 25 0 1 0 668678666 25665536 4814 4294967295 134512640 134714508 3221221792 3221217848 1074789611 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6266 4814 1111 63 0 6203 0 vsize: 25064 [startup+530.039 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 90832 0 0 0 52772 231 0 0 25 0 1 0 668678666 25645056 4811 4294967295 134512640 134714508 3221221792 3221217936 1074970231 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6261 4811 1111 63 0 6198 0 vsize: 25044 [startup+540.04 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 92884 0 0 0 53768 235 0 0 25 0 1 0 668678666 25432064 4784 4294967295 134512640 134714508 3221221792 3221218012 1075116474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6209 4784 1111 63 0 6146 0 vsize: 24836 [startup+550.04 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 94907 0 0 0 54762 241 0 0 25 0 1 0 668678666 25174016 4671 4294967295 134512640 134714508 3221221792 3221218264 1074968485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6146 4671 1111 63 0 6083 0 vsize: 24584 [startup+560.041 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 96866 0 0 0 55757 246 0 0 25 0 1 0 668678666 25444352 4661 4294967295 134512640 134714508 3221221792 3221218032 1075115734 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6212 4661 1111 63 0 6149 0 vsize: 24848 [startup+570.042 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 98417 0 0 0 56754 250 0 0 25 0 1 0 668678666 20336640 4288 4294967295 134512640 134714508 3221221792 3221220072 1073986673 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4965 4288 1111 63 0 4902 0 vsize: 19860 [startup+580.043 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 100305 0 0 0 57749 255 0 0 25 0 1 0 668678666 25559040 4810 4294967295 134512640 134714508 3221221792 3221217660 1074787561 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6240 4810 1111 63 0 6177 0 vsize: 24960 [startup+590.044 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 102338 0 0 0 58744 260 0 0 25 0 1 0 668678666 25337856 4707 4294967295 134512640 134714508 3221221792 3221217856 1075084533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6186 4707 1111 63 0 6123 0 vsize: 24744 [startup+600.045 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 104014 0 0 0 59741 264 0 0 25 0 1 0 668678666 25231360 4670 4294967295 134512640 134714508 3221221792 3221218032 1075115704 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6160 4670 1111 63 0 6097 0 vsize: 24640 [startup+610.045 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 105684 0 0 0 60737 268 0 0 25 0 1 0 668678666 25268224 4728 4294967295 134512640 134714508 3221221792 3221217940 1075964390 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6169 4728 1111 63 0 6106 0 vsize: 24676 [startup+620.046 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 108021 0 0 0 61732 273 0 0 25 0 1 0 668678666 25235456 4736 4294967295 134512640 134714508 3221221792 3221217936 1074969471 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6161 4736 1111 63 0 6098 0 vsize: 24644 [startup+630.046 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 110274 0 0 0 62726 279 0 0 25 0 1 0 668678666 24383488 4459 4294967295 134512640 134714508 3221221792 3221218624 1075115408 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5953 4459 1111 63 0 5890 0 vsize: 23812 [startup+640.047 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 112038 0 0 0 63721 283 0 0 25 0 1 0 668678666 24551424 4522 4294967295 134512640 134714508 3221221792 3221218832 1075971413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5994 4522 1111 63 0 5931 0 vsize: 23976 [startup+650.048 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 114043 0 0 0 64716 289 0 0 25 0 1 0 668678666 24027136 4787 4294967295 134512640 134714508 3221221792 3221217892 1075964282 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5866 4787 1111 63 0 5803 0 vsize: 23464 [startup+660.048 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 116010 0 0 0 65711 294 0 0 25 0 1 0 668678666 20344832 4290 4294967295 134512640 134714508 3221221792 3221219816 1077380592 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4967 4290 1111 63 0 4904 0 vsize: 19868 [startup+670.048 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 118295 0 0 0 66706 299 0 0 25 0 1 0 668678666 20353024 4292 4294967295 134512640 134714508 3221221792 3221219888 1074153786 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4969 4292 1111 63 0 4906 0 vsize: 19876 [startup+680.048 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 120856 0 0 0 67700 306 0 0 25 0 1 0 668678666 25489408 4698 4294967295 134512640 134714508 3221221792 3221218020 1075115070 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6223 4698 1111 63 0 6160 0 vsize: 24892 [startup+690.049 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 122640 0 0 0 68696 310 0 0 25 0 1 0 668678666 20512768 4331 4294967295 134512640 134714508 3221221792 3221220240 1073990306 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5008 4331 1111 63 0 4945 0 vsize: 20032 [startup+700.049 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 124056 0 0 0 69692 313 0 0 25 0 1 0 668678666 25337856 4773 4294967295 134512640 134714508 3221221792 3221219024 1075552862 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6186 4773 1111 63 0 6123 0 vsize: 24744 [startup+710.049 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 126730 0 0 0 70685 321 0 0 25 0 1 0 668678666 20353024 4292 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4969 4292 1111 63 0 4906 0 vsize: 19876 [startup+720.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/53 17419 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 129327 0 0 0 71679 327 0 0 25 0 1 0 668678666 23916544 4717 4294967295 134512640 134714508 3221221792 3221218448 1075967425 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5839 4717 1111 63 0 5776 0 vsize: 23356 [startup+730.05 s] Raw data (loadavg): 1.15 1.00 0.96 2/53 17472 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 131485 0 0 0 72673 333 0 0 25 0 1 0 668678666 25276416 4718 4294967295 134512640 134714508 3221221792 3221218012 1075116549 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6171 4718 1111 63 0 6108 0 vsize: 24684 [startup+740.051 s] Raw data (loadavg): 1.13 1.00 0.96 2/53 17472 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 133486 0 0 0 73668 338 0 0 25 0 1 0 668678666 25264128 4726 4294967295 134512640 134714508 3221221792 3221218012 1075116471 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6168 4726 1111 63 0 6105 0 vsize: 24672 [startup+750.052 s] Raw data (loadavg): 1.11 1.00 0.96 2/53 17472 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 135808 0 0 0 74663 344 0 0 25 0 1 0 668678666 25251840 4725 4294967295 134512640 134714508 3221221792 3221218912 1074834340 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6165 4725 1111 63 0 6102 0 vsize: 24660 [startup+760.052 s] Raw data (loadavg): 1.09 1.00 0.96 2/53 17472 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 138424 0 0 0 75656 351 0 0 25 0 1 0 668678666 20344832 4290 4294967295 134512640 134714508 3221221792 3221220184 1074137219 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4967 4290 1111 63 0 4904 0 vsize: 19868 [startup+770.053 s] Raw data (loadavg): 1.08 1.00 0.96 2/53 17472 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 140779 0 0 0 76651 356 0 0 25 0 1 0 668678666 20344832 4290 4294967295 134512640 134714508 3221221792 3221220048 1074153786 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4967 4290 1111 63 0 4904 0 vsize: 19868 [startup+780.053 s] Raw data (loadavg): 1.07 1.00 0.96 2/53 17472 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 142828 0 0 0 77646 361 0 0 25 0 1 0 668678666 20344832 4290 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4967 4290 1111 63 0 4904 0 vsize: 19868 [startup+790.054 s] Raw data (loadavg): 1.06 1.00 0.96 2/53 17472 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 144503 0 0 0 78643 365 0 0 25 0 1 0 668678666 20606976 4322 4294967295 134512640 134714508 3221221792 3221219576 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5031 4322 1111 63 0 4968 0 vsize: 20124 [startup+800.053 s] Raw data (loadavg): 1.05 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 146841 0 0 0 79638 370 0 0 25 0 1 0 668678666 20402176 4304 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4981 4304 1111 63 0 4918 0 vsize: 19924 [startup+810.053 s] Raw data (loadavg): 1.04 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 148746 0 0 0 80634 373 0 0 25 0 1 0 668678666 25616384 4851 4294967295 134512640 134714508 3221221792 3221218064 1074961146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6254 4851 1111 63 0 6191 0 vsize: 25016 [startup+820.054 s] Raw data (loadavg): 1.03 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 150056 0 0 0 81632 376 0 0 25 0 1 0 668678666 20414464 4307 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4984 4307 1111 63 0 4921 0 vsize: 19936 [startup+830.054 s] Raw data (loadavg): 1.03 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 152007 0 0 0 82628 380 0 0 25 0 1 0 668678666 20344832 4290 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4967 4290 1111 63 0 4904 0 vsize: 19868 [startup+840.055 s] Raw data (loadavg): 1.02 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 154190 0 0 0 83623 385 0 0 25 0 1 0 668678666 25198592 4559 4294967295 134512640 134714508 3221221792 3221218384 1074887946 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6152 4559 1111 63 0 6089 0 vsize: 24608 [startup+850.056 s] Raw data (loadavg): 1.02 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 156213 0 0 0 84618 390 0 0 25 0 1 0 668678666 25382912 4781 4294967295 134512640 134714508 3221221792 3221218012 1075116876 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6197 4781 1111 63 0 6134 0 vsize: 24788 [startup+860.056 s] Raw data (loadavg): 1.02 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 158576 0 0 0 85612 397 0 0 25 0 1 0 668678666 26206208 4886 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6398 4886 1111 63 0 6335 0 vsize: 25592 [startup+870.056 s] Raw data (loadavg): 1.01 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 160035 0 0 0 86608 401 0 0 25 0 1 0 668678666 25837568 4921 4294967295 134512640 134714508 3221221792 3221218020 1075115141 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6308 4921 1111 63 0 6245 0 vsize: 25232 [startup+880.057 s] Raw data (loadavg): 1.01 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 161275 0 0 0 87605 404 0 0 25 0 1 0 668678666 26021888 4940 4294967295 134512640 134714508 3221221792 3221217756 1074787656 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6353 4940 1111 63 0 6290 0 vsize: 25412 [startup+890.058 s] Raw data (loadavg): 1.01 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 162985 0 0 0 88601 409 0 0 25 0 1 0 668678666 20615168 4356 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5033 4356 1111 63 0 4970 0 vsize: 20132 [startup+900.058 s] Raw data (loadavg): 1.01 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 164422 0 0 0 89597 412 0 0 25 0 1 0 668678666 20598784 4352 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5029 4352 1111 63 0 4966 0 vsize: 20116 [startup+910.058 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 166076 0 0 0 90594 416 0 0 25 0 1 0 668678666 25600000 4807 4294967295 134512640 134714508 3221221792 3221218020 1075115076 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6250 4807 1111 63 0 6187 0 vsize: 25000 [startup+920.058 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 167233 0 0 0 91591 419 0 0 25 0 1 0 668678666 20627456 4359 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5036 4359 1111 63 0 4973 0 vsize: 20144 [startup+930.058 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 169070 0 0 0 92587 424 0 0 25 0 1 0 668678666 20623360 4358 4294967295 134512640 134714508 3221221792 3221220192 1074153466 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5035 4358 1111 63 0 4972 0 vsize: 20140 [startup+940.059 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 170548 0 0 0 93583 428 0 0 25 0 1 0 668678666 20611072 4355 4294967295 134512640 134714508 3221221792 3221219856 1074153673 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5032 4355 1111 63 0 4969 0 vsize: 20128 [startup+950.059 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 172662 0 0 0 94577 434 0 0 25 0 1 0 668678666 20623360 4358 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5035 4358 1111 63 0 4972 0 vsize: 20140 [startup+960.059 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 174779 0 0 0 95571 440 0 0 25 0 1 0 668678666 21164032 4383 4294967295 134512640 134714508 3221221792 3221219520 1075828444 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5167 4383 1111 63 0 5104 0 vsize: 20668 [startup+970.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 176820 0 0 0 96566 444 0 0 25 0 1 0 668678666 25284608 4685 4294967295 134512640 134714508 3221221792 3221218020 1075114969 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6173 4685 1111 63 0 6110 0 vsize: 24692 [startup+980.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 178752 0 0 0 97561 450 0 0 25 0 1 0 668678666 20676608 4372 4294967295 134512640 134714508 3221221792 3221220432 134649075 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5048 4372 1111 63 0 4985 0 vsize: 20192 [startup+990.061 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 180413 0 0 0 98557 454 0 0 25 0 1 0 668678666 25767936 4906 4294967295 134512640 134714508 3221221792 3221218012 1075116848 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6291 4906 1111 63 0 6228 0 vsize: 25164 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 182505 0 0 0 99553 459 0 0 25 0 1 0 668678666 25657344 4785 4294967295 134512640 134714508 3221221792 3221218020 1075115062 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6264 4785 1111 63 0 6201 0 vsize: 25056 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 184053 0 0 0 100550 462 0 0 25 0 1 0 668678666 20606976 4355 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5031 4355 1111 63 0 4968 0 vsize: 20124 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 185597 0 0 0 101546 466 0 0 25 0 1 0 668678666 25391104 4791 4294967295 134512640 134714508 3221221792 3221218256 1075602716 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6199 4791 1111 63 0 6136 0 vsize: 24796 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 187314 0 0 0 102542 470 0 0 25 0 1 0 668678666 25255936 4730 4294967295 134512640 134714508 3221221792 3221217952 1075091808 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6166 4730 1111 63 0 6103 0 vsize: 24664 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 188545 0 0 0 103540 473 0 0 25 0 1 0 668678666 20623360 4359 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5035 4359 1111 63 0 4972 0 vsize: 20140 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17474 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 190157 0 0 0 104536 476 0 0 25 0 1 0 668678666 20615168 4357 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5033 4357 1111 63 0 4970 0 vsize: 20132 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17476 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 191767 0 0 0 105533 480 0 0 25 0 1 0 668678666 25645056 4818 4294967295 134512640 134714508 3221221792 3221218064 1074960884 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6261 4818 1111 63 0 6198 0 vsize: 25044 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17476 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 193872 0 0 0 106527 486 0 0 25 0 1 0 668678666 25772032 4808 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6292 4808 1111 63 0 6229 0 vsize: 25168 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17476 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 195387 0 0 0 107524 489 0 0 25 0 1 0 668678666 20623360 4359 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5035 4359 1111 63 0 4972 0 vsize: 20140 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17476 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 197183 0 0 0 108520 494 0 0 25 0 1 0 668678666 20611072 4356 4294967295 134512640 134714508 3221221792 3221220192 1074153812 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5032 4356 1111 63 0 4969 0 vsize: 20128 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17476 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 199049 0 0 0 109515 498 0 0 25 0 1 0 668678666 25034752 4571 4294967295 134512640 134714508 3221221792 3221218384 1074887991 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6112 4571 1111 63 0 6049 0 vsize: 24448 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17476 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 200455 0 0 0 110512 502 0 0 25 0 1 0 668678666 25477120 4795 4294967295 134512640 134714508 3221221792 3221218064 1074960868 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6220 4795 1111 63 0 6157 0 vsize: 24880 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17476 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 202435 0 0 0 111507 507 0 0 25 0 1 0 668678666 25415680 4803 4294967295 134512640 134714508 3221221792 3221218560 1076083427 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6205 4803 1111 63 0 6142 0 vsize: 24820 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17476 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 204008 0 0 0 112503 511 0 0 25 0 1 0 668678666 21512192 4481 4294967295 134512640 134714508 3221221792 3221219904 1074867308 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5252 4481 1111 63 0 5189 0 vsize: 21008 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17476 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 205642 0 0 0 113500 515 0 0 25 0 1 0 668678666 25927680 4896 4294967295 134512640 134714508 3221221792 3221218560 1076083817 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6330 4896 1111 63 0 6267 0 vsize: 25320 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17476 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 207720 0 0 0 114495 520 0 0 25 0 1 0 668678666 25812992 4873 4294967295 134512640 134714508 3221221792 3221217848 1074860223 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6302 4873 1111 63 0 6239 0 vsize: 25208 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17476 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 209160 0 0 0 115491 524 0 0 25 0 1 0 668678666 20623360 4359 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5035 4359 1111 63 0 4972 0 vsize: 20140 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17476 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 210997 0 0 0 116486 529 0 0 25 0 1 0 668678666 20615168 4357 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5033 4357 1111 63 0 4970 0 vsize: 20132 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/53 17476 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 212665 0 0 0 117482 533 0 0 25 0 1 0 668678666 25882624 4875 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6319 4875 1111 63 0 6256 0 vsize: 25276 [startup+1180.51 s] Raw data (loadavg): 1.00 1.00 0.96 1/52 17476 Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 212665 0 0 0 117482 533 0 0 25 0 1 0 668678666 25882624 4875 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6319 4875 1111 63 0 6256 0 vsize: 0 Child status: 10 Real time (s): 1180.51 CPU time (s): 1180.6 CPU user time (s): 1175.25 CPU system time (s): 5.34819 CPU usage (%): 100.007 Max. virtual memory (Kb): 25592 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 445 #### END VERIFIER DATA ####