Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b3.opb |
MD5SUM | 2998f4c8b2aa0ba71848641193ef2744 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 331 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 696 |
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 | 696 |
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 | 696 |
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.03984 |
Number of variables | 696 |
Total number of constraints | 6082 |
Number of constraints which are clauses | 6082 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-08 19:00:10 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28763 boxname=wulflinc4 idbench=149 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 2998f4c8b2aa0ba71848641193ef2744 /oldhome/oroussel/tmp/wulflinc4/normalized-ii32b3.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-ii32b3.opb IDLAUNCH: 28763 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 862052 kB Buffers: 26388 kB Cached: 120596 kB SwapCached: 5200 kB Active: 29412 kB Inactive: 123928 kB HighTotal: 131008 kB HighFree: 75040 kB LowTotal: 903652 kB LowFree: 787012 kB SwapTotal: 2097136 kB SwapFree: 2090912 kB Dirty: 40 kB Writeback: 0 kB Mapped: 4908 kB Slab: 13756 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 19:19:47 (client local time) WITH STATUS 10 IN 1177.2 SECONDS stats: 28763 0 1177.2 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 696 variables and 6082 constraints. c After prepocess the problem consists of 696 variables and 6082 constraints. c preprocess terminated 15.927 s c Initial Lower Bound: 250 c Lower Bound Elapsed time: 4.3985 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 348 @ 65.698 c NEW SOLUTION FOUND: 347 @ 65.719 c NEW SOLUTION FOUND: 346 @ 65.729 c NEW SOLUTION FOUND: 345 @ 65.74 c NEW SOLUTION FOUND: 344 @ 75.892 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 c Exit Code: 10 c Total time: 1177.18 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.93 0.98 0.92 2/54 3570 Raw data (stat): 3570 (runsolver) R 3569 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903976491 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+9.99982 s] Raw data (loadavg): 0.94 0.98 0.92 2/54 3570 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 2011 0 0 0 990 7 0 0 25 0 1 0 903976491 11423744 1928 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2789 1928 1111 63 0 2726 0 vsize: 11156 [startup+20.0011 s] Raw data (loadavg): 0.95 0.98 0.92 2/54 3570 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 3420 0 0 0 1986 11 0 0 25 0 1 0 903976491 17436672 3142 4294967295 134512640 134716908 3221224576 3221220536 1074860223 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4257 3142 1111 63 0 4194 0 vsize: 17028 [startup+30.0004 s] Raw data (loadavg): 0.95 0.98 0.92 2/54 3570 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 10405 0 0 0 2969 28 0 0 25 0 1 0 903976491 14897152 2879 4294967295 134512640 134716908 3221224576 3221222896 1073989433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3637 2879 1111 63 0 3574 0 vsize: 14548 [startup+40.0013 s] Raw data (loadavg): 0.96 0.98 0.92 2/54 3570 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 14582 0 0 0 3957 40 0 0 25 0 1 0 903976491 15007744 2907 4294967295 134512640 134716908 3221224576 3221222632 1074950105 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3664 2907 1111 63 0 3601 0 vsize: 14656 [startup+50.0024 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 3570 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 19093 0 0 0 4946 51 0 0 25 0 1 0 903976491 15147008 2936 4294967295 134512640 134716908 3221224576 3221222800 1074039443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3698 2936 1111 63 0 3635 0 vsize: 14792 [startup+60.0021 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 3570 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 23058 0 0 0 5937 61 0 0 25 0 1 0 903976491 13897728 2696 4294967295 134512640 134716908 3221224576 3221223116 134539301 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3393 2696 1111 63 0 3330 0 vsize: 13572 [startup+70.0019 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 3570 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 24523 0 0 0 6933 65 0 0 25 0 1 0 903976491 17383424 2855 4294967295 134512640 134716908 3221224576 3221221496 1075964745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4244 2855 1111 63 0 4181 0 vsize: 16976 [startup+80.002 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 28430 0 0 0 7921 76 0 0 25 0 1 0 903976491 14405632 2842 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3517 2842 1111 63 0 3454 0 vsize: 14068 [startup+90.0025 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 32570 0 0 0 8912 86 0 0 25 0 1 0 903976491 14393344 2839 4294967295 134512640 134716908 3221224576 3221223184 134558521 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3514 2839 1111 63 0 3451 0 vsize: 14056 [startup+100.002 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 36238 0 0 0 9901 97 0 0 25 0 1 0 903976491 17797120 3072 4294967295 134512640 134716908 3221224576 3221220804 1075115070 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4345 3072 1111 63 0 4282 0 vsize: 17380 [startup+110.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 39594 0 0 0 10892 106 0 0 25 0 1 0 903976491 18575360 3175 4294967295 134512640 134716908 3221224576 3221220912 1075113433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4535 3175 1111 63 0 4472 0 vsize: 18140 [startup+120.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 42505 0 0 0 11885 113 0 0 25 0 1 0 903976491 14794752 2906 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3612 2906 1111 63 0 3549 0 vsize: 14448 [startup+130.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 45857 0 0 0 12878 121 0 0 25 0 1 0 903976491 18317312 3168 4294967295 134512640 134716908 3221224576 3221220792 1074950114 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4472 3168 1111 63 0 4409 0 vsize: 17888 [startup+140.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 48356 0 0 0 13871 128 0 0 25 0 1 0 903976491 14622720 2895 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3570 2895 1111 63 0 3507 0 vsize: 14280 [startup+150.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 50944 0 0 0 14865 134 0 0 25 0 1 0 903976491 18440192 3229 4294967295 134512640 134716908 3221224576 3221221344 1076083817 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4502 3229 1111 63 0 4439 0 vsize: 18008 [startup+160.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 54043 0 0 0 15857 142 0 0 25 0 1 0 903976491 18374656 3146 4294967295 134512640 134716908 3221224576 3221220792 1074950114 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4486 3146 1111 63 0 4423 0 vsize: 17944 [startup+170.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 56586 0 0 0 16851 149 0 0 25 0 1 0 903976491 14450688 2853 4294967295 134512640 134716908 3221224576 3221222976 1074153806 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3528 2853 1111 63 0 3465 0 vsize: 14112 [startup+180.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 59315 0 0 0 17843 157 0 0 25 0 1 0 903976491 18132992 3016 4294967295 134512640 134716908 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4427 3023 1111 63 0 4364 0 vsize: 17708 [startup+190.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 62922 0 0 0 18833 167 0 0 25 0 1 0 903976491 14532608 2874 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3548 2874 1111 63 0 3485 0 vsize: 14192 [startup+200.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 65986 0 0 0 19825 175 0 0 25 0 1 0 903976491 14675968 2899 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3583 2899 1111 63 0 3520 0 vsize: 14332 [startup+210.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 69086 0 0 0 20818 182 0 0 25 0 1 0 903976491 17854464 3379 4294967295 134512640 134716908 3221224576 3221221344 1076083506 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4359 3379 1111 63 0 4296 0 vsize: 17436 [startup+220.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 71619 0 0 0 21812 188 0 0 25 0 1 0 903976491 18923520 3352 4294967295 134512640 134716908 3221224576 3221220848 1074960928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4620 3352 1111 63 0 4557 0 vsize: 18480 [startup+230.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 74270 0 0 0 22805 195 0 0 25 0 1 0 903976491 18923520 3342 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4620 3342 1111 63 0 4557 0 vsize: 18480 [startup+240.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 76890 0 0 0 23800 201 0 0 25 0 1 0 903976491 17891328 3389 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4368 3389 1111 63 0 4305 0 vsize: 17472 [startup+250.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 79961 0 0 0 24791 210 0 0 25 0 1 0 903976491 14929920 2971 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3645 2971 1111 63 0 3582 0 vsize: 14580 [startup+260.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 82104 0 0 0 25785 216 0 0 25 0 1 0 903976491 17215488 3194 4294967295 134512640 134716908 3221224576 3221220912 1075114265 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4203 3194 1111 63 0 4140 0 vsize: 16812 [startup+270.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 83989 0 0 0 26780 222 0 0 25 0 1 0 903976491 14929920 2971 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3645 2971 1111 63 0 3582 0 vsize: 14580 [startup+280.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 86537 0 0 0 27772 229 0 0 25 0 1 0 903976491 14852096 2920 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3626 2920 1111 63 0 3563 0 vsize: 14504 [startup+290.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 89338 0 0 0 28765 237 0 0 25 0 1 0 903976491 18198528 3124 4294967295 134512640 134716908 3221224576 3221221520 1074620126 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4443 3124 1111 63 0 4380 0 vsize: 17772 [startup+300.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 91557 0 0 0 29760 242 0 0 25 0 1 0 903976491 18333696 3187 4294967295 134512640 134716908 3221224576 3221220444 1074787739 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4476 3187 1111 63 0 4413 0 vsize: 17904 [startup+310.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 94040 0 0 0 30752 250 0 0 25 0 1 0 903976491 15056896 2970 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3676 2970 1111 63 0 3613 0 vsize: 14704 [startup+320.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3572 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 96821 0 0 0 31746 256 0 0 25 0 1 0 903976491 18841600 3382 4294967295 134512640 134716908 3221224576 3221221124 1075115039 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4600 3382 1111 63 0 4537 0 vsize: 18400 [startup+330.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 99436 0 0 0 32740 263 0 0 25 0 1 0 903976491 14934016 2972 4294967295 134512640 134716908 3221224576 3221222584 1074206175 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3646 2972 1111 63 0 3583 0 vsize: 14584 [startup+340.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 101692 0 0 0 33734 268 0 0 25 0 1 0 903976491 18165760 3145 4294967295 134512640 134716908 3221224576 3221220848 1074960912 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4435 3145 1111 63 0 4372 0 vsize: 17740 [startup+350.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 104220 0 0 0 34729 274 0 0 25 0 1 0 903976491 14852096 2952 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3626 2952 1111 63 0 3563 0 vsize: 14504 [startup+360.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 107132 0 0 0 35721 282 0 0 25 0 1 0 903976491 14819328 2944 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3618 2944 1111 63 0 3555 0 vsize: 14472 [startup+370.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 110071 0 0 0 36714 290 0 0 25 0 1 0 903976491 14802944 2940 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3614 2940 1111 63 0 3551 0 vsize: 14456 [startup+380.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 113147 0 0 0 37704 300 0 0 25 0 1 0 903976491 15179776 3017 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3706 3017 1111 63 0 3643 0 vsize: 14824 [startup+390.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 116747 0 0 0 38694 310 0 0 25 0 1 0 903976491 17354752 3252 4294967295 134512640 134716908 3221224576 3221220676 1075964282 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4237 3252 1111 63 0 4174 0 vsize: 16948 [startup+400.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 118924 0 0 0 39689 315 0 0 25 0 1 0 903976491 15560704 3125 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3799 3125 1111 63 0 3736 0 vsize: 15196 [startup+410.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 120989 0 0 0 40684 320 0 0 25 0 1 0 903976491 19791872 3658 4294967295 134512640 134716908 3221224576 3221220796 1075116807 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4832 3658 1111 63 0 4769 0 vsize: 19328 [startup+420.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 123560 0 0 0 41677 327 0 0 25 0 1 0 903976491 19668992 3562 4294967295 134512640 134716908 3221224576 3221220704 1075561092 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4802 3562 1111 63 0 4739 0 vsize: 19208 [startup+430.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 126080 0 0 0 42672 333 0 0 25 0 1 0 903976491 18530304 3572 4294967295 134512640 134716908 3221224576 3221221232 1075967861 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4524 3572 1111 63 0 4461 0 vsize: 18096 [startup+440.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 127992 0 0 0 43666 339 0 0 25 0 1 0 903976491 18677760 3583 4294967295 134512640 134716908 3221224576 3221220848 1074960909 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4560 3583 1111 63 0 4497 0 vsize: 18240 [startup+450.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 130224 0 0 0 44660 345 0 0 25 0 1 0 903976491 18530304 3236 4294967295 134512640 134716908 3221224576 3221220524 1074788953 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4524 3236 1111 63 0 4461 0 vsize: 18096 [startup+460.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 132026 0 0 0 45655 350 0 0 25 0 1 0 903976491 18075648 3421 4294967295 134512640 134716908 3221224576 3221220944 1075894487 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4413 3421 1111 63 0 4350 0 vsize: 17652 [startup+470.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 134291 0 0 0 46650 355 0 0 25 0 1 0 903976491 15450112 3098 4294967295 134512640 134716908 3221224576 3221221696 1074865163 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3772 3098 1111 63 0 3709 0 vsize: 15088 [startup+480.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 136551 0 0 0 47643 362 0 0 25 0 1 0 903976491 15417344 3090 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3764 3090 1111 63 0 3701 0 vsize: 15056 [startup+490.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 139046 0 0 0 48637 368 0 0 25 0 1 0 903976491 19013632 3362 4294967295 134512640 134716908 3221224576 3221220816 1075115704 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4642 3362 1111 63 0 4579 0 vsize: 18568 [startup+500.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 141382 0 0 0 49632 374 0 0 25 0 1 0 903976491 18653184 3223 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4554 3223 1111 63 0 4491 0 vsize: 18216 [startup+510.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 144432 0 0 0 50623 383 0 0 25 0 1 0 903976491 15847424 3163 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3869 3163 1111 63 0 3806 0 vsize: 15476 [startup+520.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 146815 0 0 0 51617 390 0 0 25 0 1 0 903976491 15761408 3174 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3848 3174 1111 63 0 3785 0 vsize: 15392 [startup+530.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 149840 0 0 0 52609 398 0 0 25 0 1 0 903976491 18878464 3339 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4609 3339 1111 63 0 4546 0 vsize: 18436 [startup+540.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 151649 0 0 0 53603 404 0 0 25 0 1 0 903976491 15761408 3174 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3848 3174 1111 63 0 3785 0 vsize: 15392 [startup+550.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 154366 0 0 0 54596 411 0 0 25 0 1 0 903976491 15761408 3174 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3848 3174 1111 63 0 3785 0 vsize: 15392 [startup+560.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 157314 0 0 0 55588 419 0 0 25 0 1 0 903976491 19079168 3368 4294967295 134512640 134716908 3221224576 3221220804 1075115062 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4658 3368 1111 63 0 4595 0 vsize: 18632 [startup+570.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 159546 0 0 0 56582 426 0 0 25 0 1 0 903976491 19460096 3499 4294967295 134512640 134716908 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4751 3499 1111 63 0 4688 0 vsize: 19004 [startup+580.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 162169 0 0 0 57574 433 0 0 25 0 1 0 903976491 19116032 3682 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4667 3682 1111 63 0 4604 0 vsize: 18668 [startup+590.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 164663 0 0 0 58569 439 0 0 25 0 1 0 903976491 20099072 3708 4294967295 134512640 134716908 3221224576 3221221232 1075967759 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4907 3708 1111 63 0 4844 0 vsize: 19628 [startup+600.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 167594 0 0 0 59561 446 0 0 25 0 1 0 903976491 15900672 3208 4294967295 134512640 134716908 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3882 3208 1111 63 0 3819 0 vsize: 15528 [startup+610.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 170167 0 0 0 60555 453 0 0 25 0 1 0 903976491 18599936 3560 4294967295 134512640 134716908 3221224576 3221220784 1074815253 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4541 3560 1111 63 0 4478 0 vsize: 18164 [startup+620.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 172365 0 0 0 61549 460 0 0 25 0 1 0 903976491 15761408 3174 4294967295 134512640 134716908 3221224576 3221222412 1073978416 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3848 3174 1111 63 0 3785 0 vsize: 15392 [startup+630.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 174633 0 0 0 62543 466 0 0 25 0 1 0 903976491 20140032 3709 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4917 3709 1111 63 0 4854 0 vsize: 19668 [startup+640.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 176922 0 0 0 63538 471 0 0 25 0 1 0 903976491 16252928 3294 4294967295 134512640 134716908 3221224576 3221222556 1074207168 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3968 3294 1111 63 0 3905 0 vsize: 15872 [startup+650.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 178765 0 0 0 64533 476 0 0 25 0 1 0 903976491 19177472 3394 4294967295 134512640 134716908 3221224576 3221221232 1075967404 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4682 3394 1111 63 0 4619 0 vsize: 18728 [startup+660.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 180612 0 0 0 65527 482 0 0 25 0 1 0 903976491 16252928 3296 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3968 3296 1111 63 0 3905 0 vsize: 15872 [startup+670.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 182819 0 0 0 66522 487 0 0 25 0 1 0 903976491 19763200 3573 4294967295 134512640 134716908 3221224576 3221220704 1075112103 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4825 3573 1111 63 0 4762 0 vsize: 19300 [startup+680.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 184397 0 0 0 67517 493 0 0 25 0 1 0 903976491 19177472 3390 4294967295 134512640 134716908 3221224576 3221221232 1075967440 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4682 3390 1111 63 0 4619 0 vsize: 18728 [startup+690.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 185868 0 0 0 68513 496 0 0 25 0 1 0 903976491 19398656 3449 4294967295 134512640 134716908 3221224576 3221221604 1075964248 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4736 3449 1111 63 0 4673 0 vsize: 18944 [startup+700.025 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 188460 0 0 0 69504 506 0 0 25 0 1 0 903976491 19894272 3566 4294967295 134512640 134716908 3221224576 3221220736 1075091819 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4857 3566 1111 63 0 4794 0 vsize: 19428 [startup+710.025 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 190414 0 0 0 70498 512 0 0 25 0 1 0 903976491 19877888 3596 4294967295 134512640 134716908 3221224576 3221220804 1075115028 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4853 3596 1111 63 0 4790 0 vsize: 19412 [startup+720.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 192309 0 0 0 71494 516 0 0 25 0 1 0 903976491 19177472 3389 4294967295 134512640 134716908 3221224576 3221220848 1074961380 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4682 3389 1111 63 0 4619 0 vsize: 18728 [startup+730.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 194543 0 0 0 72489 522 0 0 25 0 1 0 903976491 19841024 3551 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4844 3551 1111 63 0 4781 0 vsize: 19376 [startup+740.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 196896 0 0 0 73484 527 0 0 25 0 1 0 903976491 19345408 3406 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4723 3406 1111 63 0 4660 0 vsize: 18892 [startup+750.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 200256 0 0 0 74472 539 0 0 25 0 1 0 903976491 19886080 3508 4294967295 134512640 134716908 3221224576 3221221108 1075863641 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4855 3508 1111 63 0 4792 0 vsize: 19420 [startup+760.028 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 203734 0 0 0 75464 548 0 0 25 0 1 0 903976491 20905984 3873 4294967295 134512640 134716908 3221224576 3221220804 1075114937 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5104 3873 1111 63 0 5041 0 vsize: 20416 [startup+770.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 206601 0 0 0 76456 555 0 0 25 0 1 0 903976491 21000192 3773 4294967295 134512640 134716908 3221224576 3221220816 1075115724 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5127 3773 1111 63 0 5064 0 vsize: 20508 [startup+780.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 208257 0 0 0 77452 560 0 0 25 0 1 0 903976491 19664896 3493 4294967295 134512640 134716908 3221224576 3221220608 1075965308 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4801 3493 1111 63 0 4738 0 vsize: 19204 [startup+790.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 211019 0 0 0 78445 567 0 0 25 0 1 0 903976491 16740352 3415 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4087 3415 1111 63 0 4024 0 vsize: 16348 [startup+800.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 214033 0 0 0 79436 576 0 0 25 0 1 0 903976491 21213184 3971 4294967295 134512640 134716908 3221224576 3221220912 1075113481 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5179 3971 1111 63 0 5116 0 vsize: 20716 [startup+810.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 216451 0 0 0 80430 582 0 0 25 0 1 0 903976491 21049344 3966 4294967295 134512640 134716908 3221224576 3221220796 1075116836 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5139 3966 1111 63 0 5076 0 vsize: 20556 [startup+820.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 218931 0 0 0 81424 588 0 0 25 0 1 0 903976491 21053440 3944 4294967295 134512640 134716908 3221224576 3221220848 1074960896 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5140 3944 1111 63 0 5077 0 vsize: 20560 [startup+830.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 221667 0 0 0 82416 596 0 0 25 0 1 0 903976491 19775488 3524 4294967295 134512640 134716908 3221224576 3221220476 1074787561 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4828 3524 1111 63 0 4765 0 vsize: 19312 [startup+840.031 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 224703 0 0 0 83408 605 0 0 25 0 1 0 903976491 16871424 3447 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4119 3447 1111 63 0 4056 0 vsize: 16476 [startup+850.031 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 227537 0 0 0 84401 612 0 0 25 0 1 0 903976491 21045248 3887 4294967295 134512640 134716908 3221224576 3221220908 1075112870 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5138 3887 1111 63 0 5075 0 vsize: 20552 [startup+860.031 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 230211 0 0 0 85394 619 0 0 25 0 1 0 903976491 19636224 3785 4294967295 134512640 134716908 3221224576 3221220512 1075965246 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4794 3785 1111 63 0 4731 0 vsize: 19176 [startup+870.032 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 232691 0 0 0 86388 625 0 0 25 0 1 0 903976491 21094400 3860 4294967295 134512640 134716908 3221224576 3221220816 1075115726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5150 3860 1111 63 0 5087 0 vsize: 20600 [startup+880.032 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 235058 0 0 0 87382 631 0 0 25 0 1 0 903976491 20021248 3919 4294967295 134512640 134716908 3221224576 3221220640 1075084536 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4888 3919 1111 63 0 4825 0 vsize: 19552 [startup+890.033 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 236899 0 0 0 88377 637 0 0 25 0 1 0 903976491 19521536 3768 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4766 3768 1111 63 0 4703 0 vsize: 19064 [startup+900.033 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 240255 0 0 0 89368 646 0 0 25 0 1 0 903976491 19988480 3549 4294967295 134512640 134716908 3221224576 3221220848 1074961205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4880 3549 1111 63 0 4817 0 vsize: 19520 [startup+910.033 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 243095 0 0 0 90358 656 0 0 25 0 1 0 903976491 20381696 3693 4294967295 134512640 134716908 3221224576 3221220472 1074789815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4976 3693 1111 63 0 4913 0 vsize: 19904 [startup+920.034 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 245710 0 0 0 91352 662 0 0 25 0 1 0 903976491 20377600 3636 4294967295 134512640 134716908 3221224576 3221220736 1074883513 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4975 3636 1111 63 0 4912 0 vsize: 19900 [startup+930.034 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 249518 0 0 0 92341 673 0 0 25 0 1 0 903976491 17825792 3670 4294967295 134512640 134716908 3221224576 3221223088 134646693 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4352 3670 1111 63 0 4289 0 vsize: 17408 [startup+940.035 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 252523 0 0 0 93333 682 0 0 25 0 1 0 903976491 17731584 3640 4294967295 134512640 134716908 3221224576 3221222880 1074153669 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4329 3640 1111 63 0 4266 0 vsize: 17316 [startup+950.036 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 254621 0 0 0 94328 686 0 0 25 0 1 0 903976491 17432576 3584 4294967295 134512640 134716908 3221224576 3221222976 1074153736 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4256 3584 1111 63 0 4193 0 vsize: 17024 [startup+960.035 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 256817 0 0 0 95322 693 0 0 25 0 1 0 903976491 17432576 3584 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4256 3584 1111 63 0 4193 0 vsize: 17024 [startup+970.035 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 259279 0 0 0 96314 702 0 0 25 0 1 0 903976491 21417984 3956 4294967295 134512640 134716908 3221224576 3221220736 1075091819 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5229 3956 1111 63 0 5166 0 vsize: 20916 [startup+980.036 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 262972 0 0 0 97301 714 0 0 25 0 1 0 903976491 21946368 4178 4294967295 134512640 134716908 3221224576 3221220816 1075115730 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5358 4178 1111 63 0 5295 0 vsize: 21432 [startup+990.037 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 265349 0 0 0 98296 720 0 0 25 0 1 0 903976491 21221376 3843 4294967295 134512640 134716908 3221224576 3221221120 1075088573 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5181 3843 1111 63 0 5118 0 vsize: 20724 [startup+1000.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 269268 0 0 0 99285 731 0 0 25 0 1 0 903976491 21848064 4116 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5334 4116 1111 63 0 5271 0 vsize: 21336 [startup+1010.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 271620 0 0 0 100279 737 0 0 25 0 1 0 903976491 21483520 3988 4294967295 134512640 134716908 3221224576 3221221520 1074620113 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5245 3988 1111 63 0 5182 0 vsize: 20980 [startup+1020.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 274180 0 0 0 101272 744 0 0 25 0 1 0 903976491 21651456 4048 4294967295 134512640 134716908 3221224576 3221220804 1075114975 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5286 4048 1111 63 0 5223 0 vsize: 21144 [startup+1030.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 276910 0 0 0 102265 752 0 0 25 0 1 0 903976491 18112512 3750 4294967295 134512640 134716908 3221224576 3221222576 1074051649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4422 3750 1111 63 0 4359 0 vsize: 17688 [startup+1040.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 279604 0 0 0 103259 758 0 0 25 0 1 0 903976491 22638592 4362 4294967295 134512640 134716908 3221224576 3221220704 1075112086 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5527 4362 1111 63 0 5464 0 vsize: 22108 [startup+1050.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 281665 0 0 0 104253 764 0 0 25 0 1 0 903976491 18255872 3756 4294967295 134512640 134716908 3221224576 3221222624 1074153792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4457 3756 1111 63 0 4394 0 vsize: 17828 [startup+1060.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 283807 0 0 0 105247 770 0 0 25 0 1 0 903976491 22495232 4332 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5492 4332 1111 63 0 5429 0 vsize: 21968 [startup+1070.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 286579 0 0 0 106241 776 0 0 25 0 1 0 903976491 21684224 4309 4294967295 134512640 134716908 3221224576 3221220736 1075093371 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5294 4309 1111 63 0 5231 0 vsize: 21176 [startup+1080.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 288984 0 0 0 107236 782 0 0 25 0 1 0 903976491 20967424 4135 4294967295 134512640 134716908 3221224576 3221221168 1074885341 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5119 4135 1111 63 0 5056 0 vsize: 20476 [startup+1090.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 292059 0 0 0 108227 791 0 0 25 0 1 0 903976491 21356544 3917 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5214 3917 1111 63 0 5151 0 vsize: 20856 [startup+1100.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 295248 0 0 0 109214 804 0 0 25 0 1 0 903976491 20209664 3947 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4934 3947 1111 63 0 4871 0 vsize: 19736 [startup+1110.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 298136 0 0 0 110205 813 0 0 25 0 1 0 903976491 21712896 3970 4294967295 134512640 134716908 3221224576 3221221120 1075088564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5301 3970 1111 63 0 5238 0 vsize: 21204 [startup+1120.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 300910 0 0 0 111197 821 0 0 25 0 1 0 903976491 18665472 3885 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4557 3885 1111 63 0 4494 0 vsize: 18228 [startup+1130.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 303686 0 0 0 112190 829 0 0 25 0 1 0 903976491 22843392 4239 4294967295 134512640 134716908 3221224576 3221221568 1075110381 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5577 4239 1111 63 0 5514 0 vsize: 22308 [startup+1140.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 306603 0 0 0 113182 837 0 0 25 0 1 0 903976491 22990848 4459 4294967295 134512640 134716908 3221224576 3221221616 1075971386 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5613 4460 1111 63 0 5550 0 vsize: 22452 [startup+1150.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 309389 0 0 0 114173 846 0 0 25 0 1 0 903976491 19116032 3995 4294967295 134512640 134716908 3221224576 3221222608 1077814665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4667 3995 1111 63 0 4604 0 vsize: 18668 [startup+1160.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 311782 0 0 0 115168 851 0 0 25 0 1 0 903976491 19308544 4042 4294967295 134512640 134716908 3221224576 3221222488 1074138315 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4714 4042 1111 63 0 4651 0 vsize: 18856 [startup+1170.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 315088 0 0 0 116161 858 0 0 25 0 1 0 903976491 22900736 4308 4294967295 134512640 134716908 3221224576 3221221648 1074867347 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5591 4308 1111 63 0 5528 0 vsize: 22364 [startup+1177.05 s] Raw data (loadavg): 0.99 0.98 0.92 1/53 3574 Raw data (stat): 3570 (bsolo_lpr_cuts-) R 3569 21152 21151 0 -1 0 315088 0 0 0 116161 858 0 0 25 0 1 0 903976491 22900736 4308 4294967295 134512640 134716908 3221224576 3221221648 1074867347 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5591 4308 1111 63 0 5528 0 vsize: 0 Child status: 10 Real time (s): 1177.04 CPU time (s): 1177.2 CPU user time (s): 1168.54 CPU system time (s): 8.66368 CPU usage (%): 100.014 Max. virtual memory (Kb): 22452 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 344 #### END VERIFIER DATA ####