Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb |
MD5SUM | 33d46caaa6c22613488909eddb5a530f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 162 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 444 |
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 | 444 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 444 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02184 |
Number of variables | 444 |
Total number of constraints | 1408 |
Number of constraints which are clauses | 1408 |
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 12:49:54 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1414 boxname=wulflinc31 idbench=158 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 33d46caaa6c22613488909eddb5a530f /oldhome/oroussel/tmp/wulflinc31/normalized-ii32e1.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ii32e1.opb IDLAUNCH: 1414 /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: 151632 kB Buffers: 36504 kB Cached: 812240 kB SwapCached: 644 kB Active: 485724 kB Inactive: 365296 kB HighTotal: 131008 kB HighFree: 9380 kB LowTotal: 903652 kB LowFree: 142252 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26320 kB Committed_AS: 63648 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-06 13:09:30 (client local time) WITH STATUS 10 IN 1175.16 SECONDS stats: 1414 0 1175.16 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 444 variables and 1408 constraints. c After prepocess the problem consists of 444 variables and 1408 constraints. c preprocess terminated 1.252 s c Initial Lower Bound: 132 c Lower Bound Elapsed time: 0.507 c Use computed LB before first solution. c NEW SOLUTION FOUND: 162 @ 10.269 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 c Exit Code: 10 c Total time: 1175.13 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.91 0.95 0.97 2/54 24152 Raw data (stat): 24152 (runsolver) R 24151 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 674810804 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0011 s] Raw data (loadavg): 0.93 0.95 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 5233 0 0 0 979 17 0 0 25 0 1 0 674810804 7380992 1123 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1802 1123 1111 63 0 1739 0 vsize: 7208 [startup+20.0017 s] Raw data (loadavg): 0.94 0.96 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 10696 0 0 0 1964 32 0 0 25 0 1 0 674810804 7446528 1142 4294967295 134512640 134714508 3221221792 3221219576 1077410163 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1818 1142 1111 63 0 1755 0 vsize: 7272 [startup+30.0015 s] Raw data (loadavg): 0.95 0.96 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 16475 0 0 0 2948 49 0 0 25 0 1 0 674810804 8032256 1205 4294967295 134512640 134714508 3221221792 3221218160 1075894558 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1961 1205 1111 63 0 1898 0 vsize: 7844 [startup+40.0018 s] Raw data (loadavg): 0.95 0.96 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 22635 0 0 0 3929 67 0 0 25 0 1 0 674810804 8015872 1200 4294967295 134512640 134714508 3221221792 3221217996 1075564165 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1957 1200 1111 63 0 1894 0 vsize: 7828 [startup+50.0027 s] Raw data (loadavg): 0.96 0.96 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 29423 0 0 0 4911 85 0 0 25 0 1 0 674810804 7520256 1160 4294967295 134512640 134714508 3221221792 3221219632 1075798484 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1836 1160 1111 63 0 1773 0 vsize: 7344 [startup+60.0033 s] Raw data (loadavg): 0.97 0.96 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 35035 0 0 0 5897 99 0 0 25 0 1 0 674810804 7585792 1176 4294967295 134512640 134714508 3221221792 3221220204 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1852 1176 1111 63 0 1789 0 vsize: 7408 [startup+70.0046 s] Raw data (loadavg): 0.97 0.96 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 41252 0 0 0 6882 115 0 0 25 0 1 0 674810804 8019968 1212 4294967295 134512640 134714508 3221221792 3221218368 1076047496 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1958 1212 1111 63 0 1895 0 vsize: 7832 [startup+80.0042 s] Raw data (loadavg): 0.98 0.96 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 46534 0 0 0 7870 128 0 0 25 0 1 0 674810804 8073216 1219 4294967295 134512640 134714508 3221221792 3221218384 1074886145 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1971 1219 1111 63 0 1908 0 vsize: 7884 [startup+90.0041 s] Raw data (loadavg): 0.98 0.96 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 52440 0 0 0 8854 143 0 0 25 0 1 0 674810804 8151040 1234 4294967295 134512640 134714508 3221221792 3221218304 1075084536 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1990 1234 1111 63 0 1927 0 vsize: 7960 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 57575 0 0 0 9840 158 0 0 25 0 1 0 674810804 8081408 1196 4294967295 134512640 134714508 3221221792 3221218888 1076121329 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1973 1196 1111 63 0 1910 0 vsize: 7892 [startup+110.005 s] Raw data (loadavg): 0.98 0.96 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 64302 0 0 0 10822 176 0 0 25 0 1 0 674810804 8065024 1223 4294967295 134512640 134714508 3221221792 3221217952 1075090583 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1969 1223 1111 63 0 1906 0 vsize: 7876 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 69999 0 0 0 11806 192 0 0 25 0 1 0 674810804 7618560 1184 4294967295 134512640 134714508 3221221792 3221219252 1077782939 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1860 1184 1111 63 0 1797 0 vsize: 7440 [startup+130.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 76194 0 0 0 12789 209 0 0 25 0 1 0 674810804 8187904 1244 4294967295 134512640 134714508 3221221792 3221217892 1075964208 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1999 1244 1111 63 0 1936 0 vsize: 7996 [startup+140.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 80874 0 0 0 13776 223 0 0 25 0 1 0 674810804 8155136 1243 4294967295 134512640 134714508 3221221792 3221217952 1075091323 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1991 1243 1111 63 0 1928 0 vsize: 7964 [startup+150.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 85693 0 0 0 14761 237 0 0 25 0 1 0 674810804 7692288 1201 4294967295 134512640 134714508 3221221792 3221220432 134523202 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1878 1201 1111 63 0 1815 0 vsize: 7512 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 90215 0 0 0 15751 248 0 0 25 0 1 0 674810804 7692288 1202 4294967295 134512640 134714508 3221221792 3221220512 134625095 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1878 1202 1111 63 0 1815 0 vsize: 7512 [startup+170.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 94643 0 0 0 16738 261 0 0 25 0 1 0 674810804 8564736 1305 4294967295 134512640 134714508 3221221792 3221217884 1075663503 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2091 1305 1111 63 0 2028 0 vsize: 8364 [startup+180.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 99692 0 0 0 17725 274 0 0 25 0 1 0 674810804 7663616 1195 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1871 1195 1111 63 0 1808 0 vsize: 7484 [startup+190.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 104391 0 0 0 18713 286 0 0 25 0 1 0 674810804 8192000 1250 4294967295 134512640 134714508 3221221792 3221217936 1074970499 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2000 1250 1111 63 0 1937 0 vsize: 8000 [startup+200.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 109439 0 0 0 19700 300 0 0 25 0 1 0 674810804 8540160 1249 4294967295 134512640 134714508 3221221792 3221217864 1074950227 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2085 1249 1111 63 0 2022 0 vsize: 8340 [startup+210.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 113695 0 0 0 20689 311 0 0 25 0 1 0 674810804 8585216 1278 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2096 1278 1111 63 0 2033 0 vsize: 8384 [startup+220.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 117461 0 0 0 21678 323 0 0 25 0 1 0 674810804 8212480 1267 4294967295 134512640 134714508 3221221792 3221217844 1074790424 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2005 1267 1111 63 0 1942 0 vsize: 8020 [startup+230.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 121385 0 0 0 22665 335 0 0 25 0 1 0 674810804 8192000 1264 4294967295 134512640 134714508 3221221792 3221217884 1075663518 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2000 1264 1111 63 0 1937 0 vsize: 8000 [startup+240.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 125947 0 0 0 23653 348 0 0 25 0 1 0 674810804 8134656 1262 4294967295 134512640 134714508 3221221792 3221218020 1075114931 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1986 1262 1111 63 0 1923 0 vsize: 7944 [startup+250.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 129836 0 0 0 24640 360 0 0 25 0 1 0 674810804 8257536 1234 4294967295 134512640 134714508 3221221792 3221218820 1075964218 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2016 1234 1111 63 0 1953 0 vsize: 8064 [startup+260.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 134625 0 0 0 25627 373 0 0 25 0 1 0 674810804 7757824 1224 4294967295 134512640 134714508 3221221792 3221220192 1074118808 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1894 1224 1111 63 0 1831 0 vsize: 7576 [startup+270.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 139997 0 0 0 26614 387 0 0 25 0 1 0 674810804 8146944 1263 4294967295 134512640 134714508 3221221792 3221217700 1074786562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1989 1263 1111 63 0 1926 0 vsize: 7956 [startup+280.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 145317 0 0 0 27601 400 0 0 25 0 1 0 674810804 8196096 1266 4294967295 134512640 134714508 3221221792 3221217892 1075964290 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2001 1266 1111 63 0 1938 0 vsize: 8004 [startup+290.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 150623 0 0 0 28586 415 0 0 25 0 1 0 674810804 8134656 1258 4294967295 134512640 134714508 3221221792 3221217804 1074788953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1986 1258 1111 63 0 1923 0 vsize: 7944 [startup+300.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 155470 0 0 0 29571 430 0 0 25 0 1 0 674810804 7704576 1213 4294967295 134512640 134714508 3221221792 3221220096 1074153779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1881 1213 1111 63 0 1818 0 vsize: 7524 [startup+310.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 160270 0 0 0 30557 445 0 0 25 0 1 0 674810804 8601600 1313 4294967295 134512640 134714508 3221221792 3221218160 1075894549 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2100 1314 1111 63 0 2037 0 vsize: 8400 [startup+320.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 164766 0 0 0 31545 457 0 0 25 0 1 0 674810804 8699904 1283 4294967295 134512640 134714508 3221221792 3221218032 1075115730 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2124 1283 1111 63 0 2061 0 vsize: 8496 [startup+330.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 168644 0 0 0 32534 468 0 0 25 0 1 0 674810804 8441856 1288 4294967295 134512640 134714508 3221221792 3221217676 1074788968 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2061 1288 1111 63 0 1998 0 vsize: 8244 [startup+340.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 172225 0 0 0 33523 479 0 0 25 0 1 0 674810804 8716288 1323 4294967295 134512640 134714508 3221221792 3221218560 1076084134 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2128 1323 1111 63 0 2065 0 vsize: 8512 [startup+350.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 176053 0 0 0 34511 491 0 0 25 0 1 0 674810804 8335360 1295 4294967295 134512640 134714508 3221221792 3221217836 1074873474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2035 1295 1111 63 0 1972 0 vsize: 8140 [startup+360.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 180001 0 0 0 35500 502 0 0 25 0 1 0 674810804 7823360 1242 4294967295 134512640 134714508 3221221792 3221220192 1074153753 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1910 1242 1111 63 0 1847 0 vsize: 7640 [startup+370.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 183830 0 0 0 36490 512 0 0 25 0 1 0 674810804 8577024 1361 4294967295 134512640 134714508 3221221792 3221218020 1074789880 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2094 1361 1111 63 0 2031 0 vsize: 8376 [startup+380.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 187807 0 0 0 37479 523 0 0 25 0 1 0 674810804 8900608 1316 4294967295 134512640 134714508 3221221792 3221217824 1075965307 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2173 1316 1111 63 0 2110 0 vsize: 8692 [startup+390.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 192339 0 0 0 38466 537 0 0 25 0 1 0 674810804 8871936 1353 4294967295 134512640 134714508 3221221792 3221218064 1074960795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2166 1353 1111 63 0 2103 0 vsize: 8664 [startup+400.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 195902 0 0 0 39456 546 0 0 25 0 1 0 674810804 7938048 1270 4294967295 134512640 134714508 3221221792 3221220120 1073987069 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1938 1270 1111 63 0 1875 0 vsize: 7752 [startup+410.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 199749 0 0 0 40446 557 0 0 25 0 1 0 674810804 7954432 1274 4294967295 134512640 134714508 3221221792 3221219968 1077379745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1942 1274 1111 63 0 1879 0 vsize: 7768 [startup+420.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 203215 0 0 0 41437 566 0 0 25 0 1 0 674810804 7954432 1274 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1942 1274 1111 63 0 1879 0 vsize: 7768 [startup+430.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 206995 0 0 0 42426 577 0 0 25 0 1 0 674810804 8503296 1330 4294967295 134512640 134714508 3221221792 3221217884 1075663472 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2076 1330 1111 63 0 2013 0 vsize: 8304 [startup+440.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 210667 0 0 0 43414 589 0 0 25 0 1 0 674810804 7954432 1274 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1942 1274 1111 63 0 1879 0 vsize: 7768 [startup+450.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 215260 0 0 0 44402 602 0 0 25 0 1 0 674810804 8036352 1294 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1962 1294 1111 63 0 1899 0 vsize: 7848 [startup+460.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 219595 0 0 0 45390 614 0 0 25 0 1 0 674810804 8101888 1310 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1978 1310 1111 63 0 1915 0 vsize: 7912 [startup+470.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 223071 0 0 0 46381 623 0 0 25 0 1 0 674810804 8966144 1384 4294967295 134512640 134714508 3221221792 3221217676 1074788943 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2189 1384 1111 63 0 2126 0 vsize: 8756 [startup+480.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 226243 0 0 0 47373 631 0 0 25 0 1 0 674810804 8192000 1332 4294967295 134512640 134714508 3221221792 3221220256 1074121049 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2000 1332 1111 63 0 1937 0 vsize: 8000 [startup+490.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 229327 0 0 0 48363 642 0 0 25 0 1 0 674810804 9027584 1399 4294967295 134512640 134714508 3221221792 3221217848 1074789806 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2204 1399 1111 63 0 2141 0 vsize: 8816 [startup+500.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 232370 0 0 0 49353 652 0 0 25 0 1 0 674810804 8929280 1362 4294967295 134512640 134714508 3221221792 3221217936 1074968727 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2180 1362 1111 63 0 2117 0 vsize: 8720 [startup+510.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 235498 0 0 0 50344 661 0 0 25 0 1 0 674810804 8564736 1372 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2091 1372 1111 63 0 2028 0 vsize: 8364 [startup+520.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 238818 0 0 0 51334 671 0 0 25 0 1 0 674810804 9142272 1423 4294967295 134512640 134714508 3221221792 3221217936 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2232 1423 1111 63 0 2169 0 vsize: 8928 [startup+530.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 242223 0 0 0 52325 680 0 0 25 0 1 0 674810804 8318976 1332 4294967295 134512640 134714508 3221221792 3221219440 1075818290 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2031 1332 1111 63 0 1968 0 vsize: 8124 [startup+540.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 245203 0 0 0 53317 688 0 0 25 0 1 0 674810804 8581120 1367 4294967295 134512640 134714508 3221221792 3221217864 1074950215 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2095 1367 1111 63 0 2032 0 vsize: 8380 [startup+550.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 248991 0 0 0 54307 699 0 0 25 0 1 0 674810804 9109504 1422 4294967295 134512640 134714508 3221221792 3221218124 1075112846 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2224 1422 1111 63 0 2161 0 vsize: 8896 [startup+560.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 252117 0 0 0 55298 707 0 0 25 0 1 0 674810804 9072640 1416 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2215 1416 1111 63 0 2152 0 vsize: 8860 [startup+570.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 255490 0 0 0 56288 717 0 0 25 0 1 0 674810804 9084928 1402 4294967295 134512640 134714508 3221221792 3221217940 1075964406 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2218 1402 1111 63 0 2155 0 vsize: 8872 [startup+580.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 258498 0 0 0 57280 725 0 0 25 0 1 0 674810804 8937472 1372 4294967295 134512640 134714508 3221221792 3221217876 1075964384 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2182 1372 1111 63 0 2119 0 vsize: 8728 [startup+590.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 261646 0 0 0 58271 735 0 0 25 0 1 0 674810804 8212480 1337 4294967295 134512640 134714508 3221221792 3221219904 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2005 1337 1111 63 0 1942 0 vsize: 8020 [startup+600.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24152 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 265170 0 0 0 59261 745 0 0 25 0 1 0 674810804 8237056 1343 4294967295 134512640 134714508 3221221792 3221219624 1077380592 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2011 1343 1111 63 0 1948 0 vsize: 8044 [startup+610.02 s] Raw data (loadavg): 0.99 0.97 0.97 3/55 24153 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 268501 0 0 0 60252 754 0 0 25 0 1 0 674810804 8908800 1442 4294967295 134512640 134714508 3221221792 3221218368 1076047446 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2175 1442 1111 63 0 2112 0 vsize: 8700 [startup+620.021 s] Raw data (loadavg): 1.07 0.99 0.98 2/54 24205 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 274767 0 0 0 61234 771 0 0 25 0 1 0 674810804 8261632 1349 4294967295 134512640 134714508 3221221792 3221220160 1074140701 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2017 1349 1111 63 0 1954 0 vsize: 8068 [startup+630.058 s] Raw data (loadavg): 1.06 0.99 0.98 2/54 24205 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 280982 0 0 0 62219 790 0 0 25 0 1 0 674810804 8261632 1349 4294967295 134512640 134714508 3221221792 3221219816 1077380592 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2017 1349 1111 63 0 1954 0 vsize: 8068 [startup+640.166 s] Raw data (loadavg): 1.05 0.99 0.98 2/54 24205 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 284812 0 0 0 63218 802 0 0 25 0 1 0 674810804 9211904 1401 4294967295 134512640 134714508 3221221792 3221217968 1074882601 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2249 1401 1111 63 0 2186 0 vsize: 8996 [startup+650.167 s] Raw data (loadavg): 1.04 0.99 0.98 2/54 24205 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 288324 0 0 0 64209 812 0 0 25 0 1 0 674810804 8335360 1360 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2035 1360 1111 63 0 1972 0 vsize: 8140 [startup+660.167 s] Raw data (loadavg): 1.03 0.99 0.98 2/54 24205 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 291964 0 0 0 65198 823 0 0 25 0 1 0 674810804 9129984 1416 4294967295 134512640 134714508 3221221792 3221217936 1074969763 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2229 1416 1111 63 0 2166 0 vsize: 8916 [startup+670.167 s] Raw data (loadavg): 1.03 0.99 0.98 2/54 24205 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 295942 0 0 0 66188 833 0 0 25 0 1 0 674810804 9392128 1481 4294967295 134512640 134714508 3221221792 3221218176 1074972319 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2293 1481 1111 63 0 2230 0 vsize: 9172 [startup+680.167 s] Raw data (loadavg): 1.02 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 300423 0 0 0 67175 846 0 0 25 0 1 0 674810804 8724480 1402 4294967295 134512640 134714508 3221221792 3221218384 1074885358 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2130 1402 1111 63 0 2067 0 vsize: 8520 [startup+690.167 s] Raw data (loadavg): 1.02 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 304492 0 0 0 68164 857 0 0 25 0 1 0 674810804 8314880 1362 4294967295 134512640 134714508 3221221792 3221220192 1074118815 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2030 1362 1111 63 0 1967 0 vsize: 8120 [startup+700.167 s] Raw data (loadavg): 1.02 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 308907 0 0 0 69154 867 0 0 25 0 1 0 674810804 8732672 1402 4294967295 134512640 134714508 3221221792 3221218864 1074867320 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2132 1402 1111 63 0 2069 0 vsize: 8528 [startup+710.167 s] Raw data (loadavg): 1.01 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 313987 0 0 0 70141 880 0 0 25 0 1 0 674810804 8871936 1382 4294967295 134512640 134714508 3221221792 3221218776 1074831843 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2166 1382 1111 63 0 2103 0 vsize: 8664 [startup+720.168 s] Raw data (loadavg): 1.01 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 319226 0 0 0 71128 894 0 0 25 0 1 0 674810804 8818688 1421 4294967295 134512640 134714508 3221221792 3221217892 1075964286 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2153 1421 1111 63 0 2090 0 vsize: 8612 [startup+730.168 s] Raw data (loadavg): 1.01 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 324605 0 0 0 72114 908 0 0 25 0 1 0 674810804 8372224 1376 4294967295 134512640 134714508 3221221792 3221220428 134649409 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2044 1376 1111 63 0 1981 0 vsize: 8176 [startup+740.168 s] Raw data (loadavg): 1.01 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 329670 0 0 0 73101 921 0 0 25 0 1 0 674810804 8368128 1375 4294967295 134512640 134714508 3221221792 3221219520 1075828459 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2043 1375 1111 63 0 1980 0 vsize: 8172 [startup+750.168 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 333042 0 0 0 74092 930 0 0 25 0 1 0 674810804 8368128 1375 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2043 1375 1111 63 0 1980 0 vsize: 8172 [startup+760.168 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 337607 0 0 0 75082 940 0 0 25 0 1 0 674810804 8368128 1375 4294967295 134512640 134714508 3221221792 3221219792 1074918476 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2043 1375 1111 63 0 1980 0 vsize: 8172 [startup+770.168 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 341961 0 0 0 76070 953 0 0 25 0 1 0 674810804 8368128 1375 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2043 1375 1111 63 0 1980 0 vsize: 8172 [startup+780.168 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 346490 0 0 0 77057 966 0 0 25 0 1 0 674810804 8859648 1384 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2163 1385 1111 63 0 2100 0 vsize: 8652 [startup+790.168 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 350052 0 0 0 78047 976 0 0 25 0 1 0 674810804 8814592 1412 4294967295 134512640 134714508 3221221792 3221217920 1075112110 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2152 1412 1111 63 0 2089 0 vsize: 8608 [startup+800.168 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 353470 0 0 0 79038 985 0 0 25 0 1 0 674810804 8925184 1431 4294967295 134512640 134714508 3221221792 3221217756 1074788162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2179 1431 1111 63 0 2116 0 vsize: 8716 [startup+810.169 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 357381 0 0 0 80028 995 0 0 25 0 1 0 674810804 8658944 1430 4294967295 134512640 134714508 3221221792 3221219904 1074867305 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2114 1430 1111 63 0 2051 0 vsize: 8456 [startup+820.169 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 362023 0 0 0 81014 1010 0 0 25 0 1 0 674810804 8523776 1413 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2081 1413 1111 63 0 2018 0 vsize: 8324 [startup+830.169 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 366240 0 0 0 82002 1022 0 0 25 0 1 0 674810804 8966144 1451 4294967295 134512640 134714508 3221221792 3221217836 1074873465 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2189 1451 1111 63 0 2126 0 vsize: 8756 [startup+840.17 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 370729 0 0 0 82990 1034 0 0 25 0 1 0 674810804 8937472 1452 4294967295 134512640 134714508 3221221792 3221218168 1075112621 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2182 1452 1111 63 0 2119 0 vsize: 8728 [startup+850.171 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 375629 0 0 0 83975 1049 0 0 25 0 1 0 674810804 8556544 1421 4294967295 134512640 134714508 3221221792 3221220508 1076647546 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2089 1421 1111 63 0 2026 0 vsize: 8356 [startup+860.171 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 379261 0 0 0 84965 1059 0 0 25 0 1 0 674810804 8548352 1419 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2087 1419 1111 63 0 2024 0 vsize: 8348 [startup+870.171 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 382924 0 0 0 85956 1069 0 0 25 0 1 0 674810804 8994816 1466 4294967295 134512640 134714508 3221221792 3221217780 1074786513 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2196 1466 1111 63 0 2133 0 vsize: 8784 [startup+880.171 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 388748 0 0 0 86940 1085 0 0 25 0 1 0 674810804 8548352 1419 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2087 1419 1111 63 0 2024 0 vsize: 8348 [startup+890.172 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 394197 0 0 0 87923 1101 0 0 25 0 1 0 674810804 9056256 1457 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2211 1457 1111 63 0 2148 0 vsize: 8844 [startup+900.172 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 398496 0 0 0 88913 1112 0 0 25 0 1 0 674810804 9039872 1462 4294967295 134512640 134714508 3221221792 3221218296 1075110597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2207 1462 1111 63 0 2144 0 vsize: 8828 [startup+910.172 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 402824 0 0 0 89901 1124 0 0 25 0 1 0 674810804 8556544 1421 4294967295 134512640 134714508 3221221792 3221220400 134558521 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2089 1421 1111 63 0 2026 0 vsize: 8356 [startup+920.173 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 406048 0 0 0 90893 1133 0 0 25 0 1 0 674810804 8990720 1461 4294967295 134512640 134714508 3221221792 3221218020 1075114984 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2195 1461 1111 63 0 2132 0 vsize: 8780 [startup+930.173 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24207 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 409901 0 0 0 91883 1142 0 0 25 0 1 0 674810804 8548352 1419 4294967295 134512640 134714508 3221221792 3221219792 1074918562 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2087 1419 1111 63 0 2024 0 vsize: 8348 [startup+940.173 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 414353 0 0 0 92871 1155 0 0 25 0 1 0 674810804 8548352 1419 4294967295 134512640 134714508 3221221792 3221219520 1075828235 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2087 1419 1111 63 0 2024 0 vsize: 8348 [startup+950.174 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 419001 0 0 0 93859 1167 0 0 25 0 1 0 674810804 8548352 1419 4294967295 134512640 134714508 3221221792 3221219480 1077378283 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2123 1420 1111 63 0 2060 0 vsize: 8348 [startup+960.174 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 423094 0 0 0 94848 1178 0 0 25 0 1 0 674810804 9027584 1476 4294967295 134512640 134714508 3221221792 3221218304 1075084536 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2204 1476 1111 63 0 2141 0 vsize: 8816 [startup+970.174 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 427860 0 0 0 95835 1191 0 0 25 0 1 0 674810804 9445376 1583 4294967295 134512640 134714508 3221221792 3221218836 1074846137 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2306 1583 1111 63 0 2243 0 vsize: 9224 [startup+980.174 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 430900 0 0 0 96826 1200 0 0 25 0 1 0 674810804 8654848 1445 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2113 1445 1111 63 0 2050 0 vsize: 8452 [startup+990.175 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 434375 0 0 0 97818 1209 0 0 25 0 1 0 674810804 8658944 1446 4294967295 134512640 134714508 3221221792 3221220556 134558476 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2114 1446 1111 63 0 2051 0 vsize: 8456 [startup+1000.17 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 438572 0 0 0 98807 1220 0 0 25 0 1 0 674810804 8593408 1430 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2098 1430 1111 63 0 2035 0 vsize: 8392 [startup+1010.18 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 444458 0 0 0 99792 1235 0 0 25 0 1 0 674810804 9150464 1481 4294967295 134512640 134714508 3221221792 3221218812 1075338740 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2234 1481 1111 63 0 2171 0 vsize: 8936 [startup+1020.18 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 449157 0 0 0 100779 1249 0 0 25 0 1 0 674810804 9150464 1486 4294967295 134512640 134714508 3221221792 3221217968 1074882535 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2234 1486 1111 63 0 2171 0 vsize: 8936 [startup+1030.18 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 453514 0 0 0 101767 1261 0 0 25 0 1 0 674810804 9150464 1483 4294967295 134512640 134714508 3221221792 3221217700 1074786562 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2234 1483 1111 63 0 2171 0 vsize: 8936 [startup+1040.18 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 457604 0 0 0 102755 1272 0 0 25 0 1 0 674810804 9535488 1526 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2328 1526 1111 63 0 2265 0 vsize: 9312 [startup+1050.18 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 461544 0 0 0 103745 1283 0 0 25 0 1 0 674810804 8994816 1465 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2196 1467 1111 63 0 2133 0 vsize: 8784 [startup+1060.18 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 465147 0 0 0 104735 1292 0 0 25 0 1 0 674810804 9555968 1534 4294967295 134512640 134714508 3221221792 3221218384 1074884339 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2333 1534 1111 63 0 2270 0 vsize: 9332 [startup+1070.18 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 469262 0 0 0 105723 1305 0 0 25 0 1 0 674810804 9609216 1507 4294967295 134512640 134714508 3221221792 3221217944 1074883364 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2346 1507 1111 63 0 2283 0 vsize: 9384 [startup+1080.18 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 473656 0 0 0 106711 1317 0 0 25 0 1 0 674810804 8626176 1438 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2106 1438 1111 63 0 2043 0 vsize: 8424 [startup+1090.18 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 477477 0 0 0 107702 1327 0 0 25 0 1 0 674810804 8699904 1456 4294967295 134512640 134714508 3221221792 3221219792 1074918510 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2124 1456 1111 63 0 2061 0 vsize: 8496 [startup+1100.18 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 481657 0 0 0 108689 1339 0 0 25 0 1 0 674810804 9187328 1503 4294967295 134512640 134714508 3221221792 3221217676 1074788930 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2243 1503 1111 63 0 2180 0 vsize: 8972 [startup+1110.18 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 485212 0 0 0 109679 1349 0 0 25 0 1 0 674810804 8712192 1459 4294967295 134512640 134714508 3221221792 3221220144 1074115298 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2127 1459 1111 63 0 2064 0 vsize: 8508 [startup+1120.18 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 488809 0 0 0 110670 1359 0 0 25 0 1 0 674810804 8708096 1458 4294967295 134512640 134714508 3221221792 3221218544 1074247416 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2296 1462 1111 63 0 2233 0 vsize: 8504 [startup+1130.18 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 492414 0 0 0 111660 1369 0 0 25 0 1 0 674810804 9674752 1609 4294967295 134512640 134714508 3221221792 3221217668 1074786510 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2362 1609 1111 63 0 2299 0 vsize: 9448 [startup+1140.18 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 496945 0 0 0 112649 1381 0 0 25 0 1 0 674810804 9195520 1490 4294967295 134512640 134714508 3221221792 3221217952 1074794557 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2245 1490 1111 63 0 2182 0 vsize: 8980 [startup+1150.18 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 501350 0 0 0 113636 1394 0 0 25 0 1 0 674810804 9195520 1490 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2245 1490 1111 63 0 2182 0 vsize: 8980 [startup+1160.18 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 507251 0 0 0 114622 1407 0 0 25 0 1 0 674810804 9347072 1509 4294967295 134512640 134714508 3221221792 3221218064 1074960759 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2282 1509 1111 63 0 2219 0 vsize: 9128 [startup+1170.18 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 511474 0 0 0 115610 1419 0 0 25 0 1 0 674810804 8699904 1456 4294967295 134512640 134714508 3221221792 3221219440 1075818376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2124 1456 1111 63 0 2061 0 vsize: 8496 [startup+1175.03 s] Raw data (loadavg): 1.00 0.99 0.98 1/53 24209 Raw data (stat): 24152 (bsolo_lpr) R 24151 7876 7672 0 -1 0 511474 0 0 0 115610 1419 0 0 25 0 1 0 674810804 8699904 1456 4294967295 134512640 134714508 3221221792 3221219440 1075818376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2124 1456 1111 63 0 2061 0 vsize: 0 Child status: 10 Real time (s): 1175.03 CPU time (s): 1175.16 CPU user time (s): 1160.89 CPU system time (s): 14.2668 CPU usage (%): 100.011 Max. virtual memory (Kb): 9448 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 162 #### END VERIFIER DATA ####