0.00/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.11	c See www.sat4j.org for details.
0.14/0.12	c version CUSTOM.v20240707
0.14/0.14	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.14	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.14	c java.vm.version	22.0.1+8-16
0.14/0.14	c java.vm.vendor	Oracle Corporation
0.14/0.14	c sun.arch.data.model	64
0.14/0.14	c java.version		22.0.1
0.14/0.14	c os.name		Linux
0.14/0.14	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.14	c os.arch		amd64
0.14/0.14	c Free memory 		2115194816
0.14/0.14	c Max memory 		16282288128
0.14/0.14	c Total memory 		2122317824
0.14/0.15	c Number of processors 	2
0.14/0.20	--- Begin Solver configuration ---
0.14/0.20	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.20	Learn all clauses as in MiniSAT
0.14/0.20	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.20	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.20	Expensive reason simplification
0.14/0.20	Glucose 2.1 dynamic restart strategy
0.14/0.20	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.20	timeout=2147483s
0.14/0.20	DB Simplification allowed=false
0.14/0.20	Listener: none
0.14/0.20	--- End Solver configuration ---
0.14/0.20	c Pseudo Boolean Optimization by upper bound
0.14/0.20	c --- Begin Solver configuration ---
0.14/0.20	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.20	c Learn all clauses as in MiniSAT
0.14/0.20	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.20	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.20	c Expensive reason simplification
0.14/0.20	c Glucose 2.1 dynamic restart strategy
0.14/0.20	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.20	c timeout=2147483s
0.14/0.20	c DB Simplification allowed=false
0.14/0.20	c Listener: none
0.14/0.20	c --- End Solver configuration ---
0.14/0.20	c solving HOME/instance-4440306-1721772373.opb
0.14/0.20	c reading problem ... 
0.14/0.20	c using VERIPB proof format
0.14/0.20	c  objective function found
3.34/1.99	c ... done. Wall clock time 1.794s.
3.34/1.99	c declared #vars     10000
3.34/1.99	c #constraints  656900
3.34/1.99	c constraints type 
3.34/1.99	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
3.34/1.99	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
3.34/1.99	c 656900 constraints processed.
3.50/2.01	c objective function length is 10000 literals
4.27/2.42	c SATISFIABLE
4.27/2.42	c OPTIMIZING...
4.27/2.43	c Got one! Elapsed wall clock time (in seconds):2.225
4.27/2.43	o 665
10.00/5.32	c cleaning 2556 clauses out of 5119 with flag 15421/5119
12.72/7.62	c cleaning 4271 clauses out of 8563 with flag 33772/11119
15.61/10.44	c cleaning 5642 clauses out of 11291 with flag 55568/18118
18.35/13.14	c cleaning 6824 clauses out of 13649 with flag 81702/26118
21.41/15.97	c cleaning 7913 clauses out of 15826 with flag 111480/35119
24.42/18.98	c cleaning 8954 clauses out of 17912 with flag 142615/45118
27.83/22.35	c cleaning 9978 clauses out of 19958 with flag 177025/56118
31.43/25.97	c cleaning 10984 clauses out of 21980 with flag 212923/68118
35.32/29.85	c cleaning 11992 clauses out of 23996 with flag 250957/81118
39.76/34.45	c cleaning 13002 clauses out of 26004 with flag 291456/95118
44.66/39.38	c cleaning 14000 clauses out of 28004 with flag 338421/110120
49.36/44.09	c cleaning 14994 clauses out of 30003 with flag 387058/126119
54.44/48.98	c cleaning 15996 clauses out of 32008 with flag 438574/143118
60.02/54.39	c cleaning 16995 clauses out of 34012 with flag 497057/161118
65.83/60.14	c cleaning 18002 clauses out of 36017 with flag 557555/180118
72.01/66.42	c cleaning 19008 clauses out of 38016 with flag 626050/200119
78.41/72.83	c cleaning 19997 clauses out of 40007 with flag 702437/221118
85.20/79.66	c cleaning 20998 clauses out of 42010 with flag 774984/243118
92.28/86.77	c cleaning 21995 clauses out of 44012 with flag 854007/266118
100.01/94.44	c cleaning 23006 clauses out of 46017 with flag 934259/290118
107.96/102.52	c cleaning 24000 clauses out of 48011 with flag 1021774/315118
116.15/110.70	c cleaning 24995 clauses out of 50011 with flag 1113488/341118
124.63/119.22	c cleaning 26007 clauses out of 52016 with flag 1211614/368118
133.34/128.07	c cleaning 27002 clauses out of 54012 with flag 1315601/396121
142.11/136.85	c cleaning 28000 clauses out of 56008 with flag 1411176/425119
151.31/146.03	c cleaning 28996 clauses out of 58007 with flag 1515438/455118
161.17/155.91	c cleaning 29998 clauses out of 60011 with flag 1622370/486118
171.87/166.78	c cleaning 31007 clauses out of 62013 with flag 1733998/518118
182.94/177.87	c cleaning 32007 clauses out of 64013 with flag 1849616/551125
194.61/189.64	c cleaning 33001 clauses out of 66001 with flag 1965071/585120
206.64/201.65	c cleaning 33991 clauses out of 68001 with flag 2085133/620121
218.81/213.81	c cleaning 35003 clauses out of 70007 with flag 2220129/656118
230.80/226.04	c cleaning 35997 clauses out of 72004 with flag 2359884/693118
243.05/238.39	c cleaning 37001 clauses out of 74007 with flag 2503165/731118
255.71/251.27	c cleaning 37991 clauses out of 76006 with flag 2658785/770118
268.42/263.99	c cleaning 39003 clauses out of 78016 with flag 2806674/810119
281.89/277.40	c cleaning 39999 clauses out of 80013 with flag 2963729/851119
295.62/291.38	c cleaning 40997 clauses out of 82015 with flag 3119851/893120
309.54/305.22	c cleaning 42002 clauses out of 84016 with flag 3281021/936118
324.01/320.00	c cleaning 43000 clauses out of 86014 with flag 3445980/980118
339.33/335.25	c cleaning 44000 clauses out of 88014 with flag 3622696/1025118
354.27/350.41	c cleaning 45000 clauses out of 90014 with flag 3802781/1071118
368.80/364.94	c cleaning 46003 clauses out of 92014 with flag 3990172/1118118
384.40/380.84	c cleaning 47004 clauses out of 94011 with flag 4178966/1166118
399.65/396.09	c cleaning 48003 clauses out of 96008 with flag 4367574/1215119
417.34/417.48	c cleaning 49003 clauses out of 98005 with flag 4560525/1265119
434.47/434.56	c cleaning 49991 clauses out of 100001 with flag 4751288/1316118
451.00/451.26	c cleaning 50996 clauses out of 102010 with flag 4951382/1368118
468.66/469.18	c cleaning 52004 clauses out of 104015 with flag 5147969/1421119
486.63/487.15	c cleaning 52999 clauses out of 106010 with flag 5366950/1475118
505.08/505.70	c cleaning 53993 clauses out of 108011 with flag 5584973/1530118
522.75/523.43	c cleaning 54992 clauses out of 110019 with flag 5799898/1586119
541.04/541.85	c cleaning 56007 clauses out of 112026 with flag 6028253/1643118
559.87/560.63	c cleaning 57005 clauses out of 114022 with flag 6260197/1701121
579.44/580.47	c cleaning 57990 clauses out of 116015 with flag 6494617/1760119
599.72/600.81	c cleaning 59006 clauses out of 118025 with flag 6726536/1820119
620.09/621.28	c cleaning 59999 clauses out of 120018 with flag 6963625/1881118
641.60/642.90	c cleaning 61009 clauses out of 122019 with flag 7203856/1943118
663.93/665.37	c cleaning 61987 clauses out of 124011 with flag 7454125/2006119
686.25/687.83	c cleaning 63008 clauses out of 126023 with flag 7717039/2070118
709.40/710.93	c cleaning 64000 clauses out of 128015 with flag 7977674/2135118
733.05/734.68	c cleaning 65002 clauses out of 130015 with flag 8269296/2201118
754.83/756.53	c cleaning 65996 clauses out of 132013 with flag 8532221/2268118
778.03/779.85	c cleaning 67000 clauses out of 134017 with flag 8796343/2336118
801.41/803.19	c cleaning 68006 clauses out of 136019 with flag 9078229/2405120
825.17/827.08	c cleaning 68994 clauses out of 138011 with flag 9368976/2475118
850.11/852.12	c cleaning 70005 clauses out of 140018 with flag 9657840/2546119
875.63/877.85	c cleaning 70996 clauses out of 142012 with flag 9952446/2618118
902.28/904.76	c cleaning 72003 clauses out of 144016 with flag 10255872/2691118
928.65/931.27	c cleaning 73002 clauses out of 146013 with flag 10562532/2765118
955.73/958.22	c cleaning 73998 clauses out of 148013 with flag 10865714/2840120
984.39/987.03	c cleaning 74997 clauses out of 150013 with flag 11180131/2916118
1012.51/1015.24	c cleaning 76008 clauses out of 152017 with flag 11501429/2993119
1039.71/1042.62	c cleaning 76991 clauses out of 154008 with flag 11824810/3071118
1066.87/1070.09	c cleaning 78001 clauses out of 156017 with flag 12136945/3150118
1095.83/1098.94	c cleaning 78995 clauses out of 158019 with flag 12483330/3230121
1124.40/1127.70	c cleaning 80004 clauses out of 160023 with flag 12830967/3311120
1153.73/1157.26	c cleaning 80998 clauses out of 162017 with flag 13181851/3393118
1183.22/1186.83	c cleaning 82005 clauses out of 164021 with flag 13528033/3476120
1213.45/1217.19	c cleaning 83003 clauses out of 166014 with flag 13875890/3560118
1244.97/1248.73	c cleaning 84004 clauses out of 168016 with flag 14234285/3645123
1276.33/1280.16	c cleaning 84991 clauses out of 170007 with flag 14604689/3731118
1307.78/1311.62	c cleaning 85992 clauses out of 172017 with flag 14977608/3818119
1338.59/1342.43	c cleaning 87007 clauses out of 174024 with flag 15358100/3906118
1370.44/1374.38	c cleaning 88004 clauses out of 176017 with flag 15739525/3995118
1403.78/1407.77	c cleaning 88995 clauses out of 178013 with flag 16119591/4085118
1437.58/1441.79	c cleaning 89997 clauses out of 180018 with flag 16498113/4176118
1470.54/1474.78	c cleaning 91005 clauses out of 182021 with flag 16883900/4268118
1505.40/1509.63	c cleaning 92001 clauses out of 184016 with flag 17279540/4361118
1540.49/1544.89	c cleaning 93006 clauses out of 186015 with flag 17686905/4455118
1575.70/1580.05	c cleaning 93997 clauses out of 188009 with flag 18103375/4550118
1612.13/1616.71	c cleaning 94999 clauses out of 190012 with flag 18503458/4646118
1648.38/1653.43	c cleaning 96003 clauses out of 192014 with flag 18897839/4743119
1685.51/1690.85	c cleaning 96994 clauses out of 194010 with flag 19329437/4841118
1721.54/1726.96	c cleaning 97995 clauses out of 196016 with flag 19772751/4940118
1758.66/1764.45	c cleaning 99004 clauses out of 198021 with flag 20214392/5040118
1796.58/1802.28	c cleaning 99990 clauses out of 200018 with flag 20673929/5141119
1833.92/1839.71	c cleaning 101001 clauses out of 202029 with flag 21139324/5243120
1874.48/1880.47	c cleaning 101998 clauses out of 204026 with flag 21617165/5346118
1910.95/1917.22	c cleaning 103005 clauses out of 206028 with flag 22080695/5450118
1948.09/1954.53	c cleaning 104001 clauses out of 208023 with flag 22544653/5555118
1987.13/1993.74	c cleaning 104996 clauses out of 210022 with flag 23010894/5661118
2026.16/2032.96	c cleaning 105992 clauses out of 212026 with flag 23489480/5768118
2066.87/2074.09	c cleaning 107012 clauses out of 214038 with flag 23964264/5876122
2107.84/2115.15	c cleaning 108004 clauses out of 216023 with flag 24461848/5985119
2151.51/2159.14	c cleaning 109002 clauses out of 218018 with flag 24935843/6095118
2192.81/2200.48	c cleaning 110003 clauses out of 220017 with flag 25428397/6206119
2234.64/2242.48	c cleaning 110994 clauses out of 222013 with flag 25929827/6318118
2277.29/2285.61	c cleaning 112010 clauses out of 224022 with flag 26432104/6431121
2319.43/2327.89	c cleaning 113005 clauses out of 226009 with flag 26941068/6545118
2364.76/2373.11	c cleaning 113983 clauses out of 228005 with flag 27445951/6660119
2409.79/2418.24	c cleaning 115002 clauses out of 230022 with flag 27955661/6776119
2455.37/2463.98	c cleaning 116003 clauses out of 232021 with flag 28478705/6893120
2501.50/2510.23	c cleaning 117005 clauses out of 234019 with flag 29010402/7011121
2549.54/2558.23	c cleaning 117990 clauses out of 236011 with flag 29543676/7130118
2596.00/2604.85	c cleaning 119011 clauses out of 238021 with flag 30078983/7250118
2642.87/2651.84	c cleaning 119993 clauses out of 240010 with flag 30616643/7371118
2689.31/2698.34	c cleaning 120996 clauses out of 242017 with flag 31167836/7493118
2736.92/2746.02	c cleaning 122011 clauses out of 244022 with flag 31742738/7616119
2785.56/2794.76	c cleaning 122994 clauses out of 246010 with flag 32297987/7740118
2835.39/2845.05	c cleaning 123999 clauses out of 248016 with flag 32862196/7865118
2885.96/2896.18	c cleaning 125000 clauses out of 250017 with flag 33417264/7991118
2937.46/2947.92	c cleaning 126009 clauses out of 252017 with flag 33995483/8118118
2989.19/3000.06	c cleaning 126993 clauses out of 254008 with flag 34556804/8246118
3042.27/3053.47	c cleaning 128008 clauses out of 256015 with flag 35126641/8375118
3094.73/3105.80	c cleaning 129001 clauses out of 258007 with flag 35705871/8505118
3146.97/3158.20	c cleaning 129999 clauses out of 260008 with flag 36277238/8636120
3197.78/3209.23	c cleaning 130987 clauses out of 262008 with flag 36861461/8768119
3251.07/3262.66	c cleaning 131989 clauses out of 264020 with flag 37431738/8901118
3305.55/3317.20	c cleaning 133007 clauses out of 266031 with flag 38016372/9035118
3360.78/3372.60	c cleaning 134005 clauses out of 268024 with flag 38607310/9170118
3416.69/3428.66	c cleaning 135002 clauses out of 270020 with flag 39185394/9306119
3471.89/3484.20	c cleaning 136003 clauses out of 272017 with flag 39775502/9443118
3528.19/3540.42	c cleaning 137001 clauses out of 274014 with flag 40379191/9581118
3586.22/3598.58	c cleaning 138005 clauses out of 276013 with flag 40977553/9720118
3600.03/3612.42	c starts		: 6
3600.03/3612.44	c conflicts		: 9757720
3600.03/3612.44	c decisions		: 22390342
3600.03/3612.44	c propagations		: 2247488921
3600.03/3612.44	c inspects		: 4590535790
3600.03/3612.44	c shortcuts		: 0
3600.03/3612.44	c learnt literals	: 0
3600.03/3612.44	c learnt binary clauses	: 0
3600.03/3612.44	c learnt ternary clauses	: 0
3600.03/3612.44	c learnt constraints	: 9757720
3600.03/3612.44	c ignored constraints	: 0
3600.03/3612.44	c root simplifications	: 0
3600.03/3612.44	c removed literals (reason simplification)	: 1530041400
3600.03/3612.44	c reason swapping (by a shorter reason)	: 0
3600.03/3612.44	c Calls to reduceDB	: 135
3600.03/3612.44	c Number of update (reduction) of LBD	: 2796193
3600.03/3612.44	c Imported unit clauses	: 0
3600.03/3612.44	c No decision after first conflict	: false
3600.03/3612.44	c number of reductions to clauses (during analyze)	: 0
3600.03/3612.44	c number of learned constraints concerned by reduction	: 0
3600.03/3612.44	c number of learning phase by resolution	: 0
3600.03/3612.44	c number of learning phase by cutting planes	: 0
3600.03/3612.44	c number of rounding to 1 operations	: 0
3600.03/3612.45	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3612.45	c number of reductions of the coefficients by power 2 	: 0
3600.03/3612.45	c number of right shift for reduction by power 2 	: 0
3600.03/3612.45	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3612.45	c number of ending skipping 	: 0
3600.03/3612.45	c number of internal skipping 	: 0
3600.03/3612.45	c number of derivation steps 	: 0
3600.03/3612.45	c number of skipped derivation steps 	: 0
3600.03/3612.45	c number of remaining unassigned 	: 0
3600.03/3612.45	c number of remaining assigned 	: 0
3600.03/3612.45	c number of falsified literals weakened from reason	: 0
3600.03/3612.46	c number of falsified literals weakened from conflict	: 0
3600.03/3612.46	c time for arithmetic operations	: 0
3600.03/3612.46	c minimum degree of deleted constraints	: null
3600.03/3612.46	c maximum degree of deleted constraints	: null
3600.03/3612.46	c number of deleted constraints	: 0
3600.03/3612.46	c speed (assignments/second)	: 622496.8912393552
3600.03/3612.46	c non guided choices	: 0
3600.41/3612.63	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 175610
3600.41/3612.63	s SATISFIABLE
3600.41/3612.63	c Found 1 solution(s)
3600.41/3612.64	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 x3447 -x3448 x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 x7174 x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 x8222 -x8223 -x8224 -x8225 -x8226 -x8227 x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 
3600.41/3612.69	c objective function=665
3600.41/3612.69	c Total wall clock time (in seconds): 3612.492

OK	665

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: 64096 MiB (21736 MiB free)
  memory of node 1: 64473 MiB (43589 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440306-1721772373/watcher-4440306-1721772373 -o /tmp/evaluation-result-4440306-1721772373/solver-4440306-1721772373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721765591-122974 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440306-1721772373 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440306-1721772373.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=127715, runsolver pid=127712

[startup+0.108089 s]*
/proc/loadavg: 4.35 4.34 4.31 8/316 127733
/proc/meminfo: memFree=66844964/131655788 swapFree=131069936/131071996
[pid=127715] ppid=127712 vsize=18993908 memory=57592 CPUtime=0.14 cores=4,6
/proc/127715/stat : 127715 (java) S 127712 127715 122963 0 -1 1077936128 6755 0 0 0 12 2 0 0 20 0 18 0 13227206 19449761792 14398 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
/proc/127715/statm: 4748477 14398 5831 1 0 551012 0
[pid=127715/tid=127717] ppid=127712 vsize=18993908 memory=4026561586 CPUtime=0.1 cores=4,6
/proc/127715/task/127717/stat : 127717 (java) S 127712 127715 122963 0 -1 1077936192 5686 0 0 0 8 2 0 0 20 0 18 0 13227207 19449761792 14398 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127726] ppid=127712 vsize=18993908 memory=232851243367 CPUtime=0 cores=4,6
/proc/127715/task/127726/stat : 127726 (Finalizer) S 127712 127715 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13227212 19449761792 14398 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127733] ppid=127712 vsize=18993908 memory=3761975942948701834 CPUtime=0 cores=4,6
/proc/127715/task/127733/stat : 127733 (Common-Cleaner) S 127712 127715 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13227213 19449761792 14398 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 57592 KiB

[startup+0.215372 s]*
/proc/loadavg: 4.35 4.34 4.31 7/316 127733
/proc/meminfo: memFree=66817592/131655788 swapFree=131069936/131071996
[pid=127715] ppid=127712 vsize=18993908 memory=69396 CPUtime=0.35 cores=4,6
/proc/127715/stat : 127715 (java) S 127712 127715 122963 0 -1 1077936128 7476 0 0 0 32 3 0 0 20 0 18 0 13227206 19449761792 17349 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
/proc/127715/statm: 4748477 17349 5991 1 0 551604 0
[pid=127715/tid=127717] ppid=127712 vsize=18993908 memory=4782652875487838339 CPUtime=0.21 cores=4,6
/proc/127715/task/127717/stat : 127717 (java) R 127712 127715 122963 0 -1 4194368 5990 0 0 0 19 2 0 0 20 0 18 0 13227207 19449761792 17349 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127726] ppid=127712 vsize=18993908 memory=1118598 CPUtime=0 cores=4,6
/proc/127715/task/127726/stat : 127726 (Finalizer) S 127712 127715 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13227212 19449761792 17349 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127733] ppid=127712 vsize=18993908 memory=3544395815948961836 CPUtime=0 cores=4,6
/proc/127715/task/127733/stat : 127733 (Common-Cleaner) S 127712 127715 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13227213 19449761792 17349 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 69396 KiB

[startup+0.329103 s]*
/proc/loadavg: 4.35 4.34 4.31 7/316 127733
/proc/meminfo: memFree=66796584/131655788 swapFree=131069936/131071996
[pid=127715] ppid=127712 vsize=18993908 memory=78592 CPUtime=0.55 cores=4,6
/proc/127715/stat : 127715 (java) S 127712 127715 122963 0 -1 1077936128 7591 0 0 0 51 4 0 0 20 0 18 0 13227206 19449761792 19648 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
/proc/127715/statm: 4748477 19648 6118 1 0 551665 0
[pid=127715/tid=127717] ppid=127712 vsize=18993908 memory=-9033204239859229372 CPUtime=0.32 cores=4,6
/proc/127715/task/127717/stat : 127717 (java) R 127712 127715 122963 0 -1 4194368 6020 0 0 0 29 3 0 0 20 0 18 0 13227207 19449761792 19648 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127726] ppid=127712 vsize=18993908 memory=0 CPUtime=0 cores=4,6
/proc/127715/task/127726/stat : 127726 (Finalizer) S 127712 127715 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13227212 19449761792 19648 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127733] ppid=127712 vsize=18993908 memory=0 CPUtime=0 cores=4,6
/proc/127715/task/127733/stat : 127733 (Common-Cleaner) S 127712 127715 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13227213 19449761792 19648 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 78592 KiB

[startup+0.701086 s]
/proc/loadavg: 4.35 4.34 4.31 6/316 127733
/proc/meminfo: memFree=66715128/131655788 swapFree=131069936/131071996
[pid=127715] ppid=127712 vsize=19060472 memory=173188 CPUtime=1.23 cores=4,6
/proc/127715/stat : 127715 (java) S 127712 127715 122963 0 -1 1077936128 9308 0 0 0 117 6 0 0 20 0 19 0 13227206 19517923328 43297 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
/proc/127715/statm: 4765118 43297 6134 1 0 552946 0
[pid=127715/tid=127717] ppid=127712 vsize=19060472 memory=5672 CPUtime=0.63 cores=4,6
/proc/127715/task/127717/stat : 127717 (java) R 127712 127715 122963 0 -1 4194368 6061 0 0 0 59 4 0 0 20 0 19 0 13227207 19517923328 43297 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127726] ppid=127712 vsize=19060472 memory=12312 CPUtime=0 cores=4,6
/proc/127715/task/127726/stat : 127726 (Finalizer) S 127712 127715 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13227212 19517923328 43297 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127733] ppid=127712 vsize=19060472 memory=4985 CPUtime=0 cores=4,6
/proc/127715/task/127733/stat : 127733 (Common-Cleaner) S 127712 127715 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13227213 19517923328 43297 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 173188 KiB

[startup+1.50108 s]
/proc/loadavg: 4.35 4.34 4.31 6/317 127734
/proc/meminfo: memFree=66572808/131655788 swapFree=131069936/131071996
[pid=127715] ppid=127712 vsize=19060472 memory=335292 CPUtime=2.81 cores=4,6
/proc/127715/stat : 127715 (java) S 127712 127715 122963 0 -1 1077936128 17833 0 0 0 270 11 0 0 20 0 19 0 13227206 19517923328 83823 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
/proc/127715/statm: 4765118 83823 6134 1 0 983785 0
[pid=127715/tid=127717] ppid=127712 vsize=19060472 memory=4985 CPUtime=1.34 cores=4,6
/proc/127715/task/127717/stat : 127717 (java) R 127712 127715 122963 0 -1 4194368 6127 0 0 0 128 6 0 0 20 0 19 0 13227207 19517923328 83823 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127726] ppid=127712 vsize=19060472 memory=0 CPUtime=0 cores=4,6
/proc/127715/task/127726/stat : 127726 (Finalizer) S 127712 127715 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13227212 19517923328 83823 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127733] ppid=127712 vsize=19060472 memory=12312 CPUtime=0 cores=4,6
/proc/127715/task/127733/stat : 127733 (Common-Cleaner) S 127712 127715 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13227213 19517923328 83823 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 335292 KiB

[startup+3.10581 s]
/proc/loadavg: 4.35 4.34 4.31 8/318 127737
/proc/meminfo: memFree=66273532/131655788 swapFree=131069936/131071996
[pid=127715] ppid=127712 vsize=19127036 memory=494864 CPUtime=5.66 cores=4,6
/proc/127715/stat : 127715 (java) S 127712 127715 122963 0 -1 1077936128 21159 0 0 0 550 16 0 0 20 0 20 0 13227206 19586084864 123716 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
/proc/127715/statm: 4781759 123716 6193 1 0 985301 0
[pid=127715/tid=127717] ppid=127712 vsize=19127036 memory=12312 CPUtime=2.78 cores=4,6
/proc/127715/task/127717/stat : 127717 (java) R 127712 127715 122963 0 -1 4194368 6352 0 0 0 269 9 0 0 20 0 20 0 13227207 19586084864 123716 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127726] ppid=127712 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/127715/task/127726/stat : 127726 (Finalizer) S 127712 127715 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13227212 19586084864 123716 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127733] ppid=127712 vsize=19127036 memory=6657 CPUtime=0 cores=4,6
/proc/127715/task/127733/stat : 127733 (Common-Cleaner) S 127712 127715 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13227213 19586084864 123716 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127737] ppid=127712 vsize=19127036 memory=4420 CPUtime=0 cores=4,6
/proc/127715/task/127737/stat : 127737 (Timer-0) S 127712 127715 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13227408 19586084864 123716 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
Current children cumulated CPU time: 5.66 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 494864 KiB

[startup+6.30109 s]
/proc/loadavg: 4.49 4.37 4.32 5/318 127737
/proc/meminfo: memFree=65760772/131655788 swapFree=131069936/131071996
[pid=127715] ppid=127712 vsize=19127036 memory=924552 CPUtime=11.39 cores=4,6
/proc/127715/stat : 127715 (java) S 127712 127715 122963 0 -1 1077936128 22468 0 0 0 1110 29 0 0 20 0 20 0 13227206 19586084864 231138 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
/proc/127715/statm: 4781759 231138 6225 1 0 1614295 0
[pid=127715/tid=127717] ppid=127712 vsize=19127036 memory=0 CPUtime=5.84 cores=4,6
/proc/127715/task/127717/stat : 127717 (java) R 127712 127715 122963 0 -1 4194368 6663 0 0 0 565 19 0 0 20 0 20 0 13227207 19586084864 231138 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127726] ppid=127712 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/127715/task/127726/stat : 127726 (Finalizer) S 127712 127715 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13227212 19586084864 231138 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127733] ppid=127712 vsize=19127036 memory=12312 CPUtime=0 cores=4,6
/proc/127715/task/127733/stat : 127733 (Common-Cleaner) S 127712 127715 122963 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13227213 19586084864 231138 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127737] ppid=127712 vsize=19127036 memory=6944656591801720226 CPUtime=0 cores=4,6
/proc/127715/task/127737/stat : 127737 (Timer-0) S 127712 127715 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13227408 19586084864 231138 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
Current children cumulated CPU time: 11.39 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 924552 KiB

[startup+12.7005 s]
/proc/loadavg: 4.45 4.36 4.31 5/318 127738
/proc/meminfo: memFree=65318868/131655788 swapFree=131069936/131071996
[pid=127715] ppid=127712 vsize=19127036 memory=1364372 CPUtime=17.94 cores=4,6
/proc/127715/stat : 127715 (java) S 127712 127715 122963 0 -1 1077936128 28565 0 0 0 1753 41 0 0 20 0 20 0 13227206 19586084864 341093 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
/proc/127715/statm: 4781759 341093 6225 1 0 1614297 0
[pid=127715/tid=127717] ppid=127712 vsize=19127036 memory=12312 CPUtime=12.18 cores=4,6
/proc/127715/task/127717/stat : 127717 (java) R 127712 127715 122963 0 -1 4194368 7738 0 0 0 1188 30 0 0 20 0 20 0 13227207 19586084864 341093 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127726] ppid=127712 vsize=19127036 memory=1013136 CPUtime=0 cores=4,6
/proc/127715/task/127726/stat : 127726 (Finalizer) S 127712 127715 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13227212 19586084864 341093 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127733] ppid=127712 vsize=19127036 memory=1206676 CPUtime=0 cores=4,6
/proc/127715/task/127733/stat : 127733 (Common-Cleaner) S 127712 127715 122963 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 20 0 13227213 19586084864 341093 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127737] ppid=127712 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/127715/task/127737/stat : 127737 (Timer-0) S 127712 127715 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13227408 19586084864 341093 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
Current children cumulated CPU time: 17.94 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1364372 KiB

[startup+25.5005 s]
/proc/loadavg: 4.48 4.38 4.32 5/317 127740
/proc/meminfo: memFree=64076836/131655788 swapFree=131069936/131071996
[pid=127715] ppid=127712 vsize=19127036 memory=1892888 CPUtime=31.03 cores=4,6
/proc/127715/stat : 127715 (java) S 127712 127715 122963 0 -1 1077936128 31622 0 0 0 3047 56 0 0 20 0 20 0 13227206 19586084864 473222 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
/proc/127715/statm: 4781759 473222 6241 1 0 1614301 0
[pid=127715/tid=127717] ppid=127712 vsize=19127036 memory=1206676 CPUtime=24.91 cores=4,6
/proc/127715/task/127717/stat : 127717 (java) R 127712 127715 122963 0 -1 4194368 9029 0 0 0 2447 44 0 0 20 0 20 0 13227207 19586084864 473222 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127726] ppid=127712 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/127715/task/127726/stat : 127726 (Finalizer) S 127712 127715 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13227212 19586084864 473222 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127733] ppid=127712 vsize=19127036 memory=1892888 CPUtime=0 cores=4,6
/proc/127715/task/127733/stat : 127733 (Common-Cleaner) S 127712 127715 122963 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 20 0 13227213 19586084864 473222 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127737] ppid=127712 vsize=19127036 memory=1892888 CPUtime=0 cores=4,6
/proc/127715/task/127737/stat : 127737 (Timer-0) S 127712 127715 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13227408 19586084864 473222 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
Current children cumulated CPU time: 31.03 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1892888 KiB

[startup+51.1134 s]
/proc/loadavg: 4.45 4.38 4.32 5/318 127745
/proc/meminfo: memFree=60762552/131655788 swapFree=131069936/131071996
[pid=127715] ppid=127712 vsize=19127036 memory=3099256 CPUtime=56.84 cores=4,6
/proc/127715/stat : 127715 (java) S 127712 127715 122963 0 -1 1077936128 39311 0 0 0 5594 90 0 0 20 0 20 0 13227206 19586084864 774814 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
/proc/127715/statm: 4781759 774814 6241 1 0 1614307 0
[pid=127715/tid=127717] ppid=127712 vsize=19127036 memory=132 CPUtime=50.18 cores=4,6
/proc/127715/task/127717/stat : 127717 (java) R 127712 127715 122963 0 -1 4194368 11195 0 0 0 4942 76 0 0 20 0 20 0 13227207 19586084864 774814 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127726] ppid=127712 vsize=19127036 memory=3097148 CPUtime=0 cores=4,6
/proc/127715/task/127726/stat : 127726 (Finalizer) S 127712 127715 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13227212 19586084864 774814 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127733] ppid=127712 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/127715/task/127733/stat : 127733 (Common-Cleaner) S 127712 127715 122963 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 20 0 13227213 19586084864 774814 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127737] ppid=127712 vsize=19127036 memory=1804 CPUtime=0 cores=4,6
/proc/127715/task/127737/stat : 127737 (Timer-0) S 127712 127715 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13227408 19586084864 774814 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0

################
# More data... #
################

Current children cumulated memory: 5956380 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.34 4.27 6/321 130199
/proc/meminfo: memFree=73247492/131655788 swapFree=131069936/131071996
[pid=127715] ppid=127712 vsize=19127036 memory=5956380 CPUtime=3330.54 cores=4,6
/proc/127715/stat : 127715 (java) S 127712 127715 122963 0 -1 1077936128 290664 0 0 0 331902 1152 0 0 20 0 20 0 13227206 19586084864 1489095 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
/proc/127715/statm: 4781759 1489095 6241 1 0 1614316 0
[pid=127715/tid=127717] ppid=127712 vsize=19127036 memory=17924 CPUtime=3299.03 cores=4,6
/proc/127715/task/127717/stat : 127717 (java) R 127712 127715 122963 0 -1 4194368 168232 0 0 0 328953 950 0 0 20 0 20 0 13227207 19586084864 1489095 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2209 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127726] ppid=127712 vsize=19127036 memory=5956380 CPUtime=0 cores=4,6
/proc/127715/task/127726/stat : 127726 (Finalizer) S 127712 127715 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13227212 19586084864 1489095 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127733] ppid=127712 vsize=19127036 memory=5956380 CPUtime=0.01 cores=4,6
/proc/127715/task/127733/stat : 127733 (Common-Cleaner) S 127712 127715 122963 0 -1 1077936192 4089 0 0 0 1 0 0 0 20 0 20 0 13227213 19586084864 1489095 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127737] ppid=127712 vsize=19127036 memory=5956380 CPUtime=0 cores=4,6
/proc/127715/task/127737/stat : 127737 (Timer-0) S 127712 127715 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13227408 19586084864 1489095 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
Current children cumulated CPU time: 3330.54 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5956380 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.31 4.26 5/321 130209
/proc/meminfo: memFree=72526996/131655788 swapFree=131069936/131071996
[pid=127715] ppid=127712 vsize=19127036 memory=6101788 CPUtime=3390.5 cores=4,6
/proc/127715/stat : 127715 (java) S 127712 127715 122963 0 -1 1077936128 295397 0 0 0 337880 1170 0 0 20 0 20 0 13227206 19586084864 1525447 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
/proc/127715/statm: 4781759 1525447 6241 1 0 1614316 0
[pid=127715/tid=127717] ppid=127712 vsize=19127036 memory=5956380 CPUtime=3358.28 cores=4,6
/proc/127715/task/127717/stat : 127717 (java) R 127712 127715 122963 0 -1 4194368 171175 0 0 0 334865 963 0 0 20 0 20 0 13227207 19586084864 1525447 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2235 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127726] ppid=127712 vsize=19127036 memory=5956380 CPUtime=0 cores=4,6
/proc/127715/task/127726/stat : 127726 (Finalizer) S 127712 127715 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13227212 19586084864 1525447 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127733] ppid=127712 vsize=19127036 memory=5956380 CPUtime=0.01 cores=4,6
/proc/127715/task/127733/stat : 127733 (Common-Cleaner) S 127712 127715 122963 0 -1 1077936192 4228 0 0 0 1 0 0 0 20 0 20 0 13227213 19586084864 1525447 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127737] ppid=127712 vsize=19127036 memory=6101788 CPUtime=0 cores=4,6
/proc/127715/task/127737/stat : 127737 (Timer-0) S 127712 127715 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13227408 19586084864 1525447 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
Current children cumulated CPU time: 3390.5 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6101788 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.26 4.25 5/320 130220
/proc/meminfo: memFree=71927988/131655788 swapFree=131069936/131071996
[pid=127715] ppid=127712 vsize=19127036 memory=6101788 CPUtime=3450.21 cores=4,6
/proc/127715/stat : 127715 (java) S 127712 127715 122963 0 -1 1077936128 300260 0 0 0 343835 1186 0 0 20 0 20 0 13227206 19586084864 1525447 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
/proc/127715/statm: 4781759 1525447 6241 1 0 1614316 0
[pid=127715/tid=127717] ppid=127712 vsize=19127036 memory=5956380 CPUtime=3417.82 cores=4,6
/proc/127715/task/127717/stat : 127717 (java) R 127712 127715 122963 0 -1 4194368 174800 0 0 0 340805 977 0 0 20 0 20 0 13227207 19586084864 1525447 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2259 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127726] ppid=127712 vsize=19127036 memory=6101788 CPUtime=0 cores=4,6
/proc/127715/task/127726/stat : 127726 (Finalizer) S 127712 127715 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13227212 19586084864 1525447 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127733] ppid=127712 vsize=19127036 memory=6101788 CPUtime=0.01 cores=4,6
/proc/127715/task/127733/stat : 127733 (Common-Cleaner) S 127712 127715 122963 0 -1 1077936192 4354 0 0 0 1 0 0 0 20 0 20 0 13227213 19586084864 1525447 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127737] ppid=127712 vsize=19127036 memory=6101788 CPUtime=0 cores=4,6
/proc/127715/task/127737/stat : 127737 (Timer-0) S 127712 127715 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13227408 19586084864 1525447 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
Current children cumulated CPU time: 3450.21 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6101788 KiB

[startup+3522.3 s]
/proc/loadavg: 4.26 4.26 4.25 5/321 130231
/proc/meminfo: memFree=71255396/131655788 swapFree=131069936/131071996
[pid=127715] ppid=127712 vsize=19127036 memory=6128412 CPUtime=3510.03 cores=4,6
/proc/127715/stat : 127715 (java) S 127712 127715 122963 0 -1 1077936128 305028 0 0 0 349799 1204 0 0 20 0 20 0 13227206 19586084864 1532103 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
/proc/127715/statm: 4781759 1532103 6241 1 0 1614316 0
[pid=127715/tid=127717] ppid=127712 vsize=19127036 memory=6101788 CPUtime=3477.11 cores=4,6
/proc/127715/task/127717/stat : 127717 (java) R 127712 127715 122963 0 -1 4194368 177427 0 0 0 346721 990 0 0 20 0 20 0 13227207 19586084864 1532103 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2284 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127726] ppid=127712 vsize=19127036 memory=6101788 CPUtime=0 cores=4,6
/proc/127715/task/127726/stat : 127726 (Finalizer) S 127712 127715 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13227212 19586084864 1532103 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127733] ppid=127712 vsize=19127036 memory=6128412 CPUtime=0.01 cores=4,6
/proc/127715/task/127733/stat : 127733 (Common-Cleaner) S 127712 127715 122963 0 -1 1077936192 4411 0 0 0 1 0 0 0 20 0 20 0 13227213 19586084864 1532103 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127737] ppid=127712 vsize=19127036 memory=11564 CPUtime=0 cores=4,6
/proc/127715/task/127737/stat : 127737 (Timer-0) S 127712 127715 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13227408 19586084864 1532103 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
Current children cumulated CPU time: 3510.03 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6128412 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.23 4.24 5/319 130242
/proc/meminfo: memFree=70647772/131655788 swapFree=131069936/131071996
[pid=127715] ppid=127712 vsize=19127036 memory=6175520 CPUtime=3569.96 cores=4,6
/proc/127715/stat : 127715 (java) S 127712 127715 122963 0 -1 1077936128 310414 0 0 0 355774 1222 0 0 20 0 20 0 13227206 19586084864 1543880 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
/proc/127715/statm: 4781759 1543880 6241 1 0 1614316 0
[pid=127715/tid=127717] ppid=127712 vsize=19127036 memory=-7738167839326626686 CPUtime=3536.48 cores=4,6
/proc/127715/task/127717/stat : 127717 (java) R 127712 127715 122963 0 -1 4194368 180728 0 0 0 352644 1004 0 0 20 0 20 0 13227207 19586084864 1543880 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2298 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127726] ppid=127712 vsize=19127036 memory=11564 CPUtime=0 cores=4,6
/proc/127715/task/127726/stat : 127726 (Finalizer) S 127712 127715 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13227212 19586084864 1543880 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127733] ppid=127712 vsize=19127036 memory=6175520 CPUtime=0.01 cores=4,6
/proc/127715/task/127733/stat : 127733 (Common-Cleaner) S 127712 127715 122963 0 -1 1077936192 4467 0 0 0 1 0 0 0 20 0 20 0 13227213 19586084864 1543880 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127737] ppid=127712 vsize=19127036 memory=6175520 CPUtime=0 cores=4,6
/proc/127715/task/127737/stat : 127737 (Timer-0) S 127712 127715 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13227408 19586084864 1543880 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
Current children cumulated CPU time: 3569.96 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6175520 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.4 s]
/proc/loadavg: 3.83 4.14 4.21 4/293 130282
/proc/meminfo: memFree=87816280/131655788 swapFree=131069936/131071996
[pid=127715] ppid=127712 vsize=19127036 memory=6175520 CPUtime=3600.03 cores=4,6
/proc/127715/stat : 127715 (java) S 127712 127715 122963 0 -1 1077936128 313066 0 0 0 358772 1231 0 0 20 0 20 0 13227206 19586084864 1543880 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
/proc/127715/statm: 4781759 1543880 6241 1 0 1614316 0
[pid=127715/tid=127717] ppid=127712 vsize=19127036 memory=11564 CPUtime=3566.36 cores=4,6
/proc/127715/task/127717/stat : 127717 (java) R 127712 127715 122963 0 -1 4194368 182505 0 0 0 355623 1013 0 0 20 0 20 0 13227207 19586084864 1543880 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2305 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127726] ppid=127712 vsize=19127036 memory=48100 CPUtime=0 cores=4,6
/proc/127715/task/127726/stat : 127726 (Finalizer) S 127712 127715 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13227212 19586084864 1543880 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127733] ppid=127712 vsize=19127036 memory=6175520 CPUtime=0.01 cores=4,6
/proc/127715/task/127733/stat : 127733 (Common-Cleaner) S 127712 127715 122963 0 -1 1077936192 4531 0 0 0 1 0 0 0 20 0 20 0 13227213 19586084864 1543880 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127737] ppid=127712 vsize=19127036 memory=48100 CPUtime=0 cores=4,6
/proc/127715/task/127737/stat : 127737 (Timer-0) S 127712 127715 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13227408 19586084864 1543880 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6175520 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3612.78 s]
# the end of solver process 127715 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3588.29 s, system=12.3656 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3612.6 s]
/proc/loadavg: 3.83 4.14 4.21 4/293 130282
/proc/meminfo: memFree=87816280/131655788 swapFree=131069936/131071996
[pid=127715] ppid=127712 vsize=19326728 memory=6176480 CPUtime=3600.41 cores=4,6
/proc/127715/stat : 127715 (java) S 127712 127715 122963 0 -1 1077936128 316038 0 0 0 358809 1232 0 0 20 0 21 0 13227206 19790569472 1544120 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
/proc/127715/statm: 4831682 1544120 6240 1 0 1615261 0
[pid=127715/tid=127717] ppid=127712 vsize=19326728 memory=1960 CPUtime=3566.53 cores=4,6
/proc/127715/task/127717/stat : 127717 (java) R 127712 127715 122963 0 -1 4194368 182661 0 0 0 355640 1013 0 0 20 0 21 0 13227207 19790569472 1544120 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2305 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127726] ppid=127712 vsize=19326728 memory=39520 CPUtime=0 cores=4,6
/proc/127715/task/127726/stat : 127726 (Finalizer) S 127712 127715 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 13227212 19790569472 1544120 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127733] ppid=127712 vsize=19326728 memory=31960 CPUtime=0.01 cores=4,6
/proc/127715/task/127733/stat : 127733 (Common-Cleaner) S 127712 127715 122963 0 -1 1077936192 4531 0 0 0 1 0 0 0 20 0 21 0 13227213 19790569472 1544120 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 6176480 KiB

[startup+3612.7 s]
/proc/loadavg: 3.83 4.14 4.21 4/293 130282
/proc/meminfo: memFree=87816280/131655788 swapFree=131069936/131071996
[pid=127715] ppid=127712 vsize=19326728 memory=6176436 CPUtime=3600.6 cores=4,6
/proc/127715/stat : 127715 (java) S 127712 127715 122963 0 -1 1077936128 316955 0 0 0 358828 1232 0 0 20 0 15 0 13227206 19790569472 1544109 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
/proc/127715/statm: 4831682 1544109 6240 1 0 1615273 0
[pid=127715/tid=127717] ppid=127712 vsize=19326728 memory=-7738167839326626686 CPUtime=3566.63 cores=4,6
/proc/127715/task/127717/stat : 127717 (java) S 127712 127715 122963 0 -1 1077936192 182661 0 0 0 355650 1013 0 0 20 0 15 0 13227207 19790569472 1544109 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2305 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127726] ppid=127712 vsize=19326728 memory=6175520 CPUtime=0 cores=4,6
/proc/127715/task/127726/stat : 127726 (Finalizer) S 127712 127715 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 13227212 19790569472 1544109 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
[pid=127715/tid=127733] ppid=127712 vsize=19326728 memory=48100 CPUtime=0.01 cores=4,6
/proc/127715/task/127733/stat : 127733 (Common-Cleaner) S 127712 127715 122963 0 -1 1077936192 4531 0 0 0 1 0 0 0 20 0 15 0 13227213 19790569472 1544109 134679101440 94706717052928 94706717056624 140730535079680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94706717064440 94706717065232 94706730262528 140730535080879 140730535081061 140730535081061 140730535088072 0
Current children cumulated CPU time: 3600.6 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 6176436 KiB

Child status: 143

Real time (s): 3612.78
CPU time (s): 3600.65
CPU user time (s): 3588.29
CPU system time (s): 12.3656
CPU usage (%): 99.6644
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 6176480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.29
system time used= 12.3656
maximum resident set size= 6177576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 317020
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18090880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110316
involuntary context switches= 7007


# summary of solver processes directly reported to runsolver:
#   pid: 127715
#   total CPU time (s): 3600.65
#   total CPU user time (s): 3588.29
#   total CPU system time (s): 12.3656

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5046 second user time and 37.3898 second system time

The end

Begin job on nodeC011 at 2024-07-24 00:06:14
IDJOB=4440306
IDBENCH=147559
IDSOLVER=3079
FILE ID=nodeC011/4440306-1721772373
RUNJOBID= nodeC011-1721765591-122974
SLURM_JOB_ID= 7770664
Free space on /tmp= 723744 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440306-1721772373/watcher-4440306-1721772373 -o /tmp/evaluation-result-4440306-1721772373/solver-4440306-1721772373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721765591-122974 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440306-1721772373 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440306-1721772373.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 37dc22c6a12cddf588c55f8d6ee6d8c2
RANDOM SEED=1382400050

nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3643.212
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3667.598
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.336
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.367
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1866.306
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3656.833
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.343
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.442
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        66900176 kB
MemAvailable:   110043948 kB
Buffers:          178704 kB
Cached:         43762084 kB
SwapCached:          200 kB
Active:           896936 kB
Inactive:       63215928 kB
Active(anon):       1836 kB
Inactive(anon): 20215480 kB
Active(file):     895100 kB
Inactive(file): 43000448 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131069936 kB
Dirty:            245584 kB
Writeback:             0 kB
AnonPages:      20165940 kB
Mapped:           115252 kB
Shmem:             45132 kB
KReclaimable:     176844 kB
Slab:             280876 kB
SReclaimable:     176844 kB
SUnreclaim:       104032 kB
KernelStack:        4816 kB
PageTables:        49780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   25168444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19104 kB
HardwareCorrupted:     0 kB
AnonHugePages:  19589120 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:      262984 kB
DirectMap2M:    22710272 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723732 MiB
End job on nodeC011 at 2024-07-24 01:06:26