Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e3.opb |
MD5SUM | fba76bbece6bbaf52b3b51d8d6e74147 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 310 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 660 |
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 | 660 |
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 | 660 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02584 |
Number of variables | 660 |
Total number of constraints | 5350 |
Number of constraints which are clauses | 5350 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-07 12:29:35 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27602 boxname=wulflinc5 idbench=160 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: fba76bbece6bbaf52b3b51d8d6e74147 /oldhome/oroussel/tmp/wulflinc5/normalized-ii32e3.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-ii32e3.opb IDLAUNCH: 27602 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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 : 2 cpu MHz : 451.007 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: 343424 kB Buffers: 34608 kB Cached: 632108 kB SwapCached: 568 kB Active: 58092 kB Inactive: 610724 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 343172 kB SwapTotal: 2097136 kB SwapFree: 2095632 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5160 kB Slab: 16760 kB Committed_AS: 63588 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 12:49:12 (client local time) WITH STATUS 10 IN 1176.2 SECONDS stats: 27602 0 1176.2 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 660 variables and 5350 constraints. c After prepocess the problem consists of 660 variables and 5350 constraints. c preprocess terminated 12.066 s c Initial Lower Bound: 217 c Lower Bound Elapsed time: 1.2665 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 330 @ 147.538 c NEW SOLUTION FOUND: 329 @ 147.54 c NEW SOLUTION FOUND: 328 @ 147.551 c NEW SOLUTION FOUND: 327 @ 147.56 c NEW SOLUTION FOUND: 326 @ 147.568 c NEW SOLUTION FOUND: 325 @ 147.576 c NEW SOLUTION FOUND: 324 @ 147.585 c NEW SOLUTION FOUND: 323 @ 147.602 c NEW SOLUTION FOUND: 322 @ 147.649 c NEW SOLUTION FOUND: 318 @ 179.507 c NEW SOLUTION FOUND: 311 @ 197.275 c NEW SOLUTION FOUND: 310 @ 197.358 s SATISFIABLE v x1 -x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 -x113 x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 -x123 x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 -x161 x162 x163 -x164 -x165 x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 -x200 x201 -x202 x203 -x204 x205 -x206 x207 -x208 x209 -x210 x211 -x212 x213 -x214 x215 -x216 -x217 x218 x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 -x250 x251 -x252 x253 -x254 x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 -x271 x272 x273 -x274 x275 -x276 -x277 x278 x279 -x280 x281 -x282 -x283 x284 x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 x297 -x298 x299 -x300 -x301 -x302 x303 -x304 x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 x314 x315 -x316 -x317 x318 x319 -x320 -x321 -x322 x323 -x324 x325 -x326 x327 -x328 -x329 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 -x339 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 -x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 -x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 x381 -x382 -x383 -x384 x385 -x386 -x387 x388 -x389 x390 x391 -x392 -x393 x394 -x395 x396 -x397 x398 x399 -x400 -x401 x402 x403 -x404 -x405 x406 -x407 x408 -x409 -x410 x411 -x412 -x413 x414 x415 -x416 -x417 x418 -x419 x420 x421 -x422 -x423 x424 -x425 x426 x427 -x428 -x429 x430 -x431 x432 x433 -x434 -x435 x436 -x437 x438 x439 -x440 -x441 x442 -x443 x444 -x445 x446 x447 -x448 -x449 x450 x451 -x452 -x453 x454 -x455 x456 -x457 x458 x459 -x460 -x461 x462 -x463 x464 x465 -x466 -x467 x468 -x469 x470 x471 -x472 -x473 x474 -x475 x476 x477 -x478 -x479 x480 -x481 x482 x483 -x484 -x485 x486 -x487 x488 x489 -x490 -x491 x492 x493 -x494 -x495 x496 -x497 x498 -x499 x500 x501 -x502 -x503 x504 x505 -x506 -x507 -x508 -x509 x510 x511 -x512 -x513 x514 -x515 x516 x517 -x518 -x519 x520 -x521 x522 x523 -x524 -x525 x526 -x527 x528 -x529 x530 x531 -x532 -x533 x534 -x535 x536 x537 -x538 -x539 x540 x541 -x542 -x543 x544 -x545 x546 x547 -x548 -x549 x550 -x551 x552 -x553 x554 x555 -x556 -x557 x558 -x559 x560 -x561 x562 x563 -x564 -x565 x566 x567 -x568 -x569 x570 -x571 x572 x573 -x574 -x575 x576 -x577 x578 -x579 x580 x581 -x582 -x583 x584 x585 -x586 -x587 x588 -x589 x590 x591 -x592 -x593 x594 -x595 x596 x597 -x598 -x599 x600 x601 -x602 -x603 x604 -x605 x606 x607 -x608 -x609 x610 -x611 x612 x613 -x614 -x615 -x616 -x617 x618 x619 -x620 -x621 x622 -x623 x624 x625 -x626 -x627 x628 -x629 x630 -x631 -x632 x633 -x634 -x635 x636 x637 -x638 -x639 x640 -x641 x642 x643 -x644 -x645 x646 -x647 x648 x649 -x650 -x651 x652 -x653 x654 x655 -x656 -x657 x658 -x659 x660 c Exit Code: 10 c Total time: 1176.18 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.84 0.94 0.90 2/54 5035 Raw data (stat): 5035 (runsolver) R 5034 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893001166 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0002 s] Raw data (loadavg): 0.87 0.94 0.90 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 1793 0 0 0 992 4 0 0 25 0 1 0 893001166 10493952 1710 4294967295 134512640 134716908 3221224592 3221223240 134558492 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2562 1710 1111 63 0 2499 0 vsize: 10248 [startup+20.0003 s] Raw data (loadavg): 0.89 0.94 0.90 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 6319 0 0 0 1983 13 0 0 25 0 1 0 893001166 12345344 2314 4294967295 134512640 134716908 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3014 2314 1111 63 0 2951 0 vsize: 12056 [startup+30.0007 s] Raw data (loadavg): 0.90 0.94 0.90 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 6401 0 0 0 2983 13 0 0 25 0 1 0 893001166 12750848 2396 4294967295 134512640 134716908 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3113 2396 1111 63 0 3050 0 vsize: 12452 [startup+40.0005 s] Raw data (loadavg): 0.92 0.94 0.90 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 6655 0 0 0 3982 14 0 0 25 0 1 0 893001166 13832192 2650 4294967295 134512640 134716908 3221224592 3221223184 134549668 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3377 2650 1111 63 0 3314 0 vsize: 13508 [startup+50.0005 s] Raw data (loadavg): 0.93 0.94 0.90 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 6901 0 0 0 4981 15 0 0 25 0 1 0 893001166 14778368 2896 4294967295 134512640 134716908 3221224592 3221223232 134543110 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3608 2896 1111 63 0 3545 0 vsize: 14432 [startup+60.0009 s] Raw data (loadavg): 0.94 0.95 0.90 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 7155 0 0 0 5980 17 0 0 25 0 1 0 893001166 15859712 3150 4294967295 134512640 134716908 3221224592 3221223244 134543588 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3872 3150 1111 63 0 3809 0 vsize: 15488 [startup+70.0007 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 7411 0 0 0 6980 17 0 0 25 0 1 0 893001166 16936960 3406 4294967295 134512640 134716908 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4135 3406 1111 63 0 4072 0 vsize: 16540 [startup+80.0018 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 7609 0 0 0 7979 18 0 0 25 0 1 0 893001166 17747968 3604 4294967295 134512640 134716908 3221224592 3221223232 134542350 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4333 3604 1111 63 0 4270 0 vsize: 17332 [startup+90.0022 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 7811 0 0 0 8979 19 0 0 25 0 1 0 893001166 18558976 3806 4294967295 134512640 134716908 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4531 3806 1111 63 0 4468 0 vsize: 18124 [startup+100.002 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 8045 0 0 0 9978 20 0 0 25 0 1 0 893001166 19501056 4040 4294967295 134512640 134716908 3221224592 3221223184 134549541 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4761 4040 1111 63 0 4698 0 vsize: 19044 [startup+110.003 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 8270 0 0 0 10977 21 0 0 25 0 1 0 893001166 20447232 4265 4294967295 134512640 134716908 3221224592 3221223376 134529177 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4992 4265 1111 63 0 4929 0 vsize: 19968 [startup+120.003 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 8496 0 0 0 11977 22 0 0 25 0 1 0 893001166 21393408 4491 4294967295 134512640 134716908 3221224592 3221223208 134549509 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5223 4491 1111 63 0 5160 0 vsize: 20892 [startup+130.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 8698 0 0 0 12976 23 0 0 25 0 1 0 893001166 22204416 4693 4294967295 134512640 134716908 3221224592 3221223240 134539351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5421 4693 1111 63 0 5358 0 vsize: 21684 [startup+140.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 8923 0 0 0 13975 23 0 0 25 0 1 0 893001166 23015424 4918 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5619 4918 1111 63 0 5556 0 vsize: 22476 [startup+150.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 10025 0 0 0 14972 27 0 0 25 0 1 0 893001166 26451968 5257 4294967295 134512640 134716908 3221224592 3221221248 1075966065 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6458 5257 1111 63 0 6395 0 vsize: 25832 [startup+160.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 12530 0 0 0 15966 33 0 0 25 0 1 0 893001166 26451968 5319 4294967295 134512640 134716908 3221224592 3221221528 1075066464 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6458 5319 1111 63 0 6395 0 vsize: 25832 [startup+170.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 14856 0 0 0 16960 39 0 0 25 0 1 0 893001166 26611712 5338 4294967295 134512640 134716908 3221224592 3221220820 1075115003 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6497 5338 1111 63 0 6434 0 vsize: 25988 [startup+180.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 18984 0 0 0 17950 49 0 0 25 0 1 0 893001166 24272896 5245 4294967295 134512640 134716908 3221224592 3221222656 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5926 5245 1111 63 0 5863 0 vsize: 23704 [startup+190.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 23071 0 0 0 18940 58 0 0 25 0 1 0 893001166 24272896 5245 4294967295 134512640 134716908 3221224592 3221222776 1077377875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5926 5245 1111 63 0 5863 0 vsize: 23704 [startup+200.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 29483 0 0 0 19926 73 0 0 25 0 1 0 893001166 27025408 5457 4294967295 134512640 134716908 3221224592 3221221248 1075968819 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6598 5457 1111 63 0 6535 0 vsize: 26392 [startup+210.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 32828 0 0 0 20918 81 0 0 25 0 1 0 893001166 24272896 5245 4294967295 134512640 134716908 3221224592 3221222992 1074153736 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5926 5245 1111 63 0 5863 0 vsize: 23704 [startup+220.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 37463 0 0 0 21906 92 0 0 25 0 1 0 893001166 26845184 5392 4294967295 134512640 134716908 3221224592 3221221704 1075614762 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6554 5392 1111 63 0 6491 0 vsize: 26216 [startup+230.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 40701 0 0 0 22898 101 0 0 25 0 1 0 893001166 26730496 5372 4294967295 134512640 134716908 3221224592 3221220796 1075564169 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6526 5372 1111 63 0 6463 0 vsize: 26104 [startup+240.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 46477 0 0 0 23885 114 0 0 25 0 1 0 893001166 26857472 5446 4294967295 134512640 134716908 3221224592 3221221104 1075084533 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6557 5446 1111 63 0 6494 0 vsize: 26228 [startup+250.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 49800 0 0 0 24877 123 0 0 25 0 1 0 893001166 26812416 5401 4294967295 134512640 134716908 3221224592 3221221168 1076043594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6546 5401 1111 63 0 6483 0 vsize: 26184 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 52842 0 0 0 25870 130 0 0 25 0 1 0 893001166 26763264 5361 4294967295 134512640 134716908 3221224592 3221220472 1074788461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6534 5361 1111 63 0 6471 0 vsize: 26136 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 55823 0 0 0 26863 137 0 0 25 0 1 0 893001166 24432640 5271 4294967295 134512640 134716908 3221224592 3221222976 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5965 5271 1111 63 0 5902 0 vsize: 23860 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 59149 0 0 0 27855 145 0 0 25 0 1 0 893001166 24510464 5304 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5984 5304 1111 63 0 5921 0 vsize: 23936 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 61531 0 0 0 28849 151 0 0 25 0 1 0 893001166 24510464 5304 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5984 5304 1111 63 0 5921 0 vsize: 23936 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 64501 0 0 0 29841 159 0 0 25 0 1 0 893001166 24510464 5304 4294967295 134512640 134716908 3221224592 3221222640 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5984 5304 1111 63 0 5921 0 vsize: 23936 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 67437 0 0 0 30832 169 0 0 25 0 1 0 893001166 24510464 5304 4294967295 134512640 134716908 3221224592 3221222992 1074153736 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5984 5304 1111 63 0 5921 0 vsize: 23936 [startup+320.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 70368 0 0 0 31825 176 0 0 25 0 1 0 893001166 24539136 5311 4294967295 134512640 134716908 3221224592 3221223228 134651470 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5991 5311 1111 63 0 5928 0 vsize: 23964 [startup+330.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 72821 0 0 0 32819 182 0 0 25 0 1 0 893001166 24510464 5304 4294967295 134512640 134716908 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5984 5304 1111 63 0 5921 0 vsize: 23936 [startup+340.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 75598 0 0 0 33813 188 0 0 25 0 1 0 893001166 27049984 5464 4294967295 134512640 134716908 3221224592 3221221248 1075967695 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6604 5464 1111 63 0 6541 0 vsize: 26416 [startup+350.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 78444 0 0 0 34807 194 0 0 25 0 1 0 893001166 24784896 5371 4294967295 134512640 134716908 3221224592 3221222640 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6051 5371 1111 63 0 5988 0 vsize: 24204 [startup+360.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 81885 0 0 0 35801 201 0 0 25 0 1 0 893001166 27996160 5691 4294967295 134512640 134716908 3221224592 3221220820 1075115003 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6835 5691 1111 63 0 6772 0 vsize: 27340 [startup+370.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 85244 0 0 0 36793 208 0 0 25 0 1 0 893001166 28008448 5691 4294967295 134512640 134716908 3221224592 3221220636 1074873474 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6838 5691 1111 63 0 6775 0 vsize: 27352 [startup+380.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 88236 0 0 0 37787 215 0 0 25 0 1 0 893001166 24784896 5371 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6051 5371 1111 63 0 5988 0 vsize: 24204 [startup+390.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 91640 0 0 0 38779 223 0 0 25 0 1 0 893001166 24784896 5371 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6051 5371 1111 63 0 5988 0 vsize: 24204 [startup+400.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 94321 0 0 0 39773 229 0 0 25 0 1 0 893001166 27504640 5624 4294967295 134512640 134716908 3221224592 3221220820 1075115070 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6715 5624 1111 63 0 6652 0 vsize: 26860 [startup+410.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 96798 0 0 0 40768 234 0 0 25 0 1 0 893001166 24784896 5371 4294967295 134512640 134716908 3221224592 3221222992 1074153773 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6051 5371 1111 63 0 5988 0 vsize: 24204 [startup+420.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 99260 0 0 0 41762 240 0 0 25 0 1 0 893001166 24784896 5371 4294967295 134512640 134716908 3221224592 3221222636 1074206265 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6051 5371 1111 63 0 5988 0 vsize: 24204 [startup+430.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 102088 0 0 0 42756 247 0 0 25 0 1 0 893001166 25522176 5477 4294967295 134512640 134716908 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6231 5477 1111 63 0 6168 0 vsize: 24924 [startup+440.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 105792 0 0 0 43747 256 0 0 25 0 1 0 893001166 28114944 5783 4294967295 134512640 134716908 3221224592 3221221708 1075614715 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6864 5788 1111 63 0 6801 0 vsize: 27456 [startup+450.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 109043 0 0 0 44737 266 0 0 25 0 1 0 893001166 24625152 5332 4294967295 134512640 134716908 3221224592 3221222896 1074057992 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6012 5332 1111 63 0 5949 0 vsize: 24048 [startup+460.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 112640 0 0 0 45728 275 0 0 25 0 1 0 893001166 27738112 5651 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6772 5654 1111 63 0 6709 0 vsize: 27088 [startup+470.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 115388 0 0 0 46722 282 0 0 25 0 1 0 893001166 24743936 5361 4294967295 134512640 134716908 3221224592 3221222640 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6041 5361 1111 63 0 5978 0 vsize: 24164 [startup+480.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 118357 0 0 0 47714 290 0 0 25 0 1 0 893001166 27783168 5659 4294967295 134512640 134716908 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6783 5659 1111 63 0 6720 0 vsize: 27132 [startup+490.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 121529 0 0 0 48707 297 0 0 25 0 1 0 893001166 24743936 5361 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6041 5361 1111 63 0 5978 0 vsize: 24164 [startup+500.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 124669 0 0 0 49699 305 0 0 25 0 1 0 893001166 27594752 5572 4294967295 134512640 134716908 3221224592 3221220820 1075115084 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6737 5572 1111 63 0 6674 0 vsize: 26948 [startup+510.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 127597 0 0 0 50693 311 0 0 25 0 1 0 893001166 27529216 5606 4294967295 134512640 134716908 3221224592 3221221632 1075860048 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6721 5606 1111 63 0 6658 0 vsize: 26884 [startup+520.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 130402 0 0 0 51686 318 0 0 25 0 1 0 893001166 24883200 5390 4294967295 134512640 134716908 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6075 5390 1111 63 0 6012 0 vsize: 24300 [startup+530.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 133654 0 0 0 52680 324 0 0 25 0 1 0 893001166 25018368 5430 4294967295 134512640 134716908 3221224592 3221222616 1077380592 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6108 5430 1111 63 0 6045 0 vsize: 24432 [startup+540.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 136558 0 0 0 53674 330 0 0 25 0 1 0 893001166 25018368 5430 4294967295 134512640 134716908 3221224592 3221222704 1074867320 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6108 5430 1111 63 0 6045 0 vsize: 24432 [startup+550.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 138768 0 0 0 54670 335 0 0 25 0 1 0 893001166 27369472 5554 4294967295 134512640 134716908 3221224592 3221220716 1075560035 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6682 5554 1111 63 0 6619 0 vsize: 26728 [startup+560.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 141058 0 0 0 55665 340 0 0 25 0 1 0 893001166 28012544 5758 4294967295 134512640 134716908 3221224592 3221220552 1074789806 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6839 5758 1111 63 0 6776 0 vsize: 27356 [startup+570.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 143891 0 0 0 56659 347 0 0 25 0 1 0 893001166 25018368 5430 4294967295 134512640 134716908 3221224592 3221222992 1074153669 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6108 5430 1111 63 0 6045 0 vsize: 24432 [startup+580.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 146696 0 0 0 57652 353 0 0 25 0 1 0 893001166 27873280 5676 4294967295 134512640 134716908 3221224592 3221220736 1074969743 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6805 5676 1111 63 0 6742 0 vsize: 27220 [startup+590.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 149624 0 0 0 58644 361 0 0 25 0 1 0 893001166 24997888 5425 4294967295 134512640 134716908 3221224592 3221222904 1074138144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6103 5425 1111 63 0 6040 0 vsize: 24412 [startup+600.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 152131 0 0 0 59639 367 0 0 25 0 1 0 893001166 27840512 5733 4294967295 134512640 134716908 3221224592 3221220648 1074789572 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6797 5733 1111 63 0 6734 0 vsize: 27188 [startup+610.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 155082 0 0 0 60631 374 0 0 25 0 1 0 893001166 24997888 5425 4294967295 134512640 134716908 3221224592 3221222992 1074153766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6103 5425 1111 63 0 6040 0 vsize: 24412 [startup+620.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 157804 0 0 0 61625 382 0 0 25 0 1 0 893001166 27828224 5653 4294967295 134512640 134716908 3221224592 3221220820 1075115003 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6794 5653 1111 63 0 6731 0 vsize: 27176 [startup+630.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 160828 0 0 0 62617 389 0 0 25 0 1 0 893001166 24997888 5425 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6103 5425 1111 63 0 6040 0 vsize: 24412 [startup+640.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 163726 0 0 0 63610 396 0 0 25 0 1 0 893001166 27803648 5635 4294967295 134512640 134716908 3221224592 3221220592 1075965253 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6788 5635 1111 63 0 6725 0 vsize: 27152 [startup+650.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 166479 0 0 0 64605 402 0 0 25 0 1 0 893001166 27676672 5664 4294967295 134512640 134716908 3221224592 3221220736 1074970267 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6757 5664 1111 63 0 6694 0 vsize: 27028 [startup+660.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 169162 0 0 0 65598 409 0 0 25 0 1 0 893001166 24997888 5425 4294967295 134512640 134716908 3221224592 3221222992 1074153812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6103 5425 1111 63 0 6040 0 vsize: 24412 [startup+670.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 171702 0 0 0 66591 416 0 0 25 0 1 0 893001166 24997888 5425 4294967295 134512640 134716908 3221224592 3221222752 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6103 5425 1111 63 0 6040 0 vsize: 24412 [startup+680.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 174310 0 0 0 67586 422 0 0 25 0 1 0 893001166 24997888 5425 4294967295 134512640 134716908 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6103 5425 1111 63 0 6040 0 vsize: 24412 [startup+690.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 176797 0 0 0 68580 428 0 0 25 0 1 0 893001166 25346048 5480 4294967295 134512640 134716908 3221224592 3221222992 1074153792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6188 5480 1111 63 0 6125 0 vsize: 24752 [startup+700.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 180313 0 0 0 69572 435 0 0 25 0 1 0 893001166 27754496 5649 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6776 5649 1111 63 0 6713 0 vsize: 27104 [startup+710.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 182978 0 0 0 70566 442 0 0 25 0 1 0 893001166 25403392 5521 4294967295 134512640 134716908 3221224592 3221222592 1074918159 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6202 5521 1111 63 0 6139 0 vsize: 24808 [startup+720.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 185681 0 0 0 71561 447 0 0 25 0 1 0 893001166 25219072 5479 4294967295 134512640 134716908 3221224592 3221222904 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6157 5479 1111 63 0 6094 0 vsize: 24628 [startup+730.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 188328 0 0 0 72555 453 0 0 25 0 1 0 893001166 27734016 5624 4294967295 134512640 134716908 3221224592 3221221428 1074786571 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6771 5624 1111 63 0 6708 0 vsize: 27084 [startup+740.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 191075 0 0 0 73548 460 0 0 25 0 1 0 893001166 25219072 5479 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6157 5479 1111 63 0 6094 0 vsize: 24628 [startup+750.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 193582 0 0 0 74543 466 0 0 25 0 1 0 893001166 27398144 5548 4294967295 134512640 134716908 3221224592 3221221536 1074620241 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6689 5548 1111 63 0 6626 0 vsize: 26756 [startup+760.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 196843 0 0 0 75535 474 0 0 25 0 1 0 893001166 28581888 5878 4294967295 134512640 134716908 3221224592 3221220636 1074873512 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6978 5878 1111 63 0 6915 0 vsize: 27912 [startup+770.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 200480 0 0 0 76526 482 0 0 25 0 1 0 893001166 28545024 5867 4294967295 134512640 134716908 3221224592 3221220736 1074970401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6969 5867 1111 63 0 6906 0 vsize: 27876 [startup+780.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 203932 0 0 0 77519 491 0 0 25 0 1 0 893001166 25219072 5479 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6157 5479 1111 63 0 6094 0 vsize: 24628 [startup+790.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 207222 0 0 0 78511 498 0 0 25 0 1 0 893001166 25260032 5489 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6167 5489 1111 63 0 6104 0 vsize: 24668 [startup+800.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 209734 0 0 0 79504 506 0 0 25 0 1 0 893001166 25260032 5489 4294967295 134512640 134716908 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6167 5489 1111 63 0 6104 0 vsize: 24668 [startup+810.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 212355 0 0 0 80497 513 0 0 25 0 1 0 893001166 25260032 5489 4294967295 134512640 134716908 3221224592 3221222904 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6167 5489 1111 63 0 6104 0 vsize: 24668 [startup+820.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 215718 0 0 0 81489 521 0 0 25 0 1 0 893001166 28782592 5935 4294967295 134512640 134716908 3221224592 3221220740 1075964386 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7027 5935 1111 63 0 6964 0 vsize: 28108 [startup+830.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 218948 0 0 0 82481 529 0 0 25 0 1 0 893001166 25329664 5506 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6184 5506 1111 63 0 6121 0 vsize: 24736 [startup+840.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 221554 0 0 0 83475 535 0 0 25 0 1 0 893001166 25329664 5506 4294967295 134512640 134716908 3221224592 3221222572 1074206265 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6184 5506 1111 63 0 6121 0 vsize: 24736 [startup+850.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 224383 0 0 0 84468 542 0 0 25 0 1 0 893001166 25329664 5506 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6184 5506 1111 63 0 6121 0 vsize: 24736 [startup+860.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 227886 0 0 0 85459 551 0 0 25 0 1 0 893001166 25260032 5489 4294967295 134512640 134716908 3221224592 3221222240 1075820877 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6167 5489 1111 63 0 6104 0 vsize: 24668 [startup+870.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 233151 0 0 0 86449 562 0 0 25 0 1 0 893001166 28606464 5920 4294967295 134512640 134716908 3221224592 3221220820 1075114975 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6984 5920 1111 63 0 6921 0 vsize: 27936 [startup+880.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 236006 0 0 0 87442 569 0 0 25 0 1 0 893001166 27611136 5600 4294967295 134512640 134716908 3221224592 3221220540 1074788977 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6741 5600 1111 63 0 6678 0 vsize: 26964 [startup+890.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 237820 0 0 0 88437 574 0 0 25 0 1 0 893001166 25296896 5498 4294967295 134512640 134716908 3221224592 3221222928 1074153672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6176 5498 1111 63 0 6113 0 vsize: 24704 [startup+900.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 246270 0 0 0 89417 595 0 0 25 0 1 0 893001166 27475968 5580 4294967295 134512640 134716908 3221224592 3221220820 1075115060 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6708 5580 1111 63 0 6645 0 vsize: 26832 [startup+910.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 248449 0 0 0 90410 602 0 0 25 0 1 0 893001166 27652096 5599 4294967295 134512640 134716908 3221224592 3221220676 1075964390 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6751 5599 1111 63 0 6688 0 vsize: 27004 [startup+920.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 250832 0 0 0 91404 608 0 0 25 0 1 0 893001166 25575424 5535 4294967295 134512640 134716908 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6244 5535 1111 63 0 6181 0 vsize: 24976 [startup+930.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 253704 0 0 0 92397 615 0 0 25 0 1 0 893001166 25440256 5533 4294967295 134512640 134716908 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6211 5533 1111 63 0 6148 0 vsize: 24844 [startup+940.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 256098 0 0 0 93391 621 0 0 25 0 1 0 893001166 28499968 5863 4294967295 134512640 134716908 3221224592 3221220864 1074961264 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6958 5863 1111 63 0 6895 0 vsize: 27832 [startup+950.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 258358 0 0 0 94384 628 0 0 25 0 1 0 893001166 25440256 5533 4294967295 134512640 134716908 3221224592 3221222992 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6211 5533 1111 63 0 6148 0 vsize: 24844 [startup+960.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 260365 0 0 0 95380 633 0 0 25 0 1 0 893001166 25440256 5533 4294967295 134512640 134716908 3221224592 3221222852 1077374550 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6211 5533 1111 63 0 6148 0 vsize: 24844 [startup+970.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 262568 0 0 0 96374 639 0 0 25 0 1 0 893001166 27779072 5665 4294967295 134512640 134716908 3221224592 3221221536 1074620107 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6782 5665 1111 63 0 6719 0 vsize: 27128 [startup+980.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 264556 0 0 0 97369 644 0 0 25 0 1 0 893001166 27803648 5658 4294967295 134512640 134716908 3221224592 3221220976 1074973938 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6788 5658 1111 63 0 6725 0 vsize: 27152 [startup+990.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 267641 0 0 0 98362 651 0 0 25 0 1 0 893001166 28237824 5800 4294967295 134512640 134716908 3221224592 3221220820 1075115133 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6894 5800 1111 63 0 6831 0 vsize: 27576 [startup+1000.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 270312 0 0 0 99356 657 0 0 25 0 1 0 893001166 25489408 5545 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6223 5545 1111 63 0 6160 0 vsize: 24892 [startup+1010.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 272538 0 0 0 100351 662 0 0 25 0 1 0 893001166 27840512 5603 4294967295 134512640 134716908 3221224592 3221221136 1075088573 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6797 5604 1111 63 0 6734 0 vsize: 27188 [startup+1020.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 274852 0 0 0 101345 668 0 0 25 0 1 0 893001166 25481216 5543 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6221 5543 1111 63 0 6158 0 vsize: 24884 [startup+1030.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 278166 0 0 0 102338 676 0 0 25 0 1 0 893001166 28614656 5887 4294967295 134512640 134716908 3221224592 3221221664 1074867308 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6986 5887 1111 63 0 6923 0 vsize: 27944 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 281252 0 0 0 103331 683 0 0 25 0 1 0 893001166 25296896 5498 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6176 5498 1111 63 0 6113 0 vsize: 24704 [startup+1050.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 284600 0 0 0 104322 692 0 0 25 0 1 0 893001166 28725248 5903 4294967295 134512640 134716908 3221224592 3221220656 1075084533 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7013 5903 1111 63 0 6950 0 vsize: 28052 [startup+1060.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 287898 0 0 0 105315 699 0 0 25 0 1 0 893001166 28577792 5790 4294967295 134512640 134716908 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6977 5790 1111 63 0 6914 0 vsize: 27908 [startup+1070.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 291139 0 0 0 106308 706 0 0 25 0 1 0 893001166 25448448 5540 4294967295 134512640 134716908 3221224592 3221222992 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6213 5540 1111 63 0 6150 0 vsize: 24852 [startup+1080.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 294153 0 0 0 107302 713 0 0 25 0 1 0 893001166 28647424 5868 4294967295 134512640 134716908 3221224592 3221220720 1075561089 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6994 5868 1111 63 0 6931 0 vsize: 27976 [startup+1090.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 297243 0 0 0 108294 721 0 0 25 0 1 0 893001166 25448448 5540 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6213 5540 1111 63 0 6150 0 vsize: 24852 [startup+1100.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 300262 0 0 0 109286 728 0 0 25 0 1 0 893001166 25448448 5540 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6213 5540 1111 63 0 6150 0 vsize: 24852 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 303467 0 0 0 110280 735 0 0 25 0 1 0 893001166 25636864 5586 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6259 5586 1111 63 0 6196 0 vsize: 25036 [startup+1120.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 306369 0 0 0 111273 742 0 0 25 0 1 0 893001166 27975680 5904 4294967295 134512640 134716908 3221224592 3221220752 1075093367 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6830 5904 1111 63 0 6767 0 vsize: 27320 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 308702 0 0 0 112268 747 0 0 25 0 1 0 893001166 25636864 5586 4294967295 134512640 134716908 3221224592 3221222480 1074052098 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6259 5586 1111 63 0 6196 0 vsize: 25036 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 311585 0 0 0 113261 755 0 0 25 0 1 0 893001166 25636864 5586 4294967295 134512640 134716908 3221224592 3221222944 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6259 5586 1111 63 0 6196 0 vsize: 25036 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 314460 0 0 0 114254 762 0 0 25 0 1 0 893001166 25636864 5586 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6259 5586 1111 63 0 6196 0 vsize: 25036 [startup+1160.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 317520 0 0 0 115247 769 0 0 25 0 1 0 893001166 28508160 5782 4294967295 134512640 134716908 3221224592 3221221360 1076083342 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6960 5782 1111 63 0 6897 0 vsize: 27840 [startup+1170.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 320540 0 0 0 116239 777 0 0 25 0 1 0 893001166 28684288 5935 4294967295 134512640 134716908 3221224592 3221221404 1074788968 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7003 5935 1111 63 0 6940 0 vsize: 28012 [startup+1176.04 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 5035 Raw data (stat): 5035 (bsolo_lpr-v2) R 5034 7266 7265 0 -1 0 320540 0 0 0 116239 777 0 0 25 0 1 0 893001166 28684288 5935 4294967295 134512640 134716908 3221224592 3221221404 1074788968 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7003 5935 1111 63 0 6940 0 vsize: 0 Child status: 10 Real time (s): 1176.04 CPU time (s): 1176.2 CPU user time (s): 1168.37 CPU system time (s): 7.82981 CPU usage (%): 100.013 Max. virtual memory (Kb): 28108 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 310 #### END VERIFIER DATA ####