Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a3.opb |
MD5SUM | a430664a9b4f203a5896b33ca2b0e0e5 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 191 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 528 |
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 | 528 |
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 | 528 |
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.02384 |
Number of variables | 528 |
Total number of constraints | 1816 |
Number of constraints which are clauses | 1816 |
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 | 8 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-08 19:43:42 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28779 boxname=wulflinc2 idbench=165 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: a430664a9b4f203a5896b33ca2b0e0e5 /oldhome/oroussel/tmp/wulflinc2/normalized-ii8a3.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-ii8a3.opb IDLAUNCH: 28779 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 872468 kB Buffers: 24672 kB Cached: 115596 kB SwapCached: 1376 kB Active: 28160 kB Inactive: 114168 kB HighTotal: 131008 kB HighFree: 29736 kB LowTotal: 903652 kB LowFree: 842732 kB SwapTotal: 2097136 kB SwapFree: 2094724 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4996 kB Slab: 14080 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 20:03:18 (client local time) WITH STATUS 10 IN 1176.08 SECONDS stats: 28779 0 1176.08 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 528 variables and 1816 constraints. c After prepocess the problem consists of 528 variables and 2110 constraints. c preprocess terminated 2.67 s c Initial Lower Bound: 167 c Lower Bound Elapsed time: 2.507 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 264 @ 5.207 c NEW SOLUTION FOUND: 263 @ 5.208 c NEW SOLUTION FOUND: 262 @ 5.215 c NEW SOLUTION FOUND: 261 @ 5.222 c NEW SOLUTION FOUND: 260 @ 5.229 c NEW SOLUTION FOUND: 258 @ 5.237 c NEW SOLUTION FOUND: 257 @ 5.246 c NEW SOLUTION FOUND: 256 @ 5.255 c NEW SOLUTION FOUND: 255 @ 5.264 c NEW SOLUTION FOUND: 254 @ 5.282 c NEW SOLUTION FOUND: 253 @ 5.292 c NEW SOLUTION FOUND: 252 @ 5.302 c NEW SOLUTION FOUND: 251 @ 5.312 c NEW SOLUTION FOUND: 250 @ 5.332 c NEW SOLUTION FOUND: 249 @ 5.343 c NEW SOLUTION FOUND: 248 @ 5.354 c NEW SOLUTION FOUND: 247 @ 5.364 c NEW SOLUTION FOUND: 246 @ 5.376 c NEW SOLUTION FOUND: 245 @ 5.387 c NEW SOLUTION FOUND: 244 @ 5.399 c NEW SOLUTION FOUND: 243 @ 5.411 c NEW SOLUTION FOUND: 242 @ 5.423 c NEW SOLUTION FOUND: 241 @ 5.436 c NEW SOLUTION FOUND: 240 @ 5.45 c NEW SOLUTION FOUND: 239 @ 5.463 c NEW SOLUTION FOUND: 237 @ 5.483 c NEW SOLUTION FOUND: 234 @ 5.508 c NEW SOLUTION FOUND: 233 @ 5.551 c NEW SOLUTION FOUND: 232 @ 5.573 c NEW SOLUTION FOUND: 231 @ 5.595 c NEW SOLUTION FOUND: 230 @ 5.618 c NEW SOLUTION FOUND: 229 @ 5.641 c NEW SOLUTION FOUND: 228 @ 5.723 c NEW SOLUTION FOUND: 227 @ 5.762 c NEW SOLUTION FOUND: 226 @ 5.834 c NEW SOLUTION FOUND: 225 @ 5.881 c NEW SOLUTION FOUND: 224 @ 5.926 c NEW SOLUTION FOUND: 223 @ 6.02 c NEW SOLUTION FOUND: 222 @ 6.068 c NEW SOLUTION FOUND: 221 @ 6.112 c NEW SOLUTION FOUND: 220 @ 6.161 c NEW SOLUTION FOUND: 219 @ 6.264 c NEW SOLUTION FOUND: 218 @ 6.316 c NEW SOLUTION FOUND: 217 @ 6.369 c NEW SOLUTION FOUND: 216 @ 6.42 c NEW SOLUTION FOUND: 215 @ 6.468 c NEW SOLUTION FOUND: 214 @ 6.58 c NEW SOLUTION FOUND: 213 @ 6.636 c NEW SOLUTION FOUND: 212 @ 6.687 c NEW SOLUTION FOUND: 211 @ 6.741 c NEW SOLUTION FOUND: 210 @ 6.795 c NEW SOLUTION FOUND: 209 @ 6.858 c NEW SOLUTION FOUND: 199 @ 9.369 c NEW SOLUTION FOUND: 198 @ 105.233 c NEW SOLUTION FOUND: 191 @ 133.464 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 c Exit Code: 10 c Total time: 1176.07 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.92 0.98 0.92 1/54 15270 Raw data (stat): 15270 (runsolver) R 15269 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904251009 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0003 s] Raw data (loadavg): 0.93 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 4791 0 0 0 980 16 0 0 25 0 1 0 904251009 8187904 1320 4294967295 134512640 134716908 3221224576 3221222820 1077374077 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1999 1320 1111 63 0 1936 0 vsize: 7996 [startup+20.0003 s] Raw data (loadavg): 0.94 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 8508 0 0 0 1969 27 0 0 25 0 1 0 904251009 8695808 1434 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2123 1434 1111 63 0 2060 0 vsize: 8492 [startup+30.001 s] Raw data (loadavg): 0.95 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 12231 0 0 0 2958 39 0 0 25 0 1 0 904251009 9822208 1522 4294967295 134512640 134716908 3221224576 3221220848 1074800005 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2398 1522 1111 63 0 2335 0 vsize: 9592 [startup+40.0004 s] Raw data (loadavg): 0.96 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 15721 0 0 0 3948 49 0 0 25 0 1 0 904251009 9969664 1565 4294967295 134512640 134716908 3221224576 3221221608 1077410285 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2434 1565 1111 63 0 2371 0 vsize: 9736 [startup+50.0014 s] Raw data (loadavg): 0.96 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 19768 0 0 0 4936 61 0 0 25 0 1 0 904251009 10031104 1574 4294967295 134512640 134716908 3221224576 3221220540 1074787912 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2449 1574 1111 63 0 2386 0 vsize: 9796 [startup+60.0011 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 23357 0 0 0 5925 72 0 0 25 0 1 0 904251009 9187328 1544 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2243 1544 1111 63 0 2180 0 vsize: 8972 [startup+70.0004 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 27433 0 0 0 6914 83 0 0 25 0 1 0 904251009 10305536 1650 4294967295 134512640 134716908 3221224576 3221220472 1074789527 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2516 1650 1111 63 0 2453 0 vsize: 10064 [startup+80.0015 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 31547 0 0 0 7901 96 0 0 25 0 1 0 904251009 9388032 1603 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2292 1603 1111 63 0 2229 0 vsize: 9168 [startup+90.0011 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 34968 0 0 0 8891 107 0 0 25 0 1 0 904251009 9527296 1634 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2326 1634 1111 63 0 2263 0 vsize: 9304 [startup+100.002 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 40016 0 0 0 9877 121 0 0 25 0 1 0 904251009 9592832 1643 4294967295 134512640 134716908 3221224576 3221223088 134646691 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2342 1643 1111 63 0 2279 0 vsize: 9368 [startup+110.002 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 44839 0 0 0 10863 134 0 0 25 0 1 0 904251009 9859072 1709 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2407 1709 1111 63 0 2344 0 vsize: 9628 [startup+120.001 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 49579 0 0 0 11851 147 0 0 25 0 1 0 904251009 9908224 1724 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2419 1724 1111 63 0 2356 0 vsize: 9676 [startup+130.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 55160 0 0 0 12834 164 0 0 25 0 1 0 904251009 11206656 1858 4294967295 134512640 134716908 3221224576 3221220472 1074789701 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2736 1858 1111 63 0 2673 0 vsize: 10944 [startup+140.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 59207 0 0 0 13820 177 0 0 25 0 1 0 904251009 11202560 1850 4294967295 134512640 134716908 3221224576 3221220536 1074789584 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2735 1851 1111 63 0 2672 0 vsize: 10940 [startup+150.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 62201 0 0 0 14811 187 0 0 25 0 1 0 904251009 11329536 1896 4294967295 134512640 134716908 3221224576 3221220632 1074789548 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2766 1896 1111 63 0 2703 0 vsize: 11064 [startup+160.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 66661 0 0 0 15798 200 0 0 25 0 1 0 904251009 10690560 1898 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2610 1898 1111 63 0 2547 0 vsize: 10440 [startup+170.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 70734 0 0 0 16786 212 0 0 25 0 1 0 904251009 10801152 1923 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2637 1923 1111 63 0 2574 0 vsize: 10548 [startup+180.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 75481 0 0 0 17775 224 0 0 25 0 1 0 904251009 11685888 1982 4294967295 134512640 134716908 3221224576 3221220720 1074969490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2853 1982 1111 63 0 2790 0 vsize: 11412 [startup+190.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 79980 0 0 0 18762 237 0 0 25 0 1 0 904251009 11808768 2010 4294967295 134512640 134716908 3221224576 3221220456 1074788427 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2883 2010 1111 63 0 2820 0 vsize: 11532 [startup+200.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 84523 0 0 0 19749 250 0 0 25 0 1 0 904251009 12066816 2046 4294967295 134512640 134716908 3221224576 3221220780 1075564165 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2946 2046 1111 63 0 2883 0 vsize: 11784 [startup+210.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 89097 0 0 0 20737 262 0 0 25 0 1 0 904251009 12312576 2116 4294967295 134512640 134716908 3221224576 3221220912 1075113493 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3006 2116 1111 63 0 2943 0 vsize: 12024 [startup+220.001 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 91700 0 0 0 21729 270 0 0 25 0 1 0 904251009 11239424 2073 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2744 2073 1111 63 0 2681 0 vsize: 10976 [startup+230.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 94586 0 0 0 22720 279 0 0 25 0 1 0 904251009 12451840 2146 4294967295 134512640 134716908 3221224576 3221220660 1075964384 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3040 2146 1111 63 0 2977 0 vsize: 12160 [startup+240.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 98721 0 0 0 23708 292 0 0 25 0 1 0 904251009 11563008 2130 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2823 2130 1111 63 0 2760 0 vsize: 11292 [startup+250.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 103461 0 0 0 24695 305 0 0 25 0 1 0 904251009 12812288 2228 4294967295 134512640 134716908 3221224576 3221220720 1074970275 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3128 2228 1111 63 0 3065 0 vsize: 12512 [startup+260.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 107336 0 0 0 25682 318 0 0 25 0 1 0 904251009 11710464 2188 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2859 2188 1111 63 0 2796 0 vsize: 11436 [startup+270.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 111822 0 0 0 26669 331 0 0 25 0 1 0 904251009 13037568 2273 4294967295 134512640 134716908 3221224576 3221220848 1074960671 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3183 2273 1111 63 0 3120 0 vsize: 12732 [startup+280.002 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 116418 0 0 0 27657 344 0 0 25 0 1 0 904251009 11759616 2200 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2871 2200 1111 63 0 2808 0 vsize: 11484 [startup+290.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 120275 0 0 0 28646 355 0 0 25 0 1 0 904251009 12345344 2325 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3014 2325 1111 63 0 2951 0 vsize: 12056 [startup+300.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 123756 0 0 0 29636 364 0 0 25 0 1 0 904251009 12009472 2261 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2932 2261 1111 63 0 2869 0 vsize: 11728 [startup+310.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 127654 0 0 0 30625 376 0 0 25 0 1 0 904251009 13541376 2434 4294967295 134512640 134716908 3221224576 3221221568 1075110521 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3306 2434 1111 63 0 3243 0 vsize: 13224 [startup+320.003 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 131786 0 0 0 31614 387 0 0 25 0 1 0 904251009 13697024 2448 4294967295 134512640 134716908 3221224576 3221220848 1074961267 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3344 2448 1111 63 0 3281 0 vsize: 13376 [startup+330.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 135335 0 0 0 32605 397 0 0 25 0 1 0 904251009 13860864 2535 4294967295 134512640 134716908 3221224576 3221220824 1077410163 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3384 2535 1111 63 0 3321 0 vsize: 13536 [startup+340.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 139204 0 0 0 33594 408 0 0 25 0 1 0 904251009 12414976 2360 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3031 2360 1111 63 0 2968 0 vsize: 12124 [startup+350.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 143543 0 0 0 34583 419 0 0 25 0 1 0 904251009 12652544 2410 4294967295 134512640 134716908 3221224576 3221222576 1074916850 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3089 2410 1111 63 0 3026 0 vsize: 12356 [startup+360.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 147865 0 0 0 35570 432 0 0 25 0 1 0 904251009 14065664 2567 4294967295 134512640 134716908 3221224576 3221220668 1075663516 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3434 2567 1111 63 0 3371 0 vsize: 13736 [startup+370.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 152204 0 0 0 36557 445 0 0 25 0 1 0 904251009 14204928 2586 4294967295 134512640 134716908 3221224576 3221220816 1075115712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3468 2586 1111 63 0 3405 0 vsize: 13872 [startup+380.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 155832 0 0 0 37547 456 0 0 25 0 1 0 904251009 13336576 2539 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3256 2539 1111 63 0 3193 0 vsize: 13024 [startup+390.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 159492 0 0 0 38536 466 0 0 25 0 1 0 904251009 14323712 2638 4294967295 134512640 134716908 3221224576 3221220804 1075114969 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3497 2638 1111 63 0 3434 0 vsize: 13988 [startup+400.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 163209 0 0 0 39525 478 0 0 25 0 1 0 904251009 14442496 2650 4294967295 134512640 134716908 3221224576 3221220804 1075114950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3526 2650 1111 63 0 3463 0 vsize: 14104 [startup+410.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 167267 0 0 0 40513 490 0 0 25 0 1 0 904251009 14491648 2639 4294967295 134512640 134716908 3221224576 3221221696 1074835532 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3538 2639 1111 63 0 3475 0 vsize: 14152 [startup+420.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 171208 0 0 0 41503 500 0 0 25 0 1 0 904251009 14774272 2746 4294967295 134512640 134716908 3221224576 3221221104 1075397189 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3607 2746 1111 63 0 3544 0 vsize: 14428 [startup+430.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 174846 0 0 0 42492 511 0 0 25 0 1 0 904251009 13279232 2571 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3242 2571 1111 63 0 3179 0 vsize: 12968 [startup+440.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 178424 0 0 0 43482 521 0 0 25 0 1 0 904251009 14934016 2780 4294967295 134512640 134716908 3221224576 3221220780 1075564295 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3646 2780 1111 63 0 3583 0 vsize: 14584 [startup+450.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 181397 0 0 0 44474 530 0 0 25 0 1 0 904251009 14868480 2711 4294967295 134512640 134716908 3221224576 3221220896 1075859351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3630 2711 1111 63 0 3567 0 vsize: 14520 [startup+460.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 184761 0 0 0 45465 539 0 0 25 0 1 0 904251009 13561856 2640 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3311 2640 1111 63 0 3248 0 vsize: 13244 [startup+470.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 188103 0 0 0 46456 548 0 0 25 0 1 0 904251009 14241792 2774 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3477 2774 1111 63 0 3414 0 vsize: 13908 [startup+480.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 191366 0 0 0 47447 558 0 0 25 0 1 0 904251009 14282752 2769 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3487 2769 1111 63 0 3424 0 vsize: 13948 [startup+490.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 195293 0 0 0 48436 569 0 0 25 0 1 0 904251009 15241216 2808 4294967295 134512640 134716908 3221224576 3221220720 1074970277 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3721 2808 1111 63 0 3658 0 vsize: 14884 [startup+500.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 198470 0 0 0 49425 579 0 0 25 0 1 0 904251009 14041088 2757 4294967295 134512640 134716908 3221224576 3221223224 134542412 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3428 2757 1111 63 0 3365 0 vsize: 13712 [startup+510.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 202118 0 0 0 50415 590 0 0 25 0 1 0 904251009 14655488 2865 4294967295 134512640 134716908 3221224576 3221222960 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3578 2865 1111 63 0 3515 0 vsize: 14312 [startup+520.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 205812 0 0 0 51405 600 0 0 25 0 1 0 904251009 15581184 2926 4294967295 134512640 134716908 3221224576 3221221520 1074620113 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3804 2926 1111 63 0 3741 0 vsize: 15216 [startup+530.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 209694 0 0 0 52393 612 0 0 25 0 1 0 904251009 15470592 2880 4294967295 134512640 134716908 3221224576 3221221604 1075964248 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3777 2880 1111 63 0 3714 0 vsize: 15108 [startup+540.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 213061 0 0 0 53384 622 0 0 25 0 1 0 904251009 15773696 2956 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3851 2956 1111 63 0 3788 0 vsize: 15404 [startup+550.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 216545 0 0 0 54375 631 0 0 25 0 1 0 904251009 15814656 2971 4294967295 134512640 134716908 3221224576 3221220816 1075115734 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3861 2971 1111 63 0 3798 0 vsize: 15444 [startup+560.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 220581 0 0 0 55363 642 0 0 25 0 1 0 904251009 15974400 3029 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3900 3029 1111 63 0 3837 0 vsize: 15600 [startup+570.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 223758 0 0 0 56354 653 0 0 25 0 1 0 904251009 14995456 2990 4294967295 134512640 134716908 3221224576 3221222536 1077380592 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3661 2990 1111 63 0 3598 0 vsize: 14644 [startup+580.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 225557 0 0 0 57348 658 0 0 25 0 1 0 904251009 16072704 3053 4294967295 134512640 134716908 3221224576 3221220848 1074961267 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3924 3053 1111 63 0 3861 0 vsize: 15696 [startup+590.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 227592 0 0 0 58341 665 0 0 25 0 1 0 904251009 15261696 3023 4294967295 134512640 134716908 3221224576 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3726 3023 1111 63 0 3663 0 vsize: 14904 [startup+600.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 229492 0 0 0 59336 672 0 0 25 0 1 0 904251009 15130624 3023 4294967295 134512640 134716908 3221224576 3221222976 1074153794 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3694 3023 1111 63 0 3631 0 vsize: 14776 [startup+610.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 231612 0 0 0 60328 680 0 0 25 0 1 0 904251009 15429632 3064 4294967295 134512640 134716908 3221224576 3221222960 1074153794 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3767 3064 1111 63 0 3704 0 vsize: 15068 [startup+620.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 234152 0 0 0 61319 689 0 0 25 0 1 0 904251009 16519168 3147 4294967295 134512640 134716908 3221224576 3221220740 1074791769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4033 3147 1111 63 0 3970 0 vsize: 16132 [startup+630.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 237339 0 0 0 62310 699 0 0 25 0 1 0 904251009 15564800 3105 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3800 3105 1111 63 0 3737 0 vsize: 15200 [startup+640.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 240832 0 0 0 63300 709 0 0 25 0 1 0 904251009 16625664 3167 4294967295 134512640 134716908 3221224576 3221220712 1074814821 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4059 3167 1111 63 0 3996 0 vsize: 16236 [startup+650.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 244801 0 0 0 64289 720 0 0 25 0 1 0 904251009 15814656 3142 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3861 3142 1111 63 0 3798 0 vsize: 15444 [startup+660.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 247823 0 0 0 65280 729 0 0 25 0 1 0 904251009 16900096 3256 4294967295 134512640 134716908 3221224576 3221220816 1075115741 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4126 3256 1111 63 0 4063 0 vsize: 16504 [startup+670.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 250996 0 0 0 66271 738 0 0 25 0 1 0 904251009 16973824 3281 4294967295 134512640 134716908 3221224576 3221221176 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4144 3281 1111 63 0 4081 0 vsize: 16576 [startup+680.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 254269 0 0 0 67261 748 0 0 25 0 1 0 904251009 16887808 3251 4294967295 134512640 134716908 3221224576 3221220472 1074789584 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4123 3251 1111 63 0 4060 0 vsize: 16492 [startup+690.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 257920 0 0 0 68251 759 0 0 25 0 1 0 904251009 17182720 3300 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4195 3300 1111 63 0 4132 0 vsize: 16780 [startup+700.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 261305 0 0 0 69240 770 0 0 25 0 1 0 904251009 17293312 3333 4294967295 134512640 134716908 3221224576 3221221696 1074834340 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4222 3333 1111 63 0 4159 0 vsize: 16888 [startup+710.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 264260 0 0 0 70231 779 0 0 25 0 1 0 904251009 15941632 3221 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3892 3221 1111 63 0 3829 0 vsize: 15568 [startup+720.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 267633 0 0 0 71221 789 0 0 25 0 1 0 904251009 16539648 3322 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4038 3322 1111 63 0 3975 0 vsize: 16152 [startup+730.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 271020 0 0 0 72212 798 0 0 25 0 1 0 904251009 16551936 3347 4294967295 134512640 134716908 3221224576 3221222788 1075964214 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4041 3347 1111 63 0 3978 0 vsize: 16164 [startup+740.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 274578 0 0 0 73202 808 0 0 25 0 1 0 904251009 17584128 3398 4294967295 134512640 134716908 3221224576 3221220816 1075115765 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4293 3398 1111 63 0 4230 0 vsize: 17172 [startup+750.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 278479 0 0 0 74192 819 0 0 25 0 1 0 904251009 16695296 3359 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4076 3359 1111 63 0 4013 0 vsize: 16304 [startup+760.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 282708 0 0 0 75180 831 0 0 25 0 1 0 904251009 17760256 3447 4294967295 134512640 134716908 3221224576 3221221388 1074788959 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4336 3447 1111 63 0 4273 0 vsize: 17344 [startup+770.025 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 285931 0 0 0 76170 842 0 0 25 0 1 0 904251009 16949248 3449 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4138 3449 1111 63 0 4075 0 vsize: 16552 [startup+780.025 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 288830 0 0 0 77160 851 0 0 25 0 1 0 904251009 17981440 3496 4294967295 134512640 134716908 3221224576 3221220912 1075113414 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4390 3496 1111 63 0 4327 0 vsize: 17560 [startup+790.025 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 292030 0 0 0 78150 862 0 0 25 0 1 0 904251009 18046976 3524 4294967295 134512640 134716908 3221224576 3221220912 1075113427 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4406 3524 1111 63 0 4343 0 vsize: 17624 [startup+800.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 295020 0 0 0 79142 870 0 0 25 0 1 0 904251009 17125376 3487 4294967295 134512640 134716908 3221224576 3221222888 1074138144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4181 3487 1111 63 0 4118 0 vsize: 16724 [startup+810.025 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 298078 0 0 0 80133 879 0 0 25 0 1 0 904251009 17203200 3512 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4200 3512 1111 63 0 4137 0 vsize: 16800 [startup+820.025 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 301112 0 0 0 81124 888 0 0 25 0 1 0 904251009 18309120 3543 4294967295 134512640 134716908 3221224576 3221221344 1076083427 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4470 3549 1111 63 0 4407 0 vsize: 17880 [startup+830.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 304258 0 0 0 82114 898 0 0 25 0 1 0 904251009 17342464 3537 4294967295 134512640 134716908 3221224576 3221223216 134651142 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4234 3537 1111 63 0 4171 0 vsize: 16936 [startup+840.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 307403 0 0 0 83105 907 0 0 25 0 1 0 904251009 17522688 3559 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4278 3559 1111 63 0 4215 0 vsize: 17112 [startup+850.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 311092 0 0 0 84095 918 0 0 25 0 1 0 904251009 17526784 3564 4294967295 134512640 134716908 3221224576 3221223056 1074031967 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4279 3564 1111 63 0 4216 0 vsize: 17116 [startup+860.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 314951 0 0 0 85085 928 0 0 25 0 1 0 904251009 17707008 3607 4294967295 134512640 134716908 3221224576 3221222960 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4323 3607 1111 63 0 4260 0 vsize: 17292 [startup+870.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 319240 0 0 0 86073 941 0 0 25 0 1 0 904251009 18702336 3695 4294967295 134512640 134716908 3221224576 3221220472 1074789711 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4566 3695 1111 63 0 4503 0 vsize: 18264 [startup+880.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 323521 0 0 0 87060 953 0 0 25 0 1 0 904251009 18595840 3657 4294967295 134512640 134716908 3221224576 3221220456 1074788440 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4540 3657 1111 63 0 4477 0 vsize: 18160 [startup+890.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 327776 0 0 0 88048 966 0 0 25 0 1 0 904251009 17424384 3583 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4254 3583 1111 63 0 4191 0 vsize: 17016 [startup+900.028 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 331864 0 0 0 89036 978 0 0 25 0 1 0 904251009 17567744 3618 4294967295 134512640 134716908 3221224576 3221223024 1073990411 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4289 3618 1111 63 0 4226 0 vsize: 17156 [startup+910.028 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 335857 0 0 0 90023 991 0 0 25 0 1 0 904251009 18948096 3759 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4626 3759 1111 63 0 4563 0 vsize: 18504 [startup+920.028 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 339604 0 0 0 91012 1002 0 0 25 0 1 0 904251009 19222528 3790 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4693 3791 1111 63 0 4630 0 vsize: 18772 [startup+930.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 343640 0 0 0 92002 1012 0 0 25 0 1 0 904251009 18395136 3774 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4491 3774 1111 63 0 4428 0 vsize: 17964 [startup+940.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 347384 0 0 0 92989 1026 0 0 25 0 1 0 904251009 18305024 3771 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4469 3771 1111 63 0 4406 0 vsize: 17876 [startup+950.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 351403 0 0 0 93978 1038 0 0 25 0 1 0 904251009 19517440 3888 4294967295 134512640 134716908 3221224576 3221220724 1075964406 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4765 3888 1111 63 0 4702 0 vsize: 19060 [startup+960.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 355350 0 0 0 94965 1050 0 0 25 0 1 0 904251009 19562496 3896 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4776 3896 1111 63 0 4713 0 vsize: 19104 [startup+970.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 359332 0 0 0 95955 1061 0 0 25 0 1 0 904251009 18292736 3795 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4466 3795 1111 63 0 4403 0 vsize: 17864 [startup+980.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15270 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 363249 0 0 0 96943 1072 0 0 25 0 1 0 904251009 19628032 3926 4294967295 134512640 134716908 3221224576 3221221152 1076046840 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4792 3926 1111 63 0 4729 0 vsize: 19168 [startup+990.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15323 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 367149 0 0 0 97929 1085 0 0 25 0 1 0 904251009 19910656 3995 4294967295 134512640 134716908 3221224576 3221220472 1074789534 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4861 3995 1111 63 0 4798 0 vsize: 19444 [startup+1000.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15323 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 370610 0 0 0 98920 1094 0 0 25 0 1 0 904251009 19075072 3942 4294967295 134512640 134716908 3221224576 3221222960 1074153753 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4657 3942 1111 63 0 4594 0 vsize: 18628 [startup+1010.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15323 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 374311 0 0 0 99911 1104 0 0 25 0 1 0 904251009 18890752 3931 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4612 3931 1111 63 0 4549 0 vsize: 18448 [startup+1020.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15323 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 377571 0 0 0 100902 1113 0 0 25 0 1 0 904251009 19947520 4105 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4870 4105 1111 63 0 4807 0 vsize: 19480 [startup+1030.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15323 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 380890 0 0 0 101892 1123 0 0 25 0 1 0 904251009 18866176 3935 4294967295 134512640 134716908 3221224576 3221222888 1074138144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4606 3935 1111 63 0 4543 0 vsize: 18424 [startup+1040.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15323 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 384520 0 0 0 102882 1134 0 0 25 0 1 0 904251009 19140608 3995 4294967295 134512640 134716908 3221224576 3221222576 1074916565 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4673 3995 1111 63 0 4610 0 vsize: 18692 [startup+1050.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15325 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 387487 0 0 0 103875 1141 0 0 25 0 1 0 904251009 20426752 4095 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4987 4095 1111 63 0 4924 0 vsize: 19948 [startup+1060.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15325 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 391023 0 0 0 104863 1153 0 0 25 0 1 0 904251009 19091456 3990 4294967295 134512640 134716908 3221224576 3221223024 1073990361 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4661 3990 1111 63 0 4598 0 vsize: 18644 [startup+1070.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15325 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 394737 0 0 0 105851 1165 0 0 25 0 1 0 904251009 20385792 4103 4294967295 134512640 134716908 3221224576 3221221088 1075084533 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4977 4103 1111 63 0 4914 0 vsize: 19908 [startup+1080.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15325 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 398407 0 0 0 106839 1178 0 0 25 0 1 0 904251009 20824064 4203 4294967295 134512640 134716908 3221224576 3221221696 1074834317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5084 4203 1111 63 0 5021 0 vsize: 20336 [startup+1090.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15325 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 400609 0 0 0 107831 1186 0 0 25 0 1 0 904251009 19701760 4139 4294967295 134512640 134716908 3221224576 3221222624 1075963516 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4810 4139 1111 63 0 4747 0 vsize: 19240 [startup+1100.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15325 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 403842 0 0 0 108821 1196 0 0 25 0 1 0 904251009 20860928 4212 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5093 4212 1111 63 0 5030 0 vsize: 20372 [startup+1110.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15325 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 407173 0 0 0 109811 1206 0 0 25 0 1 0 904251009 20946944 4252 4294967295 134512640 134716908 3221224576 3221221088 1075084533 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5114 4252 1111 63 0 5051 0 vsize: 20456 [startup+1120.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15325 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 410456 0 0 0 110800 1217 0 0 25 0 1 0 904251009 21045248 4277 4294967295 134512640 134716908 3221224576 3221221808 1075552862 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4877 4203 1111 63 0 4814 0 vsize: 20552 [startup+1130.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15325 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 413562 0 0 0 111791 1227 0 0 25 0 1 0 904251009 20975616 4239 4294967295 134512640 134716908 3221224576 3221221232 1075967440 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5121 4240 1111 63 0 5058 0 vsize: 20484 [startup+1140.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15325 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 417186 0 0 0 112780 1237 0 0 25 0 1 0 904251009 21258240 4312 4294967295 134512640 134716908 3221224576 3221220816 1075115704 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5190 4312 1111 63 0 5127 0 vsize: 20760 [startup+1150.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15325 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 420795 0 0 0 113772 1247 0 0 25 0 1 0 904251009 21450752 4370 4294967295 134512640 134716908 3221224576 3221220960 1074972964 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5237 4370 1111 63 0 5174 0 vsize: 20948 [startup+1160.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15325 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 424339 0 0 0 114759 1259 0 0 25 0 1 0 904251009 20312064 4255 4294967295 134512640 134716908 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4959 4255 1111 63 0 4896 0 vsize: 19836 [startup+1170.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 15325 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 427710 0 0 0 115750 1269 0 0 25 0 1 0 904251009 20164608 4252 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4923 4252 1111 63 0 4860 0 vsize: 19692 [startup+1175.93 s] Raw data (loadavg): 0.99 0.98 0.92 1/53 15325 Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 427710 0 0 0 115750 1269 0 0 25 0 1 0 904251009 20164608 4252 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4923 4252 1111 63 0 4860 0 vsize: 0 Child status: 10 Real time (s): 1175.93 CPU time (s): 1176.08 CPU user time (s): 1163.31 CPU system time (s): 12.7731 CPU usage (%): 100.013 Max. virtual memory (Kb): 20948 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 191 #### END VERIFIER DATA ####