Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-3-c.opb |
MD5SUM | 9758fd8c9a8bc907d5083400c8e6642e |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 334 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 668 |
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 | 668 |
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 | 668 |
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.53961 |
Number of variables | 668 |
Total number of constraints | 1666 |
Number of constraints which are clauses | 1666 |
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 05:49:41 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1765 boxname=wulflinc31 idbench=197 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 9758fd8c9a8bc907d5083400c8e6642e /oldhome/oroussel/tmp/wulflinc31/normalized-par16-3-c.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-par16-3-c.opb IDLAUNCH: 1765 /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: 142280 kB Buffers: 41108 kB Cached: 817088 kB SwapCached: 644 kB Active: 491372 kB Inactive: 369188 kB HighTotal: 131008 kB HighFree: 4508 kB LowTotal: 903652 kB LowFree: 137772 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26264 kB Committed_AS: 63640 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-08 06:09:17 (client local time) WITH STATUS 10 IN 1175.34 SECONDS stats: 1765 0 1175.34 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 668 variables and 1666 constraints. c After prepocess the problem consists of 638 variables and 2086 constraints. c preprocess terminated 2.966 s c Initial Lower Bound: 223 c Lower Bound Elapsed time: 1.0214 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 334 @ 250.268 s SATISFIABLE v x1 -x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 -x11 x12 x13 -x14 -x15 x16 x17 -x18 -x19 x20 x21 -x22 -x23 x24 x25 -x26 -x27 x28 x29 -x30 -x31 x32 x33 -x34 -x35 x36 x37 -x38 -x39 x40 x41 -x42 -x43 x44 x45 -x46 -x47 x48 x49 -x50 -x51 x52 x53 -x54 -x55 x56 x57 -x58 -x59 x60 x61 -x62 -x63 x64 x65 -x66 -x67 x68 x69 -x70 -x71 x72 x73 -x74 -x75 x76 x77 -x78 -x79 x80 x81 -x82 -x83 x84 x85 -x86 -x87 x88 x89 -x90 -x91 x92 x93 -x94 -x95 x96 -x97 x98 x99 -x100 x101 -x102 -x103 x104 -x105 x106 -x107 x108 x109 -x110 -x111 x112 -x113 x114 -x115 x116 -x117 x118 x119 -x120 x121 -x122 x123 -x124 -x125 x126 -x127 x128 x129 -x130 -x131 x132 -x133 x134 -x135 x136 x137 -x138 -x139 x140 -x141 x142 -x143 x144 x145 -x146 -x147 x148 -x149 x150 -x151 x152 -x153 x154 x155 -x156 -x157 x158 -x159 x160 -x161 x162 -x163 x164 -x165 x166 -x167 x168 -x169 x170 -x171 x172 -x173 x174 -x175 x176 -x177 x178 -x179 x180 -x181 x182 -x183 x184 -x185 x186 -x187 x188 -x189 x190 -x191 x192 -x193 x194 -x195 x196 -x197 x198 -x199 x200 -x201 x202 -x203 x204 -x205 x206 -x207 x208 -x209 x210 -x211 x212 -x213 x214 -x215 x216 -x217 x218 -x219 x220 -x221 x222 -x223 x224 -x225 x226 -x227 x228 -x229 x230 -x231 x232 -x233 x234 -x235 x236 -x237 x238 -x239 x240 -x241 x242 -x243 x244 -x245 x246 -x247 x248 x249 -x250 x251 -x252 -x253 x254 x255 -x256 -x257 x258 -x259 x260 x261 -x262 x263 -x264 -x265 x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 -x275 x276 x277 -x278 x279 -x280 -x281 x282 -x283 x284 -x285 x286 x287 -x288 x289 -x290 x291 -x292 -x293 x294 x295 -x296 x297 -x298 -x299 x300 x301 -x302 -x303 x304 -x305 x306 x307 -x308 -x309 x310 x311 -x312 x313 -x314 -x315 x316 x317 -x318 x319 -x320 -x321 x322 -x323 x324 x325 -x326 x327 -x328 -x329 x330 x331 -x332 x333 -x334 -x335 x336 -x337 x338 x339 -x340 x341 -x342 -x343 x344 x345 -x346 -x347 x348 -x349 x350 -x351 x352 x353 -x354 x355 -x356 x357 -x358 -x359 x360 x361 -x362 -x363 x364 -x365 x366 x367 -x368 x369 -x370 -x371 x372 x373 -x374 x375 -x376 -x377 x378 -x379 x380 x381 -x382 x383 -x384 -x385 x386 x387 -x388 x389 -x390 -x391 x392 x393 -x394 x395 -x396 x397 -x398 x399 -x400 -x401 x402 -x403 x404 x405 -x406 x407 -x408 -x409 x410 x411 -x412 x413 -x414 -x415 x416 x417 -x418 -x419 x420 -x421 x422 x423 -x424 -x425 x426 -x427 x428 x429 -x430 -x431 x432 -x433 x434 -x435 x436 x437 -x438 -x439 x440 -x441 x442 x443 -x444 -x445 x446 x447 -x448 x449 -x450 -x451 x452 x453 -x454 -x455 x456 x457 -x458 x459 -x460 -x461 x462 x463 -x464 x465 -x466 -x467 x468 x469 -x470 x471 -x472 -x473 x474 x475 -x476 x477 -x478 x479 -x480 -x481 x482 x483 -x484 x485 -x486 x487 -x488 -x489 x490 x491 -x492 x493 -x494 -x495 x496 x497 -x498 x499 -x500 -x501 x502 x503 -x504 x505 -x506 -x507 x508 x509 -x510 -x511 x512 -x513 x514 x515 -x516 -x517 x518 x519 -x520 x521 -x522 x523 -x524 -x525 x526 x527 -x528 x529 -x530 -x531 x532 -x533 x534 x535 -x536 x537 -x538 -x539 x540 -x541 x542 x543 -x544 x545 -x546 x547 -x548 -x549 x550 -x551 x552 x553 -x554 -x555 x556 -x557 x558 x559 -x560 x561 -x562 x563 -x564 -x565 x566 x567 -x568 -x569 x570 x571 -x572 -x573 x574 x575 -x576 x577 -x578 -x579 x580 x581 -x582 x583 -x584 x585 -x586 -x587 x588 -x589 x590 x591 -x592 -x593 x594 -x595 x596 x597 -x598 x599 -x600 -x601 x602 x603 -x604 -x605 x606 x607 -x608 x609 -x610 x611 -x612 x613 -x614 x615 -x616 -x617 x618 x619 -x620 x621 -x622 -x623 x624 -x625 x626 x627 -x628 x629 -x630 x631 -x632 -x633 x634 x635 -x636 x637 -x638 x639 -x640 -x641 x642 x643 -x644 -x645 x646 -x647 x648 x649 -x650 -x651 x652 -x653 x654 x655 -x656 -x657 x658 x659 -x660 -x661 x662 -x663 x664 x665 -x666 x667 -x668 c Exit Code: 10 c Total time: 1175.31 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.91 0.95 0.91 2/54 12204 Raw data (stat): 12204 (runsolver) R 12203 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 689571214 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.0006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 5702 0 0 0 979 16 0 0 25 0 1 0 689571214 10735616 1902 4294967295 134512640 134714508 3221221792 3221219916 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2621 1902 1111 63 0 2558 0 vsize: 10484 [startup+20.0015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 7755 0 0 0 1973 23 0 0 25 0 1 0 689571214 10686464 1905 4294967295 134512640 134714508 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2609 1905 1111 63 0 2546 0 vsize: 10436 [startup+30.0014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 7992 0 0 0 2971 25 0 0 25 0 1 0 689571214 11632640 2142 4294967295 134512640 134714508 3221221792 3221220432 134543110 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2840 2142 1111 63 0 2777 0 vsize: 11360 [startup+40.0023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 8196 0 0 0 3969 27 0 0 25 0 1 0 689571214 12443648 2346 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3038 2346 1111 63 0 2975 0 vsize: 12152 [startup+50.0036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 8391 0 0 0 4968 28 0 0 25 0 1 0 689571214 13254656 2541 4294967295 134512640 134714508 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3236 2541 1111 63 0 3173 0 vsize: 12944 [startup+60.0032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 8593 0 0 0 5966 30 0 0 25 0 1 0 689571214 14065664 2743 4294967295 134512640 134714508 3221221792 3221220364 134543615 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3434 2743 1111 63 0 3371 0 vsize: 13736 [startup+70.0042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 8768 0 0 0 6966 31 0 0 25 0 1 0 689571214 14741504 2918 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3599 2918 1111 63 0 3536 0 vsize: 14396 [startup+80.0041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 8925 0 0 0 7964 32 0 0 25 0 1 0 689571214 15417344 3075 4294967295 134512640 134714508 3221221792 3221220348 134539276 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3764 3075 1111 63 0 3701 0 vsize: 15056 [startup+90.0051 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 9154 0 0 0 8962 34 0 0 25 0 1 0 689571214 16363520 3304 4294967295 134512640 134714508 3221221792 3221220416 134542356 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3995 3304 1111 63 0 3932 0 vsize: 15980 [startup+100.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 9310 0 0 0 9961 36 0 0 25 0 1 0 689571214 17039360 3460 4294967295 134512640 134714508 3221221792 3221220300 134535903 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4160 3460 1111 63 0 4097 0 vsize: 16640 [startup+110.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 9453 0 0 0 10960 37 0 0 25 0 1 0 689571214 17580032 3603 4294967295 134512640 134714508 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4292 3603 1111 63 0 4229 0 vsize: 17168 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 9609 0 0 0 11959 38 0 0 25 0 1 0 689571214 18255872 3759 4294967295 134512640 134714508 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4457 3759 1111 63 0 4394 0 vsize: 17828 [startup+130.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 9771 0 0 0 12958 39 0 0 25 0 1 0 689571214 18931712 3921 4294967295 134512640 134714508 3221221792 3221220456 134543614 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4622 3921 1111 63 0 4559 0 vsize: 18488 [startup+140.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 9923 0 0 0 13957 40 0 0 25 0 1 0 689571214 19472384 4073 4294967295 134512640 134714508 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4754 4073 1111 63 0 4691 0 vsize: 19016 [startup+150.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 10081 0 0 0 14956 42 0 0 25 0 1 0 689571214 20148224 4231 4294967295 134512640 134714508 3221221792 3221220456 134543606 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4919 4231 1111 63 0 4856 0 vsize: 19676 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 10226 0 0 0 15955 43 0 0 25 0 1 0 689571214 20688896 4376 4294967295 134512640 134714508 3221221792 3221220528 134588000 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5051 4376 1111 63 0 4988 0 vsize: 20204 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 10360 0 0 0 16954 44 0 0 25 0 1 0 689571214 21229568 4510 4294967295 134512640 134714508 3221221792 3221220508 134551880 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5183 4510 1111 63 0 5120 0 vsize: 20732 [startup+180.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 10478 0 0 0 17953 45 0 0 25 0 1 0 689571214 21770240 4628 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5315 4628 1111 63 0 5252 0 vsize: 21260 [startup+190.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 10613 0 0 0 18952 46 0 0 25 0 1 0 689571214 22310912 4763 4294967295 134512640 134714508 3221221792 3221220432 134696113 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5447 4763 1111 63 0 5384 0 vsize: 21788 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 10748 0 0 0 19951 47 0 0 25 0 1 0 689571214 22851584 4898 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5579 4898 1111 63 0 5516 0 vsize: 22316 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 10884 0 0 0 20950 49 0 0 25 0 1 0 689571214 23392256 5034 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5711 5034 1111 63 0 5648 0 vsize: 22844 [startup+220.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 11002 0 0 0 21949 50 0 0 25 0 1 0 689571214 23932928 5152 4294967295 134512640 134714508 3221221792 3221220288 134535391 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5843 5152 1111 63 0 5780 0 vsize: 23372 [startup+230.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 11139 0 0 0 22949 51 0 0 25 0 1 0 689571214 24477696 5289 4294967295 134512640 134714508 3221221792 3221220576 134529368 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5976 5289 1111 63 0 5913 0 vsize: 23904 [startup+240.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 11251 0 0 0 23948 52 0 0 25 0 1 0 689571214 25014272 5401 4294967295 134512640 134714508 3221221792 3221220384 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6107 5401 1111 63 0 6044 0 vsize: 24428 [startup+250.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 11374 0 0 0 24948 52 0 0 25 0 1 0 689571214 25419776 5524 4294967295 134512640 134714508 3221221792 3221220348 134535664 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6206 5524 1111 63 0 6143 0 vsize: 24824 [startup+260.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 13746 0 0 0 25941 59 0 0 25 0 1 0 689571214 27910144 5857 4294967295 134512640 134714508 3221221792 3221218020 1075115109 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6814 5857 1111 63 0 6751 0 vsize: 27256 [startup+270.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 16218 0 0 0 26935 65 0 0 25 0 1 0 689571214 27561984 5889 4294967295 134512640 134714508 3221221792 3221217760 1075965260 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6729 5889 1111 63 0 6666 0 vsize: 26916 [startup+280.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 18566 0 0 0 27929 71 0 0 25 0 1 0 689571214 26353664 5733 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6434 5733 1111 63 0 6371 0 vsize: 25736 [startup+290.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 20543 0 0 0 28924 76 0 0 25 0 1 0 689571214 28000256 5867 4294967295 134512640 134714508 3221221792 3221218064 1074961267 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6836 5867 1111 63 0 6773 0 vsize: 27344 [startup+300.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 22422 0 0 0 29919 81 0 0 25 0 1 0 689571214 28028928 5908 4294967295 134512640 134714508 3221221792 3221218112 1075859405 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6843 5908 1111 63 0 6780 0 vsize: 27372 [startup+310.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 24532 0 0 0 30913 87 0 0 25 0 1 0 689571214 27574272 5754 4294967295 134512640 134714508 3221221792 3221218064 1074961138 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6732 5754 1111 63 0 6669 0 vsize: 26928 [startup+320.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 27024 0 0 0 31907 94 0 0 25 0 1 0 689571214 26353664 5733 4294967295 134512640 134714508 3221221792 3221220096 1074146142 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6434 5733 1111 63 0 6371 0 vsize: 25736 [startup+330.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 29213 0 0 0 32901 100 0 0 25 0 1 0 689571214 27987968 5996 4294967295 134512640 134714508 3221221792 3221217752 1075964740 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6833 5996 1111 63 0 6770 0 vsize: 27332 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 31513 0 0 0 33895 106 0 0 25 0 1 0 689571214 28045312 5885 4294967295 134512640 134714508 3221221792 3221218944 1075969851 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6847 5885 1111 63 0 6784 0 vsize: 27388 [startup+350.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 34268 0 0 0 34888 113 0 0 25 0 1 0 689571214 27787264 5805 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6784 5805 1111 63 0 6721 0 vsize: 27136 [startup+360.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 36726 0 0 0 35881 120 0 0 25 0 1 0 689571214 28078080 5879 4294967295 134512640 134714508 3221221792 3221218000 1074815208 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6855 5879 1111 63 0 6792 0 vsize: 27420 [startup+370.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 38831 0 0 0 36875 126 0 0 25 0 1 0 689571214 28336128 5999 4294967295 134512640 134714508 3221221792 3221217940 1075964413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6918 5999 1111 63 0 6855 0 vsize: 27672 [startup+380.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 41070 0 0 0 37870 131 0 0 25 0 1 0 689571214 28184576 5917 4294967295 134512640 134714508 3221221792 3221217940 1075964401 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6881 5917 1111 63 0 6818 0 vsize: 27524 [startup+390.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 42788 0 0 0 38865 136 0 0 25 0 1 0 689571214 28340224 5979 4294967295 134512640 134714508 3221221792 3221218792 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6919 5979 1111 63 0 6856 0 vsize: 27676 [startup+400.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 44685 0 0 0 39861 141 0 0 25 0 1 0 689571214 28176384 5957 4294967295 134512640 134714508 3221221792 3221217944 1074883029 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6879 5957 1111 63 0 6816 0 vsize: 27516 [startup+410.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 46708 0 0 0 40855 147 0 0 25 0 1 0 689571214 28176384 5967 4294967295 134512640 134714508 3221221792 3221218796 1074621032 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6879 5967 1111 63 0 6816 0 vsize: 27516 [startup+420.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 48338 0 0 0 41850 153 0 0 25 0 1 0 689571214 28176384 5968 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6879 5968 1111 63 0 6816 0 vsize: 27516 [startup+430.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 49841 0 0 0 42846 157 0 0 25 0 1 0 689571214 28176384 5927 4294967295 134512640 134714508 3221221792 3221218112 1075169848 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6879 5927 1111 63 0 6816 0 vsize: 27516 [startup+440.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 51401 0 0 0 43841 162 0 0 25 0 1 0 689571214 28176384 5951 4294967295 134512640 134714508 3221221792 3221217996 1075564165 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6879 5951 1111 63 0 6816 0 vsize: 27516 [startup+450.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 52651 0 0 0 44838 165 0 0 25 0 1 0 689571214 28360704 6013 4294967295 134512640 134714508 3221221792 3221217692 1074787727 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6924 6013 1111 63 0 6861 0 vsize: 27696 [startup+460.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 54124 0 0 0 45834 169 0 0 25 0 1 0 689571214 28319744 5978 4294967295 134512640 134714508 3221221792 3221218944 1075969871 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6914 5978 1111 63 0 6851 0 vsize: 27656 [startup+470.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 55798 0 0 0 46830 174 0 0 25 0 1 0 689571214 28176384 5951 4294967295 134512640 134714508 3221221792 3221218368 1076047903 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6879 5952 1111 63 0 6816 0 vsize: 27516 [startup+480.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 57307 0 0 0 47825 178 0 0 25 0 1 0 689571214 28360704 5985 4294967295 134512640 134714508 3221221792 3221217936 1074969455 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6924 5985 1111 63 0 6861 0 vsize: 27696 [startup+490.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 58871 0 0 0 48822 182 0 0 25 0 1 0 689571214 26955776 5881 4294967295 134512640 134714508 3221221792 3221220176 1074153669 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6581 5881 1111 63 0 6518 0 vsize: 26324 [startup+500.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 60512 0 0 0 49818 186 0 0 25 0 1 0 689571214 26955776 5881 4294967295 134512640 134714508 3221221792 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6581 5881 1111 63 0 6518 0 vsize: 26324 [startup+510.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 62174 0 0 0 50813 191 0 0 25 0 1 0 689571214 28315648 5961 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6913 5961 1111 63 0 6850 0 vsize: 27652 [startup+520.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 63786 0 0 0 51809 195 0 0 25 0 1 0 689571214 26955776 5881 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6581 5881 1111 63 0 6518 0 vsize: 26324 [startup+530.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 65168 0 0 0 52806 198 0 0 25 0 1 0 689571214 26955776 5881 4294967295 134512640 134714508 3221221792 3221220176 1074153800 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6581 5881 1111 63 0 6518 0 vsize: 26324 [startup+540.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 66963 0 0 0 53802 202 0 0 25 0 1 0 689571214 28475392 5994 4294967295 134512640 134714508 3221221792 3221218128 1075113423 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6952 5994 1111 63 0 6889 0 vsize: 27808 [startup+550.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 68729 0 0 0 54797 208 0 0 25 0 1 0 689571214 28348416 5969 4294967295 134512640 134714508 3221221792 3221218864 1074867320 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6921 5969 1111 63 0 6858 0 vsize: 27684 [startup+560.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 70554 0 0 0 55792 213 0 0 25 0 1 0 689571214 26955776 5881 4294967295 134512640 134714508 3221221792 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6581 5881 1111 63 0 6518 0 vsize: 26324 [startup+570.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 71891 0 0 0 56789 216 0 0 25 0 1 0 689571214 28479488 6020 4294967295 134512640 134714508 3221221792 3221218012 1075116781 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6953 6020 1111 63 0 6890 0 vsize: 27812 [startup+580.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 74000 0 0 0 57783 223 0 0 25 0 1 0 689571214 27770880 5968 4294967295 134512640 134714508 3221221792 3221217760 1075965246 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6780 5968 1111 63 0 6717 0 vsize: 27120 [startup+590.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 76122 0 0 0 58776 229 0 0 25 0 1 0 689571214 28340224 5964 4294967295 134512640 134714508 3221221792 3221217660 1074787806 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6919 5964 1111 63 0 6856 0 vsize: 27676 [startup+600.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 77858 0 0 0 59771 235 0 0 25 0 1 0 689571214 28311552 5954 4294967295 134512640 134714508 3221221792 3221217740 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6912 5954 1111 63 0 6849 0 vsize: 27648 [startup+610.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 80411 0 0 0 60765 241 0 0 25 0 1 0 689571214 28176384 5940 4294967295 134512640 134714508 3221221792 3221217836 1074873512 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6879 5940 1111 63 0 6816 0 vsize: 27516 [startup+620.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 82329 0 0 0 61760 245 0 0 25 0 1 0 689571214 28315648 5998 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6913 5998 1111 63 0 6850 0 vsize: 27652 [startup+630.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 84205 0 0 0 62756 250 0 0 25 0 1 0 689571214 26955776 5881 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6581 5881 1111 63 0 6518 0 vsize: 26324 [startup+640.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 85830 0 0 0 63752 254 0 0 25 0 1 0 689571214 27938816 5989 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6821 5989 1111 63 0 6758 0 vsize: 27284 [startup+650.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 87644 0 0 0 64748 259 0 0 25 0 1 0 689571214 28315648 5973 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6913 5976 1111 63 0 6850 0 vsize: 27652 [startup+660.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 89806 0 0 0 65743 263 0 0 25 0 1 0 689571214 26959872 5882 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6582 5882 1111 63 0 6519 0 vsize: 26328 [startup+670.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 91618 0 0 0 66737 269 0 0 25 0 1 0 689571214 28459008 5996 4294967295 134512640 134714508 3221221792 3221217696 1075965260 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6948 5996 1111 63 0 6885 0 vsize: 27792 [startup+680.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 93600 0 0 0 67732 275 0 0 25 0 1 0 689571214 26959872 5882 4294967295 134512640 134714508 3221221792 3221220576 134529249 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6582 5882 1111 63 0 6519 0 vsize: 26328 [startup+690.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 95779 0 0 0 68725 281 0 0 25 0 1 0 689571214 27975680 6022 4294967295 134512640 134714508 3221221792 3221217952 1075095115 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6830 6022 1111 63 0 6767 0 vsize: 27320 [startup+700.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 97764 0 0 0 69720 287 0 0 25 0 1 0 689571214 28614656 6063 4294967295 134512640 134714508 3221221792 3221217688 1074789631 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6986 6063 1111 63 0 6923 0 vsize: 27944 [startup+710.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 100011 0 0 0 70714 293 0 0 25 0 1 0 689571214 28540928 6023 4294967295 134512640 134714508 3221221792 3221218020 1075115112 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6968 6023 1111 63 0 6905 0 vsize: 27872 [startup+720.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 102169 0 0 0 71709 298 0 0 25 0 1 0 689571214 26959872 5882 4294967295 134512640 134714508 3221221792 3221220056 1074138150 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6582 5882 1111 63 0 6519 0 vsize: 26328 [startup+730.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 104780 0 0 0 72702 306 0 0 25 0 1 0 689571214 28180480 5933 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6880 5933 1111 63 0 6817 0 vsize: 27520 [startup+740.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 107484 0 0 0 73694 313 0 0 25 0 1 0 689571214 28643328 6050 4294967295 134512640 134714508 3221221792 3221218128 1075113502 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6993 6050 1111 63 0 6930 0 vsize: 27972 [startup+750.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 109792 0 0 0 74689 319 0 0 25 0 1 0 689571214 28684288 6050 4294967295 134512640 134714508 3221221792 3221217940 1075964390 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7003 6050 1111 63 0 6940 0 vsize: 28012 [startup+760.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 111930 0 0 0 75684 324 0 0 25 0 1 0 689571214 26959872 5882 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6582 5882 1111 63 0 6519 0 vsize: 26328 [startup+770.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 114264 0 0 0 76677 331 0 0 25 0 1 0 689571214 27009024 5894 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6594 5894 1111 63 0 6531 0 vsize: 26376 [startup+780.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 116032 0 0 0 77673 336 0 0 25 0 1 0 689571214 28680192 6080 4294967295 134512640 134714508 3221221792 3221217936 1074970210 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7002 6080 1111 63 0 6939 0 vsize: 28008 [startup+790.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 118484 0 0 0 78666 342 0 0 25 0 1 0 689571214 28676096 6057 4294967295 134512640 134714508 3221221792 3221218384 1074886988 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7001 6057 1111 63 0 6938 0 vsize: 28004 [startup+800.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 120854 0 0 0 79662 347 0 0 25 0 1 0 689571214 27009024 5894 4294967295 134512640 134714508 3221221792 3221220144 1074115241 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6594 5894 1111 63 0 6531 0 vsize: 26376 [startup+810.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 123158 0 0 0 80656 353 0 0 25 0 1 0 689571214 26984448 5888 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6588 5888 1111 63 0 6525 0 vsize: 26352 [startup+820.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 125464 0 0 0 81651 358 0 0 25 0 1 0 689571214 28413952 5993 4294967295 134512640 134714508 3221221792 3221217936 1074969734 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6937 5993 1111 63 0 6874 0 vsize: 27748 [startup+830.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 128161 0 0 0 82645 364 0 0 25 0 1 0 689571214 27095040 5909 4294967295 134512640 134714508 3221221792 3221219792 1074916731 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6615 5909 1111 63 0 6552 0 vsize: 26460 [startup+840.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 130930 0 0 0 83638 371 0 0 25 0 1 0 689571214 28610560 6034 4294967295 134512640 134714508 3221221792 3221218020 1075115076 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6985 6034 1111 63 0 6922 0 vsize: 27940 [startup+850.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 133483 0 0 0 84632 378 0 0 25 0 1 0 689571214 28372992 5932 4294967295 134512640 134714508 3221221792 3221218912 1074837202 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6927 5932 1111 63 0 6864 0 vsize: 27708 [startup+860.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 135627 0 0 0 85628 382 0 0 25 0 1 0 689571214 28372992 5961 4294967295 134512640 134714508 3221221792 3221217952 1074794695 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6927 5961 1111 63 0 6864 0 vsize: 27708 [startup+870.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 137836 0 0 0 86623 387 0 0 25 0 1 0 689571214 27009024 5894 4294967295 134512640 134714508 3221221792 3221219816 1077380592 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6594 5894 1111 63 0 6531 0 vsize: 26376 [startup+880.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 140045 0 0 0 87618 392 0 0 25 0 1 0 689571214 28704768 6067 4294967295 134512640 134714508 3221221792 3221217688 1074789596 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7008 6067 1111 63 0 6945 0 vsize: 28032 [startup+890.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 142620 0 0 0 88611 400 0 0 25 0 1 0 689571214 27058176 5906 4294967295 134512640 134714508 3221221792 3221219996 1074206432 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6606 5906 1111 63 0 6543 0 vsize: 26424 [startup+900.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 145269 0 0 0 89604 407 0 0 25 0 1 0 689571214 28782592 6117 4294967295 134512640 134714508 3221221792 3221217936 1074969458 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7027 6117 1111 63 0 6964 0 vsize: 28108 [startup+910.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 146926 0 0 0 90600 411 0 0 25 0 1 0 689571214 27058176 5906 4294967295 134512640 134714508 3221221792 3221220176 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6606 5906 1111 63 0 6543 0 vsize: 26424 [startup+920.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 149503 0 0 0 91594 417 0 0 25 0 1 0 689571214 28311552 6093 4294967295 134512640 134714508 3221221792 3221218032 1075115712 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6912 6093 1111 63 0 6849 0 vsize: 27648 [startup+930.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 152358 0 0 0 92587 424 0 0 25 0 1 0 689571214 28733440 6064 4294967295 134512640 134714508 3221221792 3221217848 1074789527 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7015 6064 1111 63 0 6952 0 vsize: 28060 [startup+940.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 154813 0 0 0 93581 430 0 0 25 0 1 0 689571214 28524544 6019 4294967295 134512640 134714508 3221221792 3221218448 1075967910 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6964 6019 1111 63 0 6901 0 vsize: 27856 [startup+950.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 157752 0 0 0 94573 439 0 0 25 0 1 0 689571214 28069888 6015 4294967295 134512640 134714508 3221221792 3221217760 1075965232 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6853 6015 1111 63 0 6790 0 vsize: 27412 [startup+960.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 160346 0 0 0 95566 445 0 0 25 0 1 0 689571214 28311552 6069 4294967295 134512640 134714508 3221221792 3221217892 1075964278 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6912 6069 1111 63 0 6849 0 vsize: 27648 [startup+970.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 163071 0 0 0 96559 452 0 0 25 0 1 0 689571214 28332032 6073 4294967295 134512640 134714508 3221221792 3221217936 1074969680 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6917 6073 1111 63 0 6854 0 vsize: 27668 [startup+980.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 165960 0 0 0 97552 460 0 0 25 0 1 0 689571214 28590080 6041 4294967295 134512640 134714508 3221221792 3221218888 1074867169 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6980 6041 1111 63 0 6917 0 vsize: 27920 [startup+990.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 168894 0 0 0 98546 466 0 0 25 0 1 0 689571214 28180480 6056 4294967295 134512640 134714508 3221221792 3221217668 1074786520 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6880 6056 1111 63 0 6817 0 vsize: 27520 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 171339 0 0 0 99539 473 0 0 25 0 1 0 689571214 28610560 6034 4294967295 134512640 134714508 3221221792 3221218816 1074810415 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6985 6036 1111 63 0 6922 0 vsize: 27940 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 173508 0 0 0 100534 478 0 0 25 0 1 0 689571214 27152384 5929 4294967295 134512640 134714508 3221221792 3221219252 1077782939 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6629 5929 1111 63 0 6566 0 vsize: 26516 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 176266 0 0 0 101529 484 0 0 25 0 1 0 689571214 28749824 6066 4294967295 134512640 134714508 3221221792 3221217848 1074789795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7019 6066 1111 63 0 6956 0 vsize: 28076 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 178817 0 0 0 102523 489 0 0 25 0 1 0 689571214 28811264 6193 4294967295 134512640 134714508 3221221792 3221217676 1074788977 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7034 6193 1111 63 0 6971 0 vsize: 28136 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 181501 0 0 0 103517 496 0 0 25 0 1 0 689571214 28524544 6135 4294967295 134512640 134714508 3221221792 3221218000 1074815309 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6964 6135 1111 63 0 6901 0 vsize: 27856 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 183924 0 0 0 104511 502 0 0 25 0 1 0 689571214 28844032 6124 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7042 6124 1111 63 0 6979 0 vsize: 28168 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 186388 0 0 0 105507 507 0 0 25 0 1 0 689571214 28758016 6053 4294967295 134512640 134714508 3221221792 3221217740 1074788930 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7021 6053 1111 63 0 6958 0 vsize: 28084 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 189105 0 0 0 106501 513 0 0 25 0 1 0 689571214 28459008 5994 4294967295 134512640 134714508 3221221792 3221217836 1074873351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6948 5994 1111 63 0 6885 0 vsize: 27792 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 191603 0 0 0 107495 519 0 0 25 0 1 0 689571214 28815360 6084 4294967295 134512640 134714508 3221221792 3221218000 1074815253 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7035 6084 1111 63 0 6972 0 vsize: 28140 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 194148 0 0 0 108489 525 0 0 25 0 1 0 689571214 28614656 6012 4294967295 134512640 134714508 3221221792 3221218912 1074834473 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6986 6012 1111 63 0 6923 0 vsize: 27944 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 197474 0 0 0 109481 533 0 0 25 0 1 0 689571214 28504064 6006 4294967295 134512640 134714508 3221221792 3221217740 1074788921 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6959 6006 1111 63 0 6896 0 vsize: 27836 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 200453 0 0 0 110473 541 0 0 25 0 1 0 689571214 27090944 5914 4294967295 134512640 134714508 3221221792 3221220400 134650198 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6614 5914 1111 63 0 6551 0 vsize: 26456 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 203391 0 0 0 111466 548 0 0 25 0 1 0 689571214 27127808 5923 4294967295 134512640 134714508 3221221792 3221220148 1074208592 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6623 5923 1111 63 0 6560 0 vsize: 26492 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 206271 0 0 0 112459 556 0 0 25 0 1 0 689571214 27127808 5923 4294967295 134512640 134714508 3221221792 3221220192 1074153773 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6623 5923 1111 63 0 6560 0 vsize: 26492 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 208993 0 0 0 113452 563 0 0 25 0 1 0 689571214 27127808 5923 4294967295 134512640 134714508 3221221792 3221220192 1074153893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6623 5923 1111 63 0 6560 0 vsize: 26492 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 211883 0 0 0 114444 571 0 0 25 0 1 0 689571214 27127808 5923 4294967295 134512640 134714508 3221221792 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6623 5923 1111 63 0 6560 0 vsize: 26492 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 214840 0 0 0 115436 579 0 0 25 0 1 0 689571214 27127808 5923 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6623 5923 1111 63 0 6560 0 vsize: 26492 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 217104 0 0 0 116432 583 0 0 25 0 1 0 689571214 28487680 6147 4294967295 134512640 134714508 3221221792 3221217892 1075964248 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6955 6147 1111 63 0 6892 0 vsize: 27820 [startup+1175.21 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 12204 Raw data (stat): 12204 (bsolo_lpr) R 12203 7876 7672 0 -1 0 217104 0 0 0 116432 583 0 0 25 0 1 0 689571214 28487680 6147 4294967295 134512640 134714508 3221221792 3221217892 1075964248 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6955 6147 1111 63 0 6892 0 vsize: 0 Child status: 10 Real time (s): 1175.21 CPU time (s): 1175.34 CPU user time (s): 1169.47 CPU system time (s): 5.87711 CPU usage (%): 100.011 Max. virtual memory (Kb): 28168 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 334 #### END VERIFIER DATA ####