Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-1-c.opb |
MD5SUM | ccccfcac2dcabc521caef1ee37fe5121 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 317 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 634 |
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 | 634 |
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 | 634 |
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 | 2.73158 |
Number of variables | 634 |
Total number of constraints | 1581 |
Number of constraints which are clauses | 1581 |
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 | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-08 20:47:35 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28807 boxname=wulflinc4 idbench=193 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: ccccfcac2dcabc521caef1ee37fe5121 /oldhome/oroussel/tmp/wulflinc4/normalized-par16-1-c.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-par16-1-c.opb IDLAUNCH: 28807 /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: 858320 kB Buffers: 29460 kB Cached: 121468 kB SwapCached: 5200 kB Active: 34936 kB Inactive: 122316 kB HighTotal: 131008 kB HighFree: 74172 kB LowTotal: 903652 kB LowFree: 784148 kB SwapTotal: 2097136 kB SwapFree: 2090912 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4908 kB Slab: 13404 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 21:07:13 (client local time) WITH STATUS 10 IN 1178.03 SECONDS stats: 28807 0 1178.03 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 634 variables and 1581 constraints. c After prepocess the problem consists of 604 variables and 2001 constraints. c preprocess terminated 2.605 s c Initial Lower Bound: 244 c Lower Bound Elapsed time: 1.1582 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 317 @ 398.37 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 c Exit Code: 10 c Total time: 1178 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.89 0.94 0.90 2/54 4375 Raw data (stat): 4375 (runsolver) R 4374 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904621110 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0003 s] Raw data (loadavg): 0.90 0.94 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 4622 0 0 0 982 15 0 0 25 0 1 0 904621110 10145792 1794 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2477 1794 1111 63 0 2414 0 vsize: 9908 [startup+20.0007 s] Raw data (loadavg): 0.92 0.94 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 6688 0 0 0 1976 21 0 0 25 0 1 0 904621110 10092544 1777 4294967295 134512640 134716908 3221224576 3221223256 134536569 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2464 1777 1111 63 0 2401 0 vsize: 9856 [startup+30.0023 s] Raw data (loadavg): 0.93 0.95 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 6898 0 0 0 2975 22 0 0 25 0 1 0 904621110 10903552 1987 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2662 1987 1111 63 0 2599 0 vsize: 10648 [startup+40.0028 s] Raw data (loadavg): 0.94 0.95 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 7186 0 0 0 3974 23 0 0 25 0 1 0 904621110 12120064 2275 4294967295 134512640 134716908 3221224576 3221223216 134539511 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2959 2275 1111 63 0 2896 0 vsize: 11836 [startup+50.0153 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 7360 0 0 0 4974 24 0 0 25 0 1 0 904621110 12795904 2449 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3124 2449 1111 63 0 3061 0 vsize: 12496 [startup+60.0155 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 7551 0 0 0 5974 25 0 0 25 0 1 0 904621110 13606912 2640 4294967295 134512640 134716908 3221224576 3221223132 134539223 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3322 2640 1111 63 0 3259 0 vsize: 13288 [startup+70.0157 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 7742 0 0 0 6974 25 0 0 25 0 1 0 904621110 14417920 2831 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3520 2831 1111 63 0 3457 0 vsize: 14080 [startup+80.0165 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 7930 0 0 0 7973 26 0 0 25 0 1 0 904621110 15228928 3019 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3718 3019 1111 63 0 3655 0 vsize: 14872 [startup+90.0161 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 8171 0 0 0 8972 27 0 0 25 0 1 0 904621110 16175104 3260 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3949 3260 1111 63 0 3886 0 vsize: 15796 [startup+100.016 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 8327 0 0 0 9971 28 0 0 25 0 1 0 904621110 16855040 3416 4294967295 134512640 134716908 3221224576 3221223300 134613716 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4115 3416 1111 63 0 4052 0 vsize: 16460 [startup+110.017 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 8494 0 0 0 10971 29 0 0 25 0 1 0 904621110 17530880 3583 4294967295 134512640 134716908 3221224576 3221223232 134536713 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4280 3583 1111 63 0 4217 0 vsize: 17120 [startup+120.018 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 8654 0 0 0 11970 30 0 0 25 0 1 0 904621110 18202624 3743 4294967295 134512640 134716908 3221224576 3221223112 134613757 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4444 3743 1111 63 0 4381 0 vsize: 17776 [startup+130.019 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 8833 0 0 0 12970 30 0 0 25 0 1 0 904621110 18878464 3922 4294967295 134512640 134716908 3221224576 3221223092 134535481 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4609 3922 1111 63 0 4546 0 vsize: 18436 [startup+140.02 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 9006 0 0 0 13969 32 0 0 25 0 1 0 904621110 19554304 4095 4294967295 134512640 134716908 3221224576 3221223360 134529368 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4774 4095 1111 63 0 4711 0 vsize: 19096 [startup+150.02 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 9230 0 0 0 14968 33 0 0 25 0 1 0 904621110 20500480 4319 4294967295 134512640 134716908 3221224576 3221223232 134613641 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5005 4319 1111 63 0 4942 0 vsize: 20020 [startup+160.02 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 9372 0 0 0 15967 34 0 0 25 0 1 0 904621110 21176320 4461 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5170 4461 1111 63 0 5107 0 vsize: 20680 [startup+170.021 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 9517 0 0 0 16966 35 0 0 25 0 1 0 904621110 21716992 4606 4294967295 134512640 134716908 3221224576 3221223084 134535900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5302 4606 1111 63 0 5239 0 vsize: 21208 [startup+180.021 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 9664 0 0 0 17966 35 0 0 25 0 1 0 904621110 22257664 4753 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5434 4753 1111 63 0 5371 0 vsize: 21736 [startup+190.022 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 9820 0 0 0 18965 36 0 0 25 0 1 0 904621110 22949888 4909 4294967295 134512640 134716908 3221224576 3221223216 134698429 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5603 4909 1111 63 0 5540 0 vsize: 22412 [startup+200.022 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 9982 0 0 0 19963 38 0 0 25 0 1 0 904621110 23625728 5071 4294967295 134512640 134716908 3221224576 3221223228 134536817 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5768 5071 1111 63 0 5705 0 vsize: 23072 [startup+210.022 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 10194 0 0 0 20962 39 0 0 25 0 1 0 904621110 24571904 5283 4294967295 134512640 134716908 3221224576 3221223168 134549780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5999 5283 1111 63 0 5936 0 vsize: 23996 [startup+220.023 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 10320 0 0 0 21962 40 0 0 25 0 1 0 904621110 24977408 5409 4294967295 134512640 134716908 3221224576 3221223200 134542356 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6098 5409 1111 63 0 6035 0 vsize: 24392 [startup+230.024 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 10466 0 0 0 22961 41 0 0 25 0 1 0 904621110 25653248 5555 4294967295 134512640 134716908 3221224576 3221223340 134543588 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6263 5555 1111 63 0 6200 0 vsize: 25052 [startup+240.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 10604 0 0 0 23960 42 0 0 25 0 1 0 904621110 26193920 5693 4294967295 134512640 134716908 3221224576 3221223184 134523350 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6395 5693 1111 63 0 6332 0 vsize: 25580 [startup+250.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 10768 0 0 0 24959 43 0 0 25 0 1 0 904621110 26869760 5857 4294967295 134512640 134716908 3221224576 3221223144 134543600 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6560 5857 1111 63 0 6497 0 vsize: 26240 [startup+260.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 10923 0 0 0 25958 44 0 0 25 0 1 0 904621110 27545600 6012 4294967295 134512640 134716908 3221224576 3221223368 134531214 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6725 6012 1111 63 0 6662 0 vsize: 26900 [startup+270.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 11194 0 0 0 26957 46 0 0 25 0 1 0 904621110 28659712 6282 4294967295 134512640 134716908 3221224576 3221223232 134536624 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6997 6282 1111 63 0 6934 0 vsize: 27988 [startup+280.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 11380 0 0 0 27956 47 0 0 25 0 1 0 904621110 29487104 6468 4294967295 134512640 134716908 3221224576 3221223204 134698616 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7199 6468 1111 63 0 7136 0 vsize: 28796 [startup+290.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 11519 0 0 0 28956 47 0 0 25 0 1 0 904621110 30027776 6607 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7331 6607 1111 63 0 7268 0 vsize: 29324 [startup+300.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 11672 0 0 0 29955 48 0 0 25 0 1 0 904621110 30568448 6760 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7463 6760 1111 63 0 7400 0 vsize: 29852 [startup+310.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 11799 0 0 0 30955 49 0 0 25 0 1 0 904621110 31109120 6887 4294967295 134512640 134716908 3221224576 3221223216 134698432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7595 6887 1111 63 0 7532 0 vsize: 30380 [startup+320.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 11960 0 0 0 31954 50 0 0 25 0 1 0 904621110 31784960 7048 4294967295 134512640 134716908 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7760 7048 1111 63 0 7697 0 vsize: 31040 [startup+330.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 12099 0 0 0 32953 51 0 0 25 0 1 0 904621110 32325632 7187 4294967295 134512640 134716908 3221224576 3221223228 134543615 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7892 7187 1111 63 0 7829 0 vsize: 31568 [startup+340.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 12271 0 0 0 33952 52 0 0 25 0 1 0 904621110 33001472 7359 4294967295 134512640 134716908 3221224576 3221223168 134542682 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8057 7359 1111 63 0 7994 0 vsize: 32228 [startup+350.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 12396 0 0 0 34952 53 0 0 25 0 1 0 904621110 33542144 7484 4294967295 134512640 134716908 3221224576 3221223216 134542368 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8189 7484 1111 63 0 8126 0 vsize: 32756 [startup+360.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 12519 0 0 0 35951 54 0 0 25 0 1 0 904621110 34082816 7607 4294967295 134512640 134716908 3221224576 3221223408 134590061 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8321 7607 1111 63 0 8258 0 vsize: 33284 [startup+370.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 12654 0 0 0 36950 54 0 0 25 0 1 0 904621110 34619392 7742 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8452 7742 1111 63 0 8389 0 vsize: 33808 [startup+380.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 12752 0 0 0 37950 55 0 0 25 0 1 0 904621110 35024896 7840 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8551 7840 1111 63 0 8488 0 vsize: 34204 [startup+390.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 12915 0 0 0 38949 56 0 0 25 0 1 0 904621110 35700736 8003 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8716 8003 1111 63 0 8653 0 vsize: 34864 [startup+400.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 13665 0 0 0 39947 58 0 0 25 0 1 0 904621110 37408768 8391 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9133 8391 1111 63 0 9070 0 vsize: 36532 [startup+410.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 19009 0 0 0 40933 72 0 0 25 0 1 0 904621110 37953536 8492 4294967295 134512640 134716908 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9266 8492 1111 63 0 9203 0 vsize: 37064 [startup+420.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 22218 0 0 0 41923 82 0 0 25 0 1 0 904621110 39403520 8779 4294967295 134512640 134716908 3221224576 3221220720 1074969461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9620 8779 1111 63 0 9557 0 vsize: 38480 [startup+430.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 25805 0 0 0 42913 92 0 0 25 0 1 0 904621110 39944192 8805 4294967295 134512640 134716908 3221224576 3221221168 1074885182 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9752 8805 1111 63 0 9689 0 vsize: 39008 [startup+440.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 28818 0 0 0 43905 101 0 0 25 0 1 0 904621110 38817792 8720 4294967295 134512640 134716908 3221224576 3221222896 1075006815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9477 8720 1111 63 0 9414 0 vsize: 37908 [startup+450.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 31789 0 0 0 44898 108 0 0 25 0 1 0 904621110 40001536 8856 4294967295 134512640 134716908 3221224576 3221220524 1074788968 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9766 8856 1111 63 0 9703 0 vsize: 39064 [startup+460.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 34069 0 0 0 45891 115 0 0 25 0 1 0 904621110 40034304 8836 4294967295 134512640 134716908 3221224576 3221220444 1074787561 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9774 8836 1111 63 0 9711 0 vsize: 39096 [startup+470.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 36913 0 0 0 46882 124 0 0 25 0 1 0 904621110 38522880 8663 4294967295 134512640 134716908 3221224576 3221222960 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9405 8663 1111 63 0 9342 0 vsize: 37620 [startup+480.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 41221 0 0 0 47870 137 0 0 25 0 1 0 904621110 39231488 8807 4294967295 134512640 134716908 3221224576 3221223104 134649106 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9578 8807 1111 63 0 9515 0 vsize: 38312 [startup+490.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 44521 0 0 0 48861 146 0 0 25 0 1 0 904621110 38846464 8711 4294967295 134512640 134716908 3221224576 3221222960 1074153800 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9484 8711 1111 63 0 9421 0 vsize: 37936 [startup+500.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 47197 0 0 0 49853 153 0 0 25 0 1 0 904621110 40628224 8978 4294967295 134512640 134716908 3221224576 3221220444 1074787912 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9919 8978 1111 63 0 9856 0 vsize: 39676 [startup+510.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 49765 0 0 0 50846 161 0 0 25 0 1 0 904621110 40673280 9004 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9930 9015 1111 63 0 9867 0 vsize: 39720 [startup+520.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 52281 0 0 0 51839 168 0 0 25 0 1 0 904621110 40259584 8997 4294967295 134512640 134716908 3221224576 3221220848 1074960843 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9829 8997 1111 63 0 9766 0 vsize: 39316 [startup+530.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 55698 0 0 0 52827 180 0 0 25 0 1 0 904621110 40660992 8988 4294967295 134512640 134716908 3221224576 3221220604 1074788162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9927 8988 1111 63 0 9864 0 vsize: 39708 [startup+540.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 58307 0 0 0 53820 188 0 0 25 0 1 0 904621110 39583744 8906 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9664 8906 1111 63 0 9601 0 vsize: 38656 [startup+550.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 59871 0 0 0 54815 192 0 0 25 0 1 0 904621110 40542208 9048 4294967295 134512640 134716908 3221224576 3221220460 1074788953 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9898 9048 1111 63 0 9835 0 vsize: 39592 [startup+560.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 62390 0 0 0 55807 201 0 0 25 0 1 0 904621110 39702528 8925 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9693 8925 1111 63 0 9630 0 vsize: 38772 [startup+570.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 64645 0 0 0 56801 207 0 0 25 0 1 0 904621110 39743488 8937 4294967295 134512640 134716908 3221224576 3221222788 1075964227 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9703 8937 1111 63 0 9640 0 vsize: 38812 [startup+580.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 67674 0 0 0 57792 216 0 0 25 0 1 0 904621110 39702528 8930 4294967295 134512640 134716908 3221224576 3221222572 1074788943 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9693 8930 1111 63 0 9630 0 vsize: 38772 [startup+590.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 70831 0 0 0 58784 225 0 0 25 0 1 0 904621110 39755776 8944 4294967295 134512640 134716908 3221224576 3221223072 134649137 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9706 8944 1111 63 0 9643 0 vsize: 38824 [startup+600.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 73040 0 0 0 59776 232 0 0 25 0 1 0 904621110 41381888 9151 4294967295 134512640 134716908 3221224576 3221221696 1074837174 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10103 9151 1111 63 0 10040 0 vsize: 40412 [startup+610.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 74305 0 0 0 60771 238 0 0 25 0 1 0 904621110 41447424 9201 4294967295 134512640 134716908 3221224576 3221220524 1074788930 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10119 9201 1111 63 0 10056 0 vsize: 40476 [startup+620.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 76270 0 0 0 61764 245 0 0 25 0 1 0 904621110 41562112 9197 4294967295 134512640 134716908 3221224576 3221220804 1075115062 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10147 9197 1111 63 0 10084 0 vsize: 40588 [startup+630.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 77874 0 0 0 62758 251 0 0 25 0 1 0 904621110 41115648 9201 4294967295 134512640 134716908 3221224576 3221220508 1074788168 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10038 9201 1111 63 0 9975 0 vsize: 40152 [startup+640.04 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 80680 0 0 0 63748 261 0 0 25 0 1 0 904621110 40116224 9053 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9794 9053 1111 63 0 9731 0 vsize: 39176 [startup+650.04 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 82715 0 0 0 64741 269 0 0 25 0 1 0 904621110 40468480 9107 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9880 9107 1111 63 0 9817 0 vsize: 39520 [startup+660.041 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 84981 0 0 0 65734 276 0 0 25 0 1 0 904621110 40472576 9123 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9881 9123 1111 63 0 9818 0 vsize: 39524 [startup+670.042 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 87679 0 0 0 66726 283 0 0 25 0 1 0 904621110 41918464 9275 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10234 9275 1111 63 0 10171 0 vsize: 40936 [startup+680.043 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 89701 0 0 0 67718 291 0 0 25 0 1 0 904621110 40796160 9206 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9960 9206 1111 63 0 9897 0 vsize: 39840 [startup+690.043 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 91672 0 0 0 68713 297 0 0 25 0 1 0 904621110 40820736 9210 4294967295 134512640 134716908 3221224576 3221222728 1074950105 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9966 9210 1111 63 0 9903 0 vsize: 39864 [startup+700.043 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 95641 0 0 0 69703 307 0 0 25 0 1 0 904621110 40882176 9240 4294967295 134512640 134716908 3221224576 3221222716 1077379770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9981 9240 1111 63 0 9918 0 vsize: 39924 [startup+710.043 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 99358 0 0 0 70691 319 0 0 25 0 1 0 904621110 42213376 9359 4294967295 134512640 134716908 3221224576 3221220620 1074873719 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10306 9359 1111 63 0 10243 0 vsize: 41224 [startup+720.043 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 102061 0 0 0 71683 327 0 0 25 0 1 0 904621110 41058304 9256 4294967295 134512640 134716908 3221224576 3221223088 134646691 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10024 9256 1111 63 0 9961 0 vsize: 40096 [startup+730.044 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 104158 0 0 0 72676 334 0 0 25 0 1 0 904621110 40910848 9245 4294967295 134512640 134716908 3221224576 3221222576 1074918212 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9988 9245 1111 63 0 9925 0 vsize: 39952 [startup+740.044 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 4375 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 106634 0 0 0 73669 341 0 0 25 0 1 0 904621110 42590208 9465 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10398 9465 1111 63 0 10335 0 vsize: 41592 [startup+750.044 s] Raw data (loadavg): 1.01 0.99 0.91 3/57 4410 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 109499 0 0 0 74661 349 0 0 25 0 1 0 904621110 42921984 9575 4294967295 134512640 134716908 3221224576 3221220736 1074794695 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10479 9575 1111 63 0 10416 0 vsize: 41916 [startup+760.045 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 4428 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 112066 0 0 0 75654 356 0 0 25 0 1 0 904621110 41033728 9277 4294967295 134512640 134716908 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10018 9277 1111 63 0 9955 0 vsize: 40072 [startup+770.046 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4428 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 113572 0 0 0 76649 362 0 0 25 0 1 0 904621110 41787392 9428 4294967295 134512640 134716908 3221224576 3221222960 1074153673 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10202 9428 1111 63 0 10139 0 vsize: 40808 [startup+780.047 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4428 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 115465 0 0 0 77644 367 0 0 25 0 1 0 904621110 43106304 9679 4294967295 134512640 134716908 3221224576 3221220576 1075965234 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10524 9679 1111 63 0 10461 0 vsize: 42096 [startup+790.047 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4428 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 117698 0 0 0 78638 373 0 0 25 0 1 0 904621110 42708992 9590 4294967295 134512640 134716908 3221224576 3221220460 1074788944 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10427 9590 1111 63 0 10364 0 vsize: 41708 [startup+800.047 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4428 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 119903 0 0 0 79631 380 0 0 25 0 1 0 904621110 43311104 9619 4294967295 134512640 134716908 3221224576 3221220444 1074787534 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10574 9619 1111 63 0 10511 0 vsize: 42296 [startup+810.047 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4428 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 121232 0 0 0 80626 385 0 0 25 0 1 0 904621110 41549824 9344 4294967295 134512640 134716908 3221224576 3221222304 1075828473 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10144 9344 1111 63 0 10081 0 vsize: 40576 [startup+820.048 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4428 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 122839 0 0 0 81622 390 0 0 25 0 1 0 904621110 42950656 9627 4294967295 134512640 134716908 3221224576 3221220720 1074969461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10486 9627 1111 63 0 10423 0 vsize: 41944 [startup+830.049 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 125731 0 0 0 82614 398 0 0 25 0 1 0 904621110 43433984 9648 4294967295 134512640 134716908 3221224576 3221221388 1074788953 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10604 9648 1111 63 0 10541 0 vsize: 42416 [startup+840.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 127767 0 0 0 83608 404 0 0 25 0 1 0 904621110 43413504 9644 4294967295 134512640 134716908 3221224576 3221220848 1074961264 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10599 9644 1111 63 0 10536 0 vsize: 42396 [startup+850.049 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 131042 0 0 0 84600 413 0 0 25 0 1 0 904621110 43429888 9666 4294967295 134512640 134716908 3221224576 3221220632 1074789596 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10603 9666 1111 63 0 10540 0 vsize: 42412 [startup+860.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 133053 0 0 0 85595 418 0 0 25 0 1 0 904621110 42192896 9553 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10301 9553 1111 63 0 10238 0 vsize: 41204 [startup+870.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 134887 0 0 0 86588 425 0 0 25 0 1 0 904621110 43253760 9694 4294967295 134512640 134716908 3221224576 3221220800 1075895870 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10560 9694 1111 63 0 10497 0 vsize: 42240 [startup+880.051 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 136980 0 0 0 87580 433 0 0 25 0 1 0 904621110 43073536 9722 4294967295 134512640 134716908 3221224576 3221220736 1074815241 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10516 9722 1111 63 0 10453 0 vsize: 42064 [startup+890.052 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 138091 0 0 0 88576 437 0 0 25 0 1 0 904621110 43745280 9696 4294967295 134512640 134716908 3221224576 3221220524 1074788950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10680 9696 1111 63 0 10617 0 vsize: 42720 [startup+900.052 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 139925 0 0 0 89571 443 0 0 25 0 1 0 904621110 42098688 9537 4294967295 134512640 134716908 3221224576 3221222880 1074153766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10278 9537 1111 63 0 10215 0 vsize: 41112 [startup+910.052 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 141346 0 0 0 90567 447 0 0 25 0 1 0 904621110 43331584 9710 4294967295 134512640 134716908 3221224576 3221220588 1074788921 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10579 9710 1111 63 0 10516 0 vsize: 42316 [startup+920.052 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 142813 0 0 0 91561 453 0 0 25 0 1 0 904621110 44068864 9801 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10759 9801 1111 63 0 10696 0 vsize: 43036 [startup+930.053 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 144540 0 0 0 92557 458 0 0 25 0 1 0 904621110 42672128 9645 4294967295 134512640 134716908 3221224576 3221223088 134646693 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10418 9645 1111 63 0 10355 0 vsize: 41672 [startup+940.054 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 146077 0 0 0 93552 462 0 0 25 0 1 0 904621110 42704896 9652 4294967295 134512640 134716908 3221224576 3221222788 1075964293 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10426 9652 1111 63 0 10363 0 vsize: 41704 [startup+950.054 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 147884 0 0 0 94547 467 0 0 25 0 1 0 904621110 43700224 9799 4294967295 134512640 134716908 3221224576 3221220908 1076111491 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10669 9799 1111 63 0 10606 0 vsize: 42676 [startup+960.055 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 150566 0 0 0 95539 476 0 0 25 0 1 0 904621110 44208128 9782 4294967295 134512640 134716908 3221224576 3221220524 1074788953 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10793 9782 1111 63 0 10730 0 vsize: 43172 [startup+970.055 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 152428 0 0 0 96532 483 0 0 25 0 1 0 904621110 42766336 9649 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10441 9649 1111 63 0 10378 0 vsize: 41764 [startup+980.056 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 154362 0 0 0 97527 488 0 0 25 0 1 0 904621110 44392448 9820 4294967295 134512640 134716908 3221224576 3221220720 1074969463 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10838 9820 1111 63 0 10775 0 vsize: 43352 [startup+990.056 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 156263 0 0 0 98521 494 0 0 25 0 1 0 904621110 43737088 9818 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10678 9818 1111 63 0 10615 0 vsize: 42712 [startup+1000.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 159681 0 0 0 99510 506 0 0 25 0 1 0 904621110 43700224 9815 4294967295 134512640 134716908 3221224576 3221220648 1075964728 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10669 9815 1111 63 0 10606 0 vsize: 42676 [startup+1010.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 162117 0 0 0 100501 515 0 0 25 0 1 0 904621110 42729472 9673 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10432 9673 1111 63 0 10369 0 vsize: 41728 [startup+1020.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 164734 0 0 0 101494 522 0 0 25 0 1 0 904621110 44208128 9813 4294967295 134512640 134716908 3221224576 3221220632 1074789611 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10793 9813 1111 63 0 10730 0 vsize: 43172 [startup+1030.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 167164 0 0 0 102487 529 0 0 25 0 1 0 904621110 43220992 9777 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10552 9777 1111 63 0 10489 0 vsize: 42208 [startup+1040.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 169441 0 0 0 103481 536 0 0 25 0 1 0 904621110 43261952 9788 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10562 9788 1111 63 0 10499 0 vsize: 42248 [startup+1050.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 171313 0 0 0 104473 543 0 0 25 0 1 0 904621110 44404736 9865 4294967295 134512640 134716908 3221224576 3221220672 1074969474 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10841 9865 1111 63 0 10778 0 vsize: 43364 [startup+1060.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 173163 0 0 0 105467 550 0 0 25 0 1 0 904621110 42635264 9668 4294967295 134512640 134716908 3221224576 3221222864 1074153672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10409 9668 1111 63 0 10346 0 vsize: 41636 [startup+1070.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 175304 0 0 0 106460 557 0 0 25 0 1 0 904621110 44167168 9947 4294967295 134512640 134716908 3221224576 3221220416 1074788983 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10783 9947 1111 63 0 10720 0 vsize: 43132 [startup+1080.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4430 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 177831 0 0 0 107451 566 0 0 25 0 1 0 904621110 44752896 9932 4294967295 134512640 134716908 3221224576 3221220456 1074788470 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10926 9932 1111 63 0 10863 0 vsize: 43704 [startup+1090.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4432 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 179838 0 0 0 108444 574 0 0 25 0 1 0 904621110 44896256 9952 4294967295 134512640 134716908 3221224576 3221220444 1074787591 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10961 9952 1111 63 0 10898 0 vsize: 43844 [startup+1100.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4432 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 182058 0 0 0 109437 581 0 0 25 0 1 0 904621110 43532288 9851 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10628 9851 1111 63 0 10565 0 vsize: 42512 [startup+1110.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4432 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 183785 0 0 0 110432 585 0 0 25 0 1 0 904621110 44773376 10084 4294967295 134512640 134716908 3221224576 3221220544 1075965260 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10931 10084 1111 63 0 10868 0 vsize: 43724 [startup+1120.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4432 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 185980 0 0 0 111426 592 0 0 25 0 1 0 904621110 43261952 9814 4294967295 134512640 134716908 3221224576 3221223056 1074031958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10562 9814 1111 63 0 10499 0 vsize: 42248 [startup+1130.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4432 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 189419 0 0 0 112415 603 0 0 25 0 1 0 904621110 43372544 9832 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10589 9832 1111 63 0 10526 0 vsize: 42356 [startup+1140.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4432 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 192562 0 0 0 113406 612 0 0 25 0 1 0 904621110 44863488 10105 4294967295 134512640 134716908 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10953 10105 1111 63 0 10890 0 vsize: 43812 [startup+1150.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4432 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 194781 0 0 0 114400 619 0 0 25 0 1 0 904621110 44986368 10123 4294967295 134512640 134716908 3221224576 3221220676 1075964282 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10983 10123 1111 63 0 10920 0 vsize: 43932 [startup+1160.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4432 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 196320 0 0 0 115395 623 0 0 25 0 1 0 904621110 45465600 10136 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11100 10136 1111 63 0 11037 0 vsize: 44400 [startup+1170.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 4432 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 197442 0 0 0 116392 627 0 0 25 0 1 0 904621110 45494272 10153 4294967295 134512640 134716908 3221224576 3221220796 1075116816 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11107 10153 1111 63 0 11044 0 vsize: 44428 [startup+1177.9 s] Raw data (loadavg): 1.00 0.99 0.91 1/53 4432 Raw data (stat): 4375 (bsolo_lpr_cuts-) R 4374 21152 21151 0 -1 0 197442 0 0 0 116392 627 0 0 25 0 1 0 904621110 45494272 10153 4294967295 134512640 134716908 3221224576 3221220796 1075116816 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11107 10153 1111 63 0 11044 0 vsize: 0 Child status: 10 Real time (s): 1177.9 CPU time (s): 1178.03 CPU user time (s): 1171.68 CPU system time (s): 6.34803 CPU usage (%): 100.011 Max. virtual memory (Kb): 44428 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 317 #### END VERIFIER DATA ####