Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e2.opb |
MD5SUM | 4e882bbd92f288daf6e68ac3de757136 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 235 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 534 |
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 | 534 |
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 | 534 |
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.03084 |
Number of variables | 534 |
Total number of constraints | 3013 |
Number of constraints which are clauses | 3013 |
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 14:49:41 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1424 boxname=wulflinc31 idbench=159 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 4e882bbd92f288daf6e68ac3de757136 /oldhome/oroussel/tmp/wulflinc31/normalized-ii32e2.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ii32e2.opb IDLAUNCH: 1424 /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: 151956 kB Buffers: 36648 kB Cached: 811960 kB SwapCached: 644 kB Active: 486040 kB Inactive: 364868 kB HighTotal: 131008 kB HighFree: 9688 kB LowTotal: 903652 kB LowFree: 142268 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26324 kB Committed_AS: 63652 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-06 15:09:22 (client local time) WITH STATUS 10 IN 1180.64 SECONDS stats: 1424 0 1180.64 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 534 variables and 3013 constraints. c After prepocess the problem consists of 534 variables and 3013 constraints. c preprocess terminated 4.197 s c Initial Lower Bound: 177 c Lower Bound Elapsed time: 1.58767 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 267 @ 18.733 c NEW SOLUTION FOUND: 265 @ 18.743 c NEW SOLUTION FOUND: 264 @ 18.754 c NEW SOLUTION FOUND: 263 @ 18.832 c NEW SOLUTION FOUND: 262 @ 18.861 c NEW SOLUTION FOUND: 260 @ 75.468 c NEW SOLUTION FOUND: 259 @ 87.531 c NEW SOLUTION FOUND: 250 @ 254.182 c NEW SOLUTION FOUND: 246 @ 866.328 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 c Exit Code: 10 c Total time: 1180.61 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.91 0.97 0.98 2/54 24839 Raw data (stat): 24839 (runsolver) R 24838 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 675529610 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+9.99986 s] Raw data (loadavg): 0.93 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 4362 0 0 0 984 11 0 0 25 0 1 0 675529610 10194944 1761 4294967295 134512640 134714508 3221221792 3221219864 1074950117 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2489 1761 1111 63 0 2426 0 vsize: 9956 [startup+20.0009 s] Raw data (loadavg): 0.94 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 9219 0 0 0 1971 24 0 0 25 0 1 0 675529610 11530240 1888 4294967295 134512640 134714508 3221221792 3221218912 1074834317 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2815 1888 1111 63 0 2752 0 vsize: 11260 [startup+30.0018 s] Raw data (loadavg): 0.95 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 13049 0 0 0 2961 35 0 0 25 0 1 0 675529610 10985472 1682 4294967295 134512640 134714508 3221221792 3221218864 1074867340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2682 1682 1111 63 0 2619 0 vsize: 10728 [startup+40.0027 s] Raw data (loadavg): 0.95 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 20181 0 0 0 3939 56 0 0 25 0 1 0 675529610 11976704 1925 4294967295 134512640 134714508 3221221792 3221218320 1075119993 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2924 1925 1111 63 0 2861 0 vsize: 11696 [startup+50.0036 s] Raw data (loadavg): 0.96 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 27344 0 0 0 4916 79 0 0 25 0 1 0 675529610 12668928 2125 4294967295 134512640 134714508 3221221792 3221218020 1075115084 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3093 2125 1111 63 0 3030 0 vsize: 12372 [startup+60.0036 s] Raw data (loadavg): 0.97 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 34931 0 0 0 5896 100 0 0 25 0 1 0 675529610 12931072 2180 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3157 2180 1111 63 0 3094 0 vsize: 12628 [startup+70.0045 s] Raw data (loadavg): 0.97 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 41349 0 0 0 6877 120 0 0 25 0 1 0 675529610 12800000 2161 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3125 2161 1111 63 0 3062 0 vsize: 12500 [startup+80.0054 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 48161 0 0 0 7855 141 0 0 25 0 1 0 675529610 13111296 2217 4294967295 134512640 134714508 3221221792 3221217952 1075091205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3201 2217 1111 63 0 3138 0 vsize: 12804 [startup+90.0063 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 56520 0 0 0 8830 166 0 0 25 0 1 0 675529610 11571200 2157 4294967295 134512640 134714508 3221221792 3221220256 1074121049 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2825 2157 1111 63 0 2762 0 vsize: 11300 [startup+100.006 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 64926 0 0 0 9810 187 0 0 25 0 1 0 675529610 12083200 2250 4294967295 134512640 134714508 3221221792 3221220120 1075006769 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2950 2250 1111 63 0 2887 0 vsize: 11800 [startup+110.006 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 72910 0 0 0 10788 209 0 0 25 0 1 0 675529610 12333056 2334 4294967295 134512640 134714508 3221221792 3221220004 1075964264 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3011 2334 1111 63 0 2948 0 vsize: 12044 [startup+120.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 80820 0 0 0 11767 230 0 0 25 0 1 0 675529610 14360576 2569 4294967295 134512640 134714508 3221221792 3221218064 1074961146 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3506 2569 1111 63 0 3443 0 vsize: 14024 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 86465 0 0 0 12753 244 0 0 25 0 1 0 675529610 14876672 2756 4294967295 134512640 134714508 3221221792 3221217660 1074787591 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3632 2756 1111 63 0 3569 0 vsize: 14528 [startup+140.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 91634 0 0 0 13739 258 0 0 25 0 1 0 675529610 13004800 2472 4294967295 134512640 134714508 3221221792 3221219904 1074867334 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3175 2472 1111 63 0 3112 0 vsize: 12700 [startup+150.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 98399 0 0 0 14720 277 0 0 25 0 1 0 675529610 12509184 2387 4294967295 134512640 134714508 3221221792 3221220192 1074153669 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3054 2387 1111 63 0 2991 0 vsize: 12216 [startup+160.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 104952 0 0 0 15704 293 0 0 25 0 1 0 675529610 12992512 2477 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3172 2477 1111 63 0 3109 0 vsize: 12688 [startup+170.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 111732 0 0 0 16685 313 0 0 25 0 1 0 675529610 15220736 2785 4294967295 134512640 134714508 3221221792 3221218352 1076048402 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3716 2785 1111 63 0 3653 0 vsize: 14864 [startup+180.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 120337 0 0 0 17664 334 0 0 25 0 1 0 675529610 14000128 2648 4294967295 134512640 134714508 3221221792 3221220056 1077799185 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3418 2648 1111 63 0 3355 0 vsize: 13672 [startup+190.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 128168 0 0 0 18643 355 0 0 25 0 1 0 675529610 13893632 2693 4294967295 134512640 134714508 3221221792 3221219792 1074918212 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3392 2693 1111 63 0 3329 0 vsize: 13568 [startup+200.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 137627 0 0 0 19618 381 0 0 25 0 1 0 675529610 14135296 2773 4294967295 134512640 134714508 3221221792 3221220096 1074039267 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3451 2773 1111 63 0 3388 0 vsize: 13804 [startup+210.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 144845 0 0 0 20600 398 0 0 25 0 1 0 675529610 17231872 3434 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4207 3434 1111 63 0 4144 0 vsize: 16828 [startup+220.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 149816 0 0 0 21589 409 0 0 25 0 1 0 675529610 15888384 2948 4294967295 134512640 134714508 3221221792 3221217932 1074790003 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3879 2948 1111 63 0 3816 0 vsize: 15516 [startup+230.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 156642 0 0 0 22570 429 0 0 25 0 1 0 675529610 16220160 3008 4294967295 134512640 134714508 3221221792 3221218128 1075113472 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3960 3008 1111 63 0 3897 0 vsize: 15840 [startup+240.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 161894 0 0 0 23556 443 0 0 25 0 1 0 675529610 16461824 3052 4294967295 134512640 134714508 3221221792 3221218064 1074961138 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4019 3052 1111 63 0 3956 0 vsize: 16076 [startup+250.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 167735 0 0 0 24542 457 0 0 25 0 1 0 675529610 16490496 3138 4294967295 134512640 134714508 3221221792 3221218864 1074867200 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4026 3138 1111 63 0 3963 0 vsize: 16104 [startup+260.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 173712 0 0 0 25527 472 0 0 25 0 1 0 675529610 14368768 2841 4294967295 134512640 134714508 3221221792 3221220172 1074208560 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3508 2841 1111 63 0 3445 0 vsize: 14032 [startup+270.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 181047 0 0 0 26509 490 0 0 25 0 1 0 675529610 16400384 3058 4294967295 134512640 134714508 3221221792 3221217688 1074789711 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4004 3058 1111 63 0 3941 0 vsize: 16016 [startup+280.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 188225 0 0 0 27490 509 0 0 25 0 1 0 675529610 16039936 3095 4294967295 134512640 134714508 3221221792 3221218560 1076083434 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3916 3095 1111 63 0 3853 0 vsize: 15664 [startup+290.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 195619 0 0 0 28470 530 0 0 25 0 1 0 675529610 16625664 3071 4294967295 134512640 134714508 3221221792 3221218020 1075115070 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4059 3071 1111 63 0 3996 0 vsize: 16236 [startup+300.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 203343 0 0 0 29452 548 0 0 25 0 1 0 675529610 16883712 3199 4294967295 134512640 134714508 3221221792 3221217672 1074788452 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4122 3199 1111 63 0 4059 0 vsize: 16488 [startup+310.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 211548 0 0 0 30432 567 0 0 25 0 1 0 675529610 17199104 3304 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4199 3304 1111 63 0 4136 0 vsize: 16796 [startup+320.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 219924 0 0 0 31413 587 0 0 25 0 1 0 675529610 17768448 3507 4294967295 134512640 134714508 3221221792 3221217688 1074789633 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4338 3507 1111 63 0 4275 0 vsize: 17352 [startup+330.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 226135 0 0 0 32396 604 0 0 25 0 1 0 675529610 16097280 3231 4294967295 134512640 134714508 3221221792 3221220112 1074039443 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3930 3231 1111 63 0 3867 0 vsize: 15720 [startup+340.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 234745 0 0 0 33375 626 0 0 25 0 1 0 675529610 15769600 3164 4294967295 134512640 134714508 3221221792 3221219828 1077378716 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3850 3164 1111 63 0 3787 0 vsize: 15400 [startup+350.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 240130 0 0 0 34361 640 0 0 25 0 1 0 675529610 16293888 3272 4294967295 134512640 134714508 3221221792 3221220140 1074206848 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3978 3272 1111 63 0 3915 0 vsize: 15912 [startup+360.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 247884 0 0 0 35341 660 0 0 25 0 1 0 675529610 15851520 3203 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3870 3203 1111 63 0 3807 0 vsize: 15480 [startup+370.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 256088 0 0 0 36322 678 0 0 25 0 1 0 675529610 17784832 3540 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4342 3540 1111 63 0 4279 0 vsize: 17368 [startup+380.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 263076 0 0 0 37305 695 0 0 25 0 1 0 675529610 17375232 3568 4294967295 134512640 134714508 3221221792 3221217756 1074788953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4242 3568 1111 63 0 4179 0 vsize: 16968 [startup+390.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 270359 0 0 0 38289 712 0 0 25 0 1 0 675529610 18907136 3721 4294967295 134512640 134714508 3221221792 3221218064 1074961301 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4616 3721 1111 63 0 4553 0 vsize: 18464 [startup+400.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 276464 0 0 0 39273 728 0 0 25 0 1 0 675529610 17272832 3525 4294967295 134512640 134714508 3221221792 3221220004 1075964248 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4217 3525 1111 63 0 4154 0 vsize: 16868 [startup+410.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 284384 0 0 0 40253 748 0 0 25 0 1 0 675529610 17207296 3532 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4201 3532 1111 63 0 4138 0 vsize: 16804 [startup+420.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 291245 0 0 0 41236 766 0 0 25 0 1 0 675529610 19005440 3707 4294967295 134512640 134714508 3221221792 3221217848 1074789596 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4640 3707 1111 63 0 4577 0 vsize: 18560 [startup+430.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 298406 0 0 0 42218 783 0 0 25 0 1 0 675529610 17694720 3621 4294967295 134512640 134714508 3221221792 3221220112 1074039443 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4320 3621 1111 63 0 4257 0 vsize: 17280 [startup+440.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 304151 0 0 0 43205 797 0 0 25 0 1 0 675529610 17969152 3677 4294967295 134512640 134714508 3221221792 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4387 3677 1111 63 0 4324 0 vsize: 17548 [startup+450.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 311534 0 0 0 44187 814 0 0 25 0 1 0 675529610 19570688 3848 4294967295 134512640 134714508 3221221792 3221218832 1075971386 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4778 3848 1111 63 0 4715 0 vsize: 19112 [startup+460.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 317634 0 0 0 45174 828 0 0 25 0 1 0 675529610 19750912 3850 4294967295 134512640 134714508 3221221792 3221218032 1075115730 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4822 3850 1111 63 0 4759 0 vsize: 19288 [startup+470.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 324880 0 0 0 46156 846 0 0 25 0 1 0 675529610 17944576 3682 4294967295 134512640 134714508 3221221792 3221220380 134652053 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4381 3682 1111 63 0 4318 0 vsize: 17524 [startup+480.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 332557 0 0 0 47136 866 0 0 25 0 1 0 675529610 17752064 3667 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4334 3667 1111 63 0 4271 0 vsize: 17336 [startup+490.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 339634 0 0 0 48119 883 0 0 25 0 1 0 675529610 20910080 4301 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5105 4301 1111 63 0 5042 0 vsize: 20420 [startup+500.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 343834 0 0 0 49109 893 0 0 25 0 1 0 675529610 20643840 4233 4294967295 134512640 134714508 3221221792 3221218064 1074961267 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5040 4233 1111 63 0 4977 0 vsize: 20160 [startup+510.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 350090 0 0 0 50094 908 0 0 25 0 1 0 675529610 18046976 3739 4294967295 134512640 134714508 3221221792 3221219888 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4406 3739 1111 63 0 4343 0 vsize: 17624 [startup+520.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 356418 0 0 0 51082 920 0 0 25 0 1 0 675529610 20156416 4043 4294967295 134512640 134714508 3221221792 3221218560 1076083593 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4921 4043 1111 63 0 4858 0 vsize: 19684 [startup+530.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 363815 0 0 0 52065 938 0 0 25 0 1 0 675529610 19116032 3990 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4667 3990 1111 63 0 4604 0 vsize: 18668 [startup+540.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 370668 0 0 0 53049 954 0 0 25 0 1 0 675529610 20647936 4225 4294967295 134512640 134714508 3221221792 3221218020 1075114912 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5041 4225 1111 63 0 4978 0 vsize: 20164 [startup+550.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 377008 0 0 0 54034 969 0 0 25 0 1 0 675529610 20615168 4203 4294967295 134512640 134714508 3221221792 3221218624 1075115397 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5033 4203 1111 63 0 4970 0 vsize: 20132 [startup+560.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 383959 0 0 0 55018 985 0 0 25 0 1 0 675529610 18395136 3824 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4491 3824 1111 63 0 4428 0 vsize: 17964 [startup+570.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 391657 0 0 0 55999 1004 0 0 25 0 1 0 675529610 20393984 4214 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4979 4214 1111 63 0 4916 0 vsize: 19916 [startup+580.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 398797 0 0 0 56980 1023 0 0 25 0 1 0 675529610 20946944 4144 4294967295 134512640 134714508 3221221792 3221217936 1074970218 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5114 4144 1111 63 0 5051 0 vsize: 20456 [startup+590.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 406375 0 0 0 57963 1040 0 0 25 0 1 0 675529610 20746240 4195 4294967295 134512640 134714508 3221221792 3221218864 1074867305 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5065 4195 1111 63 0 5002 0 vsize: 20260 [startup+600.023 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 414855 0 0 0 58943 1060 0 0 25 0 1 0 675529610 18522112 3855 4294967295 134512640 134714508 3221221792 3221219376 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4522 3855 1111 63 0 4459 0 vsize: 18088 [startup+610.023 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 421482 0 0 0 59928 1076 0 0 25 0 1 0 675529610 18702336 3868 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4566 3868 1111 63 0 4503 0 vsize: 18264 [startup+620.024 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 24839 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 428176 0 0 0 60911 1093 0 0 25 0 1 0 675529610 19001344 3972 4294967295 134512640 134714508 3221221792 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4639 3972 1111 63 0 4576 0 vsize: 18556 [startup+630.025 s] Raw data (loadavg): 1.15 1.00 0.99 3/56 24880 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 435815 0 0 0 61886 1117 0 0 25 0 1 0 675529610 21123072 4366 4294967295 134512640 134714508 3221221792 3221218304 1075084528 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5157 4366 1111 63 0 5094 0 vsize: 20628 [startup+640.026 s] Raw data (loadavg): 1.20 1.02 0.99 2/54 24892 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 443721 0 0 0 62866 1138 0 0 25 0 1 0 675529610 19558400 4076 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4775 4076 1111 63 0 4712 0 vsize: 19100 [startup+650.026 s] Raw data (loadavg): 1.17 1.02 0.99 2/54 24892 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 450313 0 0 0 63849 1155 0 0 25 0 1 0 675529610 18993152 3970 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4637 3970 1111 63 0 4574 0 vsize: 18548 [startup+660.025 s] Raw data (loadavg): 1.14 1.02 0.99 2/54 24892 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 456314 0 0 0 64835 1169 0 0 25 0 1 0 675529610 19488768 4091 4294967295 134512640 134714508 3221221792 3221219536 1075646241 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4758 4091 1111 63 0 4695 0 vsize: 19032 [startup+670.027 s] Raw data (loadavg): 1.12 1.02 0.99 2/54 24892 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 462242 0 0 0 65823 1182 0 0 25 0 1 0 675529610 21508096 4434 4294967295 134512640 134714508 3221221792 3221218772 1075964080 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5251 4434 1111 63 0 5188 0 vsize: 21004 [startup+680.026 s] Raw data (loadavg): 1.10 1.02 0.99 2/54 24892 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 468892 0 0 0 66806 1198 0 0 25 0 1 0 675529610 19718144 4115 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4814 4115 1111 63 0 4751 0 vsize: 19256 [startup+690.027 s] Raw data (loadavg): 1.09 1.01 0.99 2/54 24892 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 475995 0 0 0 67791 1214 0 0 25 0 1 0 675529610 19349504 4057 4294967295 134512640 134714508 3221221792 3221220520 134543804 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4724 4057 1111 63 0 4661 0 vsize: 18896 [startup+700.028 s] Raw data (loadavg): 1.07 1.01 0.99 2/54 24892 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 482892 0 0 0 68774 1231 0 0 25 0 1 0 675529610 21733376 4486 4294967295 134512640 134714508 3221221792 3221218256 1075602947 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5306 4486 1111 63 0 5243 0 vsize: 21224 [startup+710.028 s] Raw data (loadavg): 1.06 1.01 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 491182 0 0 0 69754 1251 0 0 25 0 1 0 675529610 21622784 4342 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5279 4342 1111 63 0 5216 0 vsize: 21116 [startup+720.029 s] Raw data (loadavg): 1.05 1.01 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 499336 0 0 0 70735 1271 0 0 25 0 1 0 675529610 20152320 4242 4294967295 134512640 134714508 3221221792 3221220144 1075120450 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4920 4242 1111 63 0 4857 0 vsize: 19680 [startup+730.029 s] Raw data (loadavg): 1.04 1.01 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 507776 0 0 0 71716 1289 0 0 25 0 1 0 675529610 20217856 4256 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4936 4256 1111 63 0 4873 0 vsize: 19744 [startup+740.03 s] Raw data (loadavg): 1.04 1.01 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 516174 0 0 0 72698 1308 0 0 25 0 1 0 675529610 19668992 4111 4294967295 134512640 134714508 3221221792 3221220416 134650161 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4802 4111 1111 63 0 4739 0 vsize: 19208 [startup+750.03 s] Raw data (loadavg): 1.03 1.01 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 521827 0 0 0 73685 1321 0 0 25 0 1 0 675529610 20443136 4292 4294967295 134512640 134714508 3221221792 3221219944 1074950096 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4991 4292 1111 63 0 4928 0 vsize: 19964 [startup+760.03 s] Raw data (loadavg): 1.02 1.01 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 529158 0 0 0 74668 1338 0 0 25 0 1 0 675529610 19910656 4194 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4861 4194 1111 63 0 4798 0 vsize: 19444 [startup+770.031 s] Raw data (loadavg): 1.02 1.01 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 536556 0 0 0 75650 1356 0 0 25 0 1 0 675529610 20615168 4353 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5033 4353 1111 63 0 4970 0 vsize: 20132 [startup+780.03 s] Raw data (loadavg): 1.02 1.01 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 543973 0 0 0 76632 1374 0 0 25 0 1 0 675529610 22200320 4661 4294967295 134512640 134714508 3221221792 3221218020 1075115060 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5420 4661 1111 63 0 5357 0 vsize: 21680 [startup+790.032 s] Raw data (loadavg): 1.01 1.00 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 551551 0 0 0 77614 1393 0 0 25 0 1 0 675529610 20807680 4401 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5080 4401 1111 63 0 5017 0 vsize: 20320 [startup+800.033 s] Raw data (loadavg): 1.01 1.00 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 558861 0 0 0 78596 1411 0 0 25 0 1 0 675529610 22589440 4631 4294967295 134512640 134714508 3221221792 3221218000 1074815265 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5515 4632 1111 63 0 5452 0 vsize: 22060 [startup+810.033 s] Raw data (loadavg): 1.01 1.00 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 566447 0 0 0 79578 1429 0 0 25 0 1 0 675529610 21041152 4455 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5137 4455 1111 63 0 5074 0 vsize: 20548 [startup+820.034 s] Raw data (loadavg): 1.01 1.00 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 574275 0 0 0 80560 1447 0 0 25 0 1 0 675529610 23056384 4795 4294967295 134512640 134714508 3221221792 3221218792 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5629 4795 1111 63 0 5566 0 vsize: 22516 [startup+830.033 s] Raw data (loadavg): 1.01 1.00 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 580917 0 0 0 81545 1462 0 0 25 0 1 0 675529610 21295104 4507 4294967295 134512640 134714508 3221221792 3221219552 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5199 4507 1111 63 0 5136 0 vsize: 20796 [startup+840.034 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 583731 0 0 0 82538 1469 0 0 25 0 1 0 675529610 21344256 4540 4294967295 134512640 134714508 3221221792 3221220192 1074153773 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5211 4540 1111 63 0 5148 0 vsize: 20844 [startup+850.035 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 587608 0 0 0 83529 1479 0 0 25 0 1 0 675529610 24948736 5328 4294967295 134512640 134714508 3221221792 3221218832 1075971413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6091 5328 1111 63 0 6028 0 vsize: 24364 [startup+860.034 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 593206 0 0 0 84516 1492 0 0 25 0 1 0 675529610 20967424 4452 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5119 4452 1111 63 0 5056 0 vsize: 20476 [startup+870.036 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 597815 0 0 0 85507 1501 0 0 25 0 1 0 675529610 24641536 5181 4294967295 134512640 134714508 3221221792 3221217836 1074873758 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6016 5181 1111 63 0 5953 0 vsize: 24064 [startup+880.036 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 602438 0 0 0 86497 1511 0 0 25 0 1 0 675529610 20959232 4450 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5117 4450 1111 63 0 5054 0 vsize: 20468 [startup+890.037 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 607884 0 0 0 87483 1525 0 0 25 0 1 0 675529610 20779008 4406 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5073 4406 1111 63 0 5010 0 vsize: 20292 [startup+900.037 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 612668 0 0 0 88471 1536 0 0 25 0 1 0 675529610 24891392 5213 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6077 5213 1111 63 0 6014 0 vsize: 24308 [startup+910.037 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 618034 0 0 0 89459 1549 0 0 25 0 1 0 675529610 20779008 4406 4294967295 134512640 134714508 3221221792 3221219328 134650104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5073 4406 1111 63 0 5010 0 vsize: 20292 [startup+920.038 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 622057 0 0 0 90447 1561 0 0 25 0 1 0 675529610 21118976 4489 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5156 4489 1111 63 0 5093 0 vsize: 20624 [startup+930.038 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 627296 0 0 0 91436 1572 0 0 25 0 1 0 675529610 24752128 5218 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6043 5218 1111 63 0 5980 0 vsize: 24172 [startup+940.039 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24894 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 632115 0 0 0 92425 1584 0 0 25 0 1 0 675529610 20779008 4406 4294967295 134512640 134714508 3221221792 3221219480 1074138150 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5073 4406 1111 63 0 5010 0 vsize: 20292 [startup+950.039 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 636845 0 0 0 93414 1594 0 0 25 0 1 0 675529610 24412160 5149 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5960 5149 1111 63 0 5897 0 vsize: 23840 [startup+960.039 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 641116 0 0 0 94404 1605 0 0 25 0 1 0 675529610 20779008 4406 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5073 4406 1111 63 0 5010 0 vsize: 20292 [startup+970.041 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 646361 0 0 0 95392 1617 0 0 25 0 1 0 675529610 20992000 4458 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5125 4458 1111 63 0 5062 0 vsize: 20500 [startup+980.041 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 651901 0 0 0 96379 1630 0 0 25 0 1 0 675529610 21073920 4478 4294967295 134512640 134714508 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5145 4478 1111 63 0 5082 0 vsize: 20580 [startup+990.042 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 657412 0 0 0 97365 1644 0 0 25 0 1 0 675529610 20779008 4406 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5073 4406 1111 63 0 5010 0 vsize: 20292 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 664095 0 0 0 98350 1660 0 0 25 0 1 0 675529610 21331968 4531 4294967295 134512640 134714508 3221221792 3221220272 1074031936 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5208 4531 1111 63 0 5145 0 vsize: 20832 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 671720 0 0 0 99333 1677 0 0 25 0 1 0 675529610 24047616 4825 4294967295 134512640 134714508 3221221792 3221218000 1074815253 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5871 4825 1111 63 0 5808 0 vsize: 23484 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 679761 0 0 0 100313 1697 0 0 25 0 1 0 675529610 21520384 4581 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5254 4581 1111 63 0 5191 0 vsize: 21016 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 686237 0 0 0 101297 1714 0 0 25 0 1 0 675529610 21536768 4583 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5258 4583 1111 63 0 5195 0 vsize: 21032 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 695873 0 0 0 102274 1736 0 0 25 0 1 0 675529610 21221376 4514 4294967295 134512640 134714508 3221221792 3221219792 1074919726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5181 4514 1111 63 0 5118 0 vsize: 20724 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 703844 0 0 0 103256 1755 0 0 25 0 1 0 675529610 21086208 4481 4294967295 134512640 134714508 3221221792 3221220128 1074153773 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5148 4481 1111 63 0 5085 0 vsize: 20592 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 711386 0 0 0 104238 1773 0 0 25 0 1 0 675529610 21086208 4481 4294967295 134512640 134714508 3221221792 3221220048 1074153779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5148 4481 1111 63 0 5085 0 vsize: 20592 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 720426 0 0 0 105217 1794 0 0 25 0 1 0 675529610 21676032 4611 4294967295 134512640 134714508 3221221792 3221219788 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5292 4611 1111 63 0 5229 0 vsize: 21168 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 725906 0 0 0 106204 1807 0 0 25 0 1 0 675529610 25579520 5329 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6245 5329 1111 63 0 6182 0 vsize: 24980 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 732452 0 0 0 107189 1822 0 0 25 0 1 0 675529610 25505792 5338 4294967295 134512640 134714508 3221221792 3221218160 1075894549 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6227 5338 1111 63 0 6164 0 vsize: 24908 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 739168 0 0 0 108174 1838 0 0 25 0 1 0 675529610 25579520 5238 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6245 5238 1111 63 0 6182 0 vsize: 24980 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 746161 0 0 0 109156 1855 0 0 25 0 1 0 675529610 24838144 5272 4294967295 134512640 134714508 3221221792 3221218064 1074960912 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6064 5272 1111 63 0 6001 0 vsize: 24256 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 750377 0 0 0 110146 1866 0 0 25 0 1 0 675529610 25210880 5329 4294967295 134512640 134714508 3221221792 3221218064 1074960952 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6155 5329 1111 63 0 6092 0 vsize: 24620 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 757458 0 0 0 111131 1881 0 0 25 0 1 0 675529610 22667264 4827 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5534 4827 1111 63 0 5471 0 vsize: 22136 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 762834 0 0 0 112118 1894 0 0 25 0 1 0 675529610 24981504 5301 4294967295 134512640 134714508 3221221792 3221217952 1074794671 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6099 5301 1111 63 0 6036 0 vsize: 24396 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 767332 0 0 0 113107 1905 0 0 25 0 1 0 675529610 24870912 5294 4294967295 134512640 134714508 3221221792 3221217952 1075093353 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6072 5294 1111 63 0 6009 0 vsize: 24288 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 774034 0 0 0 114093 1920 0 0 25 0 1 0 675529610 25718784 5438 4294967295 134512640 134714508 3221221792 3221217952 1074794554 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6279 5438 1111 63 0 6216 0 vsize: 25116 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 776276 0 0 0 115088 1925 0 0 25 0 1 0 675529610 24936448 5330 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6088 5330 1111 63 0 6025 0 vsize: 24352 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 780556 0 0 0 116078 1935 0 0 25 0 1 0 675529610 25686016 5503 4294967295 134512640 134714508 3221221792 3221217892 1075964248 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6271 5503 1111 63 0 6208 0 vsize: 25084 [startup+1180.55 s] Raw data (loadavg): 1.00 1.00 0.99 1/53 24896 Raw data (stat): 24839 (bsolo_lpr_cuts) R 24838 7876 7672 0 -1 0 780556 0 0 0 116078 1935 0 0 25 0 1 0 675529610 25686016 5503 4294967295 134512640 134714508 3221221792 3221217892 1075964248 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6271 5503 1111 63 0 6208 0 vsize: 0 Child status: 10 Real time (s): 1180.55 CPU time (s): 1180.64 CPU user time (s): 1161.26 CPU system time (s): 19.3831 CPU usage (%): 100.008 Max. virtual memory (Kb): 25116 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 246 #### END VERIFIER DATA ####