Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b4.opb |
MD5SUM | c3974db7e8a7a7dcf1a342d47c14e34f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 376 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 762 |
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 | 762 |
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 | 762 |
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.03584 |
Number of variables | 762 |
Total number of constraints | 7299 |
Number of constraints which are clauses | 7299 |
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 00:50:26 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1343 boxname=wulflinc31 idbench=150 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: c3974db7e8a7a7dcf1a342d47c14e34f /oldhome/oroussel/tmp/wulflinc31/normalized-ii32b4.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ii32b4.opb IDLAUNCH: 1343 /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: 155660 kB Buffers: 35472 kB Cached: 809260 kB SwapCached: 644 kB Active: 483176 kB Inactive: 363892 kB HighTotal: 131008 kB HighFree: 12264 kB LowTotal: 903652 kB LowFree: 143396 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26420 kB Committed_AS: 63652 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-06 01:10:06 (client local time) WITH STATUS 10 IN 1180.26 SECONDS stats: 1343 0 1180.26 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 762 variables and 7299 constraints. c After prepocess the problem consists of 762 variables and 7299 constraints. c preprocess terminated 23.045 s c Initial Lower Bound: 262 c Lower Bound Elapsed time: 10.567 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 381 @ 53.865 c NEW SOLUTION FOUND: 380 @ 53.867 c NEW SOLUTION FOUND: 379 @ 53.884 c NEW SOLUTION FOUND: 378 @ 53.893 c NEW SOLUTION FOUND: 377 @ 53.903 c NEW SOLUTION FOUND: 376 @ 56.708 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 c Exit Code: 10 c Total time: 1180.22 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.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (runsolver) R 19740 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 670493461 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.0004 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 2291 0 0 0 988 8 0 0 25 0 1 0 670493461 12513280 2211 4294967295 134512640 134714508 3221221792 3221220272 134539518 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3055 2211 1111 63 0 2992 0 vsize: 12220 [startup+20.0005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 2295 0 0 0 1988 8 0 0 25 0 1 0 670493461 12513280 2215 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3055 2215 1111 63 0 2992 0 vsize: 12220 [startup+30.0012 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 4121 0 0 0 2984 12 0 0 25 0 1 0 670493461 19709952 3612 4294967295 134512640 134714508 3221221792 3221218756 1074846206 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4812 3612 1111 63 0 4749 0 vsize: 19248 [startup+40.0011 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 8768 0 0 0 3974 22 0 0 25 0 1 0 670493461 16408576 3275 4294967295 134512640 134714508 3221221792 3221219732 1074786547 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4006 3275 1111 63 0 3943 0 vsize: 16024 [startup+50.001 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 8769 0 0 0 4972 23 0 0 25 0 1 0 670493461 16408576 3276 4294967295 134512640 134714508 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4006 3276 1111 63 0 3943 0 vsize: 16024 [startup+60.0009 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 11185 0 0 0 5965 30 0 0 25 0 1 0 670493461 14876672 2958 4294967295 134512640 134714508 3221221792 3221219836 1074205872 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3632 2958 1111 63 0 3569 0 vsize: 14528 [startup+70.0008 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 14802 0 0 0 6956 39 0 0 25 0 1 0 670493461 14864384 2955 4294967295 134512640 134714508 3221221792 3221220192 1074153749 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3629 2955 1111 63 0 3566 0 vsize: 14516 [startup+80.0018 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 17973 0 0 0 7948 47 0 0 25 0 1 0 670493461 19230720 3293 4294967295 134512640 134714508 3221221792 3221218828 1074621045 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4695 3293 1111 63 0 4632 0 vsize: 18780 [startup+90.0017 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 20814 0 0 0 8940 55 0 0 25 0 1 0 670493461 14872576 2957 4294967295 134512640 134714508 3221221792 3221220192 1074153773 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3631 2957 1111 63 0 3568 0 vsize: 14524 [startup+100.002 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 23606 0 0 0 9933 63 0 0 25 0 1 0 670493461 20463616 3689 4294967295 134512640 134714508 3221221792 3221218560 1076083593 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4996 3689 1111 63 0 4933 0 vsize: 19984 [startup+110.003 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 26580 0 0 0 10925 71 0 0 25 0 1 0 670493461 20455424 3669 4294967295 134512640 134714508 3221221792 3221218064 1074960916 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4994 3669 1111 63 0 4931 0 vsize: 19976 [startup+120.003 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 29391 0 0 0 11918 78 0 0 25 0 1 0 670493461 20340736 3611 4294967295 134512640 134714508 3221221792 3221218032 1075115712 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4966 3611 1111 63 0 4903 0 vsize: 19864 [startup+130.002 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 32342 0 0 0 12911 85 0 0 25 0 1 0 670493461 19542016 3421 4294967295 134512640 134714508 3221221792 3221217836 1074873465 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4771 3421 1111 63 0 4708 0 vsize: 19084 [startup+140.002 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 34731 0 0 0 13904 92 0 0 25 0 1 0 670493461 19038208 3216 4294967295 134512640 134714508 3221221792 3221218020 1075115028 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4648 3216 1111 63 0 4585 0 vsize: 18592 [startup+150.002 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 38570 0 0 0 14894 103 0 0 25 0 1 0 670493461 19369984 3297 4294967295 134512640 134714508 3221221792 3221218128 1075113517 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4729 3297 1111 63 0 4666 0 vsize: 18916 [startup+160.002 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 41963 0 0 0 15885 112 0 0 25 0 1 0 670493461 19087360 3175 4294967295 134512640 134714508 3221221792 3221218448 1075967895 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4660 3176 1111 63 0 4597 0 vsize: 18640 [startup+170.002 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 45929 0 0 0 16872 125 0 0 25 0 1 0 670493461 16285696 3300 4294967295 134512640 134714508 3221221792 3221219936 1074790228 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3976 3300 1111 63 0 3913 0 vsize: 15904 [startup+180.002 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 48824 0 0 0 17865 132 0 0 25 0 1 0 670493461 20594688 3633 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5028 3633 1111 63 0 4965 0 vsize: 20112 [startup+190.003 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 52728 0 0 0 18855 143 0 0 25 0 1 0 670493461 19431424 3689 4294967295 134512640 134714508 3221221792 3221218864 1074867305 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4744 3689 1111 63 0 4681 0 vsize: 18976 [startup+200.003 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 54774 0 0 0 19849 148 0 0 25 0 1 0 670493461 23195648 4337 4294967295 134512640 134714508 3221221792 3221217752 1074789584 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5663 4337 1111 63 0 5600 0 vsize: 22652 [startup+210.003 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 57252 0 0 0 20843 155 0 0 25 0 1 0 670493461 18472960 3836 4294967295 134512640 134714508 3221221792 3221220256 1074039443 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4510 3836 1111 63 0 4447 0 vsize: 18040 [startup+220.003 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 59605 0 0 0 21837 161 0 0 25 0 1 0 670493461 17817600 3676 4294967295 134512640 134714508 3221221792 3221220192 1074153690 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4350 3676 1111 63 0 4287 0 vsize: 17400 [startup+230.003 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 61195 0 0 0 22833 165 0 0 25 0 1 0 670493461 18059264 3735 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4409 3735 1111 63 0 4346 0 vsize: 17636 [startup+240.003 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 63539 0 0 0 23827 171 0 0 25 0 1 0 670493461 23334912 4382 4294967295 134512640 134714508 3221221792 3221218324 1075863638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5697 4382 1111 63 0 5634 0 vsize: 22788 [startup+250.003 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 66116 0 0 0 24821 177 0 0 25 0 1 0 670493461 23265280 4372 4294967295 134512640 134714508 3221221792 3221218012 1075116489 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5680 4372 1111 63 0 5617 0 vsize: 22720 [startup+260.003 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 68274 0 0 0 25816 182 0 0 25 0 1 0 670493461 18206720 3742 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4445 3742 1111 63 0 4382 0 vsize: 17780 [startup+270.003 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 70622 0 0 0 26809 189 0 0 25 0 1 0 670493461 23134208 4300 4294967295 134512640 134714508 3221221792 3221218032 1075115768 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5648 4300 1111 63 0 5585 0 vsize: 22592 [startup+280.002 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 72827 0 0 0 27804 194 0 0 25 0 1 0 670493461 17625088 3629 4294967295 134512640 134714508 3221221792 3221220104 1074138155 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4303 3629 1111 63 0 4240 0 vsize: 17212 [startup+290.002 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 74508 0 0 0 28800 198 0 0 25 0 1 0 670493461 17833984 3680 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4354 3680 1111 63 0 4291 0 vsize: 17416 [startup+300.002 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 76954 0 0 0 29793 206 0 0 25 0 1 0 670493461 23068672 4367 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5632 4367 1111 63 0 5569 0 vsize: 22528 [startup+310.003 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 78997 0 0 0 30789 210 0 0 25 0 1 0 670493461 17903616 3697 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4371 3697 1111 63 0 4308 0 vsize: 17484 [startup+320.002 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 81176 0 0 0 31784 216 0 0 25 0 1 0 670493461 17895424 3695 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4369 3695 1111 63 0 4306 0 vsize: 17476 [startup+330.002 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 83400 0 0 0 32778 221 0 0 25 0 1 0 670493461 21573632 3881 4294967295 134512640 134714508 3221221792 3221217836 1074873537 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5267 3881 1111 63 0 5204 0 vsize: 21068 [startup+340.002 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 85757 0 0 0 33771 228 0 0 25 0 1 0 670493461 17891328 3694 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4368 3694 1111 63 0 4305 0 vsize: 17472 [startup+350.002 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 88383 0 0 0 34765 235 0 0 25 0 1 0 670493461 21340160 3766 4294967295 134512640 134714508 3221221792 3221217848 1074789806 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5210 3766 1111 63 0 5147 0 vsize: 20840 [startup+360.003 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 91026 0 0 0 35756 244 0 0 25 0 1 0 670493461 21917696 3938 4294967295 134512640 134714508 3221221792 3221217756 1074787561 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5351 3938 1111 63 0 5288 0 vsize: 21404 [startup+370.003 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 94212 0 0 0 36747 253 0 0 25 0 1 0 670493461 22970368 4270 4294967295 134512640 134714508 3221221792 3221218864 1074867344 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5608 4270 1111 63 0 5545 0 vsize: 22432 [startup+380.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 97641 0 0 0 37737 263 0 0 25 0 1 0 670493461 18378752 3801 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4487 3801 1111 63 0 4424 0 vsize: 17948 [startup+390.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 100679 0 0 0 38729 272 0 0 25 0 1 0 670493461 18186240 3767 4294967295 134512640 134714508 3221221792 3221220448 134649901 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4440 3767 1111 63 0 4377 0 vsize: 17760 [startup+400.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 104541 0 0 0 39718 282 0 0 25 0 1 0 670493461 18739200 3871 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4575 3871 1111 63 0 4512 0 vsize: 18300 [startup+410.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 107561 0 0 0 40711 290 0 0 25 0 1 0 670493461 18698240 3892 4294967295 134512640 134714508 3221221792 3221220440 134542401 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4565 3892 1111 63 0 4502 0 vsize: 18260 [startup+420.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 109851 0 0 0 41705 295 0 0 25 0 1 0 670493461 18710528 3895 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4568 3895 1111 63 0 4505 0 vsize: 18272 [startup+430.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 112865 0 0 0 42699 302 0 0 25 0 1 0 670493461 18391040 3817 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4490 3817 1111 63 0 4427 0 vsize: 17960 [startup+440.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 115749 0 0 0 43693 308 0 0 25 0 1 0 670493461 22720512 4127 4294967295 134512640 134714508 3221221792 3221217936 1074969463 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5547 4127 1111 63 0 5484 0 vsize: 22188 [startup+450.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 118653 0 0 0 44686 315 0 0 25 0 1 0 670493461 23252992 4325 4294967295 134512640 134714508 3221221792 3221218832 1075971389 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5677 4325 1111 63 0 5614 0 vsize: 22708 [startup+460.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 122589 0 0 0 45677 325 0 0 25 0 1 0 670493461 19320832 4012 4294967295 134512640 134714508 3221221792 3221219744 1074918599 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4717 4012 1111 63 0 4654 0 vsize: 18868 [startup+470.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 126046 0 0 0 46668 334 0 0 25 0 1 0 670493461 23019520 4161 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5620 4167 1111 63 0 5557 0 vsize: 22480 [startup+480.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 129026 0 0 0 47660 342 0 0 25 0 1 0 670493461 24719360 4725 4294967295 134512640 134714508 3221221792 3221218064 1074961375 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6035 4725 1111 63 0 5972 0 vsize: 24140 [startup+490.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 132252 0 0 0 48652 350 0 0 25 0 1 0 670493461 19566592 4104 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4777 4104 1111 63 0 4714 0 vsize: 19108 [startup+500.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 134812 0 0 0 49645 357 0 0 25 0 1 0 670493461 19824640 4167 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4840 4167 1111 63 0 4777 0 vsize: 19360 [startup+510.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 136861 0 0 0 50641 362 0 0 25 0 1 0 670493461 24408064 4698 4294967295 134512640 134714508 3221221792 3221217952 1074883539 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5959 4698 1111 63 0 5896 0 vsize: 23836 [startup+520.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 139300 0 0 0 51635 368 0 0 25 0 1 0 670493461 24363008 4631 4294967295 134512640 134714508 3221221792 3221218128 1075113496 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5948 4631 1111 63 0 5885 0 vsize: 23792 [startup+530.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 141311 0 0 0 52629 374 0 0 25 0 1 0 670493461 20582400 4209 4294967295 134512640 134714508 3221221792 3221219072 1074140041 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5025 4215 1111 63 0 4962 0 vsize: 20100 [startup+540.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 143517 0 0 0 53625 378 0 0 25 0 1 0 670493461 19554304 4101 4294967295 134512640 134714508 3221221792 3221220104 1074138166 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4774 4101 1111 63 0 4711 0 vsize: 19096 [startup+550.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 145456 0 0 0 54619 384 0 0 25 0 1 0 670493461 19562496 4103 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4776 4103 1111 63 0 4713 0 vsize: 19104 [startup+560.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 147311 0 0 0 55615 389 0 0 25 0 1 0 670493461 23789568 4460 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5808 4460 1111 63 0 5745 0 vsize: 23232 [startup+570.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 19741 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 149729 0 0 0 56607 396 0 0 25 0 1 0 670493461 19566592 4104 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4777 4104 1111 63 0 4714 0 vsize: 19108 [startup+580.01 s] Raw data (loadavg): 0.99 0.97 0.92 3/57 19781 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 152308 0 0 0 57593 410 0 0 25 0 1 0 670493461 23642112 4395 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5772 4395 1111 63 0 5709 0 vsize: 23088 [startup+590.011 s] Raw data (loadavg): 1.07 0.99 0.92 2/54 19794 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 154731 0 0 0 58588 416 0 0 25 0 1 0 670493461 19566592 4104 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4777 4104 1111 63 0 4714 0 vsize: 19108 [startup+600.01 s] Raw data (loadavg): 1.06 0.99 0.92 2/54 19794 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 157463 0 0 0 59580 423 0 0 25 0 1 0 670493461 20680704 4145 4294967295 134512640 134714508 3221221792 3221217972 1075115046 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5049 4145 1111 63 0 4986 0 vsize: 20196 [startup+610.011 s] Raw data (loadavg): 1.05 0.99 0.92 2/54 19794 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 159670 0 0 0 60575 428 0 0 25 0 1 0 670493461 20045824 4137 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4788 4115 1111 63 0 4725 0 vsize: 19576 [startup+620.011 s] Raw data (loadavg): 1.04 0.99 0.92 2/54 19794 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 161989 0 0 0 61570 434 0 0 25 0 1 0 670493461 23429120 4323 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5720 4323 1111 63 0 5657 0 vsize: 22880 [startup+630.011 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 19794 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 163794 0 0 0 62564 440 0 0 25 0 1 0 670493461 19603456 4113 4294967295 134512640 134714508 3221221792 3221220384 134543710 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4786 4113 1111 63 0 4723 0 vsize: 19144 [startup+640.011 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 19794 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 166171 0 0 0 63558 447 0 0 25 0 1 0 670493461 19542016 4098 4294967295 134512640 134714508 3221221792 3221220144 1073987029 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4771 4098 1111 63 0 4708 0 vsize: 19084 [startup+650.011 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 19794 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 168943 0 0 0 64549 455 0 0 25 0 1 0 670493461 19759104 4119 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4824 4119 1111 63 0 4761 0 vsize: 19296 [startup+660.012 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 172217 0 0 0 65539 465 0 0 25 0 1 0 670493461 24072192 4467 4294967295 134512640 134714508 3221221792 3221218256 1075603162 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5877 4467 1111 63 0 5814 0 vsize: 23508 [startup+670.012 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 174565 0 0 0 66532 472 0 0 25 0 1 0 670493461 19841024 4171 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4844 4171 1111 63 0 4781 0 vsize: 19376 [startup+680.013 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 177404 0 0 0 67526 479 0 0 25 0 1 0 670493461 23805952 4405 4294967295 134512640 134714508 3221221792 3221218448 1075967942 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5812 4405 1111 63 0 5749 0 vsize: 23248 [startup+690.014 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 181779 0 0 0 68514 492 0 0 25 0 1 0 670493461 20500480 4329 4294967295 134512640 134714508 3221221792 3221220288 1074154012 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5005 4329 1111 63 0 4942 0 vsize: 20020 [startup+700.014 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 184612 0 0 0 69508 498 0 0 25 0 1 0 670493461 25120768 4820 4294967295 134512640 134714508 3221221792 3221218560 1076083434 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6133 4820 1111 63 0 6070 0 vsize: 24532 [startup+710.014 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 187841 0 0 0 70499 507 0 0 25 0 1 0 670493461 20324352 4289 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4962 4289 1111 63 0 4899 0 vsize: 19848 [startup+720.014 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 190904 0 0 0 71492 514 0 0 25 0 1 0 670493461 25096192 4728 4294967295 134512640 134714508 3221221792 3221218392 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6127 4728 1111 63 0 6064 0 vsize: 24508 [startup+730.015 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 193213 0 0 0 72486 520 0 0 25 0 1 0 670493461 21344256 4535 4294967295 134512640 134714508 3221221792 3221220072 1074138271 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5211 4535 1111 63 0 5148 0 vsize: 20844 [startup+740.015 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 195864 0 0 0 73480 526 0 0 25 0 1 0 670493461 20471808 4325 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4998 4325 1111 63 0 4935 0 vsize: 19992 [startup+750.014 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 198729 0 0 0 74472 534 0 0 25 0 1 0 670493461 20361216 4298 4294967295 134512640 134714508 3221221792 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4971 4298 1111 63 0 4908 0 vsize: 19884 [startup+760.015 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 202392 0 0 0 75462 544 0 0 25 0 1 0 670493461 20627456 4362 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5036 4362 1111 63 0 4973 0 vsize: 20144 [startup+770.015 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 205450 0 0 0 76454 553 0 0 25 0 1 0 670493461 25194496 4808 4294967295 134512640 134714508 3221221792 3221217936 1074971344 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6151 4808 1111 63 0 6088 0 vsize: 24604 [startup+780.016 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 209086 0 0 0 77443 563 0 0 25 0 1 0 670493461 24821760 5026 4294967295 134512640 134714508 3221221792 3221218020 1075115060 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6060 5026 1111 63 0 5997 0 vsize: 24240 [startup+790.016 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 212577 0 0 0 78434 573 0 0 25 0 1 0 670493461 22290432 4765 4294967295 134512640 134714508 3221221792 3221219792 1074916715 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5442 4765 1111 63 0 5379 0 vsize: 21768 [startup+800.016 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 215389 0 0 0 79427 580 0 0 25 0 1 0 670493461 21741568 4635 4294967295 134512640 134714508 3221221792 3221219904 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5308 4635 1111 63 0 5245 0 vsize: 21232 [startup+810.017 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 218206 0 0 0 80421 587 0 0 25 0 1 0 670493461 21639168 4586 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5283 4586 1111 63 0 5220 0 vsize: 21132 [startup+820.017 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 221471 0 0 0 81415 593 0 0 25 0 1 0 670493461 21659648 4615 4294967295 134512640 134714508 3221221792 3221220192 1074153806 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5288 4615 1111 63 0 5225 0 vsize: 21152 [startup+830.018 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 224361 0 0 0 82407 601 0 0 25 0 1 0 670493461 21671936 4618 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5291 4618 1111 63 0 5228 0 vsize: 21164 [startup+840.018 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 226721 0 0 0 83400 608 0 0 25 0 1 0 670493461 21663744 4616 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5289 4616 1111 63 0 5226 0 vsize: 21156 [startup+850.018 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 230251 0 0 0 84391 617 0 0 25 0 1 0 670493461 26255360 5105 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6410 5105 1111 63 0 6347 0 vsize: 25640 [startup+860.019 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 233079 0 0 0 85384 624 0 0 25 0 1 0 670493461 26075136 5059 4294967295 134512640 134714508 3221221792 3221218128 1075113508 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6366 5059 1111 63 0 6303 0 vsize: 25464 [startup+870.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 235879 0 0 0 86378 630 0 0 25 0 1 0 670493461 26091520 5035 4294967295 134512640 134714508 3221221792 3221218320 1075890974 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6370 5035 1111 63 0 6307 0 vsize: 25480 [startup+880.019 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 238067 0 0 0 87373 636 0 0 25 0 1 0 670493461 21659648 4617 4294967295 134512640 134714508 3221221792 3221220192 1074153794 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5288 4617 1111 63 0 5225 0 vsize: 21152 [startup+890.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 240832 0 0 0 88366 643 0 0 25 0 1 0 670493461 21643264 4613 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5284 4613 1111 63 0 5221 0 vsize: 21136 [startup+900.019 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19796 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 243589 0 0 0 89359 650 0 0 25 0 1 0 670493461 21659648 4617 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5288 4617 1111 63 0 5225 0 vsize: 21152 [startup+910.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 246797 0 0 0 90351 658 0 0 25 0 1 0 670493461 25931776 4965 4294967295 134512640 134714508 3221221792 3221217836 1074873504 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6331 4965 1111 63 0 6268 0 vsize: 25324 [startup+920.019 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 249530 0 0 0 91345 664 0 0 25 0 1 0 670493461 25579520 4829 4294967295 134512640 134714508 3221221792 3221217824 1075965308 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6245 4829 1111 63 0 6182 0 vsize: 24980 [startup+930.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 252021 0 0 0 92338 671 0 0 25 0 1 0 670493461 26173440 5061 4294967295 134512640 134714508 3221221792 3221218560 1076084215 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6390 5061 1111 63 0 6327 0 vsize: 25560 [startup+940.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 254946 0 0 0 93331 679 0 0 25 0 1 0 670493461 26243072 5061 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6407 5061 1111 63 0 6344 0 vsize: 25628 [startup+950.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 258024 0 0 0 94324 686 0 0 25 0 1 0 670493461 21643264 4613 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5284 4613 1111 63 0 5221 0 vsize: 21136 [startup+960.021 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 260611 0 0 0 95318 692 0 0 25 0 1 0 670493461 21659648 4617 4294967295 134512640 134714508 3221221792 3221220096 1074153779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5288 4617 1111 63 0 5225 0 vsize: 21152 [startup+970.021 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 263598 0 0 0 96311 699 0 0 25 0 1 0 670493461 25858048 4991 4294967295 134512640 134714508 3221221792 3221218448 1075967404 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6313 4991 1111 63 0 6250 0 vsize: 25252 [startup+980.022 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 266701 0 0 0 97304 706 0 0 25 0 1 0 670493461 21639168 4612 4294967295 134512640 134714508 3221221792 3221220048 1074153648 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5283 4612 1111 63 0 5220 0 vsize: 21132 [startup+990.022 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 269565 0 0 0 98297 713 0 0 25 0 1 0 670493461 26161152 5010 4294967295 134512640 134714508 3221221792 3221218448 1075967892 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6387 5010 1111 63 0 6324 0 vsize: 25548 [startup+1000.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 272530 0 0 0 99291 720 0 0 25 0 1 0 670493461 26140672 5049 4294967295 134512640 134714508 3221221792 3221218064 1074960865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6382 5049 1111 63 0 6319 0 vsize: 25528 [startup+1010.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 275779 0 0 0 100283 728 0 0 25 0 1 0 670493461 21659648 4617 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5288 4617 1111 63 0 5225 0 vsize: 21152 [startup+1020.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 278406 0 0 0 101277 734 0 0 25 0 1 0 670493461 21843968 4662 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5333 4662 1111 63 0 5270 0 vsize: 21332 [startup+1030.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 281523 0 0 0 102269 742 0 0 25 0 1 0 670493461 26628096 5132 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6501 5132 1111 63 0 6438 0 vsize: 26004 [startup+1040.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 284007 0 0 0 103262 750 0 0 25 0 1 0 670493461 26591232 5171 4294967295 134512640 134714508 3221221792 3221218712 1074950102 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6492 5171 1111 63 0 6429 0 vsize: 25968 [startup+1050.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 286473 0 0 0 104257 755 0 0 25 0 1 0 670493461 26624000 5176 4294967295 134512640 134714508 3221221792 3221218712 1074950108 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6500 5176 1111 63 0 6437 0 vsize: 26000 [startup+1060.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 289332 0 0 0 105250 762 0 0 25 0 1 0 670493461 26632192 5161 4294967295 134512640 134714508 3221221792 3221218012 1075116866 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6502 5161 1111 63 0 6439 0 vsize: 26008 [startup+1070.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 291864 0 0 0 106244 768 0 0 25 0 1 0 670493461 26611712 5157 4294967295 134512640 134714508 3221221792 3221218832 1075971386 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6497 5157 1111 63 0 6434 0 vsize: 25988 [startup+1080.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 294560 0 0 0 107239 774 0 0 25 0 1 0 670493461 26062848 5010 4294967295 134512640 134714508 3221221792 3221217952 1075091565 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6363 5010 1111 63 0 6300 0 vsize: 25452 [startup+1090.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 297359 0 0 0 108232 780 0 0 25 0 1 0 670493461 21655552 4616 4294967295 134512640 134714508 3221221792 3221220032 1074153822 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5287 4616 1111 63 0 5224 0 vsize: 21148 [startup+1100.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 299344 0 0 0 109227 785 0 0 25 0 1 0 670493461 26734592 5227 4294967295 134512640 134714508 3221221792 3221218020 1075115109 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6527 5227 1111 63 0 6464 0 vsize: 26108 [startup+1110.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 301961 0 0 0 110222 790 0 0 25 0 1 0 670493461 25812992 4929 4294967295 134512640 134714508 3221221792 3221218064 1074960859 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6302 4929 1111 63 0 6239 0 vsize: 25208 [startup+1120.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 304364 0 0 0 111217 796 0 0 25 0 1 0 670493461 21651456 4615 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5286 4615 1111 63 0 5223 0 vsize: 21144 [startup+1130.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 306837 0 0 0 112211 802 0 0 25 0 1 0 670493461 26624000 5205 4294967295 134512640 134714508 3221221792 3221217848 1074789603 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6500 5205 1111 63 0 6437 0 vsize: 26000 [startup+1140.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 309808 0 0 0 113204 809 0 0 25 0 1 0 670493461 27201536 5234 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6641 5234 1111 63 0 6578 0 vsize: 26564 [startup+1150.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 312512 0 0 0 114197 817 0 0 25 0 1 0 670493461 21782528 4647 4294967295 134512640 134714508 3221221792 3221219840 1074153760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5318 4647 1111 63 0 5255 0 vsize: 21272 [startup+1160.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 315547 0 0 0 115191 823 0 0 25 0 1 0 670493461 21692416 4625 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5296 4625 1111 63 0 5233 0 vsize: 21184 [startup+1170.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 318015 0 0 0 116185 828 0 0 25 0 1 0 670493461 27209728 5313 4294967295 134512640 134714508 3221221792 3221218000 1074815253 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6643 5313 1111 63 0 6580 0 vsize: 26572 [startup+1180.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 320238 0 0 0 117180 834 0 0 25 0 1 0 670493461 26632192 4990 4294967295 134512640 134714508 3221221792 3221218560 1076083494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6502 4990 1111 63 0 6439 0 vsize: 26008 [startup+1180.14 s] Raw data (loadavg): 1.00 0.99 0.92 1/53 19798 Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 320238 0 0 0 117180 834 0 0 25 0 1 0 670493461 26632192 4990 4294967295 134512640 134714508 3221221792 3221218560 1076083494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6502 4990 1111 63 0 6439 0 vsize: 0 Child status: 10 Real time (s): 1180.14 CPU time (s): 1180.26 CPU user time (s): 1171.9 CPU system time (s): 8.35973 CPU usage (%): 100.01 Max. virtual memory (Kb): 26572 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 376 #### END VERIFIER DATA ####