Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution VeriPB 2025-06-06 | SAT (TO) | 26 | 3600.28 | 3607.53 |
| 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.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB25.v20250606 0.00/0.09 c java.runtime.name OpenJDK Runtime Environment 0.00/0.09 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.09 c java.vm.version 22.0.1+8-16 0.00/0.09 c java.vm.vendor Oracle Corporation 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 22.0.1 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 2104792832 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.12/0.14 c Pseudo Boolean Optimization by upper bound 0.12/0.14 c --- Begin Solver configuration --- 0.12/0.14 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.12/0.14 c Learn all clauses as in MiniSAT 0.12/0.14 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.14 c Expensive reason simplification 0.12/0.14 c Glucose 2.1 dynamic restart strategy 0.12/0.14 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.12/0.14 c timeout=2147483s 0.12/0.14 c DB Simplification allowed=false 0.12/0.14 c Listener: none 0.12/0.14 c --- End Solver configuration --- 0.12/0.14 c solving HOME/instance-4497799-1751408686.opb 0.12/0.14 c reading problem ... 0.12/0.14 c using VERIPB proof format 0.12/0.14 c objective function found 0.51/0.37 c ... done. Wall clock time 0.233s. 0.51/0.37 c declared #vars 8901 0.51/0.37 c #constraints 32298 0.51/0.37 c constraints type 0.51/0.38 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 24193 0.51/0.38 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 0.51/0.38 c org.sat4j.pb.constraints.pb.UnitClausePB => 5 0.51/0.38 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8099 0.51/0.38 c 32298 constraints processed. 0.51/0.39 c objective function length is 790 literals 0.70/0.45 c SATISFIABLE 0.70/0.45 c OPTIMIZING... 0.70/0.45 c Got one! Elapsed wall clock time (in seconds):0.315 0.70/0.45 o 27 0.70/0.49 c Got one! Elapsed wall clock time (in seconds):0.353 0.70/0.49 o 26 4.65/2.57 c cleaning 2504 clauses out of 5010 with flag 49920/5010 6.72/4.23 c cleaning 4175 clauses out of 8506 with flag 109279/11010 8.89/6.29 c cleaning 5613 clauses out of 11331 with flag 209848/18010 11.54/8.76 c cleaning 6841 clauses out of 13718 with flag 323427/26010 14.24/11.44 c cleaning 7923 clauses out of 15877 with flag 430758/35010 17.44/14.66 c cleaning 8922 clauses out of 17954 with flag 557986/45010 20.63/17.87 c cleaning 9970 clauses out of 20032 with flag 681557/56010 24.12/21.33 c cleaning 10996 clauses out of 22062 with flag 811119/68010 27.52/24.76 c cleaning 12022 clauses out of 24066 with flag 975485/81010 30.93/28.11 c cleaning 12990 clauses out of 26044 with flag 1084569/95010 34.70/31.99 c cleaning 14021 clauses out of 28054 with flag 1308386/110010 39.17/36.47 c cleaning 14997 clauses out of 30033 with flag 1520171/126010 43.50/40.76 c cleaning 15992 clauses out of 32036 with flag 1748663/143010 48.72/45.90 c cleaning 16956 clauses out of 34044 with flag 2000893/161010 54.11/51.34 c cleaning 18003 clauses out of 36088 with flag 2210676/180010 59.58/56.82 c cleaning 18999 clauses out of 38085 with flag 2482795/200010 65.17/62.46 c cleaning 19947 clauses out of 40086 with flag 2725346/221010 70.47/67.75 c cleaning 20980 clauses out of 42139 with flag 2996018/243010 76.55/73.86 c cleaning 22020 clauses out of 44159 with flag 3388543/266010 83.14/80.40 c cleaning 22990 clauses out of 46139 with flag 3692542/290010 89.62/86.94 c cleaning 24041 clauses out of 48149 with flag 3981838/315010 96.92/94.22 c cleaning 25044 clauses out of 50108 with flag 4288129/341010 104.46/101.80 c cleaning 26026 clauses out of 52064 with flag 4664004/368010 111.74/109.11 c cleaning 26943 clauses out of 54038 with flag 4980937/396010 119.52/116.98 c cleaning 28004 clauses out of 56095 with flag 5374077/425010 126.81/124.24 c cleaning 28911 clauses out of 58095 with flag 5801083/455014 134.36/131.85 c cleaning 30009 clauses out of 60180 with flag 6266811/486010 142.84/140.33 c cleaning 31070 clauses out of 62171 with flag 6733422/518010 152.13/149.60 c cleaning 31999 clauses out of 64103 with flag 7096509/551012 160.48/158.08 c cleaning 32992 clauses out of 66103 with flag 7459251/585011 170.48/168.04 c cleaning 34033 clauses out of 68111 with flag 7946505/620011 179.95/177.59 c cleaning 34967 clauses out of 70078 with flag 8401892/656011 189.51/187.17 c cleaning 35968 clauses out of 72110 with flag 8924246/693010 199.28/196.96 c cleaning 36982 clauses out of 74143 with flag 9450877/731011 209.06/206.78 c cleaning 37935 clauses out of 76160 with flag 9944147/770010 219.74/217.47 c cleaning 39019 clauses out of 78225 with flag 10408421/810010 231.39/229.14 c cleaning 39952 clauses out of 80206 with flag 10915147/851010 242.56/240.30 c cleaning 41042 clauses out of 82254 with flag 11438254/893010 254.62/252.44 c cleaning 42055 clauses out of 84212 with flag 12012998/936010 266.10/263.96 c cleaning 42959 clauses out of 86157 with flag 12643357/980010 277.39/275.22 c cleaning 43946 clauses out of 88199 with flag 13247176/1025011 289.02/286.92 c cleaning 45006 clauses out of 90252 with flag 13979766/1071010 300.81/298.75 c cleaning 46088 clauses out of 92246 with flag 14697108/1118010 313.76/313.53 c cleaning 47065 clauses out of 94158 with flag 15446769/1166010 327.85/327.65 c cleaning 48010 clauses out of 96093 with flag 16055795/1215010 341.39/341.29 c cleaning 48897 clauses out of 98083 with flag 16736658/1265010 354.58/354.45 c cleaning 50086 clauses out of 100187 with flag 17397702/1316011 369.05/368.95 c cleaning 50949 clauses out of 102100 with flag 18084593/1368010 384.00/383.98 c cleaning 52006 clauses out of 104151 with flag 18807386/1421010 398.96/399.00 c cleaning 53008 clauses out of 106147 with flag 19615228/1475012 414.60/414.69 c cleaning 54038 clauses out of 108137 with flag 20377114/1530010 431.04/430.82 c cleaning 55022 clauses out of 110099 with flag 21104531/1586010 446.88/446.72 c cleaning 55961 clauses out of 112079 with flag 21789645/1643012 463.46/463.31 c cleaning 56943 clauses out of 114116 with flag 22697320/1701010 478.53/480.89 c cleaning 58028 clauses out of 116173 with flag 23618627/1760010 496.19/498.50 c cleaning 58993 clauses out of 118145 with flag 24520493/1820010 514.81/517.22 c cleaning 60030 clauses out of 120153 with flag 25218134/1881011 533.43/535.95 c cleaning 61023 clauses out of 122123 with flag 25999310/1943011 553.31/555.89 c cleaning 61975 clauses out of 124099 with flag 26836796/2006010 572.26/574.86 c cleaning 62955 clauses out of 126124 with flag 27541592/2070010 591.13/593.72 c cleaning 64034 clauses out of 128169 with flag 28398250/2135010 611.68/614.39 c cleaning 65019 clauses out of 130135 with flag 29249845/2201010 633.49/636.49 c cleaning 66045 clauses out of 132116 with flag 30126008/2268010 654.45/657.41 c cleaning 66925 clauses out of 134071 with flag 31169166/2336010 676.55/679.55 c cleaning 68046 clauses out of 136146 with flag 32270455/2405010 699.17/702.23 c cleaning 69031 clauses out of 138101 with flag 33299679/2475011 722.32/725.40 c cleaning 69956 clauses out of 140069 with flag 34311449/2546010 744.89/748.08 c cleaning 71013 clauses out of 142113 with flag 35422681/2618010 766.19/769.34 c cleaning 72023 clauses out of 144101 with flag 36578732/2691011 787.19/790.47 c cleaning 73001 clauses out of 146078 with flag 37852866/2765011 808.93/812.21 c cleaning 73975 clauses out of 148077 with flag 39033844/2840011 832.42/835.75 c cleaning 74830 clauses out of 150101 with flag 40102030/2916010 858.39/861.74 c cleaning 76114 clauses out of 152271 with flag 41100376/2993010 882.96/886.32 c cleaning 77021 clauses out of 154157 with flag 42275513/3071010 908.32/911.76 c cleaning 78015 clauses out of 156136 with flag 43277075/3150010 933.67/937.17 c cleaning 79027 clauses out of 158121 with flag 44409740/3230010 960.32/963.86 c cleaning 79998 clauses out of 160094 with flag 45612464/3311010 988.28/991.87 c cleaning 80838 clauses out of 162096 with flag 47030598/3393010 1014.97/1018.56 c cleaning 82049 clauses out of 164258 with flag 48470505/3476010 1044.01/1047.66 c cleaning 83043 clauses out of 166209 with flag 49647880/3560010 1071.76/1075.47 c cleaning 84040 clauses out of 168166 with flag 51017253/3645010 1100.93/1104.64 c cleaning 84959 clauses out of 170126 with flag 52338396/3731010 1129.70/1133.49 c cleaning 86012 clauses out of 172168 with flag 53500029/3818011 1158.56/1162.39 c cleaning 86894 clauses out of 174155 with flag 54906028/3906010 1187.39/1191.26 c cleaning 88053 clauses out of 176261 with flag 56367322/3995010 1215.77/1219.61 c cleaning 89018 clauses out of 178209 with flag 57850858/4085011 1247.33/1251.28 c cleaning 89969 clauses out of 180190 with flag 59158175/4176010 1280.67/1284.63 c cleaning 91031 clauses out of 182223 with flag 60333538/4268012 1313.01/1317.07 c cleaning 91998 clauses out of 184190 with flag 61714096/4361010 1343.96/1348.10 c cleaning 93031 clauses out of 186192 with flag 63276531/4455010 1376.08/1380.27 c cleaning 94009 clauses out of 188164 with flag 64817783/4550013 1409.31/1413.58 c cleaning 94970 clauses out of 190152 with flag 66610925/4646010 1443.80/1448.07 c cleaning 95956 clauses out of 192182 with flag 67989461/4743010 1479.53/1483.88 c cleaning 97004 clauses out of 194226 with flag 69088359/4841010 1515.95/1520.38 c cleaning 98050 clauses out of 196222 with flag 70267599/4940010 1551.08/1555.56 c cleaning 98986 clauses out of 198173 with flag 71503457/5040011 1591.29/1595.79 c cleaning 99991 clauses out of 200187 with flag 72821278/5141011 1627.73/1632.28 c cleaning 100944 clauses out of 202195 with flag 74123603/5243010 1666.91/1671.56 c cleaning 102086 clauses out of 204251 with flag 75391623/5346010 1703.95/1708.67 c cleaning 103042 clauses out of 206165 with flag 76640761/5450010 1743.38/1748.19 c cleaning 103911 clauses out of 208124 with flag 78063259/5555011 1783.44/1788.36 c cleaning 105082 clauses out of 210213 with flag 79344321/5661011 1825.19/1830.16 c cleaning 106009 clauses out of 212130 with flag 80640878/5768010 1866.34/1871.35 c cleaning 106995 clauses out of 214121 with flag 82033065/5876010 1908.28/1913.16 c cleaning 107960 clauses out of 216126 with flag 83390369/5985010 1950.05/1954.99 c cleaning 108995 clauses out of 218167 with flag 84813617/6095011 1993.47/1998.42 c cleaning 110043 clauses out of 220172 with flag 86526505/6206011 2033.87/2038.96 c cleaning 111041 clauses out of 222129 with flag 87761953/6318011 2074.19/2079.37 c cleaning 112022 clauses out of 224087 with flag 89096990/6431010 2117.27/2122.47 c cleaning 113007 clauses out of 226067 with flag 90427685/6545012 2159.27/2164.60 c cleaning 113966 clauses out of 228058 with flag 92070254/6660010 2205.52/2210.86 c cleaning 115022 clauses out of 230092 with flag 93454252/6776010 2248.65/2254.10 c cleaning 115994 clauses out of 232071 with flag 94860729/6893011 2287.31/2292.78 c cleaning 116976 clauses out of 234076 with flag 96470261/7011010 2329.34/2334.84 c cleaning 117970 clauses out of 236100 with flag 98373796/7130010 2372.28/2377.87 c cleaning 118906 clauses out of 238130 with flag 100145957/7250010 2414.95/2420.51 c cleaning 120029 clauses out of 240224 with flag 101944738/7371010 2459.58/2465.20 c cleaning 121020 clauses out of 242196 with flag 103698752/7493011 2503.89/2509.69 c cleaning 122003 clauses out of 244176 with flag 105745705/7616011 2547.97/2553.78 c cleaning 122962 clauses out of 246172 with flag 107688542/7740010 2591.66/2597.58 c cleaning 124011 clauses out of 248213 with flag 109337785/7865013 2645.55/2651.59 c cleaning 125094 clauses out of 250199 with flag 111284098/7991010 2693.13/2699.12 c cleaning 125982 clauses out of 252106 with flag 112929278/8118011 2741.17/2747.05 c cleaning 127044 clauses out of 254123 with flag 114393404/8246010 2791.76/2797.76 c cleaning 127935 clauses out of 256079 with flag 115932436/8375010 2841.08/2847.19 c cleaning 129045 clauses out of 258145 with flag 117281466/8505011 2892.95/2899.15 c cleaning 130048 clauses out of 260102 with flag 118870016/8636013 2943.39/2949.64 c cleaning 130991 clauses out of 262051 with flag 120293292/8768010 2994.76/3001.12 c cleaning 131954 clauses out of 264060 with flag 121831974/8901010 3045.70/3052.14 c cleaning 133023 clauses out of 266106 with flag 123216732/9035010 3098.02/3104.59 c cleaning 133988 clauses out of 268083 with flag 124672043/9170010 3151.32/3157.93 c cleaning 134977 clauses out of 270095 with flag 126436059/9306010 3204.94/3211.67 c cleaning 135994 clauses out of 272118 with flag 127965334/9443010 3252.76/3259.53 c cleaning 136959 clauses out of 274124 with flag 129850871/9581010 3301.07/3307.95 c cleaning 138021 clauses out of 276165 with flag 131505992/9720010 3354.34/3361.38 c cleaning 139032 clauses out of 278144 with flag 133439685/9860010 3403.42/3410.46 c cleaning 139986 clauses out of 280112 with flag 135415041/10001010 3451.69/3458.77 c cleaning 141047 clauses out of 282128 with flag 137295913/10143012 3502.00/3509.19 c cleaning 142001 clauses out of 284079 with flag 138934103/10286010 3557.18/3564.45 c cleaning 143003 clauses out of 286078 with flag 140489281/10430010 3600.06/3607.41 c starts : 561 3600.06/3607.41 c conflicts : 10543272 3600.06/3607.41 c decisions : 254379390 3600.06/3607.41 c propagations : 12484699154 3600.06/3607.41 c inspects : 44686432669 3600.06/3607.41 c shortcuts : 0 3600.06/3607.41 c learnt literals : 0 3600.06/3607.41 c learnt binary clauses : 8 3600.06/3607.41 c learnt ternary clauses : 11 3600.06/3607.41 c learnt constraints : 10543272 3600.06/3607.41 c ignored constraints : 0 3600.06/3607.41 c root simplifications : 0 3600.06/3607.41 c removed literals (reason simplification) : 119303292 3600.06/3607.41 c reason swapping (by a shorter reason) : 0 3600.06/3607.41 c Calls to reduceDB : 140 3600.06/3607.41 c Number of update (reduction) of LBD : 8405761 3600.06/3607.41 c Imported unit clauses : 0 3600.06/3607.41 c No decision after first conflict : false 3600.06/3607.41 c number of reductions to clauses (during analyze) : 0 3600.06/3607.41 c number of learned constraints concerned by reduction : 0 3600.06/3607.41 c number of learning phase by resolution : 0 3600.06/3607.41 c number of learning phase by cutting planes : 0 3600.06/3607.41 c number of rounding to 1 operations : 0 3600.06/3607.41 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.06/3607.41 c number of reductions of the coefficients by power 2 : 0 3600.06/3607.41 c number of right shift for reduction by power 2 : 0 3600.06/3607.41 c number of reductions of the coefficients by GCD over coefficients : 0 3600.06/3607.41 c number of ending skipping : 0 3600.06/3607.41 c number of internal skipping : 0 3600.06/3607.41 c number of derivation steps : 0 3600.06/3607.41 c number of skipped derivation steps : 0 3600.06/3607.41 c number of remaining unassigned : 0 3600.06/3607.41 c number of remaining assigned : 0 3600.06/3607.41 c number of falsified literals weakened from reason : 0 3600.06/3607.41 c number of falsified literals weakened from conflict : 0 3600.06/3607.41 c time for arithmetic operations : 0 3600.06/3607.41 c minimum degree of deleted constraints : null 3600.06/3607.41 c maximum degree of deleted constraints : null 3600.06/3607.41 c number of deleted constraints : 0 3600.06/3607.41 c speed (assignments/second) : 3461238.9160752012 3600.06/3607.41 c non guided choices : 0 3600.06/3607.48 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 256329 3600.06/3607.48 c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB : 8 3600.06/3607.48 s SATISFIABLE 3600.06/3607.48 c Found 2 solution(s) 3600.06/3607.49 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.06/3607.50 c objective function=26 3600.06/3607.50 c Total wall clock time (in seconds): 3607.364
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 (55569 MiB free)
memory of node 1: 64465 MiB (53622 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497799-1751408686/watcher-4497799-1751408686 -o /tmp/evaluation-result-4497799-1751408686/solver-4497799-1751408686 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751405064-57978 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4497799-1751408686 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4497799-1751408686.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=58499, runsolver pid=58496
[startup+0.100058 s]*
/proc/loadavg: 4.22 4.15 4.10 6/343 58517
/proc/meminfo: memFree=111778184/131249988 swapFree=33010672/33010684
[pid=58499] ppid=58496 vsize=18930384 memory=55444 CPUtime=0.12 cores=0,2
/proc/58499/stat : 58499 (java) S 58496 58499 57968 0 -1 4194304 6509 0 0 0 11 1 0 0 20 0 18 0 56546186 19384713216 13861 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
/proc/58499/statm: 4732596 13861 5339 1 0 547573 0
[pid=58499/tid=58501] ppid=58496 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/58499/task/58501/stat : 58501 (java) R 58496 58499 57968 0 -1 4194368 5015 0 0 0 6 1 0 0 20 0 18 0 56546188 19384713216 13861 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58510] ppid=58496 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/58499/task/58510/stat : 58510 (Finalizer) S 58496 58499 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56546190 19384713216 13861 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58517] ppid=58496 vsize=18930384 memory=55186957824150 CPUtime=0 cores=0,2
/proc/58499/task/58517/stat : 58517 (Common-Cleaner) S 58496 58499 57968 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 56546190 19384713216 13861 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55444 KiB
[startup+0.205857 s]*
/proc/loadavg: 4.22 4.15 4.10 7/343 58517
/proc/meminfo: memFree=111768732/131249988 swapFree=33010672/33010684
[pid=58499] ppid=58496 vsize=18930384 memory=66220 CPUtime=0.32 cores=0,2
/proc/58499/stat : 58499 (java) S 58496 58499 57968 0 -1 4194304 7046 0 0 0 30 2 0 0 20 0 18 0 56546186 19384713216 16555 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
/proc/58499/statm: 4732596 16555 5435 1 0 547911 0
[pid=58499/tid=58501] ppid=58496 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=0,2
/proc/58499/task/58501/stat : 58501 (java) R 58496 58499 57968 0 -1 4194368 5287 0 0 0 16 1 0 0 20 0 18 0 56546188 19384713216 16555 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58510] ppid=58496 vsize=18930384 memory=17146 CPUtime=0 cores=0,2
/proc/58499/task/58510/stat : 58510 (Finalizer) S 58496 58499 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56546190 19384713216 16555 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58517] ppid=58496 vsize=18930384 memory=54087446168546 CPUtime=0 cores=0,2
/proc/58499/task/58517/stat : 58517 (Common-Cleaner) S 58496 58499 57968 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 56546190 19384713216 16555 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66220 KiB
[startup+0.305787 s]*
/proc/loadavg: 4.22 4.15 4.10 6/343 58517
/proc/meminfo: memFree=111733256/131249988 swapFree=33010672/33010684
[pid=58499] ppid=58496 vsize=18930384 memory=103172 CPUtime=0.51 cores=0,2
/proc/58499/stat : 58499 (java) S 58496 58499 57968 0 -1 4194304 8547 0 0 0 48 3 0 0 20 0 18 0 56546186 19384713216 25793 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
/proc/58499/statm: 4732596 25793 5435 1 0 548949 0
[pid=58499/tid=58501] ppid=58496 vsize=18930384 memory=-6000919481229403242 CPUtime=0.27 cores=0,2
/proc/58499/task/58501/stat : 58501 (java) R 58496 58499 57968 0 -1 4194368 5320 0 0 0 25 2 0 0 20 0 18 0 56546188 19384713216 25793 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58510] ppid=58496 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/58499/task/58510/stat : 58510 (Finalizer) S 58496 58499 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56546190 19384713216 25793 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58517] ppid=58496 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/58499/task/58517/stat : 58517 (Common-Cleaner) S 58496 58499 57968 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 56546190 19384713216 25793 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 103172 KiB
[startup+0.700237 s]
/proc/loadavg: 4.22 4.15 4.10 6/344 58518
/proc/meminfo: memFree=111686628/131249988 swapFree=33010672/33010684
[pid=58499] ppid=58496 vsize=18996948 memory=170788 CPUtime=1.27 cores=0,2
/proc/58499/stat : 58499 (java) S 58496 58499 57968 0 -1 4194304 17517 0 0 0 121 6 0 0 20 0 19 0 56546186 19452874752 42697 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
/proc/58499/statm: 4749237 42697 5467 1 0 554773 0
[pid=58499/tid=58501] ppid=58496 vsize=18996948 memory=18432 CPUtime=0.56 cores=0,2
/proc/58499/task/58501/stat : 58501 (java) R 58496 58499 57968 0 -1 4194368 5474 0 0 0 53 3 0 0 20 0 19 0 56546188 19452874752 42697 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58510] ppid=58496 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/58499/task/58510/stat : 58510 (Finalizer) S 58496 58499 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 56546190 19452874752 42697 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58517] ppid=58496 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/58499/task/58517/stat : 58517 (Common-Cleaner) S 58496 58499 57968 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 56546190 19452874752 42697 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58518] ppid=58496 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/58499/task/58518/stat : 58518 (Timer-0) S 58496 58499 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 56546228 19452874752 42697 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 170788 KiB
[startup+1.50023 s]
/proc/loadavg: 4.22 4.15 4.10 6/345 58519
/proc/meminfo: memFree=111637292/131249988 swapFree=33010672/33010684
[pid=58499] ppid=58496 vsize=19063512 memory=185112 CPUtime=2.85 cores=0,2
/proc/58499/stat : 58499 (java) S 58496 58499 57968 0 -1 4194304 21984 0 0 0 279 6 0 0 20 0 20 0 56546186 19521036288 46278 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
/proc/58499/statm: 4765878 46278 5531 1 0 555066 0
[pid=58499/tid=58501] ppid=58496 vsize=19063512 memory=0 CPUtime=1.32 cores=0,2
/proc/58499/task/58501/stat : 58501 (java) R 58496 58499 57968 0 -1 4194368 5766 0 0 0 129 3 0 0 20 0 20 0 56546188 19521036288 46278 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58510] ppid=58496 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/58499/task/58510/stat : 58510 (Finalizer) S 58496 58499 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 46278 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58517] ppid=58496 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/58499/task/58517/stat : 58517 (Common-Cleaner) S 58496 58499 57968 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 46278 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58518] ppid=58496 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/58499/task/58518/stat : 58518 (Timer-0) S 58496 58499 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56546228 19521036288 46278 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 185112 KiB
[startup+3.10564 s]
/proc/loadavg: 4.28 4.17 4.10 5/345 58519
/proc/meminfo: memFree=111506408/131249988 swapFree=33010672/33010684
[pid=58499] ppid=58496 vsize=19063512 memory=186008 CPUtime=5.4 cores=0,2
/proc/58499/stat : 58499 (java) S 58496 58499 57968 0 -1 4194304 27813 0 0 0 533 7 0 0 20 0 20 0 56546186 19521036288 46502 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
/proc/58499/statm: 4765878 46502 5531 1 0 555111 0
[pid=58499/tid=58501] ppid=58496 vsize=19063512 memory=10752 CPUtime=2.9 cores=0,2
/proc/58499/task/58501/stat : 58501 (java) R 58496 58499 57968 0 -1 4194368 7133 0 0 0 286 4 0 0 20 0 20 0 56546188 19521036288 46502 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58510] ppid=58496 vsize=19063512 memory=-6000919481229403242 CPUtime=0 cores=0,2
/proc/58499/task/58510/stat : 58510 (Finalizer) S 58496 58499 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 46502 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58517] ppid=58496 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/58499/task/58517/stat : 58517 (Common-Cleaner) S 58496 58499 57968 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 46502 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58518] ppid=58496 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/58499/task/58518/stat : 58518 (Timer-0) S 58496 58499 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56546228 19521036288 46502 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
Current children cumulated CPU time: 5.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 186008 KiB
[startup+6.30019 s]
/proc/loadavg: 4.28 4.17 4.10 5/322 58555
/proc/meminfo: memFree=121815632/131249988 swapFree=33010672/33010684
[pid=58499] ppid=58496 vsize=19063512 memory=185104 CPUtime=9.02 cores=0,2
/proc/58499/stat : 58499 (java) S 58496 58499 57968 0 -1 4194304 30344 0 0 0 894 8 0 0 20 0 20 0 56546186 19521036288 46276 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
/proc/58499/statm: 4765878 46276 5531 1 0 555444 0
[pid=58499/tid=58501] ppid=58496 vsize=19063512 memory=0 CPUtime=6.07 cores=0,2
/proc/58499/task/58501/stat : 58501 (java) R 58496 58499 57968 0 -1 4194368 7536 0 0 0 603 4 0 0 20 0 20 0 56546188 19521036288 46276 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58510] ppid=58496 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/58499/task/58510/stat : 58510 (Finalizer) S 58496 58499 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 46276 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58517] ppid=58496 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/58499/task/58517/stat : 58517 (Common-Cleaner) S 58496 58499 57968 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 46276 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58518] ppid=58496 vsize=19063512 memory=185240 CPUtime=0 cores=0,2
/proc/58499/task/58518/stat : 58518 (Timer-0) S 58496 58499 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56546228 19521036288 46276 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
Current children cumulated CPU time: 9.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 185104 KiB
[startup+12.7002 s]
/proc/loadavg: 4.61 4.24 4.13 6/345 58653
/proc/meminfo: memFree=128680500/131249988 swapFree=33010672/33010684
[pid=58499] ppid=58496 vsize=19063512 memory=258172 CPUtime=15.54 cores=0,2
/proc/58499/stat : 58499 (java) S 58496 58499 57968 0 -1 4194304 34895 0 0 0 1543 11 0 0 20 0 20 0 56546186 19521036288 64543 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
/proc/58499/statm: 4765878 64543 5563 1 0 555668 0
[pid=58499/tid=58501] ppid=58496 vsize=19063512 memory=185240 CPUtime=12.44 cores=0,2
/proc/58499/task/58501/stat : 58501 (java) R 58496 58499 57968 0 -1 4194368 8633 0 0 0 1238 6 0 0 20 0 20 0 56546188 19521036288 64543 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58510] ppid=58496 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/58499/task/58510/stat : 58510 (Finalizer) S 58496 58499 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 64543 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58517] ppid=58496 vsize=19063512 memory=186128 CPUtime=0 cores=0,2
/proc/58499/task/58517/stat : 58517 (Common-Cleaner) S 58496 58499 57968 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 64543 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58518] ppid=58496 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/58499/task/58518/stat : 58518 (Timer-0) S 58496 58499 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56546228 19521036288 64543 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
Current children cumulated CPU time: 15.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 258172 KiB
[startup+25.5002 s]
/proc/loadavg: 4.52 4.23 4.13 5/345 58653
/proc/meminfo: memFree=126905108/131249988 swapFree=33010672/33010684
[pid=58499] ppid=58496 vsize=19063512 memory=442512 CPUtime=28.32 cores=0,2
/proc/58499/stat : 58499 (java) S 58496 58499 57968 0 -1 4194304 36804 0 0 0 2815 17 0 0 20 0 20 0 56546186 19521036288 110628 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
/proc/58499/statm: 4765878 110628 5563 1 0 555668 0
[pid=58499/tid=58501] ppid=58496 vsize=19063512 memory=3328 CPUtime=25.19 cores=0,2
/proc/58499/task/58501/stat : 58501 (java) R 58496 58499 57968 0 -1 4194368 9173 0 0 0 2508 11 0 0 20 0 20 0 56546188 19521036288 110628 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58510] ppid=58496 vsize=19063512 memory=-6000919481229403242 CPUtime=0 cores=0,2
/proc/58499/task/58510/stat : 58510 (Finalizer) S 58496 58499 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 110628 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58517] ppid=58496 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/58499/task/58517/stat : 58517 (Common-Cleaner) S 58496 58499 57968 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 110628 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58518] ppid=58496 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/58499/task/58518/stat : 58518 (Timer-0) S 58496 58499 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56546228 19521036288 110628 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
Current children cumulated CPU time: 28.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 442512 KiB
[startup+51.1058 s]
/proc/loadavg: 4.41 4.23 4.13 5/345 58653
/proc/meminfo: memFree=124993972/131249988 swapFree=33010672/33010684
[pid=58499] ppid=58496 vsize=19063512 memory=790784 CPUtime=53.91 cores=0,2
/proc/58499/stat : 58499 (java) S 58496 58499 57968 0 -1 4194304 40073 0 0 0 5364 27 0 0 20 0 20 0 56546186 19521036288 197696 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
/proc/58499/statm: 4765878 197696 5563 1 0 555668 0
[pid=58499/tid=58501] ppid=58496 vsize=19063512 memory=5632 CPUtime=50.7 cores=0,2
/proc/58499/task/58501/stat : 58501 (java) R 58496 58499 57968 0 -1 4194368 10149 0 0 0 5050 20 0 0 20 0 20 0 56546188 19521036288 197696 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58510] ppid=58496 vsize=19063512 memory=790784 CPUtime=0 cores=0,2
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/342 58819
/proc/meminfo: memFree=103222112/131249988 swapFree=33010672/33010684
[pid=58499] ppid=58496 vsize=19063512 memory=2175024 CPUtime=3275.51 cores=0,2
/proc/58499/stat : 58499 (java) S 58496 58499 57968 0 -1 4194304 108561 0 0 0 327099 452 0 0 20 0 20 0 56546186 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
/proc/58499/statm: 4765878 543756 5563 1 0 558819 0
[pid=58499/tid=58501] ppid=58496 vsize=19063512 memory=2175024 CPUtime=3260.86 cores=0,2
/proc/58499/task/58501/stat : 58501 (java) R 58496 58499 57968 0 -1 4194368 41243 0 0 0 325713 373 0 0 20 0 20 0 56546188 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58510] ppid=58496 vsize=19063512 memory=2175024 CPUtime=0 cores=0,2
/proc/58499/task/58510/stat : 58510 (Finalizer) S 58496 58499 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58517] ppid=58496 vsize=19063512 memory=2175024 CPUtime=0 cores=0,2
/proc/58499/task/58517/stat : 58517 (Common-Cleaner) S 58496 58499 57968 0 -1 4194368 1630 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58518] ppid=58496 vsize=19063512 memory=2175024 CPUtime=0 cores=0,2
/proc/58499/task/58518/stat : 58518 (Timer-0) S 58496 58499 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56546228 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
Current children cumulated CPU time: 3275.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175024 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/342 58821
/proc/meminfo: memFree=102985292/131249988 swapFree=33010672/33010684
[pid=58499] ppid=58496 vsize=19063512 memory=2175024 CPUtime=3335.41 cores=0,2
/proc/58499/stat : 58499 (java) S 58496 58499 57968 0 -1 4194304 108611 0 0 0 333082 459 0 0 20 0 20 0 56546186 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
/proc/58499/statm: 4765878 543756 5563 1 0 558819 0
[pid=58499/tid=58501] ppid=58496 vsize=19063512 memory=2175024 CPUtime=3320.52 cores=0,2
/proc/58499/task/58501/stat : 58501 (java) R 58496 58499 57968 0 -1 4194368 41251 0 0 0 331674 378 0 0 20 0 20 0 56546188 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58510] ppid=58496 vsize=19063512 memory=2175024 CPUtime=0 cores=0,2
/proc/58499/task/58510/stat : 58510 (Finalizer) S 58496 58499 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58517] ppid=58496 vsize=19063512 memory=2175024 CPUtime=0 cores=0,2
/proc/58499/task/58517/stat : 58517 (Common-Cleaner) S 58496 58499 57968 0 -1 4194368 1630 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58518] ppid=58496 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/58499/task/58518/stat : 58518 (Timer-0) S 58496 58499 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56546228 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
Current children cumulated CPU time: 3335.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175024 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.12 4.10 5/342 58823
/proc/meminfo: memFree=102731340/131249988 swapFree=33010672/33010684
[pid=58499] ppid=58496 vsize=19063512 memory=2175024 CPUtime=3395.35 cores=0,2
/proc/58499/stat : 58499 (java) S 58496 58499 57968 0 -1 4194304 109690 0 0 0 339070 465 0 0 20 0 20 0 56546186 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
/proc/58499/statm: 4765878 543756 5563 1 0 558819 0
[pid=58499/tid=58501] ppid=58496 vsize=19063512 memory=2175024 CPUtime=3380.21 cores=0,2
/proc/58499/task/58501/stat : 58501 (java) R 58496 58499 57968 0 -1 4194368 42131 0 0 0 337638 383 0 0 20 0 20 0 56546188 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58510] ppid=58496 vsize=19063512 memory=2175024 CPUtime=0 cores=0,2
/proc/58499/task/58510/stat : 58510 (Finalizer) S 58496 58499 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58517] ppid=58496 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/58499/task/58517/stat : 58517 (Common-Cleaner) S 58496 58499 57968 0 -1 4194368 1630 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58518] ppid=58496 vsize=19063512 memory=21872 CPUtime=0 cores=0,2
/proc/58499/task/58518/stat : 58518 (Timer-0) S 58496 58499 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56546228 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
Current children cumulated CPU time: 3395.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175024 KiB
[startup+3462.3 s]
/proc/loadavg: 4.29 4.16 4.11 5/343 58826
/proc/meminfo: memFree=102480056/131249988 swapFree=33010672/33010684
[pid=58499] ppid=58496 vsize=19063512 memory=2175024 CPUtime=3455.28 cores=0,2
/proc/58499/stat : 58499 (java) S 58496 58499 57968 0 -1 4194304 110511 0 0 0 345055 473 0 0 20 0 20 0 56546186 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
/proc/58499/statm: 4765878 543756 5563 1 0 558819 0
[pid=58499/tid=58501] ppid=58496 vsize=19063512 memory=2175024 CPUtime=3439.87 cores=0,2
/proc/58499/task/58501/stat : 58501 (java) R 58496 58499 57968 0 -1 4194368 42737 0 0 0 343597 390 0 0 20 0 20 0 56546188 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58510] ppid=58496 vsize=19063512 memory=2175024 CPUtime=0 cores=0,2
/proc/58499/task/58510/stat : 58510 (Finalizer) S 58496 58499 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58517] ppid=58496 vsize=19063512 memory=18432 CPUtime=0 cores=0,2
/proc/58499/task/58517/stat : 58517 (Common-Cleaner) S 58496 58499 57968 0 -1 4194368 1690 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58518] ppid=58496 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/58499/task/58518/stat : 58518 (Timer-0) S 58496 58499 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56546228 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
Current children cumulated CPU time: 3455.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175024 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/345 58830
/proc/meminfo: memFree=102208204/131249988 swapFree=33010672/33010684
[pid=58499] ppid=58496 vsize=19063512 memory=2175024 CPUtime=3515.17 cores=0,2
/proc/58499/stat : 58499 (java) S 58496 58499 57968 0 -1 4194304 111254 0 0 0 351037 480 0 0 20 0 20 0 56546186 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
/proc/58499/statm: 4765878 543756 5563 1 0 558819 0
[pid=58499/tid=58501] ppid=58496 vsize=19063512 memory=2175024 CPUtime=3499.59 cores=0,2
/proc/58499/task/58501/stat : 58501 (java) R 58496 58499 57968 0 -1 4194368 43267 0 0 0 349564 395 0 0 20 0 20 0 56546188 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58510] ppid=58496 vsize=19063512 memory=2175024 CPUtime=0 cores=0,2
/proc/58499/task/58510/stat : 58510 (Finalizer) S 58496 58499 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58517] ppid=58496 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/58499/task/58517/stat : 58517 (Common-Cleaner) S 58496 58499 57968 0 -1 4194368 1793 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58518] ppid=58496 vsize=19063512 memory=2175024 CPUtime=0 cores=0,2
/proc/58499/task/58518/stat : 58518 (Timer-0) S 58496 58499 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56546228 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
Current children cumulated CPU time: 3515.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175024 KiB
[startup+3582.3 s]
/proc/loadavg: 4.24 4.17 4.11 5/345 58836
/proc/meminfo: memFree=101937020/131249988 swapFree=33010672/33010684
[pid=58499] ppid=58496 vsize=19063512 memory=2175024 CPUtime=3575.05 cores=0,2
/proc/58499/stat : 58499 (java) S 58496 58499 57968 0 -1 4194304 111300 0 0 0 357017 488 0 0 20 0 20 0 56546186 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
/proc/58499/statm: 4765878 543756 5563 1 0 558819 0
[pid=58499/tid=58501] ppid=58496 vsize=19063512 memory=2175024 CPUtime=3559.29 cores=0,2
/proc/58499/task/58501/stat : 58501 (java) R 58496 58499 57968 0 -1 4194368 43278 0 0 0 355527 402 0 0 20 0 20 0 56546188 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58510] ppid=58496 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/58499/task/58510/stat : 58510 (Finalizer) S 58496 58499 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58517] ppid=58496 vsize=19063512 memory=2175024 CPUtime=0 cores=0,2
/proc/58499/task/58517/stat : 58517 (Common-Cleaner) S 58496 58499 57968 0 -1 4194368 1793 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58518] ppid=58496 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/58499/task/58518/stat : 58518 (Timer-0) S 58496 58499 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56546228 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
Current children cumulated CPU time: 3575.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175024 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.4 s]
/proc/loadavg: 4.31 4.18 4.12 5/321 58941
/proc/meminfo: memFree=115701220/131249988 swapFree=33010672/33010684
[pid=58499] ppid=58496 vsize=19063512 memory=2175024 CPUtime=3600.06 cores=0,2
/proc/58499/stat : 58499 (java) S 58496 58499 57968 0 -1 4194304 111478 0 0 0 359515 491 0 0 20 0 20 0 56546186 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
/proc/58499/statm: 4765878 543756 5563 1 0 558819 0
[pid=58499/tid=58501] ppid=58496 vsize=19063512 memory=18432 CPUtime=3584.28 cores=0,2
/proc/58499/task/58501/stat : 58501 (java) R 58496 58499 57968 0 -1 4194368 43447 0 0 0 358023 405 0 0 20 0 20 0 56546188 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58510] ppid=58496 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/58499/task/58510/stat : 58510 (Finalizer) S 58496 58499 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58517] ppid=58496 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/58499/task/58517/stat : 58517 (Common-Cleaner) S 58496 58499 57968 0 -1 4194368 1793 0 0 0 0 0 0 0 20 0 20 0 56546190 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58518] ppid=58496 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/58499/task/58518/stat : 58518 (Timer-0) S 58496 58499 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56546228 19521036288 543756 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175024 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.53 s]
# the end of solver process 58499 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.35 s, system=4.92911 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3607.51 s]
/proc/loadavg: 4.31 4.18 4.12 5/321 58941
/proc/meminfo: memFree=115701220/131249988 swapFree=33010672/33010684
[pid=58499] ppid=58496 vsize=19263204 memory=2176176 CPUtime=3600.26 cores=0,2
/proc/58499/stat : 58499 (java) S 58496 58499 57968 0 -1 4194304 113808 0 0 0 359535 491 0 0 20 0 16 0 56546186 19725520896 544044 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
/proc/58499/statm: 4815801 544044 5595 1 0 559782 0
[pid=58499/tid=58501] ppid=58496 vsize=19263204 memory=2175024 CPUtime=3584.36 cores=0,2
/proc/58499/task/58501/stat : 58501 (java) R 58496 58499 57968 0 -1 4194368 43549 0 0 0 358031 405 0 0 20 0 16 0 56546188 19725520896 544044 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58510] ppid=58496 vsize=19263204 memory=2175024 CPUtime=0 cores=0,2
/proc/58499/task/58510/stat : 58510 (Finalizer) S 58496 58499 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 16 0 56546190 19725520896 544044 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
[pid=58499/tid=58517] ppid=58496 vsize=19263204 memory=2175024 CPUtime=0 cores=0,2
/proc/58499/task/58517/stat : 58517 (Common-Cleaner) S 58496 58499 57968 0 -1 4194368 1793 0 0 0 0 0 0 0 20 0 16 0 56546190 19725520896 544044 18446744073709551615 94396501213184 94396501216880 140723657176848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94396501224696 94396501225488 94396533956608 140723657181488 140723657181670 140723657181670 140723657187272 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2176176 KiB
Child status: 143
Real time (s): 3607.53
CPU time (s): 3600.28
CPU user time (s): 3595.35
CPU system time (s): 4.92911
CPU usage (%): 99.7991
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2176176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.35
system time used= 4.92911
maximum resident set size= 2176304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113835
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7327872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112720
involuntary context switches= 8329
# summary of solver processes directly reported to runsolver:
# pid: 58499
# total CPU time (s): 3600.28
# total CPU user time (s): 3595.35
# total CPU system time (s): 4.92911
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.56191 second user time and 18.2619 second system time
The end
Begin job on nodeC020 at 2025-07-02 00:24:46 IDJOB=4497799 IDBENCH=148193 IDSOLVER=3364 FILE ID=nodeC020/4497799-1751408686 RUNJOBID= nodeC020-1751405064-57978 SLURM_JOB_ID= 9598292 Free space on /tmp= 432712 MiB SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497799-1751408686/watcher-4497799-1751408686 -o /tmp/evaluation-result-4497799-1751408686/solver-4497799-1751408686 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751405064-57978 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4497799-1751408686 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4497799-1751408686.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7 RANDOM SEED=281670807 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.899 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 : 3599.872 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 : 3599.773 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 : 3550.728 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 : 3599.900 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 : 3599.900 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 : 3600.665 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 : 3599.843 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: 111811864 kB MemAvailable: 125321164 kB Buffers: 2128 kB Cached: 14299632 kB SwapCached: 8 kB Active: 4969384 kB Inactive: 13862396 kB Active(anon): 4525636 kB Inactive(anon): 22512 kB Active(file): 443748 kB Inactive(file): 13839884 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010672 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 90268 kB Writeback: 0 kB AnonPages: 4532660 kB Mapped: 123904 kB Shmem: 18048 kB KReclaimable: 129812 kB Slab: 222184 kB SReclaimable: 129812 kB SUnreclaim: 92372 kB KernelStack: 5264 kB PageTables: 12576 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 7082700 kB VmallocTotal: 34359738367 kB VmallocUsed: 151480 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 4308992 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= 432584 MiB End job on nodeC020 at 2025-07-02 01:24:54