Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2025-06-06 | SAT (TO) | 925 | 3600.39 | 3588.29 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb |
| MD5SUM | e06e3866d9960a7084ad077c8fb9619e |
| 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 | 245 |
| Best CPU time to get the best result obtained on this benchmark | 3587.61 |
| 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 | 495457 |
| 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 | 495457 |
| 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.09 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.09/0.10 c version PB25.v20250606 0.09/0.11 c java.runtime.name OpenJDK Runtime Environment 0.09/0.11 c java.vm.name OpenJDK 64-Bit Server VM 0.09/0.11 c java.vm.version 22.0.1+8-16 0.09/0.11 c java.vm.vendor Oracle Corporation 0.09/0.11 c sun.arch.data.model 64 0.09/0.11 c java.version 22.0.1 0.09/0.11 c os.name Linux 0.09/0.11 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.09/0.11 c os.arch amd64 0.09/0.11 c Free memory 2104792832 0.09/0.11 c Max memory 16282288128 0.09/0.11 c Total memory 2113929216 0.09/0.12 c Number of processors 2 0.09/0.16 c Pseudo Boolean Optimization by upper bound 0.09/0.16 c --- Begin Solver configuration --- 0.09/0.16 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.09/0.16 c Learn all clauses as in MiniSAT 0.09/0.16 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.16 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.16 c Expensive reason simplification 0.09/0.16 c Glucose 2.1 dynamic restart strategy 0.09/0.16 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.09/0.16 c timeout=2147483s 0.09/0.16 c DB Simplification allowed=false 0.09/0.16 c Listener: none 0.09/0.16 c --- End Solver configuration --- 0.09/0.16 c solving HOME/instance-4489468-1751341105.opb 0.09/0.16 c reading problem ... 0.09/0.16 c objective function found 2.25/1.59 c ... done. Wall clock time 1.431s. 2.25/1.59 c declared #vars 10000 2.25/1.59 c #constraints 656900 2.25/1.59 c constraints type 2.25/1.59 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 2.25/1.59 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 2.25/1.59 c 656900 constraints processed. 2.41/1.60 c objective function length is 10000 literals 3.20/2.04 c SATISFIABLE 3.20/2.04 c OPTIMIZING... 3.20/2.04 c Got one! Elapsed wall clock time (in seconds):1.881 3.20/2.04 o 1236 3.40/2.16 c Got one! Elapsed wall clock time (in seconds):2.008 3.40/2.16 o 926 4.70/2.83 c Got one! Elapsed wall clock time (in seconds):2.674 4.70/2.83 o 925 5.79/3.78 c cleaning 2799 clauses out of 5629 with flag 8605/5629 7.86/5.64 c cleaning 4408 clauses out of 8831 with flag 26007/11630 10.60/8.28 c cleaning 5691 clauses out of 11422 with flag 48498/18629 13.61/11.25 c cleaning 6849 clauses out of 13731 with flag 75798/26629 16.90/14.53 c cleaning 7930 clauses out of 15882 with flag 107133/35629 20.60/18.24 c cleaning 8972 clauses out of 17952 with flag 138876/45629 24.59/22.22 c cleaning 9982 clauses out of 19980 with flag 173962/56629 29.22/26.87 c cleaning 10992 clauses out of 22002 with flag 213470/68633 34.20/31.85 c cleaning 11996 clauses out of 24006 with flag 254847/81629 39.00/36.67 c cleaning 13001 clauses out of 26011 with flag 300298/95630 44.19/41.89 c cleaning 14003 clauses out of 28013 with flag 346956/110633 50.08/47.72 c cleaning 14994 clauses out of 30006 with flag 397044/126629 56.79/54.42 c cleaning 16000 clauses out of 32016 with flag 457776/143633 63.80/61.48 c cleaning 17000 clauses out of 34013 with flag 523584/161630 71.28/68.98 c cleaning 18004 clauses out of 36014 with flag 590359/180631 78.67/76.39 c cleaning 18998 clauses out of 38008 with flag 655437/200629 86.14/83.88 c cleaning 19993 clauses out of 40010 with flag 724307/221629 94.44/92.14 c cleaning 21007 clauses out of 42017 with flag 796618/243629 103.32/101.02 c cleaning 22005 clauses out of 44010 with flag 873927/266629 112.59/110.32 c cleaning 22997 clauses out of 46006 with flag 954392/290630 122.87/120.50 c cleaning 23993 clauses out of 48012 with flag 1036045/315633 132.65/130.37 c cleaning 25005 clauses out of 50015 with flag 1127730/341629 143.23/140.91 c cleaning 26003 clauses out of 52010 with flag 1208592/368629 154.11/151.82 c cleaning 26994 clauses out of 54008 with flag 1296337/396630 165.58/163.30 c cleaning 27987 clauses out of 56013 with flag 1394576/425629 177.65/175.41 c cleaning 29009 clauses out of 58026 with flag 1506578/455629 189.42/187.22 c cleaning 29992 clauses out of 60018 with flag 1613901/486630 201.90/199.79 c cleaning 31013 clauses out of 62028 with flag 1718897/518632 214.97/212.81 c cleaning 31994 clauses out of 64012 with flag 1838313/551629 228.03/225.89 c cleaning 32998 clauses out of 66018 with flag 1961309/585629 241.60/239.43 c cleaning 33991 clauses out of 68020 with flag 2078693/620629 255.47/253.31 c cleaning 35004 clauses out of 70031 with flag 2202698/656631 269.73/267.65 c cleaning 36006 clauses out of 72025 with flag 2323945/693629 284.60/282.58 c cleaning 37003 clauses out of 74019 with flag 2450208/731629 300.57/298.55 c cleaning 38007 clauses out of 76018 with flag 2593102/770631 316.33/314.24 c cleaning 39002 clauses out of 78009 with flag 2732068/810629 332.78/330.71 c cleaning 39993 clauses out of 80009 with flag 2886167/851631 349.45/347.42 c cleaning 41001 clauses out of 82015 with flag 3039974/893630 366.41/364.47 c cleaning 42006 clauses out of 84014 with flag 3188116/936630 383.27/381.36 c cleaning 42995 clauses out of 86008 with flag 3342126/980630 401.34/399.35 c cleaning 43994 clauses out of 88012 with flag 3496658/1025629 420.50/418.53 c cleaning 45007 clauses out of 90018 with flag 3660242/1071629 439.25/437.34 c cleaning 45994 clauses out of 92014 with flag 3828624/1118632 458.51/456.66 c cleaning 47002 clauses out of 94017 with flag 4000720/1166629 478.97/477.00 c cleaning 47999 clauses out of 96015 with flag 4167819/1215629 498.92/497.09 c cleaning 48997 clauses out of 98016 with flag 4348537/1265629 520.46/518.64 c cleaning 50011 clauses out of 100021 with flag 4530782/1316631 542.22/540.36 c cleaning 50998 clauses out of 102008 with flag 4725318/1368629 565.48/563.65 c cleaning 51993 clauses out of 104010 with flag 4923925/1421629 588.23/586.41 c cleaning 53006 clauses out of 106017 with flag 5105091/1475629 612.70/610.81 c cleaning 54001 clauses out of 108015 with flag 5292353/1530633 637.75/635.97 c cleaning 55005 clauses out of 110010 with flag 5485928/1586629 662.50/660.74 c cleaning 55997 clauses out of 112005 with flag 5684289/1643629 687.16/685.31 c cleaning 56999 clauses out of 114008 with flag 5902780/1701629 712.30/710.52 c cleaning 58001 clauses out of 116009 with flag 6114738/1760629 738.07/736.22 c cleaning 59004 clauses out of 118009 with flag 6329982/1820630 762.21/760.48 c cleaning 59994 clauses out of 120004 with flag 6564444/1881629 790.31/788.47 c cleaning 61003 clauses out of 122010 with flag 6816287/1943629 818.54/816.74 c cleaning 61993 clauses out of 124007 with flag 7058031/2006629 845.42/843.51 c cleaning 63005 clauses out of 126014 with flag 7305446/2070629 873.16/871.36 c cleaning 63993 clauses out of 128011 with flag 7568094/2135631 900.10/898.31 c cleaning 65000 clauses out of 130016 with flag 7816726/2201629 928.86/927.07 c cleaning 65998 clauses out of 132016 with flag 8075298/2268629 957.68/956.00 c cleaning 67004 clauses out of 134018 with flag 8332194/2336629 986.65/984.82 c cleaning 68008 clauses out of 136016 with flag 8583294/2405631 1018.15/1016.24 c cleaning 69004 clauses out of 138007 with flag 8855739/2475630 1048.68/1046.81 c cleaning 69995 clauses out of 140002 with flag 9127448/2546629 1081.35/1079.43 c cleaning 71001 clauses out of 142008 with flag 9398202/2618630 1114.86/1112.89 c cleaning 71995 clauses out of 144007 with flag 9670686/2691630 1145.69/1143.75 c cleaning 73003 clauses out of 146013 with flag 9944588/2765631 1178.84/1176.80 c cleaning 74001 clauses out of 148008 with flag 10224406/2840629 1212.25/1209.43 c cleaning 74995 clauses out of 150007 with flag 10496766/2916629 1247.55/1244.66 c cleaning 75997 clauses out of 152012 with flag 10792699/2993629 1284.26/1281.22 c cleaning 76988 clauses out of 154015 with flag 11070773/3071629 1321.66/1318.54 c cleaning 78009 clauses out of 156027 with flag 11356818/3150629 1357.19/1354.14 c cleaning 79004 clauses out of 158020 with flag 11649864/3230631 1397.30/1394.28 c cleaning 79992 clauses out of 160014 with flag 11950373/3311629 1434.16/1431.09 c cleaning 80993 clauses out of 162022 with flag 12269208/3393629 1471.93/1468.71 c cleaning 81993 clauses out of 164029 with flag 12571629/3476629 1512.22/1508.90 c cleaning 83012 clauses out of 166036 with flag 12882394/3560629 1554.75/1551.45 c cleaning 84013 clauses out of 168025 with flag 13205194/3645630 1592.21/1588.81 c cleaning 84995 clauses out of 170012 with flag 13528497/3731630 1632.75/1629.39 c cleaning 86007 clauses out of 172018 with flag 13869944/3818631 1676.29/1672.89 c cleaning 86986 clauses out of 174009 with flag 14207167/3906629 1717.52/1713.22 c cleaning 88000 clauses out of 176023 with flag 14538350/3995629 1756.15/1751.80 c cleaning 88998 clauses out of 178024 with flag 14873937/4085630 1795.89/1791.44 c cleaning 90003 clauses out of 180026 with flag 15209253/4176630 1837.59/1833.02 c cleaning 91006 clauses out of 182022 with flag 15567531/4268629 1885.42/1880.67 c cleaning 91998 clauses out of 184017 with flag 15937619/4361630 1935.10/1930.13 c cleaning 92994 clauses out of 186018 with flag 16317317/4455629 1978.79/1973.74 c cleaning 94011 clauses out of 188028 with flag 16661393/4550633 2023.08/2017.90 c cleaning 95007 clauses out of 190013 with flag 17005105/4646629 2068.60/2063.42 c cleaning 95996 clauses out of 192006 with flag 17357945/4743629 2120.14/2114.94 c cleaning 97002 clauses out of 194012 with flag 17731625/4841631 2168.75/2162.65 c cleaning 97993 clauses out of 196008 with flag 18141761/4940629 2219.81/2213.62 c cleaning 98997 clauses out of 198015 with flag 18517669/5040629 2271.09/2264.86 c cleaning 99994 clauses out of 200018 with flag 18874471/5141629 2328.31/2321.85 c cleaning 100996 clauses out of 202026 with flag 19277222/5243631 2380.77/2374.28 c cleaning 102013 clauses out of 204030 with flag 19655097/5346631 2431.73/2425.16 c cleaning 102990 clauses out of 206016 with flag 20033990/5450630 2482.66/2475.80 c cleaning 104013 clauses out of 208025 with flag 20409582/5555629 2533.21/2526.36 c cleaning 104992 clauses out of 210014 with flag 20772033/5661631 2586.45/2579.50 c cleaning 106004 clauses out of 212022 with flag 21167030/5768631 2640.42/2633.21 c cleaning 106982 clauses out of 214016 with flag 21553995/5876629 2691.17/2683.70 c cleaning 107996 clauses out of 216034 with flag 21966587/5985629 2745.78/2738.07 c cleaning 109012 clauses out of 218040 with flag 22363550/6095631 2805.74/2796.45 c cleaning 110007 clauses out of 220027 with flag 22802082/6206630 2866.65/2857.27 c cleaning 111002 clauses out of 222019 with flag 23251240/6318629 2921.10/2911.37 c cleaning 112009 clauses out of 224018 with flag 23647223/6431630 2977.31/2967.46 c cleaning 113002 clauses out of 226008 with flag 24063077/6545629 3036.14/3025.98 c cleaning 114004 clauses out of 228007 with flag 24489241/6660630 3092.73/3082.43 c cleaning 115001 clauses out of 230002 with flag 24887695/6776629 3147.93/3137.54 c cleaning 115991 clauses out of 232002 with flag 25296721/6893630 3215.73/3205.06 c cleaning 117002 clauses out of 234011 with flag 25743210/7011630 3277.24/3266.22 c cleaning 118002 clauses out of 236011 with flag 26203655/7130632 3333.80/3322.78 c cleaning 118994 clauses out of 238007 with flag 26632235/7250630 3389.29/3377.91 c cleaning 120002 clauses out of 240013 with flag 27055286/7371630 3443.90/3432.47 c cleaning 120986 clauses out of 242011 with flag 27503568/7493630 3500.96/3489.49 c cleaning 122010 clauses out of 244026 with flag 27943409/7616631 3558.22/3546.41 c cleaning 122994 clauses out of 246014 with flag 28413981/7740629 3600.07/3588.12 c starts : 24 3600.07/3588.13 c conflicts : 7827902 3600.07/3588.13 c decisions : 22692446 3600.07/3588.13 c propagations : 2169252160 3600.07/3588.13 c inspects : 2936011485 3600.07/3588.13 c shortcuts : 0 3600.07/3588.13 c learnt literals : 0 3600.07/3588.13 c learnt binary clauses : 0 3600.07/3588.13 c learnt ternary clauses : 0 3600.07/3588.13 c learnt constraints : 7827902 3600.07/3588.14 c ignored constraints : 0 3600.07/3588.14 c root simplifications : 0 3600.07/3588.14 c removed literals (reason simplification) : 648502833 3600.07/3588.14 c reason swapping (by a shorter reason) : 0 3600.07/3588.14 c Calls to reduceDB : 120 3600.07/3588.14 c Number of update (reduction) of LBD : 2950667 3600.07/3588.14 c Imported unit clauses : 0 3600.07/3588.14 c No decision after first conflict : false 3600.07/3588.14 c number of reductions to clauses (during analyze) : 0 3600.07/3588.14 c number of learned constraints concerned by reduction : 0 3600.07/3588.14 c number of learning phase by resolution : 0 3600.07/3588.14 c number of learning phase by cutting planes : 0 3600.07/3588.14 c number of rounding to 1 operations : 0 3600.07/3588.14 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.07/3588.14 c number of reductions of the coefficients by power 2 : 0 3600.07/3588.14 c number of right shift for reduction by power 2 : 0 3600.07/3588.14 c number of reductions of the coefficients by GCD over coefficients : 0 3600.07/3588.14 c number of ending skipping : 0 3600.07/3588.14 c number of internal skipping : 0 3600.07/3588.14 c number of derivation steps : 0 3600.07/3588.14 c number of skipped derivation steps : 0 3600.07/3588.14 c number of remaining unassigned : 0 3600.07/3588.14 c number of remaining assigned : 0 3600.07/3588.14 c number of falsified literals weakened from reason : 0 3600.07/3588.14 c number of falsified literals weakened from conflict : 0 3600.07/3588.14 c time for arithmetic operations : 0 3600.07/3588.15 c minimum degree of deleted constraints : null 3600.07/3588.15 c maximum degree of deleted constraints : null 3600.07/3588.15 c number of deleted constraints : 0 3600.07/3588.15 c speed (assignments/second) : 604834.8148065534 3600.07/3588.15 c non guided choices : 0 3600.26/3588.21 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 210293 3600.26/3588.21 s SATISFIABLE 3600.26/3588.21 c Found 3 solution(s) 3600.26/3588.23 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 3600.26/3588.25 c objective function=925 3600.26/3588.25 c Total wall clock time (in seconds): 3588.094
OK 925
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: 63665 MiB (62665 MiB free)
memory of node 1: 64507 MiB (62854 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489468-1751341105/watcher-4489468-1751341105 -o /tmp/evaluation-result-4489468-1751341105/solver-4489468-1751341105 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751337595-49172 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4489468-1751341105.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=49730, runsolver pid=49727
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.61 4.31 4.22 6/338 49748
/proc/meminfo: memFree=128497088/131249996 swapFree=33010416/33010684
[pid=49730] ppid=49727 vsize=18930384 memory=51884 CPUtime=0.09 cores=4,6
/proc/49730/stat : 49730 (java) S 49727 49730 49161 0 -1 4194304 6143 0 0 0 7 2 0 0 20 0 18 0 49788291 19384713216 12971 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
/proc/49730/statm: 4732596 12971 5340 1 0 547260 0
[pid=49730/tid=49732] ppid=49727 vsize=18930384 memory=4026531960 CPUtime=0.05 cores=4,6
/proc/49730/task/49732/stat : 49732 (java) R 49727 49730 49161 0 -1 4194368 4943 0 0 0 4 1 0 0 20 0 18 0 49788293 19384713216 12971 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49741] ppid=49727 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/49730/task/49741/stat : 49741 (Finalizer) S 49727 49730 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49788295 19384713216 12971 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49748] ppid=49727 vsize=18930384 memory=60684515966010 CPUtime=0 cores=4,6
/proc/49730/task/49748/stat : 49748 (Common-Cleaner) S 49727 49730 49161 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 49788295 19384713216 12971 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51884 KiB
[startup+0.205813 s]*
/proc/loadavg: 4.61 4.31 4.22 7/338 49748
/proc/meminfo: memFree=128450016/131249996 swapFree=33010416/33010684
[pid=49730] ppid=49727 vsize=18930384 memory=67780 CPUtime=0.28 cores=4,6
/proc/49730/stat : 49730 (java) S 49727 49730 49161 0 -1 4194304 6932 0 0 0 25 3 0 0 20 0 18 0 49788291 19384713216 16945 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
/proc/49730/statm: 4732596 16945 5436 1 0 547856 0
[pid=49730/tid=49732] ppid=49727 vsize=18930384 memory=4026663196 CPUtime=0.15 cores=4,6
/proc/49730/task/49732/stat : 49732 (java) R 49727 49730 49161 0 -1 4194368 5223 0 0 0 13 2 0 0 20 0 18 0 49788293 19384713216 16945 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49741] ppid=49727 vsize=18930384 memory=16880 CPUtime=0 cores=4,6
/proc/49730/task/49741/stat : 49741 (Finalizer) S 49727 49730 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49788295 19384713216 16945 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49748] ppid=49727 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/49730/task/49748/stat : 49748 (Common-Cleaner) S 49727 49730 49161 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 49788295 19384713216 16945 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 67780 KiB
[startup+0.305769 s]*
/proc/loadavg: 4.61 4.31 4.22 6/338 49748
/proc/meminfo: memFree=128408616/131249996 swapFree=33010416/33010684
[pid=49730] ppid=49727 vsize=18930384 memory=104128 CPUtime=0.47 cores=4,6
/proc/49730/stat : 49730 (java) S 49727 49730 49161 0 -1 4194304 9026 0 0 0 42 5 0 0 20 0 18 0 49788291 19384713216 26032 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
/proc/49730/statm: 4732596 26032 5436 1 0 549210 0
[pid=49730/tid=49732] ppid=49727 vsize=18930384 memory=-6000919477051679595 CPUtime=0.23 cores=4,6
/proc/49730/task/49732/stat : 49732 (java) R 49727 49730 49161 0 -1 4194368 5261 0 0 0 20 3 0 0 20 0 18 0 49788293 19384713216 26032 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49741] ppid=49727 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/49730/task/49741/stat : 49741 (Finalizer) S 49727 49730 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49788295 19384713216 26032 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49748] ppid=49727 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/49730/task/49748/stat : 49748 (Common-Cleaner) S 49727 49730 49161 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 49788295 19384713216 26032 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 104128 KiB
[startup+0.700209 s]
/proc/loadavg: 4.61 4.31 4.22 7/339 49749
/proc/meminfo: memFree=128334888/131249996 swapFree=33010416/33010684
[pid=49730] ppid=49727 vsize=18996948 memory=179052 CPUtime=1.21 cores=4,6
/proc/49730/stat : 49730 (java) S 49727 49730 49161 0 -1 4194304 11955 0 0 0 115 6 0 0 20 0 19 0 49788291 19452874752 44763 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
/proc/49730/statm: 4749237 44763 5468 1 0 551137 0
[pid=49730/tid=49732] ppid=49727 vsize=18996948 memory=17792 CPUtime=0.57 cores=4,6
/proc/49730/task/49732/stat : 49732 (java) R 49727 49730 49161 0 -1 4194368 5290 0 0 0 53 4 0 0 20 0 19 0 49788293 19452874752 44763 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49741] ppid=49727 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/49730/task/49741/stat : 49741 (Finalizer) S 49727 49730 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49788295 19452874752 44763 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49748] ppid=49727 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/49730/task/49748/stat : 49748 (Common-Cleaner) S 49727 49730 49161 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 49788295 19452874752 44763 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 179052 KiB
[startup+1.50021 s]
/proc/loadavg: 4.61 4.31 4.22 5/339 49749
/proc/meminfo: memFree=128031772/131249996 swapFree=33010416/33010684
[pid=49730] ppid=49727 vsize=18996948 memory=411332 CPUtime=2.25 cores=4,6
/proc/49730/stat : 49730 (java) S 49727 49730 49161 0 -1 4194304 13273 0 0 0 214 11 0 0 20 0 19 0 49788291 19452874752 102833 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
/proc/49730/statm: 4749237 102833 5468 1 0 1077862 0
[pid=49730/tid=49732] ppid=49727 vsize=18996948 memory=3328 CPUtime=1.26 cores=4,6
/proc/49730/task/49732/stat : 49732 (java) R 49727 49730 49161 0 -1 4194368 5386 0 0 0 119 7 0 0 20 0 19 0 49788293 19452874752 102833 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49741] ppid=49727 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/49730/task/49741/stat : 49741 (Finalizer) S 49727 49730 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49788295 19452874752 102833 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49748] ppid=49727 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/49730/task/49748/stat : 49748 (Common-Cleaner) S 49727 49730 49161 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 49788295 19452874752 102833 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
Current children cumulated CPU time: 2.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 411332 KiB
[startup+3.10551 s]
/proc/loadavg: 4.64 4.33 4.23 5/340 49750
/proc/meminfo: memFree=127587152/131249996 swapFree=33010416/33010684
[pid=49730] ppid=49727 vsize=19063512 memory=435876 CPUtime=5.08 cores=4,6
/proc/49730/stat : 49730 (java) S 49727 49730 49161 0 -1 4194304 14308 0 0 0 496 12 0 0 20 0 20 0 49788291 19521036288 108969 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
/proc/49730/statm: 4765878 108969 5500 1 0 1078780 0
[pid=49730/tid=49732] ppid=49727 vsize=19063512 memory=10752 CPUtime=2.78 cores=4,6
/proc/49730/task/49732/stat : 49732 (java) R 49727 49730 49161 0 -1 4194368 5545 0 0 0 270 8 0 0 20 0 20 0 49788293 19521036288 108969 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49741] ppid=49727 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/49730/task/49741/stat : 49741 (Finalizer) S 49727 49730 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 108969 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49748] ppid=49727 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/49730/task/49748/stat : 49748 (Common-Cleaner) S 49727 49730 49161 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 108969 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49750] ppid=49727 vsize=19063512 memory=4380 CPUtime=0 cores=4,6
/proc/49730/task/49750/stat : 49750 (Timer-0) S 49727 49730 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49788452 19521036288 108969 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
Current children cumulated CPU time: 5.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 435876 KiB
[startup+6.30017 s]
/proc/loadavg: 4.64 4.33 4.23 5/340 49750
/proc/meminfo: memFree=127106132/131249996 swapFree=33010416/33010684
[pid=49730] ppid=49727 vsize=19063512 memory=436516 CPUtime=8.71 cores=4,6
/proc/49730/stat : 49730 (java) S 49727 49730 49161 0 -1 4194304 19013 0 0 0 858 13 0 0 20 0 20 0 49788291 19521036288 109129 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
/proc/49730/statm: 4765878 109129 5500 1 0 1078816 0
[pid=49730/tid=49732] ppid=49727 vsize=19063512 memory=0 CPUtime=5.96 cores=4,6
/proc/49730/task/49732/stat : 49732 (java) R 49727 49730 49161 0 -1 4194368 6296 0 0 0 588 8 0 0 20 0 20 0 49788293 19521036288 109129 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49741] ppid=49727 vsize=19063512 memory=7100839887185286273 CPUtime=0 cores=4,6
/proc/49730/task/49741/stat : 49741 (Finalizer) S 49727 49730 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 109129 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49748] ppid=49727 vsize=19063512 memory=-6000919477051679595 CPUtime=0 cores=4,6
/proc/49730/task/49748/stat : 49748 (Common-Cleaner) S 49727 49730 49161 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 109129 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49750] ppid=49727 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/49730/task/49750/stat : 49750 (Timer-0) S 49727 49730 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49788452 19521036288 109129 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
Current children cumulated CPU time: 8.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 436516 KiB
[startup+12.7002 s]
/proc/loadavg: 4.63 4.33 4.23 5/340 49750
/proc/meminfo: memFree=126048112/131249996 swapFree=33010416/33010684
[pid=49730] ppid=49727 vsize=19063512 memory=436644 CPUtime=15.11 cores=4,6
/proc/49730/stat : 49730 (java) S 49727 49730 49161 0 -1 4194304 20126 0 0 0 1498 13 0 0 20 0 20 0 49788291 19521036288 109161 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
/proc/49730/statm: 4765878 109161 5532 1 0 1078816 0
[pid=49730/tid=49732] ppid=49727 vsize=19063512 memory=0 CPUtime=12.34 cores=4,6
/proc/49730/task/49732/stat : 49732 (java) R 49727 49730 49161 0 -1 4194368 6980 0 0 0 1226 8 0 0 20 0 20 0 49788293 19521036288 109161 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49741] ppid=49727 vsize=19063512 memory=436644 CPUtime=0 cores=4,6
/proc/49730/task/49741/stat : 49741 (Finalizer) S 49727 49730 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 109161 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49748] ppid=49727 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/49730/task/49748/stat : 49748 (Common-Cleaner) S 49727 49730 49161 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 109161 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49750] ppid=49727 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/49730/task/49750/stat : 49750 (Timer-0) S 49727 49730 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49788452 19521036288 109161 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
Current children cumulated CPU time: 15.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 436644 KiB
[startup+25.5002 s]
/proc/loadavg: 4.53 4.32 4.23 5/340 49750
/proc/meminfo: memFree=124448152/131249996 swapFree=33010416/33010684
[pid=49730] ppid=49727 vsize=19063512 memory=436644 CPUtime=27.88 cores=4,6
/proc/49730/stat : 49730 (java) S 49727 49730 49161 0 -1 4194304 20903 0 0 0 2775 13 0 0 20 0 20 0 49788291 19521036288 109161 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
/proc/49730/statm: 4765878 109161 5532 1 0 1078816 0
[pid=49730/tid=49732] ppid=49727 vsize=19063512 memory=-6000919477051679595 CPUtime=25.1 cores=4,6
/proc/49730/task/49732/stat : 49732 (java) R 49727 49730 49161 0 -1 4194368 7685 0 0 0 2502 8 0 0 20 0 20 0 49788293 19521036288 109161 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49741] ppid=49727 vsize=19063512 memory=3027 CPUtime=0 cores=4,6
/proc/49730/task/49741/stat : 49741 (Finalizer) S 49727 49730 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 109161 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49748] ppid=49727 vsize=19063512 memory=436644 CPUtime=0 cores=4,6
/proc/49730/task/49748/stat : 49748 (Common-Cleaner) S 49727 49730 49161 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 109161 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49750] ppid=49727 vsize=19063512 memory=436644 CPUtime=0 cores=4,6
/proc/49730/task/49750/stat : 49750 (Timer-0) S 49727 49730 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49788452 19521036288 109161 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
Current children cumulated CPU time: 27.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 436644 KiB
[startup+51.1055 s]
/proc/loadavg: 4.35 4.29 4.22 5/340 49751
/proc/meminfo: memFree=122293792/131249996 swapFree=33010416/33010684
[pid=49730] ppid=49727 vsize=19063512 memory=587620 CPUtime=53.5 cores=4,6
/proc/49730/stat : 49730 (java) S 49727 49730 49161 0 -1 4194304 25785 0 0 0 5333 17 0 0 20 0 20 0 49788291 19521036288 146905 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
/proc/49730/statm: 4765878 146905 5532 1 0 1661609 0
[pid=49730/tid=49732] ppid=49727 vsize=19063512 memory=579428 CPUtime=50.54 cores=4,6
/proc/49730/task/49732/stat : 49732 (java) R 49727 49730 49161 0 -1 4194368 8343 0 0 0 5045 9 0 0 20 0 20 0 49788293 19521036288 146905 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49741] ppid=49727 vsize=19063512 memory=-6000919477051679595 CPUtime=0 cores=4,6
/proc/49730/task/49741/stat : 49741 (Finalizer) S 49727 49730 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 146905 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49748] ppid=49727 vsize=19063512 memory=538468 CPUtime=0 cores=4,6
/proc/49730/task/49748/stat : 49748 (Common-Cleaner) S 49727 49730 49161 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 146905 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49750] ppid=49727 vsize=19063512 memory=436644 CPUtime=0 cores=4,6
/proc/49730/task/49750/stat : 49750 (Timer-0) S 49727 49730 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49788452 19521036288 146905 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.07 4.12 4.15 5/340 49917
/proc/meminfo: memFree=87084824/131249996 swapFree=33010416/33010684
[pid=49730] ppid=49727 vsize=19063512 memory=6574888 CPUtime=3293.29 cores=4,6
/proc/49730/stat : 49730 (java) S 49727 49730 49161 0 -1 4194304 139178 0 0 0 329122 207 0 0 20 0 20 0 49788291 19521036288 1643722 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
/proc/49730/statm: 4765878 1643722 5564 1 0 2148005 0
[pid=49730/tid=49732] ppid=49727 vsize=19063512 memory=14384 CPUtime=3260.62 cores=4,6
/proc/49730/task/49732/stat : 49732 (java) R 49727 49730 49161 0 -1 4194368 59813 0 0 0 326027 35 0 0 20 0 20 0 49788293 19521036288 1643722 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49741] ppid=49727 vsize=19063512 memory=6574888 CPUtime=0 cores=4,6
/proc/49730/task/49741/stat : 49741 (Finalizer) S 49727 49730 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 1643722 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49748] ppid=49727 vsize=19063512 memory=17792 CPUtime=0 cores=4,6
/proc/49730/task/49748/stat : 49748 (Common-Cleaner) S 49727 49730 49161 0 -1 4194368 2152 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 1643722 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49750] ppid=49727 vsize=19063512 memory=6568708 CPUtime=0 cores=4,6
/proc/49730/task/49750/stat : 49750 (Timer-0) S 49727 49730 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49788452 19521036288 1643722 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
Current children cumulated CPU time: 3293.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6574888 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.14 4.15 5/340 49923
/proc/meminfo: memFree=87084272/131249996 swapFree=33010416/33010684
[pid=49730] ppid=49727 vsize=19063512 memory=6574888 CPUtime=3353.51 cores=4,6
/proc/49730/stat : 49730 (java) S 49727 49730 49161 0 -1 4194304 142202 0 0 0 335142 209 0 0 20 0 20 0 49788291 19521036288 1643722 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
/proc/49730/statm: 4765878 1643722 5564 1 0 2148005 0
[pid=49730/tid=49732] ppid=49727 vsize=19063512 memory=6574888 CPUtime=3320.1 cores=4,6
/proc/49730/task/49732/stat : 49732 (java) R 49727 49730 49161 0 -1 4194368 61692 0 0 0 331975 35 0 0 20 0 20 0 49788293 19521036288 1643722 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49741] ppid=49727 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/49730/task/49741/stat : 49741 (Finalizer) S 49727 49730 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 1643722 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49748] ppid=49727 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/49730/task/49748/stat : 49748 (Common-Cleaner) S 49727 49730 49161 0 -1 4194368 2277 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 1643722 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49750] ppid=49727 vsize=19063512 memory=6574888 CPUtime=0 cores=4,6
/proc/49730/task/49750/stat : 49750 (Timer-0) S 49727 49730 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49788452 19521036288 1643722 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
Current children cumulated CPU time: 3353.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6574888 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/340 49925
/proc/meminfo: memFree=87080328/131249996 swapFree=33010416/33010684
[pid=49730] ppid=49727 vsize=19063512 memory=6574888 CPUtime=3413.64 cores=4,6
/proc/49730/stat : 49730 (java) S 49727 49730 49161 0 -1 4194304 143947 0 0 0 341153 211 0 0 20 0 20 0 49788291 19521036288 1643722 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
/proc/49730/statm: 4765878 1643722 5564 1 0 2148005 0
[pid=49730/tid=49732] ppid=49727 vsize=19063512 memory=6574888 CPUtime=3379.68 cores=4,6
/proc/49730/task/49732/stat : 49732 (java) R 49727 49730 49161 0 -1 4194368 63231 0 0 0 337932 36 0 0 20 0 20 0 49788293 19521036288 1643722 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49741] ppid=49727 vsize=19063512 memory=6568708 CPUtime=0 cores=4,6
/proc/49730/task/49741/stat : 49741 (Finalizer) S 49727 49730 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 1643722 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49748] ppid=49727 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/49730/task/49748/stat : 49748 (Common-Cleaner) S 49727 49730 49161 0 -1 4194368 2277 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 1643722 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49750] ppid=49727 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/49730/task/49750/stat : 49750 (Timer-0) S 49727 49730 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49788452 19521036288 1643722 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
Current children cumulated CPU time: 3413.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6574888 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.15 5/340 49927
/proc/meminfo: memFree=86760712/131249996 swapFree=33010416/33010684
[pid=49730] ppid=49727 vsize=19063512 memory=6890304 CPUtime=3473.92 cores=4,6
/proc/49730/stat : 49730 (java) S 49727 49730 49161 0 -1 4194304 146520 0 0 0 347172 220 0 0 20 0 20 0 49788291 19521036288 1722576 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
/proc/49730/statm: 4765878 1722576 5564 1 0 2148005 0
[pid=49730/tid=49732] ppid=49727 vsize=19063512 memory=6574888 CPUtime=3439.11 cores=4,6
/proc/49730/task/49732/stat : 49732 (java) R 49727 49730 49161 0 -1 4194368 64766 0 0 0 343874 37 0 0 20 0 20 0 49788293 19521036288 1722576 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49741] ppid=49727 vsize=19063512 memory=6568708 CPUtime=0 cores=4,6
/proc/49730/task/49741/stat : 49741 (Finalizer) S 49727 49730 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 1722576 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49748] ppid=49727 vsize=19063512 memory=-6000919477051679595 CPUtime=0 cores=4,6
/proc/49730/task/49748/stat : 49748 (Common-Cleaner) S 49727 49730 49161 0 -1 4194368 2320 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 1722576 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49750] ppid=49727 vsize=19063512 memory=6890304 CPUtime=0 cores=4,6
/proc/49730/task/49750/stat : 49750 (Timer-0) S 49727 49730 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49788452 19521036288 1722576 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
Current children cumulated CPU time: 3473.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6890304 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.15 4.15 5/339 49929
/proc/meminfo: memFree=86637952/131249996 swapFree=33010416/33010684
[pid=49730] ppid=49727 vsize=19063512 memory=7015232 CPUtime=3533.91 cores=4,6
/proc/49730/stat : 49730 (java) S 49727 49730 49161 0 -1 4194304 149755 0 0 0 353167 224 0 0 20 0 20 0 49788291 19521036288 1753808 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
/proc/49730/statm: 4765878 1753808 5564 1 0 2148005 0
[pid=49730/tid=49732] ppid=49727 vsize=19063512 memory=6890304 CPUtime=3498.81 cores=4,6
/proc/49730/task/49732/stat : 49732 (java) R 49727 49730 49161 0 -1 4194368 67119 0 0 0 349844 37 0 0 20 0 20 0 49788293 19521036288 1753808 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49741] ppid=49727 vsize=19063512 memory=7015232 CPUtime=0 cores=4,6
/proc/49730/task/49741/stat : 49741 (Finalizer) S 49727 49730 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 1753808 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49748] ppid=49727 vsize=19063512 memory=17792 CPUtime=0 cores=4,6
/proc/49730/task/49748/stat : 49748 (Common-Cleaner) S 49727 49730 49161 0 -1 4194368 2363 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 1753808 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49750] ppid=49727 vsize=19063512 memory=7015232 CPUtime=0 cores=4,6
/proc/49730/task/49750/stat : 49750 (Timer-0) S 49727 49730 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49788452 19521036288 1753808 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
Current children cumulated CPU time: 3533.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7015232 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.15 4.15 5/340 50132
/proc/meminfo: memFree=119886576/131249996 swapFree=33010416/33010684
[pid=49730] ppid=49727 vsize=19063512 memory=7097152 CPUtime=3594.04 cores=4,6
/proc/49730/stat : 49730 (java) S 49727 49730 49161 0 -1 4194304 151380 0 0 0 359176 228 0 0 20 0 20 0 49788291 19521036288 1774288 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
/proc/49730/statm: 4765878 1774288 5564 1 0 2148005 0
[pid=49730/tid=49732] ppid=49727 vsize=19063512 memory=7015232 CPUtime=3558.38 cores=4,6
/proc/49730/task/49732/stat : 49732 (java) R 49727 49730 49161 0 -1 4194368 68420 0 0 0 355799 39 0 0 20 0 20 0 49788293 19521036288 1774288 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49741] ppid=49727 vsize=19063512 memory=1920 CPUtime=0 cores=4,6
/proc/49730/task/49741/stat : 49741 (Finalizer) S 49727 49730 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 1774288 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49748] ppid=49727 vsize=19063512 memory=19712 CPUtime=0 cores=4,6
/proc/49730/task/49748/stat : 49748 (Common-Cleaner) S 49727 49730 49161 0 -1 4194368 2481 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 1774288 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49750] ppid=49727 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/49730/task/49750/stat : 49750 (Timer-0) S 49727 49730 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49788452 19521036288 1774288 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
Current children cumulated CPU time: 3594.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7097152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3588.11 s]
/proc/loadavg: 4.29 4.18 4.16 5/340 50132
/proc/meminfo: memFree=119591672/131249996 swapFree=33010416/33010684
[pid=49730] ppid=49727 vsize=19063512 memory=7213892 CPUtime=3600.07 cores=4,6
/proc/49730/stat : 49730 (java) S 49727 49730 49161 0 -1 4194304 152342 0 0 0 359776 231 0 0 20 0 20 0 49788291 19521036288 1803473 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
/proc/49730/statm: 4765878 1803473 5564 1 0 2148005 0
[pid=49730/tid=49732] ppid=49727 vsize=19063512 memory=1920 CPUtime=3563.94 cores=4,6
/proc/49730/task/49732/stat : 49732 (java) R 49727 49730 49161 0 -1 4194368 68538 0 0 0 356355 39 0 0 20 0 20 0 49788293 19521036288 1803473 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49741] ppid=49727 vsize=19063512 memory=7097152 CPUtime=0 cores=4,6
/proc/49730/task/49741/stat : 49741 (Finalizer) S 49727 49730 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 1803473 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49748] ppid=49727 vsize=19063512 memory=7097152 CPUtime=0 cores=4,6
/proc/49730/task/49748/stat : 49748 (Common-Cleaner) S 49727 49730 49161 0 -1 4194368 2481 0 0 0 0 0 0 0 20 0 20 0 49788295 19521036288 1803473 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49750] ppid=49727 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/49730/task/49750/stat : 49750 (Timer-0) S 49727 49730 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49788452 19521036288 1803473 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7213892 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3588.29 s]
# the end of solver process 49730 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.05 s, system=2.33717 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3588.21 s]
/proc/loadavg: 4.29 4.18 4.16 5/340 50132
/proc/meminfo: memFree=119591672/131249996 swapFree=33010416/33010684
[pid=49730] ppid=49727 vsize=19263204 memory=7214532 CPUtime=3600.26 cores=4,6
/proc/49730/stat : 49730 (java) S 49727 49730 49161 0 -1 4194304 154522 0 0 0 359795 231 0 0 20 0 21 0 49788291 19725520896 1803633 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
/proc/49730/statm: 4815801 1803633 5564 1 0 2148942 0
[pid=49730/tid=49732] ppid=49727 vsize=19263204 memory=2760 CPUtime=3564.03 cores=4,6
/proc/49730/task/49732/stat : 49732 (java) R 49727 49730 49161 0 -1 4194368 68661 0 0 0 356364 39 0 0 20 0 21 0 49788293 19725520896 1803633 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49741] ppid=49727 vsize=19263204 memory=19712 CPUtime=0 cores=4,6
/proc/49730/task/49741/stat : 49741 (Finalizer) S 49727 49730 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49788295 19725520896 1803633 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
[pid=49730/tid=49748] ppid=49727 vsize=19263204 memory=4352 CPUtime=0 cores=4,6
/proc/49730/task/49748/stat : 49748 (Common-Cleaner) S 49727 49730 49161 0 -1 4194368 2481 0 0 0 0 0 0 0 20 0 21 0 49788295 19725520896 1803633 18446744073709551615 94907269574656 94907269578352 140725990538416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94907269586168 94907269586960 94907270189056 140725990545793 140725990545894 140725990545894 140725990551496 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 7214532 KiB
Child status: 143
Real time (s): 3588.29
CPU time (s): 3600.39
CPU user time (s): 3598.05
CPU system time (s): 2.33717
CPU usage (%): 100.337
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 7214532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.05
system time used= 2.33717
maximum resident set size= 7214660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154876
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120414
involuntary context switches= 4472
# summary of solver processes directly reported to runsolver:
# pid: 49730
# total CPU time (s): 3600.39
# total CPU user time (s): 3598.05
# total CPU system time (s): 2.33717
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.39198 second user time and 17.0988 second system time
The end
Begin job on nodeC022 at 2025-07-01 05:38:25 IDJOB=4489468 IDBENCH=147551 IDSOLVER=3363 FILE ID=nodeC022/4489468-1751341105 RUNJOBID= nodeC022-1751337595-49172 SLURM_JOB_ID= 9594391 Free space on /tmp= 433044 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489468-1751341105/watcher-4489468-1751341105 -o /tmp/evaluation-result-4489468-1751341105/solver-4489468-1751341105 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751337595-49172 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4489468-1751341105.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e06e3866d9960a7084ad077c8fb9619e RANDOM SEED=919681304 nodeC022 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.711 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 : 6999.44 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 : 3599.717 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 : 6999.44 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 : 3550.226 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 : 6999.44 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 : 3599.788 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 : 6999.44 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 : 3599.951 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.714 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 : 6999.44 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 : 3583.598 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 128532624 kB MemAvailable: 128277908 kB Buffers: 2128 kB Cached: 548676 kB SwapCached: 32 kB Active: 1903936 kB Inactive: 222864 kB Active(anon): 1589828 kB Inactive(anon): 4196 kB Active(file): 314108 kB Inactive(file): 218668 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 20752 kB Writeback: 0 kB AnonPages: 1579128 kB Mapped: 122496 kB Shmem: 18028 kB KReclaimable: 103096 kB Slab: 190864 kB SReclaimable: 103096 kB SUnreclaim: 87768 kB KernelStack: 5184 kB PageTables: 6724 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 8034852 kB VmallocTotal: 34359738367 kB VmallocUsed: 151384 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1390592 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432932 MiB End job on nodeC022 at 2025-07-01 06:38:14