Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e4.opb |
MD5SUM | 1c0d08e5657c85ec3afe3a7738817cf3 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 364 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 774 |
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 | 774 |
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 | 774 |
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 | 130.714 |
Number of variables | 774 |
Total number of constraints | 7493 |
Number of constraints which are clauses | 7493 |
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 wulflinc1 THE 2005-06-08 19:37:59 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28775 boxname=wulflinc1 idbench=161 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 1c0d08e5657c85ec3afe3a7738817cf3 /oldhome/oroussel/tmp/wulflinc1/normalized-ii32e4.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-ii32e4.opb IDLAUNCH: 28775 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 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: 852300 kB Buffers: 26440 kB Cached: 131600 kB SwapCached: 1148 kB Active: 37684 kB Inactive: 122552 kB HighTotal: 131008 kB HighFree: 1036 kB LowTotal: 903652 kB LowFree: 851264 kB SwapTotal: 2097136 kB SwapFree: 2094836 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5268 kB Slab: 16408 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 19:57:39 (client local time) WITH STATUS 10 IN 1179.56 SECONDS stats: 28775 0 1179.56 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 774 variables and 7493 constraints. c After prepocess the problem consists of 774 variables and 7493 constraints. c preprocess terminated 22.947 s c Initial Lower Bound: 264 c Lower Bound Elapsed time: 15.542 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 387 @ 38.565 c NEW SOLUTION FOUND: 386 @ 38.566 c NEW SOLUTION FOUND: 385 @ 38.581 c NEW SOLUTION FOUND: 384 @ 38.59 c NEW SOLUTION FOUND: 383 @ 38.6 c NEW SOLUTION FOUND: 382 @ 38.628 c NEW SOLUTION FOUND: 381 @ 38.639 c NEW SOLUTION FOUND: 380 @ 38.65 c NEW SOLUTION FOUND: 379 @ 38.663 c NEW SOLUTION FOUND: 378 @ 38.677 c NEW SOLUTION FOUND: 377 @ 38.691 c NEW SOLUTION FOUND: 367 @ 38.797 c NEW SOLUTION FOUND: 366 @ 38.953 c NEW SOLUTION FOUND: 365 @ 39.499 c NEW SOLUTION FOUND: 364 @ 41.636 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 c Exit Code: 10 c Total time: 1179.54 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.87 0.94 0.90 2/55 25571 Raw data (stat): 25571 (runsolver) R 25570 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847356103 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0009 s] Raw data (loadavg): 0.89 0.94 0.90 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 2324 0 0 0 991 7 0 0 25 0 1 0 847356103 12673024 2241 4294967295 134512640 134716908 3221224576 3221223020 134542656 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3094 2241 1111 63 0 3031 0 vsize: 12376 [startup+20.0006 s] Raw data (loadavg): 0.91 0.95 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 2328 0 0 0 1991 7 0 0 25 0 1 0 847356103 12673024 2245 4294967295 134512640 134716908 3221224576 3221223228 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3094 2245 1111 63 0 3031 0 vsize: 12376 [startup+30.0014 s] Raw data (loadavg): 0.92 0.95 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 4248 0 0 0 2986 12 0 0 25 0 1 0 847356103 19972096 3733 4294967295 134512640 134716908 3221224576 3221220752 1074960771 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4876 3733 1111 63 0 4813 0 vsize: 19504 [startup+40.0012 s] Raw data (loadavg): 0.93 0.95 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 10283 0 0 0 3972 25 0 0 25 0 1 0 847356103 14659584 2873 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3579 2873 1111 63 0 3516 0 vsize: 14316 [startup+50.001 s] Raw data (loadavg): 0.94 0.95 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 23749 0 0 0 4937 60 0 0 25 0 1 0 847356103 20983808 3736 4294967295 134512640 134716908 3221224576 3221220632 1074789711 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5123 3736 1111 63 0 5060 0 vsize: 20492 [startup+60.0008 s] Raw data (loadavg): 0.95 0.95 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 25628 0 0 0 5934 64 0 0 25 0 1 0 847356103 20938752 3605 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5112 3605 1111 63 0 5049 0 vsize: 20448 [startup+70.0005 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 27541 0 0 0 6929 69 0 0 25 0 1 0 847356103 20430848 3599 4294967295 134512640 134716908 3221224576 3221220796 1075116744 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4988 3599 1111 63 0 4925 0 vsize: 19952 [startup+80.0013 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 30015 0 0 0 7924 74 0 0 25 0 1 0 847356103 14757888 2919 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3603 2919 1111 63 0 3540 0 vsize: 14412 [startup+90.0011 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 32458 0 0 0 8919 80 0 0 25 0 1 0 847356103 20324352 3519 4294967295 134512640 134716908 3221224576 3221220816 1075115734 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4962 3519 1111 63 0 4899 0 vsize: 19848 [startup+100.001 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 34843 0 0 0 9912 86 0 0 25 0 1 0 847356103 14876672 2948 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3632 2948 1111 63 0 3569 0 vsize: 14528 [startup+110.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 37152 0 0 0 10908 90 0 0 25 0 1 0 847356103 20258816 3511 4294967295 134512640 134716908 3221224576 3221221504 1075960291 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4946 3511 1111 63 0 4883 0 vsize: 19784 [startup+120.001 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 39344 0 0 0 11903 96 0 0 25 0 1 0 847356103 14901248 2954 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3638 2954 1111 63 0 3575 0 vsize: 14552 [startup+130.001 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 41651 0 0 0 12897 102 0 0 25 0 1 0 847356103 20193280 3635 4294967295 134512640 134716908 3221224576 3221220536 1074789701 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4930 3635 1111 63 0 4867 0 vsize: 19720 [startup+140.001 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 43824 0 0 0 13892 107 0 0 25 0 1 0 847356103 15069184 2995 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3679 2995 1111 63 0 3616 0 vsize: 14716 [startup+150.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 46138 0 0 0 14887 113 0 0 25 0 1 0 847356103 20201472 3652 4294967295 134512640 134716908 3221224576 3221220912 1075113511 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4932 3652 1111 63 0 4869 0 vsize: 19728 [startup+160.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 48934 0 0 0 15881 118 0 0 25 0 1 0 847356103 20111360 3494 4294967295 134512640 134716908 3221224576 3221221232 1075967852 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4910 3494 1111 63 0 4847 0 vsize: 19640 [startup+170 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 51068 0 0 0 16876 123 0 0 25 0 1 0 847356103 14913536 2957 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3641 2957 1111 63 0 3578 0 vsize: 14564 [startup+180 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 53313 0 0 0 17871 129 0 0 25 0 1 0 847356103 20307968 3627 4294967295 134512640 134716908 3221224576 3221221108 1075863638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4958 3627 1111 63 0 4895 0 vsize: 19832 [startup+190 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 55427 0 0 0 18866 133 0 0 25 0 1 0 847356103 14921728 2959 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3643 2959 1111 63 0 3580 0 vsize: 14572 [startup+200 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 57760 0 0 0 19861 139 0 0 25 0 1 0 847356103 20254720 3643 4294967295 134512640 134716908 3221224576 3221220536 1074789806 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4945 3643 1111 63 0 4882 0 vsize: 19780 [startup+210 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 59917 0 0 0 20856 144 0 0 25 0 1 0 847356103 14901248 2954 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3638 2954 1111 63 0 3575 0 vsize: 14552 [startup+219.999 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 62224 0 0 0 21851 149 0 0 25 0 1 0 847356103 20152320 3564 4294967295 134512640 134716908 3221224576 3221220848 1074961238 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4920 3564 1111 63 0 4857 0 vsize: 19680 [startup+230 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 64303 0 0 0 22846 155 0 0 25 0 1 0 847356103 14888960 2951 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3635 2951 1111 63 0 3572 0 vsize: 14540 [startup+240 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 66336 0 0 0 23840 161 0 0 25 0 1 0 847356103 19894272 3534 4294967295 134512640 134716908 3221224576 3221220796 1075116471 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4857 3534 1111 63 0 4794 0 vsize: 19428 [startup+250 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 68188 0 0 0 24835 166 0 0 25 0 1 0 847356103 15089664 3000 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3684 3000 1111 63 0 3621 0 vsize: 14736 [startup+260 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 70575 0 0 0 25830 171 0 0 25 0 1 0 847356103 20336640 3644 4294967295 134512640 134716908 3221224576 3221220704 1075561201 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4965 3644 1111 63 0 4902 0 vsize: 19860 [startup+270 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 72815 0 0 0 26824 177 0 0 25 0 1 0 847356103 15110144 3005 4294967295 134512640 134716908 3221224576 3221222624 1077814665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3689 3005 1111 63 0 3626 0 vsize: 14756 [startup+280 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 75156 0 0 0 27819 183 0 0 25 0 1 0 847356103 20213760 3651 4294967295 134512640 134716908 3221224576 3221221168 1074885889 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4935 3651 1111 63 0 4872 0 vsize: 19740 [startup+290 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 77691 0 0 0 28813 188 0 0 25 0 1 0 847356103 19906560 3349 4294967295 134512640 134716908 3221224576 3221220896 1075169567 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4860 3349 1111 63 0 4797 0 vsize: 19440 [startup+300 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 79674 0 0 0 29808 193 0 0 25 0 1 0 847356103 14905344 2955 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3639 2955 1111 63 0 3576 0 vsize: 14556 [startup+309.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 82388 0 0 0 30802 200 0 0 25 0 1 0 847356103 15806464 3135 4294967295 134512640 134716908 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3859 3144 1111 63 0 3796 0 vsize: 15436 [startup+319.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 84911 0 0 0 31795 207 0 0 25 0 1 0 847356103 15724544 3073 4294967295 134512640 134716908 3221224576 3221221680 1074138758 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3839 3073 1111 63 0 3776 0 vsize: 15356 [startup+330 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 87290 0 0 0 32789 213 0 0 25 0 1 0 847356103 20045824 3569 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4894 3569 1111 63 0 4831 0 vsize: 19576 [startup+340 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 89890 0 0 0 33783 220 0 0 25 0 1 0 847356103 20320256 3614 4294967295 134512640 134716908 3221224576 3221220796 1075116508 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4961 3614 1111 63 0 4898 0 vsize: 19844 [startup+350 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 91450 0 0 0 34779 224 0 0 25 0 1 0 847356103 20451328 3694 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4993 3694 1111 63 0 4930 0 vsize: 19972 [startup+360 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 94277 0 0 0 35772 231 0 0 25 0 1 0 847356103 20148224 3463 4294967295 134512640 134716908 3221224576 3221221152 1076048670 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4919 3464 1111 63 0 4856 0 vsize: 19676 [startup+370 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 95931 0 0 0 36769 234 0 0 25 0 1 0 847356103 20332544 3660 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4964 3660 1111 63 0 4901 0 vsize: 19856 [startup+380.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 98365 0 0 0 37763 240 0 0 25 0 1 0 847356103 19795968 3484 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4833 3484 1111 63 0 4770 0 vsize: 19332 [startup+390.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 100760 0 0 0 38758 245 0 0 25 0 1 0 847356103 19845120 3532 4294967295 134512640 134716908 3221224576 3221220848 1074961363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4845 3532 1111 63 0 4782 0 vsize: 19380 [startup+400 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 103009 0 0 0 39753 250 0 0 25 0 1 0 847356103 19767296 3411 4294967295 134512640 134716908 3221224576 3221220620 1074873527 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4826 3411 1111 63 0 4763 0 vsize: 19304 [startup+410.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 105415 0 0 0 40747 256 0 0 25 0 1 0 847356103 14901248 2961 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3638 2961 1111 63 0 3575 0 vsize: 14552 [startup+420 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 108052 0 0 0 41741 263 0 0 25 0 1 0 847356103 19148800 3198 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4675 3198 1111 63 0 4612 0 vsize: 18700 [startup+430 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 110477 0 0 0 42735 269 0 0 25 0 1 0 847356103 14905344 2962 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3639 2962 1111 63 0 3576 0 vsize: 14556 [startup+440.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 112860 0 0 0 43729 275 0 0 25 0 1 0 847356103 19234816 3307 4294967295 134512640 134716908 3221224576 3221220444 1074787543 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4696 3307 1111 63 0 4633 0 vsize: 18784 [startup+450 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 115052 0 0 0 44724 281 0 0 25 0 1 0 847356103 14884864 2957 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3634 2957 1111 63 0 3571 0 vsize: 14536 [startup+460 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 117156 0 0 0 45718 286 0 0 25 0 1 0 847356103 19148800 3153 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4675 3153 1111 63 0 4612 0 vsize: 18700 [startup+470 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 119243 0 0 0 46713 291 0 0 25 0 1 0 847356103 14880768 2956 4294967295 134512640 134716908 3221224576 3221222976 1074153766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3633 2956 1111 63 0 3570 0 vsize: 14532 [startup+480.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 121303 0 0 0 47708 297 0 0 25 0 1 0 847356103 19144704 3287 4294967295 134512640 134716908 3221224576 3221220796 1075116731 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4674 3287 1111 63 0 4611 0 vsize: 18696 [startup+490.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 123123 0 0 0 48705 300 0 0 25 0 1 0 847356103 14897152 2960 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3637 2960 1111 63 0 3574 0 vsize: 14548 [startup+500 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 125192 0 0 0 49699 306 0 0 25 0 1 0 847356103 14893056 2959 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3636 2959 1111 63 0 3573 0 vsize: 14544 [startup+510.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 127397 0 0 0 50694 311 0 0 25 0 1 0 847356103 15097856 3010 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3686 3010 1111 63 0 3623 0 vsize: 14744 [startup+520.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 129816 0 0 0 51688 318 0 0 25 0 1 0 847356103 20529152 3685 4294967295 134512640 134716908 3221224576 3221221144 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5012 3685 1111 63 0 4949 0 vsize: 20048 [startup+530.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 132256 0 0 0 52681 325 0 0 25 0 1 0 847356103 16523264 3228 4294967295 134512640 134716908 3221224576 3221222304 1075828444 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4034 3228 1111 63 0 3971 0 vsize: 16136 [startup+540.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 135014 0 0 0 53675 331 0 0 25 0 1 0 847356103 15101952 3011 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3687 3011 1111 63 0 3624 0 vsize: 14748 [startup+550.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 137363 0 0 0 54670 336 0 0 25 0 1 0 847356103 20525056 3711 4294967295 134512640 134716908 3221224576 3221220804 1075115043 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5011 3711 1111 63 0 4948 0 vsize: 20044 [startup+560.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 139551 0 0 0 55664 342 0 0 25 0 1 0 847356103 15101952 3011 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3687 3011 1111 63 0 3624 0 vsize: 14748 [startup+570.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 141899 0 0 0 56657 349 0 0 25 0 1 0 847356103 20480000 3637 4294967295 134512640 134716908 3221224576 3221220848 1074799491 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5000 3637 1111 63 0 4937 0 vsize: 20000 [startup+580.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 144058 0 0 0 57652 355 0 0 25 0 1 0 847356103 15097856 3010 4294967295 134512640 134716908 3221224576 3221222624 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3686 3010 1111 63 0 3623 0 vsize: 14744 [startup+590.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 146220 0 0 0 58646 361 0 0 25 0 1 0 847356103 20516864 3643 4294967295 134512640 134716908 3221224576 3221220796 1075116767 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5009 3643 1111 63 0 4946 0 vsize: 20036 [startup+600.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 148725 0 0 0 59640 367 0 0 25 0 1 0 847356103 16076800 3217 4294967295 134512640 134716908 3221224576 3221222576 1074919246 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3925 3217 1111 63 0 3862 0 vsize: 15700 [startup+610.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 150851 0 0 0 60635 372 0 0 25 0 1 0 847356103 20692992 3737 4294967295 134512640 134716908 3221224576 3221220648 1074950169 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5052 3737 1111 63 0 4989 0 vsize: 20208 [startup+620.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 153079 0 0 0 61630 378 0 0 25 0 1 0 847356103 16228352 3182 4294967295 134512640 134716908 3221224576 3221222224 1075817957 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3962 3182 1111 63 0 3899 0 vsize: 15848 [startup+630.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 155268 0 0 0 62624 383 0 0 25 0 1 0 847356103 20881408 3793 4294967295 134512640 134716908 3221224576 3221220796 1075116549 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5098 3793 1111 63 0 5035 0 vsize: 20392 [startup+640.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 157595 0 0 0 63618 389 0 0 25 0 1 0 847356103 15302656 3060 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3736 3060 1111 63 0 3673 0 vsize: 14944 [startup+650.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 160095 0 0 0 64612 396 0 0 25 0 1 0 847356103 20652032 3770 4294967295 134512640 134716908 3221224576 3221220796 1075116474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5042 3770 1111 63 0 4979 0 vsize: 20168 [startup+660.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 163011 0 0 0 65606 403 0 0 25 0 1 0 847356103 20492288 3602 4294967295 134512640 134716908 3221224576 3221220736 1074883551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5003 3602 1111 63 0 4940 0 vsize: 20012 [startup+670.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 164991 0 0 0 66601 407 0 0 25 0 1 0 847356103 15101952 3011 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3687 3011 1111 63 0 3624 0 vsize: 14748 [startup+680.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 167426 0 0 0 67596 412 0 0 25 0 1 0 847356103 15097856 3010 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3686 3010 1111 63 0 3623 0 vsize: 14744 [startup+690.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 169909 0 0 0 68591 418 0 0 25 0 1 0 847356103 15085568 3007 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3683 3007 1111 63 0 3620 0 vsize: 14732 [startup+700.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 172338 0 0 0 69586 423 0 0 25 0 1 0 847356103 15101952 3011 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3687 3011 1111 63 0 3624 0 vsize: 14748 [startup+710.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 175324 0 0 0 70578 431 0 0 25 0 1 0 847356103 20049920 3552 4294967295 134512640 134716908 3221224576 3221221520 1074620113 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4895 3552 1111 63 0 4832 0 vsize: 19580 [startup+720.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 178205 0 0 0 71571 438 0 0 25 0 1 0 847356103 15097856 3010 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3686 3010 1111 63 0 3623 0 vsize: 14744 [startup+730.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 181311 0 0 0 72564 445 0 0 25 0 1 0 847356103 15085568 3007 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3683 3007 1111 63 0 3620 0 vsize: 14732 [startup+740.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 183905 0 0 0 73558 452 0 0 25 0 1 0 847356103 19124224 3205 4294967295 134512640 134716908 3221224576 3221220620 1074873474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4669 3205 1111 63 0 4606 0 vsize: 18676 [startup+750.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 186562 0 0 0 74552 458 0 0 25 0 1 0 847356103 20852736 3644 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5091 3644 1111 63 0 5028 0 vsize: 20364 [startup+760.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 188747 0 0 0 75546 464 0 0 25 0 1 0 847356103 15532032 3116 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3792 3116 1111 63 0 3729 0 vsize: 15168 [startup+770.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 192053 0 0 0 76537 473 0 0 25 0 1 0 847356103 15921152 3179 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3887 3179 1111 63 0 3824 0 vsize: 15548 [startup+780.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 194522 0 0 0 77531 479 0 0 25 0 1 0 847356103 19410944 3281 4294967295 134512640 134716908 3221224576 3221220908 1075112867 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4739 3281 1111 63 0 4676 0 vsize: 18956 [startup+790.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 196808 0 0 0 78526 484 0 0 25 0 1 0 847356103 19992576 3478 4294967295 134512640 134716908 3221224576 3221220816 1075115739 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4881 3478 1111 63 0 4818 0 vsize: 19524 [startup+800.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 199422 0 0 0 79519 491 0 0 25 0 1 0 847356103 15773696 3176 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3851 3176 1111 63 0 3788 0 vsize: 15404 [startup+810.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 202165 0 0 0 80513 497 0 0 25 0 1 0 847356103 20287488 3391 4294967295 134512640 134716908 3221224576 3221221648 1074867340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4953 3391 1111 63 0 4890 0 vsize: 19812 [startup+820.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 204614 0 0 0 81508 503 0 0 25 0 1 0 847356103 15765504 3174 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3849 3174 1111 63 0 3786 0 vsize: 15396 [startup+830.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 207019 0 0 0 82502 508 0 0 25 0 1 0 847356103 20275200 3622 4294967295 134512640 134716908 3221224576 3221221648 1074867340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4950 3622 1111 63 0 4887 0 vsize: 19800 [startup+840.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 209751 0 0 0 83495 516 0 0 25 0 1 0 847356103 20283392 3571 4294967295 134512640 134716908 3221224576 3221220720 1074970183 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4952 3571 1111 63 0 4889 0 vsize: 19808 [startup+850.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 212149 0 0 0 84490 521 0 0 25 0 1 0 847356103 15806464 3184 4294967295 134512640 134716908 3221224576 3221223168 134542677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3859 3184 1111 63 0 3796 0 vsize: 15436 [startup+860.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 214527 0 0 0 85483 528 0 0 25 0 1 0 847356103 21106688 3804 4294967295 134512640 134716908 3221224576 3221220796 1075116731 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5153 3804 1111 63 0 5090 0 vsize: 20612 [startup+870.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 217213 0 0 0 86477 535 0 0 25 0 1 0 847356103 20832256 3734 4294967295 134512640 134716908 3221224576 3221221232 1075967892 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5086 3734 1111 63 0 5023 0 vsize: 20344 [startup+880.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 219299 0 0 0 87471 541 0 0 25 0 1 0 847356103 15773696 3176 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3851 3176 1111 63 0 3788 0 vsize: 15404 [startup+890.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 221648 0 0 0 88465 547 0 0 25 0 1 0 847356103 21225472 3767 4294967295 134512640 134716908 3221224576 3221220704 1075112110 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5182 3767 1111 63 0 5119 0 vsize: 20728 [startup+900.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 223446 0 0 0 89461 551 0 0 25 0 1 0 847356103 16220160 3285 4294967295 134512640 134716908 3221224576 3221222488 1074138265 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3960 3285 1111 63 0 3897 0 vsize: 15840 [startup+910.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 226218 0 0 0 90455 557 0 0 25 0 1 0 847356103 20885504 3727 4294967295 134512640 134716908 3221224576 3221220536 1074789711 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5099 3727 1111 63 0 5036 0 vsize: 20396 [startup+920.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 228127 0 0 0 91450 562 0 0 25 0 1 0 847356103 15990784 3229 4294967295 134512640 134716908 3221224576 3221222548 1077374543 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3904 3229 1111 63 0 3841 0 vsize: 15616 [startup+930.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 230892 0 0 0 92443 569 0 0 25 0 1 0 847356103 15773696 3176 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3851 3176 1111 63 0 3788 0 vsize: 15404 [startup+940.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 233737 0 0 0 93437 576 0 0 25 0 1 0 847356103 20701184 3475 4294967295 134512640 134716908 3221224576 3221221344 1076083342 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5054 3475 1111 63 0 4991 0 vsize: 20216 [startup+950.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 236186 0 0 0 94431 582 0 0 25 0 1 0 847356103 20619264 3569 4294967295 134512640 134716908 3221224576 3221220816 1075115704 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5034 3569 1111 63 0 4971 0 vsize: 20136 [startup+960.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 238623 0 0 0 95425 588 0 0 25 0 1 0 847356103 20664320 3731 4294967295 134512640 134716908 3221224576 3221220712 1074814550 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5045 3731 1111 63 0 4982 0 vsize: 20180 [startup+970.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 241620 0 0 0 96418 595 0 0 25 0 1 0 847356103 20267008 3573 4294967295 134512640 134716908 3221224576 3221220960 1074971950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4948 3573 1111 63 0 4885 0 vsize: 19792 [startup+980.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 244480 0 0 0 97412 601 0 0 25 0 1 0 847356103 15773696 3176 4294967295 134512640 134716908 3221224576 3221223212 134651467 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3851 3176 1111 63 0 3788 0 vsize: 15404 [startup+990.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 246942 0 0 0 98406 607 0 0 25 0 1 0 847356103 15970304 3223 4294967295 134512640 134716908 3221224576 3221222720 1074790208 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3899 3223 1111 63 0 3836 0 vsize: 15596 [startup+1000.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 249538 0 0 0 99399 615 0 0 25 0 1 0 847356103 20692992 3653 4294967295 134512640 134716908 3221224576 3221221408 1075115375 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5052 3653 1111 63 0 4989 0 vsize: 20208 [startup+1010.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 251917 0 0 0 100393 621 0 0 25 0 1 0 847356103 16109568 3258 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3933 3258 1111 63 0 3870 0 vsize: 15732 [startup+1020 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 254259 0 0 0 101387 627 0 0 25 0 1 0 847356103 16269312 3297 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3972 3297 1111 63 0 3909 0 vsize: 15888 [startup+1030.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 257041 0 0 0 102381 633 0 0 25 0 1 0 847356103 20885504 3749 4294967295 134512640 134716908 3221224576 3221220848 1074960909 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5099 3749 1111 63 0 5036 0 vsize: 20396 [startup+1040.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 259570 0 0 0 103375 639 0 0 25 0 1 0 847356103 16109568 3258 4294967295 134512640 134716908 3221224576 3221222640 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3933 3258 1111 63 0 3870 0 vsize: 15732 [startup+1050.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 262215 0 0 0 104368 646 0 0 25 0 1 0 847356103 20856832 3705 4294967295 134512640 134716908 3221224576 3221220620 1074873534 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5092 3705 1111 63 0 5029 0 vsize: 20368 [startup+1060.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 264720 0 0 0 105363 652 0 0 25 0 1 0 847356103 16105472 3257 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3932 3257 1111 63 0 3869 0 vsize: 15728 [startup+1070.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 267144 0 0 0 106358 657 0 0 25 0 1 0 847356103 16109568 3258 4294967295 134512640 134716908 3221224576 3221222976 1074153749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3933 3258 1111 63 0 3870 0 vsize: 15732 [startup+1080.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 269530 0 0 0 107352 663 0 0 25 0 1 0 847356103 21020672 3803 4294967295 134512640 134716908 3221224576 3221221104 1075120000 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5132 3803 1111 63 0 5069 0 vsize: 20528 [startup+1090.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 272302 0 0 0 108344 671 0 0 25 0 1 0 847356103 16105472 3257 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3932 3257 1111 63 0 3869 0 vsize: 15728 [startup+1100.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 275390 0 0 0 109337 679 0 0 25 0 1 0 847356103 16105472 3257 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3932 3257 1111 63 0 3869 0 vsize: 15728 [startup+1110.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 278418 0 0 0 110329 687 0 0 25 0 1 0 847356103 16097280 3255 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3930 3255 1111 63 0 3867 0 vsize: 15720 [startup+1120.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 282382 0 0 0 111319 697 0 0 25 0 1 0 847356103 16949248 3417 4294967295 134512640 134716908 3221224576 3221222832 1073990032 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4138 3417 1111 63 0 4075 0 vsize: 16552 [startup+1130.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 285078 0 0 0 112313 703 0 0 25 0 1 0 847356103 16691200 3400 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4075 3400 1111 63 0 4012 0 vsize: 16300 [startup+1140.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 286954 0 0 0 113309 708 0 0 25 0 1 0 847356103 20418560 3546 4294967295 134512640 134716908 3221224576 3221220804 1075115062 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4985 3546 1111 63 0 4922 0 vsize: 19940 [startup+1150.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 289156 0 0 0 114302 715 0 0 25 0 1 0 847356103 16683008 3398 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4073 3398 1111 63 0 4010 0 vsize: 16292 [startup+1160.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 291304 0 0 0 115295 722 0 0 25 0 1 0 847356103 22142976 4066 4294967295 134512640 134716908 3221224576 3221220796 1075116549 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5406 4066 1111 63 0 5343 0 vsize: 21624 [startup+1170.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 293648 0 0 0 116289 728 0 0 25 0 1 0 847356103 17997824 3635 4294967295 134512640 134716908 3221224576 3221222688 1074867314 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4394 3635 1111 63 0 4331 0 vsize: 17576 [startup+1179.39 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 25571 Raw data (stat): 25571 (bsolo_lpr_cuts-) R 25570 8378 8377 0 -1 0 293648 0 0 0 116289 728 0 0 25 0 1 0 847356103 17997824 3635 4294967295 134512640 134716908 3221224576 3221222688 1074867314 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4394 3635 1111 63 0 4331 0 vsize: 0 Child status: 10 Real time (s): 1179.39 CPU time (s): 1179.56 CPU user time (s): 1172.22 CPU system time (s): 7.34288 CPU usage (%): 100.014 Max. virtual memory (Kb): 21624 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 364 #### END VERIFIER DATA ####