0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.11/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.10	c java.vm.version	22.0.1+8-16
0.11/0.10	c java.vm.vendor	Oracle Corporation
0.11/0.10	c sun.arch.data.model	64
0.11/0.10	c java.version		22.0.1
0.11/0.10	c os.name		Linux
0.11/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.10	c os.arch		amd64
0.11/0.10	c Free memory 		2104792832
0.11/0.11	c Max memory 		16282288128
0.11/0.11	c Total memory 		2113929216
0.11/0.11	c Number of processors 	2
0.11/0.15	c Pseudo Boolean Optimization by upper bound
0.11/0.15	c --- Begin Solver configuration ---
0.11/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.15	c Learn all clauses as in MiniSAT
0.11/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.15	c Expensive reason simplification
0.11/0.15	c Glucose 2.1 dynamic restart strategy
0.11/0.15	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.15	c timeout=2147483s
0.11/0.15	c DB Simplification allowed=false
0.11/0.15	c Listener: none
0.11/0.15	c --- End Solver configuration ---
0.11/0.15	c solving HOME/instance-4489514-1751342055.opb
0.11/0.15	c reading problem ... 
0.11/0.15	c  objective function found
2.37/1.61	c ... done. Wall clock time 1.46s.
2.37/1.61	c declared #vars     10000
2.37/1.61	c #constraints  656900
2.37/1.61	c constraints type 
2.37/1.61	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
2.37/1.61	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
2.37/1.61	c 656900 constraints processed.
2.37/1.62	c objective function length is 10000 literals
2.77/1.83	c SATISFIABLE
2.77/1.83	c OPTIMIZING...
2.77/1.83	c Got one! Elapsed wall clock time (in seconds):1.682
2.77/1.83	o 945
5.34/3.34	c cleaning 2561 clauses out of 5121 with flag 17269/5121
6.65/4.60	c cleaning 4279 clauses out of 8557 with flag 34452/11118
8.28/6.10	c cleaning 5636 clauses out of 11278 with flag 54220/18118
10.13/7.92	c cleaning 6818 clauses out of 13643 with flag 78661/26119
12.03/9.82	c cleaning 7909 clauses out of 15826 with flag 104853/35120
14.13/11.98	c cleaning 8955 clauses out of 17915 with flag 134328/45118
16.53/14.32	c cleaning 9972 clauses out of 19960 with flag 167828/56118
19.12/16.97	c cleaning 10992 clauses out of 21988 with flag 202740/68118
22.01/19.86	c cleaning 11996 clauses out of 23997 with flag 243948/81119
25.32/23.11	c cleaning 12994 clauses out of 26000 with flag 285993/95118
28.81/26.67	c cleaning 14000 clauses out of 28006 with flag 331764/110118
32.40/30.24	c cleaning 14998 clauses out of 30006 with flag 380444/126118
34.82/32.61	c Got one! Elapsed wall clock time (in seconds):32.464
34.82/32.61	o 942
36.62/34.35	c cleaning 15636 clauses out of 31272 with flag 14219/142382
38.84/36.42	c cleaning 10818 clauses out of 21636 with flag 33967/148382
41.34/38.94	c cleaning 8906 clauses out of 17819 with flag 54677/155383
44.14/41.73	c cleaning 8454 clauses out of 16912 with flag 79224/163382
47.13/44.78	c cleaning 8716 clauses out of 17459 with flag 106045/172383
50.62/48.26	c cleaning 9362 clauses out of 18742 with flag 135806/182382
54.63/52.29	c cleaning 10177 clauses out of 20381 with flag 170736/193383
59.52/57.13	c cleaning 11091 clauses out of 22203 with flag 212770/205382
64.61/62.26	c cleaning 12040 clauses out of 24112 with flag 256918/218382
69.94/67.51	c cleaning 13029 clauses out of 26072 with flag 308348/232382
75.66/73.20	c cleaning 14010 clauses out of 28043 with flag 355885/247382
81.57/79.12	c cleaning 15009 clauses out of 30033 with flag 406235/263382
87.56/85.13	c cleaning 16010 clauses out of 32024 with flag 466183/280382
94.45/92.05	c cleaning 17004 clauses out of 34014 with flag 527776/298382
101.72/99.30	c cleaning 18001 clauses out of 36010 with flag 592293/317382
109.41/107.06	c cleaning 18998 clauses out of 38011 with flag 659026/337384
116.78/114.50	c cleaning 20003 clauses out of 40012 with flag 732897/358383
124.76/122.48	c cleaning 20993 clauses out of 42008 with flag 810248/380382
133.14/130.81	c cleaning 22002 clauses out of 44016 with flag 886472/403383
142.03/139.74	c cleaning 22999 clauses out of 46013 with flag 965584/427382
151.21/148.94	c cleaning 23995 clauses out of 48014 with flag 1051624/452382
160.36/158.05	c cleaning 25003 clauses out of 50019 with flag 1139632/478382
169.93/167.66	c cleaning 26006 clauses out of 52017 with flag 1225655/505383
179.60/177.35	c cleaning 26999 clauses out of 54010 with flag 1320151/533382
190.38/188.15	c cleaning 27984 clauses out of 56011 with flag 1426707/562382
201.05/198.83	c cleaning 29012 clauses out of 58027 with flag 1531777/592382
213.02/210.82	c cleaning 29995 clauses out of 60015 with flag 1652285/623382
225.00/222.86	c cleaning 31008 clauses out of 62021 with flag 1785867/655383
238.17/236.01	c cleaning 32000 clauses out of 64012 with flag 1898786/688382
251.81/249.66	c cleaning 33004 clauses out of 66012 with flag 2014885/722382
265.68/263.51	c cleaning 34003 clauses out of 68008 with flag 2130040/757382
279.55/277.46	c cleaning 34994 clauses out of 70005 with flag 2265431/793382
293.82/291.75	c cleaning 36006 clauses out of 72011 with flag 2396602/830382
307.69/305.60	c cleaning 36984 clauses out of 74005 with flag 2529670/868382
322.97/320.90	c cleaning 38010 clauses out of 76022 with flag 2667526/907383
339.02/336.93	c cleaning 39005 clauses out of 78012 with flag 2808349/947383
355.39/353.32	c cleaning 39997 clauses out of 80007 with flag 2959939/988383
372.36/370.34	c cleaning 41005 clauses out of 82009 with flag 3112648/1030382
388.33/386.37	c cleaning 42001 clauses out of 84005 with flag 3265343/1073383
405.29/403.33	c cleaning 42984 clauses out of 86004 with flag 3427978/1117383
422.75/420.73	c cleaning 43991 clauses out of 88019 with flag 3594190/1162382
440.71/438.76	c cleaning 45011 clauses out of 90031 with flag 3776489/1208385
457.98/456.03	c cleaning 45998 clauses out of 92017 with flag 3955965/1255382
476.34/474.46	c cleaning 47001 clauses out of 94019 with flag 4134990/1303382
494.79/492.86	c cleaning 47986 clauses out of 96020 with flag 4326706/1352384
512.75/510.89	c cleaning 48993 clauses out of 98032 with flag 4530612/1402382
532.10/530.23	c cleaning 50010 clauses out of 100039 with flag 4721577/1453382
551.25/549.48	c cleaning 50995 clauses out of 102029 with flag 4926103/1505382
570.11/568.27	c cleaning 51998 clauses out of 104034 with flag 5126920/1558382
588.58/586.74	c cleaning 53008 clauses out of 106036 with flag 5348219/1612382
610.52/608.77	c cleaning 54009 clauses out of 108029 with flag 5563102/1667383
632.78/630.97	c cleaning 55010 clauses out of 110020 with flag 5766704/1723383
657.14/655.32	c cleaning 55989 clauses out of 112009 with flag 5997144/1780382
680.59/678.89	c cleaning 57007 clauses out of 114020 with flag 6241516/1838382
706.24/704.55	c cleaning 57998 clauses out of 116017 with flag 6464412/1897386
731.96/730.28	c cleaning 59007 clauses out of 118015 with flag 6685522/1957382
758.21/756.53	c cleaning 60005 clauses out of 120009 with flag 6934421/2018383
785.04/783.49	c cleaning 60994 clauses out of 122003 with flag 7190209/2080382
812.38/810.73	c cleaning 62005 clauses out of 124009 with flag 7414580/2143382
839.33/837.75	c cleaning 62988 clauses out of 126004 with flag 7664084/2207382
864.67/863.18	c cleaning 64000 clauses out of 128016 with flag 7915490/2272382
891.50/889.95	c cleaning 64995 clauses out of 130017 with flag 8162581/2338383
919.24/917.76	c cleaning 66007 clauses out of 132022 with flag 8412258/2405383
945.39/943.97	c cleaning 67001 clauses out of 134014 with flag 8669878/2473382
973.62/972.14	c cleaning 68000 clauses out of 136013 with flag 8929521/2542382
1004.25/1002.86	c cleaning 69003 clauses out of 138013 with flag 9207384/2612382
1034.22/1032.73	c cleaning 70000 clauses out of 140010 with flag 9490886/2683382
1065.66/1064.23	c cleaning 70996 clauses out of 142012 with flag 9785952/2755384
1098.98/1097.63	c cleaning 71998 clauses out of 144014 with flag 10078211/2828382
1133.42/1132.15	c cleaning 73008 clauses out of 146017 with flag 10382404/2902383
1167.81/1166.53	c cleaning 73996 clauses out of 148008 with flag 10680330/2977382
1202.35/1201.19	c cleaning 74998 clauses out of 150012 with flag 11017489/3053382
1235.77/1234.65	c cleaning 75999 clauses out of 152016 with flag 11356597/3130384
1265.17/1263.92	c cleaning 76989 clauses out of 154015 with flag 11683580/3208382
1299.59/1298.44	c cleaning 78007 clauses out of 156026 with flag 12039148/3287382
1333.03/1331.94	c cleaning 79004 clauses out of 158020 with flag 12371652/3367383
1367.95/1366.85	c cleaning 80001 clauses out of 160016 with flag 12696801/3448383
1401.48/1400.46	c cleaning 81002 clauses out of 162014 with flag 13029266/3530382
1435.64/1434.52	c cleaning 81989 clauses out of 164012 with flag 13350983/3613382
1470.27/1469.22	c cleaning 83012 clauses out of 166025 with flag 13661036/3697384
1504.20/1503.10	c cleaning 84003 clauses out of 168011 with flag 13990268/3782382
1538.82/1537.59	c cleaning 84993 clauses out of 170008 with flag 14331698/3868382
1574.75/1573.55	c cleaning 85995 clauses out of 172015 with flag 14665678/3955382
1610.24/1608.39	c cleaning 87005 clauses out of 174020 with flag 15016033/4043382
1643.71/1641.73	c cleaning 87993 clauses out of 176015 with flag 15372384/4132382
1678.96/1677.00	c cleaning 89003 clauses out of 178024 with flag 15734793/4222384
1717.42/1715.38	c cleaning 89995 clauses out of 180019 with flag 16137049/4313382
1754.01/1751.87	c cleaning 91000 clauses out of 182025 with flag 16507353/4405383
1792.49/1790.25	c cleaning 92003 clauses out of 184025 with flag 16907420/4498383
1832.24/1829.96	c cleaning 93005 clauses out of 186021 with flag 17340068/4592382
1869.95/1867.61	c cleaning 94003 clauses out of 188016 with flag 17778338/4687382
1908.74/1906.37	c cleaning 94999 clauses out of 190014 with flag 18176162/4783383
1949.77/1947.28	c cleaning 96005 clauses out of 192015 with flag 18581634/4880383
1990.08/1987.41	c cleaning 96977 clauses out of 194009 with flag 18974029/4978382
2030.06/2026.71	c cleaning 98011 clauses out of 196032 with flag 19393116/5077382
2070.41/2067.07	c cleaning 99001 clauses out of 198021 with flag 19822009/5177382
2109.48/2105.93	c cleaning 99989 clauses out of 200020 with flag 20261474/5278382
2151.18/2147.31	c cleaning 101014 clauses out of 202031 with flag 20761418/5380382
2194.87/2190.98	c cleaning 102006 clauses out of 204018 with flag 21224118/5483383
2239.43/2235.43	c cleaning 102997 clauses out of 206011 with flag 21678346/5587382
2284.20/2279.97	c cleaning 104005 clauses out of 208015 with flag 22131614/5692383
2331.08/2326.76	c cleaning 105005 clauses out of 210009 with flag 22583775/5798382
2377.91/2372.69	c cleaning 105994 clauses out of 212004 with flag 23025782/5905382
2420.57/2415.28	c cleaning 106984 clauses out of 214010 with flag 23448062/6013382
2462.18/2456.73	c cleaning 107996 clauses out of 216029 with flag 23862184/6122385
2504.92/2499.49	c cleaning 108994 clauses out of 218031 with flag 24272901/6232383
2551.95/2546.45	c cleaning 110013 clauses out of 220037 with flag 24701473/6343383
2598.79/2593.21	c cleaning 110993 clauses out of 222023 with flag 25135216/6455382
2641.98/2636.10	c cleaning 112011 clauses out of 224030 with flag 25575028/6568382
2691.55/2685.63	c cleaning 112997 clauses out of 226019 with flag 26067050/6682382
2740.50/2734.55	c cleaning 113989 clauses out of 228022 with flag 26545129/6797382
2785.03/2779.06	c cleaning 115006 clauses out of 230035 with flag 27019438/6913384
2832.14/2826.19	c cleaning 116014 clauses out of 232028 with flag 27501245/7030383
2881.07/2875.14	c cleaning 116999 clauses out of 234013 with flag 27985280/7148382
2933.63/2927.33	c cleaning 118004 clauses out of 236015 with flag 28500314/7267383
2984.64/2978.22	c cleaning 118994 clauses out of 238011 with flag 28996187/7387383
3035.25/3028.86	c cleaning 120002 clauses out of 240016 with flag 29479567/7508382
3086.42/3079.74	c cleaning 120995 clauses out of 242015 with flag 29959519/7630383
3138.03/3130.35	c cleaning 122011 clauses out of 244021 with flag 30451888/7753384
3190.29/3182.53	c cleaning 123002 clauses out of 246009 with flag 31009401/7877383
3250.94/3243.19	c cleaning 123992 clauses out of 248006 with flag 31549072/8002382
3308.37/3300.38	c cleaning 124992 clauses out of 250015 with flag 32049054/8128383
3356.67/3348.50	c cleaning 125991 clauses out of 252022 with flag 32565247/8255382
3406.43/3398.29	c cleaning 126999 clauses out of 254031 with flag 33109518/8383382
3459.26/3450.82	c cleaning 128016 clauses out of 256033 with flag 33664264/8512383
3516.57/3508.19	c cleaning 129006 clauses out of 258016 with flag 34183698/8642382
3575.09/3566.49	c cleaning 130005 clauses out of 260012 with flag 34728306/8773384
3600.05/3591.41	c starts		: 17
3600.05/3591.42	c conflicts		: 8838002
3600.05/3591.42	c decisions		: 23009961
3600.05/3591.42	c propagations		: 2139576782
3600.05/3591.42	c inspects		: 3477283020
3600.05/3591.42	c shortcuts		: 0
3600.05/3591.42	c learnt literals	: 0
3600.05/3591.42	c learnt binary clauses	: 0
3600.05/3591.42	c learnt ternary clauses	: 0
3600.05/3591.42	c learnt constraints	: 8838002
3600.05/3591.42	c ignored constraints	: 0
3600.05/3591.42	c root simplifications	: 0
3600.05/3591.42	c removed literals (reason simplification)	: 952769189
3600.05/3591.42	c reason swapping (by a shorter reason)	: 0
3600.05/3591.43	c Calls to reduceDB	: 139
3600.05/3591.43	c Number of update (reduction) of LBD	: 2950630
3600.05/3591.43	c Imported unit clauses	: 0
3600.05/3591.43	c No decision after first conflict	: false
3600.05/3591.43	c number of reductions to clauses (during analyze)	: 0
3600.05/3591.43	c number of learned constraints concerned by reduction	: 0
3600.05/3591.43	c number of learning phase by resolution	: 0
3600.05/3591.43	c number of learning phase by cutting planes	: 0
3600.05/3591.43	c number of rounding to 1 operations	: 0
3600.05/3591.43	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3591.43	c number of reductions of the coefficients by power 2 	: 0
3600.05/3591.43	c number of right shift for reduction by power 2 	: 0
3600.05/3591.43	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3591.43	c number of ending skipping 	: 0
3600.05/3591.43	c number of internal skipping 	: 0
3600.05/3591.43	c number of derivation steps 	: 0
3600.05/3591.43	c number of skipped derivation steps 	: 0
3600.05/3591.43	c number of remaining unassigned 	: 0
3600.05/3591.43	c number of remaining assigned 	: 0
3600.05/3591.43	c number of falsified literals weakened from reason	: 0
3600.05/3591.43	c number of falsified literals weakened from conflict	: 0
3600.05/3591.43	c time for arithmetic operations	: 0
3600.05/3591.43	c minimum degree of deleted constraints	: null
3600.05/3591.43	c maximum degree of deleted constraints	: null
3600.05/3591.43	c number of deleted constraints	: 0
3600.05/3591.44	c speed (assignments/second)	: 596014.9306201675
3600.05/3591.44	c non guided choices	: 3
3600.05/3591.50	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 194625
3600.05/3591.50	s SATISFIABLE
3600.05/3591.50	c Found 2 solution(s)
3600.25/3591.51	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.25/3591.53	c objective function=942
3600.25/3591.53	c Total wall clock time (in seconds): 3591.381

OK	942

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (36939 MiB free)
  memory of node 1: 64465 MiB (50365 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=48204, runsolver pid=48201

[startup+0.10006 s]*
/proc/loadavg: 4.07 4.15 4.10 6/338 48222
/proc/meminfo: memFree=89378100/131249988 swapFree=33010684/33010684
[pid=48204] ppid=48201 vsize=18930384 memory=53072 CPUtime=0.11 cores=1,3
/proc/48204/stat : 48204 (java) S 48201 48204 47837 0 -1 4194304 6438 0 0 0 9 2 0 0 20 0 18 0 49883090 19384713216 13268 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
/proc/48204/statm: 4732596 13268 5336 1 0 547530 0
[pid=48204/tid=48206] ppid=48201 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/48204/task/48206/stat : 48206 (java) R 48201 48204 47837 0 -1 4194368 4976 0 0 0 5 1 0 0 20 0 18 0 49883092 19384713216 13268 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48215] ppid=48201 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/48204/task/48215/stat : 48215 (Finalizer) S 48201 48204 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49883095 19384713216 13268 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48222] ppid=48201 vsize=18930384 memory=55186957824150 CPUtime=0 cores=1,3
/proc/48204/task/48222/stat : 48222 (Common-Cleaner) S 48201 48204 47837 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49883095 19384713216 13268 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53072 KiB

[startup+0.205796 s]*
/proc/loadavg: 4.07 4.15 4.10 6/338 48222
/proc/meminfo: memFree=89367892/131249988 swapFree=33010684/33010684
[pid=48204] ppid=48201 vsize=18930384 memory=67744 CPUtime=0.3 cores=1,3
/proc/48204/stat : 48204 (java) S 48201 48204 47837 0 -1 4194304 6951 0 0 0 28 2 0 0 20 0 18 0 49883090 19384713216 16936 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
/proc/48204/statm: 4732596 16936 5432 1 0 547869 0
[pid=48204/tid=48206] ppid=48201 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=1,3
/proc/48204/task/48206/stat : 48206 (java) R 48201 48204 47837 0 -1 4194368 5248 0 0 0 14 2 0 0 20 0 18 0 49883092 19384713216 16936 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48215] ppid=48201 vsize=18930384 memory=17146 CPUtime=0 cores=1,3
/proc/48204/task/48215/stat : 48215 (Finalizer) S 48201 48204 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49883095 19384713216 16936 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48222] ppid=48201 vsize=18930384 memory=54087446168546 CPUtime=0 cores=1,3
/proc/48204/task/48222/stat : 48222 (Common-Cleaner) S 48201 48204 47837 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49883095 19384713216 16936 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 67744 KiB

[startup+0.305694 s]*
/proc/loadavg: 4.07 4.15 4.10 6/338 48222
/proc/meminfo: memFree=89326996/131249988 swapFree=33010684/33010684
[pid=48204] ppid=48201 vsize=18930384 memory=106052 CPUtime=0.49 cores=1,3
/proc/48204/stat : 48204 (java) S 48201 48204 47837 0 -1 4194304 9009 0 0 0 45 4 0 0 20 0 18 0 49883090 19384713216 26513 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
/proc/48204/statm: 4732596 26513 5432 1 0 549233 0
[pid=48204/tid=48206] ppid=48201 vsize=18930384 memory=-6000919502855365739 CPUtime=0.24 cores=1,3
/proc/48204/task/48206/stat : 48206 (java) R 48201 48204 47837 0 -1 4194368 5270 0 0 0 22 2 0 0 20 0 18 0 49883092 19384713216 26513 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48215] ppid=48201 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/48204/task/48215/stat : 48215 (Finalizer) S 48201 48204 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49883095 19384713216 26513 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48222] ppid=48201 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/48204/task/48222/stat : 48222 (Common-Cleaner) S 48201 48204 47837 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49883095 19384713216 26513 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 106052 KiB

[startup+0.700222 s]
/proc/loadavg: 4.07 4.15 4.10 6/339 48223
/proc/meminfo: memFree=89259948/131249988 swapFree=33010684/33010684
[pid=48204] ppid=48201 vsize=18996948 memory=179896 CPUtime=1.25 cores=1,3
/proc/48204/stat : 48204 (java) S 48201 48204 47837 0 -1 4194304 12140 0 0 0 120 5 0 0 20 0 19 0 49883090 19452874752 44974 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
/proc/48204/statm: 4749237 44974 5464 1 0 551340 0
[pid=48204/tid=48206] ppid=48201 vsize=18996948 memory=18176 CPUtime=0.58 cores=1,3
/proc/48204/task/48206/stat : 48206 (java) R 48201 48204 47837 0 -1 4194368 5298 0 0 0 55 3 0 0 20 0 19 0 49883092 19452874752 44974 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48215] ppid=48201 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/48204/task/48215/stat : 48215 (Finalizer) S 48201 48204 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49883095 19452874752 44974 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48222] ppid=48201 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/48204/task/48222/stat : 48222 (Common-Cleaner) S 48201 48204 47837 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49883095 19452874752 44974 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 179896 KiB

[startup+1.50023 s]
/proc/loadavg: 4.07 4.15 4.10 6/339 48223
/proc/meminfo: memFree=89098064/131249988 swapFree=33010684/33010684
[pid=48204] ppid=48201 vsize=18996948 memory=386872 CPUtime=2.25 cores=1,3
/proc/48204/stat : 48204 (java) S 48201 48204 47837 0 -1 4194304 12768 0 0 0 215 10 0 0 20 0 19 0 49883090 19452874752 96718 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
/proc/48204/statm: 4749237 96718 5464 1 0 898173 0
[pid=48204/tid=48206] ppid=48201 vsize=18996948 memory=3328 CPUtime=1.27 cores=1,3
/proc/48204/task/48206/stat : 48206 (java) R 48201 48204 47837 0 -1 4194368 5375 0 0 0 121 6 0 0 20 0 19 0 49883092 19452874752 96718 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48215] ppid=48201 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/48204/task/48215/stat : 48215 (Finalizer) S 48201 48204 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49883095 19452874752 96718 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48222] ppid=48201 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/48204/task/48222/stat : 48222 (Common-Cleaner) S 48201 48204 47837 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49883095 19452874752 96718 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
Current children cumulated CPU time: 2.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 386872 KiB

[startup+3.10547 s]
/proc/loadavg: 4.07 4.15 4.10 5/340 48224
/proc/meminfo: memFree=88825504/131249988 swapFree=33010684/33010684
[pid=48204] ppid=48201 vsize=19063512 memory=443176 CPUtime=5.05 cores=1,3
/proc/48204/stat : 48204 (java) S 48201 48204 47837 0 -1 4194304 15064 0 0 0 493 12 0 0 20 0 20 0 49883090 19521036288 110794 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
/proc/48204/statm: 4765878 110794 5496 1 0 1536505 0
[pid=48204/tid=48206] ppid=48201 vsize=19063512 memory=10752 CPUtime=2.78 cores=1,3
/proc/48204/task/48206/stat : 48206 (java) R 48201 48204 47837 0 -1 4194368 5559 0 0 0 271 7 0 0 20 0 20 0 49883092 19521036288 110794 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48215] ppid=48201 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/48204/task/48215/stat : 48215 (Finalizer) S 48201 48204 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 110794 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48222] ppid=48201 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/48204/task/48222/stat : 48222 (Common-Cleaner) S 48201 48204 47837 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 110794 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48224] ppid=48201 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/48204/task/48224/stat : 48224 (Timer-0) S 48201 48204 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49883254 19521036288 110794 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
Current children cumulated CPU time: 5.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 443176 KiB

[startup+6.30014 s]
/proc/loadavg: 4.06 4.14 4.10 5/340 48224
/proc/meminfo: memFree=88804772/131249988 swapFree=33010684/33010684
[pid=48204] ppid=48201 vsize=19063512 memory=456988 CPUtime=8.47 cores=1,3
/proc/48204/stat : 48204 (java) S 48201 48204 47837 0 -1 4194304 15208 0 0 0 834 13 0 0 20 0 20 0 49883090 19521036288 114247 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
/proc/48204/statm: 4765878 114247 5496 1 0 1536537 0
[pid=48204/tid=48206] ppid=48201 vsize=19063512 memory=0 CPUtime=5.96 cores=1,3
/proc/48204/task/48206/stat : 48206 (java) R 48201 48204 47837 0 -1 4194368 5615 0 0 0 589 7 0 0 20 0 20 0 49883092 19521036288 114247 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48215] ppid=48201 vsize=19063512 memory=-6000919502855365739 CPUtime=0 cores=1,3
/proc/48204/task/48215/stat : 48215 (Finalizer) S 48201 48204 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 114247 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48222] ppid=48201 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/48204/task/48222/stat : 48222 (Common-Cleaner) S 48201 48204 47837 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 114247 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48224] ppid=48201 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/48204/task/48224/stat : 48224 (Timer-0) S 48201 48204 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49883254 19521036288 114247 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
Current children cumulated CPU time: 8.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 456988 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.14 4.10 5/340 48224
/proc/meminfo: memFree=88776100/131249988 swapFree=33010684/33010684
[pid=48204] ppid=48201 vsize=19063512 memory=489892 CPUtime=14.93 cores=1,3
/proc/48204/stat : 48204 (java) S 48201 48204 47837 0 -1 4194304 18609 0 0 0 1479 14 0 0 20 0 20 0 49883090 19521036288 122473 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
/proc/48204/statm: 4765878 122473 5528 1 0 1536537 0
[pid=48204/tid=48206] ppid=48201 vsize=19063512 memory=483748 CPUtime=12.35 cores=1,3
/proc/48204/task/48206/stat : 48206 (java) R 48201 48204 47837 0 -1 4194368 6243 0 0 0 1227 8 0 0 20 0 20 0 49883092 19521036288 122473 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48215] ppid=48201 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/48204/task/48215/stat : 48215 (Finalizer) S 48201 48204 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 122473 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48222] ppid=48201 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/48204/task/48222/stat : 48222 (Common-Cleaner) S 48201 48204 47837 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 122473 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48224] ppid=48201 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/48204/task/48224/stat : 48224 (Timer-0) S 48201 48204 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49883254 19521036288 122473 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
Current children cumulated CPU time: 14.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 489892 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.15 4.10 5/340 48225
/proc/meminfo: memFree=87871180/131249988 swapFree=33010684/33010684
[pid=48204] ppid=48201 vsize=19063512 memory=551332 CPUtime=27.71 cores=1,3
/proc/48204/stat : 48204 (java) S 48201 48204 47837 0 -1 4194304 20933 0 0 0 2756 15 0 0 20 0 20 0 49883090 19521036288 137833 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
/proc/48204/statm: 4765878 137833 5528 1 0 1536537 0
[pid=48204/tid=48206] ppid=48201 vsize=19063512 memory=483748 CPUtime=25.12 cores=1,3
/proc/48204/task/48206/stat : 48206 (java) R 48201 48204 47837 0 -1 4194368 7649 0 0 0 2503 9 0 0 20 0 20 0 49883092 19521036288 137833 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48215] ppid=48201 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/48204/task/48215/stat : 48215 (Finalizer) S 48201 48204 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 137833 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48222] ppid=48201 vsize=19063512 memory=541092 CPUtime=0 cores=1,3
/proc/48204/task/48222/stat : 48222 (Common-Cleaner) S 48201 48204 47837 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 137833 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48224] ppid=48201 vsize=19063512 memory=528804 CPUtime=0 cores=1,3
/proc/48204/task/48224/stat : 48224 (Timer-0) S 48201 48204 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49883254 19521036288 137833 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
Current children cumulated CPU time: 27.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 551332 KiB

[startup+51.1056 s]
/proc/loadavg: 4.14 4.15 4.10 5/341 48297
/proc/meminfo: memFree=101435476/131249988 swapFree=33010684/33010684
[pid=48204] ppid=48201 vsize=19063512 memory=643772 CPUtime=53.54 cores=1,3
/proc/48204/stat : 48204 (java) S 48201 48204 47837 0 -1 4194304 25759 0 0 0 5336 18 0 0 20 0 20 0 49883090 19521036288 160943 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
/proc/48204/statm: 4765878 160943 5528 1 0 1536549 0
[pid=48204/tid=48206] ppid=48201 vsize=19063512 memory=643772 CPUtime=50.66 cores=1,3
/proc/48204/task/48206/stat : 48206 (java) R 48201 48204 47837 0 -1 4194368 8792 0 0 0 5055 11 0 0 20 0 20 0 49883092 19521036288 160943 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48215] ppid=48201 vsize=19063512 memory=631484 CPUtime=0 cores=1,3
/proc/48204/task/48215/stat : 48215 (Finalizer) S 48201 48204 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 160943 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48222] ppid=48201 vsize=19063512 memory=592424 CPUtime=0 cores=1,3
/proc/48204/task/48222/stat : 48222 (Common-Cleaner) S 48201 48204 47837 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 160943 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48224] ppid=48201 vsize=19063512 memory=18176 CPUtime=0 cores=1,3
/proc/48204/task/48224/stat : 48224 (Timer-0) S 48201 48204 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49883254 19521036288 160943 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
Current children cumulated CPU time: 53.54 s

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

[startup+3282.3 s]
/proc/loadavg: 4.04 4.11 4.09 5/339 48591
/proc/meminfo: memFree=112251612/131249988 swapFree=33010684/33010684
[pid=48204] ppid=48201 vsize=19063512 memory=5760340 CPUtime=3290.18 cores=1,3
/proc/48204/stat : 48204 (java) S 48201 48204 47837 0 -1 4194304 121699 0 0 0 328851 167 0 0 20 0 20 0 49883090 19521036288 1440085 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
/proc/48204/statm: 4765878 1440085 5560 1 0 1807751 0
[pid=48204/tid=48206] ppid=48201 vsize=19063512 memory=-6000919502855365739 CPUtime=3264.78 cores=1,3
/proc/48204/task/48206/stat : 48206 (java) R 48201 48204 47837 0 -1 4194368 48133 0 0 0 326455 23 0 0 20 0 20 0 49883092 19521036288 1440085 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48215] ppid=48201 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/48204/task/48215/stat : 48215 (Finalizer) S 48201 48204 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 1440085 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48222] ppid=48201 vsize=19063512 memory=5760340 CPUtime=0 cores=1,3
/proc/48204/task/48222/stat : 48222 (Common-Cleaner) S 48201 48204 47837 0 -1 4194368 1481 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 1440085 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48224] ppid=48201 vsize=19063512 memory=5760340 CPUtime=0 cores=1,3
/proc/48204/task/48224/stat : 48224 (Timer-0) S 48201 48204 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49883254 19521036288 1440085 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
Current children cumulated CPU time: 3290.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5760340 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/340 48594
/proc/meminfo: memFree=112235340/131249988 swapFree=33010684/33010684
[pid=48204] ppid=48201 vsize=19063512 memory=5776728 CPUtime=3350.48 cores=1,3
/proc/48204/stat : 48204 (java) S 48201 48204 47837 0 -1 4194304 124453 0 0 0 334879 169 0 0 20 0 20 0 49883090 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
/proc/48204/statm: 4765878 1444182 5560 1 0 1807751 0
[pid=48204/tid=48206] ppid=48201 vsize=19063512 memory=10752 CPUtime=3324.21 cores=1,3
/proc/48204/task/48206/stat : 48206 (java) R 48201 48204 47837 0 -1 4194368 49621 0 0 0 332398 23 0 0 20 0 20 0 49883092 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48215] ppid=48201 vsize=19063512 memory=5776728 CPUtime=0 cores=1,3
/proc/48204/task/48215/stat : 48215 (Finalizer) S 48201 48204 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48222] ppid=48201 vsize=19063512 memory=5776728 CPUtime=0 cores=1,3
/proc/48204/task/48222/stat : 48222 (Common-Cleaner) S 48201 48204 47837 0 -1 4194368 1481 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48224] ppid=48201 vsize=19063512 memory=5776728 CPUtime=0 cores=1,3
/proc/48204/task/48224/stat : 48224 (Timer-0) S 48201 48204 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49883254 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
Current children cumulated CPU time: 3350.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5776728 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/340 48597
/proc/meminfo: memFree=112124384/131249988 swapFree=33010684/33010684
[pid=48204] ppid=48201 vsize=19063512 memory=5776728 CPUtime=3410.53 cores=1,3
/proc/48204/stat : 48204 (java) S 48201 48204 47837 0 -1 4194304 125911 0 0 0 340883 170 0 0 20 0 20 0 49883090 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
/proc/48204/statm: 4765878 1444182 5560 1 0 1807751 0
[pid=48204/tid=48206] ppid=48201 vsize=19063512 memory=10752 CPUtime=3383.92 cores=1,3
/proc/48204/task/48206/stat : 48206 (java) R 48201 48204 47837 0 -1 4194368 50758 0 0 0 338368 24 0 0 20 0 20 0 49883092 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48215] ppid=48201 vsize=19063512 memory=18176 CPUtime=0 cores=1,3
/proc/48204/task/48215/stat : 48215 (Finalizer) S 48201 48204 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48222] ppid=48201 vsize=19063512 memory=5776728 CPUtime=0 cores=1,3
/proc/48204/task/48222/stat : 48222 (Common-Cleaner) S 48201 48204 47837 0 -1 4194368 1490 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48224] ppid=48201 vsize=19063512 memory=5776728 CPUtime=0 cores=1,3
/proc/48204/task/48224/stat : 48224 (Timer-0) S 48201 48204 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49883254 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
Current children cumulated CPU time: 3410.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5776728 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/340 48598
/proc/meminfo: memFree=112124496/131249988 swapFree=33010684/33010684
[pid=48204] ppid=48201 vsize=19063512 memory=5776728 CPUtime=3470.74 cores=1,3
/proc/48204/stat : 48204 (java) S 48201 48204 47837 0 -1 4194304 127659 0 0 0 346904 170 0 0 20 0 20 0 49883090 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
/proc/48204/statm: 4765878 1444182 5560 1 0 1807751 0
[pid=48204/tid=48206] ppid=48201 vsize=19063512 memory=5776728 CPUtime=3443.43 cores=1,3
/proc/48204/task/48206/stat : 48206 (java) R 48201 48204 47837 0 -1 4194368 51505 0 0 0 344319 24 0 0 20 0 20 0 49883092 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48215] ppid=48201 vsize=19063512 memory=1920 CPUtime=0 cores=1,3
/proc/48204/task/48215/stat : 48215 (Finalizer) S 48201 48204 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48222] ppid=48201 vsize=19063512 memory=5776728 CPUtime=0 cores=1,3
/proc/48204/task/48222/stat : 48222 (Common-Cleaner) S 48201 48204 47837 0 -1 4194368 1500 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48224] ppid=48201 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/48204/task/48224/stat : 48224 (Timer-0) S 48201 48204 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49883254 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
Current children cumulated CPU time: 3470.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5776728 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/340 48600
/proc/meminfo: memFree=112123892/131249988 swapFree=33010684/33010684
[pid=48204] ppid=48201 vsize=19063512 memory=5776728 CPUtime=3530.87 cores=1,3
/proc/48204/stat : 48204 (java) S 48201 48204 47837 0 -1 4194304 129842 0 0 0 352915 172 0 0 20 0 20 0 49883090 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
/proc/48204/statm: 4765878 1444182 5560 1 0 1807751 0
[pid=48204/tid=48206] ppid=48201 vsize=19063512 memory=1920 CPUtime=3503.03 cores=1,3
/proc/48204/task/48206/stat : 48206 (java) R 48201 48204 47837 0 -1 4194368 52859 0 0 0 350279 24 0 0 20 0 20 0 49883092 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48215] ppid=48201 vsize=19063512 memory=18176 CPUtime=0 cores=1,3
/proc/48204/task/48215/stat : 48215 (Finalizer) S 48201 48204 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48222] ppid=48201 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/48204/task/48222/stat : 48222 (Common-Cleaner) S 48201 48204 47837 0 -1 4194368 1553 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48224] ppid=48201 vsize=19063512 memory=2764 CPUtime=0 cores=1,3
/proc/48204/task/48224/stat : 48224 (Timer-0) S 48201 48204 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49883254 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
Current children cumulated CPU time: 3530.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5776728 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/340 48604
/proc/meminfo: memFree=112124372/131249988 swapFree=33010684/33010684
[pid=48204] ppid=48201 vsize=19063512 memory=5776728 CPUtime=3590.96 cores=1,3
/proc/48204/stat : 48204 (java) S 48201 48204 47837 0 -1 4194304 131570 0 0 0 358924 172 0 0 20 0 20 0 49883090 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
/proc/48204/statm: 4765878 1444182 5560 1 0 1807751 0
[pid=48204/tid=48206] ppid=48201 vsize=19063512 memory=5776728 CPUtime=3562.67 cores=1,3
/proc/48204/task/48206/stat : 48206 (java) R 48201 48204 47837 0 -1 4194368 53701 0 0 0 356243 24 0 0 20 0 20 0 49883092 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48215] ppid=48201 vsize=19063512 memory=5776728 CPUtime=0 cores=1,3
/proc/48204/task/48215/stat : 48215 (Finalizer) S 48201 48204 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48222] ppid=48201 vsize=19063512 memory=18176 CPUtime=0 cores=1,3
/proc/48204/task/48222/stat : 48222 (Common-Cleaner) S 48201 48204 47837 0 -1 4194368 1606 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48224] ppid=48201 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/48204/task/48224/stat : 48224 (Timer-0) S 48201 48204 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49883254 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
Current children cumulated CPU time: 3590.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5776728 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3591.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/340 48605
/proc/meminfo: memFree=112124396/131249988 swapFree=33010684/33010684
[pid=48204] ppid=48201 vsize=19063512 memory=5776728 CPUtime=3600.05 cores=1,3
/proc/48204/stat : 48204 (java) S 48201 48204 47837 0 -1 4194304 131771 0 0 0 359832 173 0 0 20 0 20 0 49883090 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
/proc/48204/statm: 4765878 1444182 5560 1 0 1807751 0
[pid=48204/tid=48206] ppid=48201 vsize=19063512 memory=7028 CPUtime=3571.75 cores=1,3
/proc/48204/task/48206/stat : 48206 (java) R 48201 48204 47837 0 -1 4194368 53895 0 0 0 357151 24 0 0 20 0 20 0 49883092 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48215] ppid=48201 vsize=19063512 memory=4230940 CPUtime=0 cores=1,3
/proc/48204/task/48215/stat : 48215 (Finalizer) S 48201 48204 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48222] ppid=48201 vsize=19063512 memory=12416 CPUtime=0 cores=1,3
/proc/48204/task/48222/stat : 48222 (Common-Cleaner) S 48201 48204 47837 0 -1 4194368 1606 0 0 0 0 0 0 0 20 0 20 0 49883095 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48224] ppid=48201 vsize=19063512 memory=2724 CPUtime=0 cores=1,3
/proc/48204/task/48224/stat : 48224 (Timer-0) S 48201 48204 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49883254 19521036288 1444182 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5776728 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.58 s, system=1.75407 s

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

[startup+3591.5 s]
/proc/loadavg: 4.15 4.12 4.09 5/340 48605
/proc/meminfo: memFree=112124396/131249988 swapFree=33010684/33010684
[pid=48204] ppid=48201 vsize=19263204 memory=5777368 CPUtime=3600.25 cores=1,3
/proc/48204/stat : 48204 (java) S 48201 48204 47837 0 -1 4194304 133541 0 0 0 359852 173 0 0 20 0 21 0 49883090 19725520896 1444342 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
/proc/48204/statm: 4815801 1444342 5560 1 0 1808712 0
[pid=48204/tid=48206] ppid=48201 vsize=19263204 memory=14848 CPUtime=3571.85 cores=1,3
/proc/48204/task/48206/stat : 48206 (java) R 48201 48204 47837 0 -1 4194368 54060 0 0 0 357161 24 0 0 20 0 21 0 49883092 19725520896 1444342 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48215] ppid=48201 vsize=19263204 memory=5632 CPUtime=0 cores=1,3
/proc/48204/task/48215/stat : 48215 (Finalizer) S 48201 48204 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49883095 19725520896 1444342 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
[pid=48204/tid=48222] ppid=48201 vsize=19263204 memory=5776728 CPUtime=0 cores=1,3
/proc/48204/task/48222/stat : 48222 (Common-Cleaner) S 48201 48204 47837 0 -1 4194368 1606 0 0 0 0 0 0 0 20 0 21 0 49883095 19725520896 1444342 18446744073709551615 94414000168960 94414000172656 140726291860128 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94414000180472 94414000181264 94414007259136 140726291868033 140726291868134 140726291868134 140726291873736 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 5777368 KiB

Child status: 143

Real time (s): 3591.55
CPU time (s): 3600.33
CPU user time (s): 3598.58
CPU system time (s): 1.75407
CPU usage (%): 100.244
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 5777368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.58
system time used= 1.75407
maximum resident set size= 5777624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120303
involuntary context switches= 7025


# summary of solver processes directly reported to runsolver:
#   pid: 48204
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3598.58
#   total CPU system time (s): 1.75407

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65574 second user time and 15.5155 second system time

The end

Begin job on nodeC020 at 2025-07-01 05:54:15
IDJOB=4489514
IDBENCH=147555
IDSOLVER=3363
FILE ID=nodeC020/4489514-1751342055
RUNJOBID= nodeC020-1751338555-47849
SLURM_JOB_ID= 9594397
Free space on /tmp= 432932 MiB

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

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

MD5SUM BENCH= 50cf9112b5ea763531dadde21846562c
RANDOM SEED=1036602082

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        89404356 kB
MemAvailable:   89711552 kB
Buffers:            3280 kB
Cached:          1111760 kB
SwapCached:            0 kB
Active:         40403860 kB
Inactive:         803356 kB
Active(anon):   40110232 kB
Inactive(anon):        0 kB
Active(file):     293628 kB
Inactive(file):   803356 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             17288 kB
Writeback:             0 kB
AnonPages:      40092044 kB
Mapped:           123516 kB
Shmem:             18056 kB
KReclaimable:      98904 kB
Slab:             186712 kB
SReclaimable:      98904 kB
SUnreclaim:        87808 kB
KernelStack:        5196 kB
PageTables:        81940 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:   43916720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  39624704 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432880 MiB
End job on nodeC020 at 2025-07-01 06:54:07