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 wulflinc4 THE 2005-06-07 12:35:53 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27603 boxname=wulflinc4 idbench=161 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 1c0d08e5657c85ec3afe3a7738817cf3 /oldhome/oroussel/tmp/wulflinc4/normalized-ii32e4.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-ii32e4.opb IDLAUNCH: 27603 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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.169 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: 397632 kB Buffers: 34592 kB Cached: 578812 kB SwapCached: 568 kB Active: 57548 kB Inactive: 557968 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 397380 kB SwapTotal: 2097136 kB SwapFree: 2095660 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5328 kB Slab: 15800 kB Committed_AS: 71796 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 12:55:29 (client local time) WITH STATUS 10 IN 1176.25 SECONDS stats: 27603 0 1176.25 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.681 s c Initial Lower Bound: 264 c Lower Bound Elapsed time: 2.46475 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 387 @ 32.757 c NEW SOLUTION FOUND: 386 @ 32.759 c NEW SOLUTION FOUND: 385 @ 32.771 c NEW SOLUTION FOUND: 384 @ 32.789 c NEW SOLUTION FOUND: 383 @ 32.798 c NEW SOLUTION FOUND: 382 @ 32.807 c NEW SOLUTION FOUND: 381 @ 32.816 c NEW SOLUTION FOUND: 380 @ 32.826 c NEW SOLUTION FOUND: 379 @ 32.836 c NEW SOLUTION FOUND: 378 @ 32.846 c NEW SOLUTION FOUND: 377 @ 32.856 c NEW SOLUTION FOUND: 376 @ 32.867 c NEW SOLUTION FOUND: 375 @ 32.878 c NEW SOLUTION FOUND: 374 @ 32.889 c NEW SOLUTION FOUND: 373 @ 32.913 c NEW SOLUTION FOUND: 372 @ 32.975 c NEW SOLUTION FOUND: 371 @ 33.021 c NEW SOLUTION FOUND: 370 @ 33.08 c NEW SOLUTION FOUND: 366 @ 33.757 c NEW SOLUTION FOUND: 365 @ 34.812 c NEW SOLUTION FOUND: 364 @ 36.176 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: 1176.24 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.91 0.97 0.93 1/54 13530 Raw data (stat): 13530 (runsolver) R 13529 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893029477 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.0012 s] Raw data (loadavg): 0.93 0.97 0.93 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 2324 0 0 0 992 6 0 0 25 0 1 0 893029477 12673024 2241 4294967295 134512640 134716908 3221224592 3221223096 134543614 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.0022 s] Raw data (loadavg): 0.94 0.97 0.93 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 2328 0 0 0 1991 7 0 0 25 0 1 0 893029477 12673024 2245 4294967295 134512640 134716908 3221224592 3221223264 134627200 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.0024 s] Raw data (loadavg): 1.10 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 4303 0 0 0 2986 12 0 0 25 0 1 0 893029477 20553728 3788 4294967295 134512640 134716908 3221224592 3221221616 1074834252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5018 3788 1111 63 0 4955 0 vsize: 20072 [startup+40.0027 s] Raw data (loadavg): 1.08 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 24477 0 0 0 3941 57 0 0 25 0 1 0 893029477 14041088 2741 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3428 2741 1111 63 0 3365 0 vsize: 13712 [startup+50.0045 s] Raw data (loadavg): 1.07 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 27750 0 0 0 4933 65 0 0 25 0 1 0 893029477 14041088 2741 4294967295 134512640 134716908 3221224592 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3428 2741 1111 63 0 3365 0 vsize: 13712 [startup+60.0049 s] Raw data (loadavg): 1.06 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 31138 0 0 0 5924 74 0 0 25 0 1 0 893029477 18477056 3059 4294967295 134512640 134716908 3221224592 3221220636 1074873347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4511 3059 1111 63 0 4448 0 vsize: 18044 [startup+70.0052 s] Raw data (loadavg): 1.05 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 34586 0 0 0 6914 84 0 0 25 0 1 0 893029477 14036992 2747 4294967295 134512640 134716908 3221224592 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3427 2747 1111 63 0 3364 0 vsize: 13708 [startup+80.0064 s] Raw data (loadavg): 1.04 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 37162 0 0 0 7909 90 0 0 25 0 1 0 893029477 14036992 2747 4294967295 134512640 134716908 3221224592 3221222992 1074153783 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3427 2747 1111 63 0 3364 0 vsize: 13708 [startup+90.0064 s] Raw data (loadavg): 1.04 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 39954 0 0 0 8902 96 0 0 25 0 1 0 893029477 18616320 3153 4294967295 134512640 134716908 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4545 3153 1111 63 0 4482 0 vsize: 18180 [startup+100.007 s] Raw data (loadavg): 1.03 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 42627 0 0 0 9897 102 0 0 25 0 1 0 893029477 18374656 3067 4294967295 134512640 134716908 3221224592 3221220820 1075114950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4486 3067 1111 63 0 4423 0 vsize: 17944 [startup+110.009 s] Raw data (loadavg): 1.02 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 45244 0 0 0 10891 108 0 0 25 0 1 0 893029477 14024704 2744 4294967295 134512640 134716908 3221224592 3221222904 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3424 2744 1111 63 0 3361 0 vsize: 13696 [startup+120.009 s] Raw data (loadavg): 1.02 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 47758 0 0 0 11884 114 0 0 25 0 1 0 893029477 14024704 2744 4294967295 134512640 134716908 3221224592 3221222776 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3424 2744 1111 63 0 3361 0 vsize: 13696 [startup+130.009 s] Raw data (loadavg): 1.02 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 50154 0 0 0 12878 121 0 0 25 0 1 0 893029477 14028800 2745 4294967295 134512640 134716908 3221224592 3221222992 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3425 2745 1111 63 0 3362 0 vsize: 13700 [startup+140.009 s] Raw data (loadavg): 1.01 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 52888 0 0 0 13871 128 0 0 25 0 1 0 893029477 14020608 2743 4294967295 134512640 134716908 3221224592 3221222784 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3423 2743 1111 63 0 3360 0 vsize: 13692 [startup+150.011 s] Raw data (loadavg): 1.01 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 55524 0 0 0 14865 134 0 0 25 0 1 0 893029477 14032896 2746 4294967295 134512640 134716908 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3426 2746 1111 63 0 3363 0 vsize: 13704 [startup+160.01 s] Raw data (loadavg): 1.01 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 58424 0 0 0 15857 142 0 0 25 0 1 0 893029477 18350080 2997 4294967295 134512640 134716908 3221224592 3221220736 1074969461 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4480 2997 1111 63 0 4417 0 vsize: 17920 [startup+170.011 s] Raw data (loadavg): 1.01 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 61088 0 0 0 16850 150 0 0 25 0 1 0 893029477 14016512 2742 4294967295 134512640 134716908 3221224592 3221222904 1074138155 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3422 2742 1111 63 0 3359 0 vsize: 13688 [startup+180.011 s] Raw data (loadavg): 1.01 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 63731 0 0 0 17842 157 0 0 25 0 1 0 893029477 14036992 2747 4294967295 134512640 134716908 3221224592 3221222992 1074153773 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3427 2747 1111 63 0 3364 0 vsize: 13708 [startup+190.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 66707 0 0 0 18835 165 0 0 25 0 1 0 893029477 18194432 2980 4294967295 134512640 134716908 3221224592 3221221536 1074620113 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4442 2980 1111 63 0 4379 0 vsize: 17768 [startup+200.013 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 69306 0 0 0 19827 172 0 0 25 0 1 0 893029477 14041088 2748 4294967295 134512640 134716908 3221224592 3221222992 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3428 2748 1111 63 0 3365 0 vsize: 13712 [startup+210.014 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 72157 0 0 0 20820 180 0 0 25 0 1 0 893029477 14032896 2746 4294967295 134512640 134716908 3221224592 3221222520 1077378603 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3426 2746 1111 63 0 3363 0 vsize: 13704 [startup+220.013 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 74743 0 0 0 21813 186 0 0 25 0 1 0 893029477 18526208 3104 4294967295 134512640 134716908 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4523 3104 1111 63 0 4460 0 vsize: 18092 [startup+230.014 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 77712 0 0 0 22805 194 0 0 25 0 1 0 893029477 18444288 3055 4294967295 134512640 134716908 3221224592 3221220564 1074786507 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4503 3055 1111 63 0 4440 0 vsize: 18012 [startup+240.013 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 80539 0 0 0 23798 201 0 0 25 0 1 0 893029477 19197952 3293 4294967295 134512640 134716908 3221224592 3221220752 1075092566 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4687 3293 1111 63 0 4624 0 vsize: 18748 [startup+250.014 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 83257 0 0 0 24792 208 0 0 25 0 1 0 893029477 14270464 2804 4294967295 134512640 134716908 3221224592 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3484 2804 1111 63 0 3421 0 vsize: 13936 [startup+260.016 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 86281 0 0 0 25785 215 0 0 25 0 1 0 893029477 14258176 2801 4294967295 134512640 134716908 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3481 2801 1111 63 0 3418 0 vsize: 13924 [startup+270.016 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 88850 0 0 0 26778 221 0 0 25 0 1 0 893029477 18911232 3215 4294967295 134512640 134716908 3221224592 3221220812 1075116532 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4617 3215 1111 63 0 4554 0 vsize: 18468 [startup+280.015 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 91396 0 0 0 27771 229 0 0 25 0 1 0 893029477 14266368 2803 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3483 2803 1111 63 0 3420 0 vsize: 13932 [startup+290.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 93844 0 0 0 28765 235 0 0 25 0 1 0 893029477 19697664 3406 4294967295 134512640 134716908 3221224592 3221221536 1074620117 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4809 3406 1111 63 0 4746 0 vsize: 19236 [startup+300.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 96202 0 0 0 29759 241 0 0 25 0 1 0 893029477 14196736 2786 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3466 2786 1111 63 0 3403 0 vsize: 13864 [startup+310.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 98701 0 0 0 30753 247 0 0 25 0 1 0 893029477 19656704 3520 4294967295 134512640 134716908 3221224592 3221220460 1074787504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4799 3520 1111 63 0 4736 0 vsize: 19196 [startup+320.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 101697 0 0 0 31745 256 0 0 25 0 1 0 893029477 19607552 3326 4294967295 134512640 134716908 3221224592 3221220820 1075115065 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4787 3326 1111 63 0 4724 0 vsize: 19148 [startup+330.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 104056 0 0 0 32739 262 0 0 25 0 1 0 893029477 14311424 2802 4294967295 134512640 134716908 3221224592 3221222904 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3494 2802 1111 63 0 3431 0 vsize: 13976 [startup+340.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 106435 0 0 0 33734 267 0 0 25 0 1 0 893029477 19681280 3529 4294967295 134512640 134716908 3221224592 3221221512 1074950119 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4805 3529 1111 63 0 4742 0 vsize: 19220 [startup+350.019 s] Raw data (loadavg): 1.08 1.02 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 108639 0 0 0 34728 273 0 0 25 0 1 0 893029477 14401536 2811 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3516 2811 1111 63 0 3453 0 vsize: 14064 [startup+360.019 s] Raw data (loadavg): 1.07 1.02 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 111155 0 0 0 35722 278 0 0 25 0 1 0 893029477 19849216 3541 4294967295 134512640 134716908 3221224592 3221220864 1074960909 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4846 3541 1111 63 0 4783 0 vsize: 19384 [startup+370.019 s] Raw data (loadavg): 1.06 1.01 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 113866 0 0 0 36716 285 0 0 25 0 1 0 893029477 19435520 3318 4294967295 134512640 134716908 3221224592 3221221712 1074834340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4745 3318 1111 63 0 4682 0 vsize: 18980 [startup+380.02 s] Raw data (loadavg): 1.05 1.01 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 116030 0 0 0 37711 290 0 0 25 0 1 0 893029477 14319616 2816 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3496 2816 1111 63 0 3433 0 vsize: 13984 [startup+390.02 s] Raw data (loadavg): 1.04 1.01 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 118355 0 0 0 38705 296 0 0 25 0 1 0 893029477 19660800 3478 4294967295 134512640 134716908 3221224592 3221220820 1075115049 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4800 3478 1111 63 0 4737 0 vsize: 19200 [startup+400.021 s] Raw data (loadavg): 1.03 1.01 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 120593 0 0 0 39700 301 0 0 25 0 1 0 893029477 14626816 2863 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3571 2863 1111 63 0 3508 0 vsize: 14284 [startup+410.021 s] Raw data (loadavg): 1.03 1.01 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 123609 0 0 0 40693 308 0 0 25 0 1 0 893029477 14139392 2772 4294967295 134512640 134716908 3221224592 3221222992 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3452 2772 1111 63 0 3389 0 vsize: 13808 [startup+420.02 s] Raw data (loadavg): 1.02 1.01 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 126050 0 0 0 41687 314 0 0 25 0 1 0 893029477 15024128 2923 4294967295 134512640 134716908 3221224592 3221222336 1075640405 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3668 2923 1111 63 0 3605 0 vsize: 14672 [startup+430.021 s] Raw data (loadavg): 1.02 1.01 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 128833 0 0 0 42680 321 0 0 25 0 1 0 893029477 19640320 3487 4294967295 134512640 134716908 3221224592 3221220812 1075116728 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4795 3487 1111 63 0 4732 0 vsize: 19180 [startup+440.022 s] Raw data (loadavg): 1.02 1.01 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 131041 0 0 0 43674 328 0 0 25 0 1 0 893029477 14385152 2832 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3512 2832 1111 63 0 3449 0 vsize: 14048 [startup+450.022 s] Raw data (loadavg): 1.01 1.01 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 133426 0 0 0 44668 334 0 0 25 0 1 0 893029477 19824640 3519 4294967295 134512640 134716908 3221224592 3221220864 1074961138 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4840 3519 1111 63 0 4777 0 vsize: 19360 [startup+460.023 s] Raw data (loadavg): 1.01 1.01 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 136143 0 0 0 45662 340 0 0 25 0 1 0 893029477 19435520 3257 4294967295 134512640 134716908 3221224592 3221221712 1074834482 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4745 3257 1111 63 0 4682 0 vsize: 18980 [startup+470.023 s] Raw data (loadavg): 1.01 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 138388 0 0 0 46657 345 0 0 25 0 1 0 893029477 14180352 2752 4294967295 134512640 134716908 3221224592 3221222992 1074153749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3462 2752 1111 63 0 3399 0 vsize: 13848 [startup+480.023 s] Raw data (loadavg): 1.01 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 140788 0 0 0 47650 352 0 0 25 0 1 0 893029477 19890176 3555 4294967295 134512640 134716908 3221224592 3221220812 1075116535 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4856 3555 1111 63 0 4793 0 vsize: 19424 [startup+490.023 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 143216 0 0 0 48644 358 0 0 25 0 1 0 893029477 14344192 2791 4294967295 134512640 134716908 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3502 2791 1111 63 0 3439 0 vsize: 14008 [startup+500.025 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 145676 0 0 0 49639 362 0 0 25 0 1 0 893029477 19673088 3507 4294967295 134512640 134716908 3221224592 3221221248 1075967695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4803 3507 1111 63 0 4740 0 vsize: 19212 [startup+510.025 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 147781 0 0 0 50634 368 0 0 25 0 1 0 893029477 14217216 2791 4294967295 134512640 134716908 3221224592 3221223196 1074152784 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3471 2791 1111 63 0 3408 0 vsize: 13884 [startup+520.025 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 150689 0 0 0 51626 376 0 0 25 0 1 0 893029477 14286848 2778 4294967295 134512640 134716908 3221224592 3221222992 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3488 2778 1111 63 0 3425 0 vsize: 13952 [startup+530.026 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 153442 0 0 0 52619 384 0 0 25 0 1 0 893029477 14249984 2799 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3479 2799 1111 63 0 3416 0 vsize: 13916 [startup+540.025 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 155783 0 0 0 53613 390 0 0 25 0 1 0 893029477 19615744 3477 4294967295 134512640 134716908 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4789 3477 1111 63 0 4726 0 vsize: 19156 [startup+550.026 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 158495 0 0 0 54606 396 0 0 25 0 1 0 893029477 19435520 3419 4294967295 134512640 134716908 3221224592 3221220556 1074787756 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4745 3419 1111 63 0 4682 0 vsize: 18980 [startup+560.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 161147 0 0 0 55601 402 0 0 25 0 1 0 893029477 19243008 3332 4294967295 134512640 134716908 3221224592 3221220864 1074960868 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4698 3332 1111 63 0 4635 0 vsize: 18792 [startup+570.027 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 163285 0 0 0 56596 407 0 0 25 0 1 0 893029477 14241792 2797 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3477 2797 1111 63 0 3414 0 vsize: 13908 [startup+580.027 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 165995 0 0 0 57590 413 0 0 25 0 1 0 893029477 14274560 2805 4294967295 134512640 134716908 3221224592 3221222640 1074153648 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3485 2805 1111 63 0 3422 0 vsize: 13940 [startup+590.027 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 168266 0 0 0 58585 418 0 0 25 0 1 0 893029477 19824640 3533 4294967295 134512640 134716908 3221224592 3221220552 1074789711 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4840 3533 1111 63 0 4777 0 vsize: 19360 [startup+600.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 170446 0 0 0 59580 423 0 0 25 0 1 0 893029477 14143488 2773 4294967295 134512640 134716908 3221224592 3221222992 1074153773 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3453 2773 1111 63 0 3390 0 vsize: 13812 [startup+610.027 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 172769 0 0 0 60575 428 0 0 25 0 1 0 893029477 19599360 3499 4294967295 134512640 134716908 3221224592 3221220684 1075663451 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4785 3499 1111 63 0 4722 0 vsize: 19140 [startup+620.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 175348 0 0 0 61570 434 0 0 25 0 1 0 893029477 19378176 3389 4294967295 134512640 134716908 3221224592 3221221536 1074620113 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4731 3389 1111 63 0 4668 0 vsize: 18924 [startup+630.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 177428 0 0 0 62565 439 0 0 25 0 1 0 893029477 14532608 2868 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3548 2868 1111 63 0 3485 0 vsize: 14192 [startup+640.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 179591 0 0 0 63559 445 0 0 25 0 1 0 893029477 19632128 3470 4294967295 134512640 134716908 3221224592 3221221184 1074885288 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4793 3470 1111 63 0 4730 0 vsize: 19172 [startup+650.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 182290 0 0 0 64552 452 0 0 25 0 1 0 893029477 19566592 3445 4294967295 134512640 134716908 3221224592 3221220752 1074794536 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4777 3445 1111 63 0 4714 0 vsize: 19108 [startup+660.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 184855 0 0 0 65546 458 0 0 25 0 1 0 893029477 19619840 3402 4294967295 134512640 134716908 3221224592 3221221168 1076049623 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4790 3402 1111 63 0 4727 0 vsize: 19160 [startup+670.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 186873 0 0 0 66541 464 0 0 25 0 1 0 893029477 14376960 2830 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3510 2830 1111 63 0 3447 0 vsize: 14040 [startup+680.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 188996 0 0 0 67536 468 0 0 25 0 1 0 893029477 19427328 3444 4294967295 134512640 134716908 3221224592 3221220812 1075116741 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4743 3444 1111 63 0 4680 0 vsize: 18972 [startup+690.027 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 191530 0 0 0 68530 475 0 0 25 0 1 0 893029477 19636224 3454 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4794 3454 1111 63 0 4731 0 vsize: 19176 [startup+700.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 193908 0 0 0 69524 481 0 0 25 0 1 0 893029477 15769600 3085 4294967295 134512640 134716908 3221224592 3221221784 1074138285 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3850 3085 1111 63 0 3787 0 vsize: 15400 [startup+710.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 196079 0 0 0 70519 486 0 0 25 0 1 0 893029477 14381056 2831 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3511 2831 1111 63 0 3448 0 vsize: 14044 [startup+720.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 198604 0 0 0 71513 492 0 0 25 0 1 0 893029477 14376960 2830 4294967295 134512640 134716908 3221224592 3221222992 1074153792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3510 2830 1111 63 0 3447 0 vsize: 14040 [startup+730.029 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 201089 0 0 0 72508 498 0 0 25 0 1 0 893029477 14360576 2826 4294967295 134512640 134716908 3221224592 3221222992 1074153660 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3506 2826 1111 63 0 3443 0 vsize: 14024 [startup+740.029 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 203581 0 0 0 73500 505 0 0 25 0 1 0 893029477 14356480 2825 4294967295 134512640 134716908 3221224592 3221222992 1074153815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3505 2825 1111 63 0 3442 0 vsize: 14020 [startup+750.029 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 205574 0 0 0 74495 511 0 0 25 0 1 0 893029477 19386368 3419 4294967295 134512640 134716908 3221224592 3221220812 1075116501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4733 3419 1111 63 0 4670 0 vsize: 18932 [startup+760.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 208104 0 0 0 75490 516 0 0 25 0 1 0 893029477 19603456 3456 4294967295 134512640 134716908 3221224592 3221220812 1075116564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4786 3456 1111 63 0 4723 0 vsize: 19144 [startup+770.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 210610 0 0 0 76483 523 0 0 25 0 1 0 893029477 19406848 3296 4294967295 134512640 134716908 3221224592 3221221624 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4738 3296 1111 63 0 4675 0 vsize: 18952 [startup+780.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 212553 0 0 0 77479 528 0 0 25 0 1 0 893029477 14381056 2831 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3511 2831 1111 63 0 3448 0 vsize: 14044 [startup+790.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 215097 0 0 0 78473 533 0 0 25 0 1 0 893029477 14360576 2826 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3506 2826 1111 63 0 3443 0 vsize: 14024 [startup+800.031 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 217159 0 0 0 79469 538 0 0 25 0 1 0 893029477 19398656 3408 4294967295 134512640 134716908 3221224592 3221220832 1075115704 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4736 3408 1111 63 0 4673 0 vsize: 18944 [startup+810.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 219603 0 0 0 80462 545 0 0 25 0 1 0 893029477 19320832 3375 4294967295 134512640 134716908 3221224592 3221220812 1075116722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4717 3375 1111 63 0 4654 0 vsize: 18868 [startup+820.031 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 222061 0 0 0 81456 551 0 0 25 0 1 0 893029477 19308544 3369 4294967295 134512640 134716908 3221224592 3221220800 1074815253 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4714 3369 1111 63 0 4651 0 vsize: 18856 [startup+830.031 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 224481 0 0 0 82450 557 0 0 25 0 1 0 893029477 19374080 3395 4294967295 134512640 134716908 3221224592 3221220832 1075115709 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4730 3395 1111 63 0 4667 0 vsize: 18920 [startup+840.031 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 226883 0 0 0 83444 564 0 0 25 0 1 0 893029477 19255296 3366 4294967295 134512640 134716908 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4701 3366 1111 63 0 4638 0 vsize: 18804 [startup+850.032 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 228729 0 0 0 84439 569 0 0 25 0 1 0 893029477 14557184 2874 4294967295 134512640 134716908 3221224592 3221222640 1077814665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3554 2874 1111 63 0 3491 0 vsize: 14216 [startup+860.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 231194 0 0 0 85433 575 0 0 25 0 1 0 893029477 14372864 2829 4294967295 134512640 134716908 3221224592 3221222640 1074153773 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3509 2829 1111 63 0 3446 0 vsize: 14036 [startup+870.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 233503 0 0 0 86429 580 0 0 25 0 1 0 893029477 14381056 2831 4294967295 134512640 134716908 3221224592 3221222992 1074153672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3511 2831 1111 63 0 3448 0 vsize: 14044 [startup+880.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 235614 0 0 0 87424 585 0 0 25 0 1 0 893029477 20037632 3597 4294967295 134512640 134716908 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4892 3597 1111 63 0 4829 0 vsize: 19568 [startup+890.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 237833 0 0 0 88419 590 0 0 25 0 1 0 893029477 14585856 2881 4294967295 134512640 134716908 3221224592 3221222640 1077814665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3561 2881 1111 63 0 3498 0 vsize: 14244 [startup+900.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 239966 0 0 0 89414 595 0 0 25 0 1 0 893029477 19517440 3429 4294967295 134512640 134716908 3221224592 3221221360 1076084141 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4765 3429 1111 63 0 4702 0 vsize: 19060 [startup+910.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 242438 0 0 0 90408 601 0 0 25 0 1 0 893029477 19480576 3403 4294967295 134512640 134716908 3221224592 3221220812 1075116767 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4756 3403 1111 63 0 4693 0 vsize: 19024 [startup+920.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 245015 0 0 0 91402 607 0 0 25 0 1 0 893029477 19431424 3227 4294967295 134512640 134716908 3221224592 3221220820 1075115092 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4744 3227 1111 63 0 4681 0 vsize: 18976 [startup+930.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 247109 0 0 0 92398 611 0 0 25 0 1 0 893029477 14372864 2829 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3509 2829 1111 63 0 3446 0 vsize: 14036 [startup+940.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 249440 0 0 0 93391 618 0 0 25 0 1 0 893029477 14368768 2828 4294967295 134512640 134716908 3221224592 3221222992 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3508 2828 1111 63 0 3445 0 vsize: 14032 [startup+950.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 251757 0 0 0 94386 624 0 0 25 0 1 0 893029477 14548992 2872 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3552 2872 1111 63 0 3489 0 vsize: 14208 [startup+960.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 253970 0 0 0 95380 630 0 0 25 0 1 0 893029477 19529728 3430 4294967295 134512640 134716908 3221224592 3221220812 1075116549 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4768 3430 1111 63 0 4705 0 vsize: 19072 [startup+970.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 256409 0 0 0 96374 636 0 0 25 0 1 0 893029477 19283968 3391 4294967295 134512640 134716908 3221224592 3221221664 1074867340 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4708 3391 1111 63 0 4645 0 vsize: 18832 [startup+980.036 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 258704 0 0 0 97369 642 0 0 25 0 1 0 893029477 19374080 3362 4294967295 134512640 134716908 3221224592 3221220736 1074970267 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4730 3362 1111 63 0 4667 0 vsize: 18920 [startup+990.037 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 261035 0 0 0 98363 648 0 0 25 0 1 0 893029477 19206144 3365 4294967295 134512640 134716908 3221224592 3221220812 1075116869 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4689 3365 1111 63 0 4626 0 vsize: 18756 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 263459 0 0 0 99356 655 0 0 25 0 1 0 893029477 19689472 3487 4294967295 134512640 134716908 3221224592 3221220752 1075092790 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4807 3487 1111 63 0 4744 0 vsize: 19228 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 265561 0 0 0 100350 661 0 0 25 0 1 0 893029477 14581760 2880 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3560 2880 1111 63 0 3497 0 vsize: 14240 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 268122 0 0 0 101344 667 0 0 25 0 1 0 893029477 14381056 2831 4294967295 134512640 134716908 3221224592 3221222992 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3511 2831 1111 63 0 3448 0 vsize: 14044 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 270600 0 0 0 102339 673 0 0 25 0 1 0 893029477 14557184 2874 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3554 2874 1111 63 0 3491 0 vsize: 14216 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 273408 0 0 0 103331 681 0 0 25 0 1 0 893029477 19333120 3316 4294967295 134512640 134716908 3221224592 3221221248 1075967753 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4720 3316 1111 63 0 4657 0 vsize: 18880 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 275800 0 0 0 104325 687 0 0 25 0 1 0 893029477 19308544 3325 4294967295 134512640 134716908 3221224592 3221220864 1074961264 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4714 3325 1111 63 0 4651 0 vsize: 18856 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 278121 0 0 0 105320 693 0 0 25 0 1 0 893029477 19156992 3333 4294967295 134512640 134716908 3221224592 3221220820 1075114984 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4677 3333 1111 63 0 4614 0 vsize: 18708 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 280774 0 0 0 106313 700 0 0 25 0 1 0 893029477 14372864 2829 4294967295 134512640 134716908 3221224592 3221223252 134652240 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3509 2829 1111 63 0 3446 0 vsize: 14036 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 283532 0 0 0 107306 706 0 0 25 0 1 0 893029477 19259392 3243 4294967295 134512640 134716908 3221224592 3221220636 1074873347 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4702 3244 1111 63 0 4639 0 vsize: 18808 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 285751 0 0 0 108300 712 0 0 25 0 1 0 893029477 19255296 3317 4294967295 134512640 134716908 3221224592 3221220812 1075116862 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4701 3317 1111 63 0 4638 0 vsize: 18804 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 288396 0 0 0 109294 719 0 0 25 0 1 0 893029477 14376960 2830 4294967295 134512640 134716908 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3510 2830 1111 63 0 3447 0 vsize: 14040 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 291109 0 0 0 110288 725 0 0 25 0 1 0 893029477 19083264 3212 4294967295 134512640 134716908 3221224592 3221220648 1074789553 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4659 3212 1111 63 0 4596 0 vsize: 18636 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 293161 0 0 0 111283 730 0 0 25 0 1 0 893029477 14368768 2828 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3508 2828 1111 63 0 3445 0 vsize: 14032 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 295160 0 0 0 112279 735 0 0 25 0 1 0 893029477 14368768 2828 4294967295 134512640 134716908 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3508 2828 1111 63 0 3445 0 vsize: 14032 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 297047 0 0 0 113274 739 0 0 25 0 1 0 893029477 18280448 2948 4294967295 134512640 134716908 3221224592 3221221144 1075240389 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4463 2948 1111 63 0 4400 0 vsize: 17852 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 299262 0 0 0 114270 744 0 0 25 0 1 0 893029477 19009536 3277 4294967295 134512640 134716908 3221224592 3221220812 1075116722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4641 3277 1111 63 0 4578 0 vsize: 18564 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 301737 0 0 0 115264 750 0 0 25 0 1 0 893029477 14364672 2827 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3507 2827 1111 63 0 3444 0 vsize: 14028 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 304163 0 0 0 116258 756 0 0 25 0 1 0 893029477 14364672 2827 4294967295 134512640 134716908 3221224592 3221222992 1074153783 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3507 2827 1111 63 0 3444 0 vsize: 14028 [startup+1176.15 s] Raw data (loadavg): 1.00 1.00 0.94 1/53 13530 Raw data (stat): 13530 (bsolo_lpr-v2) R 13529 21152 21151 0 -1 0 304163 0 0 0 116258 756 0 0 25 0 1 0 893029477 14364672 2827 4294967295 134512640 134716908 3221224592 3221222992 1074153783 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3507 2827 1111 63 0 3444 0 vsize: 0 Child status: 10 Real time (s): 1176.15 CPU time (s): 1176.25 CPU user time (s): 1168.64 CPU system time (s): 7.61784 CPU usage (%): 100.009 Max. virtual memory (Kb): 20072 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 364 #### END VERIFIER DATA ####