0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.11/0.10	c Number of processors 	2
0.11/0.14	c Pseudo Boolean Optimization by upper bound
0.11/0.14	c --- Begin Solver configuration ---
0.11/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.14	c Learn all clauses as in MiniSAT
0.11/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	c Expensive reason simplification
0.11/0.14	c Glucose 2.1 dynamic restart strategy
0.11/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.14	c timeout=2147483s
0.11/0.14	c DB Simplification allowed=false
0.11/0.14	c Listener: none
0.11/0.14	c --- End Solver configuration ---
0.11/0.14	c solving HOME/instance-4489652-1751342120.opb
0.11/0.14	c reading problem ... 
0.11/0.14	c  objective function found
2.33/1.54	c ... done. Wall clock time 1.404s.
2.33/1.54	c declared #vars     10000
2.33/1.54	c #constraints  656900
2.33/1.54	c constraints type 
2.33/1.54	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
2.33/1.54	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
2.33/1.54	c 656900 constraints processed.
2.33/1.55	c objective function length is 10000 literals
2.71/1.73	c SATISFIABLE
2.71/1.73	c OPTIMIZING...
2.71/1.73	c Got one! Elapsed wall clock time (in seconds):1.591
2.71/1.73	o 665
5.23/3.48	c cleaning 2556 clauses out of 5119 with flag 15421/5119
6.96/5.07	c cleaning 4271 clauses out of 8563 with flag 33772/11119
8.98/7.03	c cleaning 5642 clauses out of 11291 with flag 55568/18118
11.34/9.37	c cleaning 6824 clauses out of 13649 with flag 81702/26118
13.96/11.84	c cleaning 7913 clauses out of 15826 with flag 111480/35119
16.65/14.53	c cleaning 8954 clauses out of 17912 with flag 142615/45118
19.65/17.57	c cleaning 9978 clauses out of 19958 with flag 177025/56118
22.94/20.82	c cleaning 10984 clauses out of 21980 with flag 212923/68118
26.33/24.26	c cleaning 11992 clauses out of 23996 with flag 250957/81118
30.24/28.12	c cleaning 13002 clauses out of 26004 with flag 291456/95118
34.42/32.38	c cleaning 14000 clauses out of 28004 with flag 338421/110120
38.62/36.57	c cleaning 14994 clauses out of 30003 with flag 387058/126119
43.03/40.95	c cleaning 15996 clauses out of 32008 with flag 438574/143118
47.84/45.79	c cleaning 16995 clauses out of 34012 with flag 497057/161118
53.04/50.91	c cleaning 18002 clauses out of 36017 with flag 557555/180118
58.42/56.37	c cleaning 19008 clauses out of 38016 with flag 626050/200119
64.22/62.13	c cleaning 19997 clauses out of 40007 with flag 702437/221118
70.30/68.25	c cleaning 20998 clauses out of 42010 with flag 774984/243118
76.69/74.60	c cleaning 21995 clauses out of 44012 with flag 854007/266118
83.27/81.27	c cleaning 23006 clauses out of 46017 with flag 934259/290118
90.52/88.43	c cleaning 24000 clauses out of 48011 with flag 1021774/315118
97.91/95.81	c cleaning 24995 clauses out of 50011 with flag 1113488/341118
105.49/103.46	c cleaning 26007 clauses out of 52016 with flag 1211614/368118
113.27/111.26	c cleaning 27002 clauses out of 54012 with flag 1315601/396121
121.16/119.16	c cleaning 28000 clauses out of 56008 with flag 1411176/425119
129.44/127.43	c cleaning 28996 clauses out of 58007 with flag 1515438/455118
138.32/136.31	c cleaning 29998 clauses out of 60011 with flag 1622370/486118
147.90/145.92	c cleaning 31007 clauses out of 62013 with flag 1733998/518118
157.88/155.92	c cleaning 32007 clauses out of 64013 with flag 1849616/551125
168.26/166.39	c cleaning 33001 clauses out of 66001 with flag 1965071/585120
179.31/177.33	c cleaning 33991 clauses out of 68001 with flag 2085133/620121
190.29/188.30	c cleaning 35003 clauses out of 70007 with flag 2220129/656118
200.97/199.07	c cleaning 35997 clauses out of 72004 with flag 2359884/693118
211.84/209.97	c cleaning 37001 clauses out of 74007 with flag 2503165/731118
223.11/221.23	c cleaning 37991 clauses out of 76006 with flag 2658785/770118
234.38/232.55	c cleaning 39003 clauses out of 78016 with flag 2806674/810119
246.35/244.53	c cleaning 39999 clauses out of 80013 with flag 2963729/851119
258.68/256.89	c cleaning 40997 clauses out of 82015 with flag 3119851/893120
270.96/269.17	c cleaning 42002 clauses out of 84016 with flag 3281021/936118
284.02/282.21	c cleaning 43000 clauses out of 86014 with flag 3445980/980118
297.60/295.80	c cleaning 44000 clauses out of 88014 with flag 3622696/1025118
311.47/309.70	c cleaning 45000 clauses out of 90014 with flag 3802781/1071118
324.86/323.11	c cleaning 46003 clauses out of 92014 with flag 3990172/1118118
339.46/337.76	c cleaning 47004 clauses out of 94011 with flag 4178966/1166118
353.63/351.97	c cleaning 48003 clauses out of 96008 with flag 4367574/1215119
369.30/367.65	c cleaning 49003 clauses out of 98005 with flag 4560525/1265119
385.16/383.55	c cleaning 49991 clauses out of 100001 with flag 4751288/1316118
400.54/398.94	c cleaning 50996 clauses out of 102010 with flag 4951382/1368118
417.08/415.41	c cleaning 52004 clauses out of 104015 with flag 5147969/1421119
433.75/432.18	c cleaning 52999 clauses out of 106010 with flag 5366950/1475118
450.81/449.26	c cleaning 53993 clauses out of 108011 with flag 5584973/1530118
467.28/465.78	c cleaning 54992 clauses out of 110019 with flag 5799898/1586119
484.15/482.69	c cleaning 56007 clauses out of 112026 with flag 6028253/1643118
501.69/500.17	c cleaning 57005 clauses out of 114022 with flag 6260197/1701121
519.95/518.47	c cleaning 57990 clauses out of 116015 with flag 6494617/1760119
538.71/537.20	c cleaning 59006 clauses out of 118025 with flag 6726536/1820119
557.67/556.24	c cleaning 59999 clauses out of 120018 with flag 6963625/1881118
577.53/576.12	c cleaning 61009 clauses out of 122019 with flag 7203856/1943118
598.14/596.79	c cleaning 61987 clauses out of 124011 with flag 7454125/2006119
618.89/617.56	c cleaning 63008 clauses out of 126023 with flag 7717039/2070118
640.24/638.95	c cleaning 64000 clauses out of 128015 with flag 7977674/2135118
661.99/660.73	c cleaning 65002 clauses out of 130015 with flag 8269296/2201118
682.21/680.91	c cleaning 65996 clauses out of 132013 with flag 8532221/2268118
703.38/702.19	c cleaning 67000 clauses out of 134017 with flag 8796343/2336118
724.83/723.66	c cleaning 68006 clauses out of 136019 with flag 9078229/2405120
746.58/745.47	c cleaning 68994 clauses out of 138011 with flag 9368976/2475118
769.31/768.16	c cleaning 70005 clauses out of 140018 with flag 9657840/2546119
792.95/791.83	c cleaning 70996 clauses out of 142012 with flag 9952446/2618118
817.90/816.81	c cleaning 72003 clauses out of 144016 with flag 10255872/2691118
842.36/841.32	c cleaning 73002 clauses out of 146013 with flag 10562532/2765118
867.45/866.46	c cleaning 73998 clauses out of 148013 with flag 10865714/2840120
894.00/893.01	c cleaning 74997 clauses out of 150013 with flag 11180131/2916118
919.95/919.02	c cleaning 76008 clauses out of 152017 with flag 11501429/2993119
945.10/944.28	c cleaning 76991 clauses out of 154008 with flag 11824810/3071118
970.13/969.32	c cleaning 78001 clauses out of 156017 with flag 12136945/3150118
996.63/995.81	c cleaning 78995 clauses out of 158019 with flag 12483330/3230121
1023.09/1022.35	c cleaning 80004 clauses out of 160023 with flag 12830967/3311120
1050.23/1049.56	c cleaning 80998 clauses out of 162017 with flag 13181851/3393118
1077.38/1076.76	c cleaning 82005 clauses out of 164021 with flag 13528033/3476120
1105.32/1104.73	c cleaning 83003 clauses out of 166014 with flag 13875890/3560118
1134.46/1133.95	c cleaning 84004 clauses out of 168016 with flag 14234285/3645123
1163.40/1162.95	c cleaning 84991 clauses out of 170007 with flag 14604689/3731118
1192.45/1192.03	c cleaning 85992 clauses out of 172017 with flag 14977608/3818119
1220.69/1220.32	c cleaning 87007 clauses out of 174024 with flag 15358100/3906118
1249.83/1249.55	c cleaning 88004 clauses out of 176017 with flag 15739525/3995118
1280.56/1280.31	c cleaning 88995 clauses out of 178013 with flag 16119591/4085118
1312.29/1311.98	c cleaning 89997 clauses out of 180018 with flag 16498113/4176118
1342.83/1342.57	c cleaning 91005 clauses out of 182021 with flag 16883900/4268118
1375.27/1375.09	c cleaning 92001 clauses out of 184016 with flag 17279540/4361118
1407.91/1407.75	c cleaning 93006 clauses out of 186015 with flag 17686905/4455118
1440.65/1440.50	c cleaning 93997 clauses out of 188009 with flag 18103375/4550118
1473.78/1473.63	c cleaning 94999 clauses out of 190012 with flag 18503458/4646118
1506.71/1506.66	c cleaning 96003 clauses out of 192014 with flag 18897839/4743119
1541.15/1541.16	c cleaning 96994 clauses out of 194010 with flag 19329437/4841118
1574.57/1574.52	c cleaning 97995 clauses out of 196016 with flag 19772751/4940118
1608.89/1608.92	c cleaning 99004 clauses out of 198021 with flag 20214392/5040118
1643.42/1643.58	c cleaning 99990 clauses out of 200018 with flag 20673929/5141119
1678.05/1678.23	c cleaning 101001 clauses out of 202029 with flag 21139324/5243120
1715.86/1716.10	c cleaning 101998 clauses out of 204026 with flag 21617165/5346118
1749.72/1749.95	c cleaning 103005 clauses out of 206028 with flag 22080695/5450118
1783.93/1784.20	c cleaning 104001 clauses out of 208023 with flag 22544653/5555118
1819.94/1820.37	c cleaning 104996 clauses out of 210022 with flag 23010894/5661118
1856.14/1856.60	c cleaning 105992 clauses out of 212026 with flag 23489480/5768118
1893.96/1894.52	c cleaning 107012 clauses out of 214038 with flag 23964264/5876122
1932.03/1932.60	c cleaning 108004 clauses out of 216023 with flag 24461848/5985119
1972.43/1973.19	c cleaning 109002 clauses out of 218018 with flag 24935843/6095118
2010.13/2011.00	c cleaning 110003 clauses out of 220017 with flag 25428397/6206119
2048.83/2049.71	c cleaning 110994 clauses out of 222013 with flag 25929827/6318118
2088.33/2089.36	c cleaning 112010 clauses out of 224022 with flag 26432104/6431121
2127.76/2128.76	c cleaning 113005 clauses out of 226009 with flag 26941068/6545118
2169.45/2170.53	c cleaning 113983 clauses out of 228005 with flag 27445951/6660119
2210.96/2212.13	c cleaning 115002 clauses out of 230022 with flag 27955661/6776119
2253.04/2254.30	c cleaning 116003 clauses out of 232021 with flag 28478705/6893120
2295.43/2296.88	c cleaning 117005 clauses out of 234019 with flag 29010402/7011121
2339.98/2341.32	c cleaning 117990 clauses out of 236011 with flag 29543676/7130118
2382.96/2384.42	c cleaning 119011 clauses out of 238021 with flag 30078983/7250118
2426.05/2427.65	c cleaning 119993 clauses out of 240010 with flag 30616643/7371118
2468.95/2470.66	c cleaning 120996 clauses out of 242017 with flag 31167836/7493118
2512.94/2514.72	c cleaning 122011 clauses out of 244022 with flag 31742738/7616119
2558.25/2560.09	c cleaning 122994 clauses out of 246010 with flag 32297987/7740118
2604.15/2606.07	c cleaning 123999 clauses out of 248016 with flag 32862196/7865118
2651.16/2653.13	c cleaning 125000 clauses out of 250017 with flag 33417264/7991118
2698.86/2700.94	c cleaning 126009 clauses out of 252017 with flag 33995483/8118118
2746.76/2748.99	c cleaning 126993 clauses out of 254008 with flag 34556804/8246118
2796.27/2798.45	c cleaning 128008 clauses out of 256015 with flag 35126641/8375118
2844.57/2846.86	c cleaning 129001 clauses out of 258007 with flag 35705871/8505118
2892.97/2895.37	c cleaning 129999 clauses out of 260008 with flag 36277238/8636120
2940.17/2942.66	c cleaning 130987 clauses out of 262008 with flag 36861461/8768119
2988.67/2991.21	c cleaning 131989 clauses out of 264020 with flag 37431738/8901118
3038.49/3041.03	c cleaning 133007 clauses out of 266031 with flag 38016372/9035118
3089.26/3091.99	c cleaning 134005 clauses out of 268024 with flag 38607310/9170118
3141.12/3143.98	c cleaning 135002 clauses out of 270020 with flag 39185394/9306119
3192.20/3195.16	c cleaning 136003 clauses out of 272017 with flag 39775502/9443118
3243.86/3246.94	c cleaning 137001 clauses out of 274014 with flag 40379191/9581118
3297.93/3301.11	c cleaning 138005 clauses out of 276013 with flag 40977553/9720118
3348.92/3352.18	c cleaning 139005 clauses out of 278010 with flag 41608661/9860120
3402.09/3405.47	c cleaning 139999 clauses out of 280003 with flag 42225743/10001118
3455.85/3459.32	c cleaning 140999 clauses out of 282004 with flag 42853914/10143118
3507.92/3511.54	c cleaning 141996 clauses out of 284006 with flag 43492089/10286119
3557.08/3560.83	c cleaning 142997 clauses out of 286009 with flag 44145246/10430118
3600.08/3603.91	c starts		: 6
3600.08/3603.91	c conflicts		: 10553413
3600.08/3603.91	c decisions		: 24365243
3600.08/3603.92	c propagations		: 2431253954
3600.08/3603.92	c inspects		: 4978650434
3600.08/3603.92	c shortcuts		: 0
3600.08/3603.92	c learnt literals	: 0
3600.08/3603.92	c learnt binary clauses	: 0
3600.08/3603.92	c learnt ternary clauses	: 0
3600.08/3603.92	c learnt constraints	: 10553413
3600.08/3603.92	c ignored constraints	: 0
3600.08/3603.92	c root simplifications	: 0
3600.08/3603.92	c removed literals (reason simplification)	: 1647978987
3600.08/3603.92	c reason swapping (by a shorter reason)	: 0
3600.08/3603.92	c Calls to reduceDB	: 140
3600.08/3603.92	c Number of update (reduction) of LBD	: 3047754
3600.08/3603.92	c Imported unit clauses	: 0
3600.08/3603.92	c No decision after first conflict	: false
3600.08/3603.92	c number of reductions to clauses (during analyze)	: 0
3600.08/3603.92	c number of learned constraints concerned by reduction	: 0
3600.08/3603.92	c number of learning phase by resolution	: 0
3600.08/3603.92	c number of learning phase by cutting planes	: 0
3600.08/3603.92	c number of rounding to 1 operations	: 0
3600.08/3603.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3603.92	c number of reductions of the coefficients by power 2 	: 0
3600.08/3603.92	c number of right shift for reduction by power 2 	: 0
3600.08/3603.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3603.92	c number of ending skipping 	: 0
3600.08/3603.92	c number of internal skipping 	: 0
3600.08/3603.92	c number of derivation steps 	: 0
3600.08/3603.92	c number of skipped derivation steps 	: 0
3600.08/3603.93	c number of remaining unassigned 	: 0
3600.08/3603.93	c number of remaining assigned 	: 0
3600.08/3603.93	c number of falsified literals weakened from reason	: 0
3600.08/3603.93	c number of falsified literals weakened from conflict	: 0
3600.08/3603.93	c time for arithmetic operations	: 0
3600.08/3603.93	c minimum degree of deleted constraints	: null
3600.08/3603.93	c maximum degree of deleted constraints	: null
3600.08/3603.93	c number of deleted constraints	: 0
3600.08/3603.94	c speed (assignments/second)	: 674904.1960998443
3600.08/3603.94	c non guided choices	: 0
3600.08/3604.00	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 266307
3600.08/3604.00	s SATISFIABLE
3600.08/3604.00	c Found 1 solution(s)
3600.29/3604.02	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.29/3604.04	c objective function=665
3600.29/3604.04	c Total wall clock time (in seconds): 3603.897

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: 63708 MiB (61898 MiB free)
  memory of node 1: 64465 MiB (62868 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489652-1751342120/watcher-4489652-1751342120 -o /tmp/evaluation-result-4489652-1751342120/solver-4489652-1751342120 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751338555-47850 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4489652-1751342120.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=48411, runsolver pid=48408

[startup+0.100059 s]*
/proc/loadavg: 4.11 4.15 4.10 5/339 48429
/proc/meminfo: memFree=127749356/131249988 swapFree=33010684/33010684
[pid=48411] ppid=48408 vsize=18930384 memory=55020 CPUtime=0.11 cores=5,7
/proc/48411/stat : 48411 (java) S 48408 48411 47837 0 -1 4194304 6404 0 0 0 9 2 0 0 20 0 18 0 49889569 19384713216 13755 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
/proc/48411/statm: 4732596 13755 5341 1 0 547567 0
[pid=48411/tid=48413] ppid=48408 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/48411/task/48413/stat : 48413 (java) R 48408 48411 47837 0 -1 4194368 4994 0 0 0 6 1 0 0 20 0 18 0 49889571 19384713216 13755 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48422] ppid=48408 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/48411/task/48422/stat : 48422 (Finalizer) S 48408 48411 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49889573 19384713216 13755 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48429] ppid=48408 vsize=18930384 memory=55186957824150 CPUtime=0 cores=5,7
/proc/48411/task/48429/stat : 48429 (Common-Cleaner) S 48408 48411 47837 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 49889573 19384713216 13755 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55020 KiB

[startup+0.205808 s]*
/proc/loadavg: 4.11 4.15 4.10 7/339 48429
/proc/meminfo: memFree=127741164/131249988 swapFree=33010684/33010684
[pid=48411] ppid=48408 vsize=18930384 memory=71352 CPUtime=0.3 cores=5,7
/proc/48411/stat : 48411 (java) S 48408 48411 47837 0 -1 4194304 6816 0 0 0 28 2 0 0 20 0 18 0 49889569 19384713216 17838 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
/proc/48411/statm: 4732596 17838 5437 1 0 547884 0
[pid=48411/tid=48413] ppid=48408 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=5,7
/proc/48411/task/48413/stat : 48413 (java) R 48408 48411 47837 0 -1 4194368 5257 0 0 0 15 1 0 0 20 0 18 0 49889571 19384713216 17838 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48422] ppid=48408 vsize=18930384 memory=17146 CPUtime=0 cores=5,7
/proc/48411/task/48422/stat : 48422 (Finalizer) S 48408 48411 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49889573 19384713216 17838 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48429] ppid=48408 vsize=18930384 memory=54087446168546 CPUtime=0 cores=5,7
/proc/48411/task/48429/stat : 48429 (Common-Cleaner) S 48408 48411 47837 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 49889573 19384713216 17838 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 71352 KiB

[startup+0.305803 s]*
/proc/loadavg: 4.11 4.15 4.10 6/339 48429
/proc/meminfo: memFree=127699764/131249988 swapFree=33010684/33010684
[pid=48411] ppid=48408 vsize=18930384 memory=112904 CPUtime=0.5 cores=5,7
/proc/48411/stat : 48411 (java) S 48408 48411 47837 0 -1 4194304 8578 0 0 0 46 4 0 0 20 0 18 0 49889569 19384713216 28226 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
/proc/48411/statm: 4732596 28226 5437 1 0 549040 0
[pid=48411/tid=48413] ppid=48408 vsize=18930384 memory=-6000919472790463595 CPUtime=0.25 cores=5,7
/proc/48411/task/48413/stat : 48413 (java) R 48408 48411 47837 0 -1 4194368 5275 0 0 0 23 2 0 0 20 0 18 0 49889571 19384713216 28226 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48422] ppid=48408 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/48411/task/48422/stat : 48422 (Finalizer) S 48408 48411 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49889573 19384713216 28226 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48429] ppid=48408 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/48411/task/48429/stat : 48429 (Common-Cleaner) S 48408 48411 47837 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 49889573 19384713216 28226 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 112904 KiB

[startup+0.700229 s]
/proc/loadavg: 4.11 4.15 4.10 6/340 48430
/proc/meminfo: memFree=127646516/131249988 swapFree=33010684/33010684
[pid=48411] ppid=48408 vsize=18996948 memory=181512 CPUtime=1.25 cores=5,7
/proc/48411/stat : 48411 (java) S 48408 48411 47837 0 -1 4194304 11973 0 0 0 120 5 0 0 20 0 19 0 49889569 19452874752 45378 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
/proc/48411/statm: 4749237 45378 5469 1 0 551487 0
[pid=48411/tid=48413] ppid=48408 vsize=18996948 memory=18176 CPUtime=0.6 cores=5,7
/proc/48411/task/48413/stat : 48413 (java) R 48408 48411 47837 0 -1 4194368 5301 0 0 0 57 3 0 0 20 0 19 0 49889571 19452874752 45378 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48422] ppid=48408 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/48411/task/48422/stat : 48422 (Finalizer) S 48408 48411 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49889573 19452874752 45378 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48429] ppid=48408 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/48411/task/48429/stat : 48429 (Common-Cleaner) S 48408 48411 47837 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 49889573 19452874752 45378 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 181512 KiB

[startup+1.50021 s]
/proc/loadavg: 4.11 4.15 4.10 7/340 48430
/proc/meminfo: memFree=127505932/131249988 swapFree=33010684/33010684
[pid=48411] ppid=48408 vsize=18996948 memory=425456 CPUtime=2.33 cores=5,7
/proc/48411/stat : 48411 (java) S 48408 48411 47837 0 -1 4194304 13135 0 0 0 222 11 0 0 20 0 19 0 49889569 19452874752 106364 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
/proc/48411/statm: 4749237 106364 5469 1 0 942100 0
[pid=48411/tid=48413] ppid=48408 vsize=18996948 memory=3328 CPUtime=1.28 cores=5,7
/proc/48411/task/48413/stat : 48413 (java) R 48408 48411 47837 0 -1 4194368 5391 0 0 0 121 7 0 0 20 0 19 0 49889571 19452874752 106364 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48422] ppid=48408 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/48411/task/48422/stat : 48422 (Finalizer) S 48408 48411 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49889573 19452874752 106364 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48429] ppid=48408 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/48411/task/48429/stat : 48429 (Common-Cleaner) S 48408 48411 47837 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 49889573 19452874752 106364 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
Current children cumulated CPU time: 2.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 425456 KiB

[startup+3.10564 s]
/proc/loadavg: 4.11 4.15 4.10 5/341 48431
/proc/meminfo: memFree=127364216/131249988 swapFree=33010684/33010684
[pid=48411] ppid=48408 vsize=19063512 memory=435000 CPUtime=4.88 cores=5,7
/proc/48411/stat : 48411 (java) S 48408 48411 47837 0 -1 4194304 13939 0 0 0 477 11 0 0 20 0 20 0 49889569 19521036288 108750 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
/proc/48411/statm: 4765878 108750 5533 1 0 943032 0
[pid=48411/tid=48413] ppid=48408 vsize=19063512 memory=10752 CPUtime=2.86 cores=5,7
/proc/48411/task/48413/stat : 48413 (java) R 48408 48411 47837 0 -1 4194368 5549 0 0 0 279 7 0 0 20 0 20 0 49889571 19521036288 108750 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48422] ppid=48408 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/48411/task/48422/stat : 48422 (Finalizer) S 48408 48411 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 108750 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48429] ppid=48408 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/48411/task/48429/stat : 48429 (Common-Cleaner) S 48408 48411 47837 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 108750 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48431] ppid=48408 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/48411/task/48431/stat : 48431 (Timer-0) S 48408 48411 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49889726 19521036288 108750 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
Current children cumulated CPU time: 4.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 435000 KiB

[startup+6.30019 s]
/proc/loadavg: 4.11 4.14 4.10 5/341 48431
/proc/meminfo: memFree=127356264/131249988 swapFree=33010684/33010684
[pid=48411] ppid=48408 vsize=19063512 memory=432764 CPUtime=8.28 cores=5,7
/proc/48411/stat : 48411 (java) S 48408 48411 47837 0 -1 4194304 16967 0 0 0 816 12 0 0 20 0 20 0 49889569 19521036288 108191 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
/proc/48411/statm: 4765878 108191 5533 1 0 943144 0
[pid=48411/tid=48413] ppid=48408 vsize=19063512 memory=0 CPUtime=6.04 cores=5,7
/proc/48411/task/48413/stat : 48413 (java) R 48408 48411 47837 0 -1 4194368 6179 0 0 0 597 7 0 0 20 0 20 0 49889571 19521036288 108191 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48422] ppid=48408 vsize=19063512 memory=4282244484372401526 CPUtime=0 cores=5,7
/proc/48411/task/48422/stat : 48422 (Finalizer) S 48408 48411 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 108191 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48429] ppid=48408 vsize=19063512 memory=-6000919472790463595 CPUtime=0 cores=5,7
/proc/48411/task/48429/stat : 48429 (Common-Cleaner) S 48408 48411 47837 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 108191 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48431] ppid=48408 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/48411/task/48431/stat : 48431 (Timer-0) S 48408 48411 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49889726 19521036288 108191 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
Current children cumulated CPU time: 8.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 432764 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.14 4.10 5/341 48431
/proc/meminfo: memFree=127286640/131249988 swapFree=33010684/33010684
[pid=48411] ppid=48408 vsize=19063512 memory=481980 CPUtime=14.86 cores=5,7
/proc/48411/stat : 48411 (java) S 48408 48411 47837 0 -1 4194304 20439 0 0 0 1472 14 0 0 20 0 20 0 49889569 19521036288 120495 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
/proc/48411/statm: 4765878 120495 5565 1 0 1571893 0
[pid=48411/tid=48413] ppid=48408 vsize=19063512 memory=0 CPUtime=12.35 cores=5,7
/proc/48411/task/48413/stat : 48413 (java) R 48408 48411 47837 0 -1 4194368 6270 0 0 0 1228 7 0 0 20 0 20 0 49889571 19521036288 120495 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48422] ppid=48408 vsize=19063512 memory=477884 CPUtime=0 cores=5,7
/proc/48411/task/48422/stat : 48422 (Finalizer) S 48408 48411 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 120495 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48429] ppid=48408 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/48411/task/48429/stat : 48429 (Common-Cleaner) S 48408 48411 47837 0 -1 4194368 62 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 120495 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48431] ppid=48408 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/48411/task/48431/stat : 48431 (Timer-0) S 48408 48411 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49889726 19521036288 120495 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
Current children cumulated CPU time: 14.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 481980 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.13 4.10 5/341 48432
/proc/meminfo: memFree=127200632/131249988 swapFree=33010684/33010684
[pid=48411] ppid=48408 vsize=19063512 memory=527036 CPUtime=27.63 cores=5,7
/proc/48411/stat : 48411 (java) S 48408 48411 47837 0 -1 4194304 21938 0 0 0 2749 14 0 0 20 0 20 0 49889569 19521036288 131759 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
/proc/48411/statm: 4765878 131759 5565 1 0 1571893 0
[pid=48411/tid=48413] ppid=48408 vsize=19063512 memory=-6000919472790463595 CPUtime=25.13 cores=5,7
/proc/48411/task/48413/stat : 48413 (java) R 48408 48411 47837 0 -1 4194368 6967 0 0 0 2505 8 0 0 20 0 20 0 49889571 19521036288 131759 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48422] ppid=48408 vsize=19063512 memory=3024 CPUtime=0 cores=5,7
/proc/48411/task/48422/stat : 48422 (Finalizer) S 48408 48411 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 131759 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48429] ppid=48408 vsize=19063512 memory=506556 CPUtime=0 cores=5,7
/proc/48411/task/48429/stat : 48429 (Common-Cleaner) S 48408 48411 47837 0 -1 4194368 62 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 131759 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48431] ppid=48408 vsize=19063512 memory=502460 CPUtime=0 cores=5,7
/proc/48411/task/48431/stat : 48431 (Timer-0) S 48408 48411 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49889726 19521036288 131759 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
Current children cumulated CPU time: 27.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 527036 KiB

[startup+51.1056 s]
/proc/loadavg: 4.12 4.14 4.10 5/340 48432
/proc/meminfo: memFree=126909320/131249988 swapFree=33010684/33010684
[pid=48411] ppid=48408 vsize=19063512 memory=619196 CPUtime=53.24 cores=5,7
/proc/48411/stat : 48411 (java) S 48408 48411 47837 0 -1 4194304 24802 0 0 0 5307 17 0 0 20 0 20 0 49889569 19521036288 154799 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
/proc/48411/statm: 4765878 154799 5565 1 0 1571893 0
[pid=48411/tid=48413] ppid=48408 vsize=19063512 memory=611004 CPUtime=50.68 cores=5,7
/proc/48411/task/48413/stat : 48413 (java) R 48408 48411 47837 0 -1 4194368 8162 0 0 0 5058 10 0 0 20 0 20 0 49889571 19521036288 154799 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48422] ppid=48408 vsize=19063512 memory=-6000919472790463595 CPUtime=0 cores=5,7
/proc/48411/task/48422/stat : 48422 (Finalizer) S 48408 48411 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 154799 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48429] ppid=48408 vsize=19063512 memory=561852 CPUtime=0 cores=5,7
/proc/48411/task/48429/stat : 48429 (Common-Cleaner) S 48408 48411 47837 0 -1 4194368 62 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 154799 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48431] ppid=48408 vsize=19063512 memory=516796 CPUtime=0 cores=5,7
/proc/48411/task/48431/stat : 48431 (Timer-0) S 48408 48411 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49889726 19521036288 154799 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0

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

/proc/meminfo: memFree=112235356/131249988 swapFree=33010684/33010684
[pid=48411] ppid=48408 vsize=19063512 memory=4122392 CPUtime=3279.17 cores=5,7
/proc/48411/stat : 48411 (java) S 48408 48411 47837 0 -1 4194304 68985 0 0 0 327784 133 0 0 20 0 20 0 49889569 19521036288 1030598 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
/proc/48411/statm: 4765878 1030598 5565 1 0 1571908 0
[pid=48411/tid=48413] ppid=48408 vsize=19063512 memory=4122392 CPUtime=3271.75 cores=5,7
/proc/48411/task/48413/stat : 48413 (java) R 48408 48411 47837 0 -1 4194368 32061 0 0 0 327149 26 0 0 20 0 20 0 49889571 19521036288 1030598 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48422] ppid=48408 vsize=19063512 memory=4122392 CPUtime=0 cores=5,7
/proc/48411/task/48422/stat : 48422 (Finalizer) S 48408 48411 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 1030598 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48429] ppid=48408 vsize=19063512 memory=4122392 CPUtime=0 cores=5,7
/proc/48411/task/48429/stat : 48429 (Common-Cleaner) S 48408 48411 47837 0 -1 4194368 1194 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 1030598 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48431] ppid=48408 vsize=19063512 memory=4122392 CPUtime=0 cores=5,7
/proc/48411/task/48431/stat : 48431 (Timer-0) S 48408 48411 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49889726 19521036288 1030598 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
Current children cumulated CPU time: 3279.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4122392 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/340 48597
/proc/meminfo: memFree=112124384/131249988 swapFree=33010684/33010684
[pid=48411] ppid=48408 vsize=19063512 memory=4230940 CPUtime=3339.14 cores=5,7
/proc/48411/stat : 48411 (java) S 48408 48411 47837 0 -1 4194304 70368 0 0 0 333778 136 0 0 20 0 20 0 49889569 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
/proc/48411/statm: 4765878 1057735 5565 1 0 1571908 0
[pid=48411/tid=48413] ppid=48408 vsize=19063512 memory=4122392 CPUtime=3331.48 cores=5,7
/proc/48411/task/48413/stat : 48413 (java) R 48408 48411 47837 0 -1 4194368 32637 0 0 0 333122 26 0 0 20 0 20 0 49889571 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48422] ppid=48408 vsize=19063512 memory=4122392 CPUtime=0 cores=5,7
/proc/48411/task/48422/stat : 48422 (Finalizer) S 48408 48411 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48429] ppid=48408 vsize=19063512 memory=4230940 CPUtime=0 cores=5,7
/proc/48411/task/48429/stat : 48429 (Common-Cleaner) S 48408 48411 47837 0 -1 4194368 1194 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48431] ppid=48408 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/48411/task/48431/stat : 48431 (Timer-0) S 48408 48411 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49889726 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
Current children cumulated CPU time: 3339.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4230940 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/340 48599
/proc/meminfo: memFree=112124496/131249988 swapFree=33010684/33010684
[pid=48411] ppid=48408 vsize=19063512 memory=4230940 CPUtime=3399 cores=5,7
/proc/48411/stat : 48411 (java) S 48408 48411 47837 0 -1 4194304 71037 0 0 0 339763 137 0 0 20 0 20 0 49889569 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
/proc/48411/statm: 4765878 1057735 5565 1 0 1571908 0
[pid=48411/tid=48413] ppid=48408 vsize=19063512 memory=4230940 CPUtime=3391.32 cores=5,7
/proc/48411/task/48413/stat : 48413 (java) R 48408 48411 47837 0 -1 4194368 33256 0 0 0 339106 26 0 0 20 0 20 0 49889571 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48422] ppid=48408 vsize=19063512 memory=4230940 CPUtime=0 cores=5,7
/proc/48411/task/48422/stat : 48422 (Finalizer) S 48408 48411 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48429] ppid=48408 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/48411/task/48429/stat : 48429 (Common-Cleaner) S 48408 48411 47837 0 -1 4194368 1212 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48431] ppid=48408 vsize=19063512 memory=4230940 CPUtime=0 cores=5,7
/proc/48411/task/48431/stat : 48431 (Timer-0) S 48408 48411 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49889726 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
Current children cumulated CPU time: 3399 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4230940 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/340 48601
/proc/meminfo: memFree=112123892/131249988 swapFree=33010684/33010684
[pid=48411] ppid=48408 vsize=19063512 memory=4230940 CPUtime=3458.84 cores=5,7
/proc/48411/stat : 48411 (java) S 48408 48411 47837 0 -1 4194304 72028 0 0 0 345747 137 0 0 20 0 20 0 49889569 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
/proc/48411/statm: 4765878 1057735 5565 1 0 1571908 0
[pid=48411/tid=48413] ppid=48408 vsize=19063512 memory=4230940 CPUtime=3451.15 cores=5,7
/proc/48411/task/48413/stat : 48413 (java) R 48408 48411 47837 0 -1 4194368 34124 0 0 0 345089 26 0 0 20 0 20 0 49889571 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48422] ppid=48408 vsize=19063512 memory=4230940 CPUtime=0 cores=5,7
/proc/48411/task/48422/stat : 48422 (Finalizer) S 48408 48411 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48429] ppid=48408 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/48411/task/48429/stat : 48429 (Common-Cleaner) S 48408 48411 47837 0 -1 4194368 1263 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48431] ppid=48408 vsize=19063512 memory=4230940 CPUtime=0 cores=5,7
/proc/48411/task/48431/stat : 48431 (Timer-0) S 48408 48411 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49889726 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
Current children cumulated CPU time: 3458.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4230940 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/340 48605
/proc/meminfo: memFree=112124380/131249988 swapFree=33010684/33010684
[pid=48411] ppid=48408 vsize=19063512 memory=4230940 CPUtime=3518.69 cores=5,7
/proc/48411/stat : 48411 (java) S 48408 48411 47837 0 -1 4194304 72757 0 0 0 351731 138 0 0 20 0 20 0 49889569 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
/proc/48411/statm: 4765878 1057735 5565 1 0 1571908 0
[pid=48411/tid=48413] ppid=48408 vsize=19063512 memory=4230940 CPUtime=3510.98 cores=5,7
/proc/48411/task/48413/stat : 48413 (java) R 48408 48411 47837 0 -1 4194368 34777 0 0 0 351072 26 0 0 20 0 20 0 49889571 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48422] ppid=48408 vsize=19063512 memory=4230940 CPUtime=0 cores=5,7
/proc/48411/task/48422/stat : 48422 (Finalizer) S 48408 48411 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48429] ppid=48408 vsize=19063512 memory=4230940 CPUtime=0 cores=5,7
/proc/48411/task/48429/stat : 48429 (Common-Cleaner) S 48408 48411 47837 0 -1 4194368 1263 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48431] ppid=48408 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/48411/task/48431/stat : 48431 (Timer-0) S 48408 48411 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49889726 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
Current children cumulated CPU time: 3518.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4230940 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/339 48672
/proc/meminfo: memFree=116452960/131249988 swapFree=33010684/33010684
[pid=48411] ppid=48408 vsize=19063512 memory=4230940 CPUtime=3578.54 cores=5,7
/proc/48411/stat : 48411 (java) S 48408 48411 47837 0 -1 4194304 73370 0 0 0 357715 139 0 0 20 0 20 0 49889569 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
/proc/48411/statm: 4765878 1057735 5565 1 0 1571908 0
[pid=48411/tid=48413] ppid=48408 vsize=19063512 memory=10752 CPUtime=3570.82 cores=5,7
/proc/48411/task/48413/stat : 48413 (java) R 48408 48411 47837 0 -1 4194368 35363 0 0 0 357056 26 0 0 20 0 20 0 49889571 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48422] ppid=48408 vsize=19063512 memory=4230940 CPUtime=0 cores=5,7
/proc/48411/task/48422/stat : 48422 (Finalizer) S 48408 48411 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48429] ppid=48408 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/48411/task/48429/stat : 48429 (Common-Cleaner) S 48408 48411 47837 0 -1 4194368 1279 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48431] ppid=48408 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/48411/task/48431/stat : 48431 (Timer-0) S 48408 48411 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49889726 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
Current children cumulated CPU time: 3578.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4230940 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.9 s]
/proc/loadavg: 4.21 4.14 4.10 5/339 48807
/proc/meminfo: memFree=121827920/131249988 swapFree=33010684/33010684
[pid=48411] ppid=48408 vsize=19063512 memory=4230940 CPUtime=3600.08 cores=5,7
/proc/48411/stat : 48411 (java) S 48408 48411 47837 0 -1 4194304 73892 0 0 0 359869 139 0 0 20 0 20 0 49889569 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
/proc/48411/statm: 4765878 1057735 5565 1 0 1571908 0
[pid=48411/tid=48413] ppid=48408 vsize=19063512 memory=18176 CPUtime=3592.35 cores=5,7
/proc/48411/task/48413/stat : 48413 (java) R 48408 48411 47837 0 -1 4194368 35835 0 0 0 359209 26 0 0 20 0 20 0 49889571 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48422] ppid=48408 vsize=19063512 memory=3972880 CPUtime=0 cores=5,7
/proc/48411/task/48422/stat : 48422 (Finalizer) S 48408 48411 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48429] ppid=48408 vsize=19063512 memory=4230940 CPUtime=0 cores=5,7
/proc/48411/task/48429/stat : 48429 (Common-Cleaner) S 48408 48411 47837 0 -1 4194368 1279 0 0 0 0 0 0 0 20 0 20 0 49889573 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48431] ppid=48408 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/48411/task/48431/stat : 48431 (Timer-0) S 48408 48411 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49889726 19521036288 1057735 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4230940 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.95 s, system=1.41513 s

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

[startup+3604.01 s]*
/proc/loadavg: 4.21 4.14 4.10 7/340 48810
/proc/meminfo: memFree=121827944/131249988 swapFree=33010684/33010684
[pid=48411] ppid=48408 vsize=19263204 memory=4231708 CPUtime=3600.29 cores=5,7
/proc/48411/stat : 48411 (java) S 48408 48411 47837 0 -1 4194304 76332 0 0 0 359889 140 0 0 20 0 21 0 49889569 19725520896 1057927 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
/proc/48411/statm: 4815801 1057927 5565 1 0 1572875 0
[pid=48411/tid=48413] ppid=48408 vsize=19263204 memory=-6000919489835918443 CPUtime=3592.45 cores=5,7
/proc/48411/task/48413/stat : 48413 (java) R 48408 48411 47837 0 -1 4194368 35942 0 0 0 359219 26 0 0 20 0 21 0 49889571 19725520896 1057927 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48422] ppid=48408 vsize=19263204 memory=6784 CPUtime=0 cores=5,7
/proc/48411/task/48422/stat : 48422 (Finalizer) S 48408 48411 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49889573 19725520896 1057927 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48429] ppid=48408 vsize=19263204 memory=5364 CPUtime=0 cores=5,7
/proc/48411/task/48429/stat : 48429 (Common-Cleaner) S 48408 48411 47837 0 -1 4194368 1279 0 0 0 0 0 0 0 20 0 21 0 49889573 19725520896 1057927 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
[pid=48411/tid=48810] ppid=48408 vsize=19263204 memory=5076 CPUtime=0.06 cores=5,7
/proc/48411/task/48810/stat : 48810 (Thread-0) R 48408 48411 47837 0 -1 4194368 442 0 0 0 6 0 0 0 20 0 21 0 50249960 19725520896 1057927 18446744073709551615 94390737645568 94390737649264 140722061441216 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94390737657080 94390737657872 94390755270656 140722061449601 140722061449702 140722061449702 140722061455304 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4231708 KiB

Child status: 143

Real time (s): 3604.06
CPU time (s): 3600.37
CPU user time (s): 3598.95
CPU system time (s): 1.41513
CPU usage (%): 99.8974
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4231708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.95
system time used= 1.41513
maximum resident set size= 4231836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76630
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118786
involuntary context switches= 2796


# summary of solver processes directly reported to runsolver:
#   pid: 48411
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3598.95
#   total CPU system time (s): 1.41513

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.15557 second user time and 17.7943 second system time

The end

Begin job on nodeC020 at 2025-07-01 05:55:20
IDJOB=4489652
IDBENCH=147559
IDSOLVER=3363
FILE ID=nodeC020/4489652-1751342120
RUNJOBID= nodeC020-1751338555-47850
SLURM_JOB_ID= 9594397
Free space on /tmp= 432880 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489652-1751342120/watcher-4489652-1751342120 -o /tmp/evaluation-result-4489652-1751342120/solver-4489652-1751342120 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751338555-47850 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4489652-1751342120.opb

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

MD5SUM BENCH= 37dc22c6a12cddf588c55f8d6ee6d8c2
RANDOM SEED=1036602082

nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        127761328 kB
MemAvailable:   128120244 kB
Buffers:            3280 kB
Cached:          1163456 kB
SwapCached:            0 kB
Active:          2054904 kB
Inactive:         855052 kB
Active(anon):    1761276 kB
Inactive(anon):        0 kB
Active(file):     293628 kB
Inactive(file):   855052 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             53252 kB
Writeback:             0 kB
AnonPages:       1745900 kB
Mapped:           123672 kB
Shmem:             18056 kB
KReclaimable:      98948 kB
Slab:             187008 kB
SReclaimable:      98948 kB
SUnreclaim:        88060 kB
KernelStack:        5216 kB
PageTables:         7080 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:   16950852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1544192 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432804 MiB
End job on nodeC020 at 2025-07-01 06:55:24