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

OK	844

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (62733 MiB free)
  memory of node 1: 64507 MiB (62919 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489836-1751343659/watcher-4489836-1751343659 -o /tmp/evaluation-result-4489836-1751343659/solver-4489836-1751343659 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751340116-45950 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4489836-1751343659.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100071 s]*
/proc/loadavg: 4.48 4.35 4.32 7/323 46525
/proc/meminfo: memFree=128652472/131382112 swapFree=33010684/33010684
[pid=46507] ppid=46504 vsize=18930384 memory=48304 CPUtime=0.12 cores=0,2
/proc/46507/stat : 46507 (java) S 46504 46507 45940 0 -1 4194304 5771 0 0 0 9 3 0 0 20 0 18 0 50045607 19384713216 12076 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
/proc/46507/statm: 4732596 12076 5285 1 0 546978 0
[pid=46507/tid=46509] ppid=46504 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/46507/task/46509/stat : 46509 (java) R 46504 46507 45940 0 -1 4194368 4684 0 0 0 6 2 0 0 20 0 18 0 50045609 19384713216 12076 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46518] ppid=46504 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/46507/task/46518/stat : 46518 (Finalizer) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50045613 19384713216 12076 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46525] ppid=46504 vsize=18930384 memory=57394571004297 CPUtime=0 cores=0,2
/proc/46507/task/46525/stat : 46525 (Common-Cleaner) S 46504 46507 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50045614 19384713216 12076 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48304 KiB

[startup+0.215237 s]*
/proc/loadavg: 4.48 4.35 4.32 6/323 46525
/proc/meminfo: memFree=128650708/131382112 swapFree=33010684/33010684
[pid=46507] ppid=46504 vsize=18930384 memory=55420 CPUtime=0.3 cores=0,2
/proc/46507/stat : 46507 (java) S 46504 46507 45940 0 -1 4194304 6503 0 0 0 26 4 0 0 20 0 18 0 50045607 19384713216 13855 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
/proc/46507/statm: 4732596 13855 5349 1 0 547579 0
[pid=46507/tid=46509] ppid=46504 vsize=18930384 memory=4026663196 CPUtime=0.18 cores=0,2
/proc/46507/task/46509/stat : 46509 (java) R 46504 46507 45940 0 -1 4194368 5021 0 0 0 16 2 0 0 20 0 18 0 50045609 19384713216 13855 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46518] ppid=46504 vsize=18930384 memory=1707 CPUtime=0 cores=0,2
/proc/46507/task/46518/stat : 46518 (Finalizer) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50045613 19384713216 13855 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46525] ppid=46504 vsize=18930384 memory=56295059358712 CPUtime=0 cores=0,2
/proc/46507/task/46525/stat : 46525 (Common-Cleaner) S 46504 46507 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50045614 19384713216 13855 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55420 KiB

[startup+0.3115 s]*
/proc/loadavg: 4.48 4.35 4.32 7/323 46525
/proc/meminfo: memFree=128645604/131382112 swapFree=33010684/33010684
[pid=46507] ppid=46504 vsize=18930384 memory=63008 CPUtime=0.46 cores=0,2
/proc/46507/stat : 46507 (java) S 46504 46507 45940 0 -1 4194304 6800 0 0 0 41 5 0 0 20 0 18 0 50045607 19384713216 15752 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
/proc/46507/statm: 4732596 15752 5413 1 0 547775 0
[pid=46507/tid=46509] ppid=46504 vsize=18930384 memory=-6000919489970267755 CPUtime=0.28 cores=0,2
/proc/46507/task/46509/stat : 46509 (java) R 46504 46507 45940 0 -1 4194368 5210 0 0 0 25 3 0 0 20 0 18 0 50045609 19384713216 15752 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46518] ppid=46504 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/46507/task/46518/stat : 46518 (Finalizer) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50045613 19384713216 15752 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46525] ppid=46504 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/46507/task/46525/stat : 46525 (Common-Cleaner) S 46504 46507 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50045614 19384713216 15752 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63008 KiB

[startup+0.700333 s]
/proc/loadavg: 4.48 4.35 4.32 8/323 46525
/proc/meminfo: memFree=128629220/131382112 swapFree=33010684/33010684
[pid=46507] ppid=46504 vsize=18930384 memory=105080 CPUtime=1.18 cores=0,2
/proc/46507/stat : 46507 (java) S 46504 46507 45940 0 -1 4194304 8699 0 0 0 112 6 0 0 20 0 18 0 50045607 19384713216 26270 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
/proc/46507/statm: 4732596 26270 5413 1 0 548970 0
[pid=46507/tid=46509] ppid=46504 vsize=18930384 memory=17664 CPUtime=0.65 cores=0,2
/proc/46507/task/46509/stat : 46509 (java) R 46504 46507 45940 0 -1 4194368 5262 0 0 0 62 3 0 0 20 0 18 0 50045609 19384713216 26270 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46518] ppid=46504 vsize=18930384 memory=10752 CPUtime=0 cores=0,2
/proc/46507/task/46518/stat : 46518 (Finalizer) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50045613 19384713216 26270 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46525] ppid=46504 vsize=18930384 memory=3200 CPUtime=0 cores=0,2
/proc/46507/task/46525/stat : 46525 (Common-Cleaner) S 46504 46507 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50045614 19384713216 26270 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 105080 KiB

[startup+1.50021 s]
/proc/loadavg: 4.48 4.35 4.32 7/324 46526
/proc/meminfo: memFree=128537440/131382112 swapFree=33010684/33010684
[pid=46507] ppid=46504 vsize=18996948 memory=180472 CPUtime=2.65 cores=0,2
/proc/46507/stat : 46507 (java) S 46504 46507 45940 0 -1 4194304 16030 0 0 0 256 9 0 0 20 0 19 0 50045607 19452874752 45118 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
/proc/46507/statm: 4749237 45118 5445 1 0 551401 0
[pid=46507/tid=46509] ppid=46504 vsize=18996948 memory=3200 CPUtime=1.34 cores=0,2
/proc/46507/task/46509/stat : 46509 (java) R 46504 46507 45940 0 -1 4194368 5463 0 0 0 130 4 0 0 20 0 19 0 50045609 19452874752 45118 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46518] ppid=46504 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/46507/task/46518/stat : 46518 (Finalizer) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 50045613 19452874752 45118 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46525] ppid=46504 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/46507/task/46525/stat : 46525 (Common-Cleaner) S 46504 46507 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 50045614 19452874752 45118 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 180472 KiB

[startup+3.11188 s]
/proc/loadavg: 4.48 4.35 4.32 6/325 46527
/proc/meminfo: memFree=128285048/131382112 swapFree=33010684/33010684
[pid=46507] ppid=46504 vsize=19063512 memory=425816 CPUtime=4.95 cores=0,2
/proc/46507/stat : 46507 (java) S 46504 46507 45940 0 -1 4194304 20379 0 0 0 480 15 0 0 20 0 20 0 50045607 19521036288 106454 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
/proc/46507/statm: 4765878 106454 5477 1 0 1078514 0
[pid=46507/tid=46509] ppid=46504 vsize=19063512 memory=10752 CPUtime=2.79 cores=0,2
/proc/46507/task/46509/stat : 46509 (java) R 46504 46507 45940 0 -1 4194368 8060 0 0 0 270 9 0 0 20 0 20 0 50045609 19521036288 106454 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46518] ppid=46504 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/46507/task/46518/stat : 46518 (Finalizer) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045613 19521036288 106454 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46525] ppid=46504 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/46507/task/46525/stat : 46525 (Common-Cleaner) S 46504 46507 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 50045614 19521036288 106454 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46527] ppid=46504 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/46507/task/46527/stat : 46527 (Timer-0) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045855 19521036288 106454 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
Current children cumulated CPU time: 4.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 425816 KiB

[startup+6.30039 s]
/proc/loadavg: 4.52 4.36 4.32 5/325 46527
/proc/meminfo: memFree=128236176/131382112 swapFree=33010684/33010684
[pid=46507] ppid=46504 vsize=19063512 memory=426396 CPUtime=9.94 cores=0,2
/proc/46507/stat : 46507 (java) S 46504 46507 45940 0 -1 4194304 21092 0 0 0 978 16 0 0 20 0 20 0 50045607 19521036288 106599 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
/proc/46507/statm: 4765878 106599 5509 1 0 1078965 0
[pid=46507/tid=46509] ppid=46504 vsize=19063512 memory=0 CPUtime=5.94 cores=0,2
/proc/46507/task/46509/stat : 46509 (java) R 46504 46507 45940 0 -1 4194368 8161 0 0 0 585 9 0 0 20 0 20 0 50045609 19521036288 106599 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46518] ppid=46504 vsize=19063512 memory=425688 CPUtime=0 cores=0,2
/proc/46507/task/46518/stat : 46518 (Finalizer) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045613 19521036288 106599 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46525] ppid=46504 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/46507/task/46525/stat : 46525 (Common-Cleaner) S 46504 46507 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 50045614 19521036288 106599 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46527] ppid=46504 vsize=19063512 memory=-6000919489970267755 CPUtime=0 cores=0,2
/proc/46507/task/46527/stat : 46527 (Timer-0) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045855 19521036288 106599 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
Current children cumulated CPU time: 9.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 426396 KiB

[startup+12.7004 s]
/proc/loadavg: 4.56 4.37 4.33 5/325 46528
/proc/meminfo: memFree=128111540/131382112 swapFree=33010684/33010684
[pid=46507] ppid=46504 vsize=19063512 memory=455260 CPUtime=16.63 cores=0,2
/proc/46507/stat : 46507 (java) S 46504 46507 45940 0 -1 4194304 21690 0 0 0 1646 17 0 0 20 0 20 0 50045607 19521036288 113815 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
/proc/46507/statm: 4765878 113815 5541 1 0 1078967 0
[pid=46507/tid=46509] ppid=46504 vsize=19063512 memory=455260 CPUtime=12.26 cores=0,2
/proc/46507/task/46509/stat : 46509 (java) R 46504 46507 45940 0 -1 4194368 8179 0 0 0 1217 9 0 0 20 0 20 0 50045609 19521036288 113815 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46518] ppid=46504 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/46507/task/46518/stat : 46518 (Finalizer) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045613 19521036288 113815 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46525] ppid=46504 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/46507/task/46525/stat : 46525 (Common-Cleaner) S 46504 46507 45940 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 50045614 19521036288 113815 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46527] ppid=46504 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/46507/task/46527/stat : 46527 (Timer-0) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045855 19521036288 113815 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
Current children cumulated CPU time: 16.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 455260 KiB

[startup+25.5005 s]
/proc/loadavg: 4.44 4.35 4.32 5/325 46528
/proc/meminfo: memFree=128013308/131382112 swapFree=33010684/33010684
[pid=46507] ppid=46504 vsize=19063512 memory=455388 CPUtime=29.43 cores=0,2
/proc/46507/stat : 46507 (java) S 46504 46507 45940 0 -1 4194304 24083 0 0 0 2925 18 0 0 20 0 20 0 50045607 19521036288 113847 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
/proc/46507/statm: 4765878 113847 5541 1 0 1078967 0
[pid=46507/tid=46509] ppid=46504 vsize=19063512 memory=455260 CPUtime=25.02 cores=0,2
/proc/46507/task/46509/stat : 46509 (java) R 46504 46507 45940 0 -1 4194368 9318 0 0 0 2493 9 0 0 20 0 20 0 50045609 19521036288 113847 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46518] ppid=46504 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/46507/task/46518/stat : 46518 (Finalizer) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045613 19521036288 113847 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46525] ppid=46504 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/46507/task/46525/stat : 46525 (Common-Cleaner) S 46504 46507 45940 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 50045614 19521036288 113847 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46527] ppid=46504 vsize=19063512 memory=455260 CPUtime=0 cores=0,2
/proc/46507/task/46527/stat : 46527 (Timer-0) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045855 19521036288 113847 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
Current children cumulated CPU time: 29.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 455388 KiB

[startup+51.1127 s]
/proc/loadavg: 4.29 4.32 4.31 5/325 46528
/proc/meminfo: memFree=127684440/131382112 swapFree=33010684/33010684
[pid=46507] ppid=46504 vsize=19063512 memory=455388 CPUtime=55.14 cores=0,2
/proc/46507/stat : 46507 (java) S 46504 46507 45940 0 -1 4194304 26635 0 0 0 5494 20 0 0 20 0 20 0 50045607 19521036288 113847 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
/proc/46507/statm: 4765878 113847 5541 1 0 1078967 0
[pid=46507/tid=46509] ppid=46504 vsize=19063512 memory=455388 CPUtime=50.57 cores=0,2
/proc/46507/task/46509/stat : 46509 (java) R 46504 46507 45940 0 -1 4194368 9977 0 0 0 5047 10 0 0 20 0 20 0 50045609 19521036288 113847 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46518] ppid=46504 vsize=19063512 memory=455388 CPUtime=0 cores=0,2
/proc/46507/task/46518/stat : 46518 (Finalizer) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045613 19521036288 113847 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46525] ppid=46504 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/46507/task/46525/stat : 46525 (Common-Cleaner) S 46504 46507 45940 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 50045614 19521036288 113847 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46527] ppid=46504 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/46507/task/46527/stat : 46527 (Timer-0) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045855 19521036288 113847 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
Current children cumulated CPU time: 55.14 s

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

Current children cumulated memory: 2973860 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/327 46697
/proc/meminfo: memFree=114922404/131382112 swapFree=33010684/33010684
[pid=46507] ppid=46504 vsize=19063512 memory=2973860 CPUtime=3344.04 cores=0,2
/proc/46507/stat : 46507 (java) S 46504 46507 45940 0 -1 4194304 90616 0 0 0 334188 216 0 0 20 0 20 0 50045607 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
/proc/46507/statm: 4765878 743465 5541 1 0 1082953 0
[pid=46507/tid=46509] ppid=46504 vsize=19063512 memory=2973860 CPUtime=3328.69 cores=0,2
/proc/46507/task/46509/stat : 46509 (java) R 46504 46507 45940 0 -1 4194368 39230 0 0 0 332848 21 0 0 20 0 20 0 50045609 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46518] ppid=46504 vsize=19063512 memory=2973860 CPUtime=0 cores=0,2
/proc/46507/task/46518/stat : 46518 (Finalizer) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045613 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46525] ppid=46504 vsize=19063512 memory=2973860 CPUtime=0 cores=0,2
/proc/46507/task/46525/stat : 46525 (Common-Cleaner) S 46504 46507 45940 0 -1 4194368 1470 0 0 0 0 0 0 0 20 0 20 0 50045614 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46527] ppid=46504 vsize=19063512 memory=2973860 CPUtime=0 cores=0,2
/proc/46507/task/46527/stat : 46527 (Timer-0) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045855 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
Current children cumulated CPU time: 3344.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2973860 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.10 4.12 5/326 46699
/proc/meminfo: memFree=114918740/131382112 swapFree=33010684/33010684
[pid=46507] ppid=46504 vsize=19063512 memory=2973860 CPUtime=3404.02 cores=0,2
/proc/46507/stat : 46507 (java) S 46504 46507 45940 0 -1 4194304 91991 0 0 0 340184 218 0 0 20 0 20 0 50045607 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
/proc/46507/statm: 4765878 743465 5541 1 0 1082953 0
[pid=46507/tid=46509] ppid=46504 vsize=19063512 memory=2973860 CPUtime=3388.39 cores=0,2
/proc/46507/task/46509/stat : 46509 (java) R 46504 46507 45940 0 -1 4194368 39700 0 0 0 338818 21 0 0 20 0 20 0 50045609 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46518] ppid=46504 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/46507/task/46518/stat : 46518 (Finalizer) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045613 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46525] ppid=46504 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/46507/task/46525/stat : 46525 (Common-Cleaner) S 46504 46507 45940 0 -1 4194368 1524 0 0 0 0 0 0 0 20 0 20 0 50045614 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46527] ppid=46504 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/46507/task/46527/stat : 46527 (Timer-0) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045855 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
Current children cumulated CPU time: 3404.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2973860 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/326 46701
/proc/meminfo: memFree=114901500/131382112 swapFree=33010684/33010684
[pid=46507] ppid=46504 vsize=19063512 memory=2973860 CPUtime=3463.96 cores=0,2
/proc/46507/stat : 46507 (java) S 46504 46507 45940 0 -1 4194304 93173 0 0 0 346175 221 0 0 20 0 20 0 50045607 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
/proc/46507/statm: 4765878 743465 5541 1 0 1082953 0
[pid=46507/tid=46509] ppid=46504 vsize=19063512 memory=2973860 CPUtime=3448.13 cores=0,2
/proc/46507/task/46509/stat : 46509 (java) R 46504 46507 45940 0 -1 4194368 40170 0 0 0 344792 21 0 0 20 0 20 0 50045609 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46518] ppid=46504 vsize=19063512 memory=2973860 CPUtime=0 cores=0,2
/proc/46507/task/46518/stat : 46518 (Finalizer) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045613 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46525] ppid=46504 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/46507/task/46525/stat : 46525 (Common-Cleaner) S 46504 46507 45940 0 -1 4194368 1524 0 0 0 0 0 0 0 20 0 20 0 50045614 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46527] ppid=46504 vsize=19063512 memory=2973860 CPUtime=0 cores=0,2
/proc/46507/task/46527/stat : 46527 (Timer-0) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045855 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
Current children cumulated CPU time: 3463.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2973860 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/325 46703
/proc/meminfo: memFree=114904048/131382112 swapFree=33010684/33010684
[pid=46507] ppid=46504 vsize=19063512 memory=2973860 CPUtime=3523.82 cores=0,2
/proc/46507/stat : 46507 (java) S 46504 46507 45940 0 -1 4194304 94227 0 0 0 352159 223 0 0 20 0 20 0 50045607 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
/proc/46507/statm: 4765878 743465 5541 1 0 1082953 0
[pid=46507/tid=46509] ppid=46504 vsize=19063512 memory=2973860 CPUtime=3507.96 cores=0,2
/proc/46507/task/46509/stat : 46509 (java) R 46504 46507 45940 0 -1 4194368 41128 0 0 0 350775 21 0 0 20 0 20 0 50045609 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46518] ppid=46504 vsize=19063512 memory=2973860 CPUtime=0 cores=0,2
/proc/46507/task/46518/stat : 46518 (Finalizer) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045613 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46525] ppid=46504 vsize=19063512 memory=2973860 CPUtime=0 cores=0,2
/proc/46507/task/46525/stat : 46525 (Common-Cleaner) S 46504 46507 45940 0 -1 4194368 1524 0 0 0 0 0 0 0 20 0 20 0 50045614 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46527] ppid=46504 vsize=19063512 memory=2973860 CPUtime=0 cores=0,2
/proc/46507/task/46527/stat : 46527 (Timer-0) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045855 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
Current children cumulated CPU time: 3523.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2973860 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.11 6/324 46771
/proc/meminfo: memFree=118835284/131382112 swapFree=33010684/33010684
[pid=46507] ppid=46504 vsize=19063512 memory=2973860 CPUtime=3583.8 cores=0,2
/proc/46507/stat : 46507 (java) S 46504 46507 45940 0 -1 4194304 96145 0 0 0 358153 227 0 0 20 0 20 0 50045607 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
/proc/46507/statm: 4765878 743465 5541 1 0 1082953 0
[pid=46507/tid=46509] ppid=46504 vsize=19063512 memory=2973860 CPUtime=3567.66 cores=0,2
/proc/46507/task/46509/stat : 46509 (java) R 46504 46507 45940 0 -1 4194368 42024 0 0 0 356745 21 0 0 20 0 20 0 50045609 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46518] ppid=46504 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/46507/task/46518/stat : 46518 (Finalizer) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045613 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46525] ppid=46504 vsize=19063512 memory=-6000919489970267755 CPUtime=0 cores=0,2
/proc/46507/task/46525/stat : 46525 (Common-Cleaner) S 46504 46507 45940 0 -1 4194368 1539 0 0 0 0 0 0 0 20 0 20 0 50045614 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46527] ppid=46504 vsize=19063512 memory=5028 CPUtime=0 cores=0,2
/proc/46507/task/46527/stat : 46527 (Timer-0) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045855 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
Current children cumulated CPU time: 3583.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2973860 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3598.6 s]
/proc/loadavg: 4.12 4.11 4.11 5/324 46905
/proc/meminfo: memFree=126312756/131382112 swapFree=33010684/33010684
[pid=46507] ppid=46504 vsize=19063512 memory=2973860 CPUtime=3600.06 cores=0,2
/proc/46507/stat : 46507 (java) S 46504 46507 45940 0 -1 4194304 96149 0 0 0 359778 228 0 0 20 0 20 0 50045607 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
/proc/46507/statm: 4765878 743465 5541 1 0 1082953 0
[pid=46507/tid=46509] ppid=46504 vsize=19063512 memory=6388 CPUtime=3583.91 cores=0,2
/proc/46507/task/46509/stat : 46509 (java) R 46504 46507 45940 0 -1 4194368 42026 0 0 0 358370 21 0 0 20 0 20 0 50045609 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46518] ppid=46504 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/46507/task/46518/stat : 46518 (Finalizer) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045613 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46525] ppid=46504 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/46507/task/46525/stat : 46525 (Common-Cleaner) S 46504 46507 45940 0 -1 4194368 1539 0 0 0 0 0 0 0 20 0 20 0 50045614 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46527] ppid=46504 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/46507/task/46527/stat : 46527 (Timer-0) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045855 19521036288 743465 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2973860 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.4 s, system=2.31718 s

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

[startup+3598.8 s]
/proc/loadavg: 4.12 4.11 4.11 5/324 46905
/proc/meminfo: memFree=126312756/131382112 swapFree=33010684/33010684
[pid=46507] ppid=46504 vsize=19263204 memory=2974628 CPUtime=3600.45 cores=0,2
/proc/46507/stat : 46507 (java) S 46504 46507 45940 0 -1 4194304 98282 0 0 0 359816 229 0 0 20 0 21 0 50045607 19725520896 743657 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
/proc/46507/statm: 4815801 743657 5541 1 0 1083900 0
[pid=46507/tid=46509] ppid=46504 vsize=19263204 memory=19968 CPUtime=3584.1 cores=0,2
/proc/46507/task/46509/stat : 46509 (java) R 46504 46507 45940 0 -1 4194368 42214 0 0 0 358389 21 0 0 20 0 21 0 50045609 19725520896 743657 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46518] ppid=46504 vsize=19263204 memory=-6000919489970267755 CPUtime=0 cores=0,2
/proc/46507/task/46518/stat : 46518 (Finalizer) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 50045613 19725520896 743657 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46525] ppid=46504 vsize=19263204 memory=5760 CPUtime=0 cores=0,2
/proc/46507/task/46525/stat : 46525 (Common-Cleaner) S 46504 46507 45940 0 -1 4194368 1539 0 0 0 0 0 0 0 20 0 21 0 50045614 19725520896 743657 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2974628 KiB

[startup+3598.9 s]
/proc/loadavg: 4.12 4.11 4.11 5/324 46905
/proc/meminfo: memFree=126312756/131382112 swapFree=33010684/33010684
[pid=46507] ppid=46504 vsize=19263204 memory=2974628 CPUtime=3600.65 cores=0,2
/proc/46507/stat : 46507 (java) S 46504 46507 45940 0 -1 4194304 98390 0 0 0 359836 229 0 0 20 0 21 0 50045607 19725520896 743657 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
/proc/46507/statm: 4815801 743657 5541 1 0 1083900 0
[pid=46507/tid=46509] ppid=46504 vsize=19263204 memory=2973860 CPUtime=3584.2 cores=0,2
/proc/46507/task/46509/stat : 46509 (java) R 46504 46507 45940 0 -1 4194368 42214 0 0 0 358399 21 0 0 20 0 21 0 50045609 19725520896 743657 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46518] ppid=46504 vsize=19263204 memory=4252 CPUtime=0 cores=0,2
/proc/46507/task/46518/stat : 46518 (Finalizer) S 46504 46507 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 50045613 19725520896 743657 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
[pid=46507/tid=46525] ppid=46504 vsize=19263204 memory=2973860 CPUtime=0 cores=0,2
/proc/46507/task/46525/stat : 46525 (Common-Cleaner) S 46504 46507 45940 0 -1 4194368 1539 0 0 0 0 0 0 0 20 0 21 0 50045614 19725520896 743657 18446744073709551615 94656857067520 94656857071216 140720873965024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94656857079032 94656857079824 94656868786176 140720873974145 140720873974246 140720873974246 140720873979848 0
Current children cumulated CPU time: 3600.65 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2974628 KiB

Child status: 143

Real time (s): 3598.96
CPU time (s): 3600.72
CPU user time (s): 3598.4
CPU system time (s): 2.31718
CPU usage (%): 100.049
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2974628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.4
system time used= 2.31718
maximum resident set size= 2975012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98621
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114816
involuntary context switches= 9575


# summary of solver processes directly reported to runsolver:
#   pid: 46507
#   total CPU time (s): 3600.72
#   total CPU user time (s): 3598.4
#   total CPU system time (s): 2.31718

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.8161 second user time and 34.314 second system time

The end

Begin job on nodeC012 at 2025-07-01 06:20:59
IDJOB=4489836
IDBENCH=147564
IDSOLVER=3363
FILE ID=nodeC012/4489836-1751343659
RUNJOBID= nodeC012-1751340116-45950
SLURM_JOB_ID= 9594408
Free space on /tmp= 432992 MiB

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

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

MD5SUM BENCH= 446effd89caaa2fd386cf7c17951a1a5
RANDOM SEED=1709826698

nodeC012 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	: 0xb00001f
cpu MHz		: 1197.651
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.462
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.154
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.150
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.702
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.463
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.698
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.238
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128668372 kB
MemAvailable:   128708192 kB
Buffers:            3280 kB
Cached:           847980 kB
SwapCached:            0 kB
Active:          1654980 kB
Inactive:         537576 kB
Active(anon):    1359256 kB
Inactive(anon):        0 kB
Active(file):     295724 kB
Inactive(file):   537576 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             71108 kB
Writeback:             0 kB
AnonPages:       1344572 kB
Mapped:           122764 kB
Shmem:             17960 kB
KReclaimable:      91912 kB
Slab:             175716 kB
SReclaimable:      91912 kB
SUnreclaim:        83804 kB
KernelStack:        4960 kB
PageTables:         6288 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   12858488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150232 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1140736 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC012 at 2025-07-01 07:20:58