Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2024 2024-07-07 | SAT (TO) | 26 | 3600.55 | 3611.57 |
| 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 | 263.345 |
| 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.11/0.19 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.11/0.19 c This is free software under the dual EPL/GNU LGPL licenses. 0.11/0.19 c See www.sat4j.org for details. 0.11/0.20 c version CUSTOM.v20240707 0.28/0.23 c java.runtime.name OpenJDK Runtime Environment 0.28/0.23 c java.vm.name OpenJDK 64-Bit Server VM 0.28/0.23 c java.vm.version 22.0.1+8-16 0.28/0.23 c java.vm.vendor Oracle Corporation 0.28/0.23 c sun.arch.data.model 64 0.28/0.23 c java.version 22.0.1 0.28/0.23 c os.name Linux 0.28/0.23 c os.version 4.18.0-301.1.el8.x86_64 0.28/0.23 c os.arch amd64 0.28/0.24 c Free memory 2113181440 0.28/0.24 c Max memory 16282288128 0.28/0.24 c Total memory 2122317824 0.28/0.25 c Number of processors 2 0.46/0.36 --- Begin Solver configuration --- 0.46/0.36 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.46/0.36 Learn all clauses as in MiniSAT 0.46/0.36 LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.46/0.36 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.46/0.36 Expensive reason simplification 0.46/0.36 Glucose 2.1 dynamic restart strategy 0.46/0.36 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.46/0.36 timeout=2147483s 0.46/0.36 DB Simplification allowed=false 0.46/0.36 Listener: none 0.46/0.36 --- End Solver configuration --- 0.46/0.36 c Pseudo Boolean Optimization by upper bound 0.46/0.36 c --- Begin Solver configuration --- 0.46/0.36 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.46/0.36 c Learn all clauses as in MiniSAT 0.46/0.36 c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.46/0.36 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.46/0.36 c Expensive reason simplification 0.46/0.36 c Glucose 2.1 dynamic restart strategy 0.46/0.36 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.46/0.36 c timeout=2147483s 0.46/0.36 c DB Simplification allowed=false 0.46/0.36 c Listener: none 0.46/0.36 c --- End Solver configuration --- 0.46/0.36 c solving HOME/instance-4440389-1721820325.opb 0.46/0.36 c reading problem ... 0.46/0.37 c using VERIPB proof format 0.46/0.37 c objective function found 1.32/0.87 c ... done. Wall clock time 0.508s. 1.32/0.88 c declared #vars 8901 1.32/0.88 c #constraints 32298 1.32/0.88 c constraints type 1.32/0.88 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 24193 1.32/0.88 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1.32/0.88 c org.sat4j.pb.constraints.pb.UnitClausePB => 5 1.32/0.88 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8099 1.32/0.88 c 32298 constraints processed. 1.52/0.91 c objective function length is 790 literals 1.71/1.03 c SATISFIABLE 1.71/1.04 c OPTIMIZING... 1.71/1.04 c Got one! Elapsed wall clock time (in seconds):0.672 1.71/1.04 o 27 1.71/1.09 c Got one! Elapsed wall clock time (in seconds):0.735 1.71/1.10 o 26 6.43/3.59 c cleaning 2504 clauses out of 5010 with flag 49920/5010 8.48/5.27 c cleaning 4175 clauses out of 8506 with flag 109279/11010 11.02/7.37 c cleaning 5613 clauses out of 11331 with flag 209848/18010 13.86/9.97 c cleaning 6841 clauses out of 13718 with flag 323427/26010 16.67/12.76 c cleaning 7923 clauses out of 15877 with flag 430758/35010 19.97/16.07 c cleaning 8922 clauses out of 17954 with flag 557986/45010 23.35/19.41 c cleaning 9970 clauses out of 20032 with flag 681557/56010 26.85/23.01 c cleaning 10996 clauses out of 22062 with flag 811119/68010 30.55/26.60 c cleaning 12022 clauses out of 24066 with flag 975485/81010 33.95/30.10 c cleaning 12990 clauses out of 26044 with flag 1084569/95010 38.02/34.38 c cleaning 14021 clauses out of 28054 with flag 1308386/110010 42.62/38.99 c cleaning 14997 clauses out of 30033 with flag 1520171/126010 47.54/43.64 c cleaning 15992 clauses out of 32036 with flag 1748663/143010 52.88/48.88 c cleaning 16956 clauses out of 34044 with flag 2000893/161010 58.47/54.42 c cleaning 18003 clauses out of 36088 with flag 2210676/180010 64.08/60.09 c cleaning 18999 clauses out of 38085 with flag 2482795/200010 69.95/66.17 c cleaning 19947 clauses out of 40086 with flag 2725346/221010 75.33/71.51 c cleaning 20980 clauses out of 42139 with flag 2996018/243010 81.63/77.84 c cleaning 22020 clauses out of 44159 with flag 3388543/266010 88.42/84.66 c cleaning 22990 clauses out of 46139 with flag 3692542/290010 95.11/91.32 c cleaning 24041 clauses out of 48149 with flag 3981838/315010 102.50/98.99 c cleaning 25044 clauses out of 50108 with flag 4288129/341010 110.39/106.85 c cleaning 26026 clauses out of 52064 with flag 4664004/368010 118.07/114.56 c cleaning 26943 clauses out of 54038 with flag 4980937/396010 126.17/122.68 c cleaning 28004 clauses out of 56095 with flag 5374077/425010 133.78/130.42 c cleaning 28911 clauses out of 58095 with flag 5801083/455014 141.57/138.28 c cleaning 30009 clauses out of 60180 with flag 6266811/486010 150.37/147.10 c cleaning 31070 clauses out of 62171 with flag 6733422/518010 160.10/157.01 c cleaning 31999 clauses out of 64103 with flag 7096509/551012 168.87/165.87 c cleaning 32992 clauses out of 66103 with flag 7459251/585011 179.46/176.40 c cleaning 34033 clauses out of 68111 with flag 7946505/620011 189.49/186.61 c cleaning 34967 clauses out of 70078 with flag 8401892/656011 199.27/196.43 c cleaning 35968 clauses out of 72110 with flag 8924246/693010 209.45/206.62 c cleaning 36982 clauses out of 74143 with flag 9450877/731011 219.54/216.88 c cleaning 37935 clauses out of 76160 with flag 9944147/770010 230.62/227.97 c cleaning 39019 clauses out of 78225 with flag 10408421/810010 242.71/240.09 c cleaning 39952 clauses out of 80206 with flag 10915147/851010 254.26/251.79 c cleaning 41042 clauses out of 82254 with flag 11438254/893010 266.84/264.35 c cleaning 42055 clauses out of 84212 with flag 12012998/936010 278.72/276.20 c cleaning 42959 clauses out of 86157 with flag 12643357/980010 290.35/288.01 c cleaning 43946 clauses out of 88199 with flag 13247176/1025011 302.12/299.88 c cleaning 45006 clauses out of 90252 with flag 13979766/1071010 314.18/312.03 c cleaning 46088 clauses out of 92246 with flag 14697108/1118010 327.45/325.35 c cleaning 47065 clauses out of 94158 with flag 15446769/1166010 341.90/339.94 c cleaning 48010 clauses out of 96093 with flag 16055795/1215010 356.18/354.22 c cleaning 48897 clauses out of 98083 with flag 16736658/1265010 369.85/367.93 c cleaning 50086 clauses out of 100187 with flag 17397702/1316011 384.82/383.06 c cleaning 50949 clauses out of 102100 with flag 18084593/1368010 400.18/398.40 c cleaning 52006 clauses out of 104151 with flag 18807386/1421010 415.63/414.02 c cleaning 53008 clauses out of 106147 with flag 19615228/1475012 431.70/430.15 c cleaning 54038 clauses out of 108137 with flag 20377114/1530010 448.79/447.26 c cleaning 55022 clauses out of 110099 with flag 21104531/1586010 465.59/463.72 c cleaning 55961 clauses out of 112079 with flag 21789645/1643012 482.66/480.88 c cleaning 56943 clauses out of 114116 with flag 22697320/1701010 498.26/496.53 c cleaning 58028 clauses out of 116173 with flag 23618627/1760010 516.22/514.58 c cleaning 58993 clauses out of 118145 with flag 24520493/1820010 535.24/533.65 c cleaning 60030 clauses out of 120153 with flag 25218134/1881011 553.91/552.35 c cleaning 61023 clauses out of 122123 with flag 25999310/1943011 574.00/572.58 c cleaning 61975 clauses out of 124099 with flag 26836796/2006010 593.00/591.69 c cleaning 62955 clauses out of 126124 with flag 27541592/2070010 611.85/610.58 c cleaning 64034 clauses out of 128169 with flag 28398250/2135010 633.72/632.49 c cleaning 65019 clauses out of 130135 with flag 29249845/2201010 657.27/656.14 c cleaning 66045 clauses out of 132116 with flag 30126008/2268010 678.81/677.99 c cleaning 66925 clauses out of 134071 with flag 31169166/2336010 701.90/701.25 c cleaning 68046 clauses out of 136146 with flag 32270455/2405010 725.98/725.55 c cleaning 69031 clauses out of 138101 with flag 33299679/2475011 749.30/748.91 c cleaning 69956 clauses out of 140069 with flag 34311449/2546010 772.01/771.77 c cleaning 71013 clauses out of 142113 with flag 35422681/2618010 793.79/793.54 c cleaning 72023 clauses out of 144101 with flag 36578732/2691011 815.57/815.42 c cleaning 73001 clauses out of 146078 with flag 37852866/2765011 837.71/837.70 c cleaning 73975 clauses out of 148077 with flag 39033844/2840011 862.27/862.45 c cleaning 74830 clauses out of 150101 with flag 40102030/2916010 888.60/888.99 c cleaning 76114 clauses out of 152271 with flag 41100376/2993010 914.84/915.33 c cleaning 77021 clauses out of 154157 with flag 42275513/3071010 940.84/941.44 c cleaning 78015 clauses out of 156136 with flag 43277075/3150010 966.82/967.59 c cleaning 79027 clauses out of 158121 with flag 44409740/3230010 993.96/994.83 c cleaning 79998 clauses out of 160094 with flag 45612464/3311010 1022.57/1023.66 c cleaning 80838 clauses out of 162096 with flag 47030598/3393010 1050.96/1053.63 c cleaning 82049 clauses out of 164258 with flag 48470505/3476010 1081.66/1084.83 c cleaning 83043 clauses out of 166209 with flag 49647880/3560010 1109.85/1113.13 c cleaning 84040 clauses out of 168166 with flag 51017253/3645010 1139.30/1142.70 c cleaning 84959 clauses out of 170126 with flag 52338396/3731010 1168.50/1171.93 c cleaning 86012 clauses out of 172168 with flag 53500029/3818011 1197.89/1201.42 c cleaning 86894 clauses out of 174155 with flag 54906028/3906010 1227.69/1231.30 c cleaning 88053 clauses out of 176261 with flag 56367322/3995010 1256.67/1260.40 c cleaning 89018 clauses out of 178209 with flag 57850858/4085011 1289.04/1292.95 c cleaning 89969 clauses out of 180190 with flag 59158175/4176010 1322.96/1327.12 c cleaning 91031 clauses out of 182223 with flag 60333538/4268012 1355.72/1360.25 c cleaning 91998 clauses out of 184190 with flag 61714096/4361010 1386.86/1391.77 c cleaning 93031 clauses out of 186192 with flag 63276531/4455010 1419.74/1425.03 c cleaning 94009 clauses out of 188164 with flag 64817783/4550013 1453.61/1459.29 c cleaning 94970 clauses out of 190152 with flag 66610925/4646010 1488.85/1494.79 c cleaning 95956 clauses out of 192182 with flag 67989461/4743010 1524.99/1530.97 c cleaning 97004 clauses out of 194226 with flag 69088359/4841010 1561.80/1567.92 c cleaning 98050 clauses out of 196222 with flag 70267599/4940010 1597.46/1603.71 c cleaning 98986 clauses out of 198173 with flag 71503457/5040011 1638.30/1644.66 c cleaning 99991 clauses out of 200187 with flag 72821278/5141011 1675.28/1681.72 c cleaning 100944 clauses out of 202195 with flag 74123603/5243010 1714.90/1721.57 c cleaning 102086 clauses out of 204251 with flag 75391623/5346010 1752.69/1759.36 c cleaning 103042 clauses out of 206165 with flag 76640761/5450010 1794.75/1801.67 c cleaning 103911 clauses out of 208124 with flag 78063259/5555011 1836.40/1843.53 c cleaning 105082 clauses out of 210213 with flag 79344321/5661011 1879.16/1886.40 c cleaning 106009 clauses out of 212130 with flag 80640878/5768010 1921.17/1928.59 c cleaning 106995 clauses out of 214121 with flag 82033065/5876010 1963.89/1970.86 c cleaning 107960 clauses out of 216126 with flag 83390369/5985010 2006.64/2013.60 c cleaning 108995 clauses out of 218167 with flag 84813617/6095011 2051.18/2058.37 c cleaning 110043 clauses out of 220172 with flag 86526505/6206011 2092.76/2100.00 c cleaning 111041 clauses out of 222129 with flag 87761953/6318011 2134.14/2141.86 c cleaning 112022 clauses out of 224087 with flag 89096990/6431010 2177.78/2185.50 c cleaning 113007 clauses out of 226067 with flag 90427685/6545012 2219.95/2227.78 c cleaning 113966 clauses out of 228058 with flag 92070254/6660010 2266.68/2274.56 c cleaning 115022 clauses out of 230092 with flag 93454252/6776010 2310.85/2318.70 c cleaning 115994 clauses out of 232071 with flag 94860729/6893011 2350.47/2358.44 c cleaning 116976 clauses out of 234076 with flag 96470261/7011010 2392.89/2400.86 c cleaning 117970 clauses out of 236100 with flag 98373796/7130010 2437.21/2445.26 c cleaning 118906 clauses out of 238130 with flag 100145957/7250010 2480.72/2488.79 c cleaning 120029 clauses out of 240224 with flag 101944738/7371010 2525.82/2533.95 c cleaning 121020 clauses out of 242196 with flag 103698752/7493011 2570.96/2579.15 c cleaning 122003 clauses out of 244176 with flag 105745705/7616011 2615.37/2623.68 c cleaning 122962 clauses out of 246172 with flag 107688542/7740010 2661.97/2670.32 c cleaning 124011 clauses out of 248213 with flag 109337785/7865013 2716.86/2725.36 c cleaning 125094 clauses out of 250199 with flag 111284098/7991010 2765.82/2774.34 c cleaning 125982 clauses out of 252106 with flag 112929278/8118011 2814.35/2822.97 c cleaning 127044 clauses out of 254123 with flag 114393404/8246010 2865.26/2874.16 c cleaning 127935 clauses out of 256079 with flag 115932436/8375010 2915.40/2924.35 c cleaning 129045 clauses out of 258145 with flag 117281466/8505011 2968.72/2977.39 c cleaning 130048 clauses out of 260102 with flag 118870016/8636013 3019.75/3028.51 c cleaning 130991 clauses out of 262051 with flag 120293292/8768010 3072.13/3081.15 c cleaning 131954 clauses out of 264060 with flag 121831974/8901010 3124.13/3133.36 c cleaning 133023 clauses out of 266106 with flag 123216732/9035010 3178.16/3187.59 c cleaning 133988 clauses out of 268083 with flag 124672043/9170010 3233.38/3243.69 c cleaning 134977 clauses out of 270095 with flag 126436059/9306010 3287.16/3297.50 c cleaning 135994 clauses out of 272118 with flag 127965334/9443010 3336.12/3346.53 c cleaning 136959 clauses out of 274124 with flag 129850871/9581010 3385.51/3396.04 c cleaning 138021 clauses out of 276165 with flag 131505992/9720010 3440.66/3451.32 c cleaning 139032 clauses out of 278144 with flag 133439685/9860010 3491.42/3502.18 c cleaning 139986 clauses out of 280112 with flag 135415041/10001010 3541.28/3552.21 c cleaning 141047 clauses out of 282128 with flag 137295913/10143012 3592.82/3603.91 c cleaning 142001 clauses out of 284079 with flag 138934103/10286010 3600.07/3611.32 c starts : 517 3600.07/3611.34 c conflicts : 10305800 3600.07/3611.34 c decisions : 250447897 3600.07/3611.34 c propagations : 12191354019 3600.07/3611.34 c inspects : 43590146266 3600.07/3611.36 c shortcuts : 0 3600.07/3611.36 c learnt literals : 0 3600.07/3611.36 c learnt binary clauses : 7 3600.07/3611.36 c learnt ternary clauses : 11 3600.07/3611.36 c learnt constraints : 10305800 3600.07/3611.36 c ignored constraints : 0 3600.07/3611.36 c root simplifications : 0 3600.07/3611.36 c removed literals (reason simplification) : 115518345 3600.07/3611.36 c reason swapping (by a shorter reason) : 0 3600.07/3611.36 c Calls to reduceDB : 139 3600.07/3611.36 c Number of update (reduction) of LBD : 8213954 3600.07/3611.36 c Imported unit clauses : 0 3600.07/3611.36 c No decision after first conflict : false 3600.07/3611.36 c number of reductions to clauses (during analyze) : 0 3600.07/3611.36 c number of learned constraints concerned by reduction : 0 3600.07/3611.36 c number of learning phase by resolution : 0 3600.07/3611.36 c number of learning phase by cutting planes : 0 3600.07/3611.36 c number of rounding to 1 operations : 0 3600.07/3611.36 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.07/3611.36 c number of reductions of the coefficients by power 2 : 0 3600.07/3611.36 c number of right shift for reduction by power 2 : 0 3600.07/3611.36 c number of reductions of the coefficients by GCD over coefficients : 0 3600.07/3611.36 c number of ending skipping : 0 3600.07/3611.36 c number of internal skipping : 0 3600.07/3611.36 c number of derivation steps : 0 3600.07/3611.36 c number of skipped derivation steps : 0 3600.07/3611.36 c number of remaining unassigned : 0 3600.07/3611.36 c number of remaining assigned : 0 3600.07/3611.36 c number of falsified literals weakened from reason : 0 3600.07/3611.36 c number of falsified literals weakened from conflict : 0 3600.07/3611.36 c time for arithmetic operations : 0 3600.07/3611.36 c minimum degree of deleted constraints : null 3600.07/3611.36 c maximum degree of deleted constraints : null 3600.07/3611.36 c number of deleted constraints : 0 3600.07/3611.37 c speed (assignments/second) : 3376708.841479881 3600.07/3611.37 c non guided choices : 0 3600.29/3611.50 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 161861 3600.29/3611.50 c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB : 7 3600.29/3611.50 s SATISFIABLE 3600.29/3611.50 c Found 2 solution(s) 3600.48/3611.51 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.48/3611.53 c objective function=26 3600.48/3611.53 c Total wall clock time (in seconds): 3611.176
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: 64059 MiB (57736 MiB free)
memory of node 1: 64510 MiB (58141 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440389-1721820325/watcher-4440389-1721820325 -o /tmp/evaluation-result-4440389-1721820325/solver-4440389-1721820325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721820325-230696 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440389-1721820325 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440389-1721820325.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=230748, runsolver pid=230739
[startup+0.100069 s]*
/proc/loadavg: 0.09 0.09 0.09 15/309 230826
/proc/meminfo: memFree=118527820/131655788 swapFree=131061124/131071996
[pid=230748] ppid=230739 vsize=18993868 memory=57236 CPUtime=0.11 cores=1,3
/proc/230748/stat : 230748 (java) S 230739 230748 230684 0 -1 1077936128 6282 0 0 0 7 4 0 0 20 0 18 0 18021913 19449720832 14309 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
/proc/230748/statm: 4748467 14309 5627 1 0 550680 0
[pid=230748/tid=230755] ppid=230739 vsize=18993868 memory=4026531971 CPUtime=0.07 cores=1,3
/proc/230748/task/230755/stat : 230755 (java) R 230739 230748 230684 0 -1 1078198336 5288 0 0 0 4 3 0 0 20 0 18 0 18021914 19449720832 14309 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230796] ppid=230739 vsize=18993868 memory=952865 CPUtime=0 cores=1,3
/proc/230748/task/230796/stat : 230796 (Finalizer) S 230739 230748 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18021921 19449720832 14309 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230815] ppid=230739 vsize=18993868 memory=3689070655443366200 CPUtime=0 cores=1,3
/proc/230748/task/230815/stat : 230815 (Common-Cleaner) S 230739 230748 230684 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18021922 19449720832 14309 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18993868 KiB
Current children cumulated memory: 57236 KiB
[startup+0.216859 s]*
/proc/loadavg: 0.09 0.09 0.09 15/309 230826
/proc/meminfo: memFree=118509852/131655788 swapFree=131061124/131071996
[pid=230748] ppid=230739 vsize=18993908 memory=61988 CPUtime=0.28 cores=1,3
/proc/230748/stat : 230748 (java) S 230739 230748 230684 0 -1 1077936128 6752 0 0 0 23 5 0 0 20 0 18 0 18021913 19449761792 15497 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
/proc/230748/statm: 4748477 15497 5863 1 0 551063 0
[pid=230748/tid=230755] ppid=230739 vsize=18993908 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/230748/task/230755/stat : 230755 (java) R 230739 230748 230684 0 -1 4194368 5659 0 0 0 15 3 0 0 20 0 18 0 18021914 19449761792 15497 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230796] ppid=230739 vsize=18993908 memory=952865 CPUtime=0 cores=1,3
/proc/230748/task/230796/stat : 230796 (Finalizer) S 230739 230748 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18021921 19449761792 15497 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230815] ppid=230739 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=1,3
/proc/230748/task/230815/stat : 230815 (Common-Cleaner) S 230739 230748 230684 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18021922 19449761792 15497 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 61988 KiB
[startup+0.321466 s]*
/proc/loadavg: 0.09 0.09 0.09 15/309 230826
/proc/meminfo: memFree=118483984/131655788 swapFree=131061124/131071996
[pid=230748] ppid=230739 vsize=18993908 memory=68896 CPUtime=0.46 cores=1,3
/proc/230748/stat : 230748 (java) S 230739 230748 230684 0 -1 1077936128 7310 0 0 0 40 6 0 0 20 0 18 0 18021913 19449761792 17224 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
/proc/230748/statm: 4748477 17224 5984 1 0 551539 0
[pid=230748/tid=230755] ppid=230739 vsize=18993908 memory=-8671790399810675388 CPUtime=0.28 cores=1,3
/proc/230748/task/230755/stat : 230755 (java) R 230739 230748 230684 0 -1 4194368 5846 0 0 0 24 4 0 0 20 0 18 0 18021914 19449761792 17224 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230796] ppid=230739 vsize=18993908 memory=0 CPUtime=0 cores=1,3
/proc/230748/task/230796/stat : 230796 (Finalizer) S 230739 230748 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18021921 19449761792 17224 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230815] ppid=230739 vsize=18993908 memory=0 CPUtime=0 cores=1,3
/proc/230748/task/230815/stat : 230815 (Common-Cleaner) S 230739 230748 230684 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18021922 19449761792 17224 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 68896 KiB
[startup+0.700454 s]
/proc/loadavg: 0.09 0.09 0.09 14/309 230826
/proc/meminfo: memFree=118455472/131655788 swapFree=131061124/131071996
[pid=230748] ppid=230739 vsize=18993908 memory=96388 CPUtime=1.12 cores=1,3
/proc/230748/stat : 230748 (java) S 230739 230748 230684 0 -1 1077936128 9076 0 0 0 105 7 0 0 20 0 18 0 18021913 19449761792 24097 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
/proc/230748/statm: 4748477 24097 6056 1 0 552696 0
[pid=230748/tid=230755] ppid=230739 vsize=18993908 memory=5640 CPUtime=0.58 cores=1,3
/proc/230748/task/230755/stat : 230755 (java) R 230739 230748 230684 0 -1 4194368 5971 0 0 0 53 5 0 0 20 0 18 0 18021914 19449761792 24097 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230796] ppid=230739 vsize=18993908 memory=12240 CPUtime=0 cores=1,3
/proc/230748/task/230796/stat : 230796 (Finalizer) S 230739 230748 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18021921 19449761792 24097 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230815] ppid=230739 vsize=18993908 memory=2241 CPUtime=0 cores=1,3
/proc/230748/task/230815/stat : 230815 (Common-Cleaner) S 230739 230748 230684 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18021922 19449761792 24097 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 96388 KiB
[startup+1.50045 s]
/proc/loadavg: 0.09 0.09 0.09 15/313 230830
/proc/meminfo: memFree=118265544/131655788 swapFree=131061124/131071996
[pid=230748] ppid=230739 vsize=19060472 memory=176128 CPUtime=2.67 cores=1,3
/proc/230748/stat : 230748 (java) S 230739 230748 230684 0 -1 1077936128 21714 0 0 0 253 14 0 0 20 0 19 0 18021913 19517923328 44032 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
/proc/230748/statm: 4765118 44032 6101 1 0 559089 0
[pid=230748/tid=230755] ppid=230739 vsize=19060472 memory=12240 CPUtime=1.23 cores=1,3
/proc/230748/task/230755/stat : 230755 (java) R 230739 230748 230684 0 -1 4194368 6580 0 0 0 116 7 0 0 20 0 19 0 18021914 19517923328 44032 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230796] ppid=230739 vsize=19060472 memory=2241 CPUtime=0 cores=1,3
/proc/230748/task/230796/stat : 230796 (Finalizer) S 230739 230748 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18021921 19517923328 44032 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230815] ppid=230739 vsize=19060472 memory=0 CPUtime=0 cores=1,3
/proc/230748/task/230815/stat : 230815 (Common-Cleaner) S 230739 230748 230684 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18021922 19517923328 44032 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230829] ppid=230739 vsize=19060472 memory=0 CPUtime=0 cores=1,3
/proc/230748/task/230829/stat : 230829 (Timer-0) S 230739 230748 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18022005 19517923328 44032 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 176128 KiB
[startup+3.10745 s]
/proc/loadavg: 1.13 0.30 0.16 11/317 230901
/proc/meminfo: memFree=117910760/131655788 swapFree=131061124/131071996
[pid=230748] ppid=230739 vsize=19127036 memory=197784 CPUtime=5.74 cores=1,3
/proc/230748/stat : 230748 (java) S 230739 230748 230684 0 -1 1077936128 24638 0 0 0 559 15 0 0 20 0 20 0 18021913 19586084864 49446 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
/proc/230748/statm: 4781759 49446 6133 1 0 559450 0
[pid=230748/tid=230755] ppid=230739 vsize=19127036 memory=0 CPUtime=2.82 cores=1,3
/proc/230748/task/230755/stat : 230755 (java) R 230739 230748 230684 0 -1 4194368 6966 0 0 0 274 8 0 0 20 0 20 0 18021914 19586084864 49446 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230796] ppid=230739 vsize=19127036 memory=12264 CPUtime=0 cores=1,3
/proc/230748/task/230796/stat : 230796 (Finalizer) S 230739 230748 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021921 19586084864 49446 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230815] ppid=230739 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/230748/task/230815/stat : 230815 (Common-Cleaner) S 230739 230748 230684 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 18021922 19586084864 49446 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230829] ppid=230739 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/230748/task/230829/stat : 230829 (Timer-0) S 230739 230748 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022005 19586084864 49446 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
Current children cumulated CPU time: 5.74 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 197784 KiB
[startup+6.30038 s]
/proc/loadavg: 1.13 0.30 0.16 8/317 230901
/proc/meminfo: memFree=117848640/131655788 swapFree=131061124/131071996
[pid=230748] ppid=230739 vsize=19127036 memory=192444 CPUtime=10.02 cores=1,3
/proc/230748/stat : 230748 (java) S 230739 230748 230684 0 -1 1077936128 26303 0 0 0 986 16 0 0 20 0 20 0 18021913 19586084864 48111 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
/proc/230748/statm: 4781759 48111 6133 1 0 559496 0
[pid=230748/tid=230755] ppid=230739 vsize=19127036 memory=0 CPUtime=5.98 cores=1,3
/proc/230748/task/230755/stat : 230755 (java) R 230739 230748 230684 0 -1 4194368 7710 0 0 0 590 8 0 0 20 0 20 0 18021914 19586084864 48111 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230796] ppid=230739 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/230748/task/230796/stat : 230796 (Finalizer) S 230739 230748 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021921 19586084864 48111 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230815] ppid=230739 vsize=19127036 memory=12264 CPUtime=0 cores=1,3
/proc/230748/task/230815/stat : 230815 (Common-Cleaner) S 230739 230748 230684 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 18021922 19586084864 48111 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230829] ppid=230739 vsize=19127036 memory=70068 CPUtime=0 cores=1,3
/proc/230748/task/230829/stat : 230829 (Timer-0) S 230739 230748 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022005 19586084864 48111 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
Current children cumulated CPU time: 10.02 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 192444 KiB
[startup+12.7005 s]
/proc/loadavg: 1.57 0.42 0.20 8/317 230902
/proc/meminfo: memFree=117083532/131655788 swapFree=131061124/131071996
[pid=230748] ppid=230739 vsize=19127036 memory=215324 CPUtime=16.67 cores=1,3
/proc/230748/stat : 230748 (java) S 230739 230748 230684 0 -1 1077936128 32286 0 0 0 1648 19 0 0 20 0 20 0 18021913 19586084864 53831 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
/proc/230748/statm: 4781759 53831 6143 1 0 559496 0
[pid=230748/tid=230755] ppid=230739 vsize=19127036 memory=12240 CPUtime=12.29 cores=1,3
/proc/230748/task/230755/stat : 230755 (java) R 230739 230748 230684 0 -1 4194368 8757 0 0 0 1220 9 0 0 20 0 20 0 18021914 19586084864 53831 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230796] ppid=230739 vsize=19127036 memory=200988 CPUtime=0 cores=1,3
/proc/230748/task/230796/stat : 230796 (Finalizer) S 230739 230748 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021921 19586084864 53831 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230815] ppid=230739 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/230748/task/230815/stat : 230815 (Common-Cleaner) S 230739 230748 230684 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 18021922 19586084864 53831 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230829] ppid=230739 vsize=19127036 memory=4737 CPUtime=0 cores=1,3
/proc/230748/task/230829/stat : 230829 (Timer-0) S 230739 230748 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022005 19586084864 53831 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
Current children cumulated CPU time: 16.67 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 215324 KiB
[startup+25.5005 s]
/proc/loadavg: 2.54 0.67 0.28 6/317 230904
/proc/meminfo: memFree=115904032/131655788 swapFree=131061124/131071996
[pid=230748] ppid=230739 vsize=19127036 memory=426296 CPUtime=29.44 cores=1,3
/proc/230748/stat : 230748 (java) S 230739 230748 230684 0 -1 1077936128 35034 0 0 0 2919 25 0 0 20 0 20 0 18021913 19586084864 106574 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
/proc/230748/statm: 4781759 106574 6143 1 0 559496 0
[pid=230748/tid=230755] ppid=230739 vsize=19127036 memory=200984 CPUtime=25.02 cores=1,3
/proc/230748/task/230755/stat : 230755 (java) R 230739 230748 230684 0 -1 4194368 9954 0 0 0 2487 15 0 0 20 0 20 0 18021914 19586084864 106574 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230796] ppid=230739 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/230748/task/230796/stat : 230796 (Finalizer) S 230739 230748 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021921 19586084864 106574 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230815] ppid=230739 vsize=19127036 memory=192444 CPUtime=0 cores=1,3
/proc/230748/task/230815/stat : 230815 (Common-Cleaner) S 230739 230748 230684 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 18021922 19586084864 106574 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230829] ppid=230739 vsize=19127036 memory=297268 CPUtime=0 cores=1,3
/proc/230748/task/230829/stat : 230829 (Timer-0) S 230739 230748 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022005 19586084864 106574 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
Current children cumulated CPU time: 29.44 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 426296 KiB
[startup+51.1148 s]
/proc/loadavg: 3.24 0.99 0.40 6/320 231380
/proc/meminfo: memFree=115460560/131655788 swapFree=131061124/131071996
[pid=230748] ppid=230739 vsize=19127036 memory=962992 CPUtime=55.19 cores=1,3
/proc/230748/stat : 230748 (java) S 230739 230748 230684 0 -1 1077936128 41655 0 0 0 5477 42 0 0 20 0 20 0 18021913 19586084864 240748 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
/proc/230748/statm: 4781759 240748 6143 1 0 559496 0
[pid=230748/tid=230755] ppid=230739 vsize=19127036 memory=12264 CPUtime=50.28 cores=1,3
/proc/230748/task/230755/stat : 230755 (java) R 230739 230748 230684 0 -1 4194368 11662 0 0 0 4999 29 0 0 20 0 20 0 18021914 19586084864 240748 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230796] ppid=230739 vsize=19127036 memory=4692 CPUtime=0 cores=1,3
/proc/230748/task/230796/stat : 230796 (Finalizer) S 230739 230748 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021921 19586084864 240748 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230815] ppid=230739 vsize=19127036 memory=860568 CPUtime=0 cores=1,3
/proc/230748/task/230815/stat : 230815 (Common-Cleaner) S 230739 230748 230684 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 18021922 19586084864 240748 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
################
# More data... #
################
Current children cumulated memory: 2213300 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.17 4.09 6/321 232851
/proc/meminfo: memFree=97345096/131655788 swapFree=131061124/131071996
[pid=230748] ppid=230739 vsize=19127036 memory=2213300 CPUtime=3331.87 cores=1,3
/proc/230748/stat : 230748 (java) S 230739 230748 230684 0 -1 1077936128 167739 0 0 0 332609 578 0 0 20 0 20 0 18021913 19586084864 553325 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
/proc/230748/statm: 4781759 553325 6158 1 0 567096 0
[pid=230748/tid=230755] ppid=230739 vsize=19127036 memory=2213300 CPUtime=3307.38 cores=1,3
/proc/230748/task/230755/stat : 230755 (java) R 230739 230748 230684 0 -1 4194368 77490 0 0 0 330327 411 0 0 20 0 20 0 18021914 19586084864 553325 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1405 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230796] ppid=230739 vsize=19127036 memory=70068 CPUtime=0 cores=1,3
/proc/230748/task/230796/stat : 230796 (Finalizer) S 230739 230748 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021921 19586084864 553325 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230815] ppid=230739 vsize=19127036 memory=12264 CPUtime=0 cores=1,3
/proc/230748/task/230815/stat : 230815 (Common-Cleaner) S 230739 230748 230684 0 -1 1077936192 3605 0 0 0 0 0 0 0 20 0 20 0 18021922 19586084864 553325 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230829] ppid=230739 vsize=19127036 memory=70068 CPUtime=0 cores=1,3
/proc/230748/task/230829/stat : 230829 (Timer-0) S 230739 230748 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022005 19586084864 553325 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
Current children cumulated CPU time: 3331.87 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2213300 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.18 4.09 6/321 232862
/proc/meminfo: memFree=97030100/131655788 swapFree=131061124/131071996
[pid=230748] ppid=230739 vsize=19127036 memory=2213324 CPUtime=3391.78 cores=1,3
/proc/230748/stat : 230748 (java) S 230739 230748 230684 0 -1 1077936128 169807 0 0 0 338590 588 0 0 20 0 20 0 18021913 19586084864 553331 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
/proc/230748/statm: 4781759 553331 6158 1 0 567096 0
[pid=230748/tid=230755] ppid=230739 vsize=19127036 memory=1896 CPUtime=3366.69 cores=1,3
/proc/230748/task/230755/stat : 230755 (java) R 230739 230748 230684 0 -1 4194368 78644 0 0 0 336250 419 0 0 20 0 20 0 18021914 19586084864 553331 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1412 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230796] ppid=230739 vsize=19127036 memory=1940 CPUtime=0 cores=1,3
/proc/230748/task/230796/stat : 230796 (Finalizer) S 230739 230748 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021921 19586084864 553331 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230815] ppid=230739 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/230748/task/230815/stat : 230815 (Common-Cleaner) S 230739 230748 230684 0 -1 1077936192 3662 0 0 0 0 0 0 0 20 0 20 0 18021922 19586084864 553331 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230829] ppid=230739 vsize=19127036 memory=2213324 CPUtime=0 cores=1,3
/proc/230748/task/230829/stat : 230829 (Timer-0) S 230739 230748 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022005 19586084864 553331 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
Current children cumulated CPU time: 3391.78 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2213324 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.18 4.10 6/321 232873
/proc/meminfo: memFree=96659548/131655788 swapFree=131061124/131071996
[pid=230748] ppid=230739 vsize=19127036 memory=2213324 CPUtime=3451.64 cores=1,3
/proc/230748/stat : 230748 (java) S 230739 230748 230684 0 -1 1077936128 171213 0 0 0 344567 597 0 0 20 0 20 0 18021913 19586084864 553331 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
/proc/230748/statm: 4781759 553331 6158 1 0 567096 0
[pid=230748/tid=230755] ppid=230739 vsize=19127036 memory=70068 CPUtime=3426.34 cores=1,3
/proc/230748/task/230755/stat : 230755 (java) R 230739 230748 230684 0 -1 4194368 79880 0 0 0 342208 426 0 0 20 0 20 0 18021914 19586084864 553331 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1418 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230796] ppid=230739 vsize=19127036 memory=2213324 CPUtime=0 cores=1,3
/proc/230748/task/230796/stat : 230796 (Finalizer) S 230739 230748 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021921 19586084864 553331 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230815] ppid=230739 vsize=19127036 memory=2213324 CPUtime=0 cores=1,3
/proc/230748/task/230815/stat : 230815 (Common-Cleaner) S 230739 230748 230684 0 -1 1077936192 3719 0 0 0 0 0 0 0 20 0 20 0 18021922 19586084864 553331 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230829] ppid=230739 vsize=19127036 memory=2213324 CPUtime=0 cores=1,3
/proc/230748/task/230829/stat : 230829 (Timer-0) S 230739 230748 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022005 19586084864 553331 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
Current children cumulated CPU time: 3451.64 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2213324 KiB
[startup+3522.3 s]
/proc/loadavg: 4.31 4.21 4.11 6/321 232883
/proc/meminfo: memFree=96442528/131655788 swapFree=131061124/131071996
[pid=230748] ppid=230739 vsize=19127036 memory=2213376 CPUtime=3511.5 cores=1,3
/proc/230748/stat : 230748 (java) S 230739 230748 230684 0 -1 1077936128 173660 0 0 0 350544 606 0 0 20 0 20 0 18021913 19586084864 553344 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
/proc/230748/statm: 4781759 553344 6158 1 0 567096 0
[pid=230748/tid=230755] ppid=230739 vsize=19127036 memory=2213324 CPUtime=3485.62 cores=1,3
/proc/230748/task/230755/stat : 230755 (java) R 230739 230748 230684 0 -1 4194368 81018 0 0 0 348130 432 0 0 20 0 20 0 18021914 19586084864 553344 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1435 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230796] ppid=230739 vsize=19127036 memory=2213324 CPUtime=0 cores=1,3
/proc/230748/task/230796/stat : 230796 (Finalizer) S 230739 230748 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021921 19586084864 553344 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230815] ppid=230739 vsize=19127036 memory=2213352 CPUtime=0 cores=1,3
/proc/230748/task/230815/stat : 230815 (Common-Cleaner) S 230739 230748 230684 0 -1 1077936192 3776 0 0 0 0 0 0 0 20 0 20 0 18021922 19586084864 553344 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230829] ppid=230739 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/230748/task/230829/stat : 230829 (Timer-0) S 230739 230748 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022005 19586084864 553344 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
Current children cumulated CPU time: 3511.5 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2213376 KiB
[startup+3582.3 s]
/proc/loadavg: 4.24 4.20 4.11 6/320 233278
/proc/meminfo: memFree=96257140/131655788 swapFree=131061124/131071996
[pid=230748] ppid=230739 vsize=19127036 memory=2213396 CPUtime=3571.27 cores=1,3
/proc/230748/stat : 230748 (java) S 230739 230748 230684 0 -1 1077936128 175618 0 0 0 356511 616 0 0 20 0 20 0 18021913 19586084864 553349 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
/proc/230748/statm: 4781759 553349 6158 1 0 567096 0
[pid=230748/tid=230755] ppid=230739 vsize=19127036 memory=12264 CPUtime=3545.17 cores=1,3
/proc/230748/task/230755/stat : 230755 (java) R 230739 230748 230684 0 -1 4194368 82302 0 0 0 354077 440 0 0 20 0 20 0 18021914 19586084864 553349 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1457 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230796] ppid=230739 vsize=19127036 memory=2213396 CPUtime=0 cores=1,3
/proc/230748/task/230796/stat : 230796 (Finalizer) S 230739 230748 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021921 19586084864 553349 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230815] ppid=230739 vsize=19127036 memory=2213396 CPUtime=0 cores=1,3
/proc/230748/task/230815/stat : 230815 (Common-Cleaner) S 230739 230748 230684 0 -1 1077936192 3834 0 0 0 0 0 0 0 20 0 20 0 18021922 19586084864 553349 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230829] ppid=230739 vsize=19127036 memory=2213396 CPUtime=0 cores=1,3
/proc/230748/task/230829/stat : 230829 (Timer-0) S 230739 230748 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022005 19586084864 553349 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
Current children cumulated CPU time: 3571.27 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2213396 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 4.71 4.32 4.15 5/296 233448
/proc/meminfo: memFree=108622188/131655788 swapFree=131061124/131071996
[pid=230748] ppid=230739 vsize=19127036 memory=2213396 CPUtime=3600.07 cores=1,3
/proc/230748/stat : 230748 (java) S 230739 230748 230684 0 -1 1077936128 176142 0 0 0 359385 622 0 0 20 0 20 0 18021913 19586084864 553349 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
/proc/230748/statm: 4781759 553349 6158 1 0 567096 0
[pid=230748/tid=230755] ppid=230739 vsize=19127036 memory=18484 CPUtime=3573.95 cores=1,3
/proc/230748/task/230755/stat : 230755 (java) R 230739 230748 230684 0 -1 4194368 82769 0 0 0 356950 445 0 0 20 0 20 0 18021914 19586084864 553349 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1472 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230796] ppid=230739 vsize=19127036 memory=2213396 CPUtime=0 cores=1,3
/proc/230748/task/230796/stat : 230796 (Finalizer) S 230739 230748 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021921 19586084864 553349 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230815] ppid=230739 vsize=19127036 memory=12264 CPUtime=0 cores=1,3
/proc/230748/task/230815/stat : 230815 (Common-Cleaner) S 230739 230748 230684 0 -1 1077936192 3886 0 0 0 0 0 0 0 20 0 20 0 18021922 19586084864 553349 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230829] ppid=230739 vsize=19127036 memory=3340 CPUtime=0 cores=1,3
/proc/230748/task/230829/stat : 230829 (Timer-0) S 230739 230748 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022005 19586084864 553349 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2213396 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.57 s]
# the end of solver process 230748 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.3 s, system=6.25046 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.41 s]
/proc/loadavg: 4.71 4.32 4.15 5/296 233448
/proc/meminfo: memFree=108622188/131655788 swapFree=131061124/131071996
[pid=230748] ppid=230739 vsize=19326728 memory=2214044 CPUtime=3600.29 cores=1,3
/proc/230748/stat : 230748 (java) S 230739 230748 230684 0 -1 1077936128 178233 0 0 0 359406 623 0 0 20 0 21 0 18021913 19790569472 553511 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
/proc/230748/statm: 4831682 553511 6157 1 0 568034 0
[pid=230748/tid=230755] ppid=230739 vsize=19326728 memory=18484 CPUtime=3574.05 cores=1,3
/proc/230748/task/230755/stat : 230755 (java) R 230739 230748 230684 0 -1 4194368 83009 0 0 0 356960 445 0 0 20 0 21 0 18021914 19790569472 553511 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1472 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230796] ppid=230739 vsize=19326728 memory=2232 CPUtime=0 cores=1,3
/proc/230748/task/230796/stat : 230796 (Finalizer) S 230739 230748 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18021921 19790569472 553511 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230815] ppid=230739 vsize=19326728 memory=1896 CPUtime=0 cores=1,3
/proc/230748/task/230815/stat : 230815 (Common-Cleaner) S 230739 230748 230684 0 -1 1077936192 3886 0 0 0 0 0 0 0 20 0 21 0 18021922 19790569472 553511 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 2214044 KiB
[startup+3611.51 s]
/proc/loadavg: 4.71 4.32 4.15 5/296 233448
/proc/meminfo: memFree=108622188/131655788 swapFree=131061124/131071996
[pid=230748] ppid=230739 vsize=19326728 memory=2214204 CPUtime=3600.48 cores=1,3
/proc/230748/stat : 230748 (java) S 230739 230748 230684 0 -1 1077936128 178364 0 0 0 359425 623 0 0 20 0 21 0 18021913 19790569472 553551 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
/proc/230748/statm: 4831682 553551 6157 1 0 568034 0
[pid=230748/tid=230755] ppid=230739 vsize=19326728 memory=18484 CPUtime=3574.14 cores=1,3
/proc/230748/task/230755/stat : 230755 (java) R 230739 230748 230684 0 -1 4194368 83009 0 0 0 356969 445 0 0 20 0 21 0 18021914 19790569472 553551 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1472 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230796] ppid=230739 vsize=19326728 memory=2213396 CPUtime=0 cores=1,3
/proc/230748/task/230796/stat : 230796 (Finalizer) S 230739 230748 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18021921 19790569472 553551 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
[pid=230748/tid=230815] ppid=230739 vsize=19326728 memory=12264 CPUtime=0 cores=1,3
/proc/230748/task/230815/stat : 230815 (Common-Cleaner) S 230739 230748 230684 0 -1 1077936192 3886 0 0 0 0 0 0 0 20 0 21 0 18021922 19790569472 553551 134679101440 94664119762944 94664119766640 140728965692960 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94664119774456 94664119775248 94664148049920 140728965694383 140728965694565 140728965694565 140728965701576 0
Current children cumulated CPU time: 3600.48 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 2214204 KiB
Child status: 143
Real time (s): 3611.57
CPU time (s): 3600.55
CPU user time (s): 3594.3
CPU system time (s): 6.25046
CPU usage (%): 99.695
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 2214204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.3
system time used= 6.25046
maximum resident set size= 2214948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179029
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7108664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110474
involuntary context switches= 11613
# summary of solver processes directly reported to runsolver:
# pid: 230748
# total CPU time (s): 3600.55
# total CPU user time (s): 3594.3
# total CPU system time (s): 6.25046
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.7371 second user time and 36.7938 second system time
The end
Begin job on nodeC005 at 2024-07-24 13:25:25 IDJOB=4440389 IDBENCH=148193 IDSOLVER=3079 FILE ID=nodeC005/4440389-1721820325 RUNJOBID= nodeC005-1721820325-230696 SLURM_JOB_ID= 7891450 Free space on /tmp= 723780 MiB SOLVER NAME= Sat4j Resolution 2024 2024-07-07 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 --file-size-limit 102400 -w /tmp/evaluation-result-4440389-1721820325/watcher-4440389-1721820325 -o /tmp/evaluation-result-4440389-1721820325/solver-4440389-1721820325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721820325-230696 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440389-1721820325 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440389-1721820325.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7 RANDOM SEED=1968991675 nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 0xb00001f cpu MHz : 1197.117 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 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 : 0xb00001f cpu MHz : 1197.112 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 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 : 0xb00001f cpu MHz : 1197.131 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 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 : 0xb00001f cpu MHz : 1197.117 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 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 : 0xb00001f cpu MHz : 1197.117 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 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 : 0xb00001f cpu MHz : 1197.140 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 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 : 0xb00001f cpu MHz : 1197.113 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 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 : 0xb00001f cpu MHz : 1197.116 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 118667968 kB MemAvailable: 129973972 kB Buffers: 243348 kB Cached: 11846032 kB SwapCached: 612 kB Active: 2480844 kB Inactive: 9868396 kB Active(anon): 1500 kB Inactive(anon): 311664 kB Active(file): 2479344 kB Inactive(file): 9556732 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131061124 kB Dirty: 3868 kB Writeback: 0 kB AnonPages: 258932 kB Mapped: 117280 kB Shmem: 53264 kB KReclaimable: 219920 kB Slab: 328324 kB SReclaimable: 219920 kB SUnreclaim: 108404 kB KernelStack: 3568 kB PageTables: 9752 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 488740 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 10720 kB HardwareCorrupted: 0 kB AnonHugePages: 137216 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 406344 kB DirectMap2M: 45635584 kB DirectMap1G: 90177536 kB Free space on /tmp at the end= 723688 MiB End job on nodeC005 at 2024-07-24 14:25:37