Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32a1.opb |
MD5SUM | eb47f4c49e66c2bccec3237bb66dd1b2 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 444 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 918 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 918 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 918 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 9.00763 |
Number of variables | 918 |
Total number of constraints | 9671 |
Number of constraints which are clauses | 9671 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-08 18:56:15 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28760 boxname=wulflinc6 idbench=146 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: eb47f4c49e66c2bccec3237bb66dd1b2 /oldhome/oroussel/tmp/wulflinc6/normalized-ii32a1.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-ii32a1.opb IDLAUNCH: 28760 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 924072 kB Buffers: 25308 kB Cached: 63976 kB SwapCached: 1292 kB Active: 24028 kB Inactive: 67656 kB HighTotal: 131008 kB HighFree: 82852 kB LowTotal: 903652 kB LowFree: 841220 kB SwapTotal: 2097136 kB SwapFree: 2094824 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4988 kB Slab: 13140 kB Committed_AS: 63720 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 19:15:52 (client local time) WITH STATUS 10 IN 1178.02 SECONDS stats: 28760 0 1178.02 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 918 variables and 9671 constraints. c After prepocess the problem consists of 918 variables and 9671 constraints. c preprocess terminated 32.142 s c Initial Lower Bound: 290 c Lower Bound Elapsed time: 29.686 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 459 @ 252.191 c NEW SOLUTION FOUND: 458 @ 252.194 c NEW SOLUTION FOUND: 457 @ 252.212 c NEW SOLUTION FOUND: 456 @ 252.222 c NEW SOLUTION FOUND: 455 @ 252.242 c NEW SOLUTION FOUND: 454 @ 252.253 c NEW SOLUTION FOUND: 453 @ 252.264 c NEW SOLUTION FOUND: 452 @ 252.286 c NEW SOLUTION FOUND: 451 @ 252.31 c NEW SOLUTION FOUND: 450 @ 252.322 c NEW SOLUTION FOUND: 449 @ 252.334 c NEW SOLUTION FOUND: 448 @ 252.359 c NEW SOLUTION FOUND: 447 @ 252.372 c NEW SOLUTION FOUND: 446 @ 252.384 c NEW SOLUTION FOUND: 445 @ 252.437 c NEW SOLUTION FOUND: 444 @ 252.452 s SATISFIABLE v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 -x73 x74 x75 -x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 -x91 x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 -x101 x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 -x129 x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 -x175 x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 -x200 x201 -x202 x203 -x204 x205 -x206 x207 -x208 x209 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 -x250 x251 -x252 x253 -x254 x255 -x256 x257 -x258 x259 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 -x275 x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 x379 -x380 -x381 x382 x383 -x384 -x385 x386 x387 -x388 -x389 x390 -x391 x392 -x393 x394 x395 -x396 -x397 x398 x399 -x400 -x401 x402 -x403 x404 x405 -x406 -x407 x408 -x409 x410 -x411 x412 x413 -x414 -x415 x416 -x417 -x418 x419 -x420 -x421 x422 x423 -x424 -x425 x426 -x427 x428 x429 -x430 -x431 x432 x433 -x434 -x435 x436 -x437 x438 -x439 x440 x441 -x442 -x443 x444 -x445 x446 x447 -x448 -x449 x450 -x451 x452 x453 -x454 -x455 x456 -x457 x458 x459 -x460 -x461 x462 -x463 x464 x465 -x466 -x467 x468 -x469 x470 -x471 x472 x473 -x474 -x475 x476 x477 -x478 -x479 x480 x481 -x482 -x483 x484 -x485 x486 -x487 x488 x489 -x490 -x491 x492 x493 -x494 -x495 x496 -x497 x498 x499 -x500 -x501 x502 -x503 x504 -x505 x506 x507 -x508 -x509 x510 -x511 x512 x513 -x514 -x515 x516 -x517 x518 -x519 x520 x521 -x522 -x523 x524 x525 -x526 -x527 x528 -x529 x530 -x531 x532 x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 x542 -x543 x544 x545 -x546 -x547 x548 x549 -x550 -x551 x552 -x553 x554 x555 -x556 -x557 x558 x559 -x560 -x561 x562 -x563 x564 -x565 x566 -x567 x568 x569 -x570 -x571 x572 -x573 -x574 x575 -x576 x577 -x578 -x579 x580 -x581 x582 -x583 x584 -x585 x586 x587 -x588 x589 -x590 -x591 x592 -x593 x594 -x595 x596 x597 -x598 -x599 x600 -x601 -x602 x603 -x604 -x605 x606 x607 -x608 -x609 -x610 -x611 x612 -x613 x614 x615 -x616 -x617 x618 -x619 x620 x621 -x622 -x623 x624 -x625 -x626 x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 x636 -x637 x638 -x639 x640 x641 -x642 -x643 x644 -x645 x646 x647 -x648 x649 -x650 -x651 x652 -x653 x654 -x655 x656 x657 -x658 -x659 -x660 x661 -x662 -x663 x664 -x665 x666 -x667 x668 x669 -x670 -x671 x672 x673 -x674 -x675 x676 -x677 x678 -x679 x680 -x681 x682 x683 -x684 -x685 x686 x687 -x688 -x689 x690 -x691 x692 x693 -x694 -x695 x696 -x697 x698 x699 -x700 -x701 x702 -x703 x704 x705 -x706 -x707 x708 -x709 x710 -x711 x712 x713 -x714 x715 -x716 -x717 x718 -x719 x720 -x721 x722 x723 -x724 -x725 x726 -x727 x728 -x729 x730 x731 -x732 -x733 x734 -x735 x736 x737 -x738 -x739 x740 x741 -x742 -x743 x744 -x745 x746 x747 -x748 -x749 x750 x751 -x752 -x753 x754 -x755 x756 -x757 x758 -x759 x760 x761 -x762 -x763 x764 x765 -x766 -x767 x768 -x769 x770 x771 -x772 -x773 x774 -x775 x776 -x777 x778 x779 -x780 -x781 x782 -x783 -x784 x785 -x786 -x787 x788 x789 -x790 -x791 x792 -x793 -x794 x795 -x796 -x797 x798 x799 -x800 -x801 x802 -x803 x804 -x805 x806 -x807 x808 x809 -x810 -x811 x812 x813 -x814 -x815 x816 x817 -x818 -x819 x820 -x821 x822 x823 -x824 -x825 x826 -x827 x828 -x829 x830 x831 -x832 -x833 -x834 x835 -x836 -x837 x838 -x839 x840 -x841 x842 x843 -x844 -x845 x846 -x847 x848 x849 -x850 -x851 x852 x853 -x854 -x855 x856 -x857 x858 x859 -x860 -x861 x862 -x863 x864 x865 -x866 -x867 x868 -x869 x870 -x871 x872 x873 -x874 -x875 x876 x877 -x878 -x879 -x880 -x881 x882 x883 -x884 -x885 x886 -x887 x888 -x889 x890 x891 -x892 -x893 -x894 x895 -x896 -x897 x898 -x899 x900 -x901 x902 x903 -x904 -x905 x906 -x907 x908 x909 -x910 -x911 x912 x913 -x914 -x915 x916 -x917 x918 c Exit Code: 10 c Total time: 1178 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.92 0.95 0.90 1/54 1190 Raw data (stat): 1190 (runsolver) R 1189 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903961642 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0011 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 1190 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 2611 0 0 0 990 7 0 0 25 0 1 0 903961642 13864960 2528 4294967295 134512640 134716908 3221224576 3221222928 134543030 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3385 2528 1111 63 0 3322 0 vsize: 13540 [startup+20.0018 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 1190 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 2617 0 0 0 1991 7 0 0 25 0 1 0 903961642 13864960 2534 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3385 2534 1111 63 0 3322 0 vsize: 13540 [startup+30.002 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 1190 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 2617 0 0 0 2991 7 0 0 25 0 1 0 903961642 13864960 2534 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3385 2534 1111 63 0 3322 0 vsize: 13540 [startup+40.0025 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 1190 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 4539 0 0 0 3986 12 0 0 25 0 1 0 903961642 22560768 4061 4294967295 134512640 134716908 3221224576 3221220700 1075116549 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5508 4061 1111 63 0 5445 0 vsize: 22032 [startup+50.0033 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 1190 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 4704 0 0 0 4986 12 0 0 25 0 1 0 903961642 22921216 4226 4294967295 134512640 134716908 3221224576 3221220700 1075116767 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5596 4226 1111 63 0 5533 0 vsize: 22384 [startup+60.0035 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 1190 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 6663 0 0 0 5980 19 0 0 25 0 1 0 903961642 17825792 3604 4294967295 134512640 134716908 3221224576 3221222692 1075964218 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4352 3604 1111 63 0 4289 0 vsize: 17408 [startup+70.0042 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 1190 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 6665 0 0 0 6979 19 0 0 25 0 1 0 903961642 17825792 3606 4294967295 134512640 134716908 3221224576 3221223304 134543825 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4352 3606 1111 63 0 4289 0 vsize: 17408 [startup+80.0048 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 1190 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 6720 0 0 0 7979 20 0 0 25 0 1 0 903961642 17960960 3661 4294967295 134512640 134716908 3221224576 3221223208 134542295 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4385 3661 1111 63 0 4322 0 vsize: 17540 [startup+90.0052 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 1190 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 6877 0 0 0 8978 21 0 0 25 0 1 0 903961642 18636800 3818 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4550 3818 1111 63 0 4487 0 vsize: 18200 [startup+100.005 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 1190 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 6979 0 0 0 9978 21 0 0 25 0 1 0 903961642 19042304 3920 4294967295 134512640 134716908 3221224576 3221223216 134542344 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4649 3920 1111 63 0 4586 0 vsize: 18596 [startup+110.006 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 1190 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 7128 0 0 0 10978 22 0 0 25 0 1 0 903961642 19582976 4069 4294967295 134512640 134716908 3221224576 3221223216 134543108 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4781 4069 1111 63 0 4718 0 vsize: 19124 [startup+120.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1190 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 7242 0 0 0 11978 22 0 0 25 0 1 0 903961642 20123648 4183 4294967295 134512640 134716908 3221224576 3221223244 134542983 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4913 4183 1111 63 0 4850 0 vsize: 19652 [startup+130.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1190 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 7374 0 0 0 12978 23 0 0 25 0 1 0 903961642 20664320 4315 4294967295 134512640 134716908 3221224576 3221223116 134539235 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5045 4315 1111 63 0 4982 0 vsize: 20180 [startup+140.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1190 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 7558 0 0 0 13977 24 0 0 25 0 1 0 903961642 21336064 4499 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5209 4499 1111 63 0 5146 0 vsize: 20836 [startup+150.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1190 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 7759 0 0 0 14976 25 0 0 25 0 1 0 903961642 22147072 4700 4294967295 134512640 134716908 3221224576 3221223204 134543092 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5407 4700 1111 63 0 5344 0 vsize: 21628 [startup+160.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1190 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 7966 0 0 0 15976 26 0 0 25 0 1 0 903961642 23093248 4907 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5638 4907 1111 63 0 5575 0 vsize: 22552 [startup+170.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1190 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 8160 0 0 0 16976 27 0 0 25 0 1 0 903961642 23904256 5101 4294967295 134512640 134716908 3221224576 3221223216 134542303 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5836 5101 1111 63 0 5773 0 vsize: 23344 [startup+180.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1190 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 8348 0 0 0 17975 28 0 0 25 0 1 0 903961642 24580096 5289 4294967295 134512640 134716908 3221224576 3221223180 134536781 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6001 5289 1111 63 0 5938 0 vsize: 24004 [startup+190.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1190 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 8533 0 0 0 18975 28 0 0 25 0 1 0 903961642 25391104 5474 4294967295 134512640 134716908 3221224576 3221223084 134535900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6199 5474 1111 63 0 6136 0 vsize: 24796 [startup+200.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1190 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 8689 0 0 0 19975 29 0 0 25 0 1 0 903961642 26066944 5630 4294967295 134512640 134716908 3221224576 3221223216 134543070 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6364 5630 1111 63 0 6301 0 vsize: 25456 [startup+210.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1190 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 8863 0 0 0 20974 30 0 0 25 0 1 0 903961642 26742784 5804 4294967295 134512640 134716908 3221224576 3221223360 134529177 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6529 5804 1111 63 0 6466 0 vsize: 26116 [startup+220.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1190 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 9025 0 0 0 21974 31 0 0 25 0 1 0 903961642 27418624 5966 4294967295 134512640 134716908 3221224576 3221223216 134539518 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6694 5966 1111 63 0 6631 0 vsize: 26776 [startup+230.021 s] Raw data (loadavg): 0.99 0.97 0.91 4/58 1219 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 9169 0 0 0 22974 32 0 0 25 0 1 0 903961642 27959296 6110 4294967295 134512640 134716908 3221224576 3221223216 134539518 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6826 6110 1111 63 0 6763 0 vsize: 27304 [startup+240.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1244 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 9306 0 0 0 23973 33 0 0 25 0 1 0 903961642 28499968 6247 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6958 6247 1111 63 0 6895 0 vsize: 27832 [startup+250.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1244 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 9434 0 0 0 24972 34 0 0 25 0 1 0 903961642 29040640 6375 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7090 6375 1111 63 0 7027 0 vsize: 28360 [startup+260.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1244 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 11151 0 0 0 25967 39 0 0 25 0 1 0 903961642 28135424 6182 4294967295 134512640 134716908 3221224576 3221222392 1077378596 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6869 6182 1111 63 0 6806 0 vsize: 27476 [startup+270.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1244 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 13068 0 0 0 26962 44 0 0 25 0 1 0 903961642 28110848 6176 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6863 6176 1111 63 0 6800 0 vsize: 27452 [startup+280.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1244 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 14952 0 0 0 27958 49 0 0 25 0 1 0 903961642 28106752 6175 4294967295 134512640 134716908 3221224576 3221222784 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6862 6175 1111 63 0 6799 0 vsize: 27448 [startup+290.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1244 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 16821 0 0 0 28953 54 0 0 25 0 1 0 903961642 28123136 6186 4294967295 134512640 134716908 3221224576 3221222976 1074153766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6866 6186 1111 63 0 6803 0 vsize: 27464 [startup+300.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1244 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 18621 0 0 0 29949 59 0 0 25 0 1 0 903961642 28127232 6187 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6867 6187 1111 63 0 6804 0 vsize: 27468 [startup+310.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 20543 0 0 0 30945 63 0 0 25 0 1 0 903961642 33374208 6733 4294967295 134512640 134716908 3221224576 3221220796 1075116862 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8148 6733 1111 63 0 8085 0 vsize: 32592 [startup+320.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 22187 0 0 0 31941 68 0 0 25 0 1 0 903961642 28127232 6187 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6867 6187 1111 63 0 6804 0 vsize: 27468 [startup+330.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 24084 0 0 0 32936 73 0 0 25 0 1 0 903961642 33464320 6771 4294967295 134512640 134716908 3221224576 3221220796 1075116513 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8170 6771 1111 63 0 8107 0 vsize: 32680 [startup+340.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 25760 0 0 0 33932 78 0 0 25 0 1 0 903961642 28135424 6189 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6869 6189 1111 63 0 6806 0 vsize: 27476 [startup+350.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 27602 0 0 0 34927 83 0 0 25 0 1 0 903961642 33415168 6765 4294967295 134512640 134716908 3221224576 3221221544 1075112606 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8158 6765 1111 63 0 8095 0 vsize: 32632 [startup+360.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 29232 0 0 0 35923 87 0 0 25 0 1 0 903961642 28139520 6190 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6870 6190 1111 63 0 6807 0 vsize: 27480 [startup+370.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 31136 0 0 0 36918 93 0 0 25 0 1 0 903961642 33484800 6759 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8175 6759 1111 63 0 8112 0 vsize: 32700 [startup+380.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 33418 0 0 0 37912 99 0 0 25 0 1 0 903961642 33316864 6720 4294967295 134512640 134716908 3221224576 3221221408 1075115375 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8134 6720 1111 63 0 8071 0 vsize: 32536 [startup+390.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 35042 0 0 0 38907 105 0 0 25 0 1 0 903961642 28135424 6189 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6869 6189 1111 63 0 6806 0 vsize: 27476 [startup+400.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 36697 0 0 0 39903 109 0 0 25 0 1 0 903961642 33067008 6650 4294967295 134512640 134716908 3221224576 3221220720 1074969463 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8073 6650 1111 63 0 8010 0 vsize: 32292 [startup+410.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 38334 0 0 0 40899 114 0 0 25 0 1 0 903961642 28123136 6186 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6866 6186 1111 63 0 6803 0 vsize: 27464 [startup+420.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 40175 0 0 0 41894 119 0 0 25 0 1 0 903961642 33378304 6661 4294967295 134512640 134716908 3221224576 3221221568 1075338833 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8149 6661 1111 63 0 8086 0 vsize: 32596 [startup+430.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 41285 0 0 0 42891 122 0 0 25 0 1 0 903961642 33173504 6667 4294967295 134512640 134716908 3221224576 3221220736 1074794640 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8099 6667 1111 63 0 8036 0 vsize: 32396 [startup+440.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 43032 0 0 0 43887 127 0 0 25 0 1 0 903961642 33107968 6648 4294967295 134512640 134716908 3221224576 3221220804 1075115117 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8083 6648 1111 63 0 8020 0 vsize: 32332 [startup+450.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 44875 0 0 0 44882 132 0 0 25 0 1 0 903961642 33386496 6693 4294967295 134512640 134716908 3221224576 3221220704 1075112080 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8151 6693 1111 63 0 8088 0 vsize: 32604 [startup+460.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 46586 0 0 0 45878 136 0 0 25 0 1 0 903961642 28139520 6190 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6870 6190 1111 63 0 6807 0 vsize: 27480 [startup+470.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 48599 0 0 0 46872 143 0 0 25 0 1 0 903961642 33361920 6763 4294967295 134512640 134716908 3221224576 3221220796 1075116862 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8145 6763 1111 63 0 8082 0 vsize: 32580 [startup+480.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 50299 0 0 0 47868 147 0 0 25 0 1 0 903961642 28139520 6190 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6870 6190 1111 63 0 6807 0 vsize: 27480 [startup+490.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 52233 0 0 0 48863 152 0 0 25 0 1 0 903961642 33529856 6691 4294967295 134512640 134716908 3221224576 3221220704 1075561092 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8186 6691 1111 63 0 8123 0 vsize: 32744 [startup+500.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 53590 0 0 0 49860 155 0 0 25 0 1 0 903961642 33607680 6769 4294967295 134512640 134716908 3221224576 3221220552 1074788443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8205 6769 1111 63 0 8142 0 vsize: 32820 [startup+510.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 55347 0 0 0 50856 160 0 0 25 0 1 0 903961642 28151808 6193 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6873 6193 1111 63 0 6810 0 vsize: 27492 [startup+520.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 57287 0 0 0 51851 165 0 0 25 0 1 0 903961642 33452032 6792 4294967295 134512640 134716908 3221224576 3221220796 1075116731 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8167 6792 1111 63 0 8104 0 vsize: 32668 [startup+530.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 59009 0 0 0 52847 170 0 0 25 0 1 0 903961642 28139520 6190 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6870 6190 1111 63 0 6807 0 vsize: 27480 [startup+540.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1246 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 60727 0 0 0 53842 175 0 0 25 0 1 0 903961642 33132544 6646 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8089 6646 1111 63 0 8026 0 vsize: 32356 [startup+550.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 62470 0 0 0 54839 179 0 0 25 0 1 0 903961642 28594176 6301 4294967295 134512640 134716908 3221224576 3221222576 1074918198 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6981 6301 1111 63 0 6918 0 vsize: 27924 [startup+560.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 64627 0 0 0 55834 184 0 0 25 0 1 0 903961642 28119040 6185 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6865 6185 1111 63 0 6802 0 vsize: 27460 [startup+570.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 66189 0 0 0 56831 187 0 0 25 0 1 0 903961642 33542144 6786 4294967295 134512640 134716908 3221224576 3221220848 1074960920 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8189 6786 1111 63 0 8126 0 vsize: 32756 [startup+580.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 68058 0 0 0 57826 192 0 0 25 0 1 0 903961642 29204480 6328 4294967295 134512640 134716908 3221224576 3221222304 1075828444 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7130 6328 1111 63 0 7067 0 vsize: 28520 [startup+590.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 70135 0 0 0 58821 197 0 0 25 0 1 0 903961642 28135424 6189 4294967295 134512640 134716908 3221224576 3221222688 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6869 6189 1111 63 0 6806 0 vsize: 27476 [startup+600.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 72318 0 0 0 59816 203 0 0 25 0 1 0 903961642 28102656 6181 4294967295 134512640 134716908 3221224576 3221222864 1074143973 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6861 6181 1111 63 0 6798 0 vsize: 27444 [startup+610.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 73934 0 0 0 60812 207 0 0 25 0 1 0 903961642 33689600 6786 4294967295 134512640 134716908 3221224576 3221220720 1074969465 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8225 6786 1111 63 0 8162 0 vsize: 32900 [startup+620.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 76275 0 0 0 61807 213 0 0 25 0 1 0 903961642 33325056 6716 4294967295 134512640 134716908 3221224576 3221220704 1075561092 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8136 6716 1111 63 0 8073 0 vsize: 32544 [startup+630.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 77827 0 0 0 62803 217 0 0 25 0 1 0 903961642 28196864 6204 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6884 6204 1111 63 0 6821 0 vsize: 27536 [startup+640.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 79638 0 0 0 63798 222 0 0 25 0 1 0 903961642 33673216 6784 4294967295 134512640 134716908 3221224576 3221220796 1075116731 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8221 6784 1111 63 0 8158 0 vsize: 32884 [startup+650.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 81444 0 0 0 64795 226 0 0 25 0 1 0 903961642 28725248 6328 4294967295 134512640 134716908 3221224576 3221222576 1074916750 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7013 6328 1111 63 0 6950 0 vsize: 28052 [startup+660.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 83542 0 0 0 65789 232 0 0 25 0 1 0 903961642 28110848 6183 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6863 6183 1111 63 0 6800 0 vsize: 27452 [startup+670.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 85344 0 0 0 66784 237 0 0 25 0 1 0 903961642 33517568 6729 4294967295 134512640 134716908 3221224576 3221220524 1074788953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8183 6729 1111 63 0 8120 0 vsize: 32732 [startup+680.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 87008 0 0 0 67780 241 0 0 25 0 1 0 903961642 28139520 6190 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6870 6190 1111 63 0 6807 0 vsize: 27480 [startup+690.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 88912 0 0 0 68775 246 0 0 25 0 1 0 903961642 33435648 6753 4294967295 134512640 134716908 3221224576 3221220816 1075115696 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8163 6753 1111 63 0 8100 0 vsize: 32652 [startup+700.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 91257 0 0 0 69770 252 0 0 25 0 1 0 903961642 33443840 6744 4294967295 134512640 134716908 3221224576 3221221232 1075967692 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8165 6744 1111 63 0 8102 0 vsize: 32660 [startup+710.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 92921 0 0 0 70766 256 0 0 25 0 1 0 903961642 28135424 6189 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6869 6189 1111 63 0 6806 0 vsize: 27476 [startup+720.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 94610 0 0 0 71763 260 0 0 25 0 1 0 903961642 33320960 6715 4294967295 134512640 134716908 3221224576 3221221696 1074834317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8135 6715 1111 63 0 8072 0 vsize: 32540 [startup+730.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 96497 0 0 0 72758 265 0 0 25 0 1 0 903961642 33067008 6639 4294967295 134512640 134716908 3221224576 3221220720 1074969746 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8073 6639 1111 63 0 8010 0 vsize: 32292 [startup+740.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 98724 0 0 0 73751 272 0 0 25 0 1 0 903961642 32641024 6501 4294967295 134512640 134716908 3221224576 3221221388 1074788953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7969 6501 1111 63 0 7906 0 vsize: 31876 [startup+750.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 100480 0 0 0 74747 277 0 0 25 0 1 0 903961642 28119040 6185 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6865 6185 1111 63 0 6802 0 vsize: 27460 [startup+760.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 102264 0 0 0 75742 282 0 0 25 0 1 0 903961642 33570816 6742 4294967295 134512640 134716908 3221224576 3221221232 1075967886 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8196 6742 1111 63 0 8133 0 vsize: 32784 [startup+770.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 104489 0 0 0 76736 288 0 0 25 0 1 0 903961642 33587200 6749 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8200 6749 1111 63 0 8137 0 vsize: 32800 [startup+780.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 106548 0 0 0 77731 293 0 0 25 0 1 0 903961642 33239040 6683 4294967295 134512640 134716908 3221224576 3221220796 1075116862 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8115 6683 1111 63 0 8052 0 vsize: 32460 [startup+790.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 108276 0 0 0 78727 298 0 0 25 0 1 0 903961642 33234944 6679 4294967295 134512640 134716908 3221224576 3221220848 1074960868 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8114 6679 1111 63 0 8051 0 vsize: 32456 [startup+800.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 109951 0 0 0 79722 303 0 0 25 0 1 0 903961642 33071104 6666 4294967295 134512640 134716908 3221224576 3221220796 1075116508 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8074 6666 1111 63 0 8011 0 vsize: 32296 [startup+810.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 111632 0 0 0 80718 307 0 0 25 0 1 0 903961642 33280000 6710 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8125 6710 1111 63 0 8062 0 vsize: 32500 [startup+820.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 112886 0 0 0 81716 310 0 0 25 0 1 0 903961642 34123776 6977 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8331 6977 1111 63 0 8268 0 vsize: 33324 [startup+830.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 114703 0 0 0 82712 314 0 0 25 0 1 0 903961642 28782592 6347 4294967295 134512640 134716908 3221224576 3221223192 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7027 6347 1111 63 0 6964 0 vsize: 28108 [startup+840.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 116139 0 0 0 83709 318 0 0 25 0 1 0 903961642 33116160 6644 4294967295 134512640 134716908 3221224576 3221220540 1074787622 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8085 6644 1111 63 0 8022 0 vsize: 32340 [startup+850.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 117459 0 0 0 84706 321 0 0 25 0 1 0 903961642 28594176 6301 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6981 6301 1111 63 0 6918 0 vsize: 27924 [startup+860.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 118830 0 0 0 85703 324 0 0 25 0 1 0 903961642 33132544 6666 4294967295 134512640 134716908 3221224576 3221220796 1075116501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8089 6666 1111 63 0 8026 0 vsize: 32356 [startup+870.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 120309 0 0 0 86699 329 0 0 25 0 1 0 903961642 28598272 6302 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6982 6302 1111 63 0 6919 0 vsize: 27928 [startup+880.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 121951 0 0 0 87695 333 0 0 25 0 1 0 903961642 33615872 6762 4294967295 134512640 134716908 3221224576 3221220736 1074794472 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8207 6762 1111 63 0 8144 0 vsize: 32828 [startup+890.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 123027 0 0 0 88693 336 0 0 25 0 1 0 903961642 33759232 6816 4294967295 134512640 134716908 3221224576 3221220848 1074960909 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8242 6816 1111 63 0 8179 0 vsize: 32968 [startup+900.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 124746 0 0 0 89688 341 0 0 25 0 1 0 903961642 33079296 6652 4294967295 134512640 134716908 3221224576 3221221408 1075115375 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8076 6652 1111 63 0 8013 0 vsize: 32304 [startup+910.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 126337 0 0 0 90685 344 0 0 25 0 1 0 903961642 33226752 6697 4294967295 134512640 134716908 3221224576 3221221696 1074834340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8112 6697 1111 63 0 8049 0 vsize: 32448 [startup+920.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 127678 0 0 0 91682 348 0 0 25 0 1 0 903961642 33091584 6664 4294967295 134512640 134716908 3221224576 3221220736 1075092790 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8079 6664 1111 63 0 8016 0 vsize: 32316 [startup+930.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 129055 0 0 0 92678 352 0 0 25 0 1 0 903961642 33251328 6692 4294967295 134512640 134716908 3221224576 3221221568 1075110381 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8118 6692 1111 63 0 8055 0 vsize: 32472 [startup+940.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 130487 0 0 0 93676 354 0 0 25 0 1 0 903961642 28610560 6305 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6985 6305 1111 63 0 6922 0 vsize: 27940 [startup+950.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 131788 0 0 0 94672 358 0 0 25 0 1 0 903961642 28610560 6305 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6985 6305 1111 63 0 6922 0 vsize: 27940 [startup+960.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 133326 0 0 0 95669 361 0 0 25 0 1 0 903961642 33103872 6542 4294967295 134512640 134716908 3221224576 3221220712 1077410163 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8082 6542 1111 63 0 8019 0 vsize: 32328 [startup+970.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 134848 0 0 0 96665 366 0 0 25 0 1 0 903961642 28602368 6303 4294967295 134512640 134716908 3221224576 3221222976 1074153669 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6983 6303 1111 63 0 6920 0 vsize: 27932 [startup+980.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 136548 0 0 0 97662 370 0 0 25 0 1 0 903961642 33562624 6797 4294967295 134512640 134716908 3221224576 3221220908 1075112963 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8194 6797 1111 63 0 8131 0 vsize: 32776 [startup+990.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 138022 0 0 0 98659 373 0 0 25 0 1 0 903961642 28581888 6298 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6978 6298 1111 63 0 6915 0 vsize: 27912 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 139661 0 0 0 99655 377 0 0 25 0 1 0 903961642 33525760 6780 4294967295 134512640 134716908 3221224576 3221221104 1075890974 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8185 6780 1111 63 0 8122 0 vsize: 32740 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 141751 0 0 0 100649 383 0 0 25 0 1 0 903961642 28598272 6303 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6982 6303 1111 63 0 6919 0 vsize: 27928 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 143311 0 0 0 101645 388 0 0 25 0 1 0 903961642 34172928 6909 4294967295 134512640 134716908 3221224576 3221220816 1075115768 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8343 6909 1111 63 0 8280 0 vsize: 33372 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 145485 0 0 0 102640 393 0 0 25 0 1 0 903961642 34050048 6897 4294967295 134512640 134716908 3221224576 3221220720 1074969461 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8313 6897 1111 63 0 8250 0 vsize: 33252 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 147411 0 0 0 103636 398 0 0 25 0 1 0 903961642 33964032 6747 4294967295 134512640 134716908 3221224576 3221220816 1075115762 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8292 6747 1111 63 0 8229 0 vsize: 33168 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 148945 0 0 0 104632 402 0 0 25 0 1 0 903961642 28942336 6388 4294967295 134512640 134716908 3221224576 3221222976 1074153815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7066 6388 1111 63 0 7003 0 vsize: 28264 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 150752 0 0 0 105628 406 0 0 25 0 1 0 903961642 34611200 7046 4294967295 134512640 134716908 3221224576 3221220796 1075116532 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8450 7046 1111 63 0 8387 0 vsize: 33800 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 152170 0 0 0 106624 410 0 0 25 0 1 0 903961642 34435072 7018 4294967295 134512640 134716908 3221224576 3221220720 1074969471 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8407 7018 1111 63 0 8344 0 vsize: 33628 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 153358 0 0 0 107623 412 0 0 25 0 1 0 903961642 34181120 6918 4294967295 134512640 134716908 3221224576 3221220720 1074970003 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8345 6918 1111 63 0 8282 0 vsize: 33380 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 155062 0 0 0 108619 416 0 0 25 0 1 0 903961642 29470720 6512 4294967295 134512640 134716908 3221224576 3221222576 1074921304 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7159 6476 1111 63 0 7096 0 vsize: 28780 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 156585 0 0 0 109616 420 0 0 25 0 1 0 903961642 33976320 6897 4294967295 134512640 134716908 3221224576 3221220796 1075116767 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8295 6897 1111 63 0 8232 0 vsize: 33180 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 158638 0 0 0 110611 425 0 0 25 0 1 0 903961642 33996800 6860 4294967295 134512640 134716908 3221224576 3221221408 1075115406 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8300 6860 1111 63 0 8237 0 vsize: 33200 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 160159 0 0 0 111606 429 0 0 25 0 1 0 903961642 28946432 6389 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7067 6389 1111 63 0 7004 0 vsize: 28268 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 161831 0 0 0 112604 433 0 0 25 0 1 0 903961642 33968128 6886 4294967295 134512640 134716908 3221224576 3221220796 1075116741 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8293 6886 1111 63 0 8230 0 vsize: 33172 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 163535 0 0 0 113599 437 0 0 25 0 1 0 903961642 33968128 6885 4294967295 134512640 134716908 3221224576 3221220704 1075561089 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8293 6885 1111 63 0 8230 0 vsize: 33172 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 165383 0 0 0 114595 442 0 0 25 0 1 0 903961642 28954624 6391 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7069 6391 1111 63 0 7006 0 vsize: 28276 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 167053 0 0 0 115591 446 0 0 25 0 1 0 903961642 33955840 6886 4294967295 134512640 134716908 3221224576 3221220848 1074960868 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8290 6886 1111 63 0 8227 0 vsize: 33160 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 169087 0 0 0 116586 451 0 0 25 0 1 0 903961642 33935360 6862 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8285 6862 1111 63 0 8222 0 vsize: 33140 [startup+1177.67 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 1248 Raw data (stat): 1190 (bsolo_lpr_cuts-) R 1189 25568 25567 0 -1 0 169087 0 0 0 116586 451 0 0 25 0 1 0 903961642 33935360 6862 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8285 6862 1111 63 0 8222 0 vsize: 0 Child status: 10 Real time (s): 1177.67 CPU time (s): 1178.02 CPU user time (s): 1173.46 CPU system time (s): 4.56231 CPU usage (%): 100.03 Max. virtual memory (Kb): 33800 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 444 #### END VERIFIER DATA ####