Name | normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb |
MD5SUM | 6292e63147fb202dc159fbf5a9ff5c77 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4822 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 771 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 33355 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 33355 |
Number of bits of the biggest sum of numbers | 16 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02584 |
Number of variables | 771 |
Total number of constraints | 1951 |
Number of constraints which are clauses | 1949 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 42 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-09 22:22:51 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2224 boxname=wulflinc31 idbench=248 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 6292e63147fb202dc159fbf5a9ff5c77 /oldhome/oroussel/tmp/wulflinc31/normalized-C432.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-C432.opb IDLAUNCH: 2224 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 135708 kB Buffers: 45740 kB Cached: 818440 kB SwapCached: 644 kB Active: 493192 kB Inactive: 373404 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 135456 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 48 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26548 kB Committed_AS: 63612 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-09 22:42:28 (client local time) WITH STATUS 10 IN 1176.78 SECONDS stats: 2224 0 1176.78 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 771 variables and 1951 constraints. c After prepocess the problem consists of 753 variables and 1726 constraints. c preprocess terminated 0.795 s c Initial Lower Bound: 4748 c Lower Bound Elapsed time: 0.8764 c Use computed LB before first solution. c NEW SOLUTION FOUND: 4904 @ 17.507 c NEW SOLUTION FOUND: 4879 @ 158.156 c NEW SOLUTION FOUND: 4863 @ 845.682 c NEW SOLUTION FOUND: 4854 @ 991.904 c NEW SOLUTION FOUND: 4838 @ 1083.05 c NEW SOLUTION FOUND: 4829 @ 1111.62 c NEW SOLUTION FOUND: 4828 @ 1136.76 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 c Exit Code: 10 c Total time: 1176.76 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.67 0.88 0.88 2/54 4088 Raw data (stat): 4088 (runsolver) R 4087 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 704171847 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0009 s] Raw data (loadavg): 0.72 0.89 0.88 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 7675 0 0 0 975 20 0 0 25 0 1 0 704171847 9310208 1591 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2273 1591 1111 63 0 2210 0 vsize: 9092 [startup+20.0013 s] Raw data (loadavg): 0.76 0.89 0.89 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 9747 0 0 0 1970 25 0 0 25 0 1 0 704171847 10776576 1722 4294967295 134512640 134714508 3221221792 3221217596 1074787861 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2631 1722 1111 63 0 2568 0 vsize: 10524 [startup+30.0013 s] Raw data (loadavg): 0.80 0.89 0.89 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 11967 0 0 0 2965 31 0 0 25 0 1 0 704171847 10604544 1667 4294967295 134512640 134714508 3221221792 3221218824 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2589 1667 1111 63 0 2526 0 vsize: 10356 [startup+40.0026 s] Raw data (loadavg): 0.83 0.89 0.89 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 14266 0 0 0 3959 36 0 0 25 0 1 0 704171847 10690560 1698 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2610 1698 1111 63 0 2547 0 vsize: 10440 [startup+50.0035 s] Raw data (loadavg): 0.85 0.90 0.89 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 16448 0 0 0 4954 42 0 0 25 0 1 0 704171847 10588160 1678 4294967295 134512640 134714508 3221221792 3221217920 1075561201 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2585 1678 1111 63 0 2522 0 vsize: 10340 [startup+60.0031 s] Raw data (loadavg): 0.88 0.90 0.89 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 18686 0 0 0 5949 47 0 0 25 0 1 0 704171847 10559488 1681 4294967295 134512640 134714508 3221221792 3221218020 1075115112 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2578 1681 1111 63 0 2515 0 vsize: 10312 [startup+70.0044 s] Raw data (loadavg): 0.89 0.90 0.89 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 20935 0 0 0 6943 54 0 0 25 0 1 0 704171847 9371648 1612 4294967295 134512640 134714508 3221221792 3221219792 1074918192 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2288 1612 1111 63 0 2225 0 vsize: 9152 [startup+80.0049 s] Raw data (loadavg): 0.91 0.91 0.89 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 23232 0 0 0 7937 59 0 0 25 0 1 0 704171847 10686464 1701 4294967295 134512640 134714508 3221221792 3221218624 1075793252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2609 1701 1111 63 0 2546 0 vsize: 10436 [startup+90.0058 s] Raw data (loadavg): 0.92 0.91 0.89 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 25534 0 0 0 8931 66 0 0 25 0 1 0 704171847 10637312 1696 4294967295 134512640 134714508 3221221792 3221217952 1074794472 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2597 1696 1111 63 0 2534 0 vsize: 10388 [startup+100.006 s] Raw data (loadavg): 0.93 0.91 0.89 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 27877 0 0 0 9926 71 0 0 25 0 1 0 704171847 9310208 1603 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2273 1603 1111 63 0 2210 0 vsize: 9092 [startup+110.006 s] Raw data (loadavg): 0.94 0.91 0.89 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 30179 0 0 0 10920 77 0 0 25 0 1 0 704171847 10772480 1729 4294967295 134512640 134714508 3221221792 3221218280 1074789792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2630 1729 1111 63 0 2567 0 vsize: 10520 [startup+120.007 s] Raw data (loadavg): 0.95 0.92 0.90 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 32525 0 0 0 11914 83 0 0 25 0 1 0 704171847 9310208 1603 4294967295 134512640 134714508 3221221792 3221220088 1074138166 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2273 1603 1111 63 0 2210 0 vsize: 9092 [startup+130.007 s] Raw data (loadavg): 0.96 0.92 0.90 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 34753 0 0 0 12908 89 0 0 25 0 1 0 704171847 9310208 1603 4294967295 134512640 134714508 3221221792 3221220176 1074153663 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2273 1603 1111 63 0 2210 0 vsize: 9092 [startup+140.007 s] Raw data (loadavg): 0.97 0.92 0.90 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 37168 0 0 0 13902 95 0 0 25 0 1 0 704171847 9375744 1618 4294967295 134512640 134714508 3221221792 3221219792 1074919284 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2289 1618 1111 63 0 2226 0 vsize: 9156 [startup+150.008 s] Raw data (loadavg): 0.97 0.92 0.90 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 39496 0 0 0 14897 101 0 0 25 0 1 0 704171847 9310208 1603 4294967295 134512640 134714508 3221221792 3221220176 1074153815 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2273 1603 1111 63 0 2210 0 vsize: 9092 [startup+160.009 s] Raw data (loadavg): 0.97 0.92 0.90 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 42161 0 0 0 15890 107 0 0 25 0 1 0 704171847 9310208 1603 4294967295 134512640 134714508 3221221792 3221220144 1074153786 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2273 1603 1111 63 0 2210 0 vsize: 9092 [startup+170.01 s] Raw data (loadavg): 0.98 0.93 0.90 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 44684 0 0 0 16883 115 0 0 25 0 1 0 704171847 9310208 1603 4294967295 134512640 134714508 3221221792 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2273 1603 1111 63 0 2210 0 vsize: 9092 [startup+180.009 s] Raw data (loadavg): 0.98 0.93 0.90 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 47043 0 0 0 17876 122 0 0 25 0 1 0 704171847 9310208 1603 4294967295 134512640 134714508 3221221792 3221220176 1074153786 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2273 1603 1111 63 0 2210 0 vsize: 9092 [startup+190.011 s] Raw data (loadavg): 0.98 0.93 0.90 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 49537 0 0 0 18870 129 0 0 25 0 1 0 704171847 9576448 1659 4294967295 134512640 134714508 3221221792 3221218984 1074138316 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2338 1666 1111 63 0 2275 0 vsize: 9352 [startup+200.011 s] Raw data (loadavg): 0.98 0.93 0.90 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 51985 0 0 0 19863 136 0 0 25 0 1 0 704171847 9310208 1603 4294967295 134512640 134714508 3221221792 3221220176 1074153822 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2273 1603 1111 63 0 2210 0 vsize: 9092 [startup+210.011 s] Raw data (loadavg): 0.99 0.93 0.90 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 55155 0 0 0 20854 145 0 0 25 0 1 0 704171847 9310208 1603 4294967295 134512640 134714508 3221221792 3221220144 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2273 1603 1111 63 0 2210 0 vsize: 9092 [startup+220.012 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 58524 0 0 0 21844 155 0 0 25 0 1 0 704171847 10956800 1728 4294967295 134512640 134714508 3221221792 3221218448 1075967484 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2675 1728 1111 63 0 2612 0 vsize: 10700 [startup+230.012 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 62331 0 0 0 22835 165 0 0 25 0 1 0 704171847 10936320 1750 4294967295 134512640 134714508 3221221792 3221218032 1075115726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2670 1750 1111 63 0 2607 0 vsize: 10680 [startup+240.013 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 66364 0 0 0 23825 174 0 0 25 0 1 0 704171847 11206656 1811 4294967295 134512640 134714508 3221221792 3221218712 1074950102 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2736 1811 1111 63 0 2673 0 vsize: 10944 [startup+250.013 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 69919 0 0 0 24816 184 0 0 25 0 1 0 704171847 9805824 1724 4294967295 134512640 134714508 3221221792 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2394 1724 1111 63 0 2331 0 vsize: 9576 [startup+260.013 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 73498 0 0 0 25807 193 0 0 25 0 1 0 704171847 11444224 1877 4294967295 134512640 134714508 3221221792 3221218020 1074789988 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2794 1877 1111 63 0 2731 0 vsize: 11176 [startup+270.013 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 77001 0 0 0 26799 201 0 0 25 0 1 0 704171847 9990144 1764 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2439 1764 1111 63 0 2376 0 vsize: 9756 [startup+280.012 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 80757 0 0 0 27788 212 0 0 25 0 1 0 704171847 9998336 1771 4294967295 134512640 134714508 3221221792 3221219764 1074052546 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2441 1771 1111 63 0 2378 0 vsize: 9764 [startup+290.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 84435 0 0 0 28779 222 0 0 25 0 1 0 704171847 10027008 1778 4294967295 134512640 134714508 3221221792 3221220176 1074153779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2448 1778 1111 63 0 2385 0 vsize: 9792 [startup+300.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 87896 0 0 0 29770 230 0 0 25 0 1 0 704171847 11792384 1957 4294967295 134512640 134714508 3221221792 3221217920 1075561216 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2879 1957 1111 63 0 2816 0 vsize: 11516 [startup+310.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 91402 0 0 0 30763 238 0 0 25 0 1 0 704171847 11804672 1958 4294967295 134512640 134714508 3221221792 3221218064 1074960859 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2882 1958 1111 63 0 2819 0 vsize: 11528 [startup+320.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 94985 0 0 0 31753 248 0 0 25 0 1 0 704171847 11812864 1981 4294967295 134512640 134714508 3221221792 3221218032 1075115752 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2884 1981 1111 63 0 2821 0 vsize: 11536 [startup+330.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 98724 0 0 0 32746 255 0 0 25 0 1 0 704171847 11907072 2006 4294967295 134512640 134714508 3221221792 3221217660 1074787806 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2907 2006 1111 63 0 2844 0 vsize: 11628 [startup+340.015 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 102031 0 0 0 33737 264 0 0 25 0 1 0 704171847 10436608 1878 4294967295 134512640 134714508 3221221792 3221220088 1074138166 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2548 1878 1111 63 0 2485 0 vsize: 10192 [startup+350.015 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 105584 0 0 0 34727 275 0 0 25 0 1 0 704171847 12046336 2016 4294967295 134512640 134714508 3221221792 3221218064 1074961355 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2941 2016 1111 63 0 2878 0 vsize: 11764 [startup+360.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 109258 0 0 0 35717 285 0 0 25 0 1 0 704171847 10444800 1880 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2550 1880 1111 63 0 2487 0 vsize: 10200 [startup+370.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 112736 0 0 0 36708 294 0 0 25 0 1 0 704171847 12263424 2085 4294967295 134512640 134714508 3221221792 3221217660 1074787957 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2994 2085 1111 63 0 2931 0 vsize: 11976 [startup+380.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 116202 0 0 0 37699 303 0 0 25 0 1 0 704171847 10645504 1929 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2599 1929 1111 63 0 2536 0 vsize: 10396 [startup+390.017 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 119693 0 0 0 38691 311 0 0 25 0 1 0 704171847 11051008 1996 4294967295 134512640 134714508 3221221792 3221218984 1074138315 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2833 2000 1111 63 0 2770 0 vsize: 10792 [startup+400.018 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 123511 0 0 0 39681 322 0 0 25 0 1 0 704171847 10973184 1990 4294967295 134512640 134714508 3221221792 3221218896 1074139007 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2679 1990 1111 63 0 2616 0 vsize: 10716 [startup+410.018 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 127374 0 0 0 40671 332 0 0 25 0 1 0 704171847 10743808 1953 4294967295 134512640 134714508 3221221792 3221220128 1074153794 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2623 1953 1111 63 0 2560 0 vsize: 10492 [startup+420.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 131235 0 0 0 41662 341 0 0 25 0 1 0 704171847 10870784 1969 4294967295 134512640 134714508 3221221792 3221220092 1074206250 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2654 1969 1111 63 0 2591 0 vsize: 10616 [startup+430.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 135366 0 0 0 42652 351 0 0 25 0 1 0 704171847 12513280 2164 4294967295 134512640 134714508 3221221792 3221218020 1075114984 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3055 2164 1111 63 0 2992 0 vsize: 12220 [startup+440.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 139382 0 0 0 43641 362 0 0 25 0 1 0 704171847 10960896 1976 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2676 1976 1111 63 0 2613 0 vsize: 10704 [startup+450.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 143693 0 0 0 44632 372 0 0 25 0 1 0 704171847 11010048 2018 4294967295 134512640 134714508 3221221792 3221220176 1074153663 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2688 2018 1111 63 0 2625 0 vsize: 10752 [startup+460.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 147370 0 0 0 45622 381 0 0 25 0 1 0 704171847 11120640 2045 4294967295 134512640 134714508 3221221792 3221220144 1074153800 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2715 2045 1111 63 0 2652 0 vsize: 10860 [startup+470.021 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 151338 0 0 0 46614 390 0 0 25 0 1 0 704171847 12869632 2234 4294967295 134512640 134714508 3221221792 3221217788 1074860959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3142 2234 1111 63 0 3079 0 vsize: 12568 [startup+480.02 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 155164 0 0 0 47603 401 0 0 25 0 1 0 704171847 12951552 2282 4294967295 134512640 134714508 3221221792 3221218836 1074846163 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3162 2282 1111 63 0 3099 0 vsize: 12648 [startup+490.021 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 159112 0 0 0 48593 412 0 0 25 0 1 0 704171847 11358208 2103 4294967295 134512640 134714508 3221221792 3221220144 1074153792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2773 2103 1111 63 0 2710 0 vsize: 11092 [startup+500.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 163209 0 0 0 49582 423 0 0 25 0 1 0 704171847 11894784 2175 4294967295 134512640 134714508 3221221792 3221219520 1075828668 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2904 2175 1111 63 0 2841 0 vsize: 11616 [startup+510.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 167212 0 0 0 50573 432 0 0 25 0 1 0 704171847 13107200 2329 4294967295 134512640 134714508 3221221792 3221218736 1074620117 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3200 2329 1111 63 0 3137 0 vsize: 12800 [startup+520.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 171544 0 0 0 51560 445 0 0 25 0 1 0 704171847 11657216 2176 4294967295 134512640 134714508 3221221792 3221219432 1077410163 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2818 2148 1111 63 0 2755 0 vsize: 11384 [startup+530.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 175885 0 0 0 52548 457 0 0 25 0 1 0 704171847 13152256 2329 4294967295 134512640 134714508 3221221792 3221218032 1075115730 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3211 2329 1111 63 0 3148 0 vsize: 12844 [startup+540.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 179982 0 0 0 53538 467 0 0 25 0 1 0 704171847 13197312 2309 4294967295 134512640 134714508 3221221792 3221218560 1076083761 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3222 2309 1111 63 0 3159 0 vsize: 12888 [startup+550.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 183416 0 0 0 54530 475 0 0 25 0 1 0 704171847 13164544 2297 4294967295 134512640 134714508 3221221792 3221218864 1074867314 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3214 2297 1111 63 0 3151 0 vsize: 12856 [startup+560.022 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 187034 0 0 0 55522 483 0 0 25 0 1 0 704171847 13492224 2349 4294967295 134512640 134714508 3221221792 3221218856 1075007302 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3294 2349 1111 63 0 3231 0 vsize: 13176 [startup+570.022 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 190456 0 0 0 56514 491 0 0 25 0 1 0 704171847 11890688 2233 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2903 2233 1111 63 0 2840 0 vsize: 11612 [startup+580.022 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 194061 0 0 0 57505 501 0 0 25 0 1 0 704171847 13602816 2409 4294967295 134512640 134714508 3221221792 3221217952 1075093475 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3321 2409 1111 63 0 3258 0 vsize: 13284 [startup+590.023 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 197458 0 0 0 58496 510 0 0 25 0 1 0 704171847 11972608 2253 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2923 2253 1111 63 0 2860 0 vsize: 11692 [startup+600.023 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 201220 0 0 0 59486 520 0 0 25 0 1 0 704171847 11972608 2253 4294967295 134512640 134714508 3221221792 3221219728 1073986696 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2923 2253 1111 63 0 2860 0 vsize: 11692 [startup+610.023 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 204778 0 0 0 60477 530 0 0 25 0 1 0 704171847 11972608 2253 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2923 2253 1111 63 0 2860 0 vsize: 11692 [startup+620.023 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 208714 0 0 0 61467 539 0 0 25 0 1 0 704171847 13660160 2453 4294967295 134512640 134714508 3221221792 3221218888 1076121329 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3335 2453 1111 63 0 3272 0 vsize: 13340 [startup+630.023 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 212459 0 0 0 62459 548 0 0 25 0 1 0 704171847 13729792 2445 4294967295 134512640 134714508 3221221792 3221217608 1074788452 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3352 2445 1111 63 0 3289 0 vsize: 13408 [startup+640.023 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 216307 0 0 0 63450 557 0 0 25 0 1 0 704171847 12279808 2328 4294967295 134512640 134714508 3221221792 3221220128 1074153743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2998 2328 1111 63 0 2935 0 vsize: 11992 [startup+650.023 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 219637 0 0 0 64440 567 0 0 25 0 1 0 704171847 12361728 2348 4294967295 134512640 134714508 3221221792 3221220144 1074153779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3018 2348 1111 63 0 2955 0 vsize: 12072 [startup+660.023 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 222736 0 0 0 65433 574 0 0 25 0 1 0 704171847 12517376 2386 4294967295 134512640 134714508 3221221792 3221220144 1074153792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3056 2386 1111 63 0 2993 0 vsize: 12224 [startup+670.023 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 225760 0 0 0 66427 580 0 0 25 0 1 0 704171847 12517376 2386 4294967295 134512640 134714508 3221221792 3221220176 1074153760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3056 2386 1111 63 0 2993 0 vsize: 12224 [startup+680.023 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 228929 0 0 0 67418 589 0 0 25 0 1 0 704171847 12574720 2400 4294967295 134512640 134714508 3221221792 3221220192 1074153773 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3070 2400 1111 63 0 3007 0 vsize: 12280 [startup+690.023 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 232208 0 0 0 68409 598 0 0 25 0 1 0 704171847 12660736 2421 4294967295 134512640 134714508 3221221792 3221220656 134643267 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3091 2421 1111 63 0 3028 0 vsize: 12364 [startup+700.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 235206 0 0 0 69402 606 0 0 25 0 1 0 704171847 14290944 2559 4294967295 134512640 134714508 3221221792 3221218336 1076044962 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3489 2559 1111 63 0 3426 0 vsize: 13956 [startup+710.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 238403 0 0 0 70393 614 0 0 25 0 1 0 704171847 12763136 2446 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3116 2446 1111 63 0 3053 0 vsize: 12464 [startup+720.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 241572 0 0 0 71385 623 0 0 25 0 1 0 704171847 14397440 2596 4294967295 134512640 134714508 3221221792 3221217884 1075663510 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3515 2596 1111 63 0 3452 0 vsize: 14060 [startup+730.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 244697 0 0 0 72377 631 0 0 25 0 1 0 704171847 12943360 2490 4294967295 134512640 134714508 3221221792 3221219928 1077377416 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3160 2490 1111 63 0 3097 0 vsize: 12640 [startup+740.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 247874 0 0 0 73368 640 0 0 25 0 1 0 704171847 14426112 2636 4294967295 134512640 134714508 3221221792 3221217920 1075561242 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3522 2636 1111 63 0 3459 0 vsize: 14088 [startup+750.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 250948 0 0 0 74360 648 0 0 25 0 1 0 704171847 14630912 2662 4294967295 134512640 134714508 3221221792 3221217692 1074787806 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3572 2662 1111 63 0 3509 0 vsize: 14288 [startup+760.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 253995 0 0 0 75352 656 0 0 25 0 1 0 704171847 14647296 2666 4294967295 134512640 134714508 3221221792 3221218864 1074867314 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3576 2666 1111 63 0 3513 0 vsize: 14304 [startup+770.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 257213 0 0 0 76345 663 0 0 25 0 1 0 704171847 13148160 2540 4294967295 134512640 134714508 3221221792 3221220192 1074153673 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3210 2540 1111 63 0 3147 0 vsize: 12840 [startup+780.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 260609 0 0 0 77337 672 0 0 25 0 1 0 704171847 14761984 2683 4294967295 134512640 134714508 3221221792 3221218064 1074960868 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3604 2683 1111 63 0 3541 0 vsize: 14416 [startup+790.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 263955 0 0 0 78328 681 0 0 25 0 1 0 704171847 14802944 2722 4294967295 134512640 134714508 3221221792 3221217936 1074970194 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3614 2722 1111 63 0 3551 0 vsize: 14456 [startup+800.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 267261 0 0 0 79320 690 0 0 25 0 1 0 704171847 14848000 2744 4294967295 134512640 134714508 3221221792 3221217704 1074788403 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3625 2744 1111 63 0 3562 0 vsize: 14500 [startup+810.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 270592 0 0 0 80311 698 0 0 25 0 1 0 704171847 13295616 2576 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3246 2576 1111 63 0 3183 0 vsize: 12984 [startup+820.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 274359 0 0 0 81301 708 0 0 25 0 1 0 704171847 14970880 2761 4294967295 134512640 134714508 3221221792 3221217836 1074873504 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3655 2761 1111 63 0 3592 0 vsize: 14620 [startup+830.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 277775 0 0 0 82292 717 0 0 25 0 1 0 704171847 13819904 2643 4294967295 134512640 134714508 3221221792 3221219712 1075799725 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3374 2643 1111 63 0 3311 0 vsize: 13496 [startup+840.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 281240 0 0 0 83284 725 0 0 25 0 1 0 704171847 15077376 2797 4294967295 134512640 134714508 3221221792 3221217884 1075663518 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3681 2797 1111 63 0 3618 0 vsize: 14724 [startup+850.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 284602 0 0 0 84275 735 0 0 25 0 1 0 704171847 13647872 2662 4294967295 134512640 134714508 3221221792 3221220536 134542419 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3332 2662 1111 63 0 3269 0 vsize: 13328 [startup+860.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 288277 0 0 0 85265 746 0 0 25 0 1 0 704171847 15192064 2789 4294967295 134512640 134714508 3221221792 3221218032 1075115768 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3709 2789 1111 63 0 3646 0 vsize: 14836 [startup+870.028 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 292001 0 0 0 86257 754 0 0 25 0 1 0 704171847 15228928 2819 4294967295 134512640 134714508 3221221792 3221217952 1075090771 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3718 2819 1111 63 0 3655 0 vsize: 14872 [startup+880.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 296175 0 0 0 87247 764 0 0 25 0 1 0 704171847 15355904 2854 4294967295 134512640 134714508 3221221792 3221218020 1075114975 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3749 2854 1111 63 0 3686 0 vsize: 14996 [startup+890.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 300119 0 0 0 88238 772 0 0 25 0 1 0 704171847 15552512 2881 4294967295 134512640 134714508 3221221792 3221218844 1075964112 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3797 2881 1111 63 0 3734 0 vsize: 15188 [startup+900.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 303965 0 0 0 89229 782 0 0 25 0 1 0 704171847 15507456 2907 4294967295 134512640 134714508 3221221792 3221218020 1075115003 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3786 2907 1111 63 0 3723 0 vsize: 15144 [startup+910.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 308012 0 0 0 90219 792 0 0 25 0 1 0 704171847 15503360 2866 4294967295 134512640 134714508 3221221792 3221218736 1074620107 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3785 2866 1111 63 0 3722 0 vsize: 15140 [startup+920.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 311346 0 0 0 91211 801 0 0 25 0 1 0 704171847 15761408 2912 4294967295 134512640 134714508 3221221792 3221218368 1076047561 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3848 2912 1111 63 0 3785 0 vsize: 15392 [startup+930.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 314825 0 0 0 92203 809 0 0 25 0 1 0 704171847 14307328 2823 4294967295 134512640 134714508 3221221792 3221220088 1074206881 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3493 2823 1111 63 0 3430 0 vsize: 13972 [startup+940.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 318409 0 0 0 93194 818 0 0 25 0 1 0 704171847 15921152 2949 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3887 2949 1111 63 0 3824 0 vsize: 15548 [startup+950.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 322048 0 0 0 94186 826 0 0 25 0 1 0 704171847 16560128 3124 4294967295 134512640 134714508 3221221792 3221217920 1075561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4043 3124 1111 63 0 3980 0 vsize: 16172 [startup+960.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 325603 0 0 0 95178 835 0 0 25 0 1 0 704171847 16609280 3136 4294967295 134512640 134714508 3221221792 3221218368 1076043845 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4055 3136 1111 63 0 3992 0 vsize: 16220 [startup+970.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 329151 0 0 0 96168 844 0 0 25 0 1 0 704171847 16531456 3150 4294967295 134512640 134714508 3221221792 3221218908 1075614551 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4036 3150 1111 63 0 3973 0 vsize: 16144 [startup+980.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 332842 0 0 0 97159 854 0 0 25 0 1 0 704171847 16506880 3136 4294967295 134512640 134714508 3221221792 3221218720 1075960271 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4030 3136 1111 63 0 3967 0 vsize: 16120 [startup+990.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 336533 0 0 0 98150 862 0 0 25 0 1 0 704171847 16703488 3159 4294967295 134512640 134714508 3221221792 3221218448 1075968176 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4078 3159 1111 63 0 4015 0 vsize: 16312 [startup+1000.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 339976 0 0 0 99141 871 0 0 25 0 1 0 704171847 15298560 3062 4294967295 134512640 134714508 3221221792 3221220192 1074119066 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3735 3062 1111 63 0 3672 0 vsize: 14940 [startup+1010.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 343508 0 0 0 100133 880 0 0 25 0 1 0 704171847 15028224 2999 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3669 2999 1111 63 0 3606 0 vsize: 14676 [startup+1020.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 347375 0 0 0 101123 890 0 0 25 0 1 0 704171847 15028224 2999 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3669 2999 1111 63 0 3606 0 vsize: 14676 [startup+1030.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 350924 0 0 0 102115 898 0 0 25 0 1 0 704171847 15208448 3043 4294967295 134512640 134714508 3221221792 3221219704 1074138271 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3713 3043 1111 63 0 3650 0 vsize: 14852 [startup+1040.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 354449 0 0 0 103106 907 0 0 25 0 1 0 704171847 16875520 3235 4294967295 134512640 134714508 3221221792 3221217960 1074791553 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4120 3235 1111 63 0 4057 0 vsize: 16480 [startup+1050.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 357826 0 0 0 104098 915 0 0 25 0 1 0 704171847 15265792 3057 4294967295 134512640 134714508 3221221792 3221220360 134543176 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3727 3057 1111 63 0 3664 0 vsize: 14908 [startup+1060.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 361495 0 0 0 105090 924 0 0 25 0 1 0 704171847 15609856 3127 4294967295 134512640 134714508 3221221792 3221219792 1074918533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3811 3127 1111 63 0 3748 0 vsize: 15244 [startup+1070.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 365374 0 0 0 106080 934 0 0 25 0 1 0 704171847 17108992 3254 4294967295 134512640 134714508 3221221792 3221218300 1075240384 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4177 3254 1111 63 0 4114 0 vsize: 16708 [startup+1080.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 369166 0 0 0 107072 942 0 0 25 0 1 0 704171847 17108992 3305 4294967295 134512640 134714508 3221221792 3221217940 1075964386 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4177 3305 1111 63 0 4114 0 vsize: 16708 [startup+1090.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 372837 0 0 0 108064 950 0 0 25 0 1 0 704171847 17117184 3283 4294967295 134512640 134714508 3221221792 3221218256 1075602763 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4179 3283 1111 63 0 4116 0 vsize: 16716 [startup+1100.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 376461 0 0 0 109056 958 0 0 25 0 1 0 704171847 17223680 3326 4294967295 134512640 134714508 3221221792 3221217688 1074789566 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4205 3326 1111 63 0 4142 0 vsize: 16820 [startup+1110.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 380198 0 0 0 110048 967 0 0 25 0 1 0 704171847 15593472 3137 4294967295 134512640 134714508 3221221792 3221220144 1074153812 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3807 3137 1111 63 0 3744 0 vsize: 15228 [startup+1120.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 383965 0 0 0 111039 975 0 0 25 0 1 0 704171847 15654912 3152 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3822 3152 1111 63 0 3759 0 vsize: 15288 [startup+1130.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 387527 0 0 0 112031 984 0 0 25 0 1 0 704171847 15966208 3224 4294967295 134512640 134714508 3221221792 3221219792 1074916822 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3898 3224 1111 63 0 3835 0 vsize: 15592 [startup+1140.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 391341 0 0 0 113022 993 0 0 25 0 1 0 704171847 16076800 3245 4294967295 134512640 134714508 3221221792 3221218896 1074138614 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3925 3245 1111 63 0 3862 0 vsize: 15700 [startup+1150.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 394755 0 0 0 114013 1002 0 0 25 0 1 0 704171847 15880192 3207 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3877 3207 1111 63 0 3814 0 vsize: 15508 [startup+1160.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 398252 0 0 0 115006 1010 0 0 25 0 1 0 704171847 15929344 3219 4294967295 134512640 134714508 3221221792 3221220080 1074153794 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3889 3219 1111 63 0 3826 0 vsize: 15556 [startup+1170.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 401960 0 0 0 115996 1019 0 0 25 0 1 0 704171847 17641472 3422 4294967295 134512640 134714508 3221221792 3221218020 1075114975 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4307 3422 1111 63 0 4244 0 vsize: 17228 [startup+1176.66 s] Raw data (loadavg): 1.00 0.99 0.91 1/53 4088 Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 401960 0 0 0 115996 1019 0 0 25 0 1 0 704171847 17641472 3422 4294967295 134512640 134714508 3221221792 3221218020 1075114975 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4307 3422 1111 63 0 4244 0 vsize: 0 Child status: 10 Real time (s): 1176.66 CPU time (s): 1176.78 CPU user time (s): 1166.53 CPU system time (s): 10.2564 CPU usage (%): 100.011 Max. virtual memory (Kb): 17228 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 4828 #### END VERIFIER DATA ####