Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c1.opb |
MD5SUM | 8afff0cc8710524125079d5ef00fedc0 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 167 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 450 |
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 | 450 |
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 | 450 |
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.03084 |
Number of variables | 450 |
Total number of constraints | 1505 |
Number of constraints which are clauses | 1505 |
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 wulflinc6 THE 2005-06-07 12:05:54 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27593 boxname=wulflinc6 idbench=151 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 8afff0cc8710524125079d5ef00fedc0 /oldhome/oroussel/tmp/wulflinc6/normalized-ii32c1.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-ii32c1.opb IDLAUNCH: 27593 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 839368 kB Buffers: 33664 kB Cached: 139600 kB SwapCached: 1020 kB Active: 30688 kB Inactive: 144732 kB HighTotal: 131008 kB HighFree: 97860 kB LowTotal: 903652 kB LowFree: 741508 kB SwapTotal: 2097136 kB SwapFree: 2095192 kB Dirty: 32 kB Writeback: 0 kB Mapped: 5016 kB Slab: 14176 kB Committed_AS: 63736 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 12:22:21 (client local time) WITH STATUS 30 IN 987.437 SECONDS stats: 27593 0 987.437 30 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 450 variables and 1505 constraints. c After prepocess the problem consists of 450 variables and 1505 constraints. c preprocess terminated 1.396 s c Initial Lower Bound: 129 c Lower Bound Elapsed time: 0.1835 c Use computed LB before first solution. c NEW SOLUTION FOUND: 167 @ 6.351 s OPTIMUM FOUND 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 c Exit Code: 30 c Total time: 987.427 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.92 0.98 0.94 2/54 14380 Raw data (stat): 14380 (runsolver) R 14379 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892858057 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0012 s] Raw data (loadavg): 0.93 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 4797 0 0 0 985 12 0 0 25 0 1 0 892858057 7860224 1164 4294967295 134512640 134716908 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1919 1165 1111 63 0 1856 0 vsize: 7676 [startup+20.0023 s] Raw data (loadavg): 0.94 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 9981 0 0 0 1972 26 0 0 25 0 1 0 892858057 7462912 1137 4294967295 134512640 134716908 3221224592 3221222904 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1822 1137 1111 63 0 1759 0 vsize: 7288 [startup+30.0027 s] Raw data (loadavg): 0.95 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 14289 0 0 0 2959 38 0 0 25 0 1 0 892858057 8433664 1195 4294967295 134512640 134716908 3221224592 3221220636 1074873474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2059 1195 1111 63 0 1996 0 vsize: 8236 [startup+40.0026 s] Raw data (loadavg): 0.96 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 19437 0 0 0 3947 51 0 0 25 0 1 0 892858057 7462912 1145 4294967295 134512640 134716908 3221224592 3221222592 1074916549 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1822 1145 1111 63 0 1759 0 vsize: 7288 [startup+50.0027 s] Raw data (loadavg): 0.96 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 24781 0 0 0 4933 65 0 0 25 0 1 0 892858057 8392704 1211 4294967295 134512640 134716908 3221224592 3221220928 1075113508 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2049 1211 1111 63 0 1986 0 vsize: 8196 [startup+60.0032 s] Raw data (loadavg): 0.97 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 29178 0 0 0 5921 77 0 0 25 0 1 0 892858057 7753728 1191 4294967295 134512640 134716908 3221224592 3221222320 1075828444 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1893 1191 1111 63 0 1830 0 vsize: 7572 [startup+70.004 s] Raw data (loadavg): 0.97 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 33738 0 0 0 6911 88 0 0 25 0 1 0 892858057 8327168 1247 4294967295 134512640 134716908 3221224592 3221221512 1075964775 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2033 1247 1111 63 0 1970 0 vsize: 8132 [startup+80.0042 s] Raw data (loadavg): 0.98 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 37859 0 0 0 7899 101 0 0 25 0 1 0 892858057 7630848 1186 4294967295 134512640 134716908 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1863 1186 1111 63 0 1800 0 vsize: 7452 [startup+90.0043 s] Raw data (loadavg): 0.98 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 41555 0 0 0 8889 111 0 0 25 0 1 0 892858057 8478720 1221 4294967295 134512640 134716908 3221224592 3221220832 1075115696 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2070 1221 1111 63 0 2007 0 vsize: 8280 [startup+100.004 s] Raw data (loadavg): 0.98 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 45253 0 0 0 9880 120 0 0 25 0 1 0 892858057 7630848 1186 4294967295 134512640 134716908 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1863 1186 1111 63 0 1800 0 vsize: 7452 [startup+110.005 s] Raw data (loadavg): 0.98 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 48882 0 0 0 10873 128 0 0 25 0 1 0 892858057 8101888 1231 4294967295 134512640 134716908 3221224592 3221220756 1075964296 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1978 1231 1111 63 0 1915 0 vsize: 7912 [startup+120.006 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 53239 0 0 0 11862 139 0 0 25 0 1 0 892858057 8560640 1261 4294967295 134512640 134716908 3221224592 3221221664 1074867305 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2090 1261 1111 63 0 2027 0 vsize: 8360 [startup+130.006 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 56738 0 0 0 12853 148 0 0 25 0 1 0 892858057 8617984 1242 4294967295 134512640 134716908 3221224592 3221220476 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2104 1242 1111 63 0 2041 0 vsize: 8416 [startup+140.006 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 60462 0 0 0 13843 159 0 0 25 0 1 0 892858057 7655424 1192 4294967295 134512640 134716908 3221224592 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1869 1192 1111 63 0 1806 0 vsize: 7476 [startup+150.007 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 64349 0 0 0 14834 169 0 0 25 0 1 0 892858057 8728576 1274 4294967295 134512640 134716908 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2131 1274 1111 63 0 2068 0 vsize: 8524 [startup+160.007 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 69072 0 0 0 15821 182 0 0 25 0 1 0 892858057 7688192 1200 4294967295 134512640 134716908 3221224592 3221223312 134625111 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1877 1200 1111 63 0 1814 0 vsize: 7508 [startup+170.008 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 73099 0 0 0 16810 193 0 0 25 0 1 0 892858057 8679424 1279 4294967295 134512640 134716908 3221224592 3221220736 1074969461 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2119 1279 1111 63 0 2056 0 vsize: 8476 [startup+180.008 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 76584 0 0 0 17800 203 0 0 25 0 1 0 892858057 8200192 1263 4294967295 134512640 134716908 3221224592 3221220752 1074794661 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2002 1263 1111 63 0 1939 0 vsize: 8008 [startup+190.009 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 80559 0 0 0 18789 215 0 0 25 0 1 0 892858057 8200192 1266 4294967295 134512640 134716908 3221224592 3221221168 1076047982 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2002 1266 1111 63 0 1939 0 vsize: 8008 [startup+200.009 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 84145 0 0 0 19780 224 0 0 25 0 1 0 892858057 8220672 1272 4294967295 134512640 134716908 3221224592 3221220752 1074794542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2007 1272 1111 63 0 1944 0 vsize: 8028 [startup+210.009 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 87509 0 0 0 20771 233 0 0 25 0 1 0 892858057 8601600 1273 4294967295 134512640 134716908 3221224592 3221218100 1075336305 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2100 1273 1111 63 0 2037 0 vsize: 8400 [startup+220.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 91292 0 0 0 21761 244 0 0 25 0 1 0 892858057 8769536 1349 4294967295 134512640 134716908 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2141 1349 1111 63 0 2078 0 vsize: 8564 [startup+230.011 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 94994 0 0 0 22751 254 0 0 25 0 1 0 892858057 8810496 1285 4294967295 134512640 134716908 3221224592 3221221104 1075084539 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2151 1285 1111 63 0 2088 0 vsize: 8604 [startup+240.011 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 99051 0 0 0 23740 265 0 0 25 0 1 0 892858057 8790016 1268 4294967295 134512640 134716908 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2146 1268 1111 63 0 2083 0 vsize: 8584 [startup+250.012 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 104390 0 0 0 24727 279 0 0 25 0 1 0 892858057 7917568 1256 4294967295 134512640 134716908 3221224592 3221223376 134624885 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1933 1256 1111 63 0 1870 0 vsize: 7732 [startup+260.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 108513 0 0 0 25714 292 0 0 25 0 1 0 892858057 7905280 1253 4294967295 134512640 134716908 3221224592 3221222320 1075828650 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1930 1253 1111 63 0 1867 0 vsize: 7720 [startup+270.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 112322 0 0 0 26705 302 0 0 25 0 1 0 892858057 8425472 1307 4294967295 134512640 134716908 3221224592 3221220528 1075965307 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2057 1307 1111 63 0 1994 0 vsize: 8228 [startup+280.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 115552 0 0 0 27696 311 0 0 25 0 1 0 892858057 8863744 1344 4294967295 134512640 134716908 3221224592 3221221404 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2164 1344 1111 63 0 2101 0 vsize: 8656 [startup+290.015 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 118892 0 0 0 28687 320 0 0 25 0 1 0 892858057 8667136 1363 4294967295 134512640 134716908 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2116 1363 1111 63 0 2053 0 vsize: 8464 [startup+300.015 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 123305 0 0 0 29676 332 0 0 25 0 1 0 892858057 7970816 1269 4294967295 134512640 134716908 3221224592 3221223232 134651140 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1946 1269 1111 63 0 1883 0 vsize: 7784 [startup+310.015 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 126853 0 0 0 30666 342 0 0 25 0 1 0 892858057 8773632 1291 4294967295 134512640 134716908 3221224592 3221221184 1074887060 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2142 1292 1111 63 0 2079 0 vsize: 8568 [startup+320.015 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 130883 0 0 0 31655 354 0 0 25 0 1 0 892858057 8024064 1281 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1959 1281 1111 63 0 1896 0 vsize: 7836 [startup+330.016 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 134143 0 0 0 32647 362 0 0 25 0 1 0 892858057 8929280 1317 4294967295 134512640 134716908 3221224592 3221220648 1074789633 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2180 1317 1111 63 0 2117 0 vsize: 8720 [startup+340.016 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 137868 0 0 0 33638 371 0 0 25 0 1 0 892858057 8691712 1371 4294967295 134512640 134716908 3221224592 3221220864 1074961301 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2122 1371 1111 63 0 2059 0 vsize: 8488 [startup+350.017 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 141573 0 0 0 34628 382 0 0 25 0 1 0 892858057 7983104 1272 4294967295 134512640 134716908 3221224592 3221222992 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1949 1272 1111 63 0 1886 0 vsize: 7796 [startup+360.018 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 145485 0 0 0 35618 392 0 0 25 0 1 0 892858057 7983104 1272 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1949 1272 1111 63 0 1886 0 vsize: 7796 [startup+370.019 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 149214 0 0 0 36609 402 0 0 25 0 1 0 892858057 8040448 1286 4294967295 134512640 134716908 3221224592 3221222896 1074153753 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1963 1286 1111 63 0 1900 0 vsize: 7852 [startup+380.019 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 152661 0 0 0 37599 412 0 0 25 0 1 0 892858057 8896512 1349 4294967295 134512640 134716908 3221224592 3221221248 1075966266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2172 1349 1111 63 0 2109 0 vsize: 8688 [startup+390.019 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 156323 0 0 0 38590 421 0 0 25 0 1 0 892858057 9134080 1387 4294967295 134512640 134716908 3221224592 3221220864 1074961191 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2230 1387 1111 63 0 2167 0 vsize: 8920 [startup+400.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 159809 0 0 0 39582 430 0 0 25 0 1 0 892858057 8089600 1298 4294967295 134512640 134716908 3221224592 3221222836 1077374149 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1975 1298 1111 63 0 1912 0 vsize: 7900 [startup+410.021 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 163366 0 0 0 40573 440 0 0 25 0 1 0 892858057 9011200 1375 4294967295 134512640 134716908 3221224592 3221220488 1074789553 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2200 1375 1111 63 0 2137 0 vsize: 8800 [startup+420.021 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 167114 0 0 0 41561 452 0 0 25 0 1 0 892858057 9007104 1378 4294967295 134512640 134716908 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2199 1378 1111 63 0 2136 0 vsize: 8796 [startup+430.022 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 171053 0 0 0 42550 463 0 0 25 0 1 0 892858057 8564736 1314 4294967295 134512640 134716908 3221224592 3221221576 1074831508 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2091 1314 1111 63 0 2028 0 vsize: 8364 [startup+440.022 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 174595 0 0 0 43540 473 0 0 25 0 1 0 892858057 8998912 1377 4294967295 134512640 134716908 3221224592 3221221120 1075119993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2197 1377 1111 63 0 2134 0 vsize: 8788 [startup+450.023 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 178154 0 0 0 44531 482 0 0 25 0 1 0 892858057 8777728 1356 4294967295 134512640 134716908 3221224592 3221220928 1075114279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2143 1356 1111 63 0 2080 0 vsize: 8572 [startup+460.023 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 181724 0 0 0 45523 491 0 0 25 0 1 0 892858057 8978432 1346 4294967295 134512640 134716908 3221224592 3221220864 1074961146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2192 1346 1111 63 0 2129 0 vsize: 8768 [startup+470.024 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 185403 0 0 0 46513 502 0 0 25 0 1 0 892858057 9216000 1417 4294967295 134512640 134716908 3221224592 3221221664 1074867320 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2250 1417 1111 63 0 2187 0 vsize: 9000 [startup+480.026 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 189118 0 0 0 47503 512 0 0 25 0 1 0 892858057 8933376 1436 4294967295 134512640 134716908 3221224592 3221220524 1074788201 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2181 1436 1111 63 0 2118 0 vsize: 8724 [startup+490.025 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 192457 0 0 0 48495 521 0 0 25 0 1 0 892858057 9146368 1372 4294967295 134512640 134716908 3221224592 3221220752 1074794557 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2233 1372 1111 63 0 2170 0 vsize: 8932 [startup+500.026 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 195556 0 0 0 49485 530 0 0 25 0 1 0 892858057 9297920 1468 4294967295 134512640 134716908 3221224592 3221220728 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2270 1468 1111 63 0 2207 0 vsize: 9080 [startup+510.025 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 199468 0 0 0 50475 540 0 0 25 0 1 0 892858057 8785920 1345 4294967295 134512640 134716908 3221224592 3221221120 1075890968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2081 1341 1111 63 0 2018 0 vsize: 8580 [startup+520.024 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 203459 0 0 0 51464 552 0 0 25 0 1 0 892858057 8761344 1383 4294967295 134512640 134716908 3221224592 3221220820 1075115106 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2139 1383 1111 63 0 2076 0 vsize: 8556 [startup+530.023 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 207197 0 0 0 52454 562 0 0 25 0 1 0 892858057 8290304 1347 4294967295 134512640 134716908 3221224592 3221222408 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2024 1347 1111 63 0 1961 0 vsize: 8096 [startup+540.023 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 210765 0 0 0 53446 571 0 0 25 0 1 0 892858057 8351744 1362 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2039 1362 1111 63 0 1976 0 vsize: 8156 [startup+550.023 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 214210 0 0 0 54437 580 0 0 25 0 1 0 892858057 8351744 1362 4294967295 134512640 134716908 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2039 1362 1111 63 0 1976 0 vsize: 8156 [startup+560.023 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 219679 0 0 0 55422 595 0 0 25 0 1 0 892858057 9256960 1438 4294967295 134512640 134716908 3221224592 3221220624 1075965260 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2260 1438 1111 63 0 2197 0 vsize: 9040 [startup+570.023 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 222913 0 0 0 56413 604 0 0 25 0 1 0 892858057 9396224 1473 4294967295 134512640 134716908 3221224592 3221220800 1074815241 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2294 1473 1111 63 0 2231 0 vsize: 9176 [startup+580.022 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 226203 0 0 0 57404 614 0 0 25 0 1 0 892858057 9121792 1479 4294967295 134512640 134716908 3221224592 3221220528 1075965246 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2227 1479 1111 63 0 2164 0 vsize: 8908 [startup+590.021 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 229887 0 0 0 58393 625 0 0 25 0 1 0 892858057 9379840 1459 4294967295 134512640 134716908 3221224592 3221220928 1075113502 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2290 1459 1111 63 0 2227 0 vsize: 9160 [startup+600.02 s] Raw data (loadavg): 1.07 1.00 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 233529 0 0 0 59385 633 0 0 25 0 1 0 892858057 8892416 1440 4294967295 134512640 134716908 3221224592 3221221148 1075240388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2171 1440 1111 63 0 2108 0 vsize: 8684 [startup+610.02 s] Raw data (loadavg): 1.06 1.00 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 237018 0 0 0 60375 644 0 0 25 0 1 0 892858057 8986624 1441 4294967295 134512640 134716908 3221224592 3221221656 1075007302 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2194 1441 1111 63 0 2131 0 vsize: 8776 [startup+620.02 s] Raw data (loadavg): 1.05 1.00 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 240254 0 0 0 61367 652 0 0 25 0 1 0 892858057 8605696 1419 4294967295 134512640 134716908 3221224592 3221222592 1074917184 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2101 1419 1111 63 0 2038 0 vsize: 8404 [startup+630.02 s] Raw data (loadavg): 1.04 1.00 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 243856 0 0 0 62358 662 0 0 25 0 1 0 892858057 9490432 1492 4294967295 134512640 134716908 3221224592 3221220752 1075092579 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2317 1492 1111 63 0 2254 0 vsize: 9268 [startup+640.02 s] Raw data (loadavg): 1.03 1.00 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 247994 0 0 0 63348 671 0 0 25 0 1 0 892858057 8474624 1392 4294967295 134512640 134716908 3221224592 3221222704 1074153792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2069 1392 1111 63 0 2006 0 vsize: 8276 [startup+650.019 s] Raw data (loadavg): 1.03 1.00 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 252237 0 0 0 64337 683 0 0 25 0 1 0 892858057 8474624 1392 4294967295 134512640 134716908 3221224592 3221223264 134652564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2069 1392 1111 63 0 2006 0 vsize: 8276 [startup+660.019 s] Raw data (loadavg): 1.02 1.00 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 256022 0 0 0 65328 693 0 0 25 0 1 0 892858057 8507392 1400 4294967295 134512640 134716908 3221224592 3221223208 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2077 1400 1111 63 0 2014 0 vsize: 8308 [startup+670.019 s] Raw data (loadavg): 1.02 1.00 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 260040 0 0 0 66318 703 0 0 25 0 1 0 892858057 9031680 1451 4294967295 134512640 134716908 3221224592 3221220960 1075894554 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2205 1451 1111 63 0 2142 0 vsize: 8820 [startup+680.02 s] Raw data (loadavg): 1.02 1.00 0.94 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 263925 0 0 0 67306 715 0 0 25 0 1 0 892858057 9531392 1459 4294967295 134512640 134716908 3221224592 3221220560 1074873131 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2327 1459 1111 63 0 2264 0 vsize: 9308 [startup+690.02 s] Raw data (loadavg): 1.09 1.02 0.95 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 267506 0 0 0 68297 725 0 0 25 0 1 0 892858057 9240576 1515 4294967295 134512640 134716908 3221224592 3221221184 1074886997 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2256 1515 1111 63 0 2193 0 vsize: 9024 [startup+700.02 s] Raw data (loadavg): 1.08 1.02 0.95 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 271169 0 0 0 69288 734 0 0 25 0 1 0 892858057 9486336 1486 4294967295 134512640 134716908 3221224592 3221220648 1074789619 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2316 1486 1111 63 0 2253 0 vsize: 9264 [startup+710.02 s] Raw data (loadavg): 1.07 1.01 0.95 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 274750 0 0 0 70278 744 0 0 25 0 1 0 892858057 9551872 1477 4294967295 134512640 134716908 3221224592 3221220432 1075965250 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2332 1477 1111 63 0 2269 0 vsize: 9328 [startup+720.02 s] Raw data (loadavg): 1.06 1.01 0.95 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 278459 0 0 0 71267 756 0 0 25 0 1 0 892858057 8474624 1392 4294967295 134512640 134716908 3221224592 3221222680 1077377866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2069 1392 1111 63 0 2006 0 vsize: 8276 [startup+730.02 s] Raw data (loadavg): 1.05 1.01 0.95 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 282419 0 0 0 72255 768 0 0 25 0 1 0 892858057 9392128 1463 4294967295 134512640 134716908 3221224592 3221220768 1074882511 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2293 1463 1111 63 0 2230 0 vsize: 9172 [startup+740.019 s] Raw data (loadavg): 1.04 1.01 0.95 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 286218 0 0 0 73244 779 0 0 25 0 1 0 892858057 8589312 1420 4294967295 134512640 134716908 3221224592 3221222616 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2097 1420 1111 63 0 2034 0 vsize: 8388 [startup+750.02 s] Raw data (loadavg): 1.03 1.01 0.95 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 289648 0 0 0 74235 788 0 0 25 0 1 0 892858057 8605696 1424 4294967295 134512640 134716908 3221224592 3221222992 1074153792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2101 1424 1111 63 0 2038 0 vsize: 8404 [startup+760.019 s] Raw data (loadavg): 1.03 1.01 0.95 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 293620 0 0 0 75226 797 0 0 25 0 1 0 892858057 8912896 1474 4294967295 134512640 134716908 3221224592 3221222320 1075828674 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2176 1474 1111 63 0 2113 0 vsize: 8704 [startup+770.019 s] Raw data (loadavg): 1.02 1.01 0.95 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 297043 0 0 0 76217 807 0 0 25 0 1 0 892858057 8818688 1445 4294967295 134512640 134716908 3221224592 3221222512 1075799652 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2153 1445 1111 63 0 2090 0 vsize: 8612 [startup+780.019 s] Raw data (loadavg): 1.02 1.01 0.95 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 300445 0 0 0 77208 816 0 0 25 0 1 0 892858057 9605120 1484 4294967295 134512640 134716908 3221224592 3221221520 1075960384 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2345 1484 1111 63 0 2282 0 vsize: 9380 [startup+790.019 s] Raw data (loadavg): 1.02 1.01 0.95 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 303214 0 0 0 78201 823 0 0 25 0 1 0 892858057 9637888 1521 4294967295 134512640 134716908 3221224592 3221220752 1074883672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2353 1521 1111 63 0 2290 0 vsize: 9412 [startup+800.018 s] Raw data (loadavg): 1.01 1.01 0.95 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 306393 0 0 0 79191 834 0 0 25 0 1 0 892858057 9424896 1565 4294967295 134512640 134716908 3221224592 3221220960 1075894558 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2301 1565 1111 63 0 2238 0 vsize: 9204 [startup+810.019 s] Raw data (loadavg): 1.01 1.00 0.95 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 309829 0 0 0 80182 843 0 0 25 0 1 0 892858057 9510912 1476 4294967295 134512640 134716908 3221224592 3221220684 1075663503 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2322 1476 1111 63 0 2259 0 vsize: 9288 [startup+820.018 s] Raw data (loadavg): 1.01 1.00 0.95 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 313077 0 0 0 81173 852 0 0 25 0 1 0 892858057 9588736 1522 4294967295 134512640 134716908 3221224592 3221220488 1074789711 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2341 1522 1111 63 0 2278 0 vsize: 9364 [startup+830.018 s] Raw data (loadavg): 1.01 1.00 0.95 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 316322 0 0 0 82164 862 0 0 25 0 1 0 892858057 9674752 1502 4294967295 134512640 134716908 3221224592 3221221248 1075967916 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2362 1502 1111 63 0 2299 0 vsize: 9448 [startup+840.017 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 319426 0 0 0 83156 870 0 0 25 0 1 0 892858057 9629696 1520 4294967295 134512640 134716908 3221224592 3221220976 1074973611 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2351 1520 1111 63 0 2288 0 vsize: 9404 [startup+850.017 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 322841 0 0 0 84148 878 0 0 25 0 1 0 892858057 9625600 1496 4294967295 134512640 134716908 3221224592 3221221712 1074835532 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2350 1496 1111 63 0 2287 0 vsize: 9400 [startup+860.016 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 326164 0 0 0 85140 887 0 0 25 0 1 0 892858057 9793536 1564 4294967295 134512640 134716908 3221224592 3221220752 1075091819 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2391 1564 1111 63 0 2328 0 vsize: 9564 [startup+870.016 s] Raw data (loadavg): 1.08 1.02 0.95 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 329654 0 0 0 86131 895 0 0 25 0 1 0 892858057 9547776 1507 4294967295 134512640 134716908 3221224592 3221221712 1074834358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2331 1507 1111 63 0 2268 0 vsize: 9324 [startup+880.016 s] Raw data (loadavg): 1.14 1.03 0.96 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 333145 0 0 0 87123 904 0 0 25 0 1 0 892858057 9678848 1529 4294967295 134512640 134716908 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2363 1529 1111 63 0 2300 0 vsize: 9452 [startup+890.017 s] Raw data (loadavg): 1.12 1.03 0.96 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 336699 0 0 0 88114 914 0 0 25 0 1 0 892858057 9695232 1544 4294967295 134512640 134716908 3221224592 3221220752 1074794542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2367 1544 1111 63 0 2304 0 vsize: 9468 [startup+900.017 s] Raw data (loadavg): 1.10 1.03 0.96 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 339615 0 0 0 89105 923 0 0 25 0 1 0 892858057 8769536 1464 4294967295 134512640 134716908 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2141 1464 1111 63 0 2078 0 vsize: 8564 [startup+910.017 s] Raw data (loadavg): 1.08 1.03 0.96 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 342706 0 0 0 90097 931 0 0 25 0 1 0 892858057 8904704 1468 4294967295 134512640 134716908 3221224592 3221222240 1075818272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2174 1468 1111 63 0 2111 0 vsize: 8696 [startup+920.017 s] Raw data (loadavg): 1.07 1.03 0.96 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 345896 0 0 0 91090 939 0 0 25 0 1 0 892858057 9203712 1486 4294967295 134512640 134716908 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2354 1493 1111 63 0 2291 0 vsize: 8988 [startup+930.017 s] Raw data (loadavg): 1.14 1.04 0.96 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 349603 0 0 0 92078 950 0 0 25 0 1 0 892858057 9728000 1514 4294967295 134512640 134716908 3221224592 3221220924 1075112835 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2375 1514 1111 63 0 2312 0 vsize: 9500 [startup+940.017 s] Raw data (loadavg): 1.19 1.06 0.97 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 353226 0 0 0 93068 961 0 0 25 0 1 0 892858057 8863744 1476 4294967295 134512640 134716908 3221224592 3221222592 1074916681 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2164 1476 1111 63 0 2101 0 vsize: 8656 [startup+950.017 s] Raw data (loadavg): 1.16 1.05 0.97 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 356326 0 0 0 94059 971 0 0 25 0 1 0 892858057 8814592 1475 4294967295 134512640 134716908 3221224592 3221222800 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2152 1475 1111 63 0 2089 0 vsize: 8608 [startup+960.017 s] Raw data (loadavg): 1.14 1.05 0.97 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 359560 0 0 0 95051 979 0 0 25 0 1 0 892858057 9613312 1505 4294967295 134512640 134716908 3221224592 3221220752 1074883536 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2347 1506 1111 63 0 2284 0 vsize: 9388 [startup+970.017 s] Raw data (loadavg): 1.12 1.05 0.97 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 363113 0 0 0 96041 989 0 0 25 0 1 0 892858057 8790016 1469 4294967295 134512640 134716908 3221224592 3221222992 1074153753 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2146 1469 1111 63 0 2083 0 vsize: 8584 [startup+980.016 s] Raw data (loadavg): 1.10 1.05 0.97 2/54 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 366797 0 0 0 97032 998 0 0 25 0 1 0 892858057 9809920 1560 4294967295 134512640 134716908 3221224592 3221220540 1074788968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2395 1560 1111 63 0 2332 0 vsize: 9580 [startup+987.141 s] Raw data (loadavg): 1.08 1.05 0.97 1/53 14380 Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 366797 0 0 0 97032 998 0 0 25 0 1 0 892858057 9809920 1560 4294967295 134512640 134716908 3221224592 3221220540 1074788968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2395 1560 1111 63 0 2332 0 vsize: 0 Child status: 30 Real time (s): 987.14 CPU time (s): 987.437 CPU user time (s): 977.37 CPU system time (s): 10.0665 CPU usage (%): 100.03 Max. virtual memory (Kb): 9580 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 167 #### END VERIFIER DATA ####