0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.00/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.10	c java.vm.version	22.0.1+8-16
0.00/0.10	c java.vm.vendor	Oracle Corporation
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		22.0.1
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.10	c os.arch		amd64
0.10/0.10	c Free memory 		2104792832
0.10/0.10	c Max memory 		16282288128
0.10/0.10	c Total memory 		2113929216
0.10/0.11	c Number of processors 	2
0.10/0.15	c Pseudo Boolean Optimization by upper bound
0.10/0.15	c --- Begin Solver configuration ---
0.10/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.15	c Learn all clauses as in MiniSAT
0.10/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.15	c Expensive reason simplification
0.10/0.15	c Glucose 2.1 dynamic restart strategy
0.10/0.15	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.10/0.15	c timeout=2147483s
0.10/0.15	c DB Simplification allowed=false
0.10/0.15	c Listener: none
0.10/0.15	c --- End Solver configuration ---
0.10/0.15	c solving HOME/instance-4489561-1751361484.opb
0.10/0.15	c reading problem ... 
0.18/0.27	c using VERIPB proof format
0.18/0.27	c  objective function found
2.38/1.70	c ... done. Wall clock time 1.551s.
2.38/1.70	c declared #vars     10000
2.38/1.70	c #constraints  656900
2.38/1.70	c constraints type 
2.38/1.70	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
2.38/1.70	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
2.38/1.70	c 656900 constraints processed.
2.38/1.71	c objective function length is 10000 literals
2.94/2.09	c SATISFIABLE
2.94/2.09	c OPTIMIZING...
2.94/2.09	c Got one! Elapsed wall clock time (in seconds):1.94
2.94/2.09	o 907
6.88/4.12	c cleaning 2555 clauses out of 5111 with flag 14657/5111
8.67/5.76	c cleaning 4271 clauses out of 8556 with flag 30764/11111
10.66/7.67	c cleaning 5641 clauses out of 11285 with flag 49796/18111
12.87/9.70	c cleaning 6816 clauses out of 13646 with flag 74223/26113
15.19/12.07	c cleaning 7914 clauses out of 15829 with flag 97733/35112
17.87/14.71	c cleaning 8952 clauses out of 17914 with flag 126186/45111
20.80/17.69	c cleaning 9982 clauses out of 19963 with flag 157415/56112
24.20/21.05	c cleaning 10990 clauses out of 21982 with flag 192897/68113
27.78/24.66	c cleaning 11992 clauses out of 23990 with flag 232380/81111
31.60/28.44	c cleaning 12991 clauses out of 25999 with flag 274551/95112
35.69/32.52	c cleaning 14004 clauses out of 28008 with flag 320842/110112
39.78/36.66	c cleaning 15002 clauses out of 30004 with flag 368698/126112
44.41/41.36	c cleaning 15997 clauses out of 32001 with flag 418763/143111
49.11/46.08	c cleaning 16999 clauses out of 34005 with flag 470784/161112
54.20/51.13	c cleaning 17999 clauses out of 36005 with flag 526768/180111
59.68/56.61	c cleaning 19001 clauses out of 38006 with flag 587241/200111
65.18/62.17	c cleaning 19993 clauses out of 40005 with flag 652168/221111
71.07/68.02	c cleaning 21006 clauses out of 42012 with flag 719736/243111
77.16/74.22	c cleaning 21998 clauses out of 44006 with flag 790572/266111
83.64/80.76	c cleaning 23001 clauses out of 46008 with flag 865641/290111
90.22/87.38	c cleaning 23997 clauses out of 48007 with flag 946619/315111
97.04/94.13	c cleaning 25001 clauses out of 50012 with flag 1031660/341113
103.92/101.06	c cleaning 26005 clauses out of 52010 with flag 1118516/368112
111.20/108.40	c cleaning 26997 clauses out of 54004 with flag 1208339/396111
118.89/116.13	c cleaning 28001 clauses out of 56007 with flag 1301365/425111
126.91/124.16	c cleaning 28998 clauses out of 58007 with flag 1397957/455112
135.48/132.78	c cleaning 30001 clauses out of 60009 with flag 1499177/486112
144.06/141.47	c cleaning 31002 clauses out of 62008 with flag 1609337/518112
152.94/150.30	c cleaning 32000 clauses out of 64005 with flag 1715944/551111
161.95/159.39	c cleaning 32993 clauses out of 66005 with flag 1829899/585111
171.33/168.82	c cleaning 34001 clauses out of 68013 with flag 1944813/620112
180.70/178.26	c cleaning 34987 clauses out of 70011 with flag 2075119/656111
190.52/188.07	c cleaning 36008 clauses out of 72025 with flag 2195292/693112
200.19/197.85	c cleaning 36995 clauses out of 74016 with flag 2322918/731111
210.68/208.31	c cleaning 38002 clauses out of 76021 with flag 2453961/770111
221.18/218.83	c cleaning 39007 clauses out of 78019 with flag 2589506/810111
231.96/229.79	c cleaning 39999 clauses out of 80012 with flag 2729244/851111
243.24/241.01	c cleaning 41000 clauses out of 82014 with flag 2873481/893112
254.74/252.51	c cleaning 42004 clauses out of 84013 with flag 3016781/936111
266.81/264.75	c cleaning 43004 clauses out of 86009 with flag 3168358/980111
279.39/277.37	c cleaning 43994 clauses out of 88005 with flag 3326788/1025111
291.89/290.00	c cleaning 44995 clauses out of 90012 with flag 3487622/1071112
304.36/302.49	c cleaning 45997 clauses out of 92016 with flag 3652411/1118111
317.47/315.52	c cleaning 47006 clauses out of 94020 with flag 3811589/1166112
331.75/329.95	c cleaning 47997 clauses out of 96013 with flag 3987098/1215111
346.22/344.41	c cleaning 49001 clauses out of 98017 with flag 4161506/1265112
360.54/358.85	c cleaning 50000 clauses out of 100015 with flag 4335341/1316111
375.21/373.55	c cleaning 51005 clauses out of 102015 with flag 4514818/1368111
390.03/388.49	c cleaning 51998 clauses out of 104010 with flag 4693563/1421111
404.60/403.01	c cleaning 53004 clauses out of 106015 with flag 4875463/1475114
419.62/418.12	c cleaning 53992 clauses out of 108008 with flag 5054311/1530111
434.49/433.01	c cleaning 54996 clauses out of 110016 with flag 5238253/1586111
449.68/448.35	c cleaning 56008 clauses out of 112021 with flag 5419033/1643112
465.05/463.75	c cleaning 56995 clauses out of 114013 with flag 5605987/1701112
480.25/479.00	c cleaning 58005 clauses out of 116017 with flag 5796768/1760111
495.70/494.59	c cleaning 58998 clauses out of 118012 with flag 5991434/1820111
512.86/511.80	c cleaning 60000 clauses out of 120016 with flag 6193480/1881113
529.72/528.75	c cleaning 61002 clauses out of 122014 with flag 6399115/1943111
547.37/546.51	c cleaning 61999 clauses out of 124013 with flag 6617746/2006112
565.43/564.63	c cleaning 62991 clauses out of 126014 with flag 6839519/2070112
583.98/583.33	c cleaning 64001 clauses out of 128023 with flag 7063439/2135112
602.61/602.11	c cleaning 65001 clauses out of 130021 with flag 7294504/2201111
621.80/621.38	c cleaning 66007 clauses out of 132020 with flag 7529322/2268111
641.80/641.52	c cleaning 67006 clauses out of 134014 with flag 7755926/2336112
660.70/660.55	c cleaning 68004 clauses out of 136007 with flag 7995471/2405111
679.93/679.71	c cleaning 68999 clauses out of 138003 with flag 8241847/2475111
699.59/699.50	c cleaning 69994 clauses out of 140006 with flag 8500209/2546113
719.50/859.63	c cleaning 71005 clauses out of 142011 with flag 8755734/2618112
739.53/879.63	c cleaning 71993 clauses out of 144005 with flag 9007108/2691111
759.97/900.13	c cleaning 72996 clauses out of 146013 with flag 9260263/2765112
781.06/921.44	c cleaning 74004 clauses out of 148016 with flag 9524997/2840111
803.07/943.73	c cleaning 75001 clauses out of 150012 with flag 9797566/2916111
824.48/965.15	c cleaning 76002 clauses out of 152012 with flag 10073114/2993112
846.19/986.86	c cleaning 76999 clauses out of 154009 with flag 10354508/3071111
868.40/1009.48	c cleaning 78003 clauses out of 156011 with flag 10641202/3150112
891.79/1032.82	c cleaning 78990 clauses out of 158008 with flag 10944217/3230112
915.70/1056.73	c cleaning 79999 clauses out of 160018 with flag 11246764/3311112
940.79/1081.82	c cleaning 81009 clauses out of 162019 with flag 11540287/3393112
964.14/1105.46	c cleaning 81995 clauses out of 164009 with flag 11847420/3476111
989.01/1130.54	c cleaning 83003 clauses out of 166014 with flag 12164683/3560111
1014.11/1155.81	c cleaning 83994 clauses out of 168011 with flag 12473596/3645111
1039.04/1180.83	c cleaning 84994 clauses out of 170017 with flag 12780679/3731111
1065.37/1207.96	c cleaning 86005 clauses out of 172023 with flag 13105722/3818111
1092.58/1238.51	c cleaning 87005 clauses out of 174019 with flag 13427629/3906112
1119.76/1266.75	c cleaning 88005 clauses out of 176013 with flag 13752365/3995111
1148.06/1295.12	c cleaning 89003 clauses out of 178008 with flag 14081506/4085111
1176.70/1323.97	c cleaning 89996 clauses out of 180005 with flag 14408953/4176111
1206.20/1353.58	c cleaning 91003 clauses out of 182009 with flag 14744921/4268111
1235.28/1382.70	c cleaning 92002 clauses out of 184006 with flag 15102057/4361111
1263.68/1411.11	c cleaning 92999 clauses out of 186005 with flag 15442416/4455112
1290.65/1438.38	c cleaning 93997 clauses out of 188005 with flag 15801165/4550111
1318.59/1466.44	c cleaning 94987 clauses out of 190008 with flag 16156982/4646111
1346.64/1494.69	c cleaning 96007 clauses out of 192021 with flag 16521639/4743111
1375.21/1523.36	c cleaning 97005 clauses out of 194015 with flag 16883393/4841112
1403.60/1551.84	c cleaning 97999 clauses out of 196009 with flag 17252594/4940111
1433.31/1581.65	c cleaning 98998 clauses out of 198011 with flag 17618406/5040112
1464.53/1612.92	c cleaning 99997 clauses out of 200012 with flag 17985254/5141111
1496.45/1644.93	c cleaning 100999 clauses out of 202016 with flag 18378803/5243112
1527.13/1675.70	c cleaning 102003 clauses out of 204017 with flag 18770946/5346112
1557.00/1705.84	c cleaning 103001 clauses out of 206013 with flag 19169125/5450111
1587.74/1736.72	c cleaning 103994 clauses out of 208012 with flag 19567218/5555111
1618.86/1768.01	c cleaning 104995 clauses out of 210018 with flag 19971782/5661111
1651.00/1800.34	c cleaning 105995 clauses out of 212023 with flag 20374688/5768111
1684.21/1833.55	c cleaning 107009 clauses out of 214028 with flag 20788162/5876111
1715.65/1864.90	c cleaning 107997 clauses out of 216019 with flag 21191897/5985111
1748.57/1897.87	c cleaning 109002 clauses out of 218022 with flag 21605328/6095111
1781.51/1930.98	c cleaning 110004 clauses out of 220020 with flag 22016358/6206111
1816.06/1965.66	c cleaning 111000 clauses out of 222016 with flag 22432493/6318111
1850.18/2000.19	c cleaning 112003 clauses out of 224016 with flag 22851319/6431111
1885.09/2035.26	c cleaning 112997 clauses out of 226014 with flag 23286103/6545112
1919.75/2069.92	c cleaning 113996 clauses out of 228016 with flag 23715896/6660111
1955.59/2105.88	c cleaning 115008 clauses out of 230021 with flag 24131361/6776112
1992.53/2142.80	c cleaning 115997 clauses out of 232012 with flag 24563903/6893111
2029.82/2180.46	c cleaning 117007 clauses out of 234016 with flag 25012494/7011112
2068.71/2219.47	c cleaning 117998 clauses out of 236008 with flag 25464336/7130111
2108.33/2259.16	c cleaning 118996 clauses out of 238011 with flag 25924231/7250112
2149.77/2300.56	c cleaning 120003 clauses out of 240014 with flag 26383849/7371111
2189.25/2340.47	c cleaning 120993 clauses out of 242011 with flag 26880920/7493111
2227.06/2378.83	c cleaning 121989 clauses out of 244018 with flag 27389100/7616111
2264.81/2416.68	c cleaning 123008 clauses out of 246029 with flag 27892181/7740111
2304.76/2456.68	c cleaning 123985 clauses out of 248022 with flag 28395849/7865112
2344.84/2496.85	c cleaning 125012 clauses out of 250037 with flag 28899778/7991112
2385.16/2537.23	c cleaning 125997 clauses out of 252024 with flag 29401451/8118111
2425.25/2577.42	c cleaning 127009 clauses out of 254027 with flag 29915254/8246111
2464.28/2616.54	c cleaning 127997 clauses out of 256019 with flag 30412168/8375112
2505.02/2657.34	c cleaning 129005 clauses out of 258023 with flag 30924468/8505113
2546.36/2698.73	c cleaning 130006 clauses out of 260017 with flag 31432859/8636112
2588.80/2741.89	c cleaning 130998 clauses out of 262011 with flag 31942965/8768112
2632.59/2785.76	c cleaning 132001 clauses out of 264016 with flag 32467074/8901115
2676.70/2829.95	c cleaning 132997 clauses out of 266011 with flag 32980649/9035111
2720.54/2873.82	c cleaning 133982 clauses out of 268014 with flag 33504673/9170111
2764.33/2917.73	c cleaning 135000 clauses out of 270032 with flag 34020860/9306111
2807.50/2961.36	c cleaning 135999 clauses out of 272032 with flag 34544389/9443111
2849.71/3003.50	c cleaning 137008 clauses out of 274033 with flag 35073341/9581111
2891.86/3046.29	c cleaning 138005 clauses out of 276026 with flag 35613124/9720112
2935.29/3089.75	c cleaning 139004 clauses out of 278021 with flag 36161212/9860112
2978.34/3133.03	c cleaning 140006 clauses out of 280016 with flag 36695424/10001111
3021.04/3175.87	c cleaning 141000 clauses out of 282010 with flag 37217346/10143111
3066.26/3222.04	c cleaning 142003 clauses out of 284010 with flag 37764814/10286111
3112.06/3268.05	c cleaning 142995 clauses out of 286007 with flag 38304119/10430111
3159.53/3315.50	c cleaning 143997 clauses out of 288012 with flag 38873589/10575111
3207.21/3363.70	c cleaning 145003 clauses out of 290016 with flag 39453319/10721112
3254.31/3411.00	c cleaning 145997 clauses out of 292015 with flag 40025936/10868114
3300.80/3458.91	c cleaning 146999 clauses out of 294017 with flag 40611755/11016113
3348.76/3506.90	c cleaning 147997 clauses out of 296017 with flag 41196826/11165112
3396.67/3555.11	c cleaning 148996 clauses out of 298020 with flag 41781648/11315112
3446.03/3604.66	c cleaning 150003 clauses out of 300023 with flag 42371259/11466111
3495.32/3654.08	c cleaning 151004 clauses out of 302020 with flag 43009571/11618111
3529.89/3700.01	c starts		: 5
3529.89/3700.03	c conflicts		: 11733226
3529.89/3700.03	c decisions		: 28340878
3529.89/3700.03	c propagations		: 1628784504
3529.89/3700.03	c inspects		: 4994978243
3529.89/3700.03	c shortcuts		: 0
3529.89/3700.03	c learnt literals	: 0
3529.89/3700.03	c learnt binary clauses	: 0
3529.89/3700.03	c learnt ternary clauses	: 0
3529.89/3700.03	c learnt constraints	: 11733226
3529.89/3700.03	c ignored constraints	: 0
3529.89/3700.03	c root simplifications	: 0
3529.89/3700.03	c removed literals (reason simplification)	: 1686869120
3529.89/3700.03	c reason swapping (by a shorter reason)	: 0
3529.89/3700.03	c Calls to reduceDB	: 148
3529.89/3700.03	c Number of update (reduction) of LBD	: 2882233
3529.89/3700.04	c Imported unit clauses	: 0
3529.89/3700.04	c No decision after first conflict	: false
3529.89/3700.04	c number of reductions to clauses (during analyze)	: 0
3529.89/3700.04	c number of learned constraints concerned by reduction	: 0
3529.89/3700.04	c number of learning phase by resolution	: 0
3529.89/3700.04	c number of learning phase by cutting planes	: 0
3529.89/3700.04	c number of rounding to 1 operations	: 0
3529.89/3700.04	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3529.89/3700.04	c number of reductions of the coefficients by power 2 	: 0
3529.89/3700.04	c number of right shift for reduction by power 2 	: 0
3529.89/3700.04	c number of reductions of the coefficients by GCD over coefficients 	: 0
3529.89/3700.04	c number of ending skipping 	: 0
3529.89/3700.04	c number of internal skipping 	: 0
3529.89/3700.04	c number of derivation steps 	: 0
3529.89/3700.04	c number of skipped derivation steps 	: 0
3529.89/3700.04	c number of remaining unassigned 	: 0
3529.89/3700.04	c number of remaining assigned 	: 0
3529.89/3700.04	c number of falsified literals weakened from reason	: 0
3529.89/3700.04	c number of falsified literals weakened from conflict	: 0
3529.89/3700.04	c time for arithmetic operations	: 0
3529.89/3700.04	c minimum degree of deleted constraints	: null
3529.89/3700.04	c maximum degree of deleted constraints	: null
3529.89/3700.04	c number of deleted constraints	: 0
3529.89/3700.04	c speed (assignments/second)	: 440415.9287800001
3529.89/3700.04	c non guided choices	: 0
3529.89/3700.10	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 266131
3529.89/3700.11	s SATISFIABLE
3529.89/3700.11	c Found 1 solution(s)
3530.09/3700.12	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 
3530.09/3700.13	c objective function=907
3530.09/3700.13	c Total wall clock time (in seconds): 3699.978

OK	907

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=52582, runsolver pid=52570

[startup+0.100954 s]*
/proc/loadavg: 1.94 3.56 3.94 9/340 52655
/proc/meminfo: memFree=129964276/131250000 swapFree=33009904/33010684
[pid=52582] ppid=52570 vsize=18930384 memory=52040 CPUtime=0.1 cores=5,7
/proc/52582/stat : 52582 (java) S 52570 52582 52518 0 -1 4194304 6155 0 0 0 8 2 0 0 20 0 18 0 51827803 19384713216 13010 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
/proc/52582/statm: 4732596 13010 5346 1 0 547262 0
[pid=52582/tid=52602] ppid=52570 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=5,7
/proc/52582/task/52602/stat : 52602 (java) R 52570 52582 52518 0 -1 4194368 4982 0 0 0 5 1 0 0 20 0 18 0 51827805 19384713216 13010 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52638] ppid=52570 vsize=18930384 memory=16898 CPUtime=0 cores=5,7
/proc/52582/task/52638/stat : 52638 (Finalizer) S 52570 52582 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51827807 19384713216 13010 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52646] ppid=52570 vsize=18930384 memory=59585004307431 CPUtime=0 cores=5,7
/proc/52582/task/52646/stat : 52646 (Common-Cleaner) S 52570 52582 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 51827807 19384713216 13010 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52040 KiB

[startup+0.205955 s]*
/proc/loadavg: 1.94 3.56 3.94 4/340 52655
/proc/meminfo: memFree=129947148/131250000 swapFree=33009904/33010684
[pid=52582] ppid=52570 vsize=18930384 memory=58972 CPUtime=0.18 cores=5,7
/proc/52582/stat : 52582 (java) S 52570 52582 52518 0 -1 4194304 6827 0 0 0 16 2 0 0 20 0 18 0 51827803 19384713216 14743 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
/proc/52582/statm: 4732596 14743 5410 1 0 547811 0
[pid=52582/tid=52602] ppid=52570 vsize=18930384 memory=4026663196 CPUtime=0.1 cores=5,7
/proc/52582/task/52602/stat : 52602 (java) D 52570 52582 52518 0 -1 4456512 5241 0 0 0 9 1 0 0 20 0 18 0 51827805 19384713216 14743 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52638] ppid=52570 vsize=18930384 memory=16898 CPUtime=0 cores=5,7
/proc/52582/task/52638/stat : 52638 (Finalizer) S 52570 52582 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51827807 19384713216 14743 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52646] ppid=52570 vsize=18930384 memory=59585004307431 CPUtime=0 cores=5,7
/proc/52582/task/52646/stat : 52646 (Common-Cleaner) S 52570 52582 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 51827807 19384713216 14743 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58972 KiB

[startup+0.305946 s]*
/proc/loadavg: 1.94 3.56 3.94 8/340 52655
/proc/meminfo: memFree=129922132/131250000 swapFree=33009904/33010684
[pid=52582] ppid=52570 vsize=18930384 memory=65580 CPUtime=0.25 cores=5,7
/proc/52582/stat : 52582 (java) S 52570 52582 52518 0 -1 4194304 6939 0 0 0 23 2 0 0 20 0 18 0 51827803 19384713216 16395 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
/proc/52582/statm: 4732596 16395 5410 1 0 547878 0
[pid=52582/tid=52602] ppid=52570 vsize=18930384 memory=-6000919485557860970 CPUtime=0.13 cores=5,7
/proc/52582/task/52602/stat : 52602 (java) R 52570 52582 52518 0 -1 4194368 5264 0 0 0 12 1 0 0 20 0 18 0 51827805 19384713216 16395 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52638] ppid=52570 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/52582/task/52638/stat : 52638 (Finalizer) S 52570 52582 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51827807 19384713216 16395 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52646] ppid=52570 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/52582/task/52646/stat : 52646 (Common-Cleaner) S 52570 52582 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 51827807 19384713216 16395 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65580 KiB

[startup+0.700228 s]
/proc/loadavg: 1.94 3.56 3.94 9/341 52656
/proc/meminfo: memFree=129634220/131250000 swapFree=33009904/33010684
[pid=52582] ppid=52570 vsize=18996948 memory=168004 CPUtime=1.01 cores=5,7
/proc/52582/stat : 52582 (java) S 52570 52582 52518 0 -1 4194304 10664 0 0 0 96 5 0 0 20 0 19 0 51827803 19452874752 42001 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
/proc/52582/statm: 4749237 42001 5442 1 0 550479 0
[pid=52582/tid=52602] ppid=52570 vsize=18996948 memory=18432 CPUtime=0.48 cores=5,7
/proc/52582/task/52602/stat : 52602 (java) R 52570 52582 52518 0 -1 4194368 5331 0 0 0 45 3 0 0 20 0 19 0 51827805 19452874752 42001 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52638] ppid=52570 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/52582/task/52638/stat : 52638 (Finalizer) S 52570 52582 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51827807 19452874752 42001 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52646] ppid=52570 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/52582/task/52646/stat : 52646 (Common-Cleaner) S 52570 52582 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 51827807 19452874752 42001 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 168004 KiB

[startup+1.50022 s]
/proc/loadavg: 2.59 3.67 3.97 8/344 52659
/proc/meminfo: memFree=129469884/131250000 swapFree=33009904/33010684
[pid=52582] ppid=52570 vsize=18996948 memory=398964 CPUtime=2.14 cores=5,7
/proc/52582/stat : 52582 (java) S 52570 52582 52518 0 -1 4194304 13276 0 0 0 202 12 0 0 20 0 19 0 51827803 19452874752 99741 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
/proc/52582/statm: 4749237 99741 5442 1 0 1077892 0
[pid=52582/tid=52602] ppid=52570 vsize=18996948 memory=3328 CPUtime=1.17 cores=5,7
/proc/52582/task/52602/stat : 52602 (java) R 52570 52582 52518 0 -1 4194368 5431 0 0 0 110 7 0 0 20 0 19 0 51827805 19452874752 99741 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52638] ppid=52570 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/52582/task/52638/stat : 52638 (Finalizer) S 52570 52582 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51827807 19452874752 99741 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52646] ppid=52570 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/52582/task/52646/stat : 52646 (Common-Cleaner) S 52570 52582 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 51827807 19452874752 99741 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
Current children cumulated CPU time: 2.14 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 398964 KiB

[startup+3.10594 s]
/proc/loadavg: 2.59 3.67 3.97 9/348 52663
/proc/meminfo: memFree=127833644/131250000 swapFree=33009904/33010684
[pid=52582] ppid=52570 vsize=19063512 memory=522208 CPUtime=5.13 cores=5,7
/proc/52582/stat : 52582 (java) S 52570 52582 52518 0 -1 4194304 15074 0 0 0 496 17 0 0 20 0 20 0 51827803 19521036288 130552 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
/proc/52582/statm: 4765878 130552 5506 1 0 1079428 0
[pid=52582/tid=52602] ppid=52570 vsize=19063512 memory=10752 CPUtime=2.61 cores=5,7
/proc/52582/task/52602/stat : 52602 (java) R 52570 52582 52518 0 -1 4194368 5665 0 0 0 251 10 0 0 20 0 20 0 51827805 19521036288 130552 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52638] ppid=52570 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/52582/task/52638/stat : 52638 (Finalizer) S 52570 52582 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 130552 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52646] ppid=52570 vsize=19063512 memory=5504 CPUtime=0 cores=5,7
/proc/52582/task/52646/stat : 52646 (Common-Cleaner) S 52570 52582 52518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 130552 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52661] ppid=52570 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/52582/task/52661/stat : 52661 (Timer-0) S 52570 52582 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827979 19521036288 130552 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
Current children cumulated CPU time: 5.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 522208 KiB

[startup+6.30023 s]
/proc/loadavg: 2.70 3.67 3.97 5/348 52663
/proc/meminfo: memFree=126252420/131250000 swapFree=33009904/33010684
[pid=52582] ppid=52570 vsize=19063512 memory=918580 CPUtime=9.31 cores=5,7
/proc/52582/stat : 52582 (java) S 52570 52582 52518 0 -1 4194304 16945 0 0 0 905 26 0 0 20 0 20 0 51827803 19521036288 229645 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
/proc/52582/statm: 4765878 229645 5506 1 0 1681075 0
[pid=52582/tid=52602] ppid=52570 vsize=19063512 memory=0 CPUtime=5.72 cores=5,7
/proc/52582/task/52602/stat : 52602 (java) R 52570 52582 52518 0 -1 4194368 5892 0 0 0 555 17 0 0 20 0 20 0 51827805 19521036288 229645 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52638] ppid=52570 vsize=19063512 memory=-7465405268641471099 CPUtime=0 cores=5,7
/proc/52582/task/52638/stat : 52638 (Finalizer) S 52570 52582 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 229645 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52646] ppid=52570 vsize=19063512 memory=-6000919507032697450 CPUtime=0 cores=5,7
/proc/52582/task/52646/stat : 52646 (Common-Cleaner) S 52570 52582 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 229645 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52661] ppid=52570 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/52582/task/52661/stat : 52661 (Timer-0) S 52570 52582 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827979 19521036288 229645 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
Current children cumulated CPU time: 9.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 918580 KiB

[startup+12.7002 s]
/proc/loadavg: 2.88 3.70 3.98 5/348 52663
/proc/meminfo: memFree=125106940/131250000 swapFree=33009904/33010684
[pid=52582] ppid=52570 vsize=19063512 memory=1144116 CPUtime=15.88 cores=5,7
/proc/52582/stat : 52582 (java) S 52570 52582 52518 0 -1 4194304 23363 0 0 0 1556 32 0 0 20 0 20 0 51827803 19521036288 286029 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
/proc/52582/statm: 4765878 286029 5538 1 0 1681077 0
[pid=52582/tid=52602] ppid=52570 vsize=19063512 memory=10752 CPUtime=12.06 cores=5,7
/proc/52582/task/52602/stat : 52602 (java) R 52570 52582 52518 0 -1 4194368 6990 0 0 0 1184 22 0 0 20 0 20 0 51827805 19521036288 286029 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52638] ppid=52570 vsize=19063512 memory=1137972 CPUtime=0 cores=5,7
/proc/52582/task/52638/stat : 52638 (Finalizer) S 52570 52582 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 286029 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52646] ppid=52570 vsize=19063512 memory=-6000919485557860970 CPUtime=0 cores=5,7
/proc/52582/task/52646/stat : 52646 (Common-Cleaner) S 52570 52582 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 286029 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52661] ppid=52570 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/52582/task/52661/stat : 52661 (Timer-0) S 52570 52582 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827979 19521036288 286029 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
Current children cumulated CPU time: 15.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1144116 KiB

[startup+25.5002 s]
/proc/loadavg: 3.06 3.71 3.98 5/347 52663
/proc/meminfo: memFree=121558192/131250000 swapFree=33009904/33010684
[pid=52582] ppid=52570 vsize=19063512 memory=2477484 CPUtime=28.7 cores=5,7
/proc/52582/stat : 52582 (java) S 52570 52582 52518 0 -1 4194304 28313 0 0 0 2807 63 0 0 20 0 20 0 51827803 19521036288 619371 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
/proc/52582/statm: 4765878 619371 5538 1 0 1681083 0
[pid=52582/tid=52602] ppid=52570 vsize=19063512 memory=1137972 CPUtime=24.79 cores=5,7
/proc/52582/task/52602/stat : 52602 (java) R 52570 52582 52518 0 -1 4194368 8954 0 0 0 2427 52 0 0 20 0 20 0 51827805 19521036288 619371 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52638] ppid=52570 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/52582/task/52638/stat : 52638 (Finalizer) S 52570 52582 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 619371 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52646] ppid=52570 vsize=19063512 memory=1932596 CPUtime=0 cores=5,7
/proc/52582/task/52646/stat : 52646 (Common-Cleaner) S 52570 52582 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 619371 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52661] ppid=52570 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/52582/task/52661/stat : 52661 (Timer-0) S 52570 52582 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827979 19521036288 619371 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
Current children cumulated CPU time: 28.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2477484 KiB

[startup+51.1058 s]
/proc/loadavg: 3.49 3.75 3.99 5/347 52664
/proc/meminfo: memFree=116994348/131250000 swapFree=33009904/33010684
[pid=52582] ppid=52570 vsize=19063512 memory=3366316 CPUtime=54.2 cores=5,7
/proc/52582/stat : 52582 (java) S 52570 52582 52518 0 -1 4194304 34361 0 0 0 5331 89 0 0 20 0 20 0 51827803 19521036288 841579 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
/proc/52582/statm: 4765878 841579 5538 1 0 1681083 0
[pid=52582/tid=52602] ppid=52570 vsize=19063512 memory=16436 CPUtime=50.22 cores=5,7
/proc/52582/task/52602/stat : 52602 (java) R 52570 52582 52518 0 -1 4194368 11720 0 0 0 4945 77 0 0 20 0 20 0 51827805 19521036288 841579 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52638] ppid=52570 vsize=19063512 memory=2979244 CPUtime=0 cores=5,7
/proc/52582/task/52638/stat : 52638 (Finalizer) S 52570 52582 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 841579 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52646] ppid=52570 vsize=19063512 memory=2602412 CPUtime=0 cores=5,7
/proc/52582/task/52646/stat : 52646 (Common-Cleaner) S 52570 52582 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 841579 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52661] ppid=52570 vsize=19063512 memory=2477484 CPUtime=0 cores=5,7
/proc/52582/task/52661/stat : 52661 (Timer-0) S 52570 52582 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827979 19521036288 841579 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0

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

/proc/52582/task/52638/stat : 52638 (Finalizer) S 52570 52582 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 1588831 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52646] ppid=52570 vsize=19063512 memory=6355324 CPUtime=0 cores=5,7
/proc/52582/task/52646/stat : 52646 (Common-Cleaner) S 52570 52582 52518 0 -1 4194368 2466 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 1588831 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52661] ppid=52570 vsize=19063512 memory=6355324 CPUtime=0 cores=5,7
/proc/52582/task/52661/stat : 52661 (Timer-0) S 52570 52582 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827979 19521036288 1588831 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
Current children cumulated CPU time: 3126.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6355324 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/347 52874
/proc/meminfo: memFree=68078920/131250000 swapFree=33009904/33010684
[pid=52582] ppid=52570 vsize=19063512 memory=6355324 CPUtime=3186.18 cores=5,7
/proc/52582/stat : 52582 (java) S 52570 52582 52518 0 -1 4194304 196860 0 0 0 317576 1042 0 0 20 0 20 0 51827803 19521036288 1588831 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
/proc/52582/statm: 4765878 1588831 5538 1 0 1681112 0
[pid=52582/tid=52602] ppid=52570 vsize=19063512 memory=6355324 CPUtime=3164.65 cores=5,7
/proc/52582/task/52602/stat : 52602 (java) R 52570 52582 52518 0 -1 4194368 111968 0 0 0 315532 933 0 0 20 0 20 0 51827805 19521036288 1588831 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52638] ppid=52570 vsize=19063512 memory=6355324 CPUtime=0 cores=5,7
/proc/52582/task/52638/stat : 52638 (Finalizer) S 52570 52582 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 1588831 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52646] ppid=52570 vsize=19063512 memory=6355324 CPUtime=0 cores=5,7
/proc/52582/task/52646/stat : 52646 (Common-Cleaner) S 52570 52582 52518 0 -1 4194368 2587 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 1588831 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52661] ppid=52570 vsize=19063512 memory=6355324 CPUtime=0 cores=5,7
/proc/52582/task/52661/stat : 52661 (Timer-0) S 52570 52582 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827979 19521036288 1588831 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
Current children cumulated CPU time: 3186.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6355324 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.14 4.13 5/348 52878
/proc/meminfo: memFree=68159016/131250000 swapFree=33009904/33010684
[pid=52582] ppid=52570 vsize=19063512 memory=6355324 CPUtime=3245.72 cores=5,7
/proc/52582/stat : 52582 (java) S 52570 52582 52518 0 -1 4194304 199664 0 0 0 323513 1059 0 0 20 0 20 0 51827803 19521036288 1588831 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
/proc/52582/statm: 4765878 1588831 5538 1 0 1681112 0
[pid=52582/tid=52602] ppid=52570 vsize=19063512 memory=6355324 CPUtime=3223.74 cores=5,7
/proc/52582/task/52602/stat : 52602 (java) R 52570 52582 52518 0 -1 4194368 114494 0 0 0 321425 949 0 0 20 0 20 0 51827805 19521036288 1588831 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52638] ppid=52570 vsize=19063512 memory=6355324 CPUtime=0 cores=5,7
/proc/52582/task/52638/stat : 52638 (Finalizer) S 52570 52582 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 1588831 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52646] ppid=52570 vsize=19063512 memory=6355324 CPUtime=0 cores=5,7
/proc/52582/task/52646/stat : 52646 (Common-Cleaner) S 52570 52582 52518 0 -1 4194368 2587 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 1588831 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52661] ppid=52570 vsize=19063512 memory=6355324 CPUtime=0 cores=5,7
/proc/52582/task/52661/stat : 52661 (Timer-0) S 52570 52582 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827979 19521036288 1588831 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
Current children cumulated CPU time: 3245.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6355324 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.12 4/348 52880
/proc/meminfo: memFree=67716596/131250000 swapFree=33009904/33010684
[pid=52582] ppid=52570 vsize=19063512 memory=6355324 CPUtime=3304.19 cores=5,7
/proc/52582/stat : 52582 (java) S 52570 52582 52518 0 -1 4194304 203858 0 0 0 329344 1075 0 0 20 0 20 0 51827803 19521036288 1588831 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
/proc/52582/statm: 4765878 1588831 5538 1 0 1681112 0
[pid=52582/tid=52602] ppid=52570 vsize=19063512 memory=6355324 CPUtime=3281.77 cores=5,7
/proc/52582/task/52602/stat : 52602 (java) R 52570 52582 52518 0 -1 4194368 117124 0 0 0 327213 964 0 0 20 0 20 0 51827805 19521036288 1588831 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52638] ppid=52570 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/52582/task/52638/stat : 52638 (Finalizer) S 52570 52582 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 1588831 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52646] ppid=52570 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/52582/task/52646/stat : 52646 (Common-Cleaner) S 52570 52582 52518 0 -1 4194368 2615 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 1588831 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52661] ppid=52570 vsize=19063512 memory=6355324 CPUtime=0 cores=5,7
/proc/52582/task/52661/stat : 52661 (Timer-0) S 52570 52582 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827979 19521036288 1588831 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
Current children cumulated CPU time: 3304.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6355324 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.15 4.13 5/348 52882
/proc/meminfo: memFree=67181364/131250000 swapFree=33009904/33010684
[pid=52582] ppid=52570 vsize=19063512 memory=6412844 CPUtime=3364.19 cores=5,7
/proc/52582/stat : 52582 (java) S 52570 52582 52518 0 -1 4194304 206821 0 0 0 335324 1095 0 0 20 0 20 0 51827803 19521036288 1603211 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
/proc/52582/statm: 4765878 1603211 5538 1 0 1681112 0
[pid=52582/tid=52602] ppid=52570 vsize=19063512 memory=6355324 CPUtime=3341.39 cores=5,7
/proc/52582/task/52602/stat : 52602 (java) R 52570 52582 52518 0 -1 4194368 118684 0 0 0 333157 982 0 0 20 0 20 0 51827805 19521036288 1603211 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52638] ppid=52570 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/52582/task/52638/stat : 52638 (Finalizer) S 52570 52582 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 1603211 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52646] ppid=52570 vsize=19063512 memory=-6000919507032697450 CPUtime=0 cores=5,7
/proc/52582/task/52646/stat : 52646 (Common-Cleaner) S 52570 52582 52518 0 -1 4194368 2696 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 1603211 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52661] ppid=52570 vsize=19063512 memory=6412844 CPUtime=0 cores=5,7
/proc/52582/task/52661/stat : 52661 (Timer-0) S 52570 52582 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827979 19521036288 1603211 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
Current children cumulated CPU time: 3364.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6412844 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.15 4.13 5/348 52885
/proc/meminfo: memFree=66438016/131250000 swapFree=33009904/33010684
[pid=52582] ppid=52570 vsize=19063512 memory=6412844 CPUtime=3423.85 cores=5,7
/proc/52582/stat : 52582 (java) S 52570 52582 52518 0 -1 4194304 209974 0 0 0 341273 1112 0 0 20 0 20 0 51827803 19521036288 1603211 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
/proc/52582/statm: 4765878 1603211 5538 1 0 1681112 0
[pid=52582/tid=52602] ppid=52570 vsize=19063512 memory=6412844 CPUtime=3400.92 cores=5,7
/proc/52582/task/52602/stat : 52602 (java) R 52570 52582 52518 0 -1 4194368 121623 0 0 0 339094 998 0 0 20 0 20 0 51827805 19521036288 1603211 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52638] ppid=52570 vsize=19063512 memory=16436 CPUtime=0 cores=5,7
/proc/52582/task/52638/stat : 52638 (Finalizer) S 52570 52582 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 1603211 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52646] ppid=52570 vsize=19063512 memory=6412844 CPUtime=0 cores=5,7
/proc/52582/task/52646/stat : 52646 (Common-Cleaner) S 52570 52582 52518 0 -1 4194368 2697 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 1603211 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52661] ppid=52570 vsize=19063512 memory=16436 CPUtime=0 cores=5,7
/proc/52582/task/52661/stat : 52661 (Timer-0) S 52570 52582 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827979 19521036288 1603211 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
Current children cumulated CPU time: 3423.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6412844 KiB

[startup+3642.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/347 52887
/proc/meminfo: memFree=65924060/131250000 swapFree=33009904/33010684
[pid=52582] ppid=52570 vsize=19063512 memory=6435404 CPUtime=3483.65 cores=5,7
/proc/52582/stat : 52582 (java) S 52570 52582 52518 0 -1 4194304 214622 0 0 0 347237 1128 0 0 20 0 20 0 51827803 19521036288 1608851 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
/proc/52582/statm: 4765878 1608851 5538 1 0 1681112 0
[pid=52582/tid=52602] ppid=52570 vsize=19063512 memory=6355324 CPUtime=3460.25 cores=5,7
/proc/52582/task/52602/stat : 52602 (java) R 52570 52582 52518 0 -1 4194368 124637 0 0 0 345011 1014 0 0 20 0 20 0 51827805 19521036288 1608851 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52638] ppid=52570 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/52582/task/52638/stat : 52638 (Finalizer) S 52570 52582 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 1608851 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52646] ppid=52570 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/52582/task/52646/stat : 52646 (Common-Cleaner) S 52570 52582 52518 0 -1 4194368 2747 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 1608851 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52661] ppid=52570 vsize=19063512 memory=-6000919507032697450 CPUtime=0 cores=5,7
/proc/52582/task/52661/stat : 52661 (Timer-0) S 52570 52582 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827979 19521036288 1608851 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
Current children cumulated CPU time: 3483.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6435404 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 4.48 4.21 4.15 6/345 53090
/proc/meminfo: memFree=108352592/131250000 swapFree=33009904/33010684
[pid=52582] ppid=52570 vsize=19063512 memory=6513252 CPUtime=3529.89 cores=5,7
/proc/52582/stat : 52582 (java) S 52570 52582 52518 0 -1 4194304 216558 0 0 0 351844 1145 0 0 20 0 20 0 51827803 19521036288 1628313 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
/proc/52582/statm: 4765878 1628313 5538 1 0 1681112 0
[pid=52582/tid=52602] ppid=52570 vsize=19063512 memory=-6000919476985031018 CPUtime=3506.25 cores=5,7
/proc/52582/task/52602/stat : 52602 (java) R 52570 52582 52518 0 -1 4194368 125769 0 0 0 349598 1027 0 0 20 0 20 0 51827805 19521036288 1628313 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52638] ppid=52570 vsize=19063512 memory=23248 CPUtime=0 cores=5,7
/proc/52582/task/52638/stat : 52638 (Finalizer) S 52570 52582 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 1628313 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52646] ppid=52570 vsize=19063512 memory=7404 CPUtime=0 cores=5,7
/proc/52582/task/52646/stat : 52646 (Common-Cleaner) S 52570 52582 52518 0 -1 4194368 2802 0 0 0 0 0 0 0 20 0 20 0 51827807 19521036288 1628313 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
[pid=52582/tid=52661] ppid=52570 vsize=19063512 memory=2084 CPUtime=0 cores=5,7
/proc/52582/task/52661/stat : 52661 (Timer-0) S 52570 52582 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827979 19521036288 1628313 18446744073709551615 94717156585472 94717156589168 140727298121008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94717156596984 94717156597776 94717172621312 140727298128176 140727298128358 140727298128358 140727298133960 0
Current children cumulated CPU time: 3529.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6513252 KiB

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

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

# cumulated CPU time of all completed processes:  user=3518.71 s, system=11.4841 s

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

[startup+3700.2 s]*
/proc/loadavg: 4.48 4.21 4.15 5/327 53093
/proc/meminfo: memFree=114822148/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): 3700.25
CPU time (s): 3530.19
CPU user time (s): 3518.71
CPU system time (s): 11.4841
CPU usage (%): 95.4042
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6514276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3518.71
system time used= 11.4841
maximum resident set size= 6514404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219690
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22804072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116781
involuntary context switches= 9162


# summary of solver processes directly reported to runsolver:
#   pid: 52582
#   total CPU time (s): 3530.19
#   total CPU user time (s): 3518.71
#   total CPU system time (s): 11.4841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.86466 second user time and 17.6839 second system time

The end

Begin job on nodeC033 at 2025-07-01 11:18:04
IDJOB=4489561
IDBENCH=147557
IDSOLVER=3364
FILE ID=nodeC033/4489561-1751361484
RUNJOBID= nodeC033-1751361483-52531
SLURM_JOB_ID= 9598171
Free space on /tmp= 432412 MiB

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

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

MD5SUM BENCH= fd0e2798224bd891f728fecfed3c6d1b
RANDOM SEED=975061992

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		: 1453.588
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.401
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		: 1543.052
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		: 3600.107
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		: 1459.242
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		: 3598.016
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		: 1666.308
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		: 3600.038
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:        130067316 kB
MemAvailable:   129745584 kB
Buffers:            2128 kB
Cached:           476476 kB
SwapCached:           68 kB
Active:           302836 kB
Inactive:         237952 kB
Active(anon):      55792 kB
Inactive(anon):    24496 kB
Active(file):     247044 kB
Inactive(file):   213456 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             69796 kB
Writeback:             0 kB
AnonPages:         65332 kB
Mapped:           103916 kB
Shmem:             18028 kB
KReclaimable:     114016 kB
Slab:             204688 kB
SReclaimable:     114016 kB
SUnreclaim:        90672 kB
KernelStack:        4224 kB
PageTables:         2924 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     330384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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= 432408 MiB
End job on nodeC033 at 2025-07-01 12:19:44