| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution VeriPB 2025-06-06 | SAT (TO) | 665 | 3575.64 | 3700.37 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb |
| MD5SUM | 37dc22c6a12cddf588c55f8d6ee6d8c2 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 240 |
| Best CPU time to get the best result obtained on this benchmark | 3586.04 |
| 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 | 492823 |
| 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 | 492823 |
| 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.09 c java.runtime.name OpenJDK Runtime Environment 0.00/0.09 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.09 c java.vm.version 22.0.1+8-16 0.00/0.09 c java.vm.vendor Oracle Corporation 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 22.0.1 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.09 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.10 c Number of processors 2 0.12/0.14 c Pseudo Boolean Optimization by upper bound 0.12/0.14 c --- Begin Solver configuration --- 0.12/0.14 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.12/0.14 c Learn all clauses as in MiniSAT 0.12/0.14 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.14 c Expensive reason simplification 0.12/0.14 c Glucose 2.1 dynamic restart strategy 0.12/0.14 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.14 c timeout=2147483s 0.12/0.14 c DB Simplification allowed=false 0.12/0.14 c Listener: none 0.12/0.14 c --- End Solver configuration --- 0.12/0.14 c solving HOME/instance-4489653-1751365159.opb 0.12/0.14 c reading problem ... 0.12/0.14 c using VERIPB proof format 0.12/0.14 c objective function found 2.43/1.62 c ... done. Wall clock time 1.485s. 2.43/1.62 c declared #vars 10000 2.43/1.62 c #constraints 656900 2.43/1.62 c constraints type 2.43/1.62 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 2.43/1.62 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 2.43/1.62 c 656900 constraints processed. 2.43/1.63 c objective function length is 10000 literals 3.22/2.02 c SATISFIABLE 3.22/2.02 c OPTIMIZING... 3.22/2.02 c Got one! Elapsed wall clock time (in seconds):1.884 3.22/2.02 o 665 7.78/4.50 c cleaning 2556 clauses out of 5119 with flag 15421/5119 10.07/6.62 c cleaning 4271 clauses out of 8563 with flag 33772/11119 12.28/8.90 c cleaning 5642 clauses out of 11291 with flag 55568/18118 15.02/11.52 c cleaning 6824 clauses out of 13649 with flag 81702/26118 18.21/14.62 c cleaning 7913 clauses out of 15826 with flag 111480/35119 21.80/18.22 c cleaning 8954 clauses out of 17912 with flag 142615/45118 25.90/22.33 c cleaning 9978 clauses out of 19958 with flag 177025/56118 30.29/26.72 c cleaning 10984 clauses out of 21980 with flag 212923/68118 34.90/31.31 c cleaning 11992 clauses out of 23996 with flag 250957/81118 40.02/36.58 c cleaning 13002 clauses out of 26004 with flag 291456/95118 45.70/42.24 c cleaning 14000 clauses out of 28004 with flag 338421/110120 51.29/47.85 c cleaning 14994 clauses out of 30003 with flag 387058/126119 57.20/53.73 c cleaning 15996 clauses out of 32008 with flag 438574/143118 63.71/60.21 c cleaning 16995 clauses out of 34012 with flag 497057/161118 70.55/67.26 c cleaning 18002 clauses out of 36017 with flag 557555/180118 77.94/74.62 c cleaning 19008 clauses out of 38016 with flag 626050/200119 85.56/82.28 c cleaning 19997 clauses out of 40007 with flag 702437/221118 93.64/90.38 c cleaning 20998 clauses out of 42010 with flag 774984/243118 102.05/99.33 c cleaning 21995 clauses out of 44012 with flag 854007/266118 110.83/108.17 c cleaning 23006 clauses out of 46017 with flag 934259/290118 120.20/117.55 c cleaning 24000 clauses out of 48011 with flag 1021774/315118 130.05/127.52 c cleaning 24995 clauses out of 50011 with flag 1113488/341118 140.23/137.74 c cleaning 26007 clauses out of 52016 with flag 1211614/368118 150.61/148.13 c cleaning 27002 clauses out of 54012 with flag 1315601/396121 161.02/159.66 c cleaning 28000 clauses out of 56008 with flag 1411176/425119 171.99/170.65 c cleaning 28996 clauses out of 58007 with flag 1515438/455118 183.80/182.46 c cleaning 29998 clauses out of 60011 with flag 1622370/486118 196.58/195.31 c cleaning 31007 clauses out of 62013 with flag 1733998/518118 209.75/208.55 c cleaning 32007 clauses out of 64013 with flag 1849616/551125 223.71/227.30 c cleaning 33001 clauses out of 66001 with flag 1965071/585120 238.12/241.73 c cleaning 33991 clauses out of 68001 with flag 2085133/620121 252.64/256.35 c cleaning 35003 clauses out of 70007 with flag 2220129/656118 266.90/270.65 c cleaning 35997 clauses out of 72004 with flag 2359884/693118 281.31/285.16 c cleaning 37001 clauses out of 74007 with flag 2503165/731118 296.31/300.12 c cleaning 37991 clauses out of 76006 with flag 2658785/770118 311.20/315.18 c cleaning 39003 clauses out of 78016 with flag 2806674/810119 327.06/331.08 c cleaning 39999 clauses out of 80013 with flag 2963729/851119 343.38/347.41 c cleaning 40997 clauses out of 82015 with flag 3119851/893120 359.55/363.61 c cleaning 42002 clauses out of 84016 with flag 3281021/936118 376.71/380.99 c cleaning 43000 clauses out of 86014 with flag 3445980/980118 394.80/399.06 c cleaning 44000 clauses out of 88014 with flag 3622696/1025118 413.18/417.52 c cleaning 45000 clauses out of 90014 with flag 3802781/1071118 430.75/435.18 c cleaning 46003 clauses out of 92014 with flag 3990172/1118118 450.05/454.51 c cleaning 47004 clauses out of 94011 with flag 4178966/1166118 468.74/473.30 c cleaning 48003 clauses out of 96008 with flag 4367574/1215119 489.39/494.04 c cleaning 49003 clauses out of 98005 with flag 4560525/1265119 510.32/523.82 c cleaning 49991 clauses out of 100001 with flag 4751288/1316118 530.58/544.10 c cleaning 50996 clauses out of 102010 with flag 4951382/1368118 552.25/566.12 c cleaning 52004 clauses out of 104015 with flag 5147969/1421119 574.16/588.18 c cleaning 52999 clauses out of 106010 with flag 5366950/1475118 596.69/610.73 c cleaning 53993 clauses out of 108011 with flag 5584973/1530118 618.48/632.65 c cleaning 54992 clauses out of 110019 with flag 5799898/1586119 640.66/670.66 c cleaning 56007 clauses out of 112026 with flag 6028253/1643118 663.64/693.66 c cleaning 57005 clauses out of 114022 with flag 6260197/1701121 687.78/717.94 c cleaning 57990 clauses out of 116015 with flag 6494617/1760119 712.58/742.83 c cleaning 59006 clauses out of 118025 with flag 6726536/1820119 737.62/767.92 c cleaning 59999 clauses out of 120018 with flag 6963625/1881118 763.78/794.15 c cleaning 61009 clauses out of 122019 with flag 7203856/1943118 790.78/821.49 c cleaning 61987 clauses out of 124011 with flag 7454125/2006119 818.15/849.07 c cleaning 63008 clauses out of 126023 with flag 7717039/2070118 846.00/877.29 c cleaning 64000 clauses out of 128015 with flag 7977674/2135118 874.45/905.79 c cleaning 65002 clauses out of 130015 with flag 8269296/2201118 900.89/932.25 c cleaning 65996 clauses out of 132013 with flag 8532221/2268118 928.86/960.57 c cleaning 67000 clauses out of 134017 with flag 8796343/2336118 957.04/988.97 c cleaning 68006 clauses out of 136019 with flag 9078229/2405120 985.78/1017.81 c cleaning 68994 clauses out of 138011 with flag 9368976/2475118 1015.33/1047.66 c cleaning 70005 clauses out of 140018 with flag 9657840/2546119 1046.43/1079.54 c cleaning 70996 clauses out of 142012 with flag 9952446/2618118 1079.35/1112.60 c cleaning 72003 clauses out of 144016 with flag 10255872/2691118 1111.61/1145.29 c cleaning 73002 clauses out of 146013 with flag 10562532/2765118 1144.67/1178.47 c cleaning 73998 clauses out of 148013 with flag 10865714/2840120 1179.52/1213.44 c cleaning 74997 clauses out of 150013 with flag 11180131/2916118 1213.97/1254.87 c cleaning 76008 clauses out of 152017 with flag 11501429/2993119 1247.34/1288.36 c cleaning 76991 clauses out of 154008 with flag 11824810/3071118 1280.38/1321.67 c cleaning 78001 clauses out of 156017 with flag 12136945/3150118 1315.47/1361.31 c cleaning 78995 clauses out of 158019 with flag 12483330/3230121 1350.67/1396.68 c cleaning 80004 clauses out of 160023 with flag 12830967/3311120 1386.93/1433.10 c cleaning 80998 clauses out of 162017 with flag 13181851/3393118 1423.01/1479.17 c cleaning 82005 clauses out of 164021 with flag 13528033/3476120 1460.20/1516.45 c cleaning 83003 clauses out of 166014 with flag 13875890/3560118 1499.09/1569.18 c cleaning 84004 clauses out of 168016 with flag 14234285/3645123 1537.45/1607.63 c cleaning 84991 clauses out of 170007 with flag 14604689/3731118 1576.02/1649.90 c cleaning 85992 clauses out of 172017 with flag 14977608/3818119 1613.50/1688.10 c cleaning 87007 clauses out of 174024 with flag 15358100/3906118 1652.39/1726.96 c cleaning 88004 clauses out of 176017 with flag 15739525/3995118 1693.35/1770.33 c cleaning 88995 clauses out of 178013 with flag 16119591/4085118 1735.29/1823.37 c cleaning 89997 clauses out of 180018 with flag 16498113/4176118 1776.04/1864.10 c cleaning 91005 clauses out of 182021 with flag 16883900/4268118 1819.32/1925.16 c cleaning 92001 clauses out of 184016 with flag 17279540/4361118 1862.43/1969.06 c cleaning 93006 clauses out of 186015 with flag 17686905/4455118 1906.00/2012.80 c cleaning 93997 clauses out of 188009 with flag 18103375/4550118 1949.97/2056.97 c cleaning 94999 clauses out of 190012 with flag 18503458/4646118 1993.94/2101.11 c cleaning 96003 clauses out of 192014 with flag 18897839/4743119 2039.32/2146.83 c cleaning 96994 clauses out of 194010 with flag 19329437/4841118 2083.57/2191.62 c cleaning 97995 clauses out of 196016 with flag 19772751/4940118 2129.01/2237.39 c cleaning 99004 clauses out of 198021 with flag 20214392/5040118 2175.24/2283.98 c cleaning 99990 clauses out of 200018 with flag 20673929/5141119 2221.50/2330.40 c cleaning 101001 clauses out of 202029 with flag 21139324/5243120 2270.75/2379.93 c cleaning 101998 clauses out of 204026 with flag 21617165/5346118 2315.59/2424.87 c cleaning 103005 clauses out of 206028 with flag 22080695/5450118 2361.17/2470.59 c cleaning 104001 clauses out of 208023 with flag 22544653/5555118 2409.45/2519.11 c cleaning 104996 clauses out of 210022 with flag 23010894/5661118 2457.81/2568.00 c cleaning 105992 clauses out of 212026 with flag 23489480/5768118 2507.97/2618.53 c cleaning 107012 clauses out of 214038 with flag 23964264/5876122 2558.16/2670.42 c cleaning 108004 clauses out of 216023 with flag 24461848/5985119 2611.50/2724.14 c cleaning 109002 clauses out of 218018 with flag 24935843/6095118 2661.65/2774.47 c cleaning 110003 clauses out of 220017 with flag 25428397/6206119 2713.10/2826.19 c cleaning 110994 clauses out of 222013 with flag 25929827/6318118 2765.21/2878.55 c cleaning 112010 clauses out of 224022 with flag 26432104/6431121 2817.15/2930.65 c cleaning 113005 clauses out of 226009 with flag 26941068/6545118 2872.33/2986.17 c cleaning 113983 clauses out of 228005 with flag 27445951/6660119 2927.56/3041.76 c cleaning 115002 clauses out of 230022 with flag 27955661/6776119 2983.55/3099.92 c cleaning 116003 clauses out of 232021 with flag 28478705/6893120 3039.86/3157.22 c cleaning 117005 clauses out of 234019 with flag 29010402/7011121 3098.19/3215.73 c cleaning 117990 clauses out of 236011 with flag 29543676/7130118 3155.00/3276.16 c cleaning 119011 clauses out of 238021 with flag 30078983/7250118 3212.12/3333.38 c cleaning 119993 clauses out of 240010 with flag 30616643/7371118 3269.18/3390.52 c cleaning 120996 clauses out of 242017 with flag 31167836/7493118 3326.81/3448.57 c cleaning 122011 clauses out of 244022 with flag 31742738/7616119 3386.03/3508.06 c cleaning 122994 clauses out of 246010 with flag 32297987/7740118 3446.92/3571.36 c cleaning 123999 clauses out of 248016 with flag 32862196/7865118 3508.82/3633.41 c cleaning 125000 clauses out of 250017 with flag 33417264/7991118 3571.82/3696.60 c cleaning 126009 clauses out of 252017 with flag 33995483/8118118 3575.34/3700.01 c starts : 6 3575.34/3700.03 c conflicts : 8125166 3575.34/3700.03 c decisions : 18530351 3575.34/3700.03 c propagations : 1847919973 3575.34/3700.03 c inspects : 3701335273 3575.34/3700.03 c shortcuts : 0 3575.34/3700.03 c learnt literals : 0 3575.34/3700.03 c learnt binary clauses : 0 3575.34/3700.03 c learnt ternary clauses : 0 3575.34/3700.03 c learnt constraints : 8125166 3575.34/3700.03 c ignored constraints : 0 3575.34/3700.03 c root simplifications : 0 3575.34/3700.03 c removed literals (reason simplification) : 1278962514 3575.34/3700.03 c reason swapping (by a shorter reason) : 0 3575.34/3700.03 c Calls to reduceDB : 123 3575.34/3700.03 c Number of update (reduction) of LBD : 2310658 3575.34/3700.03 c Imported unit clauses : 0 3575.34/3700.03 c No decision after first conflict : false 3575.34/3700.04 c number of reductions to clauses (during analyze) : 0 3575.34/3700.04 c number of learned constraints concerned by reduction : 0 3575.34/3700.04 c number of learning phase by resolution : 0 3575.34/3700.04 c number of learning phase by cutting planes : 0 3575.34/3700.04 c number of rounding to 1 operations : 0 3575.34/3700.04 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3575.34/3700.04 c number of reductions of the coefficients by power 2 : 0 3575.34/3700.04 c number of right shift for reduction by power 2 : 0 3575.34/3700.04 c number of reductions of the coefficients by GCD over coefficients : 0 3575.34/3700.04 c number of ending skipping : 0 3575.34/3700.04 c number of internal skipping : 0 3575.34/3700.04 c number of derivation steps : 0 3575.34/3700.04 c number of skipped derivation steps : 0 3575.34/3700.04 c number of remaining unassigned : 0 3575.34/3700.04 c number of remaining assigned : 0 3575.34/3700.04 c number of falsified literals weakened from reason : 0 3575.34/3700.04 c number of falsified literals weakened from conflict : 0 3575.34/3700.04 c time for arithmetic operations : 0 3575.34/3700.04 c minimum degree of deleted constraints : null 3575.34/3700.04 c maximum degree of deleted constraints : null 3575.34/3700.04 c number of deleted constraints : 0 3575.34/3700.04 c speed (assignments/second) : 499659.84156203456 3575.34/3700.04 c non guided choices : 0 3575.34/3700.10 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 133056 3575.34/3700.10 s SATISFIABLE 3575.34/3700.10 c Found 1 solution(s) 3575.55/3700.12 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 3575.55/3700.13 c objective function=665 3575.55/3700.13 c Total wall clock time (in seconds): 3699.999
OK 665
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 (37129 MiB free)
memory of node 1: 64465 MiB (46556 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489653-1751365159/watcher-4489653-1751365159 -o /tmp/evaluation-result-4489653-1751365159/solver-4489653-1751365159 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751361483-52530 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4489653-1751365159 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4489653-1751365159.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Current StackSize limit: 8192 KiB
solver pid=52953, runsolver pid=52950
[startup+0.100059 s]*
/proc/loadavg: 4.10 4.12 4.12 6/324 52971
/proc/meminfo: memFree=85667392/131250000 swapFree=33009904/33010684
[pid=52953] ppid=52950 vsize=18930384 memory=55472 CPUtime=0.12 cores=1,3
/proc/52953/stat : 52953 (java) S 52950 52953 52518 0 -1 4194304 6518 0 0 0 10 2 0 0 20 0 18 0 52195357 19384713216 13868 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
/proc/52953/statm: 4732596 13868 5337 1 0 547580 0
[pid=52953/tid=52955] ppid=52950 vsize=18930384 memory=4026532141 CPUtime=0.07 cores=1,3
/proc/52953/task/52955/stat : 52955 (java) R 52950 52953 52518 0 -1 4194368 5023 0 0 0 6 1 0 0 20 0 18 0 52195359 19384713216 13868 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52964] ppid=52950 vsize=18930384 memory=245702607076 CPUtime=0 cores=1,3
/proc/52953/task/52964/stat : 52964 (Finalizer) S 52950 52953 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52195361 19384713216 13868 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52971] ppid=52950 vsize=18930384 memory=20050 CPUtime=0 cores=1,3
/proc/52953/task/52971/stat : 52971 (Common-Cleaner) S 52950 52953 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 52195361 19384713216 13868 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55472 KiB
[startup+0.205908 s]*
/proc/loadavg: 4.10 4.12 4.12 7/324 52971
/proc/meminfo: memFree=85645528/131250000 swapFree=33009904/33010684
[pid=52953] ppid=52950 vsize=18930384 memory=69956 CPUtime=0.31 cores=1,3
/proc/52953/stat : 52953 (java) S 52950 52953 52518 0 -1 4194304 6964 0 0 0 29 2 0 0 20 0 18 0 52195357 19384713216 17489 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
/proc/52953/statm: 4732596 17489 5433 1 0 547867 0
[pid=52953/tid=52955] ppid=52950 vsize=18930384 memory=3472328300254199928 CPUtime=0.16 cores=1,3
/proc/52953/task/52955/stat : 52955 (java) R 52950 52953 52518 0 -1 4194368 5265 0 0 0 15 1 0 0 20 0 18 0 52195359 19384713216 17489 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52964] ppid=52950 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/52953/task/52964/stat : 52964 (Finalizer) S 52950 52953 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52195361 19384713216 17489 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52971] ppid=52950 vsize=18930384 memory=60684515952020 CPUtime=0 cores=1,3
/proc/52953/task/52971/stat : 52971 (Common-Cleaner) S 52950 52953 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 52195361 19384713216 17489 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 69956 KiB
[startup+0.305851 s]*
/proc/loadavg: 4.10 4.12 4.12 6/324 52971
/proc/meminfo: memFree=85617236/131250000 swapFree=33009904/33010684
[pid=52953] ppid=52950 vsize=18930384 memory=100152 CPUtime=0.5 cores=1,3
/proc/52953/stat : 52953 (java) S 52950 52953 52518 0 -1 4194304 9064 0 0 0 47 3 0 0 20 0 18 0 52195357 19384713216 25038 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
/proc/52953/statm: 4732596 25038 5433 1 0 549233 0
[pid=52953/tid=52955] ppid=52950 vsize=18930384 memory=-6000919507065989738 CPUtime=0.25 cores=1,3
/proc/52953/task/52955/stat : 52955 (java) R 52950 52953 52518 0 -1 4194368 5277 0 0 0 23 2 0 0 20 0 18 0 52195359 19384713216 25038 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52964] ppid=52950 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/52953/task/52964/stat : 52964 (Finalizer) S 52950 52953 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52195361 19384713216 25038 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52971] ppid=52950 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/52953/task/52971/stat : 52971 (Common-Cleaner) S 52950 52953 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 52195361 19384713216 25038 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 100152 KiB
[startup+0.700231 s]
/proc/loadavg: 4.10 4.12 4.12 6/325 52972
/proc/meminfo: memFree=85543888/131250000 swapFree=33009904/33010684
[pid=52953] ppid=52950 vsize=18996948 memory=178536 CPUtime=1.26 cores=1,3
/proc/52953/stat : 52953 (java) S 52950 52953 52518 0 -1 4194304 14357 0 0 0 121 5 0 0 20 0 19 0 52195357 19452874752 44634 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
/proc/52953/statm: 4749237 44634 5465 1 0 553102 0
[pid=52953/tid=52955] ppid=52950 vsize=18996948 memory=18432 CPUtime=0.59 cores=1,3
/proc/52953/task/52955/stat : 52955 (java) R 52950 52953 52518 0 -1 4194368 5309 0 0 0 56 3 0 0 20 0 19 0 52195359 19452874752 44634 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52964] ppid=52950 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/52953/task/52964/stat : 52964 (Finalizer) S 52950 52953 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52195361 19452874752 44634 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52971] ppid=52950 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/52953/task/52971/stat : 52971 (Common-Cleaner) S 52950 52953 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 52195361 19452874752 44634 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 178536 KiB
[startup+1.50023 s]
/proc/loadavg: 4.25 4.16 4.13 4/324 52978
/proc/meminfo: memFree=85446664/131250000 swapFree=33009904/33010684
[pid=52953] ppid=52950 vsize=18996948 memory=419820 CPUtime=2.31 cores=1,3
/proc/52953/stat : 52953 (java) S 52950 52953 52518 0 -1 4194304 15375 0 0 0 220 11 0 0 20 0 19 0 52195357 19452874752 104955 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
/proc/52953/statm: 4749237 104955 5465 1 0 1079497 0
[pid=52953/tid=52955] ppid=52950 vsize=18996948 memory=0 CPUtime=1.29 cores=1,3
/proc/52953/task/52955/stat : 52955 (java) R 52950 52953 52518 0 -1 4194368 5407 0 0 0 122 7 0 0 20 0 19 0 52195359 19452874752 104955 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52964] ppid=52950 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/52953/task/52964/stat : 52964 (Finalizer) S 52950 52953 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52195361 19452874752 104955 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52971] ppid=52950 vsize=18996948 memory=16436 CPUtime=0 cores=1,3
/proc/52953/task/52971/stat : 52971 (Common-Cleaner) S 52950 52953 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 52195361 19452874752 104955 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 419820 KiB
[startup+3.10568 s]
/proc/loadavg: 4.25 4.16 4.13 5/322 52985
/proc/meminfo: memFree=85082724/131250000 swapFree=33009904/33010684
[pid=52953] ppid=52950 vsize=19063512 memory=625108 CPUtime=5.41 cores=1,3
/proc/52953/stat : 52953 (java) S 52950 52953 52518 0 -1 4194304 17115 0 0 0 523 18 0 0 20 0 20 0 52195357 19521036288 156277 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
/proc/52953/statm: 4765878 156277 5497 1 0 1681606 0
[pid=52953/tid=52955] ppid=52950 vsize=19063512 memory=10752 CPUtime=2.7 cores=1,3
/proc/52953/task/52955/stat : 52955 (java) R 52950 52953 52518 0 -1 4194368 5662 0 0 0 257 13 0 0 20 0 20 0 52195359 19521036288 156277 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52964] ppid=52950 vsize=19063512 memory=198340509722 CPUtime=0 cores=1,3
/proc/52953/task/52964/stat : 52964 (Finalizer) S 52950 52953 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 156277 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52971] ppid=52950 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/52953/task/52971/stat : 52971 (Common-Cleaner) S 52950 52953 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 156277 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52985] ppid=52950 vsize=19063512 memory=164 CPUtime=0 cores=1,3
/proc/52953/task/52985/stat : 52985 (Timer-0) S 52950 52953 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52195525 19521036288 156277 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
Current children cumulated CPU time: 5.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 625108 KiB
[startup+6.3002 s]
/proc/loadavg: 4.23 4.15 4.13 4/322 52985
/proc/meminfo: memFree=84850084/131250000 swapFree=33009904/33010684
[pid=52953] ppid=52950 vsize=19063512 memory=812908 CPUtime=9.77 cores=1,3
/proc/52953/stat : 52953 (java) S 52950 52953 52518 0 -1 4194304 17554 0 0 0 952 25 0 0 20 0 20 0 52195357 19521036288 203227 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
/proc/52953/statm: 4765878 203227 5497 1 0 1681662 0
[pid=52953/tid=52955] ppid=52950 vsize=19063512 memory=0 CPUtime=5.79 cores=1,3
/proc/52953/task/52955/stat : 52955 (java) R 52950 52953 52518 0 -1 4194368 5833 0 0 0 561 18 0 0 20 0 20 0 52195359 19521036288 203227 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52964] ppid=52950 vsize=19063512 memory=-6000919507065989738 CPUtime=0 cores=1,3
/proc/52953/task/52964/stat : 52964 (Finalizer) S 52950 52953 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 203227 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52971] ppid=52950 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/52953/task/52971/stat : 52971 (Common-Cleaner) S 52950 52953 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 203227 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52985] ppid=52950 vsize=19063512 memory=425984 CPUtime=0 cores=1,3
/proc/52953/task/52985/stat : 52985 (Timer-0) S 52950 52953 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52195525 19521036288 203227 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
Current children cumulated CPU time: 9.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 812908 KiB
[startup+12.7002 s]
/proc/loadavg: 4.29 4.17 4.13 6/346 53023
/proc/meminfo: memFree=94438580/131250000 swapFree=33009904/33010684
[pid=52953] ppid=52950 vsize=19063512 memory=1167432 CPUtime=16.32 cores=1,3
/proc/52953/stat : 52953 (java) S 52950 52953 52518 0 -1 4194304 23899 0 0 0 1597 35 0 0 20 0 20 0 52195357 19521036288 291858 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
/proc/52953/statm: 4765878 291858 5529 1 0 1681663 0
[pid=52953/tid=52955] ppid=52950 vsize=19063512 memory=10752 CPUtime=12.13 cores=1,3
/proc/52953/task/52955/stat : 52955 (java) R 52950 52953 52518 0 -1 4194368 7148 0 0 0 1188 25 0 0 20 0 20 0 52195359 19521036288 291858 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52964] ppid=52950 vsize=19063512 memory=425984 CPUtime=0 cores=1,3
/proc/52953/task/52964/stat : 52964 (Finalizer) S 52950 52953 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 291858 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52971] ppid=52950 vsize=19063512 memory=4480 CPUtime=0 cores=1,3
/proc/52953/task/52971/stat : 52971 (Common-Cleaner) S 52950 52953 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 291858 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52985] ppid=52950 vsize=19063512 memory=1034292 CPUtime=0 cores=1,3
/proc/52953/task/52985/stat : 52985 (Timer-0) S 52950 52953 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52195525 19521036288 291858 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
Current children cumulated CPU time: 16.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1167432 KiB
[startup+25.5002 s]
/proc/loadavg: 4.48 4.21 4.15 5/322 53101
/proc/meminfo: memFree=114790192/131250000 swapFree=33009904/33010684
[pid=52953] ppid=52950 vsize=19063512 memory=1634424 CPUtime=29.09 cores=1,3
/proc/52953/stat : 52953 (java) S 52950 52953 52518 0 -1 4194304 26615 0 0 0 2862 47 0 0 20 0 20 0 52195357 19521036288 408606 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
/proc/52953/statm: 4765878 408606 5529 1 0 1681663 0
[pid=52953/tid=52955] ppid=52950 vsize=19063512 memory=16436 CPUtime=24.89 cores=1,3
/proc/52953/task/52955/stat : 52955 (java) R 52950 52953 52518 0 -1 4194368 8892 0 0 0 2451 38 0 0 20 0 20 0 52195359 19521036288 408606 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52964] ppid=52950 vsize=19063512 memory=1548408 CPUtime=0 cores=1,3
/proc/52953/task/52964/stat : 52964 (Finalizer) S 52950 52953 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 408606 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52971] ppid=52950 vsize=19063512 memory=1458296 CPUtime=0 cores=1,3
/proc/52953/task/52971/stat : 52971 (Common-Cleaner) S 52950 52953 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 408606 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52985] ppid=52950 vsize=19063512 memory=1171576 CPUtime=0 cores=1,3
/proc/52953/task/52985/stat : 52985 (Timer-0) S 52950 52953 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52195525 19521036288 408606 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
Current children cumulated CPU time: 29.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1634424 KiB
[startup+51.1057 s]
/proc/loadavg: 4.35 4.21 4.15 5/345 53157
/proc/meminfo: memFree=121211928/131250000 swapFree=33009904/33010684
[pid=52953] ppid=52950 vsize=19063512 memory=2341016 CPUtime=54.61 cores=1,3
/proc/52953/stat : 52953 (java) S 52950 52953 52518 0 -1 4194304 32962 0 0 0 5396 65 0 0 20 0 20 0 52195357 19521036288 585254 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
/proc/52953/statm: 4765878 585254 5529 1 0 1681666 0
[pid=52953/tid=52955] ppid=52950 vsize=19063512 memory=2115736 CPUtime=50.32 cores=1,3
/proc/52953/task/52955/stat : 52955 (java) R 52950 52953 52518 0 -1 4194368 11174 0 0 0 4977 55 0 0 20 0 20 0 52195359 19521036288 585254 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52964] ppid=52950 vsize=19063512 memory=1167432 CPUtime=0 cores=1,3
/proc/52953/task/52964/stat : 52964 (Finalizer) S 52950 52953 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 585254 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52971] ppid=52950 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/52953/task/52971/stat : 52971 (Common-Cleaner) S 52950 52953 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 585254 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52985] ppid=52950 vsize=19063512 memory=16436 CPUtime=0 cores=1,3
################
# More data... #
################
Current children cumulated memory: 5538428 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/345 53352
/proc/meminfo: memFree=74095496/131250000 swapFree=33009904/33010684
[pid=52953] ppid=52950 vsize=19063512 memory=5581436 CPUtime=3221.05 cores=1,3
/proc/52953/stat : 52953 (java) S 52950 52953 52518 0 -1 4194304 177842 0 0 0 321343 762 0 0 20 0 20 0 52195357 19521036288 1395359 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
/proc/52953/statm: 4765878 1395359 5529 1 0 1681682 0
[pid=52953/tid=52955] ppid=52950 vsize=19063512 memory=18432 CPUtime=3205.68 cores=1,3
/proc/52953/task/52955/stat : 52955 (java) R 52950 52953 52518 0 -1 4194368 96836 0 0 0 319893 675 0 0 20 0 20 0 52195359 19521036288 1395359 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52964] ppid=52950 vsize=19063512 memory=-6000919507065989738 CPUtime=0 cores=1,3
/proc/52953/task/52964/stat : 52964 (Finalizer) S 52950 52953 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 1395359 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52971] ppid=52950 vsize=19063512 memory=5581436 CPUtime=0 cores=1,3
/proc/52953/task/52971/stat : 52971 (Common-Cleaner) S 52950 52953 52518 0 -1 4194368 2133 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 1395359 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52985] ppid=52950 vsize=19063512 memory=5538428 CPUtime=0 cores=1,3
/proc/52953/task/52985/stat : 52985 (Timer-0) S 52950 52953 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52195525 19521036288 1395359 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
Current children cumulated CPU time: 3221.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5581436 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/344 53354
/proc/meminfo: memFree=73485900/131250000 swapFree=33009904/33010684
[pid=52953] ppid=52950 vsize=19063512 memory=5593788 CPUtime=3280.83 cores=1,3
/proc/52953/stat : 52953 (java) S 52950 52953 52518 0 -1 4194304 178427 0 0 0 327311 772 0 0 20 0 20 0 52195357 19521036288 1398447 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
/proc/52953/statm: 4765878 1398447 5529 1 0 1681682 0
[pid=52953/tid=52955] ppid=52950 vsize=19063512 memory=10752 CPUtime=3265.19 cores=1,3
/proc/52953/task/52955/stat : 52955 (java) R 52950 52953 52518 0 -1 4194368 97203 0 0 0 325835 684 0 0 20 0 20 0 52195359 19521036288 1398447 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52964] ppid=52950 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/52953/task/52964/stat : 52964 (Finalizer) S 52950 52953 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 1398447 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52971] ppid=52950 vsize=19063512 memory=5593788 CPUtime=0 cores=1,3
/proc/52953/task/52971/stat : 52971 (Common-Cleaner) S 52950 52953 52518 0 -1 4194368 2170 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 1398447 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52985] ppid=52950 vsize=19063512 memory=-6000919507065989738 CPUtime=0 cores=1,3
/proc/52953/task/52985/stat : 52985 (Timer-0) S 52950 52953 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52195525 19521036288 1398447 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
Current children cumulated CPU time: 3280.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5593788 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/344 53356
/proc/meminfo: memFree=72778184/131250000 swapFree=33009904/33010684
[pid=52953] ppid=52950 vsize=19063512 memory=5628640 CPUtime=3340.56 cores=1,3
/proc/52953/stat : 52953 (java) S 52950 52953 52518 0 -1 4194304 182073 0 0 0 333270 786 0 0 20 0 20 0 52195357 19521036288 1407160 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
/proc/52953/statm: 4765878 1407160 5529 1 0 1681682 0
[pid=52953/tid=52955] ppid=52950 vsize=19063512 memory=10752 CPUtime=3324.72 cores=1,3
/proc/52953/task/52955/stat : 52955 (java) R 52950 52953 52518 0 -1 4194368 99635 0 0 0 331776 696 0 0 20 0 20 0 52195359 19521036288 1407160 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52964] ppid=52950 vsize=19063512 memory=5628640 CPUtime=0 cores=1,3
/proc/52953/task/52964/stat : 52964 (Finalizer) S 52950 52953 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 1407160 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52971] ppid=52950 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/52953/task/52971/stat : 52971 (Common-Cleaner) S 52950 52953 52518 0 -1 4194368 2171 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 1407160 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52985] ppid=52950 vsize=19063512 memory=5504 CPUtime=0 cores=1,3
/proc/52953/task/52985/stat : 52985 (Timer-0) S 52950 52953 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52195525 19521036288 1407160 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
Current children cumulated CPU time: 3340.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5628640 KiB
[startup+3522.3 s]
/proc/loadavg: 4.32 4.20 4.12 5/344 53359
/proc/meminfo: memFree=72170952/131250000 swapFree=33009904/33010684
[pid=52953] ppid=52950 vsize=19063512 memory=5628640 CPUtime=3400.25 cores=1,3
/proc/52953/stat : 52953 (java) S 52950 52953 52518 0 -1 4194304 185479 0 0 0 339228 797 0 0 20 0 20 0 52195357 19521036288 1407160 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
/proc/52953/statm: 4765878 1407160 5529 1 0 1681682 0
[pid=52953/tid=52955] ppid=52950 vsize=19063512 memory=5628640 CPUtime=3384.23 cores=1,3
/proc/52953/task/52955/stat : 52955 (java) R 52950 52953 52518 0 -1 4194368 101700 0 0 0 337716 707 0 0 20 0 20 0 52195359 19521036288 1407160 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52964] ppid=52950 vsize=19063512 memory=5504 CPUtime=0 cores=1,3
/proc/52953/task/52964/stat : 52964 (Finalizer) S 52950 52953 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 1407160 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52971] ppid=52950 vsize=19063512 memory=5628640 CPUtime=0 cores=1,3
/proc/52953/task/52971/stat : 52971 (Common-Cleaner) S 52950 52953 52518 0 -1 4194368 2209 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 1407160 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52985] ppid=52950 vsize=19063512 memory=5628640 CPUtime=0 cores=1,3
/proc/52953/task/52985/stat : 52985 (Timer-0) S 52950 52953 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52195525 19521036288 1407160 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
Current children cumulated CPU time: 3400.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5628640 KiB
[startup+3582.3 s]
/proc/loadavg: 4.44 4.27 4.15 4/345 53362
/proc/meminfo: memFree=71452376/131250000 swapFree=33009904/33010684
[pid=52953] ppid=52950 vsize=19063512 memory=5628640 CPUtime=3457.96 cores=1,3
/proc/52953/stat : 52953 (java) S 52950 52953 52518 0 -1 4194304 186535 0 0 0 344988 808 0 0 20 0 20 0 52195357 19521036288 1407160 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
/proc/52953/statm: 4765878 1407160 5529 1 0 1681682 0
[pid=52953/tid=52955] ppid=52950 vsize=19063512 memory=5628640 CPUtime=3441.74 cores=1,3
/proc/52953/task/52955/stat : 52955 (java) R 52950 52953 52518 0 -1 4194368 102504 0 0 0 343457 717 0 0 20 0 20 0 52195359 19521036288 1407160 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52964] ppid=52950 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/52953/task/52964/stat : 52964 (Finalizer) S 52950 52953 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 1407160 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52971] ppid=52950 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/52953/task/52971/stat : 52971 (Common-Cleaner) S 52950 52953 52518 0 -1 4194368 2246 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 1407160 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52985] ppid=52950 vsize=19063512 memory=16436 CPUtime=0 cores=1,3
/proc/52953/task/52985/stat : 52985 (Timer-0) S 52950 52953 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52195525 19521036288 1407160 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
Current children cumulated CPU time: 3457.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5628640 KiB
[startup+3642.3 s]
/proc/loadavg: 4.19 4.24 4.15 5/345 53365
/proc/meminfo: memFree=70833216/131250000 swapFree=33009904/33010684
[pid=52953] ppid=52950 vsize=19063512 memory=5628640 CPUtime=3517.8 cores=1,3
/proc/52953/stat : 52953 (java) S 52950 52953 52518 0 -1 4194304 189883 0 0 0 350962 818 0 0 20 0 20 0 52195357 19521036288 1407160 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
/proc/52953/statm: 4765878 1407160 5529 1 0 1681682 0
[pid=52953/tid=52955] ppid=52950 vsize=19063512 memory=5628640 CPUtime=3501.34 cores=1,3
/proc/52953/task/52955/stat : 52955 (java) R 52950 52953 52518 0 -1 4194368 104827 0 0 0 349408 726 0 0 20 0 20 0 52195359 19521036288 1407160 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52964] ppid=52950 vsize=19063512 memory=5628640 CPUtime=0 cores=1,3
/proc/52953/task/52964/stat : 52964 (Finalizer) S 52950 52953 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 1407160 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52971] ppid=52950 vsize=19063512 memory=5628640 CPUtime=0 cores=1,3
/proc/52953/task/52971/stat : 52971 (Common-Cleaner) S 52950 52953 52518 0 -1 4194368 2326 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 1407160 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52985] ppid=52950 vsize=19063512 memory=5628640 CPUtime=0 cores=1,3
/proc/52953/task/52985/stat : 52985 (Timer-0) S 52950 52953 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52195525 19521036288 1407160 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
Current children cumulated CPU time: 3517.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5628640 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 4.13 4.21 4.14 5/345 53367
/proc/meminfo: memFree=70211692/131250000 swapFree=33009904/33010684
[pid=52953] ppid=52950 vsize=19063512 memory=5683968 CPUtime=3575.34 cores=1,3
/proc/52953/stat : 52953 (java) S 52950 52953 52518 0 -1 4194304 192883 0 0 0 356703 831 0 0 20 0 20 0 52195357 19521036288 1420992 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
/proc/52953/statm: 4765878 1420992 5529 1 0 1681682 0
[pid=52953/tid=52955] ppid=52950 vsize=19063512 memory=-6000919489920199018 CPUtime=3558.6 cores=1,3
/proc/52953/task/52955/stat : 52955 (java) R 52950 52953 52518 0 -1 4194368 106737 0 0 0 355123 737 0 0 20 0 20 0 52195359 19521036288 1420992 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52964] ppid=52950 vsize=19063512 memory=-4421386504787617890 CPUtime=0 cores=1,3
/proc/52953/task/52964/stat : 52964 (Finalizer) S 52950 52953 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 1420992 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52971] ppid=52950 vsize=19063512 memory=4480 CPUtime=0 cores=1,3
/proc/52953/task/52971/stat : 52971 (Common-Cleaner) S 52950 52953 52518 0 -1 4194368 2329 0 0 0 0 0 0 0 20 0 20 0 52195361 19521036288 1420992 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
[pid=52953/tid=52985] ppid=52950 vsize=19063512 memory=1792 CPUtime=0 cores=1,3
/proc/52953/task/52985/stat : 52985 (Timer-0) S 52950 52953 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52195525 19521036288 1420992 18446744073709551615 93923712663552 93923712667248 140733327011680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93923712675064 93923712675856 93923712684032 140733327014192 140733327014374 140733327014374 140733327019976 0
Current children cumulated CPU time: 3575.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5683968 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3700.37 s]
# the end of solver process 52953 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3567.29 s, system=8.34641 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3700.2 s]*
/proc/loadavg: 4.13 4.21 4.14 4/327 53370
/proc/meminfo: memFree=75862200/131250000 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3700.31 s]
/proc/loadavg: 4.13 4.21 4.14 4/327 53370
/proc/meminfo: memFree=75862200/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): 3700.37
CPU time (s): 3575.64
CPU user time (s): 3567.29
CPU system time (s): 8.34641
CPU usage (%): 96.6292
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 5684992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.29
system time used= 8.34641
maximum resident set size= 5685120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195899
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15139096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112887
involuntary context switches= 8418
# summary of solver processes directly reported to runsolver:
# pid: 52953
# total CPU time (s): 3575.64
# total CPU user time (s): 3567.29
# total CPU system time (s): 8.34641
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.44581 second user time and 18.3277 second system time
The end
Begin job on nodeC033 at 2025-07-01 12:19:19 IDJOB=4489653 IDBENCH=147559 IDSOLVER=3364 FILE ID=nodeC033/4489653-1751365159 RUNJOBID= nodeC033-1751361483-52530 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_11.opb.PB06.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489653-1751365159/watcher-4489653-1751365159 -o /tmp/evaluation-result-4489653-1751365159/solver-4489653-1751365159 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751361483-52530 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4489653-1751365159 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4489653-1751365159.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 37dc22c6a12cddf588c55f8d6ee6d8c2 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 : 3599.794 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.073 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.137 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.253 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.065 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 : 3600.035 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 : 3601.593 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 : 3598.968 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: 85694616 kB MemAvailable: 118898264 kB Buffers: 2128 kB Cached: 33968588 kB SwapCached: 68 kB Active: 11175232 kB Inactive: 33729912 kB Active(anon): 10928028 kB Inactive(anon): 24496 kB Active(file): 247204 kB Inactive(file): 33705416 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 98332 kB Writeback: 0 kB AnonPages: 10927544 kB Mapped: 124688 kB Shmem: 18028 kB KReclaimable: 180532 kB Slab: 273372 kB SReclaimable: 180532 kB SUnreclaim: 92840 kB KernelStack: 4928 kB PageTables: 24920 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 11555504 kB VmallocTotal: 34359738367 kB VmallocUsed: 151272 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 10702848 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:00