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) | 26 | 3600.38 | 3605.16 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb |
| MD5SUM | a7d8f923a6cdb36d5c6f2d05cbd48ec7 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 19 |
| Best CPU time to get the best result obtained on this benchmark | 57.5933 |
| 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 | 8901 |
| Total number of constraints | 32298 |
| Number of constraints which are clauses | 32280 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 17 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 790 |
| Number of terms in the objective function | 790 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 790 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 820 |
| Number of bits of the biggest sum of numbers | 10 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB25.v20250606 0.10/0.10 c java.runtime.name OpenJDK Runtime Environment 0.10/0.10 c java.vm.name OpenJDK 64-Bit Server VM 0.10/0.10 c java.vm.version 22.0.1+8-16 0.10/0.10 c java.vm.vendor Oracle Corporation 0.10/0.10 c sun.arch.data.model 64 0.10/0.10 c java.version 22.0.1 0.10/0.10 c os.name Linux 0.10/0.10 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.10/0.10 c os.arch amd64 0.10/0.11 c Free memory 2104792832 0.10/0.11 c Max memory 16282288128 0.10/0.11 c Total memory 2113929216 0.10/0.11 c Number of processors 2 0.10/0.15 c Pseudo Boolean Optimization by upper bound 0.10/0.15 c --- Begin Solver configuration --- 0.10/0.15 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.10/0.15 c Learn all clauses as in MiniSAT 0.10/0.15 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.15 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.15 c Expensive reason simplification 0.10/0.15 c Glucose 2.1 dynamic restart strategy 0.10/0.15 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.10/0.15 c timeout=2147483s 0.10/0.15 c DB Simplification allowed=false 0.10/0.15 c Listener: none 0.10/0.15 c --- End Solver configuration --- 0.10/0.15 c solving HOME/instance-4497798-1751390549.opb 0.10/0.15 c reading problem ... 0.10/0.16 c objective function found 0.47/0.39 c ... done. Wall clock time 0.232s. 0.47/0.39 c declared #vars 8901 0.47/0.39 c #constraints 32298 0.47/0.39 c constraints type 0.47/0.39 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 24193 0.47/0.39 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 0.47/0.39 c org.sat4j.pb.constraints.pb.UnitClausePB => 5 0.47/0.39 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8099 0.47/0.39 c 32298 constraints processed. 0.66/0.41 c objective function length is 790 literals 0.66/0.46 c SATISFIABLE 0.66/0.46 c OPTIMIZING... 0.66/0.46 c Got one! Elapsed wall clock time (in seconds):0.304 0.66/0.46 o 27 0.66/0.48 c Got one! Elapsed wall clock time (in seconds):0.324 0.66/0.48 o 26 3.58/2.44 c cleaning 2504 clauses out of 5010 with flag 49920/5010 5.61/4.30 c cleaning 4175 clauses out of 8506 with flag 109279/11010 7.97/6.59 c cleaning 5613 clauses out of 11331 with flag 209848/18010 10.83/9.34 c cleaning 6841 clauses out of 13718 with flag 323427/26010 13.64/12.17 c cleaning 7923 clauses out of 15877 with flag 430758/35010 16.83/15.36 c cleaning 8922 clauses out of 17954 with flag 557986/45010 19.73/18.29 c cleaning 9970 clauses out of 20032 with flag 681557/56010 22.92/21.46 c cleaning 10996 clauses out of 22062 with flag 811119/68010 26.01/24.58 c cleaning 12022 clauses out of 24066 with flag 975485/81010 29.11/27.60 c cleaning 12990 clauses out of 26044 with flag 1084569/95010 32.61/31.11 c cleaning 14021 clauses out of 28054 with flag 1308386/110010 36.59/35.16 c cleaning 14997 clauses out of 30033 with flag 1520171/126010 40.51/39.10 c cleaning 15992 clauses out of 32036 with flag 1748663/143010 45.32/43.85 c cleaning 16956 clauses out of 34044 with flag 2000893/161010 50.30/48.87 c cleaning 18003 clauses out of 36088 with flag 2210676/180010 55.39/53.95 c cleaning 18999 clauses out of 38085 with flag 2482795/200010 60.58/59.18 c cleaning 19947 clauses out of 40086 with flag 2725346/221010 65.67/64.27 c cleaning 20980 clauses out of 42139 with flag 2996018/243010 71.95/70.55 c cleaning 22020 clauses out of 44159 with flag 3388543/266010 78.63/77.24 c cleaning 22990 clauses out of 46139 with flag 3692542/290010 85.32/83.96 c cleaning 24041 clauses out of 48149 with flag 3981838/315010 92.70/91.38 c cleaning 25044 clauses out of 50108 with flag 4288129/341010 100.48/99.12 c cleaning 26026 clauses out of 52064 with flag 4664004/368010 107.86/106.58 c cleaning 26943 clauses out of 54038 with flag 4980937/396010 115.93/114.63 c cleaning 28004 clauses out of 56095 with flag 5374077/425010 123.54/122.20 c cleaning 28911 clauses out of 58095 with flag 5801083/455014 131.42/130.15 c cleaning 30009 clauses out of 60180 with flag 6266811/486010 140.20/138.97 c cleaning 31070 clauses out of 62171 with flag 6733422/518010 149.88/148.62 c cleaning 31999 clauses out of 64103 with flag 7096509/551012 158.46/157.24 c cleaning 32992 clauses out of 66103 with flag 7459251/585011 169.03/167.87 c cleaning 34033 clauses out of 68111 with flag 7946505/620011 179.10/177.96 c cleaning 34967 clauses out of 70078 with flag 8401892/656011 189.07/187.95 c cleaning 35968 clauses out of 72110 with flag 8924246/693010 199.36/198.25 c cleaning 36982 clauses out of 74143 with flag 9450877/731011 209.63/208.57 c cleaning 37935 clauses out of 76160 with flag 9944147/770010 221.04/219.92 c cleaning 39019 clauses out of 78225 with flag 10408421/810010 233.41/232.30 c cleaning 39952 clauses out of 80206 with flag 10915147/851010 244.98/243.99 c cleaning 41042 clauses out of 82254 with flag 11438254/893010 257.95/256.99 c cleaning 42055 clauses out of 84212 with flag 12012998/936010 270.23/269.28 c cleaning 42959 clauses out of 86157 with flag 12643357/980010 282.14/281.16 c cleaning 43946 clauses out of 88199 with flag 13247176/1025011 294.20/293.29 c cleaning 45006 clauses out of 90252 with flag 13979766/1071010 306.57/305.65 c cleaning 46088 clauses out of 92246 with flag 14697108/1118010 320.14/319.23 c cleaning 47065 clauses out of 94158 with flag 15446769/1166010 335.03/334.18 c cleaning 48010 clauses out of 96093 with flag 16055795/1215010 349.49/348.61 c cleaning 48897 clauses out of 98083 with flag 16736658/1265010 363.15/362.38 c cleaning 50086 clauses out of 100187 with flag 17397702/1316011 378.52/377.70 c cleaning 50949 clauses out of 102100 with flag 18084593/1368010 394.42/393.63 c cleaning 52006 clauses out of 104151 with flag 18807386/1421010 410.38/409.66 c cleaning 53008 clauses out of 106147 with flag 19615228/1475012 426.93/426.23 c cleaning 54038 clauses out of 108137 with flag 20377114/1530010 444.44/443.54 c cleaning 55022 clauses out of 110099 with flag 21104531/1586010 461.41/460.43 c cleaning 55961 clauses out of 112079 with flag 21789645/1643012 478.98/477.91 c cleaning 56943 clauses out of 114116 with flag 22697320/1701010 494.60/493.55 c cleaning 58028 clauses out of 116173 with flag 23618627/1760010 512.75/511.75 c cleaning 58993 clauses out of 118145 with flag 24520493/1820010 532.11/531.14 c cleaning 60030 clauses out of 120153 with flag 25218134/1881011 551.59/550.68 c cleaning 61023 clauses out of 122123 with flag 25999310/1943011 572.43/571.50 c cleaning 61975 clauses out of 124099 with flag 26836796/2006010 591.89/591.03 c cleaning 62955 clauses out of 126124 with flag 27541592/2070010 611.57/610.70 c cleaning 64034 clauses out of 128169 with flag 28398250/2135010 632.93/632.12 c cleaning 65019 clauses out of 130135 with flag 29249845/2201010 655.66/654.96 c cleaning 66045 clauses out of 132116 with flag 30126008/2268010 677.66/676.99 c cleaning 66925 clauses out of 134071 with flag 31169166/2336010 701.19/700.54 c cleaning 68046 clauses out of 136146 with flag 32270455/2405010 725.04/724.41 c cleaning 69031 clauses out of 138101 with flag 33299679/2475011 749.47/748.94 c cleaning 69956 clauses out of 140069 with flag 34311449/2546010 772.80/772.35 c cleaning 71013 clauses out of 142113 with flag 35422681/2618010 794.75/794.35 c cleaning 72023 clauses out of 144101 with flag 36578732/2691011 816.41/816.04 c cleaning 73001 clauses out of 146078 with flag 37852866/2765011 838.47/838.13 c cleaning 73975 clauses out of 148077 with flag 39033844/2840011 862.54/862.24 c cleaning 74830 clauses out of 150101 with flag 40102030/2916010 889.39/889.10 c cleaning 76114 clauses out of 152271 with flag 41100376/2993010 914.52/914.37 c cleaning 77021 clauses out of 154157 with flag 42275513/3071010 940.58/940.44 c cleaning 78015 clauses out of 156136 with flag 43277075/3150010 966.22/966.14 c cleaning 79027 clauses out of 158121 with flag 44409740/3230010 993.36/993.39 c cleaning 79998 clauses out of 160094 with flag 45612464/3311010 1022.20/1022.26 c cleaning 80838 clauses out of 162096 with flag 47030598/3393010 1050.28/1050.37 c cleaning 82049 clauses out of 164258 with flag 48470505/3476010 1081.02/1081.15 c cleaning 83043 clauses out of 166209 with flag 49647880/3560010 1111.06/1111.23 c cleaning 84040 clauses out of 168166 with flag 51017253/3645010 1141.59/1141.88 c cleaning 84959 clauses out of 170126 with flag 52338396/3731010 1171.82/1172.15 c cleaning 86012 clauses out of 172168 with flag 53500029/3818011 1201.84/1202.26 c cleaning 86894 clauses out of 174155 with flag 54906028/3906010 1232.92/1233.34 c cleaning 88053 clauses out of 176261 with flag 56367322/3995010 1262.94/1263.44 c cleaning 89018 clauses out of 178209 with flag 57850858/4085011 1295.66/1296.25 c cleaning 89969 clauses out of 180190 with flag 59158175/4176010 1330.57/1331.27 c cleaning 91031 clauses out of 182223 with flag 60333538/4268012 1363.98/1364.72 c cleaning 91998 clauses out of 184190 with flag 61714096/4361010 1395.68/1396.42 c cleaning 93031 clauses out of 186192 with flag 63276531/4455010 1429.39/1430.20 c cleaning 94009 clauses out of 188164 with flag 64817783/4550013 1463.31/1464.27 c cleaning 94970 clauses out of 190152 with flag 66610925/4646010 1498.82/1499.88 c cleaning 95956 clauses out of 192182 with flag 67989461/4743010 1537.31/1538.41 c cleaning 97004 clauses out of 194226 with flag 69088359/4841010 1575.01/1576.21 c cleaning 98050 clauses out of 196222 with flag 70267599/4940010 1611.37/1612.65 c cleaning 98986 clauses out of 198173 with flag 71503457/5040011 1653.16/1654.55 c cleaning 99991 clauses out of 200187 with flag 72821278/5141011 1691.17/1692.65 c cleaning 100944 clauses out of 202195 with flag 74123603/5243010 1732.16/1733.77 c cleaning 102086 clauses out of 204251 with flag 75391623/5346010 1770.26/1771.97 c cleaning 103042 clauses out of 206165 with flag 76640761/5450010 1811.25/1813.02 c cleaning 103911 clauses out of 208124 with flag 78063259/5555011 1852.26/1854.05 c cleaning 105082 clauses out of 210213 with flag 79344321/5661011 1894.85/1896.70 c cleaning 106009 clauses out of 212130 with flag 80640878/5768010 1936.96/1938.98 c cleaning 106995 clauses out of 214121 with flag 82033065/5876010 1979.74/1981.77 c cleaning 107960 clauses out of 216126 with flag 83390369/5985010 2022.55/2024.68 c cleaning 108995 clauses out of 218167 with flag 84813617/6095011 2068.61/2070.31 c cleaning 110043 clauses out of 220172 with flag 86526505/6206011 2110.11/2111.95 c cleaning 111041 clauses out of 222129 with flag 87761953/6318011 2151.52/2153.46 c cleaning 112022 clauses out of 224087 with flag 89096990/6431010 2196.11/2198.13 c cleaning 113007 clauses out of 226067 with flag 90427685/6545012 2239.71/2241.88 c cleaning 113966 clauses out of 228058 with flag 92070254/6660010 2286.90/2289.19 c cleaning 115022 clauses out of 230092 with flag 93454252/6776010 2332.05/2334.36 c cleaning 115994 clauses out of 232071 with flag 94860729/6893011 2371.45/2373.85 c cleaning 116976 clauses out of 234076 with flag 96470261/7011010 2414.26/2416.75 c cleaning 117970 clauses out of 236100 with flag 98373796/7130010 2458.66/2461.23 c cleaning 118906 clauses out of 238130 with flag 100145957/7250010 2502.16/2504.87 c cleaning 120029 clauses out of 240224 with flag 101944738/7371010 2547.46/2550.24 c cleaning 121020 clauses out of 242196 with flag 103698752/7493011 2592.77/2595.51 c cleaning 122003 clauses out of 244176 with flag 105745705/7616011 2637.37/2640.20 c cleaning 122962 clauses out of 246172 with flag 107688542/7740010 2681.56/2684.51 c cleaning 124011 clauses out of 248213 with flag 109337785/7865013 2738.04/2741.19 c cleaning 125094 clauses out of 250199 with flag 111284098/7991010 2788.82/2792.00 c cleaning 125982 clauses out of 252106 with flag 112929278/8118011 2839.58/2842.95 c cleaning 127044 clauses out of 254123 with flag 114393404/8246010 2894.35/2897.84 c cleaning 127935 clauses out of 256079 with flag 115932436/8375010 2947.99/2951.56 c cleaning 129045 clauses out of 258145 with flag 117281466/8505011 3003.27/3006.96 c cleaning 130048 clauses out of 260102 with flag 118870016/8636013 3056.46/3060.30 c cleaning 130991 clauses out of 262051 with flag 120293292/8768010 3109.94/3113.88 c cleaning 131954 clauses out of 264060 with flag 121831974/8901010 3162.83/3166.89 c cleaning 133023 clauses out of 266106 with flag 123216732/9035010 3216.91/3221.05 c cleaning 133988 clauses out of 268083 with flag 124672043/9170010 3271.46/3275.64 c cleaning 134977 clauses out of 270095 with flag 126436059/9306010 3326.92/3331.25 c cleaning 135994 clauses out of 272118 with flag 127965334/9443010 3377.49/3381.91 c cleaning 136959 clauses out of 274124 with flag 129850871/9581010 3427.47/3432.02 c cleaning 138021 clauses out of 276165 with flag 131505992/9720010 3482.73/3487.44 c cleaning 139032 clauses out of 278144 with flag 133439685/9860010 3533.99/3538.86 c cleaning 139986 clauses out of 280112 with flag 135415041/10001010 3586.33/3591.28 c cleaning 141047 clauses out of 282128 with flag 137295913/10143012 3600.10/3605.01 c starts : 495 3600.10/3605.02 c conflicts : 10186828 3600.10/3605.02 c decisions : 247715308 3600.10/3605.02 c propagations : 12054163615 3600.10/3605.02 c inspects : 43095257778 3600.10/3605.02 c shortcuts : 0 3600.10/3605.02 c learnt literals : 0 3600.10/3605.02 c learnt binary clauses : 7 3600.10/3605.02 c learnt ternary clauses : 11 3600.10/3605.02 c learnt constraints : 10186828 3600.10/3605.02 c ignored constraints : 0 3600.10/3605.02 c root simplifications : 0 3600.10/3605.03 c removed literals (reason simplification) : 113721695 3600.10/3605.03 c reason swapping (by a shorter reason) : 0 3600.10/3605.03 c Calls to reduceDB : 138 3600.10/3605.03 c Number of update (reduction) of LBD : 8115662 3600.10/3605.03 c Imported unit clauses : 0 3600.10/3605.03 c No decision after first conflict : false 3600.10/3605.03 c number of reductions to clauses (during analyze) : 0 3600.10/3605.03 c number of learned constraints concerned by reduction : 0 3600.10/3605.03 c number of learning phase by resolution : 0 3600.10/3605.03 c number of learning phase by cutting planes : 0 3600.10/3605.03 c number of rounding to 1 operations : 0 3600.10/3605.03 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.10/3605.03 c number of reductions of the coefficients by power 2 : 0 3600.10/3605.03 c number of right shift for reduction by power 2 : 0 3600.10/3605.03 c number of reductions of the coefficients by GCD over coefficients : 0 3600.10/3605.03 c number of ending skipping : 0 3600.10/3605.03 c number of internal skipping : 0 3600.10/3605.03 c number of derivation steps : 0 3600.10/3605.03 c number of skipped derivation steps : 0 3600.10/3605.03 c number of remaining unassigned : 0 3600.10/3605.03 c number of remaining assigned : 0 3600.10/3605.03 c number of falsified literals weakened from reason : 0 3600.10/3605.03 c number of falsified literals weakened from conflict : 0 3600.10/3605.03 c time for arithmetic operations : 0 3600.10/3605.04 c minimum degree of deleted constraints : null 3600.10/3605.04 c maximum degree of deleted constraints : null 3600.10/3605.04 c number of deleted constraints : 0 3600.10/3605.04 c speed (assignments/second) : 3344089.0588128897 3600.10/3605.05 c non guided choices : 0 3600.29/3605.11 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 184890 3600.29/3605.11 c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB : 7 3600.29/3605.11 s SATISFIABLE 3600.29/3605.11 c Found 2 solution(s) 3600.29/3605.12 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 x696 x697 x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 x2320 -x2321 x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 -x2459 -x2460 -x2461 x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 x2498 -x2499 x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 -x2569 x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 x2666 -x2667 x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 x2736 -x2737 x2738 -x2739 -x2740 -x2741 x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 x2876 x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 x3014 -x3015 x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 x3111 x3112 -x3113 x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 x3210 -x3211 x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 x3280 -x3281 -x3282 x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 x3290 -x3291 -x3292 x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 x3305 -x3306 -x3307 x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 x3325 -x3326 x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 x3335 -x3336 -x3337 x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 x3345 -x3346 x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 x3355 -x3356 -x3357 x3358 -x3359 x3360 x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 x3380 x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 x3410 -x3411 -x3412 x3413 -x3414 -x3415 -x3416 -x3417 -x3418 x3419 x3420 -x3421 -x3422 x3423 x3424 x3425 -x3426 -x3427 -x3428 -x3429 x3430 -x3431 -x3432 x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 x3440 -x3441 -x3442 x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 x3450 -x3451 x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x3470 -x3471 -x3472 x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 x3480 -x3481 -x3482 x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 x3510 -x3511 -x3512 x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 x3525 -x3526 x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 x3545 -x3546 x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 x3555 -x3556 x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218 x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 x4375 -x4376 -x4377 -x4378 -x4379 -x4380 x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 x4402 -x4403 -x4404 -x4405 -x4406 -x4407 x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 x4510 -x4511 -x4512 -x4513 -x4514 -x4515 x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 x4699 -x4700 -x4701 -x4702 -x4703 x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 x5020 -x5021 x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 x5034 -x5035 x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 x5048 -x5049 x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 x5062 -x5063 x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 x5076 -x5077 x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 x5128 -x5129 x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 x5264 -x5265 x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 x5528 -x5529 x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 x5542 -x5543 -x5544 x5545 -x5546 x5547 x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 x5562 x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 x5577 -x5578 -x5579 x5580 -x5581 x5582 x5583 -x5584 -x5585 -x5586 x5587 -x5588 x5589 -x5590 -x5591 x5592 x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 x5617 -x5618 -x5619 x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 x5642 -x5643 -x5644 x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 x5667 -x5668 -x5669 x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 x5677 -x5678 -x5679 x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 x5692 -x5693 x5694 -x5695 -x5696 x5697 x5698 -x5699 -x5700 -x5701 x5702 -x5703 x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 x5717 x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 x5727 x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 x5747 x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 x5762 -x5763 -x5764 x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 x5772 -x5773 -x5774 x5775 -x5776 x5777 x5778 -x5779 -x5780 -x5781 x5782 x5783 -x5784 -x5785 -x5786 x5787 x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 x5802 -x5803 -x5804 x5805 -x5806 x5807 x5808 -x5809 -x5810 -x5811 x5812 x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 x5827 -x5828 x5829 -x5830 -x5831 x5832 x5833 -x5834 -x5835 -x5836 x5837 x5838 x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 x5852 -x5853 -x5854 x5855 -x5856 x5857 -x5858 x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 x5867 -x5868 x5869 -x5870 x5871 x5872 -x5873 -x5874 x5875 x5876 x5877 x5878 -x5879 -x5880 -x5881 x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 x6127 -x6128 -x6129 -x6130 x6131 x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 x6239 x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 x6323 -x6324 -x6325 -x6326 -x6327 x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 x6349 -x6350 x6351 -x6352 -x6353 -x6354 -x6355 x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 x6379 -x6380 -x6381 -x6382 -x6383 x6384 -x6385 x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 x6421 x6422 -x6423 -x6424 -x6425 x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 x6440 -x6441 -x6442 -x6443 -x6444 -x6445 x6446 x6447 -x6448 x6449 -x6450 -x6451 -x6452 -x6453 x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 x6531 x6532 -x6533 -x6534 x6535 x6536 x6537 x6538 -x6539 -x6540 -x6541 -x6542 x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 x6559 x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 x7351 x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 x8021 x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 x8119 x8120 -x8121 -x8122 -x8123 -x8124 x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 x8272 -x8273 x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 x8590 -x8591 x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 x8630 -x8631 x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 x8690 -x8691 x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 x8700 x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 x8770 -x8771 -x8772 -x8773 -x8774 x8775 -x8776 -x8777 x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 x8805 -x8806 -x8807 x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 x8895 -x8896 x8897 -x8898 x8899 -x8900 x8901 3600.29/3605.14 c objective function=26 3600.29/3605.14 c Total wall clock time (in seconds): 3604.985
OK 26
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (60842 MiB free)
memory of node 1: 64465 MiB (63567 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497798-1751390549/watcher-4497798-1751390549 -o /tmp/evaluation-result-4497798-1751390549/solver-4497798-1751390549 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751383337-55329 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4497798-1751390549.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=56280, runsolver pid=56273
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.17 4.19 4.13 5/295 56308
/proc/meminfo: memFree=127386804/131249988 swapFree=33010684/33010684
[pid=56280] ppid=56273 vsize=18930384 memory=53144 CPUtime=0.1 cores=4,6
/proc/56280/stat : 56280 (java) S 56273 56280 55318 0 -1 4194304 6429 0 0 0 8 2 0 0 20 0 18 0 54732466 19384713216 13286 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
/proc/56280/statm: 4732596 13286 5359 1 0 547512 0
[pid=56280/tid=56282] ppid=56273 vsize=18930384 memory=4026532068 CPUtime=0.06 cores=4,6
/proc/56280/task/56282/stat : 56282 (java) R 56273 56280 55318 0 -1 4194368 4964 0 0 0 5 1 0 0 20 0 18 0 54732469 19384713216 13286 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56293] ppid=56273 vsize=18930384 memory=17132 CPUtime=0 cores=4,6
/proc/56280/task/56293/stat : 56293 (Finalizer) S 56273 56280 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54732471 19384713216 13286 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56304] ppid=56273 vsize=18930384 memory=60680220967902 CPUtime=0 cores=4,6
/proc/56280/task/56304/stat : 56304 (Common-Cleaner) S 56273 56280 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54732471 19384713216 13286 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53144 KiB
[startup+0.205625 s]*
/proc/loadavg: 4.17 4.19 4.13 8/312 56335
/proc/meminfo: memFree=127367712/131249988 swapFree=33010684/33010684
[pid=56280] ppid=56273 vsize=18930384 memory=63856 CPUtime=0.28 cores=4,6
/proc/56280/stat : 56280 (java) S 56273 56280 55318 0 -1 4194304 7004 0 0 0 25 3 0 0 20 0 18 0 54732466 19384713216 15964 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
/proc/56280/statm: 4732596 15964 5423 1 0 547903 0
[pid=56280/tid=56282] ppid=56273 vsize=18930384 memory=4026720027 CPUtime=0.14 cores=4,6
/proc/56280/task/56282/stat : 56282 (java) R 56273 56280 55318 0 -1 4194368 5268 0 0 0 13 1 0 0 20 0 18 0 54732469 19384713216 15964 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56293] ppid=56273 vsize=18930384 memory=211342852430 CPUtime=0 cores=4,6
/proc/56280/task/56293/stat : 56293 (Finalizer) S 56273 56280 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54732471 19384713216 15964 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56304] ppid=56273 vsize=18930384 memory=61779732623506 CPUtime=0 cores=4,6
/proc/56280/task/56304/stat : 56304 (Common-Cleaner) S 56273 56280 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54732471 19384713216 15964 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63856 KiB
[startup+0.305484 s]*
/proc/loadavg: 4.17 4.19 4.13 7/313 56340
/proc/meminfo: memFree=127321632/131249988 swapFree=33010684/33010684
[pid=56280] ppid=56273 vsize=18930384 memory=96868 CPUtime=0.47 cores=4,6
/proc/56280/stat : 56280 (java) S 56273 56280 55318 0 -1 4194304 8537 0 0 0 44 3 0 0 20 0 18 0 54732466 19384713216 24217 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
/proc/56280/statm: 4732596 24217 5423 1 0 548932 0
[pid=56280/tid=56282] ppid=56273 vsize=18930384 memory=-6000919502804969322 CPUtime=0.24 cores=4,6
/proc/56280/task/56282/stat : 56282 (java) R 56273 56280 55318 0 -1 4194368 5284 0 0 0 22 2 0 0 20 0 18 0 54732469 19384713216 24217 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56293] ppid=56273 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/56280/task/56293/stat : 56293 (Finalizer) S 56273 56280 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54732471 19384713216 24217 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56304] ppid=56273 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/56280/task/56304/stat : 56304 (Common-Cleaner) S 56273 56280 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54732471 19384713216 24217 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 96868 KiB
[startup+0.700239 s]
/proc/loadavg: 4.17 4.19 4.13 12/336 56368
/proc/meminfo: memFree=127218880/131249988 swapFree=33010684/33010684
[pid=56280] ppid=56273 vsize=18996948 memory=137012 CPUtime=1.24 cores=4,6
/proc/56280/stat : 56280 (java) S 56273 56280 55318 0 -1 4194304 10513 0 0 0 119 5 0 0 20 0 19 0 54732466 19452874752 34253 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
/proc/56280/statm: 4749237 34253 5487 1 0 550278 0
[pid=56280/tid=56282] ppid=56273 vsize=18996948 memory=18304 CPUtime=0.59 cores=4,6
/proc/56280/task/56282/stat : 56282 (java) R 56273 56280 55318 0 -1 4194368 5422 0 0 0 56 3 0 0 20 0 19 0 54732469 19452874752 34253 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56293] ppid=56273 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/56280/task/56293/stat : 56293 (Finalizer) S 56273 56280 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54732471 19452874752 34253 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56304] ppid=56273 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/56280/task/56304/stat : 56304 (Common-Cleaner) S 56273 56280 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54732471 19452874752 34253 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56356] ppid=56273 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/56280/task/56356/stat : 56356 (Timer-0) S 56273 56280 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54732509 19452874752 34253 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 137012 KiB
[startup+1.50024 s]
/proc/loadavg: 4.17 4.19 4.13 8/337 56369
/proc/meminfo: memFree=127146864/131249988 swapFree=33010684/33010684
[pid=56280] ppid=56273 vsize=18996948 memory=154424 CPUtime=2.58 cores=4,6
/proc/56280/stat : 56280 (java) S 56273 56280 55318 0 -1 4194304 17810 0 0 0 252 6 0 0 20 0 19 0 54732466 19452874752 38606 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
/proc/56280/statm: 4749237 38606 5487 1 0 553690 0
[pid=56280/tid=56282] ppid=56273 vsize=18996948 memory=10752 CPUtime=1.38 cores=4,6
/proc/56280/task/56282/stat : 56282 (java) R 56273 56280 55318 0 -1 4194368 5553 0 0 0 135 3 0 0 20 0 19 0 54732469 19452874752 38606 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56293] ppid=56273 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/56280/task/56293/stat : 56293 (Finalizer) S 56273 56280 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54732471 19452874752 38606 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56304] ppid=56273 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/56280/task/56304/stat : 56304 (Common-Cleaner) S 56273 56280 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54732471 19452874752 38606 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56356] ppid=56273 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/56280/task/56356/stat : 56356 (Timer-0) S 56273 56280 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54732509 19452874752 38606 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 154424 KiB
[startup+3.10515 s]
/proc/loadavg: 4.17 4.19 4.13 4/316 56392
/proc/meminfo: memFree=128987728/131249988 swapFree=33010684/33010684
[pid=56280] ppid=56273 vsize=18996948 memory=157468 CPUtime=4.38 cores=4,6
/proc/56280/stat : 56280 (java) S 56273 56280 55318 0 -1 4194304 21206 0 0 0 432 6 0 0 20 0 19 0 54732466 19452874752 39367 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
/proc/56280/statm: 4749237 39367 5487 1 0 553718 0
[pid=56280/tid=56282] ppid=56273 vsize=18996948 memory=-6000919494147991146 CPUtime=2.97 cores=4,6
/proc/56280/task/56282/stat : 56282 (java) R 56273 56280 55318 0 -1 4194368 7029 0 0 0 294 3 0 0 20 0 19 0 54732469 19452874752 39367 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56293] ppid=56273 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/56280/task/56293/stat : 56293 (Finalizer) S 56273 56280 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54732471 19452874752 39367 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56304] ppid=56273 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/56280/task/56304/stat : 56304 (Common-Cleaner) S 56273 56280 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54732471 19452874752 39367 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56356] ppid=56273 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/56280/task/56356/stat : 56356 (Timer-0) S 56273 56280 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54732509 19452874752 39367 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 157468 KiB
[startup+6.30019 s]
/proc/loadavg: 4.23 4.20 4.13 5/337 56437
/proc/meminfo: memFree=128916868/131249988 swapFree=33010684/33010684
[pid=56280] ppid=56273 vsize=18996948 memory=152280 CPUtime=7.77 cores=4,6
/proc/56280/stat : 56280 (java) S 56273 56280 55318 0 -1 4194304 21648 0 0 0 770 7 0 0 20 0 19 0 54732466 19452874752 38070 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
/proc/56280/statm: 4749237 38070 5487 1 0 553720 0
[pid=56280/tid=56282] ppid=56273 vsize=18996948 memory=10752 CPUtime=6.16 cores=4,6
/proc/56280/task/56282/stat : 56282 (java) R 56273 56280 55318 0 -1 4194368 7105 0 0 0 613 3 0 0 20 0 19 0 54732469 19452874752 38070 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56293] ppid=56273 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/56280/task/56293/stat : 56293 (Finalizer) S 56273 56280 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54732471 19452874752 38070 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56304] ppid=56273 vsize=18996948 memory=150232 CPUtime=0 cores=4,6
/proc/56280/task/56304/stat : 56304 (Common-Cleaner) S 56273 56280 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54732471 19452874752 38070 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56356] ppid=56273 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/56280/task/56356/stat : 56356 (Timer-0) S 56273 56280 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54732509 19452874752 38070 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
Current children cumulated CPU time: 7.77 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 152280 KiB
[startup+12.7002 s]
/proc/loadavg: 4.21 4.20 4.13 5/337 56437
/proc/meminfo: memFree=128854128/131249988 swapFree=33010684/33010684
[pid=56280] ppid=56273 vsize=18996948 memory=162016 CPUtime=14.23 cores=4,6
/proc/56280/stat : 56280 (java) S 56273 56280 55318 0 -1 4194304 26219 0 0 0 1415 8 0 0 20 0 19 0 54732466 19452874752 40504 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
/proc/56280/statm: 4749237 40504 5519 1 0 554096 0
[pid=56280/tid=56282] ppid=56273 vsize=18996948 memory=134076 CPUtime=12.54 cores=4,6
/proc/56280/task/56282/stat : 56282 (java) R 56273 56280 55318 0 -1 4194368 8387 0 0 0 1250 4 0 0 20 0 19 0 54732469 19452874752 40504 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56293] ppid=56273 vsize=18996948 memory=155872 CPUtime=0 cores=4,6
/proc/56280/task/56293/stat : 56293 (Finalizer) S 56273 56280 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54732471 19452874752 40504 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56304] ppid=56273 vsize=18996948 memory=14848 CPUtime=0 cores=4,6
/proc/56280/task/56304/stat : 56304 (Common-Cleaner) S 56273 56280 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54732471 19452874752 40504 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56356] ppid=56273 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/56280/task/56356/stat : 56356 (Timer-0) S 56273 56280 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54732509 19452874752 40504 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
Current children cumulated CPU time: 14.23 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 162016 KiB
[startup+25.5002 s]
/proc/loadavg: 4.25 4.20 4.13 5/340 56440
/proc/meminfo: memFree=128759668/131249988 swapFree=33010684/33010684
[pid=56280] ppid=56273 vsize=19063512 memory=174820 CPUtime=27.02 cores=4,6
/proc/56280/stat : 56280 (java) S 56273 56280 55318 0 -1 4194304 28774 0 0 0 2693 9 0 0 20 0 20 0 54732466 19521036288 43705 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
/proc/56280/statm: 4765878 43705 5551 1 0 554401 0
[pid=56280/tid=56282] ppid=56273 vsize=19063512 memory=134076 CPUtime=25.3 cores=4,6
/proc/56280/task/56282/stat : 56282 (java) R 56273 56280 55318 0 -1 4194368 8863 0 0 0 2526 4 0 0 20 0 20 0 54732469 19521036288 43705 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56293] ppid=56273 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/56280/task/56293/stat : 56293 (Finalizer) S 56273 56280 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54732471 19521036288 43705 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56304] ppid=56273 vsize=19063512 memory=174820 CPUtime=0 cores=4,6
/proc/56280/task/56304/stat : 56304 (Common-Cleaner) S 56273 56280 55318 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 54732471 19521036288 43705 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56356] ppid=56273 vsize=19063512 memory=-6000919494147991146 CPUtime=0 cores=4,6
/proc/56280/task/56356/stat : 56356 (Timer-0) S 56273 56280 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54732509 19521036288 43705 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
Current children cumulated CPU time: 27.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174820 KiB
[startup+51.1054 s]
/proc/loadavg: 4.23 4.20 4.14 5/340 56440
/proc/meminfo: memFree=128681604/131249988 swapFree=33010684/33010684
[pid=56280] ppid=56273 vsize=19063512 memory=174820 CPUtime=52.6 cores=4,6
/proc/56280/stat : 56280 (java) S 56273 56280 55318 0 -1 4194304 30206 0 0 0 5251 9 0 0 20 0 20 0 54732466 19521036288 43705 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
/proc/56280/statm: 4765878 43705 5551 1 0 554401 0
[pid=56280/tid=56282] ppid=56273 vsize=19063512 memory=174820 CPUtime=50.83 cores=4,6
/proc/56280/task/56282/stat : 56282 (java) R 56273 56280 55318 0 -1 4194368 8944 0 0 0 5079 4 0 0 20 0 20 0 54732469 19521036288 43705 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56293] ppid=56273 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/56280/task/56293/stat : 56293 (Finalizer) S 56273 56280 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54732471 19521036288 43705 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/338 56605
/proc/meminfo: memFree=121813960/131249988 swapFree=33010684/33010684
[pid=56280] ppid=56273 vsize=19063512 memory=1674952 CPUtime=3278.14 cores=4,6
/proc/56280/stat : 56280 (java) S 56273 56280 55318 0 -1 4194304 77978 0 0 0 327703 111 0 0 20 0 20 0 54732466 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
/proc/56280/statm: 4765878 418738 5551 1 0 560190 0
[pid=56280/tid=56282] ppid=56273 vsize=19063512 memory=1674952 CPUtime=3271.81 cores=4,6
/proc/56280/task/56282/stat : 56282 (java) R 56273 56280 55318 0 -1 4194368 29704 0 0 0 327164 17 0 0 20 0 20 0 54732469 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56293] ppid=56273 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/56280/task/56293/stat : 56293 (Finalizer) S 56273 56280 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54732471 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56304] ppid=56273 vsize=19063512 memory=-6000919494147991146 CPUtime=0 cores=4,6
/proc/56280/task/56304/stat : 56304 (Common-Cleaner) S 56273 56280 55318 0 -1 4194368 1178 0 0 0 0 0 0 0 20 0 20 0 54732471 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56356] ppid=56273 vsize=19063512 memory=1666644 CPUtime=0 cores=4,6
/proc/56280/task/56356/stat : 56356 (Timer-0) S 56273 56280 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54732509 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
Current children cumulated CPU time: 3278.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1674952 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/338 56607
/proc/meminfo: memFree=121570672/131249988 swapFree=33010684/33010684
[pid=56280] ppid=56273 vsize=19063512 memory=1674952 CPUtime=3338 cores=4,6
/proc/56280/stat : 56280 (java) S 56273 56280 55318 0 -1 4194304 78295 0 0 0 333687 113 0 0 20 0 20 0 54732466 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
/proc/56280/statm: 4765878 418738 5551 1 0 560190 0
[pid=56280/tid=56282] ppid=56273 vsize=19063512 memory=10752 CPUtime=3331.64 cores=4,6
/proc/56280/task/56282/stat : 56282 (java) R 56273 56280 55318 0 -1 4194368 29994 0 0 0 333147 17 0 0 20 0 20 0 54732469 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56293] ppid=56273 vsize=19063512 memory=1674952 CPUtime=0 cores=4,6
/proc/56280/task/56293/stat : 56293 (Finalizer) S 56273 56280 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54732471 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56304] ppid=56273 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/56280/task/56304/stat : 56304 (Common-Cleaner) S 56273 56280 55318 0 -1 4194368 1178 0 0 0 0 0 0 0 20 0 20 0 54732471 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56356] ppid=56273 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/56280/task/56356/stat : 56356 (Timer-0) S 56273 56280 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54732509 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
Current children cumulated CPU time: 3338 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1674952 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/338 56609
/proc/meminfo: memFree=121569552/131249988 swapFree=33010684/33010684
[pid=56280] ppid=56273 vsize=19063512 memory=1674952 CPUtime=3397.84 cores=4,6
/proc/56280/stat : 56280 (java) S 56273 56280 55318 0 -1 4194304 78891 0 0 0 339670 114 0 0 20 0 20 0 54732466 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
/proc/56280/statm: 4765878 418738 5551 1 0 560190 0
[pid=56280/tid=56282] ppid=56273 vsize=19063512 memory=1674952 CPUtime=3391.47 cores=4,6
/proc/56280/task/56282/stat : 56282 (java) R 56273 56280 55318 0 -1 4194368 30521 0 0 0 339130 17 0 0 20 0 20 0 54732469 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56293] ppid=56273 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/56280/task/56293/stat : 56293 (Finalizer) S 56273 56280 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54732471 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56304] ppid=56273 vsize=19063512 memory=1674952 CPUtime=0 cores=4,6
/proc/56280/task/56304/stat : 56304 (Common-Cleaner) S 56273 56280 55318 0 -1 4194368 1199 0 0 0 0 0 0 0 20 0 20 0 54732471 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56356] ppid=56273 vsize=19063512 memory=1674952 CPUtime=0 cores=4,6
/proc/56280/task/56356/stat : 56356 (Timer-0) S 56273 56280 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54732509 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
Current children cumulated CPU time: 3397.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1674952 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/340 56617
/proc/meminfo: memFree=121569664/131249988 swapFree=33010684/33010684
[pid=56280] ppid=56273 vsize=19063512 memory=1674952 CPUtime=3457.68 cores=4,6
/proc/56280/stat : 56280 (java) S 56273 56280 55318 0 -1 4194304 79321 0 0 0 345654 114 0 0 20 0 20 0 54732466 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
/proc/56280/statm: 4765878 418738 5551 1 0 560190 0
[pid=56280/tid=56282] ppid=56273 vsize=19063512 memory=14848 CPUtime=3451.3 cores=4,6
/proc/56280/task/56282/stat : 56282 (java) R 56273 56280 55318 0 -1 4194368 30896 0 0 0 345113 17 0 0 20 0 20 0 54732469 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56293] ppid=56273 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/56280/task/56293/stat : 56293 (Finalizer) S 56273 56280 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54732471 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56304] ppid=56273 vsize=19063512 memory=1674952 CPUtime=0 cores=4,6
/proc/56280/task/56304/stat : 56304 (Common-Cleaner) S 56273 56280 55318 0 -1 4194368 1207 0 0 0 0 0 0 0 20 0 20 0 54732471 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56356] ppid=56273 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/56280/task/56356/stat : 56356 (Timer-0) S 56273 56280 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54732509 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
Current children cumulated CPU time: 3457.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1674952 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/340 56619
/proc/meminfo: memFree=121569784/131249988 swapFree=33010684/33010684
[pid=56280] ppid=56273 vsize=19063512 memory=1674952 CPUtime=3517.53 cores=4,6
/proc/56280/stat : 56280 (java) S 56273 56280 55318 0 -1 4194304 79422 0 0 0 351638 115 0 0 20 0 20 0 54732466 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
/proc/56280/statm: 4765878 418738 5551 1 0 560190 0
[pid=56280/tid=56282] ppid=56273 vsize=19063512 memory=14848 CPUtime=3511.13 cores=4,6
/proc/56280/task/56282/stat : 56282 (java) R 56273 56280 55318 0 -1 4194368 30965 0 0 0 351096 17 0 0 20 0 20 0 54732469 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56293] ppid=56273 vsize=19063512 memory=1674952 CPUtime=0 cores=4,6
/proc/56280/task/56293/stat : 56293 (Finalizer) S 56273 56280 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54732471 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56304] ppid=56273 vsize=19063512 memory=1674952 CPUtime=0 cores=4,6
/proc/56280/task/56304/stat : 56304 (Common-Cleaner) S 56273 56280 55318 0 -1 4194368 1207 0 0 0 0 0 0 0 20 0 20 0 54732471 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56356] ppid=56273 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/56280/task/56356/stat : 56356 (Timer-0) S 56273 56280 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54732509 19521036288 418738 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
Current children cumulated CPU time: 3517.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1674952 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/340 56621
/proc/meminfo: memFree=121549184/131249988 swapFree=33010684/33010684
[pid=56280] ppid=56273 vsize=19063512 memory=1695432 CPUtime=3577.44 cores=4,6
/proc/56280/stat : 56280 (java) S 56273 56280 55318 0 -1 4194304 79677 0 0 0 357627 117 0 0 20 0 20 0 54732466 19521036288 423858 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
/proc/56280/statm: 4765878 423858 5551 1 0 560190 0
[pid=56280/tid=56282] ppid=56273 vsize=19063512 memory=14848 CPUtime=3570.79 cores=4,6
/proc/56280/task/56282/stat : 56282 (java) R 56273 56280 55318 0 -1 4194368 30997 0 0 0 357062 17 0 0 20 0 20 0 54732469 19521036288 423858 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56293] ppid=56273 vsize=19063512 memory=1674952 CPUtime=0 cores=4,6
/proc/56280/task/56293/stat : 56293 (Finalizer) S 56273 56280 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54732471 19521036288 423858 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56304] ppid=56273 vsize=19063512 memory=1695432 CPUtime=0 cores=4,6
/proc/56280/task/56304/stat : 56304 (Common-Cleaner) S 56273 56280 55318 0 -1 4194368 1207 0 0 0 0 0 0 0 20 0 20 0 54732471 19521036288 423858 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56356] ppid=56273 vsize=19063512 memory=1695432 CPUtime=0 cores=4,6
/proc/56280/task/56356/stat : 56356 (Timer-0) S 56273 56280 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54732509 19521036288 423858 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
Current children cumulated CPU time: 3577.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1695432 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3605 s]*
/proc/loadavg: 4.02 4.07 4.08 3/294 56670
/proc/meminfo: memFree=125917772/131249988 swapFree=33010684/33010684
[pid=56280] ppid=56273 vsize=19063512 memory=1695432 CPUtime=3600.1 cores=4,6
/proc/56280/stat : 56280 (java) S 56273 56280 55318 0 -1 4194304 79881 0 0 0 359892 118 0 0 20 0 20 0 54732466 19521036288 423858 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
/proc/56280/statm: 4765878 423858 5551 1 0 560190 0
[pid=56280/tid=56282] ppid=56273 vsize=19063512 memory=-6297270782350430559 CPUtime=3593.44 cores=4,6
/proc/56280/task/56282/stat : 56282 (java) R 56273 56280 55318 0 -1 4194368 31188 0 0 0 359327 17 0 0 20 0 20 0 54732469 19521036288 423858 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56293] ppid=56273 vsize=19063512 memory=5036 CPUtime=0 cores=4,6
/proc/56280/task/56293/stat : 56293 (Finalizer) S 56273 56280 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54732471 19521036288 423858 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56304] ppid=56273 vsize=19063512 memory=5472 CPUtime=0 cores=4,6
/proc/56280/task/56304/stat : 56304 (Common-Cleaner) S 56273 56280 55318 0 -1 4194368 1207 0 0 0 0 0 0 0 20 0 20 0 54732471 19521036288 423858 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56356] ppid=56273 vsize=19063512 memory=6900 CPUtime=0 cores=4,6
/proc/56280/task/56356/stat : 56356 (Timer-0) S 56273 56280 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54732509 19521036288 423858 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1695432 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3605.16 s]
# the end of solver process 56280 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3599.19 s, system=1.19712 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3605.11 s]
/proc/loadavg: 4.02 4.07 4.08 3/294 56670
/proc/meminfo: memFree=125917772/131249988 swapFree=33010684/33010684
[pid=56280] ppid=56273 vsize=19263204 memory=1696456 CPUtime=3600.29 cores=4,6
/proc/56280/stat : 56280 (java) S 56273 56280 55318 0 -1 4194304 81939 0 0 0 359911 118 0 0 20 0 21 0 54732466 19725520896 424114 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
/proc/56280/statm: 4815801 424114 5583 1 0 561144 0
[pid=56280/tid=56282] ppid=56273 vsize=19263204 memory=14848 CPUtime=3593.53 cores=4,6
/proc/56280/task/56282/stat : 56282 (java) R 56273 56280 55318 0 -1 4194368 31302 0 0 0 359336 17 0 0 20 0 21 0 54732469 19725520896 424114 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56293] ppid=56273 vsize=19263204 memory=1674952 CPUtime=0 cores=4,6
/proc/56280/task/56293/stat : 56293 (Finalizer) S 56273 56280 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 54732471 19725520896 424114 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
[pid=56280/tid=56304] ppid=56273 vsize=19263204 memory=1695432 CPUtime=0 cores=4,6
/proc/56280/task/56304/stat : 56304 (Common-Cleaner) S 56273 56280 55318 0 -1 4194368 1207 0 0 0 0 0 0 0 20 0 21 0 54732471 19725520896 424114 18446744073709551615 93976075759616 93976075763312 140733618002736 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93976075771128 93976075771920 93976077787136 140733618006401 140733618006502 140733618006502 140733618012104 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1696456 KiB
Child status: 143
Real time (s): 3605.16
CPU time (s): 3600.38
CPU user time (s): 3599.19
CPU system time (s): 1.19712
CPU usage (%): 99.8674
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1696456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.19
system time used= 1.19712
maximum resident set size= 1696584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82433
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104151
involuntary context switches= 20211
# summary of solver processes directly reported to runsolver:
# pid: 56280
# total CPU time (s): 3600.38
# total CPU user time (s): 3599.19
# total CPU system time (s): 1.19712
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.43813 second user time and 16.7582 second system time
The end
Begin job on nodeC020 at 2025-07-01 19:22:29 IDJOB=4497798 IDBENCH=148193 IDSOLVER=3363 FILE ID=nodeC020/4497798-1751390549 RUNJOBID= nodeC020-1751383337-55329 SLURM_JOB_ID= 9598231 Free space on /tmp= 432940 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497798-1751390549/watcher-4497798-1751390549 -o /tmp/evaluation-result-4497798-1751390549/solver-4497798-1751390549 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751383337-55329 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4497798-1751390549.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7 RANDOM SEED=2784936 nodeC020 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.851 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.79 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 : 2250.809 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.79 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 : 3579.472 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.79 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 : 3396.960 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.79 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 : 3602.067 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.79 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 : 1596.702 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.79 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 : 3599.885 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.79 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 : 1644.792 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.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 127399848 kB MemAvailable: 127858828 kB Buffers: 3280 kB Cached: 1262920 kB SwapCached: 0 kB Active: 2288612 kB Inactive: 953848 kB Active(anon): 1994316 kB Inactive(anon): 0 kB Active(file): 294296 kB Inactive(file): 953848 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 1484 kB Writeback: 0 kB AnonPages: 1978892 kB Mapped: 123784 kB Shmem: 18056 kB KReclaimable: 100152 kB Slab: 188616 kB SReclaimable: 100152 kB SUnreclaim: 88464 kB KernelStack: 4464 kB PageTables: 7212 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 2614720 kB VmallocTotal: 34359738367 kB VmallocUsed: 150792 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1835008 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: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432944 MiB End job on nodeC020 at 2025-07-01 20:22:34