Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb |
MD5SUM | a483fc3761bb4050329265bf3a3a7ca5 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 372 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 808 |
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 | 808 |
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 | 808 |
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 | 1.04284 |
Number of variables | 808 |
Total number of constraints | 5557 |
Number of constraints which are clauses | 5557 |
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 wulflinc3 THE 2005-06-08 19:22:35 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28770 boxname=wulflinc3 idbench=156 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: a483fc3761bb4050329265bf3a3a7ca5 /oldhome/oroussel/tmp/wulflinc3/normalized-ii32d2.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-ii32d2.opb IDLAUNCH: 28770 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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: 742680 kB Buffers: 24552 kB Cached: 247184 kB SwapCached: 808 kB Active: 39144 kB Inactive: 234700 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 742428 kB SwapTotal: 2097136 kB SwapFree: 2095332 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5012 kB Slab: 12216 kB Committed_AS: 71796 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 19:42:11 (client local time) WITH STATUS 10 IN 1175.34 SECONDS stats: 28770 0 1175.34 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 808 variables and 5557 constraints. c After prepocess the problem consists of 808 variables and 5557 constraints. c preprocess terminated 10.739 s c Initial Lower Bound: 268 c Lower Bound Elapsed time: 2.5345 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 404 @ 419.439 c NEW SOLUTION FOUND: 403 @ 419.441 c NEW SOLUTION FOUND: 402 @ 419.455 c NEW SOLUTION FOUND: 401 @ 419.468 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 c Exit Code: 10 c Total time: 1175.32 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 2/54 29523 Raw data (stat): 29523 (runsolver) R 29522 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904112087 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 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 1729 0 0 0 992 5 0 0 25 0 1 0 904112087 10215424 1646 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2494 1646 1111 63 0 2431 0 vsize: 9976 [startup+20.002 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 6040 0 0 0 1981 15 0 0 25 0 1 0 904112087 13467648 2547 4294967295 134512640 134716908 3221224576 3221222732 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3288 2547 1111 63 0 3225 0 vsize: 13152 [startup+30.002 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 11979 0 0 0 2966 30 0 0 25 0 1 0 904112087 16199680 2867 4294967295 134512640 134716908 3221224576 3221220752 1074960795 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3955 2867 1111 63 0 3892 0 vsize: 15820 [startup+40.0026 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 15650 0 0 0 3957 39 0 0 25 0 1 0 904112087 12656640 2398 4294967295 134512640 134716908 3221224576 3221223216 134543118 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3090 2398 1111 63 0 3027 0 vsize: 12360 [startup+50.0024 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 15698 0 0 0 4957 40 0 0 25 0 1 0 904112087 12926976 2446 4294967295 134512640 134716908 3221224576 3221223248 134543740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3156 2446 1111 63 0 3093 0 vsize: 12624 [startup+60.0036 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 15799 0 0 0 5957 40 0 0 25 0 1 0 904112087 13324288 2547 4294967295 134512640 134716908 3221224576 3221223164 134542288 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3253 2547 1111 63 0 3190 0 vsize: 13012 [startup+70.0041 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 15837 0 0 0 6957 41 0 0 25 0 1 0 904112087 13447168 2585 4294967295 134512640 134716908 3221224576 3221223212 134543664 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3283 2585 1111 63 0 3220 0 vsize: 13132 [startup+80.0039 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 15949 0 0 0 7956 41 0 0 25 0 1 0 904112087 13979648 2697 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3413 2697 1111 63 0 3350 0 vsize: 13652 [startup+90.0042 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 16027 0 0 0 8955 42 0 0 25 0 1 0 904112087 14241792 2775 4294967295 134512640 134716908 3221224576 3221223312 134588000 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3477 2775 1111 63 0 3414 0 vsize: 13908 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 16099 0 0 0 9955 43 0 0 25 0 1 0 904112087 14503936 2847 4294967295 134512640 134716908 3221224576 3221223084 134535967 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3541 2847 1111 63 0 3478 0 vsize: 14164 [startup+110.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 16141 0 0 0 10954 43 0 0 25 0 1 0 904112087 14766080 2889 4294967295 134512640 134716908 3221224576 3221223312 134523939 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3605 2889 1111 63 0 3542 0 vsize: 14420 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 16309 0 0 0 11954 44 0 0 25 0 1 0 904112087 15433728 3057 4294967295 134512640 134716908 3221224576 3221223084 134535891 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3768 3057 1111 63 0 3705 0 vsize: 15072 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 16398 0 0 0 12953 45 0 0 25 0 1 0 904112087 15839232 3146 4294967295 134512640 134716908 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3867 3146 1111 63 0 3804 0 vsize: 15468 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 16462 0 0 0 13953 46 0 0 25 0 1 0 904112087 16105472 3210 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3932 3210 1111 63 0 3869 0 vsize: 15728 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 16507 0 0 0 14952 47 0 0 25 0 1 0 904112087 16236544 3255 4294967295 134512640 134716908 3221224576 3221223216 134543073 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3964 3255 1111 63 0 3901 0 vsize: 15856 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 16608 0 0 0 15952 47 0 0 25 0 1 0 904112087 16637952 3356 4294967295 134512640 134716908 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4062 3356 1111 63 0 3999 0 vsize: 16248 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 16663 0 0 0 16951 48 0 0 25 0 1 0 904112087 16904192 3411 4294967295 134512640 134716908 3221224576 3221223312 134523859 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4127 3411 1111 63 0 4064 0 vsize: 16508 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 16759 0 0 0 17951 48 0 0 25 0 1 0 904112087 17309696 3507 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4226 3507 1111 63 0 4163 0 vsize: 16904 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 16797 0 0 0 18950 49 0 0 25 0 1 0 904112087 17444864 3545 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4259 3545 1111 63 0 4196 0 vsize: 17036 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 16855 0 0 0 19950 49 0 0 25 0 1 0 904112087 17707008 3603 4294967295 134512640 134716908 3221224576 3221223216 134539518 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4323 3603 1111 63 0 4260 0 vsize: 17292 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 16890 0 0 0 20950 50 0 0 25 0 1 0 904112087 17842176 3638 4294967295 134512640 134716908 3221224576 3221223216 134542303 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4356 3638 1111 63 0 4293 0 vsize: 17424 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 16991 0 0 0 21949 50 0 0 25 0 1 0 904112087 18239488 3739 4294967295 134512640 134716908 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4453 3739 1111 63 0 4390 0 vsize: 17812 [startup+230.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 17050 0 0 0 22949 51 0 0 25 0 1 0 904112087 18497536 3798 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4516 3798 1111 63 0 4453 0 vsize: 18064 [startup+240.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 17107 0 0 0 23948 52 0 0 25 0 1 0 904112087 18632704 3855 4294967295 134512640 134716908 3221224576 3221223280 134528724 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4549 3855 1111 63 0 4486 0 vsize: 18196 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 17164 0 0 0 24948 52 0 0 25 0 1 0 904112087 18903040 3912 4294967295 134512640 134716908 3221224576 3221223132 134539214 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4615 3912 1111 63 0 4552 0 vsize: 18460 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 17177 0 0 0 25949 52 0 0 25 0 1 0 904112087 19013632 3925 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4642 3925 1111 63 0 4579 0 vsize: 18568 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 17222 0 0 0 26948 53 0 0 25 0 1 0 904112087 19148800 3970 4294967295 134512640 134716908 3221224576 3221223316 134591823 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4675 3970 1111 63 0 4612 0 vsize: 18700 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 17300 0 0 0 27948 53 0 0 25 0 1 0 904112087 19415040 4048 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4740 4048 1111 63 0 4677 0 vsize: 18960 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 17364 0 0 0 28947 54 0 0 25 0 1 0 904112087 19677184 4112 4294967295 134512640 134716908 3221224576 3221223144 1077377712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4804 4112 1111 63 0 4741 0 vsize: 19216 [startup+300.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 17419 0 0 0 29947 54 0 0 25 0 1 0 904112087 19943424 4167 4294967295 134512640 134716908 3221224576 3221223184 134523171 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4869 4167 1111 63 0 4806 0 vsize: 19476 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 17507 0 0 0 30947 55 0 0 25 0 1 0 904112087 20348928 4255 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4968 4255 1111 63 0 4905 0 vsize: 19872 [startup+320.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 17541 0 0 0 31947 55 0 0 25 0 1 0 904112087 20475904 4289 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4999 4289 1111 63 0 4936 0 vsize: 19996 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 17583 0 0 0 32946 56 0 0 25 0 1 0 904112087 20606976 4331 4294967295 134512640 134716908 3221224576 3221223124 134698766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5031 4331 1111 63 0 4968 0 vsize: 20124 [startup+340.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 17619 0 0 0 33946 56 0 0 25 0 1 0 904112087 20742144 4367 4294967295 134512640 134716908 3221224576 3221223128 134698813 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5064 4367 1111 63 0 5001 0 vsize: 20256 [startup+350.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 17681 0 0 0 34946 57 0 0 25 0 1 0 904112087 21012480 4429 4294967295 134512640 134716908 3221224576 3221223136 134542303 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5130 4429 1111 63 0 5067 0 vsize: 20520 [startup+360.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 17723 0 0 0 35946 57 0 0 25 0 1 0 904112087 21147648 4471 4294967295 134512640 134716908 3221224576 3221223132 134539223 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5163 4471 1111 63 0 5100 0 vsize: 20652 [startup+370.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 17759 0 0 0 36945 57 0 0 25 0 1 0 904112087 21405696 4507 4294967295 134512640 134716908 3221224576 3221223116 134539243 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5226 4507 1111 63 0 5163 0 vsize: 20904 [startup+380.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 17815 0 0 0 37945 58 0 0 25 0 1 0 904112087 21528576 4563 4294967295 134512640 134716908 3221224576 3221223216 134539382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5256 4563 1111 63 0 5193 0 vsize: 21024 [startup+390.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 17851 0 0 0 38945 58 0 0 25 0 1 0 904112087 21786624 4599 4294967295 134512640 134716908 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5319 4599 1111 63 0 5256 0 vsize: 21276 [startup+400.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 17890 0 0 0 39945 58 0 0 25 0 1 0 904112087 21913600 4638 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5350 4638 1111 63 0 5287 0 vsize: 21400 [startup+410.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 17939 0 0 0 40945 59 0 0 25 0 1 0 904112087 22048768 4687 4294967295 134512640 134716908 3221224576 3221223344 134529157 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5383 4687 1111 63 0 5320 0 vsize: 21532 [startup+420.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 18142 0 0 0 41944 59 0 0 25 0 1 0 904112087 22605824 4762 4294967295 134512640 134716908 3221224576 3221222688 1074867264 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5519 4762 1111 63 0 5456 0 vsize: 22076 [startup+430.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 21527 0 0 0 42937 67 0 0 25 0 1 0 904112087 24715264 4877 4294967295 134512640 134716908 3221224576 3221220804 1075115112 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6034 4877 1111 63 0 5971 0 vsize: 24136 [startup+440.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 24915 0 0 0 43928 76 0 0 25 0 1 0 904112087 22147072 4732 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5407 4732 1111 63 0 5344 0 vsize: 21628 [startup+450.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 28245 0 0 0 44920 84 0 0 25 0 1 0 904112087 22142976 4731 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5406 4731 1111 63 0 5343 0 vsize: 21624 [startup+460.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 31580 0 0 0 45909 95 0 0 25 0 1 0 904112087 24989696 4943 4294967295 134512640 134716908 3221224576 3221220908 1075113091 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6101 4943 1111 63 0 6038 0 vsize: 24404 [startup+470.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 34927 0 0 0 46901 104 0 0 25 0 1 0 904112087 24973312 4952 4294967295 134512640 134716908 3221224576 3221220444 1074787451 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6097 4952 1111 63 0 6034 0 vsize: 24388 [startup+480.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 38421 0 0 0 47890 114 0 0 25 0 1 0 904112087 22429696 4801 4294967295 134512640 134716908 3221224576 3221223056 1074031958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5476 4801 1111 63 0 5413 0 vsize: 21904 [startup+490.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 41486 0 0 0 48881 123 0 0 25 0 1 0 904112087 25284608 5007 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6173 5007 1111 63 0 6110 0 vsize: 24692 [startup+500.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 44694 0 0 0 49874 131 0 0 25 0 1 0 904112087 25419776 5017 4294967295 134512640 134716908 3221224576 3221220804 1075115141 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6206 5017 1111 63 0 6143 0 vsize: 24824 [startup+510.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 48002 0 0 0 50866 139 0 0 25 0 1 0 904112087 25366528 5032 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6193 5032 1111 63 0 6130 0 vsize: 24772 [startup+520.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 52585 0 0 0 51853 153 0 0 25 0 1 0 904112087 23302144 5016 4294967295 134512640 134716908 3221224576 3221222432 1074056255 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5689 5016 1111 63 0 5626 0 vsize: 22756 [startup+530.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 55797 0 0 0 52844 162 0 0 25 0 1 0 904112087 26071040 5204 4294967295 134512640 134716908 3221224576 3221221104 1075397162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6365 5204 1111 63 0 6302 0 vsize: 25460 [startup+540.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 59120 0 0 0 53835 171 0 0 25 0 1 0 904112087 23392256 5038 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5711 5038 1111 63 0 5648 0 vsize: 22844 [startup+550.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 62181 0 0 0 54828 178 0 0 25 0 1 0 904112087 26087424 5230 4294967295 134512640 134716908 3221224576 3221220608 1075965311 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6369 5230 1111 63 0 6306 0 vsize: 25476 [startup+560.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 65137 0 0 0 55821 185 0 0 25 0 1 0 904112087 23392256 5038 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5711 5038 1111 63 0 5648 0 vsize: 22844 [startup+570.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 68356 0 0 0 56812 194 0 0 25 0 1 0 904112087 26046464 5193 4294967295 134512640 134716908 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6359 5193 1111 63 0 6296 0 vsize: 25436 [startup+580.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 71439 0 0 0 57803 203 0 0 25 0 1 0 904112087 26075136 5219 4294967295 134512640 134716908 3221224576 3221220736 1075091577 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6366 5219 1111 63 0 6303 0 vsize: 25464 [startup+590.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 74695 0 0 0 58794 212 0 0 25 0 1 0 904112087 23392256 5038 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5711 5038 1111 63 0 5648 0 vsize: 22844 [startup+600.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 78116 0 0 0 59787 220 0 0 25 0 1 0 904112087 25927680 5156 4294967295 134512640 134716908 3221224576 3221220736 1074794565 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6330 5156 1111 63 0 6267 0 vsize: 25320 [startup+610.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 81457 0 0 0 60778 229 0 0 25 0 1 0 904112087 23392256 5038 4294967295 134512640 134716908 3221224576 3221222896 1074146354 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5711 5038 1111 63 0 5648 0 vsize: 22844 [startup+620.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 84710 0 0 0 61770 237 0 0 25 0 1 0 904112087 26120192 5227 4294967295 134512640 134716908 3221224576 3221221108 1075863612 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6377 5227 1111 63 0 6314 0 vsize: 25508 [startup+630.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 87898 0 0 0 62762 246 0 0 25 0 1 0 904112087 25288704 5260 4294967295 134512640 134716908 3221224576 3221220688 1075895652 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6174 5260 1111 63 0 6111 0 vsize: 24696 [startup+640.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 91072 0 0 0 63755 253 0 0 25 0 1 0 904112087 23420928 5045 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5718 5045 1111 63 0 5655 0 vsize: 22872 [startup+650.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 95109 0 0 0 64744 263 0 0 25 0 1 0 904112087 26062848 5188 4294967295 134512640 134716908 3221224576 3221220720 1074970231 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6363 5188 1111 63 0 6300 0 vsize: 25452 [startup+660.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 98385 0 0 0 65736 272 0 0 25 0 1 0 904112087 23543808 5075 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5748 5075 1111 63 0 5685 0 vsize: 22992 [startup+670.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 101914 0 0 0 66728 280 0 0 25 0 1 0 904112087 26271744 5254 4294967295 134512640 134716908 3221224576 3221220816 1075115696 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6414 5254 1111 63 0 6351 0 vsize: 25656 [startup+680.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 105269 0 0 0 67720 288 0 0 25 0 1 0 904112087 23420928 5045 4294967295 134512640 134716908 3221224576 3221222976 1074153753 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5718 5045 1111 63 0 5655 0 vsize: 22872 [startup+690.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 108810 0 0 0 68713 295 0 0 25 0 1 0 904112087 23420928 5045 4294967295 134512640 134716908 3221224576 3221222696 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5718 5045 1111 63 0 5655 0 vsize: 22872 [startup+700.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 112345 0 0 0 69705 304 0 0 25 0 1 0 904112087 23457792 5054 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5727 5054 1111 63 0 5664 0 vsize: 22908 [startup+710.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 116101 0 0 0 70696 313 0 0 25 0 1 0 904112087 26128384 5224 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6379 5224 1111 63 0 6316 0 vsize: 25516 [startup+720.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 118967 0 0 0 71689 320 0 0 25 0 1 0 904112087 23719936 5118 4294967295 134512640 134716908 3221224576 3221222784 1074153800 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5791 5118 1111 63 0 5728 0 vsize: 23164 [startup+730.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 122255 0 0 0 72681 328 0 0 25 0 1 0 904112087 26451968 5321 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6458 5321 1111 63 0 6395 0 vsize: 25832 [startup+740.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 125446 0 0 0 73673 336 0 0 25 0 1 0 904112087 26628096 5348 4294967295 134512640 134716908 3221224576 3221220816 1075115696 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6501 5348 1111 63 0 6438 0 vsize: 26004 [startup+750.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 128679 0 0 0 74666 344 0 0 25 0 1 0 904112087 23777280 5132 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5805 5132 1111 63 0 5742 0 vsize: 23220 [startup+760.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 131823 0 0 0 75657 352 0 0 25 0 1 0 904112087 23728128 5120 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5793 5120 1111 63 0 5730 0 vsize: 23172 [startup+770.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 134696 0 0 0 76649 361 0 0 25 0 1 0 904112087 23728128 5120 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5793 5120 1111 63 0 5730 0 vsize: 23172 [startup+780.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 138199 0 0 0 77639 370 0 0 25 0 1 0 904112087 23748608 5125 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5798 5125 1111 63 0 5735 0 vsize: 23192 [startup+790.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 141332 0 0 0 78631 379 0 0 25 0 1 0 904112087 26374144 5239 4294967295 134512640 134716908 3221224576 3221221168 1074886353 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6439 5239 1111 63 0 6376 0 vsize: 25756 [startup+800.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 144642 0 0 0 79623 386 0 0 25 0 1 0 904112087 26525696 5323 4294967295 134512640 134716908 3221224576 3221221232 1075968682 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6476 5323 1111 63 0 6413 0 vsize: 25904 [startup+810.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 148135 0 0 0 80615 395 0 0 25 0 1 0 904112087 23846912 5149 4294967295 134512640 134716908 3221224576 3221222888 1074138155 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5822 5149 1111 63 0 5759 0 vsize: 23288 [startup+820.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 151263 0 0 0 81606 404 0 0 25 0 1 0 904112087 26963968 5429 4294967295 134512640 134716908 3221224576 3221221728 1075969824 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6583 5429 1111 63 0 6520 0 vsize: 26332 [startup+830.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 154396 0 0 0 82597 413 0 0 25 0 1 0 904112087 26906624 5417 4294967295 134512640 134716908 3221224576 3221221232 1075967892 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6569 5417 1111 63 0 6506 0 vsize: 26276 [startup+840.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 157831 0 0 0 83589 422 0 0 25 0 1 0 904112087 26750976 5393 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6531 5393 1111 63 0 6468 0 vsize: 26124 [startup+850.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 160990 0 0 0 84580 431 0 0 25 0 1 0 904112087 24797184 5311 4294967295 134512640 134716908 3221224576 3221220756 1075114960 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6054 5311 1111 63 0 5991 0 vsize: 24216 [startup+860.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 164391 0 0 0 85572 439 0 0 25 0 1 0 904112087 24285184 5253 4294967295 134512640 134716908 3221224576 3221222544 1074247421 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5929 5253 1111 63 0 5866 0 vsize: 23716 [startup+870.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 167625 0 0 0 86564 447 0 0 25 0 1 0 904112087 24154112 5224 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5897 5224 1111 63 0 5834 0 vsize: 23588 [startup+880.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 170596 0 0 0 87556 456 0 0 25 0 1 0 904112087 24297472 5259 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5932 5259 1111 63 0 5869 0 vsize: 23728 [startup+890.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 173319 0 0 0 88549 463 0 0 25 0 1 0 904112087 24313856 5263 4294967295 134512640 134716908 3221224576 3221223104 134543030 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5936 5263 1111 63 0 5873 0 vsize: 23744 [startup+900.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 176899 0 0 0 89537 474 0 0 25 0 1 0 904112087 27344896 5549 4294967295 134512640 134716908 3221224576 3221220736 1074794475 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6676 5549 1111 63 0 6613 0 vsize: 26704 [startup+910.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 180581 0 0 0 90530 482 0 0 25 0 1 0 904112087 24436736 5293 4294967295 134512640 134716908 3221224576 3221222344 1077380592 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5966 5293 1111 63 0 5903 0 vsize: 23864 [startup+920.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 183766 0 0 0 91522 490 0 0 25 0 1 0 904112087 24621056 5337 4294967295 134512640 134716908 3221224576 3221223136 1073989433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6011 5337 1111 63 0 5948 0 vsize: 24044 [startup+930.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 187029 0 0 0 92514 498 0 0 25 0 1 0 904112087 27115520 5451 4294967295 134512640 134716908 3221224576 3221220720 1074970202 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6620 5451 1111 63 0 6557 0 vsize: 26480 [startup+940.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 190376 0 0 0 93506 507 0 0 25 0 1 0 904112087 27316224 5541 4294967295 134512640 134716908 3221224576 3221220804 1075115043 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6669 5541 1111 63 0 6606 0 vsize: 26676 [startup+950.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 193276 0 0 0 94499 514 0 0 25 0 1 0 904112087 27152384 5503 4294967295 134512640 134716908 3221224576 3221220816 1075115724 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6629 5503 1111 63 0 6566 0 vsize: 26516 [startup+960.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 196431 0 0 0 95492 521 0 0 25 0 1 0 904112087 25030656 5363 4294967295 134512640 134716908 3221224576 3221222304 1075828353 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6111 5363 1111 63 0 6048 0 vsize: 24444 [startup+970.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 199638 0 0 0 96484 529 0 0 25 0 1 0 904112087 27176960 5501 4294967295 134512640 134716908 3221224576 3221220608 1075965232 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6635 5501 1111 63 0 6572 0 vsize: 26540 [startup+980.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 202551 0 0 0 97477 536 0 0 25 0 1 0 904112087 27422720 5566 4294967295 134512640 134716908 3221224576 3221220632 1074789778 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6695 5566 1111 63 0 6632 0 vsize: 26780 [startup+990.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 205540 0 0 0 98469 544 0 0 25 0 1 0 904112087 24485888 5305 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5978 5305 1111 63 0 5915 0 vsize: 23912 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 208772 0 0 0 99462 552 0 0 25 0 1 0 904112087 24485888 5305 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5978 5305 1111 63 0 5915 0 vsize: 23912 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 211418 0 0 0 100454 560 0 0 25 0 1 0 904112087 24653824 5334 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6019 5334 1111 63 0 5956 0 vsize: 24076 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 214606 0 0 0 101445 569 0 0 25 0 1 0 904112087 27181056 5496 4294967295 134512640 134716908 3221224576 3221220752 1074882566 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6636 5496 1111 63 0 6573 0 vsize: 26544 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 218019 0 0 0 102437 578 0 0 25 0 1 0 904112087 27185152 5489 4294967295 134512640 134716908 3221224576 3221220524 1074788968 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6637 5489 1111 63 0 6574 0 vsize: 26548 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 221458 0 0 0 103429 586 0 0 25 0 1 0 904112087 27197440 5509 4294967295 134512640 134716908 3221224576 3221221504 1075960263 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6640 5509 1111 63 0 6577 0 vsize: 26560 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 225009 0 0 0 104421 594 0 0 25 0 1 0 904112087 27160576 5496 4294967295 134512640 134716908 3221224576 3221220816 1075115765 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6631 5496 1111 63 0 6568 0 vsize: 26524 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 228440 0 0 0 105413 602 0 0 25 0 1 0 904112087 27054080 5437 4294967295 134512640 134716908 3221224576 3221220816 1075115704 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6605 5437 1111 63 0 6542 0 vsize: 26420 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 231711 0 0 0 106405 610 0 0 25 0 1 0 904112087 27578368 5578 4294967295 134512640 134716908 3221224576 3221221648 1074867311 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6733 5578 1111 63 0 6670 0 vsize: 26932 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 235202 0 0 0 107396 619 0 0 25 0 1 0 904112087 27037696 5428 4294967295 134512640 134716908 3221224576 3221221648 1074867337 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6601 5428 1111 63 0 6538 0 vsize: 26404 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 238243 0 0 0 108389 627 0 0 25 0 1 0 904112087 24588288 5330 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6003 5330 1111 63 0 5940 0 vsize: 24012 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 241804 0 0 0 109379 637 0 0 25 0 1 0 904112087 24961024 5381 4294967295 134512640 134716908 3221224576 3221222536 1074138316 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6094 5387 1111 63 0 6031 0 vsize: 24376 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 245211 0 0 0 110371 645 0 0 25 0 1 0 904112087 24641536 5343 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6016 5343 1111 63 0 5953 0 vsize: 24064 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 248296 0 0 0 111365 651 0 0 25 0 1 0 904112087 27152384 5452 4294967295 134512640 134716908 3221224576 3221220544 1074872810 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6629 5452 1111 63 0 6566 0 vsize: 26516 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 251198 0 0 0 112354 662 0 0 25 0 1 0 904112087 27246592 5481 4294967295 134512640 134716908 3221224576 3221220804 1075115009 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6652 5481 1111 63 0 6589 0 vsize: 26608 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 255986 0 0 0 113341 676 0 0 25 0 1 0 904112087 24899584 5406 4294967295 134512640 134716908 3221224576 3221222888 1074138144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6079 5406 1111 63 0 6016 0 vsize: 24316 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 259056 0 0 0 114333 683 0 0 25 0 1 0 904112087 24899584 5406 4294967295 134512640 134716908 3221224576 3221222760 1077378310 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6079 5406 1111 63 0 6016 0 vsize: 24316 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 261884 0 0 0 115326 691 0 0 25 0 1 0 904112087 25071616 5437 4294967295 134512640 134716908 3221224576 3221222964 1074152940 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6121 5437 1111 63 0 6058 0 vsize: 24484 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 264810 0 0 0 116319 698 0 0 25 0 1 0 904112087 27639808 5557 4294967295 134512640 134716908 3221224576 3221220848 1074961253 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6748 5557 1111 63 0 6685 0 vsize: 26992 [startup+1175.2 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 29523 Raw data (stat): 29523 (bsolo_lpr_cuts-) R 29522 20224 20223 0 -1 0 264810 0 0 0 116319 698 0 0 25 0 1 0 904112087 27639808 5557 4294967295 134512640 134716908 3221224576 3221220848 1074961253 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6748 5557 1111 63 0 6685 0 vsize: 0 Child status: 10 Real time (s): 1175.2 CPU time (s): 1175.34 CPU user time (s): 1168.3 CPU system time (s): 7.04093 CPU usage (%): 100.012 Max. virtual memory (Kb): 26992 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 401 #### END VERIFIER DATA ####