Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c3.opb |
MD5SUM | 00d830716ad6728e4af33fe898d69922 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 261 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 558 |
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 | 558 |
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 | 558 |
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.03284 |
Number of variables | 558 |
Total number of constraints | 3551 |
Number of constraints which are clauses | 3551 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-06 05:05:44 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1370 boxname=wulflinc31 idbench=153 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 00d830716ad6728e4af33fe898d69922 /oldhome/oroussel/tmp/wulflinc31/normalized-ii32c3.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ii32c3.opb IDLAUNCH: 1370 /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: 154960 kB Buffers: 35840 kB Cached: 809708 kB SwapCached: 644 kB Active: 483524 kB Inactive: 364312 kB HighTotal: 131008 kB HighFree: 11844 kB LowTotal: 903652 kB LowFree: 143116 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26332 kB Committed_AS: 63612 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-06 05:25:21 (client local time) WITH STATUS 10 IN 1176.62 SECONDS stats: 1370 0 1176.62 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 558 variables and 3551 constraints. c After prepocess the problem consists of 558 variables and 3551 constraints. c preprocess terminated 6.137 s c Initial Lower Bound: 189 c Lower Bound Elapsed time: 1.84 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 279 @ 31.94 c NEW SOLUTION FOUND: 278 @ 31.941 c NEW SOLUTION FOUND: 277 @ 31.95 c NEW SOLUTION FOUND: 276 @ 31.957 c NEW SOLUTION FOUND: 275 @ 31.971 c NEW SOLUTION FOUND: 274 @ 31.979 c NEW SOLUTION FOUND: 265 @ 33.285 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 c Exit Code: 10 c Total time: 1176.59 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.93 0.98 0.99 2/54 21464 Raw data (stat): 21464 (runsolver) R 21463 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 672025440 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0002 s] Raw data (loadavg): 0.94 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 4434 0 0 0 980 15 0 0 25 0 1 0 672025440 12959744 2258 4294967295 134512640 134714508 3221221792 3221217984 1074960822 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3164 2258 1111 63 0 3101 0 vsize: 12656 [startup+20.0015 s] Raw data (loadavg): 0.95 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 11168 0 0 0 1964 32 0 0 25 0 1 0 672025440 11554816 2070 4294967295 134512640 134714508 3221221792 3221220112 1073988057 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2821 2070 1111 63 0 2758 0 vsize: 11284 [startup+30.0021 s] Raw data (loadavg): 0.95 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 13398 0 0 0 2958 38 0 0 25 0 1 0 672025440 10838016 1968 4294967295 134512640 134714508 3221221792 3221220464 134543684 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2646 1968 1111 63 0 2583 0 vsize: 10584 [startup+40.003 s] Raw data (loadavg): 0.96 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 17129 0 0 0 3946 49 0 0 25 0 1 0 672025440 11214848 2035 4294967295 134512640 134714508 3221221792 3221219944 1074950096 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2738 2035 1111 63 0 2675 0 vsize: 10952 [startup+50.0044 s] Raw data (loadavg): 0.97 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 22660 0 0 0 4928 68 0 0 25 0 1 0 672025440 11489280 2112 4294967295 134512640 134714508 3221221792 3221220096 1074039238 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2805 2112 1111 63 0 2742 0 vsize: 11220 [startup+60.0039 s] Raw data (loadavg): 0.97 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 29810 0 0 0 5911 85 0 0 25 0 1 0 672025440 13684736 2348 4294967295 134512640 134714508 3221221792 3221218124 1075113118 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3341 2348 1111 63 0 3278 0 vsize: 13364 [startup+70.0049 s] Raw data (loadavg): 0.97 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 35486 0 0 0 6892 104 0 0 25 0 1 0 672025440 13467648 2253 4294967295 134512640 134714508 3221221792 3221218560 1076083862 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3288 2253 1111 63 0 3225 0 vsize: 13152 [startup+80.0062 s] Raw data (loadavg): 0.98 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 42263 0 0 0 7873 123 0 0 25 0 1 0 672025440 14319616 2498 4294967295 134512640 134714508 3221221792 3221218020 1075114975 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3496 2498 1111 63 0 3433 0 vsize: 13984 [startup+90.0067 s] Raw data (loadavg): 0.98 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 48467 0 0 0 8855 141 0 0 25 0 1 0 672025440 12648448 2404 4294967295 134512640 134714508 3221221792 3221220096 1074039232 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3088 2404 1111 63 0 3025 0 vsize: 12352 [startup+100.007 s] Raw data (loadavg): 0.98 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 54674 0 0 0 9836 161 0 0 25 0 1 0 672025440 12509184 2386 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3054 2386 1111 63 0 2991 0 vsize: 12216 [startup+110.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 61243 0 0 0 10815 181 0 0 25 0 1 0 672025440 13221888 2555 4294967295 134512640 134714508 3221221792 3221220320 134648654 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3228 2555 1111 63 0 3165 0 vsize: 12912 [startup+120.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 66903 0 0 0 11799 198 0 0 25 0 1 0 672025440 13299712 2547 4294967295 134512640 134714508 3221221792 3221220208 1073989437 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3247 2547 1111 63 0 3184 0 vsize: 12988 [startup+130.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 73673 0 0 0 12778 219 0 0 25 0 1 0 672025440 15351808 2810 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3748 2810 1111 63 0 3685 0 vsize: 14992 [startup+140.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 80957 0 0 0 13755 242 0 0 25 0 1 0 672025440 16785408 3179 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4098 3179 1111 63 0 4035 0 vsize: 16392 [startup+150.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 85377 0 0 0 14742 255 0 0 25 0 1 0 672025440 16109568 2889 4294967295 134512640 134714508 3221221792 3221218032 1075115724 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3933 2889 1111 63 0 3870 0 vsize: 15732 [startup+160.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 89558 0 0 0 15732 265 0 0 25 0 1 0 672025440 16461824 3013 4294967295 134512640 134714508 3221221792 3221218832 1075971413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4019 3013 1111 63 0 3956 0 vsize: 16076 [startup+170.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 94977 0 0 0 16718 279 0 0 25 0 1 0 672025440 13971456 2736 4294967295 134512640 134714508 3221221792 3221220096 1074039235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3411 2736 1111 63 0 3348 0 vsize: 13644 [startup+180.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 101331 0 0 0 17700 298 0 0 25 0 1 0 672025440 14561280 2887 4294967295 134512640 134714508 3221221792 3221220160 1074152999 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3555 2887 1111 63 0 3492 0 vsize: 14220 [startup+190.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 107001 0 0 0 18683 315 0 0 25 0 1 0 672025440 14819328 2950 4294967295 134512640 134714508 3221221792 3221220528 134528780 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3618 2950 1111 63 0 3555 0 vsize: 14472 [startup+200.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 111832 0 0 0 19670 328 0 0 25 0 1 0 672025440 15278080 3030 4294967295 134512640 134714508 3221221792 3221220112 1074039440 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3730 3030 1111 63 0 3667 0 vsize: 14920 [startup+210.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 118345 0 0 0 20650 348 0 0 25 0 1 0 672025440 14819328 2950 4294967295 134512640 134714508 3221221792 3221220096 1074153736 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3618 2950 1111 63 0 3555 0 vsize: 14472 [startup+220.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 124785 0 0 0 21630 368 0 0 25 0 1 0 672025440 14999552 2994 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3662 2994 1111 63 0 3599 0 vsize: 14648 [startup+230.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 129792 0 0 0 22616 382 0 0 25 0 1 0 672025440 15605760 3110 4294967295 134512640 134714508 3221221792 3221220320 134648531 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3810 3110 1111 63 0 3747 0 vsize: 15240 [startup+240.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 135964 0 0 0 23598 401 0 0 25 0 1 0 672025440 15433728 3100 4294967295 134512640 134714508 3221221792 3221219916 1077410224 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3768 3100 1111 63 0 3705 0 vsize: 15072 [startup+250.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 141947 0 0 0 24583 416 0 0 25 0 1 0 672025440 17756160 3377 4294967295 134512640 134714508 3221221792 3221218604 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4335 3377 1111 63 0 4272 0 vsize: 17340 [startup+260.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 150079 0 0 0 25562 437 0 0 25 0 1 0 672025440 15880192 3209 4294967295 134512640 134714508 3221221792 3221220028 1074050755 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3877 3209 1111 63 0 3814 0 vsize: 15508 [startup+270.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 155738 0 0 0 26546 453 0 0 25 0 1 0 672025440 16117760 3262 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3935 3262 1111 63 0 3872 0 vsize: 15740 [startup+280.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 161010 0 0 0 27531 468 0 0 25 0 1 0 672025440 16457728 3318 4294967295 134512640 134714508 3221221792 3221219944 1074950124 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4018 3318 1111 63 0 3955 0 vsize: 16072 [startup+290.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 165806 0 0 0 28518 481 0 0 25 0 1 0 672025440 18628608 3597 4294967295 134512640 134714508 3221221792 3221217952 1075095371 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4548 3597 1111 63 0 4485 0 vsize: 18192 [startup+300.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 172981 0 0 0 29499 501 0 0 25 0 1 0 672025440 18784256 3581 4294967295 134512640 134714508 3221221792 3221218348 1073956184 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4586 3581 1111 63 0 4523 0 vsize: 18344 [startup+310.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 178485 0 0 0 30485 515 0 0 25 0 1 0 672025440 16601088 3385 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4053 3385 1111 63 0 3990 0 vsize: 16212 [startup+320.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 183233 0 0 0 31474 526 0 0 25 0 1 0 672025440 16891904 3425 4294967295 134512640 134714508 3221221792 3221220024 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4124 3425 1111 63 0 4061 0 vsize: 16496 [startup+330.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 190341 0 0 0 32453 546 0 0 25 0 1 0 672025440 18898944 3582 4294967295 134512640 134714508 3221221792 3221218128 1075113502 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4614 3582 1111 63 0 4551 0 vsize: 18456 [startup+340.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 195641 0 0 0 33439 561 0 0 25 0 1 0 672025440 17383424 3575 4294967295 134512640 134714508 3221221792 3221220416 134542303 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4244 3575 1111 63 0 4181 0 vsize: 16976 [startup+350.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 201148 0 0 0 34425 575 0 0 25 0 1 0 672025440 19472384 3815 4294967295 134512640 134714508 3221221792 3221217952 1075092907 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4754 3815 1111 63 0 4691 0 vsize: 19016 [startup+360.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 207260 0 0 0 35409 591 0 0 25 0 1 0 672025440 17199104 3531 4294967295 134512640 134714508 3221221792 3221219432 1077410163 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4199 3531 1111 63 0 4136 0 vsize: 16796 [startup+370.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 213212 0 0 0 36393 607 0 0 25 0 1 0 672025440 20054016 3847 4294967295 134512640 134714508 3221221792 3221217848 1074860217 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4896 3849 1111 63 0 4833 0 vsize: 19584 [startup+380.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 217916 0 0 0 37382 618 0 0 25 0 1 0 672025440 17526784 3608 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4279 3608 1111 63 0 4216 0 vsize: 17116 [startup+390.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 224493 0 0 0 38367 634 0 0 25 0 1 0 672025440 17653760 3610 4294967295 134512640 134714508 3221221792 3221219788 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4310 3610 1111 63 0 4247 0 vsize: 17240 [startup+400.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 229782 0 0 0 39355 646 0 0 25 0 1 0 672025440 17268736 3548 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4216 3548 1111 63 0 4153 0 vsize: 16864 [startup+410.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 234601 0 0 0 40344 656 0 0 25 0 1 0 672025440 20172800 4010 4294967295 134512640 134714508 3221221792 3221217996 1075564169 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4925 4010 1111 63 0 4862 0 vsize: 19700 [startup+420.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 239690 0 0 0 41333 668 0 0 25 0 1 0 672025440 20246528 4054 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4943 4054 1111 63 0 4880 0 vsize: 19772 [startup+430.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 246850 0 0 0 42317 685 0 0 25 0 1 0 672025440 18096128 3733 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4418 3733 1111 63 0 4355 0 vsize: 17672 [startup+440.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 251806 0 0 0 43306 695 0 0 25 0 1 0 672025440 17461248 3595 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4263 3595 1111 63 0 4200 0 vsize: 17052 [startup+450.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 256811 0 0 0 44296 706 0 0 25 0 1 0 672025440 17661952 3644 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4312 3644 1111 63 0 4249 0 vsize: 17248 [startup+460.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 262636 0 0 0 45280 721 0 0 25 0 1 0 672025440 17743872 3664 4294967295 134512640 134714508 3221221792 3221220432 134539362 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4332 3664 1111 63 0 4269 0 vsize: 17328 [startup+470.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 267108 0 0 0 46270 732 0 0 25 0 1 0 672025440 17670144 3646 4294967295 134512640 134714508 3221221792 3221219888 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4314 3646 1111 63 0 4251 0 vsize: 17256 [startup+480.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 271955 0 0 0 47259 743 0 0 25 0 1 0 672025440 17620992 3609 4294967295 134512640 134714508 3221221792 3221219904 1074153760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4302 3609 1111 63 0 4239 0 vsize: 17208 [startup+490.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 278439 0 0 0 48243 759 0 0 25 0 1 0 672025440 17461248 3595 4294967295 134512640 134714508 3221221792 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4263 3595 1111 63 0 4200 0 vsize: 17052 [startup+500.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 282912 0 0 0 49233 769 0 0 25 0 1 0 672025440 20582400 4237 4294967295 134512640 134714508 3221221792 3221218020 1075115060 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5025 4237 1111 63 0 4962 0 vsize: 20100 [startup+510.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 288000 0 0 0 50222 781 0 0 25 0 1 0 672025440 17670144 3627 4294967295 134512640 134714508 3221221792 3221219904 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4314 3627 1111 63 0 4251 0 vsize: 17256 [startup+520.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 292658 0 0 0 51211 792 0 0 25 0 1 0 672025440 17657856 3637 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4311 3637 1111 63 0 4248 0 vsize: 17244 [startup+530.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 297355 0 0 0 52200 803 0 0 25 0 1 0 672025440 18632704 3814 4294967295 134512640 134714508 3221221792 3221219520 1075828444 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4549 3814 1111 63 0 4486 0 vsize: 18196 [startup+540.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 302184 0 0 0 53190 813 0 0 25 0 1 0 672025440 20480000 4096 4294967295 134512640 134714508 3221221792 3221217836 1074873478 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5000 4096 1111 63 0 4937 0 vsize: 20000 [startup+550.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 306760 0 0 0 54180 823 0 0 25 0 1 0 672025440 17776640 3672 4294967295 134512640 134714508 3221221792 3221219888 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4340 3672 1111 63 0 4277 0 vsize: 17360 [startup+560.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 313313 0 0 0 55164 840 0 0 25 0 1 0 672025440 18096128 3743 4294967295 134512640 134714508 3221221792 3221218904 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4418 3743 1111 63 0 4355 0 vsize: 17672 [startup+570.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 320953 0 0 0 56144 859 0 0 25 0 1 0 672025440 18243584 3781 4294967295 134512640 134714508 3221221792 3221219792 1074916731 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4454 3781 1111 63 0 4391 0 vsize: 17816 [startup+580.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 327841 0 0 0 57127 877 0 0 25 0 1 0 672025440 18378752 3819 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4487 3819 1111 63 0 4424 0 vsize: 17948 [startup+590.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 332010 0 0 0 58116 888 0 0 25 0 1 0 672025440 18378752 3819 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4487 3819 1111 63 0 4424 0 vsize: 17948 [startup+600.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 336386 0 0 0 59104 900 0 0 25 0 1 0 672025440 20905984 4139 4294967295 134512640 134714508 3221221792 3221217952 1075091857 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5104 4139 1111 63 0 5041 0 vsize: 20416 [startup+610.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 341241 0 0 0 60093 911 0 0 25 0 1 0 672025440 18378752 3819 4294967295 134512640 134714508 3221221792 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4487 3819 1111 63 0 4424 0 vsize: 17948 [startup+620.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 345844 0 0 0 61083 922 0 0 25 0 1 0 672025440 18378752 3819 4294967295 134512640 134714508 3221221792 3221220048 1074153753 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4487 3819 1111 63 0 4424 0 vsize: 17948 [startup+630.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 350566 0 0 0 62071 934 0 0 25 0 1 0 672025440 18567168 3826 4294967295 134512640 134714508 3221221792 3221219072 1074140041 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4533 3830 1111 63 0 4470 0 vsize: 18132 [startup+640.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 355241 0 0 0 63061 944 0 0 25 0 1 0 672025440 21061632 4179 4294967295 134512640 134714508 3221221792 3221218560 1076083342 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5142 4179 1111 63 0 5079 0 vsize: 20568 [startup+650.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 361599 0 0 0 64043 962 0 0 25 0 1 0 672025440 18378752 3819 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4487 3819 1111 63 0 4424 0 vsize: 17948 [startup+660.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 367078 0 0 0 65029 976 0 0 25 0 1 0 672025440 18378752 3819 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4487 3819 1111 63 0 4424 0 vsize: 17948 [startup+670.024 s] Raw data (loadavg): 1.07 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 373254 0 0 0 66013 992 0 0 25 0 1 0 672025440 20803584 4073 4294967295 134512640 134714508 3221221792 3221218000 1074815284 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5079 4073 1111 63 0 5016 0 vsize: 20316 [startup+680.024 s] Raw data (loadavg): 1.06 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 378345 0 0 0 67000 1005 0 0 25 0 1 0 672025440 18661376 3888 4294967295 134512640 134714508 3221221792 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4556 3888 1111 63 0 4493 0 vsize: 18224 [startup+690.024 s] Raw data (loadavg): 1.05 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 383656 0 0 0 67988 1018 0 0 25 0 1 0 672025440 18550784 3861 4294967295 134512640 134714508 3221221792 3221219772 1073956120 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4529 3861 1111 63 0 4466 0 vsize: 18116 [startup+700.024 s] Raw data (loadavg): 1.04 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 388718 0 0 0 68978 1028 0 0 25 0 1 0 672025440 20877312 4171 4294967295 134512640 134714508 3221221792 3221217724 1074788187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5097 4171 1111 63 0 5034 0 vsize: 20388 [startup+710.024 s] Raw data (loadavg): 1.03 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 394197 0 0 0 69967 1039 0 0 25 0 1 0 672025440 18550784 3861 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4529 3861 1111 63 0 4466 0 vsize: 18116 [startup+720.024 s] Raw data (loadavg): 1.03 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 399437 0 0 0 70955 1051 0 0 25 0 1 0 672025440 21123072 4163 4294967295 134512640 134714508 3221221792 3221218008 1074950114 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5157 4163 1111 63 0 5094 0 vsize: 20628 [startup+730.024 s] Raw data (loadavg): 1.02 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 405098 0 0 0 71940 1066 0 0 25 0 1 0 672025440 21000192 4124 4294967295 134512640 134714508 3221221792 3221218128 1075113472 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5127 4124 1111 63 0 5064 0 vsize: 20508 [startup+740.025 s] Raw data (loadavg): 1.02 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 411894 0 0 0 72924 1083 0 0 25 0 1 0 672025440 19243008 3997 4294967295 134512640 134714508 3221221792 3221220240 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4698 3997 1111 63 0 4635 0 vsize: 18792 [startup+750.025 s] Raw data (loadavg): 1.02 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 418841 0 0 0 73907 1100 0 0 25 0 1 0 672025440 19443712 4062 4294967295 134512640 134714508 3221221792 3221219936 1074790218 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4747 4062 1111 63 0 4684 0 vsize: 18988 [startup+760.025 s] Raw data (loadavg): 1.01 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 426151 0 0 0 74890 1117 0 0 25 0 1 0 672025440 21475328 4273 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5243 4273 1111 63 0 5180 0 vsize: 20972 [startup+770.026 s] Raw data (loadavg): 1.01 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 432155 0 0 0 75877 1130 0 0 25 0 1 0 672025440 19324928 4050 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4718 4050 1111 63 0 4655 0 vsize: 18872 [startup+780.025 s] Raw data (loadavg): 1.01 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 436958 0 0 0 76867 1140 0 0 25 0 1 0 672025440 22495232 4590 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5492 4590 1111 63 0 5429 0 vsize: 21968 [startup+790.026 s] Raw data (loadavg): 1.01 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 442973 0 0 0 77852 1155 0 0 25 0 1 0 672025440 19402752 4049 4294967295 134512640 134714508 3221221792 3221220032 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4737 4049 1111 63 0 4674 0 vsize: 18948 [startup+800.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 449391 0 0 0 78837 1171 0 0 25 0 1 0 672025440 19640320 4095 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4795 4095 1111 63 0 4732 0 vsize: 19180 [startup+810.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 455914 0 0 0 79821 1187 0 0 25 0 1 0 672025440 21843968 4388 4294967295 134512640 134714508 3221221792 3221218448 1075967941 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5333 4388 1111 63 0 5270 0 vsize: 21332 [startup+820.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 461954 0 0 0 80806 1202 0 0 25 0 1 0 672025440 19607552 4088 4294967295 134512640 134714508 3221221792 3221220048 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4787 4088 1111 63 0 4724 0 vsize: 19148 [startup+830.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 467346 0 0 0 81795 1213 0 0 25 0 1 0 672025440 19456000 4082 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4750 4082 1111 63 0 4687 0 vsize: 19000 [startup+840.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 475366 0 0 0 82778 1231 0 0 25 0 1 0 672025440 20164608 4234 4294967295 134512640 134714508 3221221792 3221220096 1073990032 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4923 4234 1111 63 0 4860 0 vsize: 19692 [startup+850.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 483826 0 0 0 83759 1249 0 0 25 0 1 0 672025440 22253568 4449 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5433 4452 1111 63 0 5370 0 vsize: 21732 [startup+860.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 491620 0 0 0 84741 1268 0 0 25 0 1 0 672025440 22102016 4427 4294967295 134512640 134714508 3221221792 3221218128 1075113481 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5396 4427 1111 63 0 5333 0 vsize: 21584 [startup+870.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 498189 0 0 0 85725 1284 0 0 25 0 1 0 672025440 22474752 4536 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5487 4536 1111 63 0 5424 0 vsize: 21948 [startup+880.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 503337 0 0 0 86714 1295 0 0 25 0 1 0 672025440 20664320 4345 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5045 4345 1111 63 0 4982 0 vsize: 20180 [startup+890.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 510172 0 0 0 87698 1311 0 0 25 0 1 0 672025440 20639744 4356 4294967295 134512640 134714508 3221221792 3221220096 1074039235 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5039 4356 1111 63 0 4976 0 vsize: 20156 [startup+900.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 517992 0 0 0 88679 1330 0 0 25 0 1 0 672025440 22601728 4582 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5518 4582 1111 63 0 5455 0 vsize: 22072 [startup+910.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 524971 0 0 0 89664 1346 0 0 25 0 1 0 672025440 22667264 4576 4294967295 134512640 134714508 3221221792 3221218064 1074961138 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5534 4576 1111 63 0 5471 0 vsize: 22136 [startup+920.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 532798 0 0 0 90647 1363 0 0 25 0 1 0 672025440 20697088 4353 4294967295 134512640 134714508 3221221792 3221219792 1074916669 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5053 4353 1111 63 0 4990 0 vsize: 20212 [startup+930.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 539918 0 0 0 91630 1380 0 0 25 0 1 0 672025440 20172800 4229 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4925 4229 1111 63 0 4862 0 vsize: 19700 [startup+940.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 545356 0 0 0 92617 1393 0 0 25 0 1 0 672025440 23539712 4883 4294967295 134512640 134714508 3221221792 3221218020 1075115003 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5747 4883 1111 63 0 5684 0 vsize: 22988 [startup+950.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 550431 0 0 0 93606 1405 0 0 25 0 1 0 672025440 22892544 4686 4294967295 134512640 134714508 3221221792 3221217760 1074872793 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5589 4686 1111 63 0 5526 0 vsize: 22356 [startup+960.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 557867 0 0 0 94588 1422 0 0 25 0 1 0 672025440 20402176 4291 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4981 4291 1111 63 0 4918 0 vsize: 19924 [startup+970.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 563818 0 0 0 95573 1437 0 0 25 0 1 0 672025440 21692416 4555 4294967295 134512640 134714508 3221221792 3221219904 1074867320 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5296 4555 1111 63 0 5233 0 vsize: 21184 [startup+980.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 570402 0 0 0 96559 1452 0 0 25 0 1 0 672025440 20688896 4351 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5051 4351 1111 63 0 4988 0 vsize: 20204 [startup+990.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 579850 0 0 0 97536 1475 0 0 25 0 1 0 672025440 21032960 4456 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5135 4456 1111 63 0 5072 0 vsize: 20540 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 586156 0 0 0 98521 1490 0 0 25 0 1 0 672025440 23433216 4730 4294967295 134512640 134714508 3221221792 3221218128 1075113521 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5721 4730 1111 63 0 5658 0 vsize: 22884 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 594138 0 0 0 99503 1509 0 0 25 0 1 0 672025440 23506944 4700 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5739 4700 1111 63 0 5676 0 vsize: 22956 [startup+1020.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 600406 0 0 0 100489 1522 0 0 25 0 1 0 672025440 21118976 4488 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5156 4488 1111 63 0 5093 0 vsize: 20624 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 606288 0 0 0 101476 1536 0 0 25 0 1 0 672025440 20992000 4429 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5125 4429 1111 63 0 5062 0 vsize: 20500 [startup+1040.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 613514 0 0 0 102458 1554 0 0 25 0 1 0 672025440 21106688 4454 4294967295 134512640 134714508 3221221792 3221220444 134673074 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5153 4454 1111 63 0 5090 0 vsize: 20612 [startup+1050.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 619474 0 0 0 103445 1567 0 0 25 0 1 0 672025440 23842816 4923 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5821 4923 1111 63 0 5758 0 vsize: 23284 [startup+1060.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 625963 0 0 0 104430 1582 0 0 25 0 1 0 672025440 23465984 4959 4294967295 134512640 134714508 3221221792 3221217892 1075964227 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5729 4959 1111 63 0 5666 0 vsize: 22916 [startup+1070.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 632546 0 0 0 105415 1597 0 0 25 0 1 0 672025440 21823488 4645 4294967295 134512640 134714508 3221221792 3221220004 1075964241 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5328 4645 1111 63 0 5265 0 vsize: 21312 [startup+1080.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 638876 0 0 0 106401 1611 0 0 25 0 1 0 672025440 23531520 4771 4294967295 134512640 134714508 3221221792 3221218448 1075967861 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5745 4771 1111 63 0 5682 0 vsize: 22980 [startup+1090.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 644527 0 0 0 107387 1626 0 0 25 0 1 0 672025440 22020096 4691 4294967295 134512640 134714508 3221221792 3221220004 1075964227 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5376 4691 1111 63 0 5313 0 vsize: 21504 [startup+1100.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 651648 0 0 0 108371 1642 0 0 25 0 1 0 672025440 21356544 4546 4294967295 134512640 134714508 3221221792 3221220080 1074153760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5214 4546 1111 63 0 5151 0 vsize: 20856 [startup+1110.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 659261 0 0 0 109350 1663 0 0 25 0 1 0 672025440 24297472 4981 4294967295 134512640 134714508 3221221792 3221218064 1074960854 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5932 4981 1111 63 0 5869 0 vsize: 23728 [startup+1120.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 667346 0 0 0 110332 1682 0 0 25 0 1 0 672025440 22663168 4853 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5533 4853 1111 63 0 5470 0 vsize: 22132 [startup+1130.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 675527 0 0 0 111311 1702 0 0 25 0 1 0 672025440 22421504 4785 4294967295 134512640 134714508 3221221792 3221219840 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5474 4785 1111 63 0 5411 0 vsize: 21896 [startup+1140.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 680880 0 0 0 112298 1715 0 0 25 0 1 0 672025440 22188032 4749 4294967295 134512640 134714508 3221221792 3221220000 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5417 4749 1111 63 0 5354 0 vsize: 21668 [startup+1150.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 686282 0 0 0 113286 1728 0 0 25 0 1 0 672025440 22880256 4917 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5586 4917 1111 63 0 5523 0 vsize: 22344 [startup+1160.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 692019 0 0 0 114273 1741 0 0 25 0 1 0 672025440 22204416 4753 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5421 4753 1111 63 0 5358 0 vsize: 21684 [startup+1170.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 700387 0 0 0 115253 1761 0 0 25 0 1 0 672025440 23805952 4903 4294967295 134512640 134714508 3221221792 3221218928 1074887946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5812 4903 1111 63 0 5749 0 vsize: 23248 [startup+1176.51 s] Raw data (loadavg): 1.00 1.00 1.00 1/53 21464 Raw data (stat): 21464 (bsolo_lpr_cuts) R 21463 7876 7672 0 -1 0 700387 0 0 0 115253 1761 0 0 25 0 1 0 672025440 23805952 4903 4294967295 134512640 134714508 3221221792 3221218928 1074887946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5812 4903 1111 63 0 5749 0 vsize: 0 Child status: 10 Real time (s): 1176.51 CPU time (s): 1176.62 CPU user time (s): 1158.87 CPU system time (s): 17.7523 CPU usage (%): 100.01 Max. virtual memory (Kb): 23728 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 265 #### END VERIFIER DATA ####