Name | normalized-opb/submitted/een/normalized-p0282.opb |
MD5SUM | dd62132555621025f45a5a6099c90742 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 258411 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 282 |
Biggest coefficient in the objective function | 160646 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 1302615 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 160646 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 1302615 |
Number of bits of the biggest sum of numbers | 21 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.01884 |
Number of variables | 282 |
Total number of constraints | 221 |
Number of constraints which are clauses | 177 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 44 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 57 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-16 15:13:27 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5045 boxname=wulflinc31 idbench=389 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: dd62132555621025f45a5a6099c90742 /oldhome/oroussel/tmp/wulflinc31/normalized-p0282.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-p0282.opb IDLAUNCH: 5045 /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: 791316 kB Buffers: 49288 kB Cached: 171800 kB SwapCached: 1952 kB Active: 180264 kB Inactive: 44024 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 791064 kB SwapTotal: 2097892 kB SwapFree: 2095228 kB Dirty: 188 kB Writeback: 0 kB Mapped: 5380 kB Slab: 13448 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-16 15:33:03 (client local time) WITH STATUS 10 IN 1175.07 SECONDS stats: 5045 0 1175.07 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 282 variables and 221 constraints. c After prepocess the problem consists of 282 variables and 221 constraints. c preprocess terminated 0.186 s c Initial Lower Bound: 55117 c Lower Bound Elapsed time: 0.0368 c Use computed LB before first solution. c NEW SOLUTION FOUND: 500458 @ 3.659 c NEW SOLUTION FOUND: 363047 @ 3.66 c NEW SOLUTION FOUND: 362184 @ 3.669 c NEW SOLUTION FOUND: 355241 @ 3.684 c NEW SOLUTION FOUND: 343078 @ 3.685 c NEW SOLUTION FOUND: 341987 @ 3.701 c NEW SOLUTION FOUND: 329911 @ 5.051 c NEW SOLUTION FOUND: 324073 @ 5.763 c NEW SOLUTION FOUND: 322586 @ 5.838 c NEW SOLUTION FOUND: 312821 @ 5.912 c NEW SOLUTION FOUND: 300923 @ 6.032 c NEW SOLUTION FOUND: 296106 @ 6.057 c NEW SOLUTION FOUND: 284674 @ 6.675 c NEW SOLUTION FOUND: 281401 @ 12.765 c NEW SOLUTION FOUND: 280460 @ 13.427 c NEW SOLUTION FOUND: 278586 @ 25.142 c NEW SOLUTION FOUND: 272967 @ 128.55 s SATISFIABLE v -x0 -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 c Exit Code: 10 c Total time: 1175.01 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.99 1/55 14190 Raw data (stat): 14190 (runsolver) R 14189 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 762082143 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 0 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0001 s] Raw data (loadavg): 0.93 0.97 0.99 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 10104 0 0 0 961 34 0 0 25 0 1 0 762082143 9150464 1551 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2307 1554 1111 63 0 2244 0 vsize: 8936 [startup+20.0001 s] Raw data (loadavg): 0.94 0.97 0.99 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 26851 0 0 0 1913 83 0 0 25 0 1 0 762082143 12599296 2394 4294967295 134512640 134714508 3221221792 3221220040 1077374049 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3076 2394 1111 63 0 3013 0 vsize: 12304 [startup+30.001 s] Raw data (loadavg): 0.95 0.97 0.99 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 45603 0 0 0 2861 135 0 0 25 0 1 0 762082143 16801792 3415 4294967295 134512640 134714508 3221221792 3221219768 1077410182 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4102 3415 1111 63 0 4039 0 vsize: 16408 [startup+40.0009 s] Raw data (loadavg): 0.96 0.97 0.99 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 58126 0 0 0 3827 169 0 0 25 0 1 0 762082143 18370560 3789 4294967295 134512640 134714508 3221221792 3221220192 1074118815 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4485 3789 1111 63 0 4422 0 vsize: 17940 [startup+50.0008 s] Raw data (loadavg): 0.96 0.97 0.99 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 64154 0 0 0 4812 184 0 0 25 0 1 0 762082143 19197952 4010 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4687 4010 1111 63 0 4624 0 vsize: 18748 [startup+60.0008 s] Raw data (loadavg): 0.97 0.97 0.99 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 66845 0 0 0 5806 191 0 0 25 0 1 0 762082143 19591168 4106 4294967295 134512640 134714508 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4783 4106 1111 63 0 4720 0 vsize: 19132 [startup+70.0007 s] Raw data (loadavg): 0.97 0.97 0.99 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 72289 0 0 0 6791 205 0 0 25 0 1 0 762082143 18874368 3931 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4608 3931 1111 63 0 4545 0 vsize: 18432 [startup+80.0016 s] Raw data (loadavg): 0.98 0.97 0.99 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 88103 0 0 0 7755 241 0 0 25 0 1 0 762082143 19025920 3968 4294967295 134512640 134714508 3221221792 3221220416 134650099 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4645 3968 1111 63 0 4582 0 vsize: 18580 [startup+90.0015 s] Raw data (loadavg): 1.05 0.99 0.99 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 108531 0 0 0 8706 290 0 0 25 0 1 0 762082143 19611648 4111 4294967295 134512640 134714508 3221221792 3221219956 1077378598 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4788 4111 1111 63 0 4725 0 vsize: 19152 [startup+100.002 s] Raw data (loadavg): 1.04 0.99 0.99 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 127313 0 0 0 9662 335 0 0 25 0 1 0 762082143 23244800 4448 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5675 4448 1111 63 0 5612 0 vsize: 22700 [startup+110.002 s] Raw data (loadavg): 1.03 0.99 0.99 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 164174 0 0 0 10576 421 0 0 25 0 1 0 762082143 21979136 4686 4294967295 134512640 134714508 3221221792 3221220128 1074153736 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5366 4686 1111 63 0 5303 0 vsize: 21464 [startup+120.002 s] Raw data (loadavg): 1.11 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 201070 0 0 0 11488 509 0 0 25 0 1 0 762082143 24707072 5288 4294967295 134512640 134714508 3221221792 3221220096 1074153822 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6032 5288 1111 63 0 5969 0 vsize: 24128 [startup+130.002 s] Raw data (loadavg): 1.16 1.02 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 246426 0 0 0 12385 612 0 0 25 0 1 0 762082143 28532736 6201 4294967295 134512640 134714508 3221221792 3221219520 1075828224 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6966 6201 1111 63 0 6903 0 vsize: 27864 [startup+140.002 s] Raw data (loadavg): 1.14 1.02 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 271612 0 0 0 13327 670 0 0 25 0 1 0 762082143 30887936 6768 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7541 6768 1111 63 0 7478 0 vsize: 30164 [startup+150.002 s] Raw data (loadavg): 1.12 1.02 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 271752 0 0 0 14325 672 0 0 25 0 1 0 762082143 31313920 6882 4294967295 134512640 134714508 3221221792 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7645 6882 1111 63 0 7582 0 vsize: 30580 [startup+160.002 s] Raw data (loadavg): 1.10 1.02 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 272646 0 0 0 15322 675 0 0 25 0 1 0 762082143 33820672 7492 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8257 7492 1111 63 0 8194 0 vsize: 33028 [startup+170.002 s] Raw data (loadavg): 1.08 1.02 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 276281 0 0 0 16313 685 0 0 25 0 1 0 762082143 31682560 6972 4294967295 134512640 134714508 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7735 6972 1111 63 0 7672 0 vsize: 30940 [startup+180.002 s] Raw data (loadavg): 1.07 1.01 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 276281 0 0 0 17313 685 0 0 25 0 1 0 762082143 31682560 6972 4294967295 134512640 134714508 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7735 6972 1111 63 0 7672 0 vsize: 30940 [startup+190.002 s] Raw data (loadavg): 1.06 1.01 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 277862 0 0 0 18309 689 0 0 25 0 1 0 762082143 37072896 7876 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9051 7876 1111 63 0 8988 0 vsize: 36204 [startup+200.002 s] Raw data (loadavg): 1.05 1.01 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 281197 0 0 0 19301 697 0 0 25 0 1 0 762082143 31109120 6832 4294967295 134512640 134714508 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7595 6832 1111 63 0 7532 0 vsize: 30380 [startup+210.002 s] Raw data (loadavg): 1.04 1.01 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 283783 0 0 0 20295 703 0 0 25 0 1 0 762082143 30781440 6752 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7515 6752 1111 63 0 7452 0 vsize: 30060 [startup+220.003 s] Raw data (loadavg): 1.03 1.01 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 286048 0 0 0 21290 708 0 0 25 0 1 0 762082143 31145984 6841 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7604 6841 1111 63 0 7541 0 vsize: 30416 [startup+230.004 s] Raw data (loadavg): 1.03 1.01 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 286132 0 0 0 22289 709 0 0 25 0 1 0 762082143 31490048 6925 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7688 6925 1111 63 0 7625 0 vsize: 30752 [startup+240.004 s] Raw data (loadavg): 1.02 1.01 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 287064 0 0 0 23287 712 0 0 25 0 1 0 762082143 34095104 7559 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8324 7559 1111 63 0 8261 0 vsize: 33296 [startup+250.004 s] Raw data (loadavg): 1.02 1.01 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 290815 0 0 0 24279 720 0 0 25 0 1 0 762082143 31723520 6982 4294967295 134512640 134714508 3221221792 3221220504 134558617 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7745 6982 1111 63 0 7682 0 vsize: 30980 [startup+260.004 s] Raw data (loadavg): 1.02 1.01 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 295630 0 0 0 25267 732 0 0 25 0 1 0 762082143 30597120 6707 4294967295 134512640 134714508 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7470 6707 1111 63 0 7407 0 vsize: 29880 [startup+270.004 s] Raw data (loadavg): 1.01 1.01 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 301630 0 0 0 26251 748 0 0 25 0 1 0 762082143 35475456 6886 4294967295 134512640 134714508 3221221792 3221217952 1074794542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8661 6886 1111 63 0 8598 0 vsize: 34644 [startup+280.005 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 322903 0 0 0 27204 795 0 0 25 0 1 0 762082143 31461376 6918 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7681 6918 1111 63 0 7618 0 vsize: 30724 [startup+290.006 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 323052 0 0 0 28202 797 0 0 25 0 1 0 762082143 32202752 7067 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7862 7067 1111 63 0 7799 0 vsize: 31448 [startup+300.005 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 323934 0 0 0 29200 800 0 0 25 0 1 0 762082143 34607104 7683 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8449 7683 1111 63 0 8386 0 vsize: 33796 [startup+310.005 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 325593 0 0 0 30197 803 0 0 25 0 1 0 762082143 38875136 8437 4294967295 134512640 134714508 3221221792 3221217804 1074788944 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9491 8437 1111 63 0 9428 0 vsize: 37964 [startup+320.005 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 327349 0 0 0 31193 807 0 0 25 0 1 0 762082143 32456704 7161 4294967295 134512640 134714508 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7924 7161 1111 63 0 7861 0 vsize: 31696 [startup+330.006 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 329122 0 0 0 32190 811 0 0 25 0 1 0 762082143 31387648 6900 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7663 6900 1111 63 0 7600 0 vsize: 30652 [startup+340.006 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 334316 0 0 0 33178 822 0 0 25 0 1 0 762082143 31715328 6968 4294967295 134512640 134714508 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7743 6968 1111 63 0 7680 0 vsize: 30972 [startup+350.006 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 339053 0 0 0 34167 834 0 0 25 0 1 0 762082143 31920128 7009 4294967295 134512640 134714508 3221221792 3221220080 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7793 7009 1111 63 0 7730 0 vsize: 31172 [startup+360.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 339210 0 0 0 35165 836 0 0 25 0 1 0 762082143 32260096 7113 4294967295 134512640 134714508 3221221792 3221220080 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7876 7113 1111 63 0 7813 0 vsize: 31504 [startup+370.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 339276 0 0 0 36164 837 0 0 25 0 1 0 762082143 32661504 7179 4294967295 134512640 134714508 3221221792 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7974 7179 1111 63 0 7911 0 vsize: 31896 [startup+380.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 341846 0 0 0 37159 842 0 0 25 0 1 0 762082143 40747008 8830 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9948 8830 1111 63 0 9885 0 vsize: 39792 [startup+390.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 344010 0 0 0 38153 849 0 0 25 0 1 0 762082143 32305152 7124 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7887 7124 1111 63 0 7824 0 vsize: 31548 [startup+400.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 344072 0 0 0 39151 850 0 0 25 0 1 0 762082143 32559104 7186 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7949 7186 1111 63 0 7886 0 vsize: 31796 [startup+410.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 348734 0 0 0 40142 860 0 0 25 0 1 0 762082143 32698368 7220 4294967295 134512640 134714508 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7983 7220 1111 63 0 7920 0 vsize: 31932 [startup+420.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 348734 0 0 0 41142 860 0 0 25 0 1 0 762082143 32698368 7220 4294967295 134512640 134714508 3221221792 3221220588 134536888 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7983 7220 1111 63 0 7920 0 vsize: 31932 [startup+430.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 348734 0 0 0 42142 860 0 0 25 0 1 0 762082143 32698368 7220 4294967295 134512640 134714508 3221221792 3221220600 134622628 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7983 7220 1111 63 0 7920 0 vsize: 31932 [startup+440.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 348734 0 0 0 43142 860 0 0 25 0 1 0 762082143 32698368 7220 4294967295 134512640 134714508 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7983 7220 1111 63 0 7920 0 vsize: 31932 [startup+450.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 349449 0 0 0 44140 862 0 0 25 0 1 0 762082143 33771520 7468 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8245 7468 1111 63 0 8182 0 vsize: 32980 [startup+460.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 352087 0 0 0 45134 868 0 0 25 0 1 0 762082143 32239616 7108 4294967295 134512640 134714508 3221221792 3221220588 134542400 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7871 7108 1111 63 0 7808 0 vsize: 31484 [startup+470.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 355658 0 0 0 46126 877 0 0 25 0 1 0 762082143 31305728 6880 4294967295 134512640 134714508 3221221792 3221219704 1074138237 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7643 6880 1111 63 0 7580 0 vsize: 30572 [startup+480.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 365460 0 0 0 47105 898 0 0 25 0 1 0 762082143 31617024 6958 4294967295 134512640 134714508 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7719 6958 1111 63 0 7656 0 vsize: 30876 [startup+490.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 367947 0 0 0 48099 905 0 0 25 0 1 0 762082143 32145408 7073 4294967295 134512640 134714508 3221221792 3221219728 1077814665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7848 7073 1111 63 0 7785 0 vsize: 31392 [startup+500.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 370780 0 0 0 49091 912 0 0 25 0 1 0 762082143 32239616 7111 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7871 7111 1111 63 0 7808 0 vsize: 31484 [startup+510.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 372547 0 0 0 50088 915 0 0 25 0 1 0 762082143 31797248 7003 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7763 7003 1111 63 0 7700 0 vsize: 31052 [startup+520.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 377824 0 0 0 51076 928 0 0 25 0 1 0 762082143 32010240 7060 4294967295 134512640 134714508 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7815 7060 1111 63 0 7752 0 vsize: 31260 [startup+530.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 381196 0 0 0 52067 936 0 0 25 0 1 0 762082143 31387648 6910 4294967295 134512640 134714508 3221221792 3221219520 1075829494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7663 6910 1111 63 0 7600 0 vsize: 30652 [startup+540.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 400194 0 0 0 53024 980 0 0 25 0 1 0 762082143 32509952 7182 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7937 7182 1111 63 0 7874 0 vsize: 31748 [startup+550.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 418177 0 0 0 53982 1022 0 0 25 0 1 0 762082143 32456704 7173 4294967295 134512640 134714508 3221221792 3221220596 134622413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7924 7173 1111 63 0 7861 0 vsize: 31696 [startup+560.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 439778 0 0 0 54929 1075 0 0 25 0 1 0 762082143 33124352 7335 4294967295 134512640 134714508 3221221792 3221220076 1077402400 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8087 7335 1111 63 0 8024 0 vsize: 32348 [startup+570.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 480043 0 0 0 55823 1181 0 0 25 0 1 0 762082143 40529920 8394 4294967295 134512640 134714508 3221221792 3221218780 1077404742 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9176 8388 1111 63 0 9113 0 vsize: 39580 [startup+580.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 522011 0 0 0 56721 1283 0 0 25 0 1 0 762082143 42434560 9446 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10360 9446 1111 63 0 10297 0 vsize: 41440 [startup+590.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 558486 0 0 0 57631 1373 0 0 25 0 1 0 762082143 46411776 10318 4294967295 134512640 134714508 3221221792 3221219948 1077404823 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11331 10318 1111 63 0 11268 0 vsize: 45324 [startup+600.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 598478 0 0 0 58530 1475 0 0 25 0 1 0 762082143 50630656 11302 4294967295 134512640 134714508 3221221792 3221220068 1073986859 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12361 11302 1111 63 0 12298 0 vsize: 49444 [startup+610.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 638927 0 0 0 59427 1578 0 0 25 0 1 0 762082143 54415360 12218 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13285 12218 1111 63 0 13222 0 vsize: 53140 [startup+620.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 680448 0 0 0 60323 1682 0 0 25 0 1 0 762082143 58785792 13225 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14352 13225 1111 63 0 14289 0 vsize: 57408 [startup+630.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 721507 0 0 0 61219 1786 0 0 25 0 1 0 762082143 62644224 14184 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15294 14184 1111 63 0 15231 0 vsize: 61176 [startup+640.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 731898 0 0 0 62194 1811 0 0 25 0 1 0 762082143 65748992 14936 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16052 14936 1111 63 0 15989 0 vsize: 64208 [startup+650.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 736723 0 0 0 63185 1821 0 0 25 0 1 0 762082143 64684032 14671 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15792 14671 1111 63 0 15729 0 vsize: 63168 [startup+660.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 746068 0 0 0 64162 1844 0 0 25 0 1 0 762082143 65757184 14926 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16054 14926 1111 63 0 15991 0 vsize: 64216 [startup+670.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 756699 0 0 0 65139 1867 0 0 25 0 1 0 762082143 64401408 14609 4294967295 134512640 134714508 3221221792 3221220512 134622865 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15723 14609 1111 63 0 15660 0 vsize: 62892 [startup+680.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 764629 0 0 0 66121 1885 0 0 25 0 1 0 762082143 66584576 15124 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16256 15124 1111 63 0 16193 0 vsize: 65024 [startup+690.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 767003 0 0 0 67115 1891 0 0 25 0 1 0 762082143 65646592 14915 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16027 14915 1111 63 0 15964 0 vsize: 64108 [startup+700.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 767060 0 0 0 68114 1892 0 0 25 0 1 0 762082143 65880064 14972 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16084 14972 1111 63 0 16021 0 vsize: 64336 [startup+710.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 767120 0 0 0 69114 1893 0 0 25 0 1 0 762082143 66256896 15032 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16176 15032 1111 63 0 16113 0 vsize: 64704 [startup+720.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 768335 0 0 0 70110 1897 0 0 25 0 1 0 762082143 69431296 15826 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16951 15826 1111 63 0 16888 0 vsize: 67804 [startup+730.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 768335 0 0 0 71110 1897 0 0 25 0 1 0 762082143 69431296 15826 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16951 15826 1111 63 0 16888 0 vsize: 67804 [startup+740.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 768335 0 0 0 72110 1897 0 0 25 0 1 0 762082143 69431296 15826 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16951 15826 1111 63 0 16888 0 vsize: 67804 [startup+750.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 772711 0 0 0 73100 1908 0 0 25 0 1 0 762082143 66596864 15147 4294967295 134512640 134714508 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16259 15147 1111 63 0 16196 0 vsize: 65036 [startup+760.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 772711 0 0 0 74100 1908 0 0 25 0 1 0 762082143 66596864 15147 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16259 15147 1111 63 0 16196 0 vsize: 65036 [startup+770.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 772711 0 0 0 75100 1908 0 0 25 0 1 0 762082143 66596864 15147 4294967295 134512640 134714508 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16259 15147 1111 63 0 16196 0 vsize: 65036 [startup+780.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 772711 0 0 0 76100 1908 0 0 25 0 1 0 762082143 66596864 15147 4294967295 134512640 134714508 3221221792 3221220520 134622752 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16259 15147 1111 63 0 16196 0 vsize: 65036 [startup+790.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 772711 0 0 0 77100 1908 0 0 25 0 1 0 762082143 66596864 15147 4294967295 134512640 134714508 3221221792 3221220584 134542409 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16259 15147 1111 63 0 16196 0 vsize: 65036 [startup+800.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 774582 0 0 0 78096 1912 0 0 25 0 1 0 762082143 65581056 14899 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16011 14899 1111 63 0 15948 0 vsize: 64044 [startup+810.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 781309 0 0 0 79080 1929 0 0 25 0 1 0 762082143 65359872 14817 4294967295 134512640 134714508 3221221792 3221220080 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15957 14817 1111 63 0 15894 0 vsize: 63828 [startup+820.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 783858 0 0 0 80073 1935 0 0 25 0 1 0 762082143 65740800 14940 4294967295 134512640 134714508 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16050 14940 1111 63 0 15987 0 vsize: 64200 [startup+830.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 784059 0 0 0 81073 1936 0 0 25 0 1 0 762082143 66138112 14930 4294967295 134512640 134714508 3221221792 3221219072 1074140041 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16147 14936 1111 63 0 16084 0 vsize: 64588 [startup+840.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 793332 0 0 0 82053 1956 0 0 25 0 1 0 762082143 65363968 14848 4294967295 134512640 134714508 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15958 14848 1111 63 0 15895 0 vsize: 63832 [startup+850.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 801253 0 0 0 83034 1975 0 0 25 0 1 0 762082143 65941504 14972 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16099 14972 1111 63 0 16036 0 vsize: 64396 [startup+860.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 801858 0 0 0 84032 1977 0 0 25 0 1 0 762082143 67760128 15413 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16543 15413 1111 63 0 16480 0 vsize: 66172 [startup+870.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 804259 0 0 0 85027 1982 0 0 25 0 1 0 762082143 66441216 15112 4294967295 134512640 134714508 3221221792 3221220528 134622902 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16221 15112 1111 63 0 16158 0 vsize: 64884 [startup+880.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 812434 0 0 0 86008 2001 0 0 25 0 1 0 762082143 65736704 14949 4294967295 134512640 134714508 3221221792 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16049 14949 1111 63 0 15986 0 vsize: 64196 [startup+890.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 824958 0 0 0 86978 2031 0 0 25 0 1 0 762082143 67280896 15306 4294967295 134512640 134714508 3221221792 3221220588 134536888 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16426 15306 1111 63 0 16363 0 vsize: 65704 [startup+900.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 842989 0 0 0 87934 2076 0 0 25 0 1 0 762082143 67588096 15395 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16501 15395 1111 63 0 16438 0 vsize: 66004 [startup+910.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 881632 0 0 0 88837 2173 0 0 25 0 1 0 762082143 71290880 16302 4294967295 134512640 134714508 3221221792 3221220240 1073990032 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17405 16302 1111 63 0 17342 0 vsize: 69620 [startup+920.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 921286 0 0 0 89732 2278 0 0 25 0 1 0 762082143 76115968 17467 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18583 17467 1111 63 0 18520 0 vsize: 74332 [startup+930.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 960474 0 0 0 90638 2373 0 0 25 0 1 0 762082143 83271680 18886 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20330 18886 1111 63 0 20267 0 vsize: 81320 [startup+940.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 966013 0 0 0 91627 2384 0 0 25 0 1 0 762082143 82886656 18795 4294967295 134512640 134714508 3221221792 3221220096 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20236 18795 1111 63 0 20173 0 vsize: 80944 [startup+950.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1001049 0 0 0 92548 2463 0 0 25 0 1 0 762082143 85233664 19325 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20809 19325 1111 63 0 20746 0 vsize: 83236 [startup+960.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1017154 0 0 0 93509 2502 0 0 25 0 1 0 762082143 85884928 19477 4294967295 134512640 134714508 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20968 19477 1111 63 0 20905 0 vsize: 83872 [startup+970.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1027750 0 0 0 94482 2529 0 0 25 0 1 0 762082143 87293952 19760 4294967295 134512640 134714508 3221221792 3221219632 1077814665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21312 19760 1111 63 0 21249 0 vsize: 85248 [startup+980.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1027838 0 0 0 95481 2531 0 0 25 0 1 0 762082143 87642112 19848 4294967295 134512640 134714508 3221221792 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21397 19848 1111 63 0 21334 0 vsize: 85588 [startup+990.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1027897 0 0 0 96480 2532 0 0 25 0 1 0 762082143 87871488 19907 4294967295 134512640 134714508 3221221792 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21453 19907 1111 63 0 21390 0 vsize: 85812 [startup+1000.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1027958 0 0 0 97479 2533 0 0 25 0 1 0 762082143 88047616 19968 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21496 19968 1111 63 0 21433 0 vsize: 85984 [startup+1010.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1029321 0 0 0 98476 2536 0 0 25 0 1 0 762082143 91705344 20856 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22389 20856 1111 63 0 22326 0 vsize: 89556 [startup+1020.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1029321 0 0 0 99476 2536 0 0 25 0 1 0 762082143 91705344 20856 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22389 20856 1111 63 0 22326 0 vsize: 89556 [startup+1030.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1029321 0 0 0 100476 2536 0 0 25 0 1 0 762082143 91705344 20856 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22389 20856 1111 63 0 22326 0 vsize: 89556 [startup+1040.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1029321 0 0 0 101476 2536 0 0 25 0 1 0 762082143 91705344 20856 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22389 20856 1111 63 0 22326 0 vsize: 89556 [startup+1050.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1029321 0 0 0 102477 2536 0 0 25 0 1 0 762082143 91705344 20856 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22389 20856 1111 63 0 22326 0 vsize: 89556 [startup+1060.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1033225 0 0 0 103468 2545 0 0 25 0 1 0 762082143 92524544 20851 4294967295 134512640 134714508 3221221792 3221218984 1074138315 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22589 20851 1111 63 0 22526 0 vsize: 90356 [startup+1070.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1034499 0 0 0 104465 2548 0 0 25 0 1 0 762082143 87654400 19880 4294967295 134512640 134714508 3221221792 3221220048 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21400 19880 1111 63 0 21337 0 vsize: 85600 [startup+1080.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1035307 0 0 0 105463 2550 0 0 25 0 1 0 762082143 89907200 20427 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21950 20427 1111 63 0 21887 0 vsize: 87800 [startup+1090.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1035307 0 0 0 106463 2550 0 0 25 0 1 0 762082143 89907200 20427 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21950 20427 1111 63 0 21887 0 vsize: 87800 [startup+1100.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1038815 0 0 0 107454 2559 0 0 25 0 1 0 762082143 87916544 19944 4294967295 134512640 134714508 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21464 19944 1111 63 0 21401 0 vsize: 85856 [startup+1110.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1038815 0 0 0 108455 2559 0 0 25 0 1 0 762082143 87916544 19944 4294967295 134512640 134714508 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21464 19944 1111 63 0 21401 0 vsize: 85856 [startup+1120.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1038815 0 0 0 109455 2559 0 0 25 0 1 0 762082143 87916544 19944 4294967295 134512640 134714508 3221221792 3221220608 134622335 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21464 19944 1111 63 0 21401 0 vsize: 85856 [startup+1130.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1041094 0 0 0 110449 2565 0 0 25 0 1 0 762082143 87203840 19770 4294967295 134512640 134714508 3221221792 3221220592 134622422 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21290 19770 1111 63 0 21227 0 vsize: 85160 [startup+1140.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1043011 0 0 0 111444 2570 0 0 25 0 1 0 762082143 87142400 19755 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21275 19755 1111 63 0 21212 0 vsize: 85100 [startup+1150.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1045398 0 0 0 112439 2575 0 0 25 0 1 0 762082143 87240704 19779 4294967295 134512640 134714508 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21299 19779 1111 63 0 21236 0 vsize: 85196 [startup+1160.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1047584 0 0 0 113434 2581 0 0 25 0 1 0 762082143 86884352 19692 4294967295 134512640 134714508 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21212 19692 1111 63 0 21149 0 vsize: 84848 [startup+1170.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1059894 0 0 0 114406 2609 0 0 25 0 1 0 762082143 86859776 19701 4294967295 134512640 134714508 3221221792 3221219576 1077410163 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21206 19701 1111 63 0 21143 0 vsize: 84824 [startup+1174.94 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 14190 Raw data (stat): 14190 (bsolo_lpr) R 14189 7876 7672 0 -1 0 1059894 0 0 0 114406 2609 0 0 25 0 1 0 762082143 86859776 19701 4294967295 134512640 134714508 3221221792 3221219576 1077410163 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21206 19701 1111 63 0 21143 0 vsize: 0 Child status: 10 Real time (s): 1174.94 CPU time (s): 1175.07 CPU user time (s): 1148.68 CPU system time (s): 26.387 CPU usage (%): 100.011 Max. virtual memory (Kb): 90356 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 272967 #### END VERIFIER DATA ####