Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution Default 2024-07-07 | SAT (TO) | 26 | 3600.36 | 3585.18 |
| 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.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.06 c version CUSTOM.v20240707 0.00/0.07 c java.runtime.name OpenJDK Runtime Environment 0.00/0.07 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.07 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 2106806208 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.08 c Number of processors 2 0.14/0.12 --- Begin Solver configuration --- 0.14/0.12 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.14/0.12 Learn all clauses as in MiniSAT 0.14/0.12 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.12 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.14/0.12 No reason simplification 0.14/0.12 Glucose 2.1 dynamic restart strategy 0.14/0.12 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.14/0.12 timeout=2147483s 0.14/0.12 DB Simplification allowed=false 0.14/0.12 Listener: none 0.14/0.12 --- End Solver configuration --- 0.14/0.12 c Pseudo Boolean Optimization by upper bound 0.14/0.12 c --- Begin Solver configuration --- 0.14/0.12 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.14/0.12 c Learn all clauses as in MiniSAT 0.14/0.12 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.14/0.12 c No reason simplification 0.14/0.12 c Glucose 2.1 dynamic restart strategy 0.14/0.12 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.14/0.12 c timeout=2147483s 0.14/0.12 c DB Simplification allowed=false 0.14/0.12 c Listener: none 0.14/0.12 c --- End Solver configuration --- 0.14/0.12 c solving HOME/instance-4432329-1721117388.opb 0.14/0.12 c reading problem ... 0.14/0.12 c objective function found 0.54/0.33 c ... done. Wall clock time 0.211s. 0.54/0.33 c declared #vars 8901 0.54/0.33 c #constraints 32298 0.54/0.33 c constraints type 0.54/0.33 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 24193 0.54/0.33 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 0.54/0.33 c org.sat4j.pb.constraints.pb.UnitClausePB => 5 0.54/0.33 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8099 0.54/0.33 c 32298 constraints processed. 0.54/0.34 c objective function length is 790 literals 0.54/0.39 c SATISFIABLE 0.54/0.39 c OPTIMIZING... 0.54/0.39 c Got one! Elapsed wall clock time (in seconds):0.272 0.54/0.40 o 27 0.75/0.42 c Got one! Elapsed wall clock time (in seconds):0.302 0.75/0.42 o 26 3.76/2.45 c cleaning 2503 clauses out of 5010 with flag 42190/5010 5.91/4.32 c cleaning 4237 clauses out of 8507 with flag 93069/11010 7.71/6.16 c cleaning 5608 clauses out of 11270 with flag 175448/18010 10.00/8.47 c cleaning 6773 clauses out of 13662 with flag 255981/26010 12.39/10.89 c cleaning 7918 clauses out of 15889 with flag 320721/35010 15.16/13.65 c cleaning 8948 clauses out of 17971 with flag 398529/45010 18.53/17.08 c cleaning 9987 clauses out of 20023 with flag 569509/56010 21.81/20.30 c cleaning 11000 clauses out of 22036 with flag 716724/68010 25.63/24.16 c cleaning 12007 clauses out of 24036 with flag 918316/81010 29.40/27.94 c cleaning 13012 clauses out of 26029 with flag 1093251/95010 33.37/31.98 c cleaning 14001 clauses out of 28017 with flag 1282700/110010 37.51/36.01 c cleaning 14991 clauses out of 30016 with flag 1453918/126010 42.23/40.77 c cleaning 15991 clauses out of 32026 with flag 1687666/143011 47.21/45.75 c cleaning 16987 clauses out of 34036 with flag 1927555/161012 52.62/51.14 c cleaning 18019 clauses out of 36047 with flag 2250038/180010 58.53/57.03 c cleaning 18974 clauses out of 38028 with flag 2503962/200010 64.78/63.39 c cleaning 19997 clauses out of 40058 with flag 2772226/221014 71.09/69.68 c cleaning 20992 clauses out of 42057 with flag 2958994/243010 78.20/76.70 c cleaning 22015 clauses out of 44065 with flag 3307282/266010 85.19/83.71 c cleaning 22935 clauses out of 46050 with flag 3658745/290010 92.14/90.66 c cleaning 23928 clauses out of 48115 with flag 3991313/315010 99.18/97.63 c cleaning 25050 clauses out of 50187 with flag 4366299/341010 107.11/105.52 c cleaning 25901 clauses out of 52139 with flag 4763241/368012 114.84/113.32 c cleaning 27040 clauses out of 54236 with flag 5133174/396010 122.83/121.37 c cleaning 28056 clauses out of 56196 with flag 5515993/425010 131.32/129.89 c cleaning 29069 clauses out of 58144 with flag 5952156/455014 140.30/138.84 c cleaning 29979 clauses out of 60071 with flag 6452716/486010 150.23/148.79 c cleaning 30984 clauses out of 62093 with flag 6905186/518011 159.92/158.21 c cleaning 32008 clauses out of 64108 with flag 7293123/551010 170.56/168.84 c cleaning 32848 clauses out of 66100 with flag 7747132/585010 181.14/179.46 c cleaning 34039 clauses out of 68252 with flag 8191726/620010 191.79/190.06 c cleaning 35093 clauses out of 70213 with flag 8810319/656010 203.29/201.51 c cleaning 35990 clauses out of 72120 with flag 9400520/693010 214.37/212.67 c cleaning 37039 clauses out of 74130 with flag 9864411/731010 225.79/224.10 c cleaning 37969 clauses out of 76091 with flag 10403239/770010 238.16/236.50 c cleaning 38987 clauses out of 78122 with flag 10953899/810010 249.97/248.40 c cleaning 40036 clauses out of 80136 with flag 11530038/851011 262.13/260.59 c cleaning 41000 clauses out of 82099 with flag 12183020/893010 274.72/273.17 c cleaning 42023 clauses out of 84099 with flag 12717340/936010 288.08/286.57 c cleaning 42989 clauses out of 86076 with flag 13236294/980010 302.15/300.32 c cleaning 44022 clauses out of 88087 with flag 13881913/1025010 316.53/314.76 c cleaning 44969 clauses out of 90065 with flag 14413683/1071010 331.46/329.65 c cleaning 45949 clauses out of 92096 with flag 15092000/1118010 346.24/344.49 c cleaning 46981 clauses out of 94147 with flag 15792880/1166010 361.81/360.03 c cleaning 48057 clauses out of 96166 with flag 16343475/1215010 377.57/375.88 c cleaning 48995 clauses out of 98109 with flag 16883696/1265010 393.64/391.90 c cleaning 50041 clauses out of 100114 with flag 17391934/1316010 410.99/409.13 c cleaning 50988 clauses out of 102073 with flag 17857129/1368010 428.15/426.33 c cleaning 52006 clauses out of 104085 with flag 18431994/1421010 446.33/444.54 c cleaning 52917 clauses out of 106079 with flag 19169598/1475010 464.45/462.53 c cleaning 54017 clauses out of 108162 with flag 19868586/1530010 482.32/480.45 c cleaning 55044 clauses out of 110145 with flag 20752532/1586010 500.09/498.22 c cleaning 56025 clauses out of 112101 with flag 21613392/1643010 519.53/517.76 c cleaning 56997 clauses out of 114076 with flag 22373628/1701010 538.86/537.22 c cleaning 57999 clauses out of 116079 with flag 23113079/1760010 558.10/556.42 c cleaning 58929 clauses out of 118080 with flag 23998292/1820010 576.77/575.18 c cleaning 60005 clauses out of 120151 with flag 24921767/1881010 596.57/594.88 c cleaning 61031 clauses out of 122146 with flag 25821868/1943010 617.17/614.97 c cleaning 62014 clauses out of 124115 with flag 26681246/2006010 637.20/634.80 c cleaning 62918 clauses out of 126101 with flag 27610178/2070010 658.00/655.60 c cleaning 64010 clauses out of 128183 with flag 28416514/2135010 679.85/677.32 c cleaning 65071 clauses out of 130173 with flag 29457305/2201010 700.66/698.04 c cleaning 65978 clauses out of 132102 with flag 30417160/2268010 722.68/719.95 c cleaning 67049 clauses out of 134124 with flag 31459782/2336010 743.36/740.38 c cleaning 68025 clauses out of 136076 with flag 32480501/2405011 765.87/762.42 c cleaning 68935 clauses out of 138050 with flag 33467914/2475010 789.37/785.86 c cleaning 69927 clauses out of 140115 with flag 34496613/2546010 813.92/810.43 c cleaning 71034 clauses out of 142188 with flag 35576166/2618010 840.23/836.46 c cleaning 71989 clauses out of 144154 with flag 36490530/2691010 867.37/863.49 c cleaning 73060 clauses out of 146165 with flag 37533337/2765010 895.57/891.39 c cleaning 74015 clauses out of 148105 with flag 38643728/2840010 923.27/918.75 c cleaning 75012 clauses out of 150090 with flag 39642234/2916010 955.61/950.66 c cleaning 75953 clauses out of 152078 with flag 40836891/2993010 983.73/978.35 c cleaning 77023 clauses out of 154125 with flag 42164638/3071010 1011.36/1006.09 c cleaning 78023 clauses out of 156102 with flag 43493243/3150010 1038.61/1033.27 c cleaning 78964 clauses out of 158079 with flag 44885149/3230010 1066.42/1060.65 c cleaning 79967 clauses out of 160115 with flag 46227675/3311010 1095.46/1089.56 c cleaning 81061 clauses out of 162149 with flag 47487906/3393011 1123.61/1117.77 c cleaning 82010 clauses out of 164087 with flag 48654234/3476010 1156.04/1149.92 c cleaning 83010 clauses out of 166077 with flag 49885950/3560010 1187.97/1181.76 c cleaning 84001 clauses out of 168067 with flag 51098604/3645010 1219.04/1212.51 c cleaning 84919 clauses out of 170066 with flag 52305344/3731010 1248.59/1242.20 c cleaning 85952 clauses out of 172147 with flag 53569060/3818010 1279.43/1273.24 c cleaning 87004 clauses out of 174195 with flag 54793874/3906010 1308.66/1302.45 c cleaning 88047 clauses out of 176191 with flag 56057805/3995010 1339.23/1333.00 c cleaning 89012 clauses out of 178145 with flag 57491655/4085011 1369.93/1363.59 c cleaning 90051 clauses out of 180132 with flag 59092383/4176010 1401.79/1394.74 c cleaning 91010 clauses out of 182081 with flag 60356795/4268010 1432.25/1425.39 c cleaning 92026 clauses out of 184071 with flag 61588592/4361010 1463.39/1456.63 c cleaning 93002 clauses out of 186045 with flag 62705490/4455010 1496.30/1489.41 c cleaning 93928 clauses out of 188043 with flag 64108658/4550010 1527.46/1520.52 c cleaning 94954 clauses out of 190115 with flag 65509018/4646010 1561.11/1554.15 c cleaning 96052 clauses out of 192162 with flag 66799579/4743011 1592.48/1585.40 c cleaning 97039 clauses out of 194111 with flag 68256394/4841012 1624.62/1617.79 c cleaning 97976 clauses out of 196070 with flag 69574052/4940010 1657.20/1650.25 c cleaning 99022 clauses out of 198094 with flag 71034896/5040010 1690.58/1683.77 c cleaning 99916 clauses out of 200072 with flag 72536450/5141010 1724.20/1716.92 c cleaning 101058 clauses out of 202157 with flag 73990854/5243011 1758.08/1750.93 c cleaning 102009 clauses out of 204099 with flag 75516018/5346011 1792.30/1785.38 c cleaning 103028 clauses out of 206089 with flag 77066209/5450010 1828.63/1821.53 c cleaning 104004 clauses out of 208061 with flag 78755819/5555010 1866.69/1859.65 c cleaning 104963 clauses out of 210057 with flag 80373397/5661010 1904.47/1897.40 c cleaning 105987 clauses out of 212094 with flag 81937859/5768010 1941.27/1933.91 c cleaning 107003 clauses out of 214107 with flag 83531391/5876010 1975.15/1967.33 c cleaning 108000 clauses out of 216104 with flag 85143281/5985010 2014.52/2004.50 c cleaning 109005 clauses out of 218104 with flag 86665377/6095010 2051.98/2041.33 c cleaning 109961 clauses out of 220099 with flag 88250601/6206010 2091.44/2080.79 c cleaning 110931 clauses out of 222138 with flag 89962415/6318010 2130.20/2119.44 c cleaning 112044 clauses out of 224207 with flag 91549867/6431010 2167.68/2156.83 c cleaning 113033 clauses out of 226163 with flag 93270473/6545010 2206.27/2195.15 c cleaning 114011 clauses out of 228130 with flag 95190935/6660010 2244.37/2233.13 c cleaning 115027 clauses out of 230120 with flag 96896619/6776011 2283.12/2271.87 c cleaning 115969 clauses out of 232092 with flag 98676877/6893010 2327.23/2315.67 c cleaning 117011 clauses out of 234123 with flag 100635382/7011010 2370.07/2358.11 c cleaning 117981 clauses out of 236114 with flag 102786371/7130012 2410.28/2398.35 c cleaning 119032 clauses out of 238132 with flag 104651838/7250011 2448.80/2436.74 c cleaning 119990 clauses out of 240099 with flag 106507254/7371010 2488.70/2476.51 c cleaning 121017 clauses out of 242109 with flag 108299311/7493010 2530.34/2518.16 c cleaning 121978 clauses out of 244092 with flag 110103882/7616010 2570.97/2558.27 c cleaning 122975 clauses out of 246114 with flag 112140546/7740010 2611.86/2599.11 c cleaning 124050 clauses out of 248141 with flag 113848524/7865012 2653.74/2640.75 c cleaning 125016 clauses out of 250089 with flag 115680527/7991010 2698.08/2684.95 c cleaning 125917 clauses out of 252073 with flag 117725147/8118010 2741.17/2727.96 c cleaning 127035 clauses out of 254156 with flag 119758718/8246010 2786.71/2773.27 c cleaning 127915 clauses out of 256121 with flag 121956659/8375010 2828.70/2815.03 c cleaning 129049 clauses out of 258206 with flag 124043392/8505010 2870.68/2856.96 c cleaning 130013 clauses out of 260157 with flag 126022775/8636010 2916.82/2903.22 c cleaning 131052 clauses out of 262144 with flag 128262084/8768010 2960.86/2947.03 c cleaning 131977 clauses out of 264093 with flag 130410451/8901011 3009.92/2996.01 c cleaning 133022 clauses out of 266115 with flag 132647887/9035010 3057.26/3043.69 c cleaning 133998 clauses out of 268093 with flag 134963411/9170010 3105.96/3092.36 c cleaning 134973 clauses out of 270095 with flag 137254379/9306010 3154.32/3140.67 c cleaning 136042 clauses out of 272124 with flag 139312786/9443012 3202.21/3188.03 c cleaning 136967 clauses out of 274081 with flag 141231714/9581011 3250.63/3236.59 c cleaning 137960 clauses out of 276118 with flag 143111250/9720015 3302.46/3288.34 c cleaning 139049 clauses out of 278153 with flag 145014309/9860010 3365.51/3350.91 c cleaning 139938 clauses out of 280104 with flag 147046187/10001010 3420.28/3405.53 c cleaning 141043 clauses out of 282167 with flag 149000996/10143011 3473.72/3458.82 c cleaning 142010 clauses out of 284126 with flag 151217308/10286013 3525.04/3510.29 c cleaning 142941 clauses out of 286113 with flag 153024577/10430010 3575.79/3560.91 c cleaning 144067 clauses out of 288173 with flag 154907224/10575011 3600.03/3585.03 c starts : 805 3600.03/3585.03 c conflicts : 10647410 3600.03/3585.03 c decisions : 276972779 3600.03/3585.03 c propagations : 11516082731 3600.03/3585.03 c inspects : 41528649892 3600.03/3585.03 c shortcuts : 0 3600.03/3585.03 c learnt literals : 0 3600.03/3585.03 c learnt binary clauses : 4 3600.03/3585.03 c learnt ternary clauses : 21 3600.03/3585.03 c learnt constraints : 10647410 3600.03/3585.03 c ignored constraints : 0 3600.03/3585.03 c root simplifications : 0 3600.03/3585.03 c removed literals (reason simplification) : 0 3600.03/3585.03 c reason swapping (by a shorter reason) : 0 3600.03/3585.03 c Calls to reduceDB : 141 3600.03/3585.03 c Number of update (reduction) of LBD : 8143642 3600.03/3585.03 c Imported unit clauses : 0 3600.03/3585.03 c No decision after first conflict : false 3600.03/3585.03 c number of reductions to clauses (during analyze) : 0 3600.03/3585.03 c number of learned constraints concerned by reduction : 0 3600.03/3585.03 c number of learning phase by resolution : 0 3600.03/3585.03 c number of learning phase by cutting planes : 0 3600.03/3585.03 c number of rounding to 1 operations : 0 3600.03/3585.03 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.03/3585.03 c number of reductions of the coefficients by power 2 : 0 3600.03/3585.03 c number of right shift for reduction by power 2 : 0 3600.03/3585.03 c number of reductions of the coefficients by GCD over coefficients : 0 3600.03/3585.03 c number of ending skipping : 0 3600.03/3585.03 c number of internal skipping : 0 3600.03/3585.03 c number of derivation steps : 0 3600.03/3585.03 c number of skipped derivation steps : 0 3600.03/3585.03 c number of remaining unassigned : 0 3600.03/3585.03 c number of remaining assigned : 0 3600.03/3585.03 c number of falsified literals weakened from reason : 0 3600.03/3585.03 c number of falsified literals weakened from conflict : 0 3600.03/3585.03 c time for arithmetic operations : 0 3600.03/3585.04 c minimum degree of deleted constraints : null 3600.03/3585.04 c maximum degree of deleted constraints : null 3600.03/3585.04 c number of deleted constraints : 0 3600.03/3585.04 c speed (assignments/second) : 3212580.5073977252 3600.03/3585.04 c non guided choices : 0 3600.23/3585.13 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 216501 3600.23/3585.13 c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB : 4 3600.23/3585.13 s SATISFIABLE 3600.23/3585.13 c Found 2 solution(s) 3600.23/3585.13 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.23/3585.15 c objective function=26 3600.23/3585.15 c Total wall clock time (in seconds): 3585.032
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: 63968 MiB (61316 MiB free)
memory of node 1: 64473 MiB (60931 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432329-1721117388/watcher-4432329-1721117388 -o /tmp/evaluation-result-4432329-1721117388/solver-4432329-1721117388 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721113794-840454 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432329-1721117388.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=842539, runsolver pid=842536
[startup+0.102133 s]*
/proc/loadavg: 4.21 4.15 4.14 7/327 842557
/proc/meminfo: memFree=125140320/131524600 swapFree=131071996/131071996
[pid=842539] ppid=842536 vsize=18975048 memory=63504 CPUtime=0.14 cores=4,6
/proc/842539/stat : 842539 (java) S 842536 842539 840443 0 -1 1077936128 7249 0 0 0 12 2 0 0 20 0 18 0 163905842 19430449152 15876 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
/proc/842539/statm: 4743762 15876 5713 1 0 549342 0
[pid=842539/tid=842541] ppid=842536 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/842539/task/842541/stat : 842541 (java) S 842536 842539 840443 0 -1 1077936192 5763 0 0 0 7 1 0 0 20 0 18 0 163905842 19430449152 15876 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842550] ppid=842536 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/842539/task/842550/stat : 842550 (Finalizer) S 842536 842539 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163905845 19430449152 15876 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842557] ppid=842536 vsize=18975048 memory=13573695205540511 CPUtime=0 cores=4,6
/proc/842539/task/842557/stat : 842557 (Common-Cleaner) S 842536 842539 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 163905845 19430449152 15876 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63504 KiB
[startup+0.212166 s]*
/proc/loadavg: 4.21 4.15 4.14 7/327 842557
/proc/meminfo: memFree=125115700/131524600 swapFree=131071996/131071996
[pid=842539] ppid=842536 vsize=18975048 memory=85980 CPUtime=0.35 cores=4,6
/proc/842539/stat : 842539 (java) S 842536 842539 840443 0 -1 1077936128 8734 0 0 0 33 2 0 0 20 0 18 0 163905842 19430449152 21495 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
/proc/842539/statm: 4743762 21495 5800 1 0 550350 0
[pid=842539/tid=842541] ppid=842536 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=4,6
/proc/842539/task/842541/stat : 842541 (java) R 842536 842539 840443 0 -1 4194368 5915 0 0 0 18 1 0 0 20 0 18 0 163905842 19430449152 21495 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842550] ppid=842536 vsize=18975048 memory=17993 CPUtime=0 cores=4,6
/proc/842539/task/842550/stat : 842550 (Finalizer) S 842536 842539 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163905845 19430449152 21495 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842557] ppid=842536 vsize=18975048 memory=15261445554177772 CPUtime=0 cores=4,6
/proc/842539/task/842557/stat : 842557 (Common-Cleaner) S 842536 842539 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 163905845 19430449152 21495 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 85980 KiB
[startup+0.313156 s]*
/proc/loadavg: 4.21 4.15 4.14 8/327 842557
/proc/meminfo: memFree=125077000/131524600 swapFree=131071996/131071996
[pid=842539] ppid=842536 vsize=18975048 memory=124164 CPUtime=0.54 cores=4,6
/proc/842539/stat : 842539 (java) S 842536 842539 840443 0 -1 1077936128 9047 0 0 0 51 3 0 0 20 0 18 0 163905842 19430449152 31041 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
/proc/842539/statm: 4743762 31041 5800 1 0 550547 0
[pid=842539/tid=842541] ppid=842536 vsize=18975048 memory=-8744413134218175164 CPUtime=0.28 cores=4,6
/proc/842539/task/842541/stat : 842541 (java) R 842536 842539 840443 0 -1 4194368 5934 0 0 0 26 2 0 0 20 0 18 0 163905842 19430449152 31041 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842550] ppid=842536 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/842539/task/842550/stat : 842550 (Finalizer) S 842536 842539 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163905845 19430449152 31041 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842557] ppid=842536 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/842539/task/842557/stat : 842557 (Common-Cleaner) S 842536 842539 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 163905845 19430449152 31041 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 124164 KiB
[startup+0.707154 s]
/proc/loadavg: 4.21 4.15 4.14 8/328 842558
/proc/meminfo: memFree=125062876/131524600 swapFree=131071996/131071996
[pid=842539] ppid=842536 vsize=19041612 memory=155388 CPUtime=1.3 cores=4,6
/proc/842539/stat : 842539 (java) S 842536 842539 840443 0 -1 1077936128 18297 0 0 0 125 5 0 0 20 0 19 0 163905842 19498610688 38847 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
/proc/842539/statm: 4760403 38847 5838 1 0 556902 0
[pid=842539/tid=842541] ppid=842536 vsize=19041612 memory=5616 CPUtime=0.64 cores=4,6
/proc/842539/task/842541/stat : 842541 (java) R 842536 842539 840443 0 -1 4194368 6069 0 0 0 61 3 0 0 20 0 19 0 163905842 19498610688 38847 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842550] ppid=842536 vsize=19041612 memory=12384 CPUtime=0 cores=4,6
/proc/842539/task/842550/stat : 842550 (Finalizer) S 842536 842539 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163905845 19498610688 38847 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842557] ppid=842536 vsize=19041612 memory=164 CPUtime=0 cores=4,6
/proc/842539/task/842557/stat : 842557 (Common-Cleaner) S 842536 842539 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163905845 19498610688 38847 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842558] ppid=842536 vsize=19041612 memory=117636 CPUtime=0 cores=4,6
/proc/842539/task/842558/stat : 842558 (Timer-0) S 842536 842539 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163905878 19498610688 38847 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 155388 KiB
[startup+1.50115 s]
/proc/loadavg: 4.21 4.15 4.14 6/328 842558
/proc/meminfo: memFree=125038180/131524600 swapFree=131071996/131071996
[pid=842539] ppid=842536 vsize=19041612 memory=162968 CPUtime=2.74 cores=4,6
/proc/842539/stat : 842539 (java) S 842536 842539 840443 0 -1 1077936128 21034 0 0 0 269 5 0 0 20 0 19 0 163905842 19498610688 40742 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
/proc/842539/statm: 4760403 40742 5870 1 0 556917 0
[pid=842539/tid=842541] ppid=842536 vsize=19041612 memory=12384 CPUtime=1.41 cores=4,6
/proc/842539/task/842541/stat : 842541 (java) R 842536 842539 840443 0 -1 4194368 6218 0 0 0 138 3 0 0 20 0 19 0 163905842 19498610688 40742 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842550] ppid=842536 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/842539/task/842550/stat : 842550 (Finalizer) S 842536 842539 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163905845 19498610688 40742 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842557] ppid=842536 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/842539/task/842557/stat : 842557 (Common-Cleaner) S 842536 842539 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163905845 19498610688 40742 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842558] ppid=842536 vsize=19041612 memory=280740537476368 CPUtime=0 cores=4,6
/proc/842539/task/842558/stat : 842558 (Timer-0) S 842536 842539 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163905878 19498610688 40742 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 162968 KiB
[startup+3.10615 s]
/proc/loadavg: 4.21 4.15 4.14 6/329 842631
/proc/meminfo: memFree=126718964/131524600 swapFree=131071996/131071996
[pid=842539] ppid=842536 vsize=19041612 memory=171992 CPUtime=4.58 cores=4,6
/proc/842539/stat : 842539 (java) S 842536 842539 840443 0 -1 1077936128 24489 0 0 0 452 6 0 0 20 0 19 0 163905842 19498610688 42998 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
/proc/842539/statm: 4760403 42998 5870 1 0 556980 0
[pid=842539/tid=842541] ppid=842536 vsize=19041612 memory=0 CPUtime=2.99 cores=4,6
/proc/842539/task/842541/stat : 842541 (java) R 842536 842539 840443 0 -1 4194368 7626 0 0 0 296 3 0 0 20 0 19 0 163905842 19498610688 42998 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842550] ppid=842536 vsize=19041612 memory=12384 CPUtime=0 cores=4,6
/proc/842539/task/842550/stat : 842550 (Finalizer) S 842536 842539 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163905845 19498610688 42998 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842557] ppid=842536 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/842539/task/842557/stat : 842557 (Common-Cleaner) S 842536 842539 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163905845 19498610688 42998 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842558] ppid=842536 vsize=19041612 memory=11608 CPUtime=0 cores=4,6
/proc/842539/task/842558/stat : 842558 (Timer-0) S 842536 842539 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163905878 19498610688 42998 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
Current children cumulated CPU time: 4.58 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 171992 KiB
[startup+6.30115 s]
/proc/loadavg: 4.27 4.16 4.14 6/329 842631
/proc/meminfo: memFree=126681184/131524600 swapFree=131071996/131071996
[pid=842539] ppid=842536 vsize=19041612 memory=179920 CPUtime=7.91 cores=4,6
/proc/842539/stat : 842539 (java) S 842536 842539 840443 0 -1 1077936128 25038 0 0 0 785 6 0 0 20 0 19 0 163905842 19498610688 44980 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
/proc/842539/statm: 4760403 44980 5870 1 0 556981 0
[pid=842539/tid=842541] ppid=842536 vsize=19041612 memory=12384 CPUtime=6.16 cores=4,6
/proc/842539/task/842541/stat : 842541 (java) R 842536 842539 840443 0 -1 4194368 7819 0 0 0 613 3 0 0 20 0 19 0 163905842 19498610688 44980 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842550] ppid=842536 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/842539/task/842550/stat : 842550 (Finalizer) S 842536 842539 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163905845 19498610688 44980 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842557] ppid=842536 vsize=19041612 memory=163288 CPUtime=0 cores=4,6
/proc/842539/task/842557/stat : 842557 (Common-Cleaner) S 842536 842539 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163905845 19498610688 44980 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842558] ppid=842536 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/842539/task/842558/stat : 842558 (Timer-0) S 842536 842539 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163905878 19498610688 44980 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
Current children cumulated CPU time: 7.91 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 179920 KiB
[startup+12.7011 s]
/proc/loadavg: 4.33 4.17 4.15 5/331 842702
/proc/meminfo: memFree=128653968/131524600 swapFree=131071996/131071996
[pid=842539] ppid=842536 vsize=19108176 memory=192644 CPUtime=14.27 cores=4,6
/proc/842539/stat : 842539 (java) S 842536 842539 840443 0 -1 1077936128 27341 0 0 0 1421 6 0 0 20 0 20 0 163905842 19566772224 48161 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
/proc/842539/statm: 4777044 48161 5874 1 0 557270 0
[pid=842539/tid=842541] ppid=842536 vsize=19108176 memory=-8744413134218175164 CPUtime=12.49 cores=4,6
/proc/842539/task/842541/stat : 842541 (java) R 842536 842539 840443 0 -1 4194368 8526 0 0 0 1246 3 0 0 20 0 20 0 163905842 19566772224 48161 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842550] ppid=842536 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/842539/task/842550/stat : 842550 (Finalizer) S 842536 842539 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163905845 19566772224 48161 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842557] ppid=842536 vsize=19108176 memory=12384 CPUtime=0 cores=4,6
/proc/842539/task/842557/stat : 842557 (Common-Cleaner) S 842536 842539 840443 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 163905845 19566772224 48161 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842558] ppid=842536 vsize=19108176 memory=43368 CPUtime=0 cores=4,6
/proc/842539/task/842558/stat : 842558 (Timer-0) S 842536 842539 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163905878 19566772224 48161 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
Current children cumulated CPU time: 14.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 192644 KiB
[startup+25.5012 s]
/proc/loadavg: 4.33 4.18 4.15 5/332 842705
/proc/meminfo: memFree=128297608/131524600 swapFree=131071996/131071996
[pid=842539] ppid=842536 vsize=19108176 memory=278944 CPUtime=27.02 cores=4,6
/proc/842539/stat : 842539 (java) S 842536 842539 840443 0 -1 1077936128 31665 0 0 0 2694 8 0 0 20 0 20 0 163905842 19566772224 69736 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
/proc/842539/statm: 4777044 69736 5874 1 0 557270 0
[pid=842539/tid=842541] ppid=842536 vsize=19108176 memory=278928 CPUtime=25.07 cores=4,6
/proc/842539/task/842541/stat : 842541 (java) R 842536 842539 840443 0 -1 4194368 10132 0 0 0 2503 4 0 0 20 0 20 0 163905842 19566772224 69736 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842550] ppid=842536 vsize=19108176 memory=-8599170946723848892 CPUtime=0 cores=4,6
/proc/842539/task/842550/stat : 842550 (Finalizer) S 842536 842539 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163905845 19566772224 69736 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842557] ppid=842536 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/842539/task/842557/stat : 842557 (Common-Cleaner) S 842536 842539 840443 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 163905845 19566772224 69736 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842558] ppid=842536 vsize=19108176 memory=43368 CPUtime=0 cores=4,6
/proc/842539/task/842558/stat : 842558 (Timer-0) S 842536 842539 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163905878 19566772224 69736 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
Current children cumulated CPU time: 27.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 278944 KiB
[startup+51.1052 s]
/proc/loadavg: 4.22 4.17 4.14 5/332 842710
/proc/meminfo: memFree=127474240/131524600 swapFree=131071996/131071996
[pid=842539] ppid=842536 vsize=19108176 memory=498736 CPUtime=52.62 cores=4,6
/proc/842539/stat : 842539 (java) S 842536 842539 840443 0 -1 1077936128 38068 0 0 0 5248 14 0 0 20 0 20 0 163905842 19566772224 124684 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
/proc/842539/statm: 4777044 124684 5881 1 0 557270 0
[pid=842539/tid=842541] ppid=842536 vsize=19108176 memory=498736 CPUtime=50.21 cores=4,6
/proc/842539/task/842541/stat : 842541 (java) R 842536 842539 840443 0 -1 4194368 11509 0 0 0 5017 4 0 0 20 0 20 0 163905842 19566772224 124684 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842550] ppid=842536 vsize=19108176 memory=430936 CPUtime=0 cores=4,6
/proc/842539/task/842550/stat : 842550 (Finalizer) S 842536 842539 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163905845 19566772224 124684 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.25 4.22 4.17 5/332 844546
/proc/meminfo: memFree=103124548/131524600 swapFree=131071996/131071996
[pid=842539] ppid=842536 vsize=19108176 memory=7002136 CPUtime=3296.46 cores=4,6
/proc/842539/stat : 842539 (java) S 842536 842539 840443 0 -1 1077936128 249464 0 0 0 329412 234 0 0 20 0 20 0 163905842 19566772224 1750534 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
/proc/842539/statm: 4777044 1750534 5881 1 0 2149900 0
[pid=842539/tid=842541] ppid=842536 vsize=19108176 memory=11608 CPUtime=3244.44 cores=4,6
/proc/842539/task/842541/stat : 842541 (java) R 842536 842539 840443 0 -1 4194368 72367 0 0 0 324387 57 0 0 20 0 20 0 163905842 19566772224 1750534 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842550] ppid=842536 vsize=19108176 memory=7002136 CPUtime=0 cores=4,6
/proc/842539/task/842550/stat : 842550 (Finalizer) S 842536 842539 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163905845 19566772224 1750534 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842557] ppid=842536 vsize=19108176 memory=6776856 CPUtime=0 cores=4,6
/proc/842539/task/842557/stat : 842557 (Common-Cleaner) S 842536 842539 840443 0 -1 1077936192 1188 0 0 0 0 0 0 0 20 0 20 0 163905845 19566772224 1750534 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842558] ppid=842536 vsize=19108176 memory=7002136 CPUtime=0 cores=4,6
/proc/842539/task/842558/stat : 842558 (Timer-0) S 842536 842539 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163905878 19566772224 1750534 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
Current children cumulated CPU time: 3296.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7002136 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.21 4.17 5/330 844557
/proc/meminfo: memFree=102859580/131524600 swapFree=131071996/131071996
[pid=842539] ppid=842536 vsize=19108176 memory=7051392 CPUtime=3356.65 cores=4,6
/proc/842539/stat : 842539 (java) S 842536 842539 840443 0 -1 1077936128 253358 0 0 0 335428 237 0 0 20 0 20 0 163905842 19566772224 1762848 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
/proc/842539/statm: 4777044 1762848 5881 1 0 2149900 0
[pid=842539/tid=842541] ppid=842536 vsize=19108176 memory=7051392 CPUtime=3303.64 cores=4,6
/proc/842539/task/842541/stat : 842541 (java) R 842536 842539 840443 0 -1 4194368 73199 0 0 0 330307 57 0 0 20 0 20 0 163905842 19566772224 1762848 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842550] ppid=842536 vsize=19108176 memory=7051392 CPUtime=0 cores=4,6
/proc/842539/task/842550/stat : 842550 (Finalizer) S 842536 842539 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163905845 19566772224 1762848 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842557] ppid=842536 vsize=19108176 memory=11608 CPUtime=0 cores=4,6
/proc/842539/task/842557/stat : 842557 (Common-Cleaner) S 842536 842539 840443 0 -1 1077936192 1278 0 0 0 0 0 0 0 20 0 20 0 163905845 19566772224 1762848 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842558] ppid=842536 vsize=19108176 memory=7051392 CPUtime=0 cores=4,6
/proc/842539/task/842558/stat : 842558 (Timer-0) S 842536 842539 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163905878 19566772224 1762848 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
Current children cumulated CPU time: 3356.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7051392 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.18 4.17 5/330 844567
/proc/meminfo: memFree=102859408/131524600 swapFree=131071996/131071996
[pid=842539] ppid=842536 vsize=19108176 memory=7051392 CPUtime=3417.09 cores=4,6
/proc/842539/stat : 842539 (java) S 842536 842539 840443 0 -1 1077936128 254924 0 0 0 341471 238 0 0 20 0 20 0 163905842 19566772224 1762848 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
/proc/842539/statm: 4777044 1762848 5881 1 0 2149900 0
[pid=842539/tid=842541] ppid=842536 vsize=19108176 memory=11608 CPUtime=3362.95 cores=4,6
/proc/842539/task/842541/stat : 842541 (java) R 842536 842539 840443 0 -1 4194368 73803 0 0 0 336238 57 0 0 20 0 20 0 163905842 19566772224 1762848 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842550] ppid=842536 vsize=19108176 memory=7051392 CPUtime=0 cores=4,6
/proc/842539/task/842550/stat : 842550 (Finalizer) S 842536 842539 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163905845 19566772224 1762848 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842557] ppid=842536 vsize=19108176 memory=7051392 CPUtime=0 cores=4,6
/proc/842539/task/842557/stat : 842557 (Common-Cleaner) S 842536 842539 840443 0 -1 1077936192 1278 0 0 0 0 0 0 0 20 0 20 0 163905845 19566772224 1762848 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842558] ppid=842536 vsize=19108176 memory=-8744413134218175164 CPUtime=0 cores=4,6
/proc/842539/task/842558/stat : 842558 (Timer-0) S 842536 842539 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163905878 19566772224 1762848 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
Current children cumulated CPU time: 3417.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7051392 KiB
[startup+3462.3 s]
/proc/loadavg: 4.37 4.25 4.19 5/330 844578
/proc/meminfo: memFree=102850932/131524600 swapFree=131071996/131071996
[pid=842539] ppid=842536 vsize=19108176 memory=7051392 CPUtime=3477.21 cores=4,6
/proc/842539/stat : 842539 (java) S 842536 842539 840443 0 -1 1077936128 255667 0 0 0 347482 239 0 0 20 0 20 0 163905842 19566772224 1762848 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
/proc/842539/statm: 4777044 1762848 5881 1 0 2149900 0
[pid=842539/tid=842541] ppid=842536 vsize=19108176 memory=11608 CPUtime=3422.54 cores=4,6
/proc/842539/task/842541/stat : 842541 (java) R 842536 842539 840443 0 -1 4194368 74089 0 0 0 342197 57 0 0 20 0 20 0 163905842 19566772224 1762848 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842550] ppid=842536 vsize=19108176 memory=26084 CPUtime=0 cores=4,6
/proc/842539/task/842550/stat : 842550 (Finalizer) S 842536 842539 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163905845 19566772224 1762848 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842557] ppid=842536 vsize=19108176 memory=7051392 CPUtime=0 cores=4,6
/proc/842539/task/842557/stat : 842557 (Common-Cleaner) S 842536 842539 840443 0 -1 1077936192 1278 0 0 0 0 0 0 0 20 0 20 0 163905845 19566772224 1762848 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842558] ppid=842536 vsize=19108176 memory=7051392 CPUtime=0 cores=4,6
/proc/842539/task/842558/stat : 842558 (Timer-0) S 842536 842539 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163905878 19566772224 1762848 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
Current children cumulated CPU time: 3477.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7051392 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.22 4.18 5/330 844588
/proc/meminfo: memFree=102833956/131524600 swapFree=131071996/131071996
[pid=842539] ppid=842536 vsize=19108176 memory=7051392 CPUtime=3537.25 cores=4,6
/proc/842539/stat : 842539 (java) S 842536 842539 840443 0 -1 1077936128 256114 0 0 0 353485 240 0 0 20 0 20 0 163905842 19566772224 1762848 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
/proc/842539/statm: 4777044 1762848 5881 1 0 2149900 0
[pid=842539/tid=842541] ppid=842536 vsize=19108176 memory=7051392 CPUtime=3482.28 cores=4,6
/proc/842539/task/842541/stat : 842541 (java) R 842536 842539 840443 0 -1 4194368 74223 0 0 0 348171 57 0 0 20 0 20 0 163905842 19566772224 1762848 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842550] ppid=842536 vsize=19108176 memory=-8744413134218175164 CPUtime=0 cores=4,6
/proc/842539/task/842550/stat : 842550 (Finalizer) S 842536 842539 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163905845 19566772224 1762848 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842557] ppid=842536 vsize=19108176 memory=7051392 CPUtime=0 cores=4,6
/proc/842539/task/842557/stat : 842557 (Common-Cleaner) S 842536 842539 840443 0 -1 1077936192 1278 0 0 0 0 0 0 0 20 0 20 0 163905845 19566772224 1762848 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842558] ppid=842536 vsize=19108176 memory=5616 CPUtime=0 cores=4,6
/proc/842539/task/842558/stat : 842558 (Timer-0) S 842536 842539 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163905878 19566772224 1762848 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
Current children cumulated CPU time: 3537.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7051392 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.21 4.18 5/330 844598
/proc/meminfo: memFree=102833200/131524600 swapFree=131071996/131071996
[pid=842539] ppid=842536 vsize=19108176 memory=7051408 CPUtime=3597.33 cores=4,6
/proc/842539/stat : 842539 (java) S 842536 842539 840443 0 -1 1077936128 256650 0 0 0 359491 242 0 0 20 0 20 0 163905842 19566772224 1762852 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
/proc/842539/statm: 4777044 1762852 5881 1 0 2149900 0
[pid=842539/tid=842541] ppid=842536 vsize=19108176 memory=7051392 CPUtime=3541.97 cores=4,6
/proc/842539/task/842541/stat : 842541 (java) R 842536 842539 840443 0 -1 4194368 74329 0 0 0 354140 57 0 0 20 0 20 0 163905842 19566772224 1762852 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842550] ppid=842536 vsize=19108176 memory=7969292749570872737 CPUtime=0 cores=4,6
/proc/842539/task/842550/stat : 842550 (Finalizer) S 842536 842539 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163905845 19566772224 1762852 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842557] ppid=842536 vsize=19108176 memory=7051408 CPUtime=0 cores=4,6
/proc/842539/task/842557/stat : 842557 (Common-Cleaner) S 842536 842539 840443 0 -1 1077936192 1278 0 0 0 0 0 0 0 20 0 20 0 163905845 19566772224 1762852 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842558] ppid=842536 vsize=19108176 memory=-8744413134218175164 CPUtime=0 cores=4,6
/proc/842539/task/842558/stat : 842558 (Timer-0) S 842536 842539 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163905878 19566772224 1762852 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
Current children cumulated CPU time: 3597.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7051408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3585 s]*
/proc/loadavg: 4.17 4.21 4.18 5/330 844598
/proc/meminfo: memFree=102833116/131524600 swapFree=131071996/131071996
[pid=842539] ppid=842536 vsize=19108176 memory=7051408 CPUtime=3600.03 cores=4,6
/proc/842539/stat : 842539 (java) S 842536 842539 840443 0 -1 1077936128 256650 0 0 0 359761 242 0 0 20 0 20 0 163905842 19566772224 1762852 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
/proc/842539/statm: 4777044 1762852 5881 1 0 2149900 0
[pid=842539/tid=842541] ppid=842536 vsize=19108176 memory=-8887400223363932860 CPUtime=3544.67 cores=4,6
/proc/842539/task/842541/stat : 842541 (java) R 842536 842539 840443 0 -1 4194368 74329 0 0 0 354410 57 0 0 20 0 20 0 163905842 19566772224 1762852 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842550] ppid=842536 vsize=19108176 memory=7969292749570872737 CPUtime=0 cores=4,6
/proc/842539/task/842550/stat : 842550 (Finalizer) S 842536 842539 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163905845 19566772224 1762852 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842557] ppid=842536 vsize=19108176 memory=11528 CPUtime=0 cores=4,6
/proc/842539/task/842557/stat : 842557 (Common-Cleaner) S 842536 842539 840443 0 -1 1077936192 1278 0 0 0 0 0 0 0 20 0 20 0 163905845 19566772224 1762852 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842558] ppid=842536 vsize=19108176 memory=11632 CPUtime=0 cores=4,6
/proc/842539/task/842558/stat : 842558 (Timer-0) S 842536 842539 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163905878 19566772224 1762852 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7051408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3585.18 s]
# the end of solver process 842539 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.9 s, system=2.45133 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3585.11 s]
/proc/loadavg: 4.17 4.21 4.18 5/330 844598
/proc/meminfo: memFree=102833116/131524600 swapFree=131071996/131071996
[pid=842539] ppid=842536 vsize=19307868 memory=7052088 CPUtime=3600.23 cores=4,6
/proc/842539/stat : 842539 (java) S 842536 842539 840443 0 -1 1077936128 258958 0 0 0 359781 242 0 0 20 0 21 0 163905842 19771256832 1763022 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
/proc/842539/statm: 4826967 1763022 5880 1 0 2150804 0
[pid=842539/tid=842541] ppid=842536 vsize=19307868 memory=7051392 CPUtime=3544.77 cores=4,6
/proc/842539/task/842541/stat : 842541 (java) R 842536 842539 840443 0 -1 4194368 74435 0 0 0 354420 57 0 0 20 0 21 0 163905842 19771256832 1763022 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842550] ppid=842536 vsize=19307868 memory=-8744413134218175164 CPUtime=0 cores=4,6
/proc/842539/task/842550/stat : 842550 (Finalizer) S 842536 842539 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 163905845 19771256832 1763022 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
[pid=842539/tid=842557] ppid=842536 vsize=19307868 memory=7051392 CPUtime=0 cores=4,6
/proc/842539/task/842557/stat : 842557 (Common-Cleaner) S 842536 842539 840443 0 -1 1077936192 1278 0 0 0 0 0 0 0 20 0 21 0 163905845 19771256832 1763022 134679101440 94154867748864 94154867752560 140726633198672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94154867760376 94154867761168 94154878791680 140726633206791 140726633206881 140726633206881 140726633213896 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 7052088 KiB
Child status: 143
Real time (s): 3585.18
CPU time (s): 3600.36
CPU user time (s): 3597.9
CPU system time (s): 2.45133
CPU usage (%): 100.423
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 7052088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.9
system time used= 2.45133
maximum resident set size= 7053124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259595
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113409
involuntary context switches= 15928
# summary of solver processes directly reported to runsolver:
# pid: 842539
# total CPU time (s): 3600.36
# total CPU user time (s): 3597.9
# total CPU system time (s): 2.45133
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.65306 second user time and 17.8219 second system time
The end
Begin job on nodeC028 at 2024-07-16 10:10:00 IDJOB=4432329 IDBENCH=148193 IDSOLVER=3058 FILE ID=nodeC028/4432329-1721117388 RUNJOBID= nodeC028-1721113794-840454 SLURM_JOB_ID= 7505648 Free space on /tmp= 890064 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432329-1721117388/watcher-4432329-1721117388 -o /tmp/evaluation-result-4432329-1721117388/solver-4432329-1721117388 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721113794-840454 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432329-1721117388.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7 RANDOM SEED=107718856 nodeC028.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 : 0xb00002a cpu MHz : 3685.461 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3681.005 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3656.217 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.059 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3635.707 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3681.093 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3659.349 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.799 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125182400 kB MemAvailable: 125673112 kB Buffers: 392828 kB Cached: 938152 kB SwapCached: 0 kB Active: 692612 kB Inactive: 5056416 kB Active(anon): 1560 kB Inactive(anon): 4454524 kB Active(file): 691052 kB Inactive(file): 601892 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 3276 kB Writeback: 0 kB AnonPages: 4415624 kB Mapped: 124760 kB Shmem: 37720 kB KReclaimable: 75184 kB Slab: 178600 kB SReclaimable: 75184 kB SUnreclaim: 103416 kB KernelStack: 5040 kB PageTables: 18916 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 7376252 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61056 kB HardwareCorrupted: 0 kB AnonHugePages: 4249600 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: 193236 kB DirectMap2M: 18454528 kB DirectMap1G: 117440512 kB Free space on /tmp at the end= 890048 MiB End job on nodeC028 at 2024-07-16 11:09:46