Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb |
MD5SUM | a483fc3761bb4050329265bf3a3a7ca5 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 372 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 808 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 808 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 808 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.04284 |
Number of variables | 808 |
Total number of constraints | 5557 |
Number of constraints which are clauses | 5557 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-06 09:29:52 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1396 boxname=wulflinc31 idbench=156 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: a483fc3761bb4050329265bf3a3a7ca5 /oldhome/oroussel/tmp/wulflinc31/normalized-ii32d2.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ii32d2.opb IDLAUNCH: 1396 /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: 152748 kB Buffers: 36276 kB Cached: 811380 kB SwapCached: 644 kB Active: 484860 kB Inactive: 365196 kB HighTotal: 131008 kB HighFree: 10080 kB LowTotal: 903652 kB LowFree: 142668 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 624 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26344 kB Committed_AS: 63672 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-06 09:49:27 (client local time) WITH STATUS 10 IN 1175.33 SECONDS stats: 1396 0 1175.33 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 808 variables and 5557 constraints. c After prepocess the problem consists of 808 variables and 5557 constraints. c preprocess terminated 11.002 s c Initial Lower Bound: 265 c Lower Bound Elapsed time: 2.534 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 404 @ 51.332 c NEW SOLUTION FOUND: 403 @ 51.334 c NEW SOLUTION FOUND: 402 @ 51.347 c NEW SOLUTION FOUND: 401 @ 51.36 c NEW SOLUTION FOUND: 398 @ 51.476 c NEW SOLUTION FOUND: 397 @ 51.516 c NEW SOLUTION FOUND: 396 @ 51.866 c NEW SOLUTION FOUND: 395 @ 52.334 c NEW SOLUTION FOUND: 394 @ 574.311 c NEW SOLUTION FOUND: 393 @ 575.061 c NEW SOLUTION FOUND: 392 @ 1005.98 s SATISFIABLE v x1 -x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 -x21 -x22 x23 -x24 x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 x33 -x34 x35 -x36 -x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 -x53 x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 -x69 -x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 -x81 x82 x83 -x84 x85 -x86 -x87 -x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 -x99 -x100 x101 -x102 x103 -x104 -x105 x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 -x139 x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 -x161 x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 -x200 x201 -x202 x203 -x204 -x205 x206 x207 -x208 x209 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 -x250 x251 -x252 x253 -x254 x255 -x256 x257 -x258 x259 -x260 x261 -x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 -x301 x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 -x315 x316 x317 -x318 -x319 x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 -x371 x372 x373 -x374 x375 -x376 x377 -x378 x379 -x380 x381 -x382 x383 -x384 x385 -x386 x387 -x388 x389 -x390 x391 -x392 x393 -x394 x395 -x396 -x397 x398 x399 -x400 x401 -x402 x403 -x404 x405 -x406 x407 -x408 x409 -x410 x411 -x412 x413 -x414 x415 -x416 x417 -x418 x419 -x420 x421 -x422 x423 -x424 -x425 x426 x427 -x428 x429 -x430 x431 -x432 x433 -x434 x435 -x436 x437 -x438 x439 -x440 x441 -x442 x443 -x444 x445 -x446 x447 -x448 x449 -x450 x451 -x452 x453 -x454 x455 -x456 x457 -x458 x459 -x460 x461 -x462 x463 -x464 x465 -x466 x467 -x468 x469 -x470 -x471 x472 x473 -x474 x475 -x476 x477 -x478 x479 -x480 x481 -x482 x483 -x484 x485 -x486 x487 -x488 x489 -x490 x491 -x492 x493 -x494 x495 -x496 x497 -x498 x499 -x500 x501 -x502 x503 -x504 x505 -x506 x507 -x508 x509 -x510 x511 -x512 x513 -x514 -x515 x516 -x517 x518 -x519 x520 -x521 x522 -x523 x524 x525 -x526 -x527 x528 -x529 x530 -x531 x532 -x533 x534 x535 -x536 -x537 x538 x539 -x540 -x541 x542 -x543 x544 -x545 x546 -x547 x548 -x549 x550 x551 -x552 -x553 x554 x555 -x556 -x557 x558 -x559 x560 -x561 x562 x563 -x564 -x565 x566 -x567 x568 -x569 x570 x571 -x572 -x573 x574 -x575 x576 -x577 x578 -x579 x580 -x581 x582 x583 -x584 -x585 x586 -x587 x588 x589 -x590 -x591 x592 -x593 x594 x595 -x596 -x597 x598 -x599 x600 -x601 x602 x603 -x604 -x605 x606 -x607 x608 -x609 x610 -x611 x612 x613 -x614 -x615 x616 -x617 x618 -x619 x620 -x621 x622 x623 -x624 -x625 x626 -x627 x628 -x629 x630 x631 -x632 x633 -x634 -x635 -x636 -x637 x638 -x639 x640 -x641 x642 -x643 x644 -x645 x646 x647 -x648 -x649 x650 x651 -x652 -x653 x654 -x655 x656 -x657 x658 x659 -x660 -x661 x662 -x663 x664 -x665 x666 -x667 x668 -x669 x670 x671 -x672 -x673 x674 -x675 x676 -x677 x678 x679 -x680 -x681 x682 x683 -x684 -x685 x686 -x687 x688 -x689 x690 x691 -x692 -x693 x694 -x695 x696 -x697 x698 x699 -x700 -x701 x702 -x703 x704 -x705 x706 -x707 x708 -x709 x710 x711 -x712 -x713 x714 x715 -x716 -x717 x718 -x719 x720 -x721 x722 -x723 x724 -x725 x726 x727 -x728 -x729 x730 -x731 x732 x733 -x734 -x735 x736 -x737 x738 -x739 -x740 x741 -x742 -x743 x744 -x745 x746 -x747 x748 x749 -x750 -x751 x752 -x753 x754 x755 -x756 -x757 x758 -x759 x760 -x761 x762 -x763 x764 -x765 x766 x767 -x768 -x769 x770 -x771 x772 x773 -x774 -x775 x776 -x777 x778 x779 -x780 -x781 x782 -x783 x784 -x785 x786 -x787 x788 x789 -x790 -x791 -x792 -x793 x794 -x795 x796 -x797 x798 x799 -x800 -x801 x802 -x803 x804 -x805 x806 x807 -x808 c Exit Code: 10 c Total time: 1175.3 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.91 0.97 0.99 2/54 23037 Raw data (stat): 23037 (runsolver) R 23036 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 673610438 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0006 s] Raw data (loadavg): 0.93 0.97 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 1728 0 0 0 989 6 0 0 25 0 1 0 673610438 10219520 1648 4294967295 134512640 134714508 3221221792 3221220464 134627184 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2495 1648 1111 63 0 2432 0 vsize: 9980 [startup+20.0016 s] Raw data (loadavg): 0.94 0.97 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 5487 0 0 0 1981 14 0 0 25 0 1 0 673610438 15843328 2804 4294967295 134512640 134714508 3221221792 3221217932 1075116741 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3868 2804 1111 63 0 3805 0 vsize: 15472 [startup+30.0026 s] Raw data (loadavg): 0.95 0.97 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 11770 0 0 0 2966 29 0 0 25 0 1 0 673610438 13729792 2575 4294967295 134512640 134714508 3221221792 3221220016 1074039235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3352 2575 1111 63 0 3289 0 vsize: 13408 [startup+40.0025 s] Raw data (loadavg): 0.95 0.97 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 16315 0 0 0 3953 42 0 0 25 0 1 0 673610438 12673024 2411 4294967295 134512640 134714508 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3094 2411 1111 63 0 3031 0 vsize: 12376 [startup+50.0039 s] Raw data (loadavg): 0.96 0.97 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 16316 0 0 0 4953 42 0 0 25 0 1 0 673610438 12795904 2412 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3124 2412 1111 63 0 3061 0 vsize: 12496 [startup+60.0034 s] Raw data (loadavg): 0.97 0.97 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 27815 0 0 0 5924 72 0 0 25 0 1 0 673610438 12779520 2441 4294967295 134512640 134714508 3221221792 3221220072 1074138315 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3120 2441 1111 63 0 3057 0 vsize: 12480 [startup+70.0043 s] Raw data (loadavg): 0.97 0.97 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 31537 0 0 0 6915 81 0 0 25 0 1 0 673610438 12738560 2437 4294967295 134512640 134714508 3221221792 3221220128 1074057692 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3110 2437 1111 63 0 3047 0 vsize: 12440 [startup+80.0052 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 34686 0 0 0 7906 89 0 0 25 0 1 0 673610438 12931072 2484 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3157 2484 1111 63 0 3094 0 vsize: 12628 [startup+90.0052 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 37407 0 0 0 8898 98 0 0 25 0 1 0 673610438 15536128 2629 4294967295 134512640 134714508 3221221792 3221218560 1076083558 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3793 2629 1111 63 0 3730 0 vsize: 15172 [startup+100.005 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 39727 0 0 0 9892 104 0 0 25 0 1 0 673610438 12931072 2484 4294967295 134512640 134714508 3221221792 3221219792 1074052300 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3157 2484 1111 63 0 3094 0 vsize: 12628 [startup+110.005 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 41816 0 0 0 10886 110 0 0 25 0 1 0 673610438 15183872 2527 4294967295 134512640 134714508 3221221792 3221217936 1074970218 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3707 2528 1111 63 0 3644 0 vsize: 14828 [startup+120.006 s] Raw data (loadavg): 1.07 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 44461 0 0 0 11879 117 0 0 25 0 1 0 673610438 15527936 2634 4294967295 134512640 134714508 3221221792 3221218448 1075967892 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3791 2634 1111 63 0 3728 0 vsize: 15164 [startup+130.006 s] Raw data (loadavg): 1.06 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 47117 0 0 0 12871 125 0 0 25 0 1 0 673610438 12931072 2484 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3157 2484 1111 63 0 3094 0 vsize: 12628 [startup+140.006 s] Raw data (loadavg): 1.05 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 49852 0 0 0 13863 134 0 0 25 0 1 0 673610438 12931072 2484 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3157 2484 1111 63 0 3094 0 vsize: 12628 [startup+150.007 s] Raw data (loadavg): 1.04 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 52864 0 0 0 14855 141 0 0 25 0 1 0 673610438 12931072 2484 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3157 2484 1111 63 0 3094 0 vsize: 12628 [startup+160.006 s] Raw data (loadavg): 1.03 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 56024 0 0 0 15848 149 0 0 25 0 1 0 673610438 12931072 2484 4294967295 134512640 134714508 3221221792 3221220048 1074153812 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3157 2484 1111 63 0 3094 0 vsize: 12628 [startup+170.007 s] Raw data (loadavg): 1.03 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 58881 0 0 0 16840 157 0 0 25 0 1 0 673610438 13115392 2529 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3202 2529 1111 63 0 3139 0 vsize: 12808 [startup+180.007 s] Raw data (loadavg): 1.02 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 61617 0 0 0 17832 166 0 0 25 0 1 0 673610438 13086720 2522 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3195 2522 1111 63 0 3132 0 vsize: 12780 [startup+190.007 s] Raw data (loadavg): 1.02 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 64327 0 0 0 18825 172 0 0 25 0 1 0 673610438 13168640 2542 4294967295 134512640 134714508 3221221792 3221220192 1074153815 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3215 2542 1111 63 0 3152 0 vsize: 12860 [startup+200.007 s] Raw data (loadavg): 1.02 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 66637 0 0 0 19818 179 0 0 25 0 1 0 673610438 15421440 2600 4294967295 134512640 134714508 3221221792 3221218020 1075115141 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3765 2600 1111 63 0 3702 0 vsize: 15060 [startup+210.007 s] Raw data (loadavg): 1.01 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 69105 0 0 0 20811 186 0 0 25 0 1 0 673610438 15867904 2706 4294967295 134512640 134714508 3221221792 3221218176 1074973240 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3874 2706 1111 63 0 3811 0 vsize: 15496 [startup+220.008 s] Raw data (loadavg): 1.01 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 71638 0 0 0 21804 194 0 0 25 0 1 0 673610438 13127680 2532 4294967295 134512640 134714508 3221221792 3221220036 1077374062 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3205 2532 1111 63 0 3142 0 vsize: 12820 [startup+230.009 s] Raw data (loadavg): 1.01 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 74184 0 0 0 22796 202 0 0 25 0 1 0 673610438 13127680 2534 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3205 2534 1111 63 0 3142 0 vsize: 12820 [startup+240.008 s] Raw data (loadavg): 1.01 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 77067 0 0 0 23787 212 0 0 25 0 1 0 673610438 13127680 2534 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3205 2534 1111 63 0 3142 0 vsize: 12820 [startup+250.009 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 79588 0 0 0 24780 218 0 0 25 0 1 0 673610438 13148160 2539 4294967295 134512640 134714508 3221221792 3221220192 1074118827 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3210 2539 1111 63 0 3147 0 vsize: 12840 [startup+260.009 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 82564 0 0 0 25771 227 0 0 25 0 1 0 673610438 15777792 2693 4294967295 134512640 134714508 3221221792 3221217920 1075112103 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3852 2693 1111 63 0 3789 0 vsize: 15408 [startup+270.009 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 85415 0 0 0 26764 235 0 0 25 0 1 0 673610438 13209600 2554 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3225 2554 1111 63 0 3162 0 vsize: 12900 [startup+280.009 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 87717 0 0 0 27758 241 0 0 25 0 1 0 673610438 13209600 2554 4294967295 134512640 134714508 3221221792 3221220048 1074153766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3225 2554 1111 63 0 3162 0 vsize: 12900 [startup+290.009 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 90120 0 0 0 28750 249 0 0 25 0 1 0 673610438 13209600 2554 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3225 2554 1111 63 0 3162 0 vsize: 12900 [startup+300.01 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 92697 0 0 0 29743 256 0 0 25 0 1 0 673610438 15765504 2651 4294967295 134512640 134714508 3221221792 3221218032 1075115717 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3849 2651 1111 63 0 3786 0 vsize: 15396 [startup+310.009 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 95525 0 0 0 30735 264 0 0 25 0 1 0 673610438 14876672 2705 4294967295 134512640 134714508 3221221792 3221217676 1074788944 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3632 2705 1111 63 0 3569 0 vsize: 14528 [startup+320.009 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 98289 0 0 0 31728 272 0 0 25 0 1 0 673610438 13209600 2554 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3225 2554 1111 63 0 3162 0 vsize: 12900 [startup+330.01 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 101712 0 0 0 32718 282 0 0 25 0 1 0 673610438 13262848 2567 4294967295 134512640 134714508 3221221792 3221219624 1077378596 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3238 2567 1111 63 0 3175 0 vsize: 12952 [startup+340.009 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 104407 0 0 0 33709 291 0 0 25 0 1 0 673610438 15675392 2672 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3827 2672 1111 63 0 3764 0 vsize: 15308 [startup+350.01 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 106722 0 0 0 34703 297 0 0 25 0 1 0 673610438 13422592 2606 4294967295 134512640 134714508 3221221792 3221218896 1074138752 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3277 2606 1111 63 0 3214 0 vsize: 13108 [startup+360.01 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 108855 0 0 0 35697 304 0 0 25 0 1 0 673610438 15876096 2729 4294967295 134512640 134714508 3221221792 3221218772 1075964094 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3876 2729 1111 63 0 3813 0 vsize: 15504 [startup+370.011 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 111162 0 0 0 36691 309 0 0 25 0 1 0 673610438 15851520 2679 4294967295 134512640 134714508 3221221792 3221217936 1074970218 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3870 2679 1111 63 0 3807 0 vsize: 15480 [startup+380.011 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 113855 0 0 0 37685 316 0 0 25 0 1 0 673610438 15855616 2689 4294967295 134512640 134714508 3221221792 3221218304 1075084533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3871 2689 1111 63 0 3808 0 vsize: 15484 [startup+390.011 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 116166 0 0 0 38679 322 0 0 25 0 1 0 673610438 13422592 2606 4294967295 134512640 134714508 3221221792 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3277 2606 1111 63 0 3214 0 vsize: 13108 [startup+400.011 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 118913 0 0 0 39672 329 0 0 25 0 1 0 673610438 16568320 2894 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4045 2894 1111 63 0 3982 0 vsize: 16180 [startup+410.011 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 121560 0 0 0 40666 335 0 0 25 0 1 0 673610438 16248832 2800 4294967295 134512640 134714508 3221221792 3221217824 1075965311 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3967 2800 1111 63 0 3904 0 vsize: 15868 [startup+420.012 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 123869 0 0 0 41660 342 0 0 25 0 1 0 673610438 15351808 2829 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3748 2829 1111 63 0 3685 0 vsize: 14992 [startup+430.013 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 126117 0 0 0 42653 348 0 0 25 0 1 0 673610438 13639680 2659 4294967295 134512640 134714508 3221221792 3221219656 1077380592 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3330 2659 1111 63 0 3267 0 vsize: 13320 [startup+440.013 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 128476 0 0 0 43647 355 0 0 25 0 1 0 673610438 16064512 2771 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3922 2771 1111 63 0 3859 0 vsize: 15688 [startup+450.013 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 130719 0 0 0 44640 362 0 0 25 0 1 0 673610438 15892480 2717 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3880 2717 1111 63 0 3817 0 vsize: 15520 [startup+460.012 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 133015 0 0 0 45634 368 0 0 25 0 1 0 673610438 13852672 2660 4294967295 134512640 134714508 3221221792 3221219760 1075961077 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3382 2660 1111 63 0 3319 0 vsize: 13528 [startup+470.013 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 135372 0 0 0 46629 374 0 0 25 0 1 0 673610438 15892480 2720 4294967295 134512640 134714508 3221221792 3221218112 1075171336 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3880 2720 1111 63 0 3817 0 vsize: 15520 [startup+480.013 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 138309 0 0 0 47621 382 0 0 25 0 1 0 673610438 13639680 2659 4294967295 134512640 134714508 3221221792 3221219136 1074839039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3330 2659 1111 63 0 3267 0 vsize: 13320 [startup+490.012 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 140883 0 0 0 48615 388 0 0 25 0 1 0 673610438 16871424 2977 4294967295 134512640 134714508 3221221792 3221218064 1074960909 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4119 2977 1111 63 0 4056 0 vsize: 16476 [startup+500.012 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 143677 0 0 0 49607 396 0 0 25 0 1 0 673610438 16216064 2750 4294967295 134512640 134714508 3221221792 3221218772 1075964060 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3959 2750 1111 63 0 3896 0 vsize: 15836 [startup+510.012 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 146798 0 0 0 50599 404 0 0 25 0 1 0 673610438 16048128 2744 4294967295 134512640 134714508 3221221792 3221217596 1074787581 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3918 2744 1111 63 0 3855 0 vsize: 15672 [startup+520.013 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 149582 0 0 0 51590 413 0 0 25 0 1 0 673610438 13631488 2657 4294967295 134512640 134714508 3221221792 3221220192 1074153766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3328 2657 1111 63 0 3265 0 vsize: 13312 [startup+530.013 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 152582 0 0 0 52583 420 0 0 25 0 1 0 673610438 16875520 2963 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4120 2963 1111 63 0 4057 0 vsize: 16480 [startup+540.013 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 155116 0 0 0 53576 427 0 0 25 0 1 0 673610438 13709312 2676 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3347 2676 1111 63 0 3284 0 vsize: 13388 [startup+550.014 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 157741 0 0 0 54570 433 0 0 25 0 1 0 673610438 17059840 2963 4294967295 134512640 134714508 3221221792 3221218112 1075169567 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4165 2964 1111 63 0 4102 0 vsize: 16660 [startup+560.016 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 160922 0 0 0 55562 442 0 0 25 0 1 0 673610438 13709312 2676 4294967295 134512640 134714508 3221221792 3221219792 1074915850 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3347 2676 1111 63 0 3284 0 vsize: 13388 [startup+570.016 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 163635 0 0 0 56555 449 0 0 25 0 1 0 673610438 13709312 2676 4294967295 134512640 134714508 3221221792 3221220192 1074153794 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3347 2676 1111 63 0 3284 0 vsize: 13388 [startup+580.016 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 171302 0 0 0 57533 471 0 0 25 0 1 0 673610438 17092608 3045 4294967295 134512640 134714508 3221221792 3221218448 1075967916 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4173 3045 1111 63 0 4110 0 vsize: 16692 [startup+590.016 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 173655 0 0 0 58527 478 0 0 25 0 1 0 673610438 16150528 2754 4294967295 134512640 134714508 3221221792 3221218864 1074867340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3943 2754 1111 63 0 3880 0 vsize: 15772 [startup+600.017 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 175938 0 0 0 59520 484 0 0 25 0 1 0 673610438 13897728 2722 4294967295 134512640 134714508 3221221792 3221220192 1074153773 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3393 2722 1111 63 0 3330 0 vsize: 13572 [startup+610.016 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 178136 0 0 0 60514 491 0 0 25 0 1 0 673610438 13897728 2722 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3393 2722 1111 63 0 3330 0 vsize: 13572 [startup+620.016 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 180270 0 0 0 61508 497 0 0 25 0 1 0 673610438 16150528 2780 4294967295 134512640 134714508 3221221792 3221217596 1074787639 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3943 2780 1111 63 0 3880 0 vsize: 15772 [startup+630.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 182900 0 0 0 62501 504 0 0 25 0 1 0 673610438 16478208 2819 4294967295 134512640 134714508 3221221792 3221218912 1074834317 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4023 2819 1111 63 0 3960 0 vsize: 16092 [startup+640.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 185291 0 0 0 63494 512 0 0 25 0 1 0 673610438 16150528 2783 4294967295 134512640 134714508 3221221792 3221217792 1074790909 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3943 2783 1111 63 0 3880 0 vsize: 15772 [startup+650.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 187690 0 0 0 64487 519 0 0 25 0 1 0 673610438 13897728 2722 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3393 2722 1111 63 0 3330 0 vsize: 13572 [startup+660.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 190515 0 0 0 65479 527 0 0 25 0 1 0 673610438 16592896 2873 4294967295 134512640 134714508 3221221792 3221217940 1075964416 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4051 2873 1111 63 0 3988 0 vsize: 16204 [startup+670.022 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 193648 0 0 0 66472 534 0 0 25 0 1 0 673610438 16322560 2827 4294967295 134512640 134714508 3221221792 3221218560 1076083429 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3985 2827 1111 63 0 3922 0 vsize: 15940 [startup+680.022 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 196342 0 0 0 67464 542 0 0 25 0 1 0 673610438 13942784 2733 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3404 2733 1111 63 0 3341 0 vsize: 13616 [startup+690.022 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 199407 0 0 0 68456 550 0 0 25 0 1 0 673610438 13967360 2739 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3410 2739 1111 63 0 3347 0 vsize: 13640 [startup+700.023 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 202509 0 0 0 69448 559 0 0 25 0 1 0 673610438 16625664 3134 4294967295 134512640 134714508 3221221792 3221218020 1075115141 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4059 3134 1111 63 0 3996 0 vsize: 16236 [startup+710.023 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 205201 0 0 0 70441 566 0 0 25 0 1 0 673610438 14389248 2814 4294967295 134512640 134714508 3221221792 3221219536 1075645384 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3513 2814 1111 63 0 3450 0 vsize: 14052 [startup+720.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 207473 0 0 0 71436 571 0 0 25 0 1 0 673610438 17145856 3064 4294967295 134512640 134714508 3221221792 3221218124 1075112846 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4186 3064 1111 63 0 4123 0 vsize: 16744 [startup+730.025 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 209595 0 0 0 72430 577 0 0 25 0 1 0 673610438 14196736 2795 4294967295 134512640 134714508 3221221792 3221219704 1074138319 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3466 2795 1111 63 0 3403 0 vsize: 13864 [startup+740.025 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 211790 0 0 0 73424 584 0 0 25 0 1 0 673610438 14196736 2795 4294967295 134512640 134714508 3221221792 3221220192 1074153672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3466 2795 1111 63 0 3403 0 vsize: 13864 [startup+750.025 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 214033 0 0 0 74417 591 0 0 25 0 1 0 673610438 14196736 2795 4294967295 134512640 134714508 3221221792 3221219856 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3466 2795 1111 63 0 3403 0 vsize: 13864 [startup+760.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 216248 0 0 0 75411 597 0 0 25 0 1 0 673610438 14196736 2795 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3466 2795 1111 63 0 3403 0 vsize: 13864 [startup+770.026 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 218365 0 0 0 76405 603 0 0 25 0 1 0 673610438 14196736 2795 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3466 2795 1111 63 0 3403 0 vsize: 13864 [startup+780.026 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 220547 0 0 0 77400 608 0 0 25 0 1 0 673610438 14196736 2795 4294967295 134512640 134714508 3221221792 3221219932 1077379973 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3466 2795 1111 63 0 3403 0 vsize: 13864 [startup+790.025 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 222800 0 0 0 78393 615 0 0 25 0 1 0 673610438 16830464 2929 4294967295 134512640 134714508 3221221792 3221218816 1074810417 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4109 2929 1111 63 0 4046 0 vsize: 16436 [startup+800.026 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 225109 0 0 0 79386 623 0 0 25 0 1 0 673610438 16449536 2863 4294967295 134512640 134714508 3221221792 3221218772 1075964060 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4016 2863 1111 63 0 3953 0 vsize: 16064 [startup+810.026 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 227526 0 0 0 80378 630 0 0 25 0 1 0 673610438 15884288 2974 4294967295 134512640 134714508 3221221792 3221217760 1075965246 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3878 2974 1111 63 0 3815 0 vsize: 15512 [startup+820.027 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 229855 0 0 0 81373 636 0 0 25 0 1 0 673610438 16449536 2831 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4016 2831 1111 63 0 3953 0 vsize: 16064 [startup+830.028 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 232099 0 0 0 82367 643 0 0 25 0 1 0 673610438 14196736 2795 4294967295 134512640 134714508 3221221792 3221220192 1074153672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3466 2795 1111 63 0 3403 0 vsize: 13864 [startup+840.028 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 234474 0 0 0 83361 649 0 0 25 0 1 0 673610438 14196736 2795 4294967295 134512640 134714508 3221221792 3221219888 1074153648 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3466 2795 1111 63 0 3403 0 vsize: 13864 [startup+850.029 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 236887 0 0 0 84355 654 0 0 25 0 1 0 673610438 14196736 2795 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3466 2795 1111 63 0 3403 0 vsize: 13864 [startup+860.029 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 239173 0 0 0 85348 661 0 0 25 0 1 0 673610438 16449536 2842 4294967295 134512640 134714508 3221221792 3221217936 1074969463 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4016 2842 1111 63 0 3953 0 vsize: 16064 [startup+870.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 241319 0 0 0 86343 667 0 0 25 0 1 0 673610438 16474112 2865 4294967295 134512640 134714508 3221221792 3221218064 1074960865 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4022 2865 1111 63 0 3959 0 vsize: 16088 [startup+880.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 243734 0 0 0 87336 674 0 0 25 0 1 0 673610438 16588800 2843 4294967295 134512640 134714508 3221221792 3221218000 1075792790 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4050 2843 1111 63 0 3987 0 vsize: 16200 [startup+890.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 246062 0 0 0 88329 681 0 0 25 0 1 0 673610438 14196736 2795 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3466 2795 1111 63 0 3403 0 vsize: 13864 [startup+900.031 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 248318 0 0 0 89324 686 0 0 25 0 1 0 673610438 16584704 2860 4294967295 134512640 134714508 3221221792 3221217936 1074969458 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4049 2860 1111 63 0 3986 0 vsize: 16196 [startup+910.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 251054 0 0 0 90317 694 0 0 25 0 1 0 673610438 16613376 2878 4294967295 134512640 134714508 3221221792 3221217932 1074970247 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4056 2878 1111 63 0 3993 0 vsize: 16224 [startup+920.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 253542 0 0 0 91310 701 0 0 25 0 1 0 673610438 14295040 2819 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3490 2819 1111 63 0 3427 0 vsize: 13960 [startup+930.031 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 256361 0 0 0 92303 708 0 0 25 0 1 0 673610438 14295040 2819 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3490 2819 1111 63 0 3427 0 vsize: 13960 [startup+940.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 258818 0 0 0 93296 715 0 0 25 0 1 0 673610438 14295040 2819 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3490 2819 1111 63 0 3427 0 vsize: 13960 [startup+950.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 261172 0 0 0 94290 721 0 0 25 0 1 0 673610438 16715776 2926 4294967295 134512640 134714508 3221221792 3221218000 1074815170 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4081 2926 1111 63 0 4018 0 vsize: 16324 [startup+960.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 263567 0 0 0 95283 729 0 0 25 0 1 0 673610438 16547840 2836 4294967295 134512640 134714508 3221221792 3221218832 1075971414 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4040 2840 1111 63 0 3977 0 vsize: 16160 [startup+970.031 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 265898 0 0 0 96277 735 0 0 25 0 1 0 673610438 16719872 2909 4294967295 134512640 134714508 3221221792 3221217740 1074788964 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4082 2909 1111 63 0 4019 0 vsize: 16328 [startup+980.031 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 268500 0 0 0 97271 741 0 0 25 0 1 0 673610438 14295040 2819 4294967295 134512640 134714508 3221221792 3221220096 1073978447 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3490 2819 1111 63 0 3427 0 vsize: 13960 [startup+990.031 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 271082 0 0 0 98264 748 0 0 25 0 1 0 673610438 14295040 2819 4294967295 134512640 134714508 3221221792 3221219520 1075828674 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3490 2819 1111 63 0 3427 0 vsize: 13960 [startup+1000.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 273760 0 0 0 99256 756 0 0 25 0 1 0 673610438 14295040 2819 4294967295 134512640 134714508 3221221792 3221220144 1074153815 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3490 2819 1111 63 0 3427 0 vsize: 13960 [startup+1010.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 287331 0 0 0 100221 791 0 0 25 0 1 0 673610438 14295040 2819 4294967295 134512640 134714508 3221221792 3221219684 1074057892 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3490 2819 1111 63 0 3427 0 vsize: 13960 [startup+1020.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 289975 0 0 0 101213 799 0 0 25 0 1 0 673610438 14340096 2830 4294967295 134512640 134714508 3221221792 3221220096 1074153783 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3501 2830 1111 63 0 3438 0 vsize: 14004 [startup+1030.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 292710 0 0 0 102205 807 0 0 25 0 1 0 673610438 16863232 2938 4294967295 134512640 134714508 3221221792 3221217920 1075561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4117 2938 1111 63 0 4054 0 vsize: 16468 [startup+1040.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 295143 0 0 0 103200 813 0 0 25 0 1 0 673610438 14409728 2847 4294967295 134512640 134714508 3221221792 3221220144 1074115298 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3518 2847 1111 63 0 3455 0 vsize: 14072 [startup+1050.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 298586 0 0 0 104191 822 0 0 25 0 1 0 673610438 16924672 2965 4294967295 134512640 134714508 3221221792 3221218128 1075113502 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4132 2965 1111 63 0 4069 0 vsize: 16528 [startup+1060.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 301020 0 0 0 105185 827 0 0 25 0 1 0 673610438 14512128 2872 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3543 2872 1111 63 0 3480 0 vsize: 14172 [startup+1070.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 303385 0 0 0 106179 833 0 0 25 0 1 0 673610438 16785408 2936 4294967295 134512640 134714508 3221221792 3221218736 1074620113 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4098 2936 1111 63 0 4035 0 vsize: 16392 [startup+1080.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 306007 0 0 0 107173 840 0 0 25 0 1 0 673610438 14393344 2843 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3514 2843 1111 63 0 3451 0 vsize: 14056 [startup+1090.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 308815 0 0 0 108166 847 0 0 25 0 1 0 673610438 16859136 2948 4294967295 134512640 134714508 3221221792 3221218864 1074867340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4116 2948 1111 63 0 4053 0 vsize: 16464 [startup+1100.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 311553 0 0 0 109160 854 0 0 25 0 1 0 673610438 17584128 3180 4294967295 134512640 134714508 3221221792 3221217936 1074969654 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4293 3180 1111 63 0 4230 0 vsize: 17172 [startup+1110.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 314346 0 0 0 110152 861 0 0 25 0 1 0 673610438 17473536 3070 4294967295 134512640 134714508 3221221792 3221218368 1076049315 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4266 3070 1111 63 0 4203 0 vsize: 17064 [startup+1120.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 316842 0 0 0 111147 867 0 0 25 0 1 0 673610438 16838656 2944 4294967295 134512640 134714508 3221221792 3221217876 1075964396 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4111 2944 1111 63 0 4048 0 vsize: 16444 [startup+1130.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 319179 0 0 0 112142 872 0 0 25 0 1 0 673610438 14585856 2890 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3561 2890 1111 63 0 3498 0 vsize: 14244 [startup+1140.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 322082 0 0 0 113135 879 0 0 25 0 1 0 673610438 17227776 3067 4294967295 134512640 134714508 3221221792 3221217936 1074969955 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4206 3067 1111 63 0 4143 0 vsize: 16824 [startup+1150.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 324810 0 0 0 114128 886 0 0 25 0 1 0 673610438 14585856 2890 4294967295 134512640 134714508 3221221792 3221220104 1074138327 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3561 2890 1111 63 0 3498 0 vsize: 14244 [startup+1160.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 327836 0 0 0 115121 894 0 0 25 0 1 0 673610438 14585856 2890 4294967295 134512640 134714508 3221221792 3221219816 1077380592 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3561 2890 1111 63 0 3498 0 vsize: 14244 [startup+1170.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/54 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 330369 0 0 0 116114 900 0 0 25 0 1 0 673610438 17043456 2972 4294967295 134512640 134714508 3221221792 3221218864 1074867308 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4161 2972 1111 63 0 4098 0 vsize: 16644 [startup+1175.22 s] Raw data (loadavg): 1.00 0.99 0.99 1/53 23037 Raw data (stat): 23037 (bsolo_lpr) R 23036 7876 7672 0 -1 0 330369 0 0 0 116114 900 0 0 25 0 1 0 673610438 17043456 2972 4294967295 134512640 134714508 3221221792 3221218864 1074867308 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4161 2972 1111 63 0 4098 0 vsize: 0 Child status: 10 Real time (s): 1175.22 CPU time (s): 1175.33 CPU user time (s): 1166.28 CPU system time (s): 9.05462 CPU usage (%): 100.01 Max. virtual memory (Kb): 17172 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 392 #### END VERIFIER DATA ####