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 wulflinc31 THE 2005-05-08 02:35:04 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1729 boxname=wulflinc31 idbench=193 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: ccccfcac2dcabc521caef1ee37fe5121 /oldhome/oroussel/tmp/wulflinc31/normalized-par16-1-c.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-par16-1-c.opb IDLAUNCH: 1729 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 142968 kB Buffers: 40728 kB Cached: 816516 kB SwapCached: 644 kB Active: 490804 kB Inactive: 368804 kB HighTotal: 131008 kB HighFree: 5012 kB LowTotal: 903652 kB LowFree: 137956 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 32 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26376 kB Committed_AS: 63652 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-08 02:54:39 (client local time) WITH STATUS 10 IN 1175.29 SECONDS stats: 1729 0 1175.29 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.657 s c Initial Lower Bound: 219 c Lower Bound Elapsed time: 1.3313 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 317 @ 347.344 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: 1175.25 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.68 0.82 0.87 2/54 10282 Raw data (stat): 10282 (runsolver) R 10281 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 688403323 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0004 s] Raw data (loadavg): 0.73 0.83 0.87 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 4769 0 0 0 983 13 0 0 25 0 1 0 688403323 11587584 1966 4294967295 134512640 134714508 3221221792 3221217932 1075116866 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2829 1966 1111 63 0 2766 0 vsize: 11316 [startup+20.001 s] Raw data (loadavg): 0.77 0.83 0.87 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 7512 0 0 0 1975 21 0 0 25 0 1 0 688403323 10272768 1835 4294967295 134512640 134714508 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2508 1835 1111 63 0 2445 0 vsize: 10032 [startup+30.002 s] Raw data (loadavg): 0.80 0.84 0.87 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 7539 0 0 0 2975 21 0 0 25 0 1 0 688403323 10407936 1862 4294967295 134512640 134714508 3221221792 3221220396 134536814 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2541 1862 1111 63 0 2478 0 vsize: 10164 [startup+40.0023 s] Raw data (loadavg): 0.83 0.84 0.87 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 7662 0 0 0 3974 22 0 0 25 0 1 0 688403323 10948608 1985 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2673 1985 1111 63 0 2610 0 vsize: 10692 [startup+50.0041 s] Raw data (loadavg): 0.86 0.85 0.87 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 7782 0 0 0 4973 23 0 0 25 0 1 0 688403323 11489280 2105 4294967295 134512640 134714508 3221221792 3221220464 134543712 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2805 2105 1111 63 0 2742 0 vsize: 11220 [startup+60.0036 s] Raw data (loadavg): 0.88 0.85 0.87 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 7887 0 0 0 5972 24 0 0 25 0 1 0 688403323 11894784 2210 4294967295 134512640 134714508 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2904 2210 1111 63 0 2841 0 vsize: 11616 [startup+70.0039 s] Raw data (loadavg): 0.90 0.86 0.87 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 7993 0 0 0 6971 25 0 0 25 0 1 0 688403323 12300288 2316 4294967295 134512640 134714508 3221221792 3221220464 134542865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3003 2316 1111 63 0 2940 0 vsize: 12012 [startup+80.0045 s] Raw data (loadavg): 0.91 0.86 0.87 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 8092 0 0 0 7971 26 0 0 25 0 1 0 688403323 12705792 2415 4294967295 134512640 134714508 3221221792 3221220376 134543614 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3102 2415 1111 63 0 3039 0 vsize: 12408 [startup+90.0044 s] Raw data (loadavg): 0.93 0.86 0.87 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 8185 0 0 0 8970 27 0 0 25 0 1 0 688403323 13111296 2508 4294967295 134512640 134714508 3221221792 3221220496 134528653 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3201 2508 1111 63 0 3138 0 vsize: 12804 [startup+100.005 s] Raw data (loadavg): 0.94 0.87 0.88 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 8277 0 0 0 9969 28 0 0 25 0 1 0 688403323 13516800 2600 4294967295 134512640 134714508 3221221792 3221220480 134523374 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3300 2600 1111 63 0 3237 0 vsize: 13200 [startup+110.006 s] Raw data (loadavg): 0.95 0.87 0.88 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 8360 0 0 0 10968 29 0 0 25 0 1 0 688403323 13787136 2683 4294967295 134512640 134714508 3221221792 3221220432 134696094 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3366 2683 1111 63 0 3303 0 vsize: 13464 [startup+120.005 s] Raw data (loadavg): 0.95 0.88 0.88 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 8455 0 0 0 11967 31 0 0 25 0 1 0 688403323 14196736 2778 4294967295 134512640 134714508 3221221792 3221220428 134552672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3466 2778 1111 63 0 3403 0 vsize: 13864 [startup+130.006 s] Raw data (loadavg): 0.96 0.88 0.88 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 8543 0 0 0 12966 31 0 0 25 0 1 0 688403323 14602240 2866 4294967295 134512640 134714508 3221221792 3221220384 134549594 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3565 2866 1111 63 0 3502 0 vsize: 14260 [startup+140.005 s] Raw data (loadavg): 0.97 0.88 0.88 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 8628 0 0 0 13965 32 0 0 25 0 1 0 688403323 14872576 2951 4294967295 134512640 134714508 3221221792 3221220360 134543614 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3631 2951 1111 63 0 3568 0 vsize: 14524 [startup+150.006 s] Raw data (loadavg): 0.97 0.89 0.88 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 8712 0 0 0 14965 33 0 0 25 0 1 0 688403323 15286272 3035 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3732 3035 1111 63 0 3669 0 vsize: 14928 [startup+160.006 s] Raw data (loadavg): 0.97 0.89 0.88 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 8789 0 0 0 15965 33 0 0 25 0 1 0 688403323 15556608 3112 4294967295 134512640 134714508 3221221792 3221220384 134549686 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3798 3112 1111 63 0 3735 0 vsize: 15192 [startup+170.006 s] Raw data (loadavg): 0.98 0.89 0.88 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 8866 0 0 0 16964 34 0 0 25 0 1 0 688403323 15826944 3189 4294967295 134512640 134714508 3221221792 3221220432 134696113 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3864 3189 1111 63 0 3801 0 vsize: 15456 [startup+180.007 s] Raw data (loadavg): 0.98 0.89 0.88 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 8940 0 0 0 17963 36 0 0 25 0 1 0 688403323 16232448 3263 4294967295 134512640 134714508 3221221792 3221220528 134535742 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3963 3263 1111 63 0 3900 0 vsize: 15852 [startup+190.007 s] Raw data (loadavg): 0.98 0.90 0.88 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 9013 0 0 0 18963 36 0 0 25 0 1 0 688403323 16502784 3336 4294967295 134512640 134714508 3221221792 3221220576 134529097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4029 3336 1111 63 0 3966 0 vsize: 16116 [startup+200.008 s] Raw data (loadavg): 0.99 0.90 0.89 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 9091 0 0 0 19962 36 0 0 25 0 1 0 688403323 16789504 3414 4294967295 134512640 134714508 3221221792 3221220528 134523907 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4099 3414 1111 63 0 4036 0 vsize: 16396 [startup+210.008 s] Raw data (loadavg): 0.99 0.90 0.89 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 9160 0 0 0 20962 37 0 0 25 0 1 0 688403323 17059840 3483 4294967295 134512640 134714508 3221221792 3221220432 134696091 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4165 3483 1111 63 0 4102 0 vsize: 16660 [startup+220.008 s] Raw data (loadavg): 0.99 0.91 0.89 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 9245 0 0 0 21961 38 0 0 25 0 1 0 688403323 17473536 3567 4294967295 134512640 134714508 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4266 3567 1111 63 0 4203 0 vsize: 17064 [startup+230.009 s] Raw data (loadavg): 0.99 0.91 0.89 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 9337 0 0 0 22960 39 0 0 25 0 1 0 688403323 17887232 3659 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4367 3659 1111 63 0 4304 0 vsize: 17468 [startup+240.008 s] Raw data (loadavg): 0.99 0.91 0.89 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 9418 0 0 0 23960 40 0 0 25 0 1 0 688403323 18161664 3740 4294967295 134512640 134714508 3221221792 3221220440 134543652 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4434 3740 1111 63 0 4371 0 vsize: 17736 [startup+250.009 s] Raw data (loadavg): 0.99 0.91 0.89 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 9495 0 0 0 24960 40 0 0 25 0 1 0 688403323 18432000 3817 4294967295 134512640 134714508 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4500 3817 1111 63 0 4437 0 vsize: 18000 [startup+260.009 s] Raw data (loadavg): 0.99 0.92 0.89 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 9571 0 0 0 25958 41 0 0 25 0 1 0 688403323 18837504 3893 4294967295 134512640 134714508 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4599 3893 1111 63 0 4536 0 vsize: 18396 [startup+270.009 s] Raw data (loadavg): 0.99 0.92 0.89 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 9654 0 0 0 26957 43 0 0 25 0 1 0 688403323 19136512 3975 4294967295 134512640 134714508 3221221792 3221220432 134523869 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4672 3975 1111 63 0 4609 0 vsize: 18688 [startup+280.009 s] Raw data (loadavg): 0.99 0.92 0.89 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 9729 0 0 0 27957 43 0 0 25 0 1 0 688403323 19542016 4050 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4771 4050 1111 63 0 4708 0 vsize: 19084 [startup+290.01 s] Raw data (loadavg): 0.99 0.92 0.89 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 9800 0 0 0 28956 44 0 0 25 0 1 0 688403323 19812352 4121 4294967295 134512640 134714508 3221221792 3221220384 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4837 4121 1111 63 0 4774 0 vsize: 19348 [startup+300.011 s] Raw data (loadavg): 0.99 0.92 0.89 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 9871 0 0 0 29956 45 0 0 25 0 1 0 688403323 20086784 4192 4294967295 134512640 134714508 3221221792 3221220444 134542288 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4904 4192 1111 63 0 4841 0 vsize: 19616 [startup+310.011 s] Raw data (loadavg): 0.99 0.93 0.90 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 9937 0 0 0 30955 46 0 0 25 0 1 0 688403323 20357120 4258 4294967295 134512640 134714508 3221221792 3221220384 134543740 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4970 4258 1111 63 0 4907 0 vsize: 19880 [startup+320.011 s] Raw data (loadavg): 0.99 0.93 0.90 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 10007 0 0 0 31954 46 0 0 25 0 1 0 688403323 20627456 4328 4294967295 134512640 134714508 3221221792 3221220436 134523868 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5036 4328 1111 63 0 4973 0 vsize: 20144 [startup+330.012 s] Raw data (loadavg): 0.99 0.93 0.90 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 10075 0 0 0 32954 47 0 0 25 0 1 0 688403323 20901888 4396 4294967295 134512640 134714508 3221221792 3221220384 134543684 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5103 4396 1111 63 0 5040 0 vsize: 20412 [startup+340.012 s] Raw data (loadavg): 0.99 0.93 0.90 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 10147 0 0 0 33954 48 0 0 25 0 1 0 688403323 21172224 4468 4294967295 134512640 134714508 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5169 4468 1111 63 0 5106 0 vsize: 20676 [startup+350.013 s] Raw data (loadavg): 0.99 0.93 0.90 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 11223 0 0 0 34950 52 0 0 25 0 1 0 688403323 23412736 4867 4294967295 134512640 134714508 3221221792 3221217700 1074786556 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5716 4867 1111 63 0 5653 0 vsize: 22864 [startup+360.014 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 13482 0 0 0 35943 58 0 0 25 0 1 0 688403323 23461888 4914 4294967295 134512640 134714508 3221221792 3221218864 1074867340 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5728 4914 1111 63 0 5665 0 vsize: 22912 [startup+370.014 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 15636 0 0 0 36938 63 0 0 25 0 1 0 688403323 23543808 4937 4294967295 134512640 134714508 3221221792 3221217892 1075964214 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5748 4937 1111 63 0 5685 0 vsize: 22992 [startup+380.014 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 17666 0 0 0 37933 69 0 0 25 0 1 0 688403323 22294528 4730 4294967295 134512640 134714508 3221221792 3221219864 1074138155 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5443 4730 1111 63 0 5380 0 vsize: 21772 [startup+390.014 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 20314 0 0 0 38927 75 0 0 25 0 1 0 688403323 23924736 4922 4294967295 134512640 134714508 3221221792 3221218012 1075116489 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5841 4922 1111 63 0 5778 0 vsize: 23364 [startup+400.016 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 22544 0 0 0 39921 82 0 0 25 0 1 0 688403323 22368256 4748 4294967295 134512640 134714508 3221221792 3221220068 1077374543 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5461 4748 1111 63 0 5398 0 vsize: 21844 [startup+410.016 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 24511 0 0 0 40915 87 0 0 25 0 1 0 688403323 23588864 4922 4294967295 134512640 134714508 3221221792 3221218832 1075971413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5759 4923 1111 63 0 5696 0 vsize: 23036 [startup+420.015 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 26710 0 0 0 41910 92 0 0 25 0 1 0 688403323 22470656 4770 4294967295 134512640 134714508 3221221792 3221220160 1074140427 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5486 4770 1111 63 0 5423 0 vsize: 21944 [startup+430.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 28911 0 0 0 42904 98 0 0 25 0 1 0 688403323 23977984 4920 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5854 4920 1111 63 0 5791 0 vsize: 23416 [startup+440.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 31209 0 0 0 43899 104 0 0 25 0 1 0 688403323 22319104 4736 4294967295 134512640 134714508 3221221792 3221220176 1074153822 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5449 4736 1111 63 0 5386 0 vsize: 21796 [startup+450.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 33464 0 0 0 44894 109 0 0 25 0 1 0 688403323 24018944 4935 4294967295 134512640 134714508 3221221792 3221217728 1075965272 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5864 4935 1111 63 0 5801 0 vsize: 23456 [startup+460.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 35672 0 0 0 45888 116 0 0 25 0 1 0 688403323 23629824 4922 4294967295 134512640 134714508 3221221792 3221218032 1075115760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5769 4922 1111 63 0 5706 0 vsize: 23076 [startup+470.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 38648 0 0 0 46879 125 0 0 25 0 1 0 688403323 23494656 4882 4294967295 134512640 134714508 3221221792 3221217952 1075093350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5736 4882 1111 63 0 5673 0 vsize: 22944 [startup+480.017 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 40895 0 0 0 47874 130 0 0 25 0 1 0 688403323 23470080 4887 4294967295 134512640 134714508 3221221792 3221217892 1075964248 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5730 4887 1111 63 0 5667 0 vsize: 22920 [startup+490.017 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 43088 0 0 0 48869 135 0 0 25 0 1 0 688403323 22523904 4783 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5499 4783 1111 63 0 5436 0 vsize: 21996 [startup+500.018 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 45966 0 0 0 49861 143 0 0 25 0 1 0 688403323 22564864 4795 4294967295 134512640 134714508 3221221792 3221220144 1074115241 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5509 4795 1111 63 0 5446 0 vsize: 22036 [startup+510.017 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 48234 0 0 0 50855 149 0 0 25 0 1 0 688403323 22409216 4759 4294967295 134512640 134714508 3221221792 3221220068 1077374469 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5471 4759 1111 63 0 5408 0 vsize: 21884 [startup+520.018 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 50436 0 0 0 51849 156 0 0 25 0 1 0 688403323 22409216 4759 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5471 4759 1111 63 0 5408 0 vsize: 21884 [startup+530.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 52760 0 0 0 52843 161 0 0 25 0 1 0 688403323 24064000 4962 4294967295 134512640 134714508 3221221792 3221218012 1075116492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5875 4962 1111 63 0 5812 0 vsize: 23500 [startup+540.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 54767 0 0 0 53838 167 0 0 25 0 1 0 688403323 24010752 4931 4294967295 134512640 134714508 3221221792 3221218224 1075118246 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5862 4931 1111 63 0 5799 0 vsize: 23448 [startup+550.02 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 57296 0 0 0 54830 174 0 0 25 0 1 0 688403323 24035328 4926 4294967295 134512640 134714508 3221221792 3221217920 1075561105 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5868 4926 1111 63 0 5805 0 vsize: 23472 [startup+560.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 59532 0 0 0 55825 180 0 0 25 0 1 0 688403323 23650304 4949 4294967295 134512640 134714508 3221221792 3221217892 1075964282 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5774 4949 1111 63 0 5711 0 vsize: 23096 [startup+570.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 61620 0 0 0 56819 186 0 0 25 0 1 0 688403323 24076288 4927 4294967295 134512640 134714508 3221221792 3221217936 1074969440 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5878 4927 1111 63 0 5815 0 vsize: 23512 [startup+580.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 64367 0 0 0 57812 193 0 0 25 0 1 0 688403323 22511616 4777 4294967295 134512640 134714508 3221221792 3221219792 1074918215 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5496 4777 1111 63 0 5433 0 vsize: 21984 [startup+590.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 67127 0 0 0 58805 200 0 0 25 0 1 0 688403323 23441408 4903 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5723 4903 1111 63 0 5660 0 vsize: 22892 [startup+600.02 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 69955 0 0 0 59798 207 0 0 25 0 1 0 688403323 23674880 4945 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5780 4945 1111 63 0 5717 0 vsize: 23120 [startup+610.02 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 72107 0 0 0 60793 213 0 0 25 0 1 0 688403323 22429696 4764 4294967295 134512640 134714508 3221221792 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5476 4764 1111 63 0 5413 0 vsize: 21904 [startup+620.02 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 74527 0 0 0 61787 218 0 0 25 0 1 0 688403323 24133632 4961 4294967295 134512640 134714508 3221221792 3221217952 1074794536 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5892 4961 1111 63 0 5829 0 vsize: 23568 [startup+630.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 76551 0 0 0 62783 223 0 0 25 0 1 0 688403323 22429696 4764 4294967295 134512640 134714508 3221221792 3221220192 1074153815 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5476 4764 1111 63 0 5413 0 vsize: 21904 [startup+640.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 78891 0 0 0 63778 228 0 0 25 0 1 0 688403323 22429696 4764 4294967295 134512640 134714508 3221221792 3221219880 1077377765 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5476 4764 1111 63 0 5413 0 vsize: 21904 [startup+650.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 80965 0 0 0 64772 234 0 0 25 0 1 0 688403323 23990272 4904 4294967295 134512640 134714508 3221221792 3221217688 1074789812 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5857 4904 1111 63 0 5794 0 vsize: 23428 [startup+660.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 83613 0 0 0 65765 241 0 0 25 0 1 0 688403323 24166400 4941 4294967295 134512640 134714508 3221221792 3221217824 1075965240 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5900 4941 1111 63 0 5837 0 vsize: 23600 [startup+670.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 85646 0 0 0 66760 247 0 0 25 0 1 0 688403323 22478848 4776 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5488 4776 1111 63 0 5425 0 vsize: 21952 [startup+680.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 88100 0 0 0 67754 253 0 0 25 0 1 0 688403323 24182784 4951 4294967295 134512640 134714508 3221221792 3221218856 1075007302 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5904 4951 1111 63 0 5841 0 vsize: 23616 [startup+690.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 90419 0 0 0 68747 260 0 0 25 0 1 0 688403323 23896064 4886 4294967295 134512640 134714508 3221221792 3221217824 1075965301 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5834 4886 1111 63 0 5771 0 vsize: 23336 [startup+700.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 92621 0 0 0 69741 266 0 0 25 0 1 0 688403323 22478848 4776 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5488 4776 1111 63 0 5425 0 vsize: 21952 [startup+710.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 94863 0 0 0 70737 271 0 0 25 0 1 0 688403323 24072192 5028 4294967295 134512640 134714508 3221221792 3221217864 1075964771 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5877 5028 1111 63 0 5814 0 vsize: 23508 [startup+720.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 97095 0 0 0 71731 277 0 0 25 0 1 0 688403323 24027136 4911 4294967295 134512640 134714508 3221221792 3221218604 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5866 4911 1111 63 0 5803 0 vsize: 23464 [startup+730.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 99281 0 0 0 72724 284 0 0 25 0 1 0 688403323 24043520 4911 4294967295 134512640 134714508 3221221792 3221218864 1074867340 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5870 4911 1111 63 0 5807 0 vsize: 23480 [startup+740.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 101734 0 0 0 73719 289 0 0 25 0 1 0 688403323 24231936 4952 4294967295 134512640 134714508 3221221792 3221217940 1075964406 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5916 4952 1111 63 0 5853 0 vsize: 23664 [startup+750.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 104003 0 0 0 74713 295 0 0 25 0 1 0 688403323 22478848 4776 4294967295 134512640 134714508 3221221792 3221220176 1074153800 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5488 4776 1111 63 0 5425 0 vsize: 21952 [startup+760.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 106456 0 0 0 75707 302 0 0 25 0 1 0 688403323 23674880 4928 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5780 4928 1111 63 0 5717 0 vsize: 23120 [startup+770.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 108521 0 0 0 76702 307 0 0 25 0 1 0 688403323 23891968 4936 4294967295 134512640 134714508 3221221792 3221218064 1074960795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5833 4936 1111 63 0 5770 0 vsize: 23332 [startup+780.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 110633 0 0 0 77696 313 0 0 25 0 1 0 688403323 22593536 4804 4294967295 134512640 134714508 3221221792 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5516 4804 1111 63 0 5453 0 vsize: 22064 [startup+790.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 113263 0 0 0 78690 319 0 0 25 0 1 0 688403323 24231936 4956 4294967295 134512640 134714508 3221221792 3221217740 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5916 4956 1111 63 0 5853 0 vsize: 23664 [startup+800.024 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 115831 0 0 0 79684 326 0 0 25 0 1 0 688403323 24088576 4892 4294967295 134512640 134714508 3221221792 3221217952 1075091544 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5881 4892 1111 63 0 5818 0 vsize: 23524 [startup+810.024 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 118326 0 0 0 80677 332 0 0 25 0 1 0 688403323 24137728 4932 4294967295 134512640 134714508 3221221792 3221217856 1075084533 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5893 4932 1111 63 0 5830 0 vsize: 23572 [startup+820.025 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 120811 0 0 0 81671 338 0 0 25 0 1 0 688403323 24092672 4917 4294967295 134512640 134714508 3221221792 3221218032 1075115739 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5882 4917 1111 63 0 5819 0 vsize: 23528 [startup+830.026 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 123157 0 0 0 82666 344 0 0 25 0 1 0 688403323 24227840 4945 4294967295 134512640 134714508 3221221792 3221217824 1075965301 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5915 4945 1111 63 0 5852 0 vsize: 23660 [startup+840.025 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 125241 0 0 0 83660 350 0 0 25 0 1 0 688403323 22687744 4794 4294967295 134512640 134714508 3221221792 3221219752 1074138303 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5539 4805 1111 63 0 5476 0 vsize: 22156 [startup+850.027 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 127782 0 0 0 84653 357 0 0 25 0 1 0 688403323 24215552 4935 4294967295 134512640 134714508 3221221792 3221218064 1074961138 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5912 4935 1111 63 0 5849 0 vsize: 23648 [startup+860.026 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 129881 0 0 0 85646 364 0 0 25 0 1 0 688403323 24240128 4969 4294967295 134512640 134714508 3221221792 3221218064 1074961146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5918 4969 1111 63 0 5855 0 vsize: 23672 [startup+870.026 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 132010 0 0 0 86640 371 0 0 25 0 1 0 688403323 24109056 4921 4294967295 134512640 134714508 3221221792 3221217952 1074883551 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5886 4921 1111 63 0 5823 0 vsize: 23544 [startup+880.026 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 134279 0 0 0 87633 378 0 0 25 0 1 0 688403323 22528000 4788 4294967295 134512640 134714508 3221221792 3221219696 1074052248 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5500 4788 1111 63 0 5437 0 vsize: 22000 [startup+890.026 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 136751 0 0 0 88626 385 0 0 25 0 1 0 688403323 22528000 4788 4294967295 134512640 134714508 3221221792 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5500 4788 1111 63 0 5437 0 vsize: 22000 [startup+900.027 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 139144 0 0 0 89621 390 0 0 25 0 1 0 688403323 23887872 5003 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5832 5003 1111 63 0 5769 0 vsize: 23328 [startup+910.027 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 141320 0 0 0 90616 395 0 0 25 0 1 0 688403323 24125440 4942 4294967295 134512640 134714508 3221221792 3221218020 1075115060 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5890 4942 1111 63 0 5827 0 vsize: 23560 [startup+920.027 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 143941 0 0 0 91608 403 0 0 25 0 1 0 688403323 23994368 4919 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5858 4919 1111 63 0 5795 0 vsize: 23432 [startup+930.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 146108 0 0 0 92602 409 0 0 25 0 1 0 688403323 23773184 4956 4294967295 134512640 134714508 3221221792 3221217996 1075564184 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5804 4956 1111 63 0 5741 0 vsize: 23216 [startup+940.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 148647 0 0 0 93594 417 0 0 25 0 1 0 688403323 24276992 4983 4294967295 134512640 134714508 3221221792 3221218020 1075114940 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5927 4983 1111 63 0 5864 0 vsize: 23708 [startup+950.028 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 151091 0 0 0 94588 424 0 0 25 0 1 0 688403323 24346624 4994 4294967295 134512640 134714508 3221221792 3221218012 1075116489 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5944 4994 1111 63 0 5881 0 vsize: 23776 [startup+960.028 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 153153 0 0 0 95583 429 0 0 25 0 1 0 688403323 24293376 4985 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5931 4985 1111 63 0 5868 0 vsize: 23724 [startup+970.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 155115 0 0 0 96578 434 0 0 25 0 1 0 688403323 24031232 4910 4294967295 134512640 134714508 3221221792 3221218720 1075960393 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5867 4910 1111 63 0 5804 0 vsize: 23468 [startup+980.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 157279 0 0 0 97572 440 0 0 25 0 1 0 688403323 24313856 5006 4294967295 134512640 134714508 3221221792 3221218000 1074815309 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5936 5006 1111 63 0 5873 0 vsize: 23744 [startup+990.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 159407 0 0 0 98567 446 0 0 25 0 1 0 688403323 24023040 4893 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5865 4893 1111 63 0 5802 0 vsize: 23460 [startup+1000.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 161673 0 0 0 99562 450 0 0 25 0 1 0 688403323 22679552 4825 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5537 4825 1111 63 0 5474 0 vsize: 22148 [startup+1010.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 163907 0 0 0 100556 457 0 0 25 0 1 0 688403323 24084480 4946 4294967295 134512640 134714508 3221221792 3221217952 1074883536 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5880 4946 1111 63 0 5817 0 vsize: 23520 [startup+1020.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 165972 0 0 0 101550 463 0 0 25 0 1 0 688403323 23732224 4975 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5794 4975 1111 63 0 5731 0 vsize: 23176 [startup+1030.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 168114 0 0 0 102545 468 0 0 25 0 1 0 688403323 23687168 4953 4294967295 134512640 134714508 3221221792 3221218280 1077410163 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5783 4953 1111 63 0 5720 0 vsize: 23132 [startup+1040.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 170151 0 0 0 103540 473 0 0 25 0 1 0 688403323 22663168 4821 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5533 4821 1111 63 0 5470 0 vsize: 22132 [startup+1050.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 172021 0 0 0 104537 477 0 0 25 0 1 0 688403323 22683648 4826 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5538 4826 1111 63 0 5475 0 vsize: 22152 [startup+1060.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 174528 0 0 0 105529 484 0 0 25 0 1 0 688403323 23924736 5004 4294967295 134512640 134714508 3221221792 3221218000 1075895652 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5841 5004 1111 63 0 5778 0 vsize: 23364 [startup+1070.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 176623 0 0 0 106524 490 0 0 25 0 1 0 688403323 23703552 4968 4294967295 134512640 134714508 3221221792 3221218560 1076083946 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5787 4968 1111 63 0 5724 0 vsize: 23148 [startup+1080.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 179129 0 0 0 107517 498 0 0 25 0 1 0 688403323 24322048 4994 4294967295 134512640 134714508 3221221792 3221217836 1074873527 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5938 4994 1111 63 0 5875 0 vsize: 23752 [startup+1090.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 181556 0 0 0 108510 504 0 0 25 0 1 0 688403323 24330240 4989 4294967295 134512640 134714508 3221221792 3221217920 1075561100 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5940 4989 1111 63 0 5877 0 vsize: 23760 [startup+1100.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 183689 0 0 0 109505 510 0 0 25 0 1 0 688403323 24539136 5053 4294967295 134512640 134714508 3221221792 3221217936 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5991 5053 1111 63 0 5928 0 vsize: 23964 [startup+1110.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 186066 0 0 0 110499 515 0 0 25 0 1 0 688403323 22769664 4847 4294967295 134512640 134714508 3221221792 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5559 4847 1111 63 0 5496 0 vsize: 22236 [startup+1120.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 188666 0 0 0 111492 523 0 0 25 0 1 0 688403323 24317952 4967 4294967295 134512640 134714508 3221221792 3221217888 1074790226 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5937 4967 1111 63 0 5874 0 vsize: 23748 [startup+1130.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 191337 0 0 0 112485 530 0 0 25 0 1 0 688403323 24600576 5042 4294967295 134512640 134714508 3221221792 3221217660 1074787584 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6006 5042 1111 63 0 5943 0 vsize: 24024 [startup+1140.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 193542 0 0 0 113479 536 0 0 25 0 1 0 688403323 24629248 5020 4294967295 134512640 134714508 3221221792 3221218032 1075115724 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6013 5020 1111 63 0 5950 0 vsize: 24052 [startup+1150.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 195643 0 0 0 114474 541 0 0 25 0 1 0 688403323 24489984 5029 4294967295 134512640 134714508 3221221792 3221218832 1075971376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5979 5030 1111 63 0 5916 0 vsize: 23916 [startup+1160.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 197652 0 0 0 115469 546 0 0 25 0 1 0 688403323 24231936 5091 4294967295 134512640 134714508 3221221792 3221217728 1075965246 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5916 5091 1111 63 0 5853 0 vsize: 23664 [startup+1170.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 199885 0 0 0 116463 552 0 0 25 0 1 0 688403323 22958080 4893 4294967295 134512640 134714508 3221221792 3221219976 1077377218 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5605 4893 1111 63 0 5542 0 vsize: 22420 [startup+1175.16 s] Raw data (loadavg): 1.00 0.99 0.91 1/53 10282 Raw data (stat): 10282 (bsolo_lpr) R 10281 7876 7672 0 -1 0 199885 0 0 0 116463 552 0 0 25 0 1 0 688403323 22958080 4893 4294967295 134512640 134714508 3221221792 3221219976 1077377218 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5605 4893 1111 63 0 5542 0 vsize: 0 Child status: 10 Real time (s): 1175.15 CPU time (s): 1175.29 CPU user time (s): 1169.72 CPU system time (s): 5.56915 CPU usage (%): 100.011 Max. virtual memory (Kb): 24052 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 317 #### END VERIFIER DATA ####