Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution VeriPB 2025-06-06 | SAT (TO) | 1460 | 3585.63 | 3708.69 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb |
| MD5SUM | ac2beb72083c40d036c40a53754bf1b9 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 255 |
| Best CPU time to get the best result obtained on this benchmark | 30252.2 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 10000 |
| Total number of constraints | 656900 |
| Number of constraints which are clauses | 656900 |
| 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 | 100 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 99 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 494728 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 99 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 494728 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB25.v20250606 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.08 c os.arch amd64 0.00/0.09 c Free memory 2104792832 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.12/0.13 c Pseudo Boolean Optimization by upper bound 0.12/0.13 c --- Begin Solver configuration --- 0.12/0.13 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.12/0.13 c Learn all clauses as in MiniSAT 0.12/0.13 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.13 c Expensive reason simplification 0.12/0.13 c Glucose 2.1 dynamic restart strategy 0.12/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.12/0.13 c timeout=2147483s 0.12/0.13 c DB Simplification allowed=false 0.12/0.13 c Listener: none 0.12/0.13 c --- End Solver configuration --- 0.12/0.13 c solving HOME/instance-4489699-1751365167.opb 0.12/0.13 c reading problem ... 0.12/0.13 c using VERIPB proof format 0.12/0.13 c objective function found 2.33/1.57 c ... done. Wall clock time 1.439s. 2.33/1.57 c declared #vars 10000 2.33/1.57 c #constraints 656900 2.33/1.57 c constraints type 2.33/1.57 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 2.33/1.57 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 2.33/1.57 c 656900 constraints processed. 2.33/1.59 c objective function length is 10000 literals 3.52/2.13 c SATISFIABLE 3.52/2.13 c OPTIMIZING... 3.52/2.13 c Got one! Elapsed wall clock time (in seconds):2.001 3.52/2.13 o 1478 5.10/2.91 c Got one! Elapsed wall clock time (in seconds):2.787 5.10/2.91 o 1465 5.69/3.20 c Got one! Elapsed wall clock time (in seconds):3.072 5.69/3.20 o 1460 8.21/4.78 c cleaning 2960 clauses out of 5954 with flag 12508/5954 10.20/6.40 c cleaning 4491 clauses out of 8994 with flag 28250/11954 12.63/8.79 c cleaning 5741 clauses out of 11503 with flag 52822/18954 15.45/11.40 c cleaning 6874 clauses out of 13763 with flag 76959/26955 18.40/14.38 c cleaning 7936 clauses out of 15888 with flag 102866/35954 21.92/17.88 c cleaning 8968 clauses out of 17952 with flag 136210/45954 25.71/21.63 c cleaning 9983 clauses out of 19984 with flag 169447/56954 29.70/25.67 c cleaning 10997 clauses out of 22001 with flag 209048/68954 34.20/30.17 c cleaning 11986 clauses out of 24005 with flag 250502/81955 38.88/34.87 c cleaning 13005 clauses out of 26018 with flag 296341/95954 44.20/44.26 c cleaning 14004 clauses out of 28013 with flag 343291/110954 49.69/49.75 c cleaning 14997 clauses out of 30009 with flag 392238/126954 55.31/55.34 c cleaning 16003 clauses out of 32012 with flag 442910/143954 61.61/61.61 c cleaning 16998 clauses out of 34009 with flag 502168/161954 68.20/68.28 c cleaning 18005 clauses out of 36011 with flag 573790/180954 75.31/75.45 c cleaning 18996 clauses out of 38006 with flag 642564/200954 82.49/82.67 c cleaning 20000 clauses out of 40010 with flag 710045/221954 90.21/90.36 c cleaning 20990 clauses out of 42010 with flag 781302/243954 98.20/98.34 c cleaning 22002 clauses out of 44020 with flag 856903/266954 106.59/107.01 c cleaning 23003 clauses out of 46018 with flag 933087/290954 115.07/115.54 c cleaning 23979 clauses out of 48015 with flag 1024851/315954 124.06/124.54 c cleaning 25006 clauses out of 50036 with flag 1113458/341954 133.50/134.03 c cleaning 26004 clauses out of 52032 with flag 1208266/368956 143.66/144.20 c cleaning 27014 clauses out of 54027 with flag 1303507/396955 154.05/154.67 c cleaning 28002 clauses out of 56014 with flag 1401210/425956 164.94/165.69 c cleaning 29000 clauses out of 58011 with flag 1503265/455955 176.07/176.77 c cleaning 30008 clauses out of 60017 with flag 1606984/486961 187.64/188.39 c cleaning 30992 clauses out of 62003 with flag 1714135/518955 199.71/200.53 c cleaning 32005 clauses out of 64010 with flag 1832276/551954 211.88/212.71 c cleaning 32995 clauses out of 66005 with flag 1948563/585954 224.26/225.11 c cleaning 34002 clauses out of 68010 with flag 2069395/620954 237.04/238.05 c cleaning 34998 clauses out of 70008 with flag 2190626/656954 250.10/251.15 c cleaning 35993 clauses out of 72010 with flag 2323487/693954 264.15/265.28 c cleaning 37009 clauses out of 74017 with flag 2462611/731954 278.12/279.27 c cleaning 37981 clauses out of 76008 with flag 2600648/770954 291.93/293.19 c cleaning 39009 clauses out of 78027 with flag 2740147/810954 306.53/307.72 c cleaning 40002 clauses out of 80018 with flag 2883339/851954 321.74/323.07 c cleaning 41003 clauses out of 82016 with flag 3039096/893954 337.49/338.86 c cleaning 42001 clauses out of 84017 with flag 3196335/936958 353.22/354.60 c cleaning 42997 clauses out of 86012 with flag 3358788/980954 369.39/370.86 c cleaning 43991 clauses out of 88017 with flag 3524373/1025956 385.77/387.36 c cleaning 45005 clauses out of 90024 with flag 3694950/1071954 402.38/403.97 c cleaning 46001 clauses out of 92019 with flag 3877164/1118954 419.67/421.32 c cleaning 47002 clauses out of 94018 with flag 4049638/1166954 437.79/439.49 c cleaning 48002 clauses out of 96017 with flag 4222773/1215955 456.39/460.28 c cleaning 48992 clauses out of 98014 with flag 4418477/1265954 474.81/478.71 c cleaning 50004 clauses out of 100022 with flag 4599766/1316954 494.05/498.00 c cleaning 51011 clauses out of 102021 with flag 4782392/1368957 514.64/518.85 c cleaning 52004 clauses out of 104009 with flag 4969978/1421956 535.77/540.42 c cleaning 52997 clauses out of 106003 with flag 5174668/1475954 557.62/562.30 c cleaning 54003 clauses out of 108010 with flag 5391880/1530958 579.41/584.25 c cleaning 55001 clauses out of 110006 with flag 5588488/1586957 602.65/607.57 c cleaning 55994 clauses out of 112002 with flag 5791105/1643954 626.45/631.47 c cleaning 57002 clauses out of 114009 with flag 6000583/1701955 651.20/672.07 c cleaning 58002 clauses out of 116007 with flag 6222175/1760955 676.26/697.26 c cleaning 59003 clauses out of 118005 with flag 6459927/1820955 701.70/722.76 c cleaning 59997 clauses out of 120003 with flag 6683086/1881956 728.38/749.53 c cleaning 61001 clauses out of 122004 with flag 6921150/1943954 754.63/775.82 c cleaning 61984 clauses out of 124003 with flag 7164789/2006954 780.52/810.52 c cleaning 63001 clauses out of 126019 with flag 7410045/2070954 807.75/837.99 c cleaning 64008 clauses out of 128023 with flag 7653383/2135959 835.02/865.54 c cleaning 64999 clauses out of 130010 with flag 7909105/2201954 861.91/892.44 c cleaning 66002 clauses out of 132012 with flag 8153892/2268955 888.64/919.20 c cleaning 66997 clauses out of 134010 with flag 8403113/2336955 917.60/948.58 c cleaning 68006 clauses out of 136012 with flag 8667999/2405954 946.94/978.05 c cleaning 69001 clauses out of 138006 with flag 8948476/2475954 976.00/1007.34 c cleaning 69999 clauses out of 140005 with flag 9215374/2546954 1006.90/1038.47 c cleaning 71001 clauses out of 142006 with flag 9500201/2618954 1037.73/1070.10 c cleaning 71992 clauses out of 144006 with flag 9768262/2691955 1067.68/1100.23 c cleaning 73006 clauses out of 146016 with flag 10047533/2765957 1099.32/1132.21 c cleaning 74004 clauses out of 148007 with flag 10326758/2840954 1133.16/1166.21 c cleaning 74990 clauses out of 150003 with flag 10618381/2916954 1165.03/1198.35 c cleaning 76007 clauses out of 152013 with flag 10925077/2993954 1199.88/1233.38 c cleaning 77001 clauses out of 154006 with flag 11244894/3071954 1233.41/1273.99 c cleaning 77969 clauses out of 156005 with flag 11560458/3150954 1267.10/1307.91 c cleaning 78999 clauses out of 158036 with flag 11880892/3230954 1302.16/1343.19 c cleaning 80019 clauses out of 160038 with flag 12212474/3311955 1340.80/1387.11 c cleaning 81009 clauses out of 162018 with flag 12549019/3393954 1377.79/1424.94 c cleaning 81987 clauses out of 164010 with flag 12896519/3476955 1413.74/1461.27 c cleaning 83003 clauses out of 166022 with flag 13231470/3560954 1448.75/1497.08 c cleaning 84002 clauses out of 168019 with flag 13564222/3645954 1486.11/1534.58 c cleaning 85009 clauses out of 170018 with flag 13888155/3731955 1524.43/1576.42 c cleaning 86005 clauses out of 172009 with flag 14270599/3818955 1562.95/1615.08 c cleaning 86990 clauses out of 174006 with flag 14634467/3906957 1603.53/1658.18 c cleaning 87978 clauses out of 176013 with flag 15007878/3995954 1644.23/1709.51 c cleaning 89003 clauses out of 178036 with flag 15382839/4085955 1685.24/1750.54 c cleaning 90008 clauses out of 180035 with flag 15779483/4176957 1727.38/1793.62 c cleaning 91007 clauses out of 182027 with flag 16175231/4268957 1770.80/1844.23 c cleaning 92009 clauses out of 184017 with flag 16545940/4361954 1813.94/1887.47 c cleaning 93001 clauses out of 186010 with flag 16940527/4455956 1858.87/1932.58 c cleaning 94004 clauses out of 188007 with flag 17321275/4550954 1903.41/1980.02 c cleaning 94983 clauses out of 190003 with flag 17716190/4646954 1948.33/2025.01 c cleaning 95995 clauses out of 192020 with flag 18112322/4743954 1998.34/2074.92 c cleaning 97009 clauses out of 194025 with flag 18496126/4841954 2048.67/2125.31 c cleaning 98007 clauses out of 196016 with flag 18899774/4940954 2096.73/2178.80 c cleaning 98988 clauses out of 198009 with flag 19305184/5040954 2146.06/2228.00 c cleaning 100006 clauses out of 200021 with flag 19736428/5141954 2194.59/2276.65 c cleaning 101006 clauses out of 202016 with flag 20127176/5243955 2242.31/2324.41 c cleaning 101991 clauses out of 204011 with flag 20532202/5346956 2293.13/2375.32 c cleaning 102993 clauses out of 206018 with flag 20990706/5450954 2345.02/2427.21 c cleaning 104007 clauses out of 208025 with flag 21409426/5555954 2393.73/2482.42 c cleaning 104959 clauses out of 210018 with flag 21846563/5661954 2442.80/2535.80 c cleaning 106027 clauses out of 212059 with flag 22270784/5768954 2496.47/2589.38 c cleaning 107016 clauses out of 214034 with flag 22731482/5876956 2546.19/2639.18 c cleaning 108000 clauses out of 216016 with flag 23160416/5985954 2596.98/2689.77 c cleaning 108998 clauses out of 218016 with flag 23584273/6095954 2649.94/2744.33 c cleaning 110000 clauses out of 220019 with flag 24001090/6206955 2707.69/2801.94 c cleaning 111000 clauses out of 222018 with flag 24477750/6318954 2769.94/2864.45 c cleaning 112005 clauses out of 224018 with flag 24956745/6431954 2825.69/2919.72 c cleaning 113003 clauses out of 226013 with flag 25370896/6545954 2889.00/2983.19 c cleaning 113989 clauses out of 228010 with flag 25832510/6660954 2951.49/3046.05 c cleaning 115001 clauses out of 230023 with flag 26298695/6776956 3009.54/3104.45 c cleaning 115997 clauses out of 232020 with flag 26741228/6893954 3068.04/3175.76 c cleaning 116999 clauses out of 234023 with flag 27208876/7011954 3125.92/3233.30 c cleaning 117993 clauses out of 236024 with flag 27660978/7130954 3182.33/3289.76 c cleaning 119001 clauses out of 238031 with flag 28111105/7250954 3237.68/3345.12 c cleaning 120002 clauses out of 240030 with flag 28573346/7371954 3297.36/3406.12 c cleaning 121009 clauses out of 242029 with flag 29056750/7493955 3354.19/3463.28 c cleaning 121994 clauses out of 244019 with flag 29507395/7616954 3412.20/3521.11 c cleaning 123003 clauses out of 246025 with flag 29987259/7740954 3469.80/3581.14 c cleaning 123994 clauses out of 248023 with flag 30511805/7865955 3529.32/3640.96 c cleaning 125009 clauses out of 250030 with flag 31048006/7991956 3585.49/3700.01 c starts : 24 3585.49/3700.01 c conflicts : 8112237 3585.49/3700.01 c decisions : 22941814 3585.49/3700.01 c propagations : 2290641568 3585.49/3700.01 c inspects : 3158541625 3585.49/3700.01 c shortcuts : 0 3585.49/3700.01 c learnt literals : 0 3585.49/3700.01 c learnt binary clauses : 0 3585.49/3700.01 c learnt ternary clauses : 0 3585.49/3700.01 c learnt constraints : 8112236 3585.49/3700.01 c ignored constraints : 0 3585.49/3700.02 c root simplifications : 0 3585.49/3700.02 c removed literals (reason simplification) : 867525120 3585.49/3700.02 c reason swapping (by a shorter reason) : 0 3585.49/3700.02 c Calls to reduceDB : 122 3585.49/3700.02 c Number of update (reduction) of LBD : 2995172 3585.49/3700.02 c Imported unit clauses : 0 3585.49/3700.02 c No decision after first conflict : false 3585.49/3700.02 c number of reductions to clauses (during analyze) : 0 3585.49/3700.02 c number of learned constraints concerned by reduction : 0 3585.49/3700.02 c number of learning phase by resolution : 0 3585.49/3700.02 c number of learning phase by cutting planes : 0 3585.49/3700.02 c number of rounding to 1 operations : 0 3585.49/3700.02 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3585.49/3700.02 c number of reductions of the coefficients by power 2 : 0 3585.49/3700.02 c number of right shift for reduction by power 2 : 0 3585.49/3700.02 c number of reductions of the coefficients by GCD over coefficients : 0 3585.49/3700.02 c number of ending skipping : 0 3585.49/3700.02 c number of internal skipping : 0 3585.49/3700.02 c number of derivation steps : 0 3585.49/3700.02 c number of skipped derivation steps : 0 3585.49/3700.02 c number of remaining unassigned : 0 3585.49/3700.02 c number of remaining assigned : 0 3585.49/3700.02 c number of falsified literals weakened from reason : 0 3585.49/3700.02 c number of falsified literals weakened from conflict : 0 3585.49/3700.02 c time for arithmetic operations : 0 3585.49/3700.02 c minimum degree of deleted constraints : null 3585.49/3700.02 c maximum degree of deleted constraints : null 3585.49/3700.02 c number of deleted constraints : 0 3585.49/3700.02 c speed (assignments/second) : 619362.65910661 3585.49/3700.02 c non guided choices : 0 3585.49/3700.08 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 245301 3585.49/3700.08 s SATISFIABLE 3585.49/3700.08 c Found 3 solution(s) 3585.49/3700.08 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 x8974 -x8975 -x8976 x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 x9737 -x9738 -x9739 x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 3585.49/3700.08 c objective function=1460 3585.49/3700.08 c Total wall clock time (in seconds): 3699.957
OK 1460
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (47738 MiB free)
memory of node 1: 64465 MiB (45736 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489699-1751365167/watcher-4489699-1751365167 -o /tmp/evaluation-result-4489699-1751365167/solver-4489699-1751365167 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751361483-52528 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4489699-1751365167 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4489699-1751365167.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=53003, runsolver pid=53000
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.23 4.15 4.13 5/344 53021
/proc/meminfo: memFree=95680888/131250000 swapFree=33009904/33010684
[pid=53003] ppid=53000 vsize=18930384 memory=57704 CPUtime=0.12 cores=0,2
/proc/53003/stat : 53003 (java) S 53000 53003 52518 0 -1 4194304 6580 0 0 0 10 2 0 0 20 0 18 0 52196113 19384713216 14426 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
/proc/53003/statm: 4732596 14426 5341 1 0 547622 0
[pid=53003/tid=53005] ppid=53000 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/53003/task/53005/stat : 53005 (java) R 53000 53003 52518 0 -1 4194368 5082 0 0 0 6 1 0 0 20 0 18 0 52196114 19384713216 14426 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53014] ppid=53000 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/53003/task/53014/stat : 53014 (Finalizer) S 53000 53003 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52196116 19384713216 14426 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53021] ppid=53000 vsize=18930384 memory=60684515952020 CPUtime=0 cores=0,2
/proc/53003/task/53021/stat : 53021 (Common-Cleaner) S 53000 53003 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 52196117 19384713216 14426 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57704 KiB
[startup+0.205792 s]*
/proc/loadavg: 4.23 4.15 4.13 7/344 53021
/proc/meminfo: memFree=95667408/131250000 swapFree=33009904/33010684
[pid=53003] ppid=53000 vsize=18930384 memory=72360 CPUtime=0.32 cores=0,2
/proc/53003/stat : 53003 (java) S 53000 53003 52518 0 -1 4194304 7055 0 0 0 29 3 0 0 20 0 18 0 52196113 19384713216 18090 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
/proc/53003/statm: 4732596 18090 5437 1 0 547957 0
[pid=53003/tid=53005] ppid=53000 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=0,2
/proc/53003/task/53005/stat : 53005 (java) R 53000 53003 52518 0 -1 4194368 5270 0 0 0 16 1 0 0 20 0 18 0 52196114 19384713216 18090 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53014] ppid=53000 vsize=18930384 memory=16898 CPUtime=0 cores=0,2
/proc/53003/task/53014/stat : 53014 (Finalizer) S 53000 53003 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52196116 19384713216 18090 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53021] ppid=53000 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/53003/task/53021/stat : 53021 (Common-Cleaner) S 53000 53003 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 52196117 19384713216 18090 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 72360 KiB
[startup+0.30572 s]*
/proc/loadavg: 4.23 4.15 4.13 6/344 53021
/proc/meminfo: memFree=95625000/131250000 swapFree=33009904/33010684
[pid=53003] ppid=53000 vsize=18930384 memory=113508 CPUtime=0.52 cores=0,2
/proc/53003/stat : 53003 (java) S 53000 53003 52518 0 -1 4194304 8729 0 0 0 48 4 0 0 20 0 18 0 52196113 19384713216 28377 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
/proc/53003/statm: 4732596 28377 5437 1 0 548988 0
[pid=53003/tid=53005] ppid=53000 vsize=18930384 memory=-6000919507150465386 CPUtime=0.27 cores=0,2
/proc/53003/task/53005/stat : 53005 (java) R 53000 53003 52518 0 -1 4194368 5288 0 0 0 25 2 0 0 20 0 18 0 52196114 19384713216 28377 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53014] ppid=53000 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/53003/task/53014/stat : 53014 (Finalizer) S 53000 53003 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52196116 19384713216 28377 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53021] ppid=53000 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/53003/task/53021/stat : 53021 (Common-Cleaner) S 53000 53003 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 52196117 19384713216 28377 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 113508 KiB
[startup+0.700239 s]
/proc/loadavg: 4.23 4.15 4.13 6/345 53022
/proc/meminfo: memFree=95571752/131250000 swapFree=33009904/33010684
[pid=53003] ppid=53000 vsize=18996948 memory=181496 CPUtime=1.26 cores=0,2
/proc/53003/stat : 53003 (java) S 53000 53003 52518 0 -1 4194304 11919 0 0 0 120 6 0 0 20 0 19 0 52196113 19452874752 45374 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
/proc/53003/statm: 4749237 45374 5469 1 0 551209 0
[pid=53003/tid=53005] ppid=53000 vsize=18996948 memory=18432 CPUtime=0.63 cores=0,2
/proc/53003/task/53005/stat : 53005 (java) R 53000 53003 52518 0 -1 4194368 5312 0 0 0 60 3 0 0 20 0 19 0 52196114 19452874752 45374 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53014] ppid=53000 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/53003/task/53014/stat : 53014 (Finalizer) S 53000 53003 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52196116 19452874752 45374 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53021] ppid=53000 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/53003/task/53021/stat : 53021 (Common-Cleaner) S 53000 53003 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 52196117 19452874752 45374 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 181496 KiB
[startup+1.50023 s]
/proc/loadavg: 4.23 4.15 4.13 5/345 53022
/proc/meminfo: memFree=95400988/131250000 swapFree=33009904/33010684
[pid=53003] ppid=53000 vsize=18996948 memory=417412 CPUtime=2.33 cores=0,2
/proc/53003/stat : 53003 (java) S 53000 53003 52518 0 -1 4194304 13162 0 0 0 222 11 0 0 20 0 19 0 52196113 19452874752 104353 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
/proc/53003/statm: 4749237 104353 5469 1 0 1077847 0
[pid=53003/tid=53005] ppid=53000 vsize=18996948 memory=3328 CPUtime=1.35 cores=0,2
/proc/53003/task/53005/stat : 53005 (java) S 53000 53003 52518 0 -1 4194368 5411 0 0 0 128 7 0 0 20 0 19 0 52196114 19452874752 104353 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53014] ppid=53000 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/53003/task/53014/stat : 53014 (Finalizer) S 53000 53003 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52196116 19452874752 104353 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53021] ppid=53000 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/53003/task/53021/stat : 53021 (Common-Cleaner) S 53000 53003 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 52196117 19452874752 104353 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
Current children cumulated CPU time: 2.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 417412 KiB
[startup+3.10594 s]
/proc/loadavg: 4.23 4.15 4.13 9/346 53023
/proc/meminfo: memFree=94626324/131250000 swapFree=33009904/33010684
[pid=53003] ppid=53000 vsize=19063512 memory=793148 CPUtime=5.5 cores=0,2
/proc/53003/stat : 53003 (java) S 53000 53003 52518 0 -1 4194304 15902 0 0 0 528 22 0 0 20 0 20 0 52196113 19521036288 198287 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
/proc/53003/statm: 4765878 198287 5501 1 0 1681130 0
[pid=53003/tid=53005] ppid=53000 vsize=19063512 memory=10752 CPUtime=2.74 cores=0,2
/proc/53003/task/53005/stat : 53005 (java) R 53000 53003 52518 0 -1 4194368 5723 0 0 0 259 15 0 0 20 0 20 0 52196114 19521036288 198287 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53014] ppid=53000 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/53003/task/53014/stat : 53014 (Finalizer) S 53000 53003 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52196116 19521036288 198287 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53021] ppid=53000 vsize=19063512 memory=5504 CPUtime=0 cores=0,2
/proc/53003/task/53021/stat : 53021 (Common-Cleaner) S 53000 53003 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 52196117 19521036288 198287 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53023] ppid=53000 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/53003/task/53023/stat : 53023 (Timer-0) S 53000 53003 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52196277 19521036288 198287 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
Current children cumulated CPU time: 5.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 793148 KiB
[startup+6.30018 s]
/proc/loadavg: 4.29 4.17 4.13 5/345 53023
/proc/meminfo: memFree=94392712/131250000 swapFree=33009904/33010684
[pid=53003] ppid=53000 vsize=19063512 memory=858920 CPUtime=10.2 cores=0,2
/proc/53003/stat : 53003 (java) S 53000 53003 52518 0 -1 4194304 17273 0 0 0 994 26 0 0 20 0 20 0 52196113 19521036288 214730 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
/proc/53003/statm: 4765878 214730 5501 1 0 1681778 0
[pid=53003/tid=53005] ppid=53000 vsize=19063512 memory=0 CPUtime=5.82 cores=0,2
/proc/53003/task/53005/stat : 53005 (java) R 53000 53003 52518 0 -1 4194368 5821 0 0 0 566 16 0 0 20 0 20 0 52196114 19521036288 214730 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53014] ppid=53000 vsize=19063512 memory=7100839887185286273 CPUtime=0 cores=0,2
/proc/53003/task/53014/stat : 53014 (Finalizer) S 53000 53003 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52196116 19521036288 214730 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53021] ppid=53000 vsize=19063512 memory=-6000919507150465386 CPUtime=0 cores=0,2
/proc/53003/task/53021/stat : 53021 (Common-Cleaner) S 53000 53003 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 52196117 19521036288 214730 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53023] ppid=53000 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/53003/task/53023/stat : 53023 (Timer-0) S 53000 53003 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52196277 19521036288 214730 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
Current children cumulated CPU time: 10.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 858920 KiB
[startup+12.7002 s]
/proc/loadavg: 4.35 4.18 4.14 4/324 53055
/proc/meminfo: memFree=109971236/131250000 swapFree=33009904/33010684
[pid=53003] ppid=53000 vsize=19063512 memory=998480 CPUtime=16.8 cores=0,2
/proc/53003/stat : 53003 (java) S 53000 53003 52518 0 -1 4194304 24088 0 0 0 1650 30 0 0 20 0 20 0 52196113 19521036288 249620 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
/proc/53003/statm: 4765878 249620 5533 1 0 1681778 0
[pid=53003/tid=53005] ppid=53000 vsize=19063512 memory=0 CPUtime=12.18 cores=0,2
/proc/53003/task/53005/stat : 53005 (java) R 53000 53003 52518 0 -1 4194368 6605 0 0 0 1198 20 0 0 20 0 20 0 52196114 19521036288 249620 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53014] ppid=53000 vsize=19063512 memory=990160 CPUtime=0 cores=0,2
/proc/53003/task/53014/stat : 53014 (Finalizer) S 53000 53003 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52196116 19521036288 249620 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53021] ppid=53000 vsize=19063512 memory=990288 CPUtime=0 cores=0,2
/proc/53003/task/53021/stat : 53021 (Common-Cleaner) S 53000 53003 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 52196117 19521036288 249620 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53023] ppid=53000 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/53003/task/53023/stat : 53023 (Timer-0) S 53000 53003 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52196277 19521036288 249620 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
Current children cumulated CPU time: 16.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 998480 KiB
[startup+25.5002 s]
/proc/loadavg: 4.49 4.22 4.15 6/345 53157
/proc/meminfo: memFree=124657764/131250000 swapFree=33009904/33010684
[pid=53003] ppid=53000 vsize=19063512 memory=1381552 CPUtime=29.61 cores=0,2
/proc/53003/stat : 53003 (java) S 53000 53003 52518 0 -1 4194304 25632 0 0 0 2920 41 0 0 20 0 20 0 52196113 19521036288 345388 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
/proc/53003/statm: 4765878 345388 5533 1 0 1681780 0
[pid=53003/tid=53005] ppid=53000 vsize=19063512 memory=990288 CPUtime=24.91 cores=0,2
/proc/53003/task/53005/stat : 53005 (java) R 53000 53003 52518 0 -1 4194368 7814 0 0 0 2462 29 0 0 20 0 20 0 52196114 19521036288 345388 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53014] ppid=53000 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/53003/task/53014/stat : 53014 (Finalizer) S 53000 53003 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52196116 19521036288 345388 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53021] ppid=53000 vsize=19063512 memory=858920 CPUtime=0 cores=0,2
/proc/53003/task/53021/stat : 53021 (Common-Cleaner) S 53000 53003 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 52196117 19521036288 345388 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53023] ppid=53000 vsize=19063512 memory=1377456 CPUtime=0 cores=0,2
/proc/53003/task/53023/stat : 53023 (Timer-0) S 53000 53003 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52196277 19521036288 345388 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
Current children cumulated CPU time: 29.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1381552 KiB
[startup+51.1056 s]
/proc/loadavg: 4.32 4.20 4.14 5/345 53158
/proc/meminfo: memFree=119998764/131250000 swapFree=33009904/33010684
[pid=53003] ppid=53000 vsize=19063512 memory=2508040 CPUtime=51.12 cores=0,2
/proc/53003/stat : 53003 (java) S 53000 53003 52518 0 -1 4194304 31224 0 0 0 5044 68 0 0 20 0 20 0 52196113 19521036288 627010 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
/proc/53003/statm: 4765878 627010 5533 1 0 1681802 0
[pid=53003/tid=53005] ppid=53000 vsize=19063512 memory=-6000919507150465386 CPUtime=46.32 cores=0,2
/proc/53003/task/53005/stat : 53005 (java) R 53000 53003 52518 0 -1 4194368 9207 0 0 0 4577 55 0 0 20 0 20 0 52196114 19521036288 627010 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53014] ppid=53000 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/53003/task/53014/stat : 53014 (Finalizer) S 53000 53003 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52196116 19521036288 627010 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53021] ppid=53000 vsize=19063512 memory=2273 CPUtime=0 cores=0,2
/proc/53003/task/53021/stat : 53021 (Common-Cleaner) S 53000 53003 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 52196117 19521036288 627010 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53023] ppid=53000 vsize=19063512 memory=2335920 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/53003/task/53005/stat : 53005 (java) R 53000 53003 52518 0 -1 4194368 103511 0 0 0 319960 768 0 0 20 0 20 0 52196114 19521036288 1666759 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53014] ppid=53000 vsize=19063512 memory=6667036 CPUtime=0 cores=0,2
/proc/53003/task/53014/stat : 53014 (Finalizer) S 53000 53003 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52196116 19521036288 1666759 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53021] ppid=53000 vsize=19063512 memory=6667036 CPUtime=0 cores=0,2
/proc/53003/task/53021/stat : 53021 (Common-Cleaner) S 53000 53003 52518 0 -1 4194368 2782 0 0 0 0 0 0 0 20 0 20 0 52196117 19521036288 1666759 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53023] ppid=53000 vsize=19063512 memory=2688 CPUtime=0 cores=0,2
/proc/53003/task/53023/stat : 53023 (Timer-0) S 53000 53003 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52196277 19521036288 1666759 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
Current children cumulated CPU time: 3234.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6667036 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/344 53354
/proc/meminfo: memFree=73394304/131250000 swapFree=33009904/33010684
[pid=53003] ppid=53000 vsize=19063512 memory=6669108 CPUtime=3293.57 cores=0,2
/proc/53003/stat : 53003 (java) S 53000 53003 52518 0 -1 4194304 190789 0 0 0 328459 898 0 0 20 0 20 0 52196113 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
/proc/53003/statm: 4765878 1667277 5565 1 0 1682801 0
[pid=53003/tid=53005] ppid=53000 vsize=19063512 memory=6667036 CPUtime=3264.78 cores=0,2
/proc/53003/task/53005/stat : 53005 (java) R 53000 53003 52518 0 -1 4194368 104295 0 0 0 325696 782 0 0 20 0 20 0 52196114 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53014] ppid=53000 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/53003/task/53014/stat : 53014 (Finalizer) S 53000 53003 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52196116 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53021] ppid=53000 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/53003/task/53021/stat : 53021 (Common-Cleaner) S 53000 53003 52518 0 -1 4194368 2840 0 0 0 0 0 0 0 20 0 20 0 52196117 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53023] ppid=53000 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/53003/task/53023/stat : 53023 (Timer-0) S 53000 53003 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52196277 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
Current children cumulated CPU time: 3293.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6669108 KiB
[startup+3462.3 s]
/proc/loadavg: 4.27 4.15 4.10 5/344 53356
/proc/meminfo: memFree=72701528/131250000 swapFree=33009904/33010684
[pid=53003] ppid=53000 vsize=19063512 memory=6669108 CPUtime=3353.29 cores=0,2
/proc/53003/stat : 53003 (java) S 53000 53003 52518 0 -1 4194304 194661 0 0 0 334414 915 0 0 20 0 20 0 52196113 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
/proc/53003/statm: 4765878 1667277 5565 1 0 1682801 0
[pid=53003/tid=53005] ppid=53000 vsize=19063512 memory=6667036 CPUtime=3324.27 cores=0,2
/proc/53003/task/53005/stat : 53005 (java) R 53000 53003 52518 0 -1 4194368 107207 0 0 0 331629 798 0 0 20 0 20 0 52196114 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53014] ppid=53000 vsize=19063512 memory=18432 CPUtime=0 cores=0,2
/proc/53003/task/53014/stat : 53014 (Finalizer) S 53000 53003 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52196116 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53021] ppid=53000 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/53003/task/53021/stat : 53021 (Common-Cleaner) S 53000 53003 52518 0 -1 4194368 2841 0 0 0 0 0 0 0 20 0 20 0 52196117 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53023] ppid=53000 vsize=19063512 memory=6669108 CPUtime=0 cores=0,2
/proc/53003/task/53023/stat : 53023 (Timer-0) S 53000 53003 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52196277 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
Current children cumulated CPU time: 3353.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6669108 KiB
[startup+3522.3 s]
/proc/loadavg: 4.38 4.21 4.13 5/344 53359
/proc/meminfo: memFree=72085744/131250000 swapFree=33009904/33010684
[pid=53003] ppid=53000 vsize=19063512 memory=6669108 CPUtime=3413.4 cores=0,2
/proc/53003/stat : 53003 (java) S 53000 53003 52518 0 -1 4194304 198213 0 0 0 340409 931 0 0 20 0 20 0 52196113 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
/proc/53003/statm: 4765878 1667277 5565 1 0 1682801 0
[pid=53003/tid=53005] ppid=53000 vsize=19063512 memory=18432 CPUtime=3383.34 cores=0,2
/proc/53003/task/53005/stat : 53005 (java) R 53000 53003 52518 0 -1 4194368 109600 0 0 0 337521 813 0 0 20 0 20 0 52196114 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53014] ppid=53000 vsize=19063512 memory=6669108 CPUtime=0 cores=0,2
/proc/53003/task/53014/stat : 53014 (Finalizer) S 53000 53003 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52196116 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53021] ppid=53000 vsize=19063512 memory=6669108 CPUtime=0 cores=0,2
/proc/53003/task/53021/stat : 53021 (Common-Cleaner) S 53000 53003 52518 0 -1 4194368 2900 0 0 0 0 0 0 0 20 0 20 0 52196117 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53023] ppid=53000 vsize=19063512 memory=16436 CPUtime=0 cores=0,2
/proc/53003/task/53023/stat : 53023 (Timer-0) S 53000 53003 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52196277 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
Current children cumulated CPU time: 3413.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6669108 KiB
[startup+3582.3 s]
/proc/loadavg: 4.40 4.27 4.15 5/344 53362
/proc/meminfo: memFree=71396836/131250000 swapFree=33009904/33010684
[pid=53003] ppid=53000 vsize=19063512 memory=6669108 CPUtime=3470.99 cores=0,2
/proc/53003/stat : 53003 (java) S 53000 53003 52518 0 -1 4194304 199440 0 0 0 346151 948 0 0 20 0 20 0 52196113 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
/proc/53003/statm: 4765878 1667277 5565 1 0 1682801 0
[pid=53003/tid=53005] ppid=53000 vsize=19063512 memory=18432 CPUtime=3440.38 cores=0,2
/proc/53003/task/53005/stat : 53005 (java) R 53000 53003 52518 0 -1 4194368 110609 0 0 0 343209 829 0 0 20 0 20 0 52196114 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53014] ppid=53000 vsize=19063512 memory=19584 CPUtime=0 cores=0,2
/proc/53003/task/53014/stat : 53014 (Finalizer) S 53000 53003 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52196116 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53021] ppid=53000 vsize=19063512 memory=6669108 CPUtime=0 cores=0,2
/proc/53003/task/53021/stat : 53021 (Common-Cleaner) S 53000 53003 52518 0 -1 4194368 2958 0 0 0 0 0 0 0 20 0 20 0 52196117 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53023] ppid=53000 vsize=19063512 memory=16436 CPUtime=0 cores=0,2
/proc/53003/task/53023/stat : 53023 (Timer-0) S 53000 53003 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52196277 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
Current children cumulated CPU time: 3470.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6669108 KiB
[startup+3642.3 s]
/proc/loadavg: 4.18 4.23 4.15 5/345 53365
/proc/meminfo: memFree=70769040/131250000 swapFree=33009904/33010684
[pid=53003] ppid=53000 vsize=19063512 memory=6669108 CPUtime=3530.73 cores=0,2
/proc/53003/stat : 53003 (java) S 53000 53003 52518 0 -1 4194304 203185 0 0 0 352107 966 0 0 20 0 20 0 52196113 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
/proc/53003/statm: 4765878 1667277 5565 1 0 1682801 0
[pid=53003/tid=53005] ppid=53000 vsize=19063512 memory=5276 CPUtime=3499.67 cores=0,2
/proc/53003/task/53005/stat : 53005 (java) R 53000 53003 52518 0 -1 4194368 113662 0 0 0 349122 845 0 0 20 0 20 0 52196114 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53014] ppid=53000 vsize=19063512 memory=6669108 CPUtime=0 cores=0,2
/proc/53003/task/53014/stat : 53014 (Finalizer) S 53000 53003 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52196116 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53021] ppid=53000 vsize=19063512 memory=6669108 CPUtime=0 cores=0,2
/proc/53003/task/53021/stat : 53021 (Common-Cleaner) S 53000 53003 52518 0 -1 4194368 2959 0 0 0 0 0 0 0 20 0 20 0 52196117 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53023] ppid=53000 vsize=19063512 memory=6669108 CPUtime=0 cores=0,2
/proc/53003/task/53023/stat : 53023 (Timer-0) S 53000 53003 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52196277 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
Current children cumulated CPU time: 3530.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6669108 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 4.11 4.20 4.14 3/321 53396
/proc/meminfo: memFree=75827908/131250000 swapFree=33009904/33010684
[pid=53003] ppid=53000 vsize=19063512 memory=6669108 CPUtime=3585.49 cores=0,2
/proc/53003/stat : 53003 (java) S 53000 53003 52518 0 -1 4194304 206060 0 0 0 357567 982 0 0 20 0 20 0 52196113 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
/proc/53003/statm: 4765878 1667277 5565 1 0 1682801 0
[pid=53003/tid=53005] ppid=53000 vsize=19063512 memory=5216 CPUtime=3553.82 cores=0,2
/proc/53003/task/53005/stat : 53005 (java) D 53000 53003 52518 0 -1 4194368 115469 0 0 0 354521 861 0 0 20 0 20 0 52196114 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53014] ppid=53000 vsize=19063512 memory=5428 CPUtime=0 cores=0,2
/proc/53003/task/53014/stat : 53014 (Finalizer) S 53000 53003 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52196116 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53021] ppid=53000 vsize=19063512 memory=5256 CPUtime=0 cores=0,2
/proc/53003/task/53021/stat : 53021 (Common-Cleaner) S 53000 53003 52518 0 -1 4194368 3025 0 0 0 0 0 0 0 20 0 20 0 52196117 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
[pid=53003/tid=53023] ppid=53000 vsize=19063512 memory=-4421386504787617890 CPUtime=0 cores=0,2
/proc/53003/task/53023/stat : 53023 (Timer-0) S 53000 53003 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52196277 19521036288 1667277 18446744073709551615 94627563585536 94627563589232 140736883364304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94627563597048 94627563597840 94627585789952 140736883370288 140736883370470 140736883370470 140736883376072 0
Current children cumulated CPU time: 3585.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6669108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3708.69 s]
# the end of solver process 53003 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3575.77 s, system=9.85538 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3700.8 s]
/proc/loadavg: 4.11 4.20 4.14 3/303 53399
/proc/meminfo: memFree=75819340/131250000 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3701.6 s]
/proc/loadavg: 4.11 4.20 4.14 3/303 53399
/proc/meminfo: memFree=75819340/131250000 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3702 s]*
/proc/loadavg: 4.11 4.20 4.14 3/303 53399
/proc/meminfo: memFree=75811276/131250000 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3708.69
CPU time (s): 3585.63
CPU user time (s): 3575.77
CPU system time (s): 9.85538
CPU usage (%): 96.6817
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6669876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.77
system time used= 9.85538
maximum resident set size= 6670004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209189
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18376440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114007
involuntary context switches= 11653
# summary of solver processes directly reported to runsolver:
# pid: 53003
# total CPU time (s): 3585.63
# total CPU user time (s): 3575.77
# total CPU system time (s): 9.85538
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.27745 second user time and 17.459 second system time
The end
Begin job on nodeC033 at 2025-07-01 12:19:27 IDJOB=4489699 IDBENCH=147561 IDSOLVER=3364 FILE ID=nodeC033/4489699-1751365167 RUNJOBID= nodeC033-1751361483-52528 SLURM_JOB_ID= 9598171 Free space on /tmp= 432408 MiB SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489699-1751365167/watcher-4489699-1751365167 -o /tmp/evaluation-result-4489699-1751365167/solver-4489699-1751365167 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751361483-52528 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4489699-1751365167 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4489699-1751365167.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ac2beb72083c40d036c40a53754bf1b9 RANDOM SEED=841876940 nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.179 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.072 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.045 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.562 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.075 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.729 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.566 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 95713424 kB MemAvailable: 118118516 kB Buffers: 2128 kB Cached: 23180940 kB SwapCached: 68 kB Active: 11965812 kB Inactive: 22942196 kB Active(anon): 11718608 kB Inactive(anon): 24496 kB Active(file): 247204 kB Inactive(file): 22917700 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 78600 kB Writeback: 100564 kB AnonPages: 11717828 kB Mapped: 124340 kB Shmem: 18028 kB KReclaimable: 158856 kB Slab: 253664 kB SReclaimable: 158856 kB SUnreclaim: 94808 kB KernelStack: 5280 kB PageTables: 26740 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 18298524 kB VmallocTotal: 34359738367 kB VmallocUsed: 151560 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 11440128 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 221908 kB DirectMap2M: 11083776 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432408 MiB End job on nodeC033 at 2025-07-01 13:21:16