0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4489837-1751368877.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c using VERIPB proof format
0.12/0.14	c  objective function found
2.28/1.56	c ... done. Wall clock time 1.418s.
2.28/1.56	c declared #vars     10000
2.28/1.56	c #constraints  656900
2.28/1.56	c constraints type 
2.28/1.56	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
2.28/1.56	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
2.28/1.56	c 656900 constraints processed.
2.28/1.57	c objective function length is 10000 literals
3.03/1.91	c SATISFIABLE
3.03/1.91	c OPTIMIZING...
3.03/1.91	c Got one! Elapsed wall clock time (in seconds):1.77
3.03/1.91	o 844
6.73/3.95	c cleaning 2556 clauses out of 5112 with flag 15016/5112
8.54/5.60	c cleaning 4265 clauses out of 8558 with flag 32938/11114
10.45/7.44	c cleaning 5645 clauses out of 11291 with flag 53275/18112
12.82/9.78	c cleaning 6824 clauses out of 13647 with flag 77658/26113
15.22/12.14	c cleaning 7899 clauses out of 15822 with flag 106148/35112
18.01/14.94	c cleaning 8951 clauses out of 17923 with flag 139045/45112
21.12/18.08	c cleaning 9982 clauses out of 19972 with flag 175506/56112
24.62/21.56	c cleaning 10989 clauses out of 21991 with flag 215508/68113
28.41/25.34	c cleaning 11986 clauses out of 24001 with flag 260506/81112
32.12/29.04	c cleaning 13008 clauses out of 26017 with flag 313199/95114
36.30/33.36	c cleaning 14001 clauses out of 28007 with flag 371336/110112
41.00/38.05	c cleaning 14999 clauses out of 30006 with flag 420919/126112
46.14/43.16	c cleaning 16001 clauses out of 32007 with flag 473254/143112
51.55/48.55	c cleaning 17000 clauses out of 34008 with flag 531871/161114
57.43/54.40	c cleaning 17998 clauses out of 36006 with flag 596543/180112
63.22/60.27	c cleaning 18998 clauses out of 38009 with flag 662517/200113
69.12/66.22	c cleaning 19992 clauses out of 40011 with flag 727736/221113
75.21/72.36	c cleaning 20999 clauses out of 42018 with flag 797730/243112
81.62/78.79	c cleaning 22000 clauses out of 44022 with flag 870289/266115
88.41/85.59	c cleaning 22996 clauses out of 46022 with flag 948656/290115
95.79/92.94	c cleaning 24004 clauses out of 48025 with flag 1034235/315114
103.15/100.42	c cleaning 25000 clauses out of 50019 with flag 1126661/341112
110.83/108.13	c cleaning 26004 clauses out of 52019 with flag 1220836/368112
119.03/116.33	c cleaning 27004 clauses out of 54015 with flag 1312814/396112
127.85/132.07	c cleaning 27996 clauses out of 56011 with flag 1414979/425112
136.73/140.96	c cleaning 29001 clauses out of 58015 with flag 1510328/455112
146.32/150.54	c cleaning 30005 clauses out of 60014 with flag 1615417/486112
155.80/160.01	c cleaning 30994 clauses out of 62009 with flag 1724569/518112
165.54/170.03	c cleaning 31986 clauses out of 64015 with flag 1834364/551112
175.41/180.00	c cleaning 33010 clauses out of 66029 with flag 1950149/585112
186.11/190.65	c cleaning 34003 clauses out of 68019 with flag 2074979/620112
196.79/201.34	c cleaning 35004 clauses out of 70016 with flag 2206518/656112
207.58/212.12	c cleaning 35997 clauses out of 72012 with flag 2334789/693112
218.68/223.22	c cleaning 37006 clauses out of 74016 with flag 2467857/731113
230.36/234.96	c cleaning 38001 clauses out of 76011 with flag 2602016/770114
242.82/247.40	c cleaning 38988 clauses out of 78008 with flag 2739748/810112
255.43/260.02	c cleaning 40002 clauses out of 80020 with flag 2881239/851112
267.90/272.51	c cleaning 40990 clauses out of 82018 with flag 3033277/893112
280.36/285.05	c cleaning 42001 clauses out of 84028 with flag 3182631/936112
293.13/298.07	c cleaning 42998 clauses out of 86028 with flag 3341164/980113
306.49/311.44	c cleaning 44003 clauses out of 88029 with flag 3498358/1025112
320.61/325.77	c cleaning 44997 clauses out of 90026 with flag 3660209/1071112
335.47/340.67	c cleaning 46003 clauses out of 92029 with flag 3823460/1118112
349.80/355.36	c cleaning 47004 clauses out of 94026 with flag 3994704/1166112
364.38/369.96	c cleaning 48002 clauses out of 96022 with flag 4166738/1215112
379.27/384.98	c cleaning 48995 clauses out of 98020 with flag 4342970/1265112
394.77/400.48	c cleaning 50005 clauses out of 100026 with flag 4527659/1316113
411.05/416.86	c cleaning 51007 clauses out of 102021 with flag 4713541/1368113
427.37/433.13	c cleaning 52001 clauses out of 104014 with flag 4907511/1421113
444.25/450.19	c cleaning 53007 clauses out of 106013 with flag 5107733/1475113
462.54/468.42	c cleaning 54001 clauses out of 108005 with flag 5317001/1530112
480.65/488.41	c cleaning 54996 clauses out of 110004 with flag 5522033/1586112
498.88/506.70	c cleaning 55985 clauses out of 112009 with flag 5725620/1643113
516.53/524.49	c cleaning 56986 clauses out of 114023 with flag 5931766/1701112
534.25/542.23	c cleaning 58005 clauses out of 116037 with flag 6147691/1760112
552.61/560.64	c cleaning 59001 clauses out of 118032 with flag 6372251/1820112
572.33/580.47	c cleaning 60014 clauses out of 120031 with flag 6593146/1881112
591.93/603.09	c cleaning 60999 clauses out of 122017 with flag 6838675/1943112
612.40/623.54	c cleaning 61997 clauses out of 124018 with flag 7073674/2006112
632.11/645.52	c cleaning 62999 clauses out of 126021 with flag 7319741/2070112
653.08/666.59	c cleaning 64004 clauses out of 128023 with flag 7561451/2135113
674.54/689.31	c cleaning 64998 clauses out of 130019 with flag 7819764/2201113
696.21/711.16	c cleaning 66011 clauses out of 132021 with flag 8085686/2268113
717.90/732.87	c cleaning 67004 clauses out of 134012 with flag 8357791/2336115
740.36/755.42	c cleaning 67993 clauses out of 136005 with flag 8632604/2405112
763.38/778.78	c cleaning 69000 clauses out of 138012 with flag 8896250/2475112
787.00/802.47	c cleaning 70000 clauses out of 140012 with flag 9167309/2546112
810.74/826.29	c cleaning 70992 clauses out of 142012 with flag 9438721/2618112
834.15/849.70	c cleaning 72001 clauses out of 144020 with flag 9702092/2691112
856.99/872.62	c cleaning 72992 clauses out of 146019 with flag 9970335/2765112
879.76/895.51	c cleaning 74002 clauses out of 148027 with flag 10250186/2840112
902.97/918.84	c cleaning 75000 clauses out of 150025 with flag 10541438/2916112
926.59/942.44	c cleaning 76001 clauses out of 152026 with flag 10825545/2993113
950.44/966.48	c cleaning 77004 clauses out of 154024 with flag 11105446/3071112
973.78/989.86	c cleaning 78001 clauses out of 156020 with flag 11404641/3150112
998.72/1017.01	c cleaning 78998 clauses out of 158020 with flag 11709456/3230113
1022.56/1040.85	c cleaning 79997 clauses out of 160024 with flag 12000191/3311115
1046.42/1076.85	c cleaning 81009 clauses out of 162026 with flag 12297816/3393114
1070.88/1105.40	c cleaning 82006 clauses out of 164015 with flag 12593806/3476112
1095.53/1130.03	c cleaning 82996 clauses out of 166009 with flag 12896897/3560112
1120.92/1163.15	c cleaning 84001 clauses out of 168013 with flag 13217888/3645112
1145.99/1188.27	c cleaning 84997 clauses out of 170012 with flag 13531266/3731112
1172.35/1215.17	c cleaning 85993 clauses out of 172015 with flag 13838826/3818112
1199.69/1242.68	c cleaning 87012 clauses out of 174023 with flag 14163360/3906113
1226.93/1269.83	c cleaning 87998 clauses out of 176012 with flag 14528256/3995114
1255.06/1298.12	c cleaning 88998 clauses out of 178012 with flag 14876334/4085112
1284.01/1327.03	c cleaning 89995 clauses out of 180014 with flag 15227146/4176112
1312.41/1361.51	c cleaning 90998 clauses out of 182020 with flag 15579600/4268113
1342.15/1391.32	c cleaning 92004 clauses out of 184021 with flag 15940456/4361112
1372.28/1421.63	c cleaning 93005 clauses out of 186017 with flag 16316422/4455112
1402.58/1451.92	c cleaning 93998 clauses out of 188012 with flag 16684293/4550112
1432.99/1482.40	c cleaning 95000 clauses out of 190014 with flag 17046555/4646112
1464.19/1513.88	c cleaning 96000 clauses out of 192014 with flag 17407200/4743112
1496.52/1546.35	c cleaning 97000 clauses out of 194015 with flag 17777623/4841113
1528.96/1578.86	c cleaning 97997 clauses out of 196014 with flag 18149181/4940112
1562.62/1612.57	c cleaning 98997 clauses out of 198017 with flag 18535509/5040112
1594.49/1644.37	c cleaning 100003 clauses out of 200020 with flag 18938956/5141112
1626.94/1676.95	c cleaning 101005 clauses out of 202017 with flag 19347758/5243112
1660.41/1710.58	c cleaning 101994 clauses out of 204012 with flag 19763179/5346112
1694.51/1749.61	c cleaning 103007 clauses out of 206020 with flag 20170954/5450114
1728.85/1784.14	c cleaning 103990 clauses out of 208012 with flag 20585769/5555113
1762.06/1817.52	c cleaning 104996 clauses out of 210021 with flag 21009218/5661112
1798.11/1853.62	c cleaning 106009 clauses out of 212025 with flag 21429834/5768112
1833.13/1888.95	c cleaning 106995 clauses out of 214018 with flag 21862953/5876114
1868.98/1925.25	c cleaning 107999 clauses out of 216022 with flag 22290601/5985113
1905.49/1962.00	c cleaning 109009 clauses out of 218022 with flag 22728143/6095112
1943.47/2000.37	c cleaning 110004 clauses out of 220015 with flag 23169075/6206114
1980.17/2037.22	c cleaning 111001 clauses out of 222009 with flag 23622830/6318112
2017.51/2074.60	c cleaning 111994 clauses out of 224008 with flag 24083152/6431112
2052.69/2110.00	c cleaning 112993 clauses out of 226014 with flag 24522204/6545112
2089.52/2146.96	c cleaning 114003 clauses out of 228021 with flag 24966499/6660112
2126.06/2183.74	c cleaning 114997 clauses out of 230018 with flag 25436457/6776112
2163.11/2221.37	c cleaning 115994 clauses out of 232021 with flag 25906267/6893112
2202.42/2260.89	c cleaning 117012 clauses out of 234027 with flag 26358671/7011112
2241.73/2300.35	c cleaning 118002 clauses out of 236017 with flag 26838482/7130114
2280.58/2339.32	c cleaning 118997 clauses out of 238013 with flag 27326205/7250112
2320.96/2379.91	c cleaning 119998 clauses out of 240016 with flag 27820646/7371112
2361.07/2420.21	c cleaning 121003 clauses out of 242018 with flag 28331760/7493112
2402.66/2462.29	c cleaning 122001 clauses out of 244016 with flag 28811160/7616113
2445.16/2505.86	c cleaning 122997 clauses out of 246018 with flag 29318212/7740116
2486.51/2548.50	c cleaning 123984 clauses out of 248017 with flag 29834144/7865112
2528.11/2590.36	c cleaning 125008 clauses out of 250033 with flag 30362276/7991112
2568.01/2630.74	c cleaning 126004 clauses out of 252025 with flag 30880948/8118112
2608.95/2674.68	c cleaning 126989 clauses out of 254022 with flag 31395863/8246113
2650.85/2716.63	c cleaning 127994 clauses out of 256032 with flag 31918687/8375112
2693.57/2759.78	c cleaning 129006 clauses out of 258038 with flag 32433416/8505112
2737.47/2803.86	c cleaning 130008 clauses out of 260033 with flag 32996104/8636113
2781.28/2848.01	c cleaning 131001 clauses out of 262024 with flag 33550200/8768112
2823.88/2890.85	c cleaning 132004 clauses out of 264026 with flag 34098129/8901115
2866.78/2933.89	c cleaning 132996 clauses out of 266020 with flag 34639788/9035113
2911.84/2979.20	c cleaning 133997 clauses out of 268025 with flag 35199182/9170114
2956.11/3023.76	c cleaning 135006 clauses out of 270027 with flag 35779556/9306113
3004.43/3072.39	c cleaning 135998 clauses out of 272020 with flag 36411753/9443112
3051.58/3119.68	c cleaning 137001 clauses out of 274022 with flag 36991271/9581112
3099.10/3167.59	c cleaning 137995 clauses out of 276022 with flag 37593912/9720113
3147.40/3216.24	c cleaning 139001 clauses out of 278026 with flag 38199754/9860112
3195.81/3264.76	c cleaning 139992 clauses out of 280025 with flag 38769836/10001112
3245.17/3320.64	c cleaning 141014 clauses out of 282033 with flag 39358254/10143112
3292.14/3367.70	c cleaning 142005 clauses out of 284019 with flag 39961589/10286112
3340.10/3424.02	c cleaning 142993 clauses out of 286014 with flag 40560757/10430112
3388.89/3472.97	c cleaning 143996 clauses out of 288021 with flag 41161969/10575112
3437.35/3521.64	c cleaning 145008 clauses out of 290026 with flag 41784961/10721113
3487.06/3576.00	c cleaning 146001 clauses out of 292017 with flag 42416406/10868112
3534.67/3624.08	c cleaning 146998 clauses out of 294018 with flag 43074866/11016114
3583.53/3674.54	c cleaning 148006 clauses out of 296018 with flag 43730150/11165112
3600.09/3691.11	c starts		: 5
3600.09/3691.12	c conflicts		: 11220306
3600.09/3691.12	c decisions		: 25840822
3600.09/3691.12	c propagations		: 2183858049
3600.09/3691.12	c inspects		: 4356176125
3600.09/3691.12	c shortcuts		: 0
3600.09/3691.12	c learnt literals	: 0
3600.09/3691.12	c learnt binary clauses	: 0
3600.09/3691.12	c learnt ternary clauses	: 0
3600.09/3691.12	c learnt constraints	: 11220306
3600.09/3691.12	c ignored constraints	: 0
3600.09/3691.12	c root simplifications	: 0
3600.09/3691.12	c removed literals (reason simplification)	: 1665636532
3600.09/3691.12	c reason swapping (by a shorter reason)	: 0
3600.09/3691.12	c Calls to reduceDB	: 145
3600.09/3691.12	c Number of update (reduction) of LBD	: 3105644
3600.09/3691.12	c Imported unit clauses	: 0
3600.09/3691.12	c No decision after first conflict	: false
3600.09/3691.12	c number of reductions to clauses (during analyze)	: 0
3600.09/3691.13	c number of learned constraints concerned by reduction	: 0
3600.09/3691.13	c number of learning phase by resolution	: 0
3600.09/3691.13	c number of learning phase by cutting planes	: 0
3600.09/3691.13	c number of rounding to 1 operations	: 0
3600.09/3691.13	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3691.13	c number of reductions of the coefficients by power 2 	: 0
3600.09/3691.13	c number of right shift for reduction by power 2 	: 0
3600.09/3691.13	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3691.13	c number of ending skipping 	: 0
3600.09/3691.13	c number of internal skipping 	: 0
3600.09/3691.13	c number of derivation steps 	: 0
3600.09/3691.13	c number of skipped derivation steps 	: 0
3600.09/3691.13	c number of remaining unassigned 	: 0
3600.09/3691.13	c number of remaining assigned 	: 0
3600.09/3691.13	c number of falsified literals weakened from reason	: 0
3600.09/3691.13	c number of falsified literals weakened from conflict	: 0
3600.09/3691.13	c time for arithmetic operations	: 0
3600.09/3691.13	c minimum degree of deleted constraints	: null
3600.09/3691.13	c maximum degree of deleted constraints	: null
3600.09/3691.13	c number of deleted constraints	: 0
3600.09/3691.13	c speed (assignments/second)	: 591909.5688238529
3600.09/3691.13	c non guided choices	: 0
3600.09/3691.20	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 203206
3600.09/3691.20	s SATISFIABLE
3600.09/3691.20	c Found 1 solution(s)
3600.29/3691.21	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/3691.23	c objective function=844
3600.29/3691.23	c Total wall clock time (in seconds): 3691.09

OK	844

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489837-1751368877/watcher-4489837-1751368877 -o /tmp/evaluation-result-4489837-1751368877/solver-4489837-1751368877 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751361483-52530 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4489837-1751368877 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4489837-1751368877.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=53434, runsolver pid=53431

[startup+0.100059 s]*
/proc/loadavg: 4.17 4.21 4.15 6/326 53452
/proc/meminfo: memFree=89950052/131250000 swapFree=33009904/33010684
[pid=53434] ppid=53431 vsize=18930384 memory=55356 CPUtime=0.12 cores=1,3
/proc/53434/stat : 53434 (java) S 53431 53434 52518 0 -1 4194304 6500 0 0 0 10 2 0 0 20 0 18 0 52567129 19384713216 13839 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
/proc/53434/statm: 4732596 13839 5331 1 0 547573 0
[pid=53434/tid=53436] ppid=53431 vsize=18930384 memory=4026532141 CPUtime=0.06 cores=1,3
/proc/53434/task/53436/stat : 53436 (java) R 53431 53434 52518 0 -1 4194368 5016 0 0 0 5 1 0 0 20 0 18 0 52567131 19384713216 13839 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53445] ppid=53431 vsize=18930384 memory=245702607076 CPUtime=0 cores=1,3
/proc/53434/task/53445/stat : 53445 (Finalizer) S 53431 53434 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52567133 19384713216 13839 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53452] ppid=53431 vsize=18930384 memory=20050 CPUtime=0 cores=1,3
/proc/53434/task/53452/stat : 53452 (Common-Cleaner) S 53431 53434 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 52567134 19384713216 13839 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55356 KiB

[startup+0.205813 s]*
/proc/loadavg: 4.17 4.21 4.15 6/326 53452
/proc/meminfo: memFree=89937764/131250000 swapFree=33009904/33010684
[pid=53434] ppid=53431 vsize=18930384 memory=67872 CPUtime=0.3 cores=1,3
/proc/53434/stat : 53434 (java) S 53431 53434 52518 0 -1 4194304 6980 0 0 0 28 2 0 0 20 0 18 0 52567129 19384713216 16968 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
/proc/53434/statm: 4732596 16968 5427 1 0 547883 0
[pid=53434/tid=53436] ppid=53431 vsize=18930384 memory=3472328300254199928 CPUtime=0.16 cores=1,3
/proc/53434/task/53436/stat : 53436 (java) R 53431 53434 52518 0 -1 4194368 5264 0 0 0 14 2 0 0 20 0 18 0 52567131 19384713216 16968 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53445] ppid=53431 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/53434/task/53445/stat : 53445 (Finalizer) S 53431 53434 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52567133 19384713216 16968 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53452] ppid=53431 vsize=18930384 memory=60684515952020 CPUtime=0 cores=1,3
/proc/53434/task/53452/stat : 53452 (Common-Cleaner) S 53431 53434 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 52567134 19384713216 16968 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 67872 KiB

[startup+0.305813 s]*
/proc/loadavg: 4.17 4.21 4.15 6/326 53452
/proc/meminfo: memFree=89899704/131250000 swapFree=33009904/33010684
[pid=53434] ppid=53431 vsize=18930384 memory=106176 CPUtime=0.49 cores=1,3
/proc/53434/stat : 53434 (java) S 53431 53434 52518 0 -1 4194304 9041 0 0 0 46 3 0 0 20 0 18 0 52567129 19384713216 26544 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
/proc/53434/statm: 4732596 26544 5427 1 0 549236 0
[pid=53434/tid=53436] ppid=53431 vsize=18930384 memory=-6000919502804904298 CPUtime=0.25 cores=1,3
/proc/53434/task/53436/stat : 53436 (java) R 53431 53434 52518 0 -1 4194368 5285 0 0 0 23 2 0 0 20 0 18 0 52567131 19384713216 26544 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53445] ppid=53431 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/53434/task/53445/stat : 53445 (Finalizer) S 53431 53434 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52567133 19384713216 26544 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53452] ppid=53431 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/53434/task/53452/stat : 53452 (Common-Cleaner) S 53431 53434 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 52567134 19384713216 26544 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 106176 KiB

[startup+0.700228 s]
/proc/loadavg: 4.17 4.21 4.15 7/327 53453
/proc/meminfo: memFree=89854068/131250000 swapFree=33009904/33010684
[pid=53434] ppid=53431 vsize=18996948 memory=179840 CPUtime=1.23 cores=1,3
/proc/53434/stat : 53434 (java) S 53431 53434 52518 0 -1 4194304 12132 0 0 0 117 6 0 0 20 0 19 0 52567129 19452874752 44960 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
/proc/53434/statm: 4749237 44960 5459 1 0 551334 0
[pid=53434/tid=53436] ppid=53431 vsize=18996948 memory=18432 CPUtime=0.59 cores=1,3
/proc/53434/task/53436/stat : 53436 (java) R 53431 53434 52518 0 -1 4194368 5313 0 0 0 55 4 0 0 20 0 19 0 52567131 19452874752 44960 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53445] ppid=53431 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/53434/task/53445/stat : 53445 (Finalizer) S 53431 53434 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52567133 19452874752 44960 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53452] ppid=53431 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/53434/task/53452/stat : 53452 (Common-Cleaner) S 53431 53434 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 52567134 19452874752 44960 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 179840 KiB

[startup+1.50023 s]
/proc/loadavg: 4.17 4.21 4.15 6/327 53453
/proc/meminfo: memFree=89721548/131250000 swapFree=33009904/33010684
[pid=53434] ppid=53431 vsize=18996948 memory=424756 CPUtime=2.28 cores=1,3
/proc/53434/stat : 53434 (java) S 53431 53434 52518 0 -1 4194304 13045 0 0 0 216 12 0 0 20 0 19 0 52567129 19452874752 106189 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
/proc/53434/statm: 4749237 106189 5459 1 0 1006792 0
[pid=53434/tid=53436] ppid=53431 vsize=18996948 memory=0 CPUtime=1.28 cores=1,3
/proc/53434/task/53436/stat : 53436 (java) R 53431 53434 52518 0 -1 4194368 5401 0 0 0 120 8 0 0 20 0 19 0 52567131 19452874752 106189 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53445] ppid=53431 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/53434/task/53445/stat : 53445 (Finalizer) S 53431 53434 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52567133 19452874752 106189 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53452] ppid=53431 vsize=18996948 memory=16436 CPUtime=0 cores=1,3
/proc/53434/task/53452/stat : 53452 (Common-Cleaner) S 53431 53434 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 52567134 19452874752 106189 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 424756 KiB

[startup+3.10596 s]
/proc/loadavg: 4.17 4.21 4.15 5/301 53477
/proc/meminfo: memFree=95361168/131250000 swapFree=33009904/33010684
[pid=53434] ppid=53431 vsize=19063512 memory=731276 CPUtime=5.42 cores=1,3
/proc/53434/stat : 53434 (java) S 53431 53434 52518 0 -1 4194304 16185 0 0 0 521 21 0 0 20 0 20 0 52567129 19521036288 182819 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
/proc/53434/statm: 4765878 182819 5523 1 0 1624618 0
[pid=53434/tid=53436] ppid=53431 vsize=19063512 memory=10752 CPUtime=2.74 cores=1,3
/proc/53434/task/53436/stat : 53436 (java) R 53431 53434 52518 0 -1 4194368 5717 0 0 0 258 16 0 0 20 0 20 0 52567131 19521036288 182819 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53445] ppid=53431 vsize=19063512 memory=198340509722 CPUtime=0 cores=1,3
/proc/53434/task/53445/stat : 53445 (Finalizer) S 53431 53434 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52567133 19521036288 182819 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53452] ppid=53431 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/53434/task/53452/stat : 53452 (Common-Cleaner) S 53431 53434 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 52567134 19521036288 182819 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53466] ppid=53431 vsize=19063512 memory=164 CPUtime=0 cores=1,3
/proc/53434/task/53466/stat : 53466 (Timer-0) S 53431 53434 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52567291 19521036288 182819 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
Current children cumulated CPU time: 5.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 731276 KiB

[startup+6.30021 s]
/proc/loadavg: 4.16 4.21 4.14 5/324 53533
/proc/meminfo: memFree=104017424/131250000 swapFree=33009904/33010684
[pid=53434] ppid=53431 vsize=19063512 memory=801160 CPUtime=9.34 cores=1,3
/proc/53434/stat : 53434 (java) S 53431 53434 52518 0 -1 4194304 16457 0 0 0 910 24 0 0 20 0 20 0 52567129 19521036288 200290 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
/proc/53434/statm: 4765878 200290 5523 1 0 1624658 0
[pid=53434/tid=53436] ppid=53431 vsize=19063512 memory=0 CPUtime=5.84 cores=1,3
/proc/53434/task/53436/stat : 53436 (java) R 53431 53434 52518 0 -1 4194368 5775 0 0 0 567 17 0 0 20 0 20 0 52567131 19521036288 200290 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53445] ppid=53431 vsize=19063512 memory=-6000919502804904298 CPUtime=0 cores=1,3
/proc/53434/task/53445/stat : 53445 (Finalizer) S 53431 53434 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52567133 19521036288 200290 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53452] ppid=53431 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/53434/task/53452/stat : 53452 (Common-Cleaner) S 53431 53434 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 52567134 19521036288 200290 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53466] ppid=53431 vsize=19063512 memory=433904 CPUtime=0 cores=1,3
/proc/53434/task/53466/stat : 53466 (Timer-0) S 53431 53434 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52567291 19521036288 200290 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
Current children cumulated CPU time: 9.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 801160 KiB

[startup+12.7002 s]
/proc/loadavg: 4.23 4.22 4.15 5/329 53573
/proc/meminfo: memFree=116766232/131250000 swapFree=33009904/33010684
[pid=53434] ppid=53431 vsize=19063512 memory=971360 CPUtime=15.82 cores=1,3
/proc/53434/stat : 53434 (java) S 53431 53434 52518 0 -1 4194304 21233 0 0 0 1551 31 0 0 20 0 20 0 52567129 19521036288 242840 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
/proc/53434/statm: 4765878 242840 5555 1 0 1624658 0
[pid=53434/tid=53436] ppid=53431 vsize=19063512 memory=433904 CPUtime=12.19 cores=1,3
/proc/53434/task/53436/stat : 53436 (java) R 53431 53434 52518 0 -1 4194368 6729 0 0 0 1197 22 0 0 20 0 20 0 52567131 19521036288 242840 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53445] ppid=53431 vsize=19063512 memory=932448 CPUtime=0 cores=1,3
/proc/53434/task/53445/stat : 53445 (Finalizer) S 53431 53434 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52567133 19521036288 242840 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53452] ppid=53431 vsize=19063512 memory=782552 CPUtime=0 cores=1,3
/proc/53434/task/53452/stat : 53452 (Common-Cleaner) S 53431 53434 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 52567134 19521036288 242840 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53466] ppid=53431 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/53434/task/53466/stat : 53466 (Timer-0) S 53431 53434 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52567291 19521036288 242840 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
Current children cumulated CPU time: 15.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 971360 KiB

[startup+25.5002 s]
/proc/loadavg: 4.40 4.26 4.16 5/348 53638
/proc/meminfo: memFree=122746332/131250000 swapFree=33009904/33010684
[pid=53434] ppid=53431 vsize=19063512 memory=1749632 CPUtime=28.61 cores=1,3
/proc/53434/stat : 53434 (java) S 53431 53434 52518 0 -1 4194304 24888 0 0 0 2813 48 0 0 20 0 20 0 52567129 19521036288 437408 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
/proc/53434/statm: 4765878 437408 5555 1 0 1624678 0
[pid=53434/tid=53436] ppid=53431 vsize=19063512 memory=928352 CPUtime=24.94 cores=1,3
/proc/53434/task/53436/stat : 53436 (java) R 53431 53434 52518 0 -1 4194368 8429 0 0 0 2455 39 0 0 20 0 20 0 52567131 19521036288 437408 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53445] ppid=53431 vsize=19063512 memory=1749632 CPUtime=0 cores=1,3
/proc/53434/task/53445/stat : 53445 (Finalizer) S 53431 53434 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52567133 19521036288 437408 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53452] ppid=53431 vsize=19063512 memory=1749632 CPUtime=0 cores=1,3
/proc/53434/task/53452/stat : 53452 (Common-Cleaner) S 53431 53434 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 52567134 19521036288 437408 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53466] ppid=53431 vsize=19063512 memory=6784 CPUtime=0 cores=1,3
/proc/53434/task/53466/stat : 53466 (Timer-0) S 53431 53434 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52567291 19521036288 437408 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
Current children cumulated CPU time: 28.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1749632 KiB

[startup+51.1059 s]
/proc/loadavg: 4.34 4.26 4.17 5/349 53640
/proc/meminfo: memFree=119656236/131250000 swapFree=33009904/33010684
[pid=53434] ppid=53431 vsize=19063512 memory=2888320 CPUtime=54.15 cores=1,3
/proc/53434/stat : 53434 (java) S 53431 53434 52518 0 -1 4194304 30685 0 0 0 5336 79 0 0 20 0 20 0 52567129 19521036288 722080 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
/proc/53434/statm: 4765878 722080 5555 1 0 1624684 0
[pid=53434/tid=53436] ppid=53431 vsize=19063512 memory=-6000919502804904298 CPUtime=50.36 cores=1,3
/proc/53434/task/53436/stat : 53436 (java) R 53431 53434 52518 0 -1 4194368 10561 0 0 0 4967 69 0 0 20 0 20 0 52567131 19521036288 722080 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53445] ppid=53431 vsize=19063512 memory=-4050210904893932176 CPUtime=0 cores=1,3
/proc/53434/task/53445/stat : 53445 (Finalizer) S 53431 53434 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52567133 19521036288 722080 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53452] ppid=53431 vsize=19063512 memory=16436 CPUtime=0 cores=1,3
/proc/53434/task/53452/stat : 53452 (Common-Cleaner) S 53431 53434 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 52567134 19521036288 722080 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53466] ppid=53431 vsize=19063512 memory=-6000919502804904298 CPUtime=0 cores=1,3

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

Current children cumulated CPU time: 3266.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6213284 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.16 5/343 53835
/proc/meminfo: memFree=75040768/131250000 swapFree=33009904/33010684
[pid=53434] ppid=53431 vsize=19063512 memory=6213284 CPUtime=3326.59 cores=1,3
/proc/53434/stat : 53434 (java) S 53431 53434 52518 0 -1 4194304 193160 0 0 0 331641 1018 0 0 20 0 20 0 52567129 19521036288 1553321 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
/proc/53434/statm: 4765878 1553321 5555 1 0 1624709 0
[pid=53434/tid=53436] ppid=53431 vsize=19063512 memory=6213284 CPUtime=3304.81 cores=1,3
/proc/53434/task/53436/stat : 53436 (java) R 53431 53434 52518 0 -1 4194368 104149 0 0 0 329571 910 0 0 20 0 20 0 52567131 19521036288 1553321 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53445] ppid=53431 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/53434/task/53445/stat : 53445 (Finalizer) S 53431 53434 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52567133 19521036288 1553321 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53452] ppid=53431 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/53434/task/53452/stat : 53452 (Common-Cleaner) S 53431 53434 52518 0 -1 4194368 2774 0 0 0 0 0 0 0 20 0 20 0 52567134 19521036288 1553321 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53466] ppid=53431 vsize=19063512 memory=16436 CPUtime=0 cores=1,3
/proc/53434/task/53466/stat : 53466 (Timer-0) S 53431 53434 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52567291 19521036288 1553321 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
Current children cumulated CPU time: 3326.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6213284 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/342 53837
/proc/meminfo: memFree=74534808/131250000 swapFree=33009904/33010684
[pid=53434] ppid=53431 vsize=19063512 memory=6254296 CPUtime=3378.32 cores=1,3
/proc/53434/stat : 53434 (java) S 53431 53434 52518 0 -1 4194304 194817 0 0 0 336799 1033 0 0 20 0 20 0 52567129 19521036288 1563574 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
/proc/53434/statm: 4765878 1563574 5555 1 0 1624709 0
[pid=53434/tid=53436] ppid=53431 vsize=19063512 memory=18432 CPUtime=3356.07 cores=1,3
/proc/53434/task/53436/stat : 53436 (java) R 53431 53434 52518 0 -1 4194368 105542 0 0 0 334684 923 0 0 20 0 20 0 52567131 19521036288 1563574 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53445] ppid=53431 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/53434/task/53445/stat : 53445 (Finalizer) S 53431 53434 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52567133 19521036288 1563574 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53452] ppid=53431 vsize=19063512 memory=6213284 CPUtime=0 cores=1,3
/proc/53434/task/53452/stat : 53452 (Common-Cleaner) S 53431 53434 52518 0 -1 4194368 2774 0 0 0 0 0 0 0 20 0 20 0 52567134 19521036288 1563574 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53466] ppid=53431 vsize=19063512 memory=16436 CPUtime=0 cores=1,3
/proc/53434/task/53466/stat : 53466 (Timer-0) S 53431 53434 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52567291 19521036288 1563574 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
Current children cumulated CPU time: 3378.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6254296 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/344 53842
/proc/meminfo: memFree=73989748/131250000 swapFree=33009904/33010684
[pid=53434] ppid=53431 vsize=19063512 memory=6285048 CPUtime=3438.05 cores=1,3
/proc/53434/stat : 53434 (java) S 53431 53434 52518 0 -1 4194304 198983 0 0 0 342759 1046 0 0 20 0 20 0 52567129 19521036288 1571262 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
/proc/53434/statm: 4765878 1571262 5555 1 0 1624709 0
[pid=53434/tid=53436] ppid=53431 vsize=19063512 memory=10752 CPUtime=3415.6 cores=1,3
/proc/53434/task/53436/stat : 53436 (java) R 53431 53434 52518 0 -1 4194368 108415 0 0 0 340625 935 0 0 20 0 20 0 52567131 19521036288 1571262 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53445] ppid=53431 vsize=19063512 memory=16436 CPUtime=0 cores=1,3
/proc/53434/task/53445/stat : 53445 (Finalizer) S 53431 53434 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52567133 19521036288 1571262 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53452] ppid=53431 vsize=19063512 memory=16436 CPUtime=0 cores=1,3
/proc/53434/task/53452/stat : 53452 (Common-Cleaner) S 53431 53434 52518 0 -1 4194368 2869 0 0 0 0 0 0 0 20 0 20 0 52567134 19521036288 1571262 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53466] ppid=53431 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/53434/task/53466/stat : 53466 (Timer-0) S 53431 53434 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52567291 19521036288 1571262 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
Current children cumulated CPU time: 3438.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6285048 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/344 53844
/proc/meminfo: memFree=73549108/131250000 swapFree=33009904/33010684
[pid=53434] ppid=53431 vsize=19063512 memory=6285048 CPUtime=3493.13 cores=1,3
/proc/53434/stat : 53434 (java) S 53431 53434 52518 0 -1 4194304 202211 0 0 0 348253 1060 0 0 20 0 20 0 52567129 19521036288 1571262 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
/proc/53434/statm: 4765878 1571262 5555 1 0 1624709 0
[pid=53434/tid=53436] ppid=53431 vsize=19063512 memory=10752 CPUtime=3470.33 cores=1,3
/proc/53434/task/53436/stat : 53436 (java) R 53431 53434 52518 0 -1 4194368 110238 0 0 0 346084 949 0 0 20 0 20 0 52567131 19521036288 1571262 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53445] ppid=53431 vsize=19063512 memory=6285048 CPUtime=0 cores=1,3
/proc/53434/task/53445/stat : 53445 (Finalizer) S 53431 53434 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52567133 19521036288 1571262 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53452] ppid=53431 vsize=19063512 memory=6285048 CPUtime=0 cores=1,3
/proc/53434/task/53452/stat : 53452 (Common-Cleaner) S 53431 53434 52518 0 -1 4194368 2995 0 0 0 0 0 0 0 20 0 20 0 52567134 19521036288 1571262 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53466] ppid=53431 vsize=19063512 memory=16436 CPUtime=0 cores=1,3
/proc/53434/task/53466/stat : 53466 (Timer-0) S 53431 53434 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52567291 19521036288 1571262 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
Current children cumulated CPU time: 3493.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6285048 KiB

[startup+3642.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/345 53847
/proc/meminfo: memFree=73026792/131250000 swapFree=33009904/33010684
[pid=53434] ppid=53431 vsize=19063512 memory=6315820 CPUtime=3551.41 cores=1,3
/proc/53434/stat : 53434 (java) S 53431 53434 52518 0 -1 4194304 203463 0 0 0 354064 1077 0 0 20 0 20 0 52567129 19521036288 1578955 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
/proc/53434/statm: 4765878 1578955 5555 1 0 1624709 0
[pid=53434/tid=53436] ppid=53431 vsize=19063512 memory=16436 CPUtime=3528.22 cores=1,3
/proc/53434/task/53436/stat : 53436 (java) R 53431 53434 52518 0 -1 4194368 111307 0 0 0 351858 964 0 0 20 0 20 0 52567131 19521036288 1578955 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53445] ppid=53431 vsize=19063512 memory=6285048 CPUtime=0 cores=1,3
/proc/53434/task/53445/stat : 53445 (Finalizer) S 53431 53434 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52567133 19521036288 1578955 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53452] ppid=53431 vsize=19063512 memory=6315820 CPUtime=0 cores=1,3
/proc/53434/task/53452/stat : 53452 (Common-Cleaner) S 53431 53434 52518 0 -1 4194368 2995 0 0 0 0 0 0 0 20 0 20 0 52567134 19521036288 1578955 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53466] ppid=53431 vsize=19063512 memory=-6000919502804904298 CPUtime=0 cores=1,3
/proc/53434/task/53466/stat : 53466 (Timer-0) S 53431 53434 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52567291 19521036288 1578955 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
Current children cumulated CPU time: 3551.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6315820 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3691.11 s]
/proc/loadavg: 3.41 3.95 4.09 2/295 53916
/proc/meminfo: memFree=101477896/131250000 swapFree=33009904/33010684
[pid=53434] ppid=53431 vsize=19063512 memory=6315820 CPUtime=3600.09 cores=1,3
/proc/53434/stat : 53434 (java) S 53431 53434 52518 0 -1 4194304 206943 0 0 0 358919 1090 0 0 20 0 20 0 52567129 19521036288 1578955 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
/proc/53434/statm: 4765878 1578955 5555 1 0 1624709 0
[pid=53434/tid=53436] ppid=53431 vsize=19063512 memory=-6000919502804904298 CPUtime=3576.68 cores=1,3
/proc/53434/task/53436/stat : 53436 (java) R 53431 53434 52518 0 -1 4194368 113698 0 0 0 356691 977 0 0 20 0 20 0 52567131 19521036288 1578955 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53445] ppid=53431 vsize=19063512 memory=6285048 CPUtime=0 cores=1,3
/proc/53434/task/53445/stat : 53445 (Finalizer) S 53431 53434 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52567133 19521036288 1578955 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53452] ppid=53431 vsize=19063512 memory=16436 CPUtime=0 cores=1,3
/proc/53434/task/53452/stat : 53452 (Common-Cleaner) S 53431 53434 52518 0 -1 4194368 3088 0 0 0 0 0 0 0 20 0 20 0 52567134 19521036288 1578955 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53466] ppid=53431 vsize=19063512 memory=6315820 CPUtime=0 cores=1,3
/proc/53434/task/53466/stat : 53466 (Timer-0) S 53431 53434 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52567291 19521036288 1578955 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6315820 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.43 s, system=10.943 s

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

[startup+3691.21 s]
/proc/loadavg: 3.41 3.95 4.09 2/295 53916
/proc/meminfo: memFree=101477896/131250000 swapFree=33009904/33010684
[pid=53434] ppid=53431 vsize=19263204 memory=6316716 CPUtime=3600.29 cores=1,3
/proc/53434/stat : 53434 (java) S 53431 53434 52518 0 -1 4194304 209417 0 0 0 358938 1091 0 0 20 0 21 0 52567129 19725520896 1579179 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
/proc/53434/statm: 4815801 1579179 5555 1 0 1625669 0
[pid=53434/tid=53436] ppid=53431 vsize=19263204 memory=18432 CPUtime=3576.77 cores=1,3
/proc/53434/task/53436/stat : 53436 (java) R 53431 53434 52518 0 -1 4194368 113817 0 0 0 356700 977 0 0 20 0 21 0 52567131 19725520896 1579179 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53445] ppid=53431 vsize=19263204 memory=10752 CPUtime=0 cores=1,3
/proc/53434/task/53445/stat : 53445 (Finalizer) S 53431 53434 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 52567133 19725520896 1579179 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
[pid=53434/tid=53452] ppid=53431 vsize=19263204 memory=5504 CPUtime=0 cores=1,3
/proc/53434/task/53452/stat : 53452 (Common-Cleaner) S 53431 53434 52518 0 -1 4194368 3088 0 0 0 0 0 0 0 20 0 21 0 52567134 19725520896 1579179 18446744073709551615 94832442200064 94832442203760 140732671135872 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94832442211576 94832442212368 94832467791872 140732671138096 140732671138278 140732671138278 140732671143880 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 6316716 KiB

[startup+3691.6 s]
/proc/loadavg: 3.41 3.95 4.09 1/277 53919
/proc/meminfo: memFree=107769700/131250000 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3692 s]*
/proc/loadavg: 3.41 3.95 4.09 1/277 53919
/proc/meminfo: memFree=107784868/131250000 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3692.07
CPU time (s): 3600.38
CPU user time (s): 3589.43
CPU system time (s): 10.943
CPU usage (%): 97.5166
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6316716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.43
system time used= 10.943
maximum resident set size= 6316844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210025
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21696096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115370
involuntary context switches= 8465


# summary of solver processes directly reported to runsolver:
#   pid: 53434
#   total CPU time (s): 3600.38
#   total CPU user time (s): 3589.43
#   total CPU system time (s): 10.943

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45751 second user time and 16.7063 second system time

The end

Begin job on nodeC033 at 2025-07-01 13:21:17
IDJOB=4489837
IDBENCH=147564
IDSOLVER=3364
FILE ID=nodeC033/4489837-1751368877
RUNJOBID= nodeC033-1751361483-52530
SLURM_JOB_ID= 9598171
Free space on /tmp= 432408 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489837-1751368877/watcher-4489837-1751368877 -o /tmp/evaluation-result-4489837-1751368877/solver-4489837-1751368877 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751361483-52530 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4489837-1751368877 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4489837-1751368877.opb

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

MD5SUM BENCH= 446effd89caaa2fd386cf7c17951a1a5
RANDOM SEED=1565518608

nodeC033 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.651
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	: 7000.13
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		: 3600.064
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	: 7000.13
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.530
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	: 7000.13
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		: 3597.409
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	: 7000.13
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		: 3538.930
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	: 7000.13
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		: 3600.085
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.060
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	: 7000.13
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		: 3601.564
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        89978184 kB
MemAvailable:   117237836 kB
Buffers:            2128 kB
Cached:         28031476 kB
SwapCached:           68 kB
Active:         12749580 kB
Inactive:       27792820 kB
Active(anon):   12502376 kB
Inactive(anon):    24496 kB
Active(file):     247204 kB
Inactive(file): 27768324 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             78204 kB
Writeback:             8 kB
AnonPages:      12512176 kB
Mapped:           124584 kB
Shmem:             18028 kB
KReclaimable:     166724 kB
Slab:             258104 kB
SReclaimable:     166724 kB
SUnreclaim:        91380 kB
KernelStack:        4944 kB
PageTables:        27964 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   13134204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151336 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:  12285952 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432404 MiB
End job on nodeC033 at 2025-07-01 14:22:49