Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8e1.opb |
MD5SUM | 979ebd144bbd2b562b23479b90a02c66 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 343 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1040 |
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 | 1040 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1040 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.03484 |
Number of variables | 1040 |
Total number of constraints | 3656 |
Number of constraints which are clauses | 3656 |
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 | 10 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-07 19:48:12 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1568 boxname=wulflinc31 idbench=175 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 979ebd144bbd2b562b23479b90a02c66 /oldhome/oroussel/tmp/wulflinc31/normalized-ii8e1.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ii8e1.opb IDLAUNCH: 1568 /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: 145780 kB Buffers: 39304 kB Cached: 815356 kB SwapCached: 644 kB Active: 489516 kB Inactive: 367500 kB HighTotal: 131008 kB HighFree: 6272 kB LowTotal: 903652 kB LowFree: 139508 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26300 kB Committed_AS: 63652 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-07 20:07:48 (client local time) WITH STATUS 10 IN 1175.43 SECONDS stats: 1568 0 1175.43 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 1040 variables and 3656 constraints. c After prepocess the problem consists of 1040 variables and 4166 constraints. c preprocess terminated 14.029 s c Initial Lower Bound: 293 c Lower Bound Elapsed time: 3.51317 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 520 @ 35.261 c NEW SOLUTION FOUND: 519 @ 35.275 c NEW SOLUTION FOUND: 518 @ 35.287 c NEW SOLUTION FOUND: 517 @ 35.3 c NEW SOLUTION FOUND: 516 @ 35.313 c NEW SOLUTION FOUND: 515 @ 35.325 c NEW SOLUTION FOUND: 514 @ 35.338 c NEW SOLUTION FOUND: 513 @ 35.365 c NEW SOLUTION FOUND: 512 @ 35.38 c NEW SOLUTION FOUND: 511 @ 35.458 c NEW SOLUTION FOUND: 378 @ 139.459 c NEW SOLUTION FOUND: 377 @ 356.083 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 x919 -x920 -x921 x922 -x923 x924 x925 -x926 -x927 x928 -x929 x930 -x931 x932 -x933 x934 -x935 x936 -x937 x938 -x939 x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 x963 -x964 -x965 -x966 -x967 x968 -x969 x970 -x971 x972 -x973 x974 -x975 x976 -x977 x978 -x979 x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 -x1000 -x1001 x1002 -x1003 x1004 x1005 -x1006 -x1007 x1008 -x1009 x1010 -x1011 -x1012 -x1013 x1014 -x1015 x1016 -x1017 x1018 -x1019 x1020 -x1021 x1022 -x1023 x1024 -x1025 x1026 -x1027 x1028 -x1029 x1030 x1031 -x1032 -x1033 x1034 -x1035 x1036 -x1037 x1038 -x1039 x1040 c Exit Code: 10 c Total time: 1175.4 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.99 2/54 1767 Raw data (stat): 1767 (runsolver) R 1766 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 685961894 1056768 100 4294967295 134512640 135381576 3221221696 3221216912 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.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 1675 0 0 0 989 6 0 0 25 0 1 0 685961894 9953280 1594 4294967295 134512640 134714508 3221221792 3221220448 134627198 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2430 1594 1111 63 0 2367 0 vsize: 9720 [startup+20.0016 s] Raw data (loadavg): 0.94 0.97 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 2476 0 0 0 1987 8 0 0 25 0 1 0 685961894 13914112 2350 4294967295 134512640 134714508 3221221792 3221217932 1075116504 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3397 2350 1111 63 0 3334 0 vsize: 13588 [startup+30.0022 s] Raw data (loadavg): 0.95 0.97 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 4870 0 0 0 2981 15 0 0 25 0 1 0 685961894 14286848 2497 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3488 2497 1111 63 0 3425 0 vsize: 13952 [startup+40.0032 s] Raw data (loadavg): 0.96 0.97 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 7810 0 0 0 3972 23 0 0 25 0 1 0 685961894 14106624 2436 4294967295 134512640 134714508 3221221792 3221218012 1075116535 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3444 2436 1111 63 0 3381 0 vsize: 13776 [startup+50.0043 s] Raw data (loadavg): 0.96 0.97 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 9004 0 0 0 4969 27 0 0 25 0 1 0 685961894 14123008 2441 4294967295 134512640 134714508 3221221792 3221218012 1075116813 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3448 2441 1111 63 0 3385 0 vsize: 13792 [startup+60.004 s] Raw data (loadavg): 0.97 0.97 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 10091 0 0 0 5967 29 0 0 25 0 1 0 685961894 14049280 2414 4294967295 134512640 134714508 3221221792 3221218040 1077410163 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3430 2414 1111 63 0 3367 0 vsize: 13720 [startup+70.0052 s] Raw data (loadavg): 0.97 0.97 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 11100 0 0 0 6964 33 0 0 25 0 1 0 685961894 13901824 2405 4294967295 134512640 134714508 3221221792 3221218012 1075116489 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3394 2405 1111 63 0 3331 0 vsize: 13576 [startup+80.0059 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 12070 0 0 0 7962 34 0 0 25 0 1 0 685961894 13770752 2364 4294967295 134512640 134714508 3221221792 3221218560 1076084148 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3362 2364 1111 63 0 3299 0 vsize: 13448 [startup+90.0069 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 12861 0 0 0 8960 36 0 0 25 0 1 0 685961894 13864960 2363 4294967295 134512640 134714508 3221221792 3221217836 1074873347 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3385 2363 1111 63 0 3322 0 vsize: 13540 [startup+100.007 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 13822 0 0 0 9958 39 0 0 25 0 1 0 685961894 13180928 2363 4294967295 134512640 134714508 3221221792 3221217760 1075965232 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3218 2363 1111 63 0 3155 0 vsize: 12872 [startup+110.007 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 14751 0 0 0 10956 41 0 0 25 0 1 0 685961894 11485184 2130 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2804 2130 1111 63 0 2741 0 vsize: 11216 [startup+120.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 15797 0 0 0 11954 43 0 0 25 0 1 0 685961894 11485184 2130 4294967295 134512640 134714508 3221221792 3221220040 1074138162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2804 2130 1111 63 0 2741 0 vsize: 11216 [startup+130.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 17157 0 0 0 12951 46 0 0 25 0 1 0 685961894 13586432 2272 4294967295 134512640 134714508 3221221792 3221218000 1074815253 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3317 2272 1111 63 0 3254 0 vsize: 13268 [startup+140.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 18448 0 0 0 13948 49 0 0 25 0 1 0 685961894 13230080 2189 4294967295 134512640 134714508 3221221792 3221217660 1074787974 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3230 2189 1111 63 0 3167 0 vsize: 12920 [startup+150.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 21452 0 0 0 14938 59 0 0 25 0 1 0 685961894 11485184 2130 4294967295 134512640 134714508 3221221792 3221220192 1074153669 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2804 2130 1111 63 0 2741 0 vsize: 11216 [startup+160.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 26292 0 0 0 15925 72 0 0 25 0 1 0 685961894 13410304 2405 4294967295 134512640 134714508 3221221792 3221217760 1075965246 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3274 2405 1111 63 0 3211 0 vsize: 13096 [startup+170.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 31600 0 0 0 16914 83 0 0 25 0 1 0 685961894 13959168 2379 4294967295 134512640 134714508 3221221792 3221218032 1075115768 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3408 2379 1111 63 0 3345 0 vsize: 13632 [startup+180.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 36275 0 0 0 17902 96 0 0 25 0 1 0 685961894 14200832 2457 4294967295 134512640 134714508 3221221792 3221218064 1074960898 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3467 2457 1111 63 0 3404 0 vsize: 13868 [startup+190.011 s] Raw data (loadavg): 1.07 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 41079 0 0 0 18889 108 0 0 25 0 1 0 685961894 14553088 2578 4294967295 134512640 134714508 3221221792 3221218864 1074867320 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3553 2578 1111 63 0 3490 0 vsize: 14212 [startup+200.011 s] Raw data (loadavg): 1.06 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 46617 0 0 0 19875 122 0 0 25 0 1 0 685961894 12427264 2360 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3034 2360 1111 63 0 2971 0 vsize: 12136 [startup+210.011 s] Raw data (loadavg): 1.05 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 51333 0 0 0 20863 134 0 0 25 0 1 0 685961894 14974976 2699 4294967295 134512640 134714508 3221221792 3221217824 1075965289 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3656 2699 1111 63 0 3593 0 vsize: 14624 [startup+220.012 s] Raw data (loadavg): 1.04 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 55645 0 0 0 21853 145 0 0 25 0 1 0 685961894 15224832 2777 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3717 2777 1111 63 0 3654 0 vsize: 14868 [startup+230.012 s] Raw data (loadavg): 1.04 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 60595 0 0 0 22842 156 0 0 25 0 1 0 685961894 12689408 2424 4294967295 134512640 134714508 3221221792 3221219280 1074153794 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3098 2424 1111 63 0 3035 0 vsize: 12392 [startup+240.013 s] Raw data (loadavg): 1.03 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 64247 0 0 0 23834 164 0 0 25 0 1 0 685961894 13647872 2610 4294967295 134512640 134714508 3221221792 3221219788 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3332 2610 1111 63 0 3269 0 vsize: 13328 [startup+250.013 s] Raw data (loadavg): 1.03 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 68832 0 0 0 24824 175 0 0 25 0 1 0 685961894 13729792 2637 4294967295 134512640 134714508 3221221792 3221220320 134648617 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3352 2637 1111 63 0 3289 0 vsize: 13408 [startup+260.013 s] Raw data (loadavg): 1.02 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 72646 0 0 0 25815 184 0 0 25 0 1 0 685961894 15564800 2864 4294967295 134512640 134714508 3221221792 3221218064 1074961146 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3800 2864 1111 63 0 3737 0 vsize: 15200 [startup+270.014 s] Raw data (loadavg): 1.02 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 78173 0 0 0 26800 199 0 0 25 0 1 0 685961894 13504512 2623 4294967295 134512640 134714508 3221221792 3221219796 1077378566 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3297 2623 1111 63 0 3234 0 vsize: 13188 [startup+280.014 s] Raw data (loadavg): 1.01 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 83772 0 0 0 27788 211 0 0 25 0 1 0 685961894 16216064 3031 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3959 3031 1111 63 0 3896 0 vsize: 15836 [startup+290.015 s] Raw data (loadavg): 1.01 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 88521 0 0 0 28776 223 0 0 25 0 1 0 685961894 16482304 3113 4294967295 134512640 134714508 3221221792 3221218320 1075397215 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4024 3113 1111 63 0 3961 0 vsize: 16096 [startup+300.014 s] Raw data (loadavg): 1.01 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 93840 0 0 0 29764 236 0 0 25 0 1 0 685961894 16404480 3128 4294967295 134512640 134714508 3221221792 3221217920 1075561083 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4005 3128 1111 63 0 3942 0 vsize: 16020 [startup+310.015 s] Raw data (loadavg): 1.01 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 99805 0 0 0 30751 249 0 0 25 0 1 0 685961894 16662528 3144 4294967295 134512640 134714508 3221221792 3221218560 1076083593 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4068 3144 1111 63 0 4005 0 vsize: 16272 [startup+320.016 s] Raw data (loadavg): 1.01 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 105036 0 0 0 31739 261 0 0 25 0 1 0 685961894 14909440 2888 4294967295 134512640 134714508 3221221792 3221219904 1074867344 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3640 2888 1111 63 0 3577 0 vsize: 14560 [startup+330.016 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 109442 0 0 0 32729 271 0 0 25 0 1 0 685961894 16838656 3220 4294967295 134512640 134714508 3221221792 3221217688 1074789701 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4111 3220 1111 63 0 4048 0 vsize: 16444 [startup+340.017 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 114509 0 0 0 33718 282 0 0 25 0 1 0 685961894 14012416 2734 4294967295 134512640 134714508 3221221792 3221220172 1074208560 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3421 2734 1111 63 0 3358 0 vsize: 13684 [startup+350.018 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 119760 0 0 0 34706 295 0 0 25 0 1 0 685961894 17063936 3339 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4166 3339 1111 63 0 4103 0 vsize: 16664 [startup+360.017 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 126389 0 0 0 35690 310 0 0 25 0 1 0 685961894 14180352 2790 4294967295 134512640 134714508 3221221792 3221219616 1074153648 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3462 2790 1111 63 0 3399 0 vsize: 13848 [startup+370.018 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 132420 0 0 0 36676 324 0 0 25 0 1 0 685961894 14254080 2808 4294967295 134512640 134714508 3221221792 3221220192 1074153736 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3480 2808 1111 63 0 3417 0 vsize: 13920 [startup+380.018 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 137488 0 0 0 37663 337 0 0 25 0 1 0 685961894 17596416 3467 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4296 3467 1111 63 0 4233 0 vsize: 17184 [startup+390.018 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 139670 0 0 0 38658 343 0 0 25 0 1 0 685961894 15319040 3061 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3740 3061 1111 63 0 3677 0 vsize: 14960 [startup+400.018 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 144566 0 0 0 39646 355 0 0 25 0 1 0 685961894 17465344 3403 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4264 3403 1111 63 0 4201 0 vsize: 17056 [startup+410.018 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 150276 0 0 0 40633 368 0 0 25 0 1 0 685961894 14725120 2907 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3595 2907 1111 63 0 3532 0 vsize: 14380 [startup+420.019 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 157357 0 0 0 41617 384 0 0 25 0 1 0 685961894 17240064 3238 4294967295 134512640 134714508 3221221792 3221218912 1074834297 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4209 3238 1111 63 0 4146 0 vsize: 16836 [startup+430.019 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 161911 0 0 0 42607 394 0 0 25 0 1 0 685961894 14860288 2948 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3628 2948 1111 63 0 3565 0 vsize: 14512 [startup+440.02 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 166142 0 0 0 43597 405 0 0 25 0 1 0 685961894 15835136 3184 4294967295 134512640 134714508 3221221792 3221220272 1074031969 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3866 3184 1111 63 0 3803 0 vsize: 15464 [startup+450.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 169706 0 0 0 44589 413 0 0 25 0 1 0 685961894 15613952 3132 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3812 3132 1111 63 0 3749 0 vsize: 15248 [startup+460.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 173081 0 0 0 45582 420 0 0 25 0 1 0 685961894 18001920 3614 4294967295 134512640 134714508 3221221792 3221218784 1075110381 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4395 3614 1111 63 0 4332 0 vsize: 17580 [startup+470.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 177552 0 0 0 46571 431 0 0 25 0 1 0 685961894 16076800 3221 4294967295 134512640 134714508 3221221792 3221219944 1074950119 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3925 3221 1111 63 0 3862 0 vsize: 15700 [startup+480.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 181104 0 0 0 47563 440 0 0 25 0 1 0 685961894 15986688 3221 4294967295 134512640 134714508 3221221792 3221220112 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3903 3221 1111 63 0 3840 0 vsize: 15612 [startup+490.022 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 185825 0 0 0 48552 451 0 0 25 0 1 0 685961894 16195584 3261 4294967295 134512640 134714508 3221221792 3221219788 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3954 3261 1111 63 0 3891 0 vsize: 15816 [startup+500.023 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 187992 0 0 0 49547 456 0 0 25 0 1 0 685961894 18358272 3704 4294967295 134512640 134714508 3221221792 3221217952 1075094852 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4482 3704 1111 63 0 4419 0 vsize: 17928 [startup+510.023 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 191727 0 0 0 50539 464 0 0 25 0 1 0 685961894 16244736 3258 4294967295 134512640 134714508 3221221792 3221220220 134554932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3966 3258 1111 63 0 3903 0 vsize: 15864 [startup+520.023 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 194317 0 0 0 51534 470 0 0 25 0 1 0 685961894 15228928 3046 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3718 3046 1111 63 0 3655 0 vsize: 14872 [startup+530.023 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 198988 0 0 0 52523 481 0 0 25 0 1 0 685961894 15417344 3092 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3764 3092 1111 63 0 3701 0 vsize: 15056 [startup+540.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 202069 0 0 0 53515 489 0 0 25 0 1 0 685961894 18354176 3470 4294967295 134512640 134714508 3221221792 3221218448 1075967702 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4481 3470 1111 63 0 4418 0 vsize: 17924 [startup+550.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 205306 0 0 0 54508 496 0 0 25 0 1 0 685961894 16363520 3297 4294967295 134512640 134714508 3221221792 3221220272 1074031958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3995 3297 1111 63 0 3932 0 vsize: 15980 [startup+560.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 209528 0 0 0 55498 506 0 0 25 0 1 0 685961894 15228928 3046 4294967295 134512640 134714508 3221221792 3221219408 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3718 3046 1111 63 0 3655 0 vsize: 14872 [startup+570.025 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 212743 0 0 0 56490 514 0 0 25 0 1 0 685961894 16228352 3287 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3962 3287 1111 63 0 3899 0 vsize: 15848 [startup+580.025 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 216170 0 0 0 57483 521 0 0 25 0 1 0 685961894 15765504 3177 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3849 3177 1111 63 0 3786 0 vsize: 15396 [startup+590.026 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 220255 0 0 0 58474 531 0 0 25 0 1 0 685961894 15765504 3177 4294967295 134512640 134714508 3221221792 3221218880 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3849 3177 1111 63 0 3786 0 vsize: 15396 [startup+600.027 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 224602 0 0 0 59464 541 0 0 25 0 1 0 685961894 15826944 3192 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3864 3192 1111 63 0 3801 0 vsize: 15456 [startup+610.027 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 227685 0 0 0 60456 549 0 0 25 0 1 0 685961894 15806464 3187 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3859 3187 1111 63 0 3796 0 vsize: 15436 [startup+620.028 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 231894 0 0 0 61448 558 0 0 25 0 1 0 685961894 19124224 3914 4294967295 134512640 134714508 3221221792 3221218020 1075115035 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4669 3914 1111 63 0 4606 0 vsize: 18676 [startup+630.028 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 237014 0 0 0 62434 571 0 0 25 0 1 0 685961894 18575360 3792 4294967295 134512640 134714508 3221221792 3221218020 1075115057 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4535 3792 1111 63 0 4472 0 vsize: 18140 [startup+640.029 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 240023 0 0 0 63428 577 0 0 25 0 1 0 685961894 19238912 3904 4294967295 134512640 134714508 3221221792 3221217920 1075561237 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4697 3904 1111 63 0 4634 0 vsize: 18788 [startup+650.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 243803 0 0 0 64419 587 0 0 25 0 1 0 685961894 16453632 3345 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4017 3345 1111 63 0 3954 0 vsize: 16068 [startup+660.029 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 247722 0 0 0 65409 597 0 0 25 0 1 0 685961894 19304448 3926 4294967295 134512640 134714508 3221221792 3221218336 1075088564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4713 3926 1111 63 0 4650 0 vsize: 18852 [startup+670.031 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 252036 0 0 0 66400 606 0 0 25 0 1 0 685961894 19349504 3944 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4724 3944 1111 63 0 4661 0 vsize: 18896 [startup+680.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 256352 0 0 0 67389 617 0 0 25 0 1 0 685961894 19337216 3935 4294967295 134512640 134714508 3221221792 3221218544 1075898747 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4721 3935 1111 63 0 4658 0 vsize: 18884 [startup+690.031 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 259185 0 0 0 68382 624 0 0 25 0 1 0 685961894 19566592 4024 4294967295 134512640 134714508 3221221792 3221218128 1075113502 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4777 4024 1111 63 0 4714 0 vsize: 19108 [startup+700.032 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 261986 0 0 0 69376 631 0 0 25 0 1 0 685961894 16363520 3323 4294967295 134512640 134714508 3221221792 3221219352 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3995 3323 1111 63 0 3932 0 vsize: 15980 [startup+710.032 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 263015 0 0 0 70374 633 0 0 25 0 1 0 685961894 18964480 3888 4294967295 134512640 134714508 3221221792 3221218344 1076049894 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4630 3888 1111 63 0 4567 0 vsize: 18520 [startup+720.032 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 266602 0 0 0 71367 640 0 0 25 0 1 0 685961894 19685376 4015 4294967295 134512640 134714508 3221221792 3221218064 1074961146 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4806 4015 1111 63 0 4743 0 vsize: 19224 [startup+730.032 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 269067 0 0 0 72361 646 0 0 25 0 1 0 685961894 17240064 3459 4294967295 134512640 134714508 3221221792 3221219520 1075828545 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4209 3459 1111 63 0 4146 0 vsize: 16836 [startup+740.033 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 273306 0 0 0 73353 655 0 0 25 0 1 0 685961894 16363520 3323 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3995 3323 1111 63 0 3932 0 vsize: 15980 [startup+750.033 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 278618 0 0 0 74340 667 0 0 25 0 1 0 685961894 18997248 3558 4294967295 134512640 134714508 3221221792 3221218860 1074831198 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4638 3558 1111 63 0 4575 0 vsize: 18552 [startup+760.033 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 283029 0 0 0 75328 679 0 0 25 0 1 0 685961894 17752064 3585 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4334 3585 1111 63 0 4271 0 vsize: 17336 [startup+770.034 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 290298 0 0 0 76313 695 0 0 25 0 1 0 685961894 19001344 3530 4294967295 134512640 134714508 3221221792 3221217952 1075091857 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4639 3530 1111 63 0 4576 0 vsize: 18556 [startup+780.034 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 296779 0 0 0 77300 708 0 0 25 0 1 0 685961894 16994304 3453 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4149 3453 1111 63 0 4086 0 vsize: 16596 [startup+790.035 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 300939 0 0 0 78290 718 0 0 25 0 1 0 685961894 20127744 4108 4294967295 134512640 134714508 3221221792 3221217672 1074788437 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4914 4108 1111 63 0 4851 0 vsize: 19656 [startup+800.036 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 307273 0 0 0 79275 734 0 0 25 0 1 0 685961894 17453056 3588 4294967295 134512640 134714508 3221221792 3221220160 1074140697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4320 3590 1111 63 0 4257 0 vsize: 17044 [startup+810.036 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 311790 0 0 0 80265 743 0 0 25 0 1 0 685961894 20234240 4096 4294967295 134512640 134714508 3221221792 3221218736 1074620107 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4940 4096 1111 63 0 4877 0 vsize: 19760 [startup+820.036 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 316595 0 0 0 81254 755 0 0 25 0 1 0 685961894 19779584 3841 4294967295 134512640 134714508 3221221792 3221218448 1075967941 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4829 3841 1111 63 0 4766 0 vsize: 19316 [startup+830.036 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 322159 0 0 0 82242 767 0 0 25 0 1 0 685961894 20500480 4201 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5005 4201 1111 63 0 4942 0 vsize: 20020 [startup+840.036 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 326592 0 0 0 83232 778 0 0 25 0 1 0 685961894 18231296 3712 4294967295 134512640 134714508 3221221792 3221219904 1074867305 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4451 3712 1111 63 0 4388 0 vsize: 17804 [startup+850.036 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 332122 0 0 0 84220 789 0 0 25 0 1 0 685961894 20107264 3949 4294967295 134512640 134714508 3221221792 3221217688 1074789548 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4909 3949 1111 63 0 4846 0 vsize: 19636 [startup+860.036 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 338132 0 0 0 85207 803 0 0 25 0 1 0 685961894 17199104 3529 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4199 3529 1111 63 0 4136 0 vsize: 16796 [startup+870.037 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 343732 0 0 0 86195 815 0 0 25 0 1 0 685961894 17084416 3494 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4171 3494 1111 63 0 4108 0 vsize: 16684 [startup+880.037 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 348687 0 0 0 87183 827 0 0 25 0 1 0 685961894 17240064 3513 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4209 3513 1111 63 0 4146 0 vsize: 16836 [startup+890.037 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 353553 0 0 0 88173 837 0 0 25 0 1 0 685961894 20688896 4238 4294967295 134512640 134714508 3221221792 3221217900 1074797337 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5051 4238 1111 63 0 4988 0 vsize: 20204 [startup+900.038 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 358950 0 0 0 89162 849 0 0 25 0 1 0 685961894 20938752 4283 4294967295 134512640 134714508 3221221792 3221218604 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5112 4283 1111 63 0 5049 0 vsize: 20448 [startup+910.038 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 363676 0 0 0 90150 861 0 0 25 0 1 0 685961894 17584128 3623 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4293 3623 1111 63 0 4230 0 vsize: 17172 [startup+920.038 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 369352 0 0 0 91137 874 0 0 25 0 1 0 685961894 17403904 3578 4294967295 134512640 134714508 3221221792 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4249 3578 1111 63 0 4186 0 vsize: 16996 [startup+930.038 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 375288 0 0 0 92124 887 0 0 25 0 1 0 685961894 17711104 3654 4294967295 134512640 134714508 3221221792 3221219408 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4324 3654 1111 63 0 4261 0 vsize: 17296 [startup+940.038 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 379734 0 0 0 93113 898 0 0 25 0 1 0 685961894 21102592 4245 4294967295 134512640 134714508 3221221792 3221218712 1074950108 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5152 4245 1111 63 0 5089 0 vsize: 20608 [startup+950.038 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 384922 0 0 0 94102 910 0 0 25 0 1 0 685961894 21102592 4348 4294967295 134512640 134714508 3221221792 3221218448 1075967938 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5152 4348 1111 63 0 5089 0 vsize: 20608 [startup+960.038 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 388381 0 0 0 95093 918 0 0 25 0 1 0 685961894 21639168 4409 4294967295 134512640 134714508 3221221792 3221218944 1075969871 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5283 4409 1111 63 0 5220 0 vsize: 21132 [startup+970.039 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 391828 0 0 0 96085 927 0 0 25 0 1 0 685961894 17985536 3721 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4391 3721 1111 63 0 4328 0 vsize: 17564 [startup+980.039 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 397831 0 0 0 97071 941 0 0 25 0 1 0 685961894 21188608 4197 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5173 4197 1111 63 0 5110 0 vsize: 20692 [startup+990.039 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 404513 0 0 0 98057 955 0 0 25 0 1 0 685961894 17936384 3709 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4379 3709 1111 63 0 4316 0 vsize: 17516 [startup+1000.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 410203 0 0 0 99045 967 0 0 25 0 1 0 685961894 21278720 4258 4294967295 134512640 134714508 3221221792 3221218864 1074867340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5195 4258 1111 63 0 5132 0 vsize: 20780 [startup+1010.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 415636 0 0 0 100034 979 0 0 25 0 1 0 685961894 18280448 3769 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4463 3769 1111 63 0 4400 0 vsize: 17852 [startup+1020.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 420286 0 0 0 101023 989 0 0 25 0 1 0 685961894 21651456 4371 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5286 4371 1111 63 0 5223 0 vsize: 21144 [startup+1030.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 424976 0 0 0 102012 1000 0 0 25 0 1 0 685961894 18247680 3785 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4455 3785 1111 63 0 4392 0 vsize: 17820 [startup+1040.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 429611 0 0 0 103002 1010 0 0 25 0 1 0 685961894 18468864 3839 4294967295 134512640 134714508 3221221792 3221220192 1074153773 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4509 3839 1111 63 0 4446 0 vsize: 18036 [startup+1050.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 434804 0 0 0 103990 1022 0 0 25 0 1 0 685961894 18247680 3785 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4455 3785 1111 63 0 4392 0 vsize: 17820 [startup+1060.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 440922 0 0 0 104977 1036 0 0 25 0 1 0 685961894 19021824 3974 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4644 3974 1111 63 0 4581 0 vsize: 18576 [startup+1070.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 446201 0 0 0 105965 1048 0 0 25 0 1 0 685961894 18284544 3794 4294967295 134512640 134714508 3221221792 3221219896 1077374886 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4464 3794 1111 63 0 4401 0 vsize: 17856 [startup+1080.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 450993 0 0 0 106954 1059 0 0 25 0 1 0 685961894 21602304 4281 4294967295 134512640 134714508 3221221792 3221217824 1075965248 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5274 4281 1111 63 0 5211 0 vsize: 21096 [startup+1090.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 453728 0 0 0 107947 1066 0 0 25 0 1 0 685961894 20484096 4297 4294967295 134512640 134714508 3221221792 3221218984 1074138306 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5001 4297 1111 63 0 4938 0 vsize: 20004 [startup+1100.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 457856 0 0 0 108937 1076 0 0 25 0 1 0 685961894 18513920 3850 4294967295 134512640 134714508 3221221792 3221219376 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4520 3850 1111 63 0 4457 0 vsize: 18080 [startup+1110.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 462387 0 0 0 109926 1087 0 0 25 0 1 0 685961894 18427904 3829 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4499 3829 1111 63 0 4436 0 vsize: 17996 [startup+1120.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 464875 0 0 0 110921 1093 0 0 25 0 1 0 685961894 19345408 4021 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4723 4021 1111 63 0 4660 0 vsize: 18892 [startup+1130.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 468790 0 0 0 111911 1102 0 0 25 0 1 0 685961894 19595264 4079 4294967295 134512640 134714508 3221221792 3221219936 1074790226 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4784 4079 1111 63 0 4721 0 vsize: 19136 [startup+1140.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 473253 0 0 0 112900 1114 0 0 25 0 1 0 685961894 22298624 4601 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5444 4601 1111 63 0 5381 0 vsize: 21776 [startup+1150.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 478102 0 0 0 113888 1126 0 0 25 0 1 0 685961894 18550784 3859 4294967295 134512640 134714508 3221221792 3221219024 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4529 3859 1111 63 0 4466 0 vsize: 18116 [startup+1160.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 483404 0 0 0 114877 1137 0 0 25 0 1 0 685961894 22282240 4558 4294967295 134512640 134714508 3221221792 3221217740 1074788953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5440 4558 1111 63 0 5377 0 vsize: 21760 [startup+1170.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 485450 0 0 0 115872 1143 0 0 25 0 1 0 685961894 22495232 4641 4294967295 134512640 134714508 3221221792 3221217952 1074794542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5492 4641 1111 63 0 5429 0 vsize: 21968 [startup+1175.32 s] Raw data (loadavg): 1.00 0.99 0.99 1/53 1767 Raw data (stat): 1767 (bsolo_lpr_cuts) R 1766 7876 7672 0 -1 0 485450 0 0 0 115872 1143 0 0 25 0 1 0 685961894 22495232 4641 4294967295 134512640 134714508 3221221792 3221217952 1074794542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5492 4641 1111 63 0 5429 0 vsize: 0 Child status: 10 Real time (s): 1175.32 CPU time (s): 1175.43 CPU user time (s): 1163.91 CPU system time (s): 11.5162 CPU usage (%): 100.009 Max. virtual memory (Kb): 21968 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 377 #### END VERIFIER DATA ####