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 13:09:40 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1415 boxname=wulflinc31 idbench=158 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 33d46caaa6c22613488909eddb5a530f /oldhome/oroussel/tmp/wulflinc31/normalized-ii32e1.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ii32e1.opb IDLAUNCH: 1415 /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: 151860 kB Buffers: 36520 kB Cached: 812224 kB SwapCached: 644 kB Active: 485800 kB Inactive: 365236 kB HighTotal: 131008 kB HighFree: 9408 kB LowTotal: 903652 kB LowFree: 142452 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26240 kB Committed_AS: 63652 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-06 13:29:20 (client local time) WITH STATUS 10 IN 1179.65 SECONDS stats: 1415 0 1179.65 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.265 s c Initial Lower Bound: 132 c Lower Bound Elapsed time: 0.512571 c Use computed LB before first solution. c NEW SOLUTION FOUND: 162 @ 10.334 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: 1179.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.92 0.97 0.97 2/54 24302 Raw data (stat): 24302 (runsolver) R 24301 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 674929374 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+10.0011 s] Raw data (loadavg): 0.93 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 5218 0 0 0 978 17 0 0 25 0 1 0 674929374 7864320 1168 4294967295 134512640 134714508 3221221792 3221217968 1074882459 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1920 1168 1111 63 0 1857 0 vsize: 7680 [startup+20.0018 s] Raw data (loadavg): 0.94 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 10720 0 0 0 1961 34 0 0 25 0 1 0 674929374 8048640 1225 4294967295 134512640 134714508 3221221792 3221220192 1074153749 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1965 1225 1111 63 0 1902 0 vsize: 7860 [startup+30.0028 s] Raw data (loadavg): 0.95 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 17258 0 0 0 2943 53 0 0 25 0 1 0 674929374 8478720 1314 4294967295 134512640 134714508 3221221792 3221217944 1074883065 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2070 1314 1111 63 0 2007 0 vsize: 8280 [startup+40.0027 s] Raw data (loadavg): 0.96 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 24352 0 0 0 3923 73 0 0 25 0 1 0 674929374 8515584 1411 4294967295 134512640 134714508 3221221792 3221220120 1074207527 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2079 1411 1111 63 0 2016 0 vsize: 8316 [startup+50.0026 s] Raw data (loadavg): 0.96 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 31827 0 0 0 4904 92 0 0 25 0 1 0 674929374 9637888 1611 4294967295 134512640 134714508 3221221792 3221217952 1074794664 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2353 1611 1111 63 0 2290 0 vsize: 9412 [startup+60.0026 s] Raw data (loadavg): 0.97 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 37901 0 0 0 5886 110 0 0 25 0 1 0 674929374 9637888 1633 4294967295 134512640 134714508 3221221792 3221220320 134648531 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2353 1633 1111 63 0 2290 0 vsize: 9412 [startup+70.0028 s] Raw data (loadavg): 0.97 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 44775 0 0 0 6869 127 0 0 25 0 1 0 674929374 9728000 1707 4294967295 134512640 134714508 3221221792 3221220048 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2375 1707 1111 63 0 2312 0 vsize: 9500 [startup+80.0034 s] Raw data (loadavg): 0.98 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 51563 0 0 0 7852 145 0 0 25 0 1 0 674929374 10313728 1791 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2518 1791 1111 63 0 2455 0 vsize: 10072 [startup+90.0033 s] Raw data (loadavg): 0.98 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 57925 0 0 0 8836 161 0 0 25 0 1 0 674929374 10895360 1944 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2660 1944 1111 63 0 2597 0 vsize: 10640 [startup+100.003 s] Raw data (loadavg): 0.98 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 62627 0 0 0 9820 177 0 0 25 0 1 0 674929374 11661312 2036 4294967295 134512640 134714508 3221221792 3221217668 1074786596 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2847 2036 1111 63 0 2784 0 vsize: 11388 [startup+110.004 s] Raw data (loadavg): 0.98 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 68337 0 0 0 10804 193 0 0 25 0 1 0 674929374 10588160 1917 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2585 1917 1111 63 0 2522 0 vsize: 10340 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 72406 0 0 0 11793 204 0 0 25 0 1 0 674929374 10588160 1917 4294967295 134512640 134714508 3221221792 3221220192 1074118797 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2585 1917 1111 63 0 2522 0 vsize: 10340 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 78092 0 0 0 12777 221 0 0 25 0 1 0 674929374 11157504 2014 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2724 2014 1111 63 0 2661 0 vsize: 10896 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 84136 0 0 0 13761 236 0 0 25 0 1 0 674929374 11145216 2053 4294967295 134512640 134714508 3221221792 3221219792 1074052248 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2721 2053 1111 63 0 2658 0 vsize: 10884 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 87948 0 0 0 14751 247 0 0 25 0 1 0 674929374 11145216 2053 4294967295 134512640 134714508 3221221792 3221219800 1077380592 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2721 2053 1111 63 0 2658 0 vsize: 10884 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 93018 0 0 0 15736 262 0 0 25 0 1 0 674929374 11911168 2169 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2908 2169 1111 63 0 2845 0 vsize: 11632 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 98588 0 0 0 16719 279 0 0 25 0 1 0 674929374 11763712 2154 4294967295 134512640 134714508 3221221792 3221220120 1077402401 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2872 2154 1111 63 0 2809 0 vsize: 11488 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 104634 0 0 0 17703 295 0 0 25 0 1 0 674929374 12406784 2295 4294967295 134512640 134714508 3221221792 3221218448 1075966495 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3029 2295 1111 63 0 2966 0 vsize: 12116 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 111066 0 0 0 18683 316 0 0 25 0 1 0 674929374 12103680 2287 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2955 2287 1111 63 0 2892 0 vsize: 11820 [startup+200.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 118842 0 0 0 19663 336 0 0 25 0 1 0 674929374 12554240 2397 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3065 2397 1111 63 0 3002 0 vsize: 12260 [startup+210.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 124247 0 0 0 20646 352 0 0 25 0 1 0 674929374 12763136 2403 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3116 2403 1111 63 0 3053 0 vsize: 12464 [startup+220.004 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 129867 0 0 0 21633 366 0 0 25 0 1 0 674929374 13328384 2477 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3254 2477 1111 63 0 3191 0 vsize: 13016 [startup+230.004 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 135725 0 0 0 22618 381 0 0 25 0 1 0 674929374 13377536 2493 4294967295 134512640 134714508 3221221792 3221217756 1074788921 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3266 2493 1111 63 0 3203 0 vsize: 13064 [startup+240.004 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 141732 0 0 0 23602 397 0 0 25 0 1 0 674929374 12738560 2442 4294967295 134512640 134714508 3221221792 3221220192 1074153773 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3110 2442 1111 63 0 3047 0 vsize: 12440 [startup+250.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 150216 0 0 0 24578 422 0 0 25 0 1 0 674929374 13971456 2693 4294967295 134512640 134714508 3221221792 3221218384 1074887655 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3411 2693 1111 63 0 3348 0 vsize: 13644 [startup+260.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 157402 0 0 0 25560 440 0 0 25 0 1 0 674929374 14217216 2725 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3471 2725 1111 63 0 3408 0 vsize: 13884 [startup+270.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 163872 0 0 0 26541 458 0 0 25 0 1 0 674929374 13778944 2628 4294967295 134512640 134714508 3221221792 3221217728 1075965307 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3364 2628 1111 63 0 3301 0 vsize: 13456 [startup+280.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 168859 0 0 0 27527 473 0 0 25 0 1 0 674929374 13754368 2582 4294967295 134512640 134714508 3221221792 3221219360 1075972440 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3358 2582 1111 63 0 3295 0 vsize: 13432 [startup+290.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 173677 0 0 0 28513 487 0 0 25 0 1 0 674929374 13254656 2554 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3236 2554 1111 63 0 3173 0 vsize: 12944 [startup+300.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 178998 0 0 0 29498 502 0 0 25 0 1 0 674929374 14000128 2656 4294967295 134512640 134714508 3221221792 3221217756 1074788159 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3418 2656 1111 63 0 3355 0 vsize: 13672 [startup+310.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 184705 0 0 0 30483 518 0 0 25 0 1 0 674929374 13193216 2553 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3221 2553 1111 63 0 3158 0 vsize: 12884 [startup+320.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 191057 0 0 0 31466 535 0 0 25 0 1 0 674929374 14594048 2755 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3563 2755 1111 63 0 3500 0 vsize: 14252 [startup+330.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 200702 0 0 0 32442 559 0 0 25 0 1 0 674929374 14123008 2735 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3448 2735 1111 63 0 3385 0 vsize: 13792 [startup+340.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 210692 0 0 0 33418 583 0 0 25 0 1 0 674929374 14647296 2905 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3576 2905 1111 63 0 3513 0 vsize: 14304 [startup+350.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 218794 0 0 0 34399 603 0 0 25 0 1 0 674929374 14778368 2940 4294967295 134512640 134714508 3221221792 3221220464 1076648059 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3608 2940 1111 63 0 3545 0 vsize: 14432 [startup+360.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 226992 0 0 0 35381 621 0 0 25 0 1 0 674929374 15745024 3109 4294967295 134512640 134714508 3221221792 3221217884 1075663503 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3844 3109 1111 63 0 3781 0 vsize: 15376 [startup+370.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 235116 0 0 0 36363 639 0 0 25 0 1 0 674929374 16134144 3181 4294967295 134512640 134714508 3221221792 3221217728 1075965272 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3939 3181 1111 63 0 3876 0 vsize: 15756 [startup+380.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 244023 0 0 0 37341 660 0 0 25 0 1 0 674929374 15847424 3167 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3869 3167 1111 63 0 3806 0 vsize: 15476 [startup+390.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 252050 0 0 0 38322 680 0 0 25 0 1 0 674929374 16113664 3252 4294967295 134512640 134714508 3221221792 3221218984 1074138316 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3934 3255 1111 63 0 3871 0 vsize: 15736 [startup+400.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 260359 0 0 0 39304 698 0 0 25 0 1 0 674929374 15962112 3229 4294967295 134512640 134714508 3221221792 3221220252 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3897 3229 1111 63 0 3834 0 vsize: 15588 [startup+410.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 268533 0 0 0 40284 718 0 0 25 0 1 0 674929374 16351232 3292 4294967295 134512640 134714508 3221221792 3221219520 1075828432 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3992 3292 1111 63 0 3929 0 vsize: 15968 [startup+420.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 277167 0 0 0 41263 739 0 0 25 0 1 0 674929374 16269312 3277 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3972 3277 1111 63 0 3909 0 vsize: 15888 [startup+430.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 285010 0 0 0 42245 757 0 0 25 0 1 0 674929374 17514496 3539 4294967295 134512640 134714508 3221221792 3221218256 1075602734 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4276 3539 1111 63 0 4213 0 vsize: 17104 [startup+440.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 293013 0 0 0 43226 777 0 0 25 0 1 0 674929374 16814080 3406 4294967295 134512640 134714508 3221221792 3221219472 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4105 3406 1111 63 0 4042 0 vsize: 16420 [startup+450.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 301963 0 0 0 44203 800 0 0 25 0 1 0 674929374 17698816 3616 4294967295 134512640 134714508 3221221792 3221218112 1075169848 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4321 3616 1111 63 0 4258 0 vsize: 17284 [startup+460.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 310632 0 0 0 45182 821 0 0 25 0 1 0 674929374 17330176 3564 4294967295 134512640 134714508 3221221792 3221219692 134543156 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4231 3564 1111 63 0 4168 0 vsize: 16924 [startup+470.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 320873 0 0 0 46160 843 0 0 25 0 1 0 674929374 17395712 3580 4294967295 134512640 134714508 3221221792 3221219504 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4247 3580 1111 63 0 4184 0 vsize: 16988 [startup+480.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 328204 0 0 0 47145 859 0 0 25 0 1 0 674929374 17801216 3647 4294967295 134512640 134714508 3221221792 3221220192 1074153672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4346 3647 1111 63 0 4283 0 vsize: 17384 [startup+490.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 336443 0 0 0 48126 877 0 0 25 0 1 0 674929374 17408000 3583 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4250 3583 1111 63 0 4187 0 vsize: 17000 [startup+500.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 344800 0 0 0 49105 899 0 0 25 0 1 0 674929374 17756160 3668 4294967295 134512640 134714508 3221221792 3221220256 1074121049 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4335 3668 1111 63 0 4272 0 vsize: 17340 [startup+510.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 353037 0 0 0 50085 918 0 0 25 0 1 0 674929374 18821120 3838 4294967295 134512640 134714508 3221221792 3221218712 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4656 3842 1111 63 0 4593 0 vsize: 18380 [startup+520.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 362912 0 0 0 51061 943 0 0 25 0 1 0 674929374 19410944 3962 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4739 3962 1111 63 0 4676 0 vsize: 18956 [startup+530.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 374287 0 0 0 52034 970 0 0 25 0 1 0 674929374 19689472 4062 4294967295 134512640 134714508 3221221792 3221218912 1074834473 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4807 4062 1111 63 0 4744 0 vsize: 19228 [startup+540.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 382459 0 0 0 53017 988 0 0 25 0 1 0 674929374 18186240 3773 4294967295 134512640 134714508 3221221792 3221220128 1074153766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4440 3773 1111 63 0 4377 0 vsize: 17760 [startup+550.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 390060 0 0 0 54000 1005 0 0 25 0 1 0 674929374 18587648 3839 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4538 3839 1111 63 0 4475 0 vsize: 18152 [startup+560.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 396743 0 0 0 54985 1020 0 0 25 0 1 0 674929374 18554880 3850 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4530 3850 1111 63 0 4467 0 vsize: 18120 [startup+570.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 405000 0 0 0 55967 1038 0 0 25 0 1 0 674929374 19800064 4130 4294967295 134512640 134714508 3221221792 3221218340 1075088584 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4834 4130 1111 63 0 4771 0 vsize: 19336 [startup+580.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 411822 0 0 0 56952 1053 0 0 25 0 1 0 674929374 18612224 3845 4294967295 134512640 134714508 3221221792 3221220064 1074039337 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4544 3845 1111 63 0 4481 0 vsize: 18176 [startup+590.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 420535 0 0 0 57931 1074 0 0 25 0 1 0 674929374 18694144 3865 4294967295 134512640 134714508 3221221792 3221219788 1074788953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4564 3865 1111 63 0 4501 0 vsize: 18256 [startup+600.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 429535 0 0 0 58911 1095 0 0 25 0 1 0 674929374 18186240 3773 4294967295 134512640 134714508 3221221792 3221220416 134650161 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4440 3773 1111 63 0 4377 0 vsize: 17760 [startup+610.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 438247 0 0 0 59892 1114 0 0 25 0 1 0 674929374 19939328 4177 4294967295 134512640 134714508 3221221792 3221217768 1074788440 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4868 4177 1111 63 0 4805 0 vsize: 19472 [startup+620.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 446900 0 0 0 60871 1135 0 0 25 0 1 0 674929374 18604032 3859 4294967295 134512640 134714508 3221221792 3221220256 1074121076 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4542 3859 1111 63 0 4479 0 vsize: 18168 [startup+630.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 454170 0 0 0 61852 1154 0 0 25 0 1 0 674929374 19824640 4113 4294967295 134512640 134714508 3221221792 3221217700 1074786571 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4840 4113 1111 63 0 4777 0 vsize: 19360 [startup+640.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 461638 0 0 0 62838 1169 0 0 25 0 1 0 674929374 18628608 3881 4294967295 134512640 134714508 3221221792 3221220192 1074118854 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4548 3881 1111 63 0 4485 0 vsize: 18192 [startup+650.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 469972 0 0 0 63817 1190 0 0 25 0 1 0 674929374 18849792 3882 4294967295 134512640 134714508 3221221792 3221219752 1074138316 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4602 3893 1111 63 0 4539 0 vsize: 18408 [startup+660.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 478560 0 0 0 64798 1209 0 0 25 0 1 0 674929374 18616320 3846 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4545 3846 1111 63 0 4482 0 vsize: 18180 [startup+670.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 486710 0 0 0 65779 1228 0 0 25 0 1 0 674929374 18386944 3822 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4489 3822 1111 63 0 4426 0 vsize: 17956 [startup+680.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 494306 0 0 0 66762 1245 0 0 25 0 1 0 674929374 18911232 3940 4294967295 134512640 134714508 3221221792 3221219792 1074918559 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4617 3940 1111 63 0 4554 0 vsize: 18468 [startup+690.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 500284 0 0 0 67749 1259 0 0 25 0 1 0 674929374 19058688 3954 4294967295 134512640 134714508 3221221792 3221219440 1075818331 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4653 3954 1111 63 0 4590 0 vsize: 18612 [startup+700.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 507372 0 0 0 68733 1275 0 0 25 0 1 0 674929374 18690048 3864 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4563 3864 1111 63 0 4500 0 vsize: 18252 [startup+710.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 513895 0 0 0 69718 1290 0 0 25 0 1 0 674929374 18173952 3770 4294967295 134512640 134714508 3221221792 3221219904 1074153760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4437 3770 1111 63 0 4374 0 vsize: 17748 [startup+720.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 520928 0 0 0 70701 1307 0 0 25 0 1 0 674929374 18173952 3770 4294967295 134512640 134714508 3221221792 3221219936 1074153794 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4437 3770 1111 63 0 4374 0 vsize: 17748 [startup+730.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 528216 0 0 0 71684 1324 0 0 25 0 1 0 674929374 18317312 3800 4294967295 134512640 134714508 3221221792 3221219520 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4472 3800 1111 63 0 4409 0 vsize: 17888 [startup+740.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 534578 0 0 0 72668 1340 0 0 25 0 1 0 674929374 18685952 3863 4294967295 134512640 134714508 3221221792 3221220272 1074031964 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4562 3863 1111 63 0 4499 0 vsize: 18248 [startup+750.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 541145 0 0 0 73653 1356 0 0 25 0 1 0 674929374 18685952 3863 4294967295 134512640 134714508 3221221792 3221220272 1074031978 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4562 3863 1111 63 0 4499 0 vsize: 18248 [startup+760.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 548141 0 0 0 74637 1372 0 0 25 0 1 0 674929374 18173952 3770 4294967295 134512640 134714508 3221221792 3221219348 1077378716 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4437 3770 1111 63 0 4374 0 vsize: 17748 [startup+770.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 554895 0 0 0 75622 1387 0 0 25 0 1 0 674929374 18173952 3770 4294967295 134512640 134714508 3221221792 3221220000 1074153760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4437 3770 1111 63 0 4374 0 vsize: 17748 [startup+780.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 560887 0 0 0 76608 1401 0 0 25 0 1 0 674929374 18620416 3847 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4546 3847 1111 63 0 4483 0 vsize: 18184 [startup+790.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 567992 0 0 0 77591 1418 0 0 25 0 1 0 674929374 18538496 3859 4294967295 134512640 134714508 3221221792 3221220120 1077799185 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4526 3859 1111 63 0 4463 0 vsize: 18104 [startup+800.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 574525 0 0 0 78575 1435 0 0 25 0 1 0 674929374 20078592 4185 4294967295 134512640 134714508 3221221792 3221217724 1074788177 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4902 4185 1111 63 0 4839 0 vsize: 19608 [startup+810.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 581932 0 0 0 79558 1451 0 0 25 0 1 0 674929374 19984384 3986 4294967295 134512640 134714508 3221221792 3221218832 1075971414 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4879 3990 1111 63 0 4816 0 vsize: 19516 [startup+820.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 588834 0 0 0 80542 1468 0 0 25 0 1 0 674929374 20086784 4184 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4904 4184 1111 63 0 4841 0 vsize: 19616 [startup+830.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 593824 0 0 0 81530 1480 0 0 25 0 1 0 674929374 18677760 3861 4294967295 134512640 134714508 3221221792 3221220140 1074064918 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4560 3861 1111 63 0 4497 0 vsize: 18240 [startup+840.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 600270 0 0 0 82517 1493 0 0 25 0 1 0 674929374 18382848 3821 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4488 3821 1111 63 0 4425 0 vsize: 17952 [startup+850.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 607990 0 0 0 83498 1512 0 0 25 0 1 0 674929374 19636224 4066 4294967295 134512640 134714508 3221221792 3221217760 1074872824 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4794 4066 1111 63 0 4731 0 vsize: 19176 [startup+860.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 615144 0 0 0 84482 1528 0 0 25 0 1 0 674929374 19636224 4079 4294967295 134512640 134714508 3221221792 3221217892 1075964248 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4794 4079 1111 63 0 4731 0 vsize: 19176 [startup+870.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 621988 0 0 0 85467 1544 0 0 25 0 1 0 674929374 18722816 3904 4294967295 134512640 134714508 3221221792 3221219792 1077814665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4571 3904 1111 63 0 4508 0 vsize: 18284 [startup+880.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 628016 0 0 0 86453 1558 0 0 25 0 1 0 674929374 18726912 3905 4294967295 134512640 134714508 3221221792 3221220320 134648387 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4572 3905 1111 63 0 4509 0 vsize: 18288 [startup+890.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 635242 0 0 0 87434 1577 0 0 25 0 1 0 674929374 19025920 3972 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4645 3972 1111 63 0 4582 0 vsize: 18580 [startup+900.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 642957 0 0 0 88417 1594 0 0 25 0 1 0 674929374 18481152 3824 4294967295 134512640 134714508 3221221792 3221219280 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4512 3824 1111 63 0 4449 0 vsize: 18048 [startup+910.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 650318 0 0 0 89400 1611 0 0 25 0 1 0 674929374 18649088 3859 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4553 3859 1111 63 0 4490 0 vsize: 18212 [startup+920.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 657696 0 0 0 90382 1629 0 0 25 0 1 0 674929374 18915328 3947 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4618 3947 1111 63 0 4555 0 vsize: 18472 [startup+930.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 665867 0 0 0 91364 1648 0 0 25 0 1 0 674929374 20471808 4303 4294967295 134512640 134714508 3221221792 3221218064 1074960795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4998 4303 1111 63 0 4935 0 vsize: 19992 [startup+940.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 672922 0 0 0 92348 1664 0 0 25 0 1 0 674929374 20578304 4327 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5024 4327 1111 63 0 4961 0 vsize: 20096 [startup+950.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 680752 0 0 0 93329 1683 0 0 25 0 1 0 674929374 20594688 4301 4294967295 134512640 134714508 3221221792 3221218712 1074950102 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5028 4301 1111 63 0 4965 0 vsize: 20112 [startup+960.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 688146 0 0 0 94313 1699 0 0 25 0 1 0 674929374 18546688 3861 4294967295 134512640 134714508 3221221792 3221219772 1074206265 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4528 3861 1111 63 0 4465 0 vsize: 18112 [startup+970.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 695767 0 0 0 95297 1716 0 0 25 0 1 0 674929374 20664320 4355 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5045 4355 1111 63 0 4982 0 vsize: 20180 [startup+980.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 703463 0 0 0 96280 1733 0 0 25 0 1 0 674929374 19107840 3959 4294967295 134512640 134714508 3221221792 3221219536 1075645384 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4665 3959 1111 63 0 4602 0 vsize: 18660 [startup+990.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 712171 0 0 0 97262 1751 0 0 25 0 1 0 674929374 18980864 3967 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4634 3967 1111 63 0 4571 0 vsize: 18536 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 719970 0 0 0 98244 1769 0 0 25 0 1 0 674929374 19148800 4008 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4675 4008 1111 63 0 4612 0 vsize: 18700 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 728981 0 0 0 99223 1790 0 0 25 0 1 0 674929374 19402752 4045 4294967295 134512640 134714508 3221221792 3221219904 1074867347 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4737 4045 1111 63 0 4674 0 vsize: 18948 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 736217 0 0 0 100208 1806 0 0 25 0 1 0 674929374 19456000 4050 4294967295 134512640 134714508 3221221792 3221219944 1074950102 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4750 4050 1111 63 0 4687 0 vsize: 19000 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 744600 0 0 0 101188 1825 0 0 25 0 1 0 674929374 20881408 4357 4294967295 134512640 134714508 3221221792 3221218864 1074867305 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5098 4357 1111 63 0 5035 0 vsize: 20392 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 750949 0 0 0 102176 1838 0 0 25 0 1 0 674929374 19689472 4109 4294967295 134512640 134714508 3221221792 3221219520 1075828488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4807 4109 1111 63 0 4744 0 vsize: 19228 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 757770 0 0 0 103161 1853 0 0 25 0 1 0 674929374 19820544 4141 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4839 4141 1111 63 0 4776 0 vsize: 19356 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 764087 0 0 0 104146 1868 0 0 25 0 1 0 674929374 21495808 4504 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5248 4504 1111 63 0 5185 0 vsize: 20992 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 772640 0 0 0 105128 1886 0 0 25 0 1 0 674929374 21250048 4475 4294967295 134512640 134714508 3221221792 3221217892 1075964227 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5188 4475 1111 63 0 5125 0 vsize: 20752 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 780458 0 0 0 106113 1902 0 0 25 0 1 0 674929374 21569536 4546 4294967295 134512640 134714508 3221221792 3221217952 1075095344 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5266 4546 1111 63 0 5203 0 vsize: 21064 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 789060 0 0 0 107094 1920 0 0 25 0 1 0 674929374 21495808 4464 4294967295 134512640 134714508 3221221792 3221218040 1077410163 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5248 4464 1111 63 0 5185 0 vsize: 20992 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 797580 0 0 0 108077 1938 0 0 25 0 1 0 674929374 18931712 3955 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4622 3955 1111 63 0 4559 0 vsize: 18488 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 805562 0 0 0 109059 1956 0 0 25 0 1 0 674929374 21323776 4515 4294967295 134512640 134714508 3221221792 3221217700 1074786464 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5206 4515 1111 63 0 5143 0 vsize: 20824 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 811641 0 0 0 110045 1970 0 0 25 0 1 0 674929374 20971520 4436 4294967295 134512640 134714508 3221221792 3221218020 1075114937 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5120 4436 1111 63 0 5057 0 vsize: 20480 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 820606 0 0 0 111025 1991 0 0 25 0 1 0 674929374 19787776 4132 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4831 4132 1111 63 0 4768 0 vsize: 19324 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 829583 0 0 0 112004 2011 0 0 25 0 1 0 674929374 19062784 3987 4294967295 134512640 134714508 3221221792 3221219512 1077379372 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4654 3987 1111 63 0 4591 0 vsize: 18616 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 837203 0 0 0 112987 2029 0 0 25 0 1 0 674929374 21041152 4428 4294967295 134512640 134714508 3221221792 3221218560 1076083757 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5137 4428 1111 63 0 5074 0 vsize: 20548 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 845028 0 0 0 113969 2047 0 0 25 0 1 0 674929374 21880832 4636 4294967295 134512640 134714508 3221221792 3221217892 1075964271 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5342 4636 1111 63 0 5279 0 vsize: 21368 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 853257 0 0 0 114950 2066 0 0 25 0 1 0 674929374 19169280 4013 4294967295 134512640 134714508 3221221792 3221220192 1074153766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4680 4013 1111 63 0 4617 0 vsize: 18720 [startup+1179.5 s] Raw data (loadavg): 0.99 0.97 0.97 1/53 24302 Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 853257 0 0 0 114950 2066 0 0 25 0 1 0 674929374 19169280 4013 4294967295 134512640 134714508 3221221792 3221220192 1074153766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4680 4013 1111 63 0 4617 0 vsize: 0 Child status: 10 Real time (s): 1179.5 CPU time (s): 1179.65 CPU user time (s): 1158.79 CPU system time (s): 20.8518 CPU usage (%): 100.012 Max. virtual memory (Kb): 21368 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 162 #### END VERIFIER DATA ####