Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e5.opb |
MD5SUM | 6caf33eeba2c45b0896a04cb80501c4f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 503 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1044 |
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 | 1044 |
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 | 1044 |
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 | 312.97 |
Number of variables | 1044 |
Total number of constraints | 12158 |
Number of constraints which are clauses | 12158 |
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-06 22:45:24 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1450 boxname=wulflinc31 idbench=162 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 6caf33eeba2c45b0896a04cb80501c4f /oldhome/oroussel/tmp/wulflinc31/normalized-ii32e5.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ii32e5.opb IDLAUNCH: 1450 /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: 149320 kB Buffers: 37444 kB Cached: 813476 kB SwapCached: 644 kB Active: 487184 kB Inactive: 366124 kB HighTotal: 131008 kB HighFree: 8092 kB LowTotal: 903652 kB LowFree: 141228 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 200 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26492 kB Committed_AS: 63652 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-06 23:05:17 (client local time) WITH STATUS 10 IN 1193.55 SECONDS stats: 1450 0 1193.55 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 1044 variables and 12158 constraints. c After prepocess the problem consists of 1044 variables and 12158 constraints. c preprocess terminated 52.262 s c Initial Lower Bound: 313 c Lower Bound Elapsed time: 47.135 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 522 @ 99.59 c NEW SOLUTION FOUND: 521 @ 99.592 c NEW SOLUTION FOUND: 520 @ 99.611 c NEW SOLUTION FOUND: 519 @ 99.623 c NEW SOLUTION FOUND: 518 @ 99.635 c NEW SOLUTION FOUND: 517 @ 99.647 c NEW SOLUTION FOUND: 516 @ 99.659 c NEW SOLUTION FOUND: 515 @ 99.671 c NEW SOLUTION FOUND: 514 @ 99.684 c NEW SOLUTION FOUND: 513 @ 99.697 c NEW SOLUTION FOUND: 512 @ 99.709 c NEW SOLUTION FOUND: 511 @ 99.722 c NEW SOLUTION FOUND: 510 @ 99.736 c NEW SOLUTION FOUND: 509 @ 99.749 c NEW SOLUTION FOUND: 508 @ 99.818 c NEW SOLUTION FOUND: 507 @ 99.863 c NEW SOLUTION FOUND: 506 @ 99.984 c NEW SOLUTION FOUND: 504 @ 100.334 c NEW SOLUTION FOUND: 503 @ 104.939 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 -x1041 x1042 -x1043 x1044 c Exit Code: 10 c Total time: 1193.51 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): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (runsolver) R 26677 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 678384166 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.0005 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 3279 0 0 0 984 12 0 0 25 0 1 0 678384166 16580608 3198 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4048 3198 1111 63 0 3985 0 vsize: 16192 [startup+20.0012 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 3281 0 0 0 1984 12 0 0 25 0 1 0 678384166 16580608 3200 4294967295 134512640 134714508 3221221792 3221220236 134536763 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4048 3200 1111 63 0 3985 0 vsize: 16192 [startup+30.0022 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 3284 0 0 0 2985 12 0 0 25 0 1 0 678384166 16580608 3203 4294967295 134512640 134714508 3221221792 3221220320 134528595 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4048 3203 1111 63 0 3985 0 vsize: 16192 [startup+40.0021 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 3287 0 0 0 3985 12 0 0 25 0 1 0 678384166 16580608 3206 4294967295 134512640 134714508 3221221792 3221220444 134558476 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4048 3206 1111 63 0 3985 0 vsize: 16192 [startup+50.0033 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 3287 0 0 0 4985 12 0 0 25 0 1 0 678384166 16580608 3206 4294967295 134512640 134714508 3221221792 3221220456 134627136 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4048 3206 1111 63 0 3985 0 vsize: 16192 [startup+60.0043 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 3865 0 0 0 5982 14 0 0 25 0 1 0 678384166 18849792 3776 4294967295 134512640 134714508 3221221792 3221219760 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4602 3776 1111 63 0 4539 0 vsize: 18408 [startup+70.0049 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 6054 0 0 0 6977 19 0 0 25 0 1 0 678384166 28758016 5389 4294967295 134512640 134714508 3221221792 3221217804 1075663516 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7021 5389 1111 63 0 6958 0 vsize: 28084 [startup+80.0058 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 6097 0 0 0 7977 19 0 0 25 0 1 0 678384166 28966912 5432 4294967295 134512640 134714508 3221221792 3221217932 1075116866 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7072 5432 1111 63 0 7009 0 vsize: 28288 [startup+90.0058 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 8801 0 0 0 8971 25 0 0 25 0 1 0 678384166 21557248 4515 4294967295 134512640 134714508 3221221792 3221219708 1074788953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5263 4515 1111 63 0 5200 0 vsize: 21052 [startup+100.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 9384 0 0 0 9969 28 0 0 25 0 1 0 678384166 22466560 3937 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5485 3937 1111 63 0 5422 0 vsize: 21940 [startup+110.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 25329 0 0 0 10928 69 0 0 25 0 1 0 678384166 19156992 3957 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4677 3957 1111 63 0 4614 0 vsize: 18708 [startup+120.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 27086 0 0 0 11924 73 0 0 25 0 1 0 678384166 28450816 5178 4294967295 134512640 134714508 3221221792 3221218912 1074834317 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6946 5178 1111 63 0 6883 0 vsize: 27784 [startup+130.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 27179 0 0 0 12924 73 0 0 25 0 1 0 678384166 28450816 5271 4294967295 134512640 134714508 3221221792 3221218012 1075116564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6946 5271 1111 63 0 6883 0 vsize: 27784 [startup+140.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 28495 0 0 0 13921 77 0 0 25 0 1 0 678384166 18997248 3950 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4638 3950 1111 63 0 4575 0 vsize: 18552 [startup+150.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 28615 0 0 0 14920 78 0 0 25 0 1 0 678384166 19587072 4070 4294967295 134512640 134714508 3221221792 3221219488 1077814665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4782 4070 1111 63 0 4719 0 vsize: 19128 [startup+160.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 30268 0 0 0 15915 82 0 0 25 0 1 0 678384166 28364800 5242 4294967295 134512640 134714508 3221221792 3221218064 1074960912 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6925 5242 1111 63 0 6862 0 vsize: 27700 [startup+170.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 30298 0 0 0 16915 82 0 0 25 0 1 0 678384166 28364800 5272 4294967295 134512640 134714508 3221221792 3221218012 1075116478 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6925 5272 1111 63 0 6862 0 vsize: 27700 [startup+180.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 30299 0 0 0 17916 82 0 0 25 0 1 0 678384166 28364800 5273 4294967295 134512640 134714508 3221221792 3221218832 1075971404 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6925 5273 1111 63 0 6862 0 vsize: 27700 [startup+190.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 30329 0 0 0 18916 83 0 0 25 0 1 0 678384166 28725248 5303 4294967295 134512640 134714508 3221221792 3221217936 1074970224 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7013 5303 1111 63 0 6950 0 vsize: 28052 [startup+200.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 31745 0 0 0 19910 88 0 0 25 0 1 0 678384166 19480576 4059 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4756 4059 1111 63 0 4693 0 vsize: 19024 [startup+210.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 33393 0 0 0 20907 92 0 0 25 0 1 0 678384166 28463104 5239 4294967295 134512640 134714508 3221221792 3221218864 1074867340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6949 5239 1111 63 0 6886 0 vsize: 27796 [startup+220.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 33419 0 0 0 21907 92 0 0 25 0 1 0 678384166 28463104 5265 4294967295 134512640 134714508 3221221792 3221218012 1075116513 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6949 5265 1111 63 0 6886 0 vsize: 27796 [startup+230.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 34744 0 0 0 22905 94 0 0 25 0 1 0 678384166 19288064 4019 4294967295 134512640 134714508 3221221792 3221219816 1077380592 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4709 4021 1111 63 0 4646 0 vsize: 18836 [startup+240.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 36349 0 0 0 23900 99 0 0 25 0 1 0 678384166 28311552 5151 4294967295 134512640 134714508 3221221792 3221218324 1075863638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6912 5151 1111 63 0 6849 0 vsize: 27648 [startup+250.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 36483 0 0 0 24899 100 0 0 25 0 1 0 678384166 28672000 5285 4294967295 134512640 134714508 3221221792 3221218012 1075116556 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7000 5285 1111 63 0 6937 0 vsize: 28000 [startup+260.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 37775 0 0 0 25896 103 0 0 25 0 1 0 678384166 19304448 4025 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4713 4025 1111 63 0 4650 0 vsize: 18852 [startup+270.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 39331 0 0 0 26890 109 0 0 25 0 1 0 678384166 28311552 5120 4294967295 134512640 134714508 3221221792 3221218064 1074961301 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6912 5120 1111 63 0 6849 0 vsize: 27648 [startup+280.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 39451 0 0 0 27890 110 0 0 25 0 1 0 678384166 28311552 5240 4294967295 134512640 134714508 3221221792 3221218064 1074960865 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6912 5240 1111 63 0 6849 0 vsize: 27648 [startup+290.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 39463 0 0 0 28890 110 0 0 25 0 1 0 678384166 28311552 5252 4294967295 134512640 134714508 3221221792 3221218012 1075116564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6912 5252 1111 63 0 6849 0 vsize: 27648 [startup+300.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 40703 0 0 0 29888 113 0 0 25 0 1 0 678384166 19308544 4026 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4714 4026 1111 63 0 4651 0 vsize: 18856 [startup+310.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 41720 0 0 0 30885 115 0 0 25 0 1 0 678384166 27295744 4839 4294967295 134512640 134714508 3221221792 3221218012 1075116508 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6664 4839 1111 63 0 6601 0 vsize: 26656 [startup+320.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 58692 0 0 0 31844 156 0 0 25 0 1 0 678384166 19308544 4026 4294967295 134512640 134714508 3221221792 3221220104 1074138155 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4714 4026 1111 63 0 4651 0 vsize: 18856 [startup+330.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 60485 0 0 0 32841 160 0 0 25 0 1 0 678384166 19255296 4013 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4701 4013 1111 63 0 4638 0 vsize: 18804 [startup+340.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 74073 0 0 0 33807 194 0 0 25 0 1 0 678384166 26992640 4612 4294967295 134512640 134714508 3221221792 3221217936 1074970267 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6590 4612 1111 63 0 6527 0 vsize: 26360 [startup+350.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 76517 0 0 0 34802 199 0 0 25 0 1 0 678384166 19255296 4013 4294967295 134512640 134714508 3221221792 3221219928 1077377266 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4701 4013 1111 63 0 4638 0 vsize: 18804 [startup+360.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 92774 0 0 0 35763 239 0 0 25 0 1 0 678384166 19292160 4022 4294967295 134512640 134714508 3221221792 3221220192 1074153815 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4710 4022 1111 63 0 4647 0 vsize: 18840 [startup+370.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 93817 0 0 0 36761 241 0 0 25 0 1 0 678384166 27217920 4855 4294967295 134512640 134714508 3221221792 3221218012 1075116725 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6645 4855 1111 63 0 6582 0 vsize: 26580 [startup+380.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 95506 0 0 0 37756 245 0 0 25 0 1 0 678384166 27168768 4816 4294967295 134512640 134714508 3221221792 3221218124 1076111476 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6633 4816 1111 63 0 6570 0 vsize: 26532 [startup+390.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 97040 0 0 0 38752 249 0 0 25 0 1 0 678384166 26542080 4659 4294967295 134512640 134714508 3221221792 3221218012 1075116508 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6480 4659 1111 63 0 6417 0 vsize: 25920 [startup+400.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 98845 0 0 0 39748 254 0 0 25 0 1 0 678384166 19263488 4015 4294967295 134512640 134714508 3221221792 3221220192 1074153773 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4703 4015 1111 63 0 4640 0 vsize: 18812 [startup+410.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 100105 0 0 0 40746 257 0 0 25 0 1 0 678384166 19283968 4020 4294967295 134512640 134714508 3221221792 3221220144 1073986807 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4708 4020 1111 63 0 4645 0 vsize: 18832 [startup+420.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 101974 0 0 0 41741 261 0 0 25 0 1 0 678384166 26087424 4502 4294967295 134512640 134714508 3221221792 3221218012 1075116492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6369 4502 1111 63 0 6306 0 vsize: 25476 [startup+430.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 103518 0 0 0 42737 265 0 0 25 0 1 0 678384166 19259392 4014 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4702 4014 1111 63 0 4639 0 vsize: 18808 [startup+440.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 104668 0 0 0 43735 268 0 0 25 0 1 0 678384166 19300352 4024 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4712 4024 1111 63 0 4649 0 vsize: 18848 [startup+450.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 106489 0 0 0 44731 272 0 0 25 0 1 0 678384166 26255360 4557 4294967295 134512640 134714508 3221221792 3221218448 1075967413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6410 4557 1111 63 0 6347 0 vsize: 25640 [startup+460.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 107643 0 0 0 45728 275 0 0 25 0 1 0 678384166 26497024 4585 4294967295 134512640 134714508 3221221792 3221218784 1075338845 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6469 4585 1111 63 0 6406 0 vsize: 25876 [startup+470.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 109229 0 0 0 46724 279 0 0 25 0 1 0 678384166 19300352 4031 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4712 4031 1111 63 0 4649 0 vsize: 18848 [startup+480.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 121173 0 0 0 47696 307 0 0 25 0 1 0 678384166 19283968 4027 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4708 4027 1111 63 0 4645 0 vsize: 18832 [startup+490.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 122924 0 0 0 48693 311 0 0 25 0 1 0 678384166 26148864 4498 4294967295 134512640 134714508 3221221792 3221218012 1075116725 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6384 4498 1111 63 0 6321 0 vsize: 25536 [startup+500.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 126986 0 0 0 49682 322 0 0 25 0 1 0 678384166 24805376 4040 4294967295 134512640 134714508 3221221792 3221218064 1074961146 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6056 4040 1111 63 0 5993 0 vsize: 24224 [startup+510.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 136356 0 0 0 50658 346 0 0 25 0 1 0 678384166 24805376 4706 4294967295 134512640 134714508 3221221792 3221217892 1075964214 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6056 4707 1111 63 0 5993 0 vsize: 24224 [startup+520.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 153287 0 0 0 51616 388 0 0 25 0 1 0 678384166 19271680 4024 4294967295 134512640 134714508 3221221792 3221219760 1075961072 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4705 4024 1111 63 0 4642 0 vsize: 18820 [startup+530.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 160254 0 0 0 52600 405 0 0 25 0 1 0 678384166 19283968 4027 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4708 4027 1111 63 0 4645 0 vsize: 18832 [startup+540.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 161985 0 0 0 53596 408 0 0 25 0 1 0 678384166 25522176 4320 4294967295 134512640 134714508 3221221792 3221218020 1075114984 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6231 4320 1111 63 0 6168 0 vsize: 24924 [startup+550.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 163476 0 0 0 54592 413 0 0 25 0 1 0 678384166 25497600 4328 4294967295 134512640 134714508 3221221792 3221218012 1075116498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6225 4328 1111 63 0 6162 0 vsize: 24900 [startup+560.023 s] Raw data (loadavg): 1.07 1.02 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 164862 0 0 0 55588 416 0 0 25 0 1 0 678384166 19271680 4025 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4705 4025 1111 63 0 4642 0 vsize: 18820 [startup+570.023 s] Raw data (loadavg): 1.06 1.01 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 166212 0 0 0 56584 420 0 0 25 0 1 0 678384166 25522176 4323 4294967295 134512640 134714508 3221221792 3221218012 1075116549 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6231 4323 1111 63 0 6168 0 vsize: 24924 [startup+580.023 s] Raw data (loadavg): 1.05 1.01 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 172271 0 0 0 57569 435 0 0 25 0 1 0 678384166 19255296 4021 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4701 4021 1111 63 0 4638 0 vsize: 18804 [startup+590.024 s] Raw data (loadavg): 1.04 1.01 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 183736 0 0 0 58542 462 0 0 25 0 1 0 678384166 25300992 4238 4294967295 134512640 134714508 3221221792 3221218000 1074815253 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6177 4238 1111 63 0 6114 0 vsize: 24708 [startup+600.024 s] Raw data (loadavg): 1.04 1.01 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 185341 0 0 0 59538 467 0 0 25 0 1 0 678384166 25001984 4148 4294967295 134512640 134714508 3221221792 3221218032 1075088581 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6104 4148 1111 63 0 6041 0 vsize: 24416 [startup+610.024 s] Raw data (loadavg): 1.03 1.01 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 192479 0 0 0 60521 484 0 0 25 0 1 0 678384166 19267584 4024 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4704 4024 1111 63 0 4641 0 vsize: 18816 [startup+620.024 s] Raw data (loadavg): 1.02 1.01 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 194532 0 0 0 61516 489 0 0 25 0 1 0 678384166 19259392 4022 4294967295 134512640 134714508 3221221792 3221220192 1074153773 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4702 4022 1111 63 0 4639 0 vsize: 18808 [startup+630.025 s] Raw data (loadavg): 1.02 1.01 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 200469 0 0 0 62501 504 0 0 25 0 1 0 678384166 24809472 4078 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6057 4079 1111 63 0 5994 0 vsize: 24228 [startup+640.025 s] Raw data (loadavg): 1.02 1.01 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 219182 0 0 0 63455 550 0 0 25 0 1 0 678384166 19283968 4028 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4708 4028 1111 63 0 4645 0 vsize: 18832 [startup+650.025 s] Raw data (loadavg): 1.01 1.01 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 220912 0 0 0 64452 554 0 0 25 0 1 0 678384166 28807168 5287 4294967295 134512640 134714508 3221221792 3221218012 1075116498 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7033 5287 1111 63 0 6970 0 vsize: 28132 [startup+660.026 s] Raw data (loadavg): 1.01 1.01 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 221025 0 0 0 65452 554 0 0 25 0 1 0 678384166 29167616 5400 4294967295 134512640 134714508 3221221792 3221218012 1075116586 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7121 5400 1111 63 0 7058 0 vsize: 28484 [startup+670.025 s] Raw data (loadavg): 1.01 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 222239 0 0 0 66449 557 0 0 25 0 1 0 678384166 19890176 4176 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4856 4176 1111 63 0 4793 0 vsize: 19424 [startup+680.026 s] Raw data (loadavg): 1.01 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 223830 0 0 0 67445 561 0 0 25 0 1 0 678384166 28766208 5300 4294967295 134512640 134714508 3221221792 3221218012 1075116862 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7023 5300 1111 63 0 6960 0 vsize: 28092 [startup+690.027 s] Raw data (loadavg): 1.01 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 223899 0 0 0 68445 562 0 0 25 0 1 0 678384166 28766208 5369 4294967295 134512640 134714508 3221221792 3221218012 1075116767 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7023 5369 1111 63 0 6960 0 vsize: 28092 [startup+700.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 225036 0 0 0 69442 564 0 0 25 0 1 0 678384166 19861504 4169 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4849 4169 1111 63 0 4786 0 vsize: 19396 [startup+710.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 226494 0 0 0 70438 569 0 0 25 0 1 0 678384166 28762112 5161 4294967295 134512640 134714508 3221221792 3221218064 1074961193 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7022 5161 1111 63 0 6959 0 vsize: 28088 [startup+720.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 226671 0 0 0 71437 569 0 0 25 0 1 0 678384166 28762112 5338 4294967295 134512640 134714508 3221221792 3221218012 1075116866 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7022 5338 1111 63 0 6959 0 vsize: 28088 [startup+730.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 226696 0 0 0 72438 569 0 0 25 0 1 0 678384166 28762112 5363 4294967295 134512640 134714508 3221221792 3221218736 1074620107 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7022 5363 1111 63 0 6959 0 vsize: 28088 [startup+740.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 227827 0 0 0 73435 572 0 0 25 0 1 0 678384166 19877888 4173 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4853 4173 1111 63 0 4790 0 vsize: 19412 [startup+750.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 229423 0 0 0 74430 577 0 0 25 0 1 0 678384166 28667904 5260 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6999 5260 1111 63 0 6936 0 vsize: 27996 [startup+760.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 229495 0 0 0 75430 577 0 0 25 0 1 0 678384166 28667904 5332 4294967295 134512640 134714508 3221221792 3221218012 1075116741 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6999 5332 1111 63 0 6936 0 vsize: 27996 [startup+770.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 229524 0 0 0 76430 577 0 0 25 0 1 0 678384166 29024256 5361 4294967295 134512640 134714508 3221221792 3221218064 1074960795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7086 5361 1111 63 0 7023 0 vsize: 28344 [startup+780.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 230710 0 0 0 77427 581 0 0 25 0 1 0 678384166 20152320 4240 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4920 4240 1111 63 0 4857 0 vsize: 19680 [startup+790.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 232242 0 0 0 78424 584 0 0 25 0 1 0 678384166 28688384 5318 4294967295 134512640 134714508 3221221792 3221218012 1075116535 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7004 5318 1111 63 0 6941 0 vsize: 28016 [startup+800.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 232291 0 0 0 79424 584 0 0 25 0 1 0 678384166 29044736 5367 4294967295 134512640 134714508 3221221792 3221218012 1075116866 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7091 5367 1111 63 0 7028 0 vsize: 28364 [startup+810.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 245099 0 0 0 80391 617 0 0 25 0 1 0 678384166 19828736 4161 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4841 4161 1111 63 0 4778 0 vsize: 19364 [startup+820.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 258172 0 0 0 81358 651 0 0 25 0 1 0 678384166 19869696 4171 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4851 4171 1111 63 0 4788 0 vsize: 19404 [startup+830.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 259703 0 0 0 82354 655 0 0 25 0 1 0 678384166 28704768 5246 4294967295 134512640 134714508 3221221792 3221218448 1075967440 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7008 5246 1111 63 0 6945 0 vsize: 28032 [startup+840.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 259792 0 0 0 83353 656 0 0 25 0 1 0 678384166 28704768 5335 4294967295 134512640 134714508 3221221792 3221218012 1075116856 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7008 5335 1111 63 0 6945 0 vsize: 28032 [startup+850.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 259830 0 0 0 84353 656 0 0 25 0 1 0 678384166 29065216 5373 4294967295 134512640 134714508 3221221792 3221218736 1074620113 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7096 5373 1111 63 0 7033 0 vsize: 28384 [startup+860.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 261003 0 0 0 85350 659 0 0 25 0 1 0 678384166 20193280 4250 4294967295 134512640 134714508 3221221792 3221220192 1074153773 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4930 4250 1111 63 0 4867 0 vsize: 19720 [startup+870.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 262560 0 0 0 86346 663 0 0 25 0 1 0 678384166 28692480 5351 4294967295 134512640 134714508 3221221792 3221218012 1075116541 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7005 5351 1111 63 0 6942 0 vsize: 28020 [startup+880.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 26678 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 263666 0 0 0 87343 667 0 0 25 0 1 0 678384166 19869696 4171 4294967295 134512640 134714508 3221221792 3221219840 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4851 4171 1111 63 0 4788 0 vsize: 19404 [startup+890.035 s] Raw data (loadavg): 1.15 1.03 1.01 2/54 26731 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 265131 0 0 0 88338 671 0 0 25 0 1 0 678384166 28622848 5192 4294967295 134512640 134714508 3221221792 3221218012 1075116767 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6988 5192 1111 63 0 6925 0 vsize: 27952 [startup+900.035 s] Raw data (loadavg): 1.13 1.03 1.01 2/54 26731 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 265221 0 0 0 89338 672 0 0 25 0 1 0 678384166 28622848 5282 4294967295 134512640 134714508 3221221792 3221217936 1074970275 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6988 5282 1111 63 0 6925 0 vsize: 27952 [startup+910.035 s] Raw data (loadavg): 1.11 1.03 1.01 2/54 26731 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 265272 0 0 0 90338 672 0 0 25 0 1 0 678384166 28622848 5333 4294967295 134512640 134714508 3221221792 3221218836 1074846216 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6988 5333 1111 63 0 6925 0 vsize: 27952 [startup+920.035 s] Raw data (loadavg): 1.09 1.03 1.01 2/54 26731 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 266357 0 0 0 91336 675 0 0 25 0 1 0 678384166 19869696 4171 4294967295 134512640 134714508 3221221792 3221220192 1074153753 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4851 4171 1111 63 0 4788 0 vsize: 19404 [startup+930.036 s] Raw data (loadavg): 1.08 1.03 1.01 2/54 26731 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 267839 0 0 0 92332 678 0 0 25 0 1 0 678384166 28688384 5214 4294967295 134512640 134714508 3221221792 3221218012 1075116564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7004 5214 1111 63 0 6941 0 vsize: 28016 [startup+940.037 s] Raw data (loadavg): 1.06 1.03 1.01 2/54 26731 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 267938 0 0 0 93332 678 0 0 25 0 1 0 678384166 28688384 5313 4294967295 134512640 134714508 3221221792 3221218012 1075116501 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7004 5313 1111 63 0 6941 0 vsize: 28016 [startup+950.037 s] Raw data (loadavg): 1.05 1.02 1.00 2/54 26731 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 269079 0 0 0 94330 681 0 0 25 0 1 0 678384166 19853312 4167 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4847 4167 1111 63 0 4784 0 vsize: 19388 [startup+960.038 s] Raw data (loadavg): 1.05 1.02 1.00 2/54 26731 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 270392 0 0 0 95327 684 0 0 25 0 1 0 678384166 28618752 5036 4294967295 134512640 134714508 3221221792 3221218720 1075960263 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6987 5036 1111 63 0 6924 0 vsize: 27948 [startup+970.037 s] Raw data (loadavg): 1.04 1.02 1.00 2/54 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 270648 0 0 0 96326 685 0 0 25 0 1 0 678384166 28618752 5292 4294967295 134512640 134714508 3221221792 3221218012 1075116498 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6987 5292 1111 63 0 6924 0 vsize: 27948 [startup+980.038 s] Raw data (loadavg): 1.03 1.02 1.00 2/54 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 270685 0 0 0 97326 685 0 0 25 0 1 0 678384166 28618752 5329 4294967295 134512640 134714508 3221221792 3221218324 1074260664 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6987 5329 1111 63 0 6924 0 vsize: 27948 [startup+990.038 s] Raw data (loadavg): 1.10 1.04 1.01 2/54 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 271708 0 0 0 98324 687 0 0 25 0 1 0 678384166 27693056 4861 4294967295 134512640 134714508 3221221792 3221218448 1075967895 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6761 4862 1111 63 0 6698 0 vsize: 27044 [startup+1000.04 s] Raw data (loadavg): 1.08 1.04 1.00 2/54 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 271908 0 0 0 99324 688 0 0 25 0 1 0 678384166 20213760 4255 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4935 4255 1111 63 0 4872 0 vsize: 19740 [startup+1010.04 s] Raw data (loadavg): 1.07 1.03 1.00 2/54 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 273433 0 0 0 100321 691 0 0 25 0 1 0 678384166 28573696 5285 4294967295 134512640 134714508 3221221792 3221217920 1074880735 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6976 5285 1111 63 0 6913 0 vsize: 27904 [startup+1020.04 s] Raw data (loadavg): 1.06 1.03 1.00 2/54 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 273496 0 0 0 101320 692 0 0 25 0 1 0 678384166 28925952 5348 4294967295 134512640 134714508 3221221792 3221217932 1074970247 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7062 5348 1111 63 0 6999 0 vsize: 28248 [startup+1030.04 s] Raw data (loadavg): 1.05 1.03 1.00 2/54 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 283537 0 0 0 102296 716 0 0 25 0 1 0 678384166 20135936 4236 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4916 4236 1111 63 0 4853 0 vsize: 19664 [startup+1040.04 s] Raw data (loadavg): 1.04 1.03 1.00 2/54 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 285039 0 0 0 103292 720 0 0 25 0 1 0 678384166 28635136 5293 4294967295 134512640 134714508 3221221792 3221218760 1075112600 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6991 5293 1111 63 0 6928 0 vsize: 27964 [startup+1050.04 s] Raw data (loadavg): 1.04 1.03 1.00 2/54 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 285067 0 0 0 104292 720 0 0 25 0 1 0 678384166 28635136 5321 4294967295 134512640 134714508 3221221792 3221218012 1075116848 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6991 5321 1111 63 0 6928 0 vsize: 27964 [startup+1060.04 s] Raw data (loadavg): 1.03 1.03 1.00 2/54 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 285072 0 0 0 105292 720 0 0 25 0 1 0 678384166 28635136 5326 4294967295 134512640 134714508 3221221792 3221218012 1075116862 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6991 5326 1111 63 0 6928 0 vsize: 27964 [startup+1070.04 s] Raw data (loadavg): 1.02 1.03 1.00 2/54 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 286147 0 0 0 106289 724 0 0 25 0 1 0 678384166 19861504 4169 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4849 4169 1111 63 0 4786 0 vsize: 19396 [startup+1080.04 s] Raw data (loadavg): 1.02 1.02 1.00 2/54 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 287600 0 0 0 107287 727 0 0 25 0 1 0 678384166 28622848 5182 4294967295 134512640 134714508 3221221792 3221218012 1075116569 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6988 5182 1111 63 0 6925 0 vsize: 27952 [startup+1090.04 s] Raw data (loadavg): 1.02 1.02 1.00 2/54 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 287708 0 0 0 108287 727 0 0 25 0 1 0 678384166 28622848 5290 4294967295 134512640 134714508 3221221792 3221218064 1074960847 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6988 5290 1111 63 0 6925 0 vsize: 27952 [startup+1100.04 s] Raw data (loadavg): 1.01 1.02 1.00 2/54 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 287748 0 0 0 109287 727 0 0 25 0 1 0 678384166 28622848 5330 4294967295 134512640 134714508 3221221792 3221217952 1075091205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6988 5330 1111 63 0 6925 0 vsize: 27952 [startup+1110.04 s] Raw data (loadavg): 1.01 1.02 1.00 2/54 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 288883 0 0 0 110284 730 0 0 25 0 1 0 678384166 20135936 4236 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4916 4236 1111 63 0 4853 0 vsize: 19664 [startup+1120.04 s] Raw data (loadavg): 1.01 1.02 1.00 2/54 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 290032 0 0 0 111281 733 0 0 25 0 1 0 678384166 27992064 5132 4294967295 134512640 134714508 3221221792 3221218012 1075116866 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6834 5132 1111 63 0 6771 0 vsize: 27336 [startup+1130.04 s] Raw data (loadavg): 1.01 1.02 1.00 2/54 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 291844 0 0 0 112276 738 0 0 25 0 1 0 678384166 27787264 4917 4294967295 134512640 134714508 3221221792 3221217952 1074883509 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6784 4917 1111 63 0 6721 0 vsize: 27136 [startup+1140.04 s] Raw data (loadavg): 1.01 1.02 1.00 2/54 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 292700 0 0 0 113274 740 0 0 25 0 1 0 678384166 19853312 4167 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4847 4167 1111 63 0 4784 0 vsize: 19388 [startup+1150.04 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 293800 0 0 0 114272 742 0 0 25 0 1 0 678384166 27783168 5042 4294967295 134512640 134714508 3221221792 3221218864 1074867308 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6783 5042 1111 63 0 6720 0 vsize: 27132 [startup+1160.04 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 295620 0 0 0 115268 747 0 0 25 0 1 0 678384166 27828224 4994 4294967295 134512640 134714508 3221221792 3221218448 1075967892 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6794 4994 1111 63 0 6731 0 vsize: 27176 [startup+1170.04 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 296423 0 0 0 116266 749 0 0 25 0 1 0 678384166 19877888 4173 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4853 4173 1111 63 0 4790 0 vsize: 19412 [startup+1180.04 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 297870 0 0 0 117263 752 0 0 25 0 1 0 678384166 28553216 5187 4294967295 134512640 134714508 3221221792 3221218316 1076047682 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6971 5187 1111 63 0 6908 0 vsize: 27884 [startup+1190.04 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 297988 0 0 0 118263 752 0 0 25 0 1 0 678384166 28553216 5305 4294967295 134512640 134714508 3221221792 3221218012 1075116583 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6971 5305 1111 63 0 6908 0 vsize: 27884 [startup+1193.43 s] Raw data (loadavg): 1.00 1.01 1.00 1/53 26733 Raw data (stat): 26678 (bsolo_lpr) R 26677 7876 7672 0 -1 0 297988 0 0 0 118263 752 0 0 25 0 1 0 678384166 28553216 5305 4294967295 134512640 134714508 3221221792 3221218012 1075116583 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6971 5305 1111 63 0 6908 0 vsize: 0 Child status: 10 Real time (s): 1193.43 CPU time (s): 1193.55 CPU user time (s): 1185.99 CPU system time (s): 7.55685 CPU usage (%): 100.01 Max. virtual memory (Kb): 28484 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 503 #### END VERIFIER DATA ####