Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e4.opb |
MD5SUM | 1c0d08e5657c85ec3afe3a7738817cf3 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 364 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 774 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 774 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 774 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 130.714 |
Number of variables | 774 |
Total number of constraints | 7493 |
Number of constraints which are clauses | 7493 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-06 18:39:21 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1442 boxname=wulflinc31 idbench=161 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 1c0d08e5657c85ec3afe3a7738817cf3 /oldhome/oroussel/tmp/wulflinc31/normalized-ii32e4.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ii32e4.opb IDLAUNCH: 1442 /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: 150616 kB Buffers: 37028 kB Cached: 812940 kB SwapCached: 644 kB Active: 486952 kB Inactive: 365364 kB HighTotal: 131008 kB HighFree: 8652 kB LowTotal: 903652 kB LowFree: 141964 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26340 kB Committed_AS: 63652 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-06 18:58:57 (client local time) WITH STATUS 10 IN 1175.05 SECONDS stats: 1442 0 1175.05 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 774 variables and 7493 constraints. c After prepocess the problem consists of 774 variables and 7493 constraints. c preprocess terminated 23.826 s c Initial Lower Bound: 264 c Lower Bound Elapsed time: 15.663 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 387 @ 39.568 c NEW SOLUTION FOUND: 386 @ 39.57 c NEW SOLUTION FOUND: 385 @ 39.585 c NEW SOLUTION FOUND: 384 @ 39.594 c NEW SOLUTION FOUND: 383 @ 39.603 c NEW SOLUTION FOUND: 382 @ 39.632 c NEW SOLUTION FOUND: 381 @ 39.642 c NEW SOLUTION FOUND: 380 @ 39.652 c NEW SOLUTION FOUND: 379 @ 39.666 c NEW SOLUTION FOUND: 378 @ 39.679 c NEW SOLUTION FOUND: 377 @ 39.693 c NEW SOLUTION FOUND: 367 @ 39.813 c NEW SOLUTION FOUND: 366 @ 39.953 c NEW SOLUTION FOUND: 365 @ 40.484 c NEW SOLUTION FOUND: 364 @ 46.313 s SATISFIABLE v x1 -x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 -x113 x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 -x123 x124 x125 -x126 x127 -x128 x129 -x130 -x131 x132 -x133 -x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 -x143 -x144 x145 -x146 x147 -x148 -x149 -x150 x151 -x152 x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 x169 -x170 x171 -x172 -x173 -x174 x175 -x176 x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 x195 -x196 x197 -x198 x199 -x200 -x201 x202 x203 -x204 x205 -x206 x207 -x208 x209 -x210 -x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x220 -x221 x222 x223 -x224 x225 -x226 x227 -x228 x229 -x230 -x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240 x241 -x242 x243 -x244 x245 -x246 -x247 -x248 -x249 x250 x251 -x252 x253 -x254 -x255 x256 x257 -x258 x259 -x260 x261 -x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 -x289 x290 x291 -x292 -x293 x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 -x345 x346 x347 -x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 x379 -x380 x381 -x382 x383 -x384 x385 -x386 -x387 x388 -x389 x390 x391 -x392 -x393 x394 -x395 x396 -x397 x398 -x399 x400 x401 -x402 x403 -x404 -x405 x406 -x407 x408 x409 -x410 -x411 x412 -x413 -x414 x415 -x416 -x417 x418 -x419 x420 x421 -x422 -x423 x424 -x425 x426 x427 -x428 -x429 x430 -x431 x432 x433 -x434 -x435 x436 -x437 x438 x439 -x440 -x441 x442 -x443 x444 -x445 x446 -x447 x448 x449 -x450 x451 -x452 -x453 x454 -x455 x456 -x457 x458 -x459 x460 x461 -x462 -x463 x464 -x465 x466 x467 -x468 -x469 x470 -x471 x472 x473 -x474 -x475 x476 -x477 x478 x479 -x480 -x481 x482 -x483 x484 x485 -x486 -x487 x488 -x489 x490 x491 -x492 x493 -x494 -x495 x496 -x497 x498 -x499 x500 -x501 x502 x503 -x504 -x505 -x506 -x507 x508 x509 -x510 x511 -x512 -x513 x514 -x515 x516 x517 -x518 -x519 x520 -x521 x522 x523 -x524 -x525 x526 -x527 x528 -x529 x530 -x531 x532 x533 -x534 -x535 x536 -x537 x538 x539 -x540 x541 -x542 -x543 x544 -x545 x546 x547 -x548 -x549 x550 -x551 x552 -x553 x554 -x555 x556 x557 -x558 -x559 x560 x561 -x562 -x563 x564 -x565 x566 -x567 x568 x569 -x570 -x571 x572 -x573 x574 x575 -x576 -x577 x578 x579 -x580 -x581 x582 -x583 x584 -x585 x586 x587 -x588 -x589 x590 -x591 x592 x593 -x594 -x595 x596 -x597 x598 x599 -x600 x601 -x602 -x603 x604 -x605 x606 x607 -x608 -x609 x610 -x611 x612 x613 -x614 -x615 x616 -x617 -x618 x619 -x620 -x621 x622 -x623 x624 x625 -x626 -x627 x628 -x629 x630 -x631 -x632 -x633 x634 x635 -x636 x637 -x638 -x639 x640 -x641 x642 x643 -x644 -x645 x646 -x647 x648 x649 -x650 -x651 x652 -x653 x654 x655 -x656 -x657 x658 -x659 x660 x661 -x662 -x663 x664 -x665 x666 -x667 x668 -x669 x670 x671 -x672 x673 -x674 -x675 x676 -x677 x678 x679 -x680 -x681 x682 -x683 -x684 -x685 x686 -x687 x688 x689 -x690 -x691 x692 -x693 x694 x695 -x696 -x697 -x698 -x699 x700 x701 -x702 x703 -x704 -x705 x706 -x707 x708 -x709 x710 -x711 x712 x713 -x714 x715 -x716 -x717 x718 -x719 x720 x721 -x722 -x723 x724 -x725 x726 -x727 x728 -x729 x730 x731 -x732 -x733 x734 -x735 x736 x737 -x738 x739 -x740 -x741 x742 -x743 x744 -x745 -x746 -x747 x748 x749 -x750 -x751 x752 -x753 x754 x755 -x756 -x757 x758 -x759 x760 x761 -x762 x763 -x764 -x765 x766 -x767 x768 -x769 x770 -x771 x772 x773 -x774 c Exit Code: 10 c Total time: 1175.02 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.92 0.97 0.99 2/54 26037 Raw data (stat): 26037 (runsolver) R 26036 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 676907782 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 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.0009 s] Raw data (loadavg): 0.93 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 2323 0 0 0 987 8 0 0 25 0 1 0 676907782 12677120 2243 4294967295 134512640 134714508 3221221792 3221220376 134523854 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3095 2243 1111 63 0 3032 0 vsize: 12380 [startup+20.0018 s] Raw data (loadavg): 0.94 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 2327 0 0 0 1986 9 0 0 25 0 1 0 676907782 12677120 2247 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3095 2247 1111 63 0 3032 0 vsize: 12380 [startup+30.002 s] Raw data (loadavg): 0.95 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 4246 0 0 0 2981 14 0 0 25 0 1 0 676907782 19976192 3734 4294967295 134512640 134714508 3221221792 3221217856 1074969474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4877 3734 1111 63 0 4814 0 vsize: 19508 [startup+40.0027 s] Raw data (loadavg): 0.96 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 7501 0 0 0 3973 22 0 0 25 0 1 0 676907782 14663680 2876 4294967295 134512640 134714508 3221221792 3221220064 1075126838 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3580 2876 1111 63 0 3517 0 vsize: 14320 [startup+50.0027 s] Raw data (loadavg): 0.96 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 33919 0 0 0 4905 89 0 0 25 0 1 0 676907782 18198528 3320 4294967295 134512640 134714508 3221221792 3221218032 1075115696 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4443 3320 1111 63 0 4380 0 vsize: 17772 [startup+60.0038 s] Raw data (loadavg): 0.97 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 55817 0 0 0 5850 144 0 0 25 0 1 0 676907782 14680064 2902 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3584 2902 1111 63 0 3521 0 vsize: 14336 [startup+70.0043 s] Raw data (loadavg): 0.97 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 58201 0 0 0 6844 150 0 0 25 0 1 0 676907782 14917632 2967 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3642 2967 1111 63 0 3579 0 vsize: 14568 [startup+80.0043 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 60123 0 0 0 7841 153 0 0 25 0 1 0 676907782 14925824 2969 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3644 2969 1111 63 0 3581 0 vsize: 14576 [startup+90.0045 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 62114 0 0 0 8836 159 0 0 25 0 1 0 676907782 15171584 3029 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3704 3029 1111 63 0 3641 0 vsize: 14816 [startup+100.004 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 65000 0 0 0 9829 165 0 0 25 0 1 0 676907782 20602880 3789 4294967295 134512640 134714508 3221221792 3221217952 1075092737 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5030 3789 1111 63 0 4967 0 vsize: 20120 [startup+110.005 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 67449 0 0 0 10822 173 0 0 25 0 1 0 676907782 15011840 2959 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3665 2959 1111 63 0 3602 0 vsize: 14660 [startup+120.005 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 70008 0 0 0 11817 178 0 0 25 0 1 0 676907782 20508672 3738 4294967295 134512640 134714508 3221221792 3221217952 1074794531 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5007 3738 1111 63 0 4944 0 vsize: 20028 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 71694 0 0 0 12812 183 0 0 25 0 1 0 676907782 20668416 3816 4294967295 134512640 134714508 3221221792 3221218128 1075113511 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5046 3816 1111 63 0 4983 0 vsize: 20184 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 73424 0 0 0 13808 187 0 0 25 0 1 0 676907782 20869120 3835 4294967295 134512640 134714508 3221221792 3221218020 1075115076 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5095 3835 1111 63 0 5032 0 vsize: 20380 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 75620 0 0 0 14803 192 0 0 25 0 1 0 676907782 15118336 3016 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3691 3016 1111 63 0 3628 0 vsize: 14764 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 77972 0 0 0 15798 198 0 0 25 0 1 0 676907782 20533248 3593 4294967295 134512640 134714508 3221221792 3221218020 1075114931 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5013 3593 1111 63 0 4950 0 vsize: 20052 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 79786 0 0 0 16794 202 0 0 25 0 1 0 676907782 20807680 3802 4294967295 134512640 134714508 3221221792 3221218368 1076049232 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5080 3802 1111 63 0 5017 0 vsize: 20320 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 82080 0 0 0 17788 208 0 0 25 0 1 0 676907782 15118336 3016 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3691 3016 1111 63 0 3628 0 vsize: 14764 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 84416 0 0 0 18783 213 0 0 25 0 1 0 676907782 20545536 3623 4294967295 134512640 134714508 3221221792 3221218020 1075114937 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5016 3623 1111 63 0 4953 0 vsize: 20064 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 86640 0 0 0 19776 220 0 0 25 0 1 0 676907782 15093760 3010 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3685 3010 1111 63 0 3622 0 vsize: 14740 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 88977 0 0 0 20771 226 0 0 25 0 1 0 676907782 20488192 3452 4294967295 134512640 134714508 3221221792 3221218424 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5002 3454 1111 63 0 4939 0 vsize: 20008 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 90885 0 0 0 21766 231 0 0 25 0 1 0 676907782 20500480 3689 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5005 3689 1111 63 0 4942 0 vsize: 20020 [startup+230.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 93415 0 0 0 22760 237 0 0 25 0 1 0 676907782 16326656 3198 4294967295 134512640 134714508 3221221792 3221219904 1074867212 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3986 3198 1111 63 0 3923 0 vsize: 15944 [startup+240.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 95627 0 0 0 23754 243 0 0 25 0 1 0 676907782 20570112 3746 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5022 3746 1111 63 0 4959 0 vsize: 20088 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 97985 0 0 0 24748 249 0 0 25 0 1 0 676907782 14970880 2980 4294967295 134512640 134714508 3221221792 3221220192 1074153751 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3655 2980 1111 63 0 3592 0 vsize: 14620 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 99572 0 0 0 25744 254 0 0 25 0 1 0 676907782 15343616 3071 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3746 3071 1111 63 0 3683 0 vsize: 14984 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 101916 0 0 0 26738 260 0 0 25 0 1 0 676907782 20635648 3735 4294967295 134512640 134714508 3221221792 3221217920 1075561184 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5038 3735 1111 63 0 4975 0 vsize: 20152 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 104096 0 0 0 27732 265 0 0 25 0 1 0 676907782 15134720 3020 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3695 3020 1111 63 0 3632 0 vsize: 14780 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 105700 0 0 0 28729 269 0 0 25 0 1 0 676907782 15142912 3022 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3697 3022 1111 63 0 3634 0 vsize: 14788 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 108095 0 0 0 29724 274 0 0 25 0 1 0 676907782 20656128 3737 4294967295 134512640 134714508 3221221792 3221218324 1074260555 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5043 3737 1111 63 0 4980 0 vsize: 20172 [startup+310.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 110204 0 0 0 30718 280 0 0 25 0 1 0 676907782 15351808 3073 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3748 3073 1111 63 0 3685 0 vsize: 14992 [startup+320.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 112501 0 0 0 31712 286 0 0 25 0 1 0 676907782 20484096 3701 4294967295 134512640 134714508 3221221792 3221218624 1075115295 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5001 3701 1111 63 0 4938 0 vsize: 20004 [startup+330.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 114821 0 0 0 32706 292 0 0 25 0 1 0 676907782 15130624 3019 4294967295 134512640 134714508 3221221792 3221219856 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3694 3019 1111 63 0 3631 0 vsize: 14776 [startup+340.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 116531 0 0 0 33702 296 0 0 25 0 1 0 676907782 15376384 3079 4294967295 134512640 134714508 3221221792 3221220104 1074138153 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3754 3079 1111 63 0 3691 0 vsize: 15016 [startup+350.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 119002 0 0 0 34696 302 0 0 25 0 1 0 676907782 20480000 3736 4294967295 134512640 134714508 3221221792 3221218324 1075863638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5000 3736 1111 63 0 4937 0 vsize: 20000 [startup+360.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 121136 0 0 0 35691 308 0 0 25 0 1 0 676907782 15319040 3065 4294967295 134512640 134714508 3221221792 3221220192 1074153753 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3740 3065 1111 63 0 3677 0 vsize: 14960 [startup+370.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 123441 0 0 0 36685 314 0 0 25 0 1 0 676907782 20459520 3719 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4995 3719 1111 63 0 4932 0 vsize: 19980 [startup+380.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 125549 0 0 0 37680 319 0 0 25 0 1 0 676907782 15306752 3062 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3737 3062 1111 63 0 3674 0 vsize: 14948 [startup+390.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 127793 0 0 0 38674 325 0 0 25 0 1 0 676907782 20230144 3648 4294967295 134512640 134714508 3221221792 3221218020 1075115003 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4939 3648 1111 63 0 4876 0 vsize: 19756 [startup+400.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 129862 0 0 0 39670 330 0 0 25 0 1 0 676907782 15130624 3019 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3694 3019 1111 63 0 3631 0 vsize: 14776 [startup+410.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 132114 0 0 0 40665 334 0 0 25 0 1 0 676907782 20443136 3665 4294967295 134512640 134714508 3221221792 3221217756 1074787806 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4991 3665 1111 63 0 4928 0 vsize: 19964 [startup+420.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 134165 0 0 0 41661 339 0 0 25 0 1 0 676907782 15130624 3019 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3694 3019 1111 63 0 3631 0 vsize: 14776 [startup+430.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 136342 0 0 0 42656 344 0 0 25 0 1 0 676907782 20430848 3702 4294967295 134512640 134714508 3221221792 3221217672 1074788497 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4988 3702 1111 63 0 4925 0 vsize: 19952 [startup+440.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 138624 0 0 0 43650 349 0 0 25 0 1 0 676907782 15126528 3018 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3693 3018 1111 63 0 3630 0 vsize: 14772 [startup+450.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 140748 0 0 0 44646 354 0 0 25 0 1 0 676907782 20205568 3638 4294967295 134512640 134714508 3221221792 3221218020 1075115065 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4933 3638 1111 63 0 4870 0 vsize: 19732 [startup+460.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 142753 0 0 0 45641 359 0 0 25 0 1 0 676907782 15310848 3063 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3738 3063 1111 63 0 3675 0 vsize: 14952 [startup+470.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 144887 0 0 0 46634 366 0 0 25 0 1 0 676907782 20582400 3680 4294967295 134512640 134714508 3221221792 3221218000 1074815473 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5025 3680 1111 63 0 4962 0 vsize: 20100 [startup+480.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 146523 0 0 0 47630 370 0 0 25 0 1 0 676907782 20488192 3718 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5002 3718 1111 63 0 4939 0 vsize: 20008 [startup+490.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 149245 0 0 0 48624 377 0 0 25 0 1 0 676907782 20254720 3563 4294967295 134512640 134714508 3221221792 3221218784 1075338873 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4945 3563 1111 63 0 4882 0 vsize: 19780 [startup+500.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 151372 0 0 0 49618 383 0 0 25 0 1 0 676907782 15396864 3084 4294967295 134512640 134714508 3221221792 3221220192 1074118854 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3759 3084 1111 63 0 3696 0 vsize: 15036 [startup+510.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 153437 0 0 0 50613 388 0 0 25 0 1 0 676907782 20238336 3491 4294967295 134512640 134714508 3221221792 3221218064 1074961304 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4941 3491 1111 63 0 4878 0 vsize: 19764 [startup+520.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 155562 0 0 0 51608 393 0 0 25 0 1 0 676907782 15130624 3019 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3694 3019 1111 63 0 3631 0 vsize: 14776 [startup+530.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 157774 0 0 0 52602 399 0 0 25 0 1 0 676907782 20615168 3675 4294967295 134512640 134714508 3221221792 3221218012 1075116719 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5033 3675 1111 63 0 4970 0 vsize: 20132 [startup+540.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 160162 0 0 0 53596 406 0 0 25 0 1 0 676907782 20029440 3548 4294967295 134512640 134714508 3221221792 3221218624 1075115397 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4890 3548 1111 63 0 4827 0 vsize: 19560 [startup+550.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 162321 0 0 0 54591 411 0 0 25 0 1 0 676907782 20463616 3509 4294967295 134512640 134714508 3221221792 3221218020 1075115065 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4996 3509 1111 63 0 4933 0 vsize: 19984 [startup+560.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 164566 0 0 0 55586 416 0 0 25 0 1 0 676907782 15134720 3020 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3695 3020 1111 63 0 3632 0 vsize: 14780 [startup+570.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 166259 0 0 0 56581 422 0 0 25 0 1 0 676907782 15372288 3078 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3753 3078 1111 63 0 3690 0 vsize: 15012 [startup+580.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 168556 0 0 0 57576 426 0 0 25 0 1 0 676907782 20148224 3626 4294967295 134512640 134714508 3221221792 3221218736 1074620113 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4919 3626 1111 63 0 4856 0 vsize: 19676 [startup+590.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 170986 0 0 0 58570 432 0 0 25 0 1 0 676907782 20078592 3574 4294967295 134512640 134714508 3221221792 3221218012 1075116467 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4902 3574 1111 63 0 4839 0 vsize: 19608 [startup+600.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 173215 0 0 0 59565 438 0 0 25 0 1 0 676907782 20058112 3398 4294967295 134512640 134714508 3221221792 3221218064 1074961191 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4897 3398 1111 63 0 4834 0 vsize: 19588 [startup+610.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 175084 0 0 0 60560 443 0 0 25 0 1 0 676907782 15142912 3022 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3697 3022 1111 63 0 3634 0 vsize: 14788 [startup+620.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 177670 0 0 0 61555 448 0 0 25 0 1 0 676907782 15695872 3152 4294967295 134512640 134714508 3221221792 3221219792 1074916465 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3832 3152 1111 63 0 3769 0 vsize: 15328 [startup+630.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 180326 0 0 0 62548 455 0 0 25 0 1 0 676907782 20582400 3673 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5025 3673 1111 63 0 4962 0 vsize: 20100 [startup+640.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 183059 0 0 0 63541 462 0 0 25 0 1 0 676907782 20094976 3585 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4906 3585 1111 63 0 4843 0 vsize: 19624 [startup+650.017 s] Raw data (loadavg): 0.99 0.97 0.99 3/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 185839 0 0 0 64535 468 0 0 25 0 1 0 676907782 19587072 3380 4294967295 134512640 134714508 3221221792 3221218832 1075860459 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4782 3380 1111 63 0 4719 0 vsize: 19128 [startup+660.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 187794 0 0 0 65531 473 0 0 25 0 1 0 676907782 20078592 3587 4294967295 134512640 134714508 3221221792 3221218012 1075116474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4902 3587 1111 63 0 4839 0 vsize: 19608 [startup+670.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 190146 0 0 0 66525 479 0 0 25 0 1 0 676907782 20049920 3566 4294967295 134512640 134714508 3221221792 3221218012 1075116741 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4895 3566 1111 63 0 4832 0 vsize: 19580 [startup+680.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 192791 0 0 0 67519 485 0 0 25 0 1 0 676907782 19984384 3461 4294967295 134512640 134714508 3221221792 3221218064 1074961267 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4879 3461 1111 63 0 4816 0 vsize: 19516 [startup+690.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 194507 0 0 0 68515 489 0 0 25 0 1 0 676907782 15130624 3019 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3694 3019 1111 63 0 3631 0 vsize: 14776 [startup+700.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 197211 0 0 0 69507 497 0 0 25 0 1 0 676907782 19623936 3357 4294967295 134512640 134714508 3221221792 3221218864 1074867317 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4791 3357 1111 63 0 4728 0 vsize: 19164 [startup+710.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 199471 0 0 0 70502 502 0 0 25 0 1 0 676907782 20201472 3580 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4932 3580 1111 63 0 4869 0 vsize: 19728 [startup+720.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 202279 0 0 0 71496 509 0 0 25 0 1 0 676907782 15122432 3017 4294967295 134512640 134714508 3221221792 3221220192 1074153675 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3692 3017 1111 63 0 3629 0 vsize: 14768 [startup+730.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 204961 0 0 0 72490 514 0 0 25 0 1 0 676907782 19558400 3400 4294967295 134512640 134714508 3221221792 3221218448 1075967932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4775 3400 1111 63 0 4712 0 vsize: 19100 [startup+740.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 207121 0 0 0 73486 519 0 0 25 0 1 0 676907782 20037632 3571 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4892 3571 1111 63 0 4829 0 vsize: 19568 [startup+750.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 209813 0 0 0 74479 526 0 0 25 0 1 0 676907782 15118336 3016 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3691 3016 1111 63 0 3628 0 vsize: 14764 [startup+760.019 s] Raw data (loadavg): 0.99 0.97 0.99 3/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 212573 0 0 0 75472 533 0 0 25 0 1 0 676907782 15540224 3116 4294967295 134512640 134714508 3221221792 3221218984 1074138285 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3794 3116 1111 63 0 3731 0 vsize: 15176 [startup+770.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 215097 0 0 0 76466 539 0 0 25 0 1 0 676907782 15298560 3060 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3735 3060 1111 63 0 3672 0 vsize: 14940 [startup+780.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 218178 0 0 0 77459 547 0 0 25 0 1 0 676907782 15106048 3013 4294967295 134512640 134714508 3221221792 3221220076 1074208240 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3688 3013 1111 63 0 3625 0 vsize: 14752 [startup+790.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 220817 0 0 0 78453 553 0 0 25 0 1 0 676907782 19636224 3362 4294967295 134512640 134714508 3221221792 3221217952 1074883539 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4794 3362 1111 63 0 4731 0 vsize: 19176 [startup+800.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 224058 0 0 0 79444 562 0 0 25 0 1 0 676907782 15708160 3161 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3835 3161 1111 63 0 3772 0 vsize: 15340 [startup+810.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 226990 0 0 0 80437 569 0 0 25 0 1 0 676907782 20529152 3618 4294967295 134512640 134714508 3221221792 3221217920 1075112103 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5012 3618 1111 63 0 4949 0 vsize: 20048 [startup+820.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 229341 0 0 0 81432 574 0 0 25 0 1 0 676907782 15687680 3156 4294967295 134512640 134714508 3221221792 3221220192 1074153749 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3830 3156 1111 63 0 3767 0 vsize: 15320 [startup+830.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 231743 0 0 0 82427 579 0 0 25 0 1 0 676907782 21168128 3730 4294967295 134512640 134714508 3221221792 3221217940 1075964393 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5168 3730 1111 63 0 5105 0 vsize: 20672 [startup+840.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 234108 0 0 0 83420 586 0 0 25 0 1 0 676907782 15708160 3161 4294967295 134512640 134714508 3221221792 3221219840 1074153663 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3835 3161 1111 63 0 3772 0 vsize: 15340 [startup+850.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 236544 0 0 0 84413 593 0 0 25 0 1 0 676907782 21172224 3891 4294967295 134512640 134714508 3221221792 3221218064 1074960835 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5169 3891 1111 63 0 5106 0 vsize: 20676 [startup+860.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 239071 0 0 0 85406 601 0 0 25 0 1 0 676907782 16539648 3362 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4038 3362 1111 63 0 3975 0 vsize: 16152 [startup+870.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 241761 0 0 0 86400 607 0 0 25 0 1 0 676907782 15683584 3155 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3829 3155 1111 63 0 3766 0 vsize: 15316 [startup+880.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 243631 0 0 0 87396 611 0 0 25 0 1 0 676907782 16011264 3235 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3909 3235 1111 63 0 3846 0 vsize: 15636 [startup+890.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 245855 0 0 0 88391 616 0 0 25 0 1 0 676907782 20873216 3784 4294967295 134512640 134714508 3221221792 3221218012 1075116704 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5096 3784 1111 63 0 5033 0 vsize: 20384 [startup+900.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 248266 0 0 0 89386 621 0 0 25 0 1 0 676907782 20668416 3706 4294967295 134512640 134714508 3221221792 3221218012 1075116866 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5046 3706 1111 63 0 4983 0 vsize: 20184 [startup+910.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 251287 0 0 0 90378 629 0 0 25 0 1 0 676907782 16027648 3220 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3913 3220 1111 63 0 3850 0 vsize: 15652 [startup+920.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 253962 0 0 0 91373 635 0 0 25 0 1 0 676907782 21032960 3816 4294967295 134512640 134714508 3221221792 3221218864 1074867341 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5135 3816 1111 63 0 5072 0 vsize: 20540 [startup+930.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 256457 0 0 0 92368 640 0 0 25 0 1 0 676907782 16072704 3250 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3924 3250 1111 63 0 3861 0 vsize: 15696 [startup+940.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 258760 0 0 0 93362 646 0 0 25 0 1 0 676907782 20443136 3574 4294967295 134512640 134714508 3221221792 3221217936 1074970267 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4991 3574 1111 63 0 4928 0 vsize: 19964 [startup+950.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 261078 0 0 0 94356 653 0 0 25 0 1 0 676907782 21258240 3826 4294967295 134512640 134714508 3221221792 3221218720 1075890968 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5190 3826 1111 63 0 5127 0 vsize: 20760 [startup+960.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 263650 0 0 0 95350 658 0 0 25 0 1 0 676907782 21082112 3772 4294967295 134512640 134714508 3221221792 3221217952 1074883509 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5147 3772 1111 63 0 5084 0 vsize: 20588 [startup+970.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 266057 0 0 0 96345 664 0 0 25 0 1 0 676907782 21032960 3750 4294967295 134512640 134714508 3221221792 3221218712 1074950119 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5135 3750 1111 63 0 5072 0 vsize: 20540 [startup+980.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 269055 0 0 0 97339 670 0 0 25 0 1 0 676907782 21008384 3728 4294967295 134512640 134714508 3221221792 3221217952 1074883672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5129 3728 1111 63 0 5066 0 vsize: 20516 [startup+990.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 271526 0 0 0 98333 676 0 0 25 0 1 0 676907782 21180416 3814 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5171 3814 1111 63 0 5108 0 vsize: 20684 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 274449 0 0 0 99325 685 0 0 25 0 1 0 676907782 16076800 3251 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3925 3251 1111 63 0 3862 0 vsize: 15700 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 276933 0 0 0 100319 690 0 0 25 0 1 0 676907782 16060416 3247 4294967295 134512640 134714508 3221221792 3221220192 1074153672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3921 3247 1111 63 0 3858 0 vsize: 15684 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 279299 0 0 0 101313 697 0 0 25 0 1 0 676907782 20316160 3522 4294967295 134512640 134714508 3221221792 3221217740 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4960 3522 1111 63 0 4897 0 vsize: 19840 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 281655 0 0 0 102307 702 0 0 25 0 1 0 676907782 21090304 3828 4294967295 134512640 134714508 3221221792 3221218864 1074867352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5149 3828 1111 63 0 5086 0 vsize: 20596 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 284728 0 0 0 103300 710 0 0 25 0 1 0 676907782 16707584 3369 4294967295 134512640 134714508 3221221792 3221220272 1074031989 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4079 3369 1111 63 0 4016 0 vsize: 16316 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 287104 0 0 0 104294 716 0 0 25 0 1 0 676907782 20422656 3565 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4986 3565 1111 63 0 4923 0 vsize: 19944 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 289514 0 0 0 105287 723 0 0 25 0 1 0 676907782 16711680 3407 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4080 3407 1111 63 0 4017 0 vsize: 16320 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 291545 0 0 0 106281 730 0 0 25 0 1 0 676907782 21909504 4002 4294967295 134512640 134714508 3221221792 3221218000 1074815265 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5349 4002 1111 63 0 5286 0 vsize: 21396 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 294555 0 0 0 107273 737 0 0 25 0 1 0 676907782 16715776 3408 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4081 3408 1111 63 0 4018 0 vsize: 16324 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 296683 0 0 0 108269 742 0 0 25 0 1 0 676907782 22421504 4174 4294967295 134512640 134714508 3221221792 3221218012 1075116564 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5474 4174 1111 63 0 5411 0 vsize: 21896 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 299257 0 0 0 109261 749 0 0 25 0 1 0 676907782 21708800 3972 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5300 3972 1111 63 0 5237 0 vsize: 21200 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 301752 0 0 0 110254 757 0 0 25 0 1 0 676907782 21721088 3954 4294967295 134512640 134714508 3221221792 3221218560 1076083342 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5303 3954 1111 63 0 5240 0 vsize: 21212 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 304140 0 0 0 111250 761 0 0 25 0 1 0 676907782 21643264 3902 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5284 3902 1111 63 0 5221 0 vsize: 21136 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 307057 0 0 0 112242 770 0 0 25 0 1 0 676907782 21716992 3903 4294967295 134512640 134714508 3221221792 3221217752 1074789570 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5302 3903 1111 63 0 5239 0 vsize: 21208 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 309418 0 0 0 113235 777 0 0 25 0 1 0 676907782 16711680 3407 4294967295 134512640 134714508 3221221792 3221219840 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4080 3407 1111 63 0 4017 0 vsize: 16320 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 311877 0 0 0 114229 783 0 0 25 0 1 0 676907782 16707584 3406 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4079 3406 1111 63 0 4016 0 vsize: 16316 [startup+1160.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 314306 0 0 0 115222 790 0 0 25 0 1 0 676907782 16855040 3442 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4115 3442 1111 63 0 4052 0 vsize: 16460 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 317025 0 0 0 116215 797 0 0 25 0 1 0 676907782 21274624 3743 4294967295 134512640 134714508 3221221792 3221218008 1074950114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5194 3743 1111 63 0 5131 0 vsize: 20776 [startup+1174.94 s] Raw data (loadavg): 0.99 0.97 0.99 1/53 26037 Raw data (stat): 26037 (bsolo_lpr_cuts) R 26036 7876 7672 0 -1 0 317025 0 0 0 116215 797 0 0 25 0 1 0 676907782 21274624 3743 4294967295 134512640 134714508 3221221792 3221218008 1074950114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5194 3743 1111 63 0 5131 0 vsize: 0 Child status: 10 Real time (s): 1174.94 CPU time (s): 1175.05 CPU user time (s): 1167.04 CPU system time (s): 8.00278 CPU usage (%): 100.009 Max. virtual memory (Kb): 21896 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 364 #### END VERIFIER DATA ####