0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.11/0.13	c Pseudo Boolean Optimization by upper bound
0.11/0.13	c --- Begin Solver configuration ---
0.11/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.13	c Learn all clauses as in MiniSAT
0.11/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.13	c Expensive reason simplification
0.11/0.13	c Glucose 2.1 dynamic restart strategy
0.11/0.13	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.13	c timeout=2147483s
0.11/0.13	c DB Simplification allowed=false
0.11/0.13	c Listener: none
0.11/0.13	c --- End Solver configuration ---
0.11/0.13	c solving HOME/instance-4489606-1751342110.opb
0.11/0.13	c reading problem ... 
0.11/0.14	c  objective function found
2.32/1.52	c ... done. Wall clock time 1.388s.
2.32/1.52	c declared #vars     10000
2.32/1.52	c #constraints  656900
2.32/1.52	c constraints type 
2.32/1.52	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
2.32/1.52	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
2.32/1.52	c 656900 constraints processed.
2.32/1.53	c objective function length is 10000 literals
3.12/1.96	c SATISFIABLE
3.12/1.96	c OPTIMIZING...
3.12/1.96	c Got one! Elapsed wall clock time (in seconds):1.827
3.12/1.96	o 1569
3.70/2.21	c Got one! Elapsed wall clock time (in seconds):2.073
3.70/2.21	o 1366
3.70/2.27	c Got one! Elapsed wall clock time (in seconds):2.137
3.70/2.27	o 1116
5.31/3.30	c cleaning 2830 clauses out of 5713 with flag 14448/5713
6.53/4.42	c cleaning 4403 clauses out of 8883 with flag 31766/11713
7.96/5.72	c cleaning 5708 clauses out of 11480 with flag 53159/18713
10.15/7.98	c cleaning 6875 clauses out of 13772 with flag 76770/26713
12.85/10.68	c cleaning 7942 clauses out of 15897 with flag 107129/35713
15.95/13.73	c cleaning 8972 clauses out of 17955 with flag 137939/45713
19.04/16.85	c cleaning 9989 clauses out of 19983 with flag 176469/56713
22.33/20.17	c cleaning 10992 clauses out of 21994 with flag 216545/68713
26.02/23.89	c cleaning 11994 clauses out of 24002 with flag 259390/81713
30.22/28.08	c cleaning 13003 clauses out of 26008 with flag 306870/95713
34.81/32.63	c cleaning 14001 clauses out of 28005 with flag 363166/110713
39.50/37.33	c cleaning 15000 clauses out of 30005 with flag 415595/126714
44.71/42.53	c cleaning 16003 clauses out of 32005 with flag 471354/143714
50.02/47.80	c cleaning 16991 clauses out of 34004 with flag 530764/161716
55.42/53.27	c cleaning 18004 clauses out of 36011 with flag 598831/180714
60.80/58.69	c cleaning 19000 clauses out of 38006 with flag 665208/200713
66.85/64.69	c cleaning 19991 clauses out of 40006 with flag 734398/221713
73.34/71.11	c cleaning 20994 clauses out of 42015 with flag 807241/243713
79.92/77.75	c cleaning 21993 clauses out of 44021 with flag 890628/266713
86.91/84.74	c cleaning 23005 clauses out of 46028 with flag 970119/290713
94.50/92.31	c cleaning 24007 clauses out of 48023 with flag 1059960/315713
101.98/99.82	c cleaning 25003 clauses out of 50018 with flag 1152288/341715
109.46/107.35	c cleaning 25993 clauses out of 52014 with flag 1246937/368714
117.74/115.60	c cleaning 27007 clauses out of 54021 with flag 1347933/396714
126.52/124.40	c cleaning 27999 clauses out of 56013 with flag 1456601/425713
135.80/133.63	c cleaning 29004 clauses out of 58014 with flag 1561646/455713
144.88/142.79	c cleaning 30001 clauses out of 60013 with flag 1678835/486716
155.16/153.08	c cleaning 31005 clauses out of 62010 with flag 1798373/518714
164.83/162.73	c cleaning 31994 clauses out of 64004 with flag 1923533/551713
175.12/173.05	c cleaning 32998 clauses out of 66010 with flag 2047396/585713
185.70/183.65	c cleaning 33996 clauses out of 68013 with flag 2163235/620714
196.57/194.51	c cleaning 35002 clauses out of 70016 with flag 2294144/656713
207.23/205.19	c cleaning 36000 clauses out of 72014 with flag 2428984/693713
218.39/216.40	c cleaning 37001 clauses out of 74014 with flag 2561759/731713
229.97/227.98	c cleaning 38002 clauses out of 76014 with flag 2703021/770714
241.94/239.94	c cleaning 38990 clauses out of 78012 with flag 2835853/810714
254.81/252.82	c cleaning 40005 clauses out of 80021 with flag 2981085/851713
267.50/265.56	c cleaning 41002 clauses out of 82016 with flag 3125538/893713
280.44/278.49	c cleaning 41999 clauses out of 84014 with flag 3279137/936713
293.11/291.13	c cleaning 42999 clauses out of 86015 with flag 3424635/980713
306.18/304.23	c cleaning 43998 clauses out of 88016 with flag 3572407/1025713
319.75/317.83	c cleaning 45002 clauses out of 90019 with flag 3725688/1071714
333.82/331.93	c cleaning 45985 clauses out of 92016 with flag 3893376/1118713
348.29/346.49	c cleaning 47005 clauses out of 94033 with flag 4059922/1166715
364.13/362.26	c cleaning 48005 clauses out of 96026 with flag 4236442/1215713
380.19/378.31	c cleaning 49008 clauses out of 98024 with flag 4408981/1265716
396.45/394.69	c cleaning 50004 clauses out of 100013 with flag 4587198/1316713
412.83/411.09	c cleaning 50996 clauses out of 102009 with flag 4773310/1368713
429.18/427.48	c cleaning 52002 clauses out of 104013 with flag 4990748/1421713
445.93/444.11	c cleaning 52998 clauses out of 106011 with flag 5188329/1475713
461.69/459.91	c cleaning 53997 clauses out of 108013 with flag 5374170/1530713
477.76/476.04	c cleaning 54998 clauses out of 110017 with flag 5571116/1586714
494.73/493.02	c cleaning 55998 clauses out of 112019 with flag 5768739/1643714
512.44/510.73	c cleaning 56998 clauses out of 114020 with flag 5976386/1701713
530.81/529.12	c cleaning 58004 clauses out of 116022 with flag 6190028/1760713
549.37/547.72	c cleaning 58995 clauses out of 118018 with flag 6405492/1820713
568.32/566.75	c cleaning 60001 clauses out of 120023 with flag 6616128/1881713
587.25/585.65	c cleaning 61004 clauses out of 122024 with flag 6831073/1943715
606.81/605.27	c cleaning 62008 clauses out of 124019 with flag 7055226/2006714
627.27/625.77	c cleaning 62999 clauses out of 126010 with flag 7274609/2070713
648.12/646.60	c cleaning 63999 clauses out of 128015 with flag 7503188/2135717
668.84/667.37	c cleaning 64991 clauses out of 130012 with flag 7740340/2201713
690.60/689.18	c cleaning 65991 clauses out of 132024 with flag 8001364/2268716
712.55/711.18	c cleaning 67003 clauses out of 134030 with flag 8258834/2336713
735.88/734.44	c cleaning 68010 clauses out of 136028 with flag 8521849/2405714
759.43/758.09	c cleaning 69006 clauses out of 138017 with flag 8790392/2475713
782.38/781.05	c cleaning 70001 clauses out of 140011 with flag 9047000/2546713
806.13/804.84	c cleaning 71003 clauses out of 142010 with flag 9312553/2618713
831.36/830.05	c cleaning 72004 clauses out of 144008 with flag 9586100/2691714
853.70/852.48	c cleaning 72994 clauses out of 146003 with flag 9843968/2765713
876.74/875.52	c cleaning 73994 clauses out of 148009 with flag 10106659/2840713
900.49/899.30	c cleaning 74991 clauses out of 150015 with flag 10386712/2916713
923.92/922.78	c cleaning 75998 clauses out of 152024 with flag 10672643/2993713
948.06/947.00	c cleaning 77000 clauses out of 154026 with flag 10959729/3071713
973.01/971.94	c cleaning 78004 clauses out of 156026 with flag 11263755/3150713
997.66/996.67	c cleaning 78999 clauses out of 158023 with flag 11561488/3230714
1023.90/1022.99	c cleaning 80002 clauses out of 160023 with flag 11864864/3311713
1049.83/1048.95	c cleaning 81000 clauses out of 162021 with flag 12175529/3393713
1076.37/1075.47	c cleaning 81999 clauses out of 164021 with flag 12496082/3476713
1103.20/1102.38	c cleaning 82990 clauses out of 166022 with flag 12829524/3560713
1130.53/1129.72	c cleaning 84014 clauses out of 168033 with flag 13166283/3645714
1158.87/1158.10	c cleaning 84999 clauses out of 170019 with flag 13509795/3731714
1187.98/1187.22	c cleaning 86011 clauses out of 172021 with flag 13839535/3818715
1216.62/1215.98	c cleaning 86999 clauses out of 174009 with flag 14170648/3906714
1246.46/1245.87	c cleaning 88001 clauses out of 176009 with flag 14503387/3995713
1277.19/1276.63	c cleaning 89003 clauses out of 178008 with flag 14846018/4085713
1309.24/1308.50	c cleaning 89983 clauses out of 180005 with flag 15196968/4176713
1340.28/1339.66	c cleaning 91005 clauses out of 182022 with flag 15545186/4268713
1371.90/1371.33	c cleaning 92005 clauses out of 184017 with flag 15903502/4361713
1404.12/1403.62	c cleaning 93007 clauses out of 186013 with flag 16263672/4455714
1437.03/1436.56	c cleaning 93995 clauses out of 188005 with flag 16629695/4550713
1470.56/1470.19	c cleaning 95002 clauses out of 190011 with flag 17002850/4646714
1504.29/1503.96	c cleaning 95997 clauses out of 192009 with flag 17400906/4743714
1539.71/1539.48	c cleaning 96992 clauses out of 194012 with flag 17797540/4841714
1573.13/1572.90	c cleaning 98007 clauses out of 196019 with flag 18170895/4940713
1608.08/1607.88	c cleaning 99005 clauses out of 198014 with flag 18557340/5040715
1644.69/1644.50	c cleaning 100004 clauses out of 200007 with flag 18972287/5141713
1682.11/1682.03	c cleaning 101001 clauses out of 202004 with flag 19385284/5243714
1720.63/1720.62	c cleaning 101993 clauses out of 204002 with flag 19800052/5346713
1759.65/1759.51	c cleaning 102992 clauses out of 206009 with flag 20229080/5450713
1798.96/1798.99	c cleaning 104003 clauses out of 208017 with flag 20675627/5555713
1836.37/1836.44	c cleaning 105003 clauses out of 210014 with flag 21162086/5661713
1874.00/1873.91	c cleaning 105997 clauses out of 212013 with flag 21628594/5768715
1914.01/1914.01	c cleaning 106999 clauses out of 214014 with flag 22113652/5876713
1954.72/1954.82	c cleaning 107999 clauses out of 216017 with flag 22610950/5985715
1995.34/1994.71	c cleaning 109003 clauses out of 218016 with flag 23063411/6095713
2035.85/2035.37	c cleaning 110006 clauses out of 220014 with flag 23476653/6206714
2078.89/2078.31	c cleaning 111004 clauses out of 222008 with flag 23916431/6318714
2123.50/2123.01	c cleaning 111999 clauses out of 224003 with flag 24381195/6431713
2170.06/2169.58	c cleaning 113003 clauses out of 226005 with flag 24872808/6545714
2214.47/2214.10	c cleaning 114000 clauses out of 228002 with flag 25332611/6660714
2259.81/2259.32	c cleaning 115001 clauses out of 230001 with flag 25796566/6776713
2306.61/2306.29	c cleaning 115988 clauses out of 232000 with flag 26264536/6893713
2355.56/2355.15	c cleaning 117005 clauses out of 234012 with flag 26732029/7011713
2406.58/2406.18	c cleaning 117992 clauses out of 236008 with flag 27275824/7130714
2457.22/2456.76	c cleaning 119008 clauses out of 238016 with flag 27795366/7250714
2504.92/2504.53	c cleaning 120003 clauses out of 240009 with flag 28301156/7371715
2555.68/2555.29	c cleaning 120998 clauses out of 242007 with flag 28807529/7493716
2607.66/2607.32	c cleaning 121993 clauses out of 244006 with flag 29350618/7616713
2659.25/2658.90	c cleaning 122997 clauses out of 246013 with flag 29853561/7740713
2710.74/2710.37	c cleaning 124007 clauses out of 248016 with flag 30371437/7865713
2764.10/2763.88	c cleaning 124997 clauses out of 250010 with flag 30862565/7991714
2818.26/2817.25	c cleaning 125999 clauses out of 252013 with flag 31381299/8118714
2870.90/2869.83	c cleaning 126996 clauses out of 254014 with flag 31895005/8246714
2924.29/2923.30	c cleaning 128009 clauses out of 256017 with flag 32414130/8375713
2976.85/2975.87	c cleaning 128983 clauses out of 258008 with flag 32947795/8505713
3028.83/3027.71	c cleaning 129999 clauses out of 260026 with flag 33453704/8636714
3079.92/3078.96	c cleaning 131004 clauses out of 262026 with flag 33996370/8768713
3137.70/3136.73	c cleaning 131995 clauses out of 264022 with flag 34568232/8901713
3194.14/3193.17	c cleaning 133013 clauses out of 266028 with flag 35104730/9035714
3254.80/3253.90	c cleaning 134007 clauses out of 268014 with flag 35673019/9170713
3316.61/3315.76	c cleaning 135004 clauses out of 270007 with flag 36240592/9306713
3376.88/3375.94	c cleaning 135975 clauses out of 272003 with flag 36822424/9443713
3437.65/3436.85	c cleaning 137003 clauses out of 274030 with flag 37418080/9581715
3498.04/3497.27	c cleaning 138010 clauses out of 276026 with flag 38009988/9720714
3561.80/3561.03	c cleaning 138998 clauses out of 278015 with flag 38609707/9860713
3600.08/3599.21	c starts		: 17
3600.08/3599.23	c conflicts		: 9946794
3600.08/3599.23	c decisions		: 25823632
3600.08/3599.23	c propagations		: 2358739358
3600.08/3599.23	c inspects		: 4345818133
3600.08/3599.23	c shortcuts		: 0
3600.08/3599.23	c learnt literals	: 0
3600.08/3599.23	c learnt binary clauses	: 0
3600.08/3599.23	c learnt ternary clauses	: 0
3600.08/3599.23	c learnt constraints	: 9946794
3600.08/3599.23	c ignored constraints	: 0
3600.08/3599.23	c root simplifications	: 0
3600.08/3599.23	c removed literals (reason simplification)	: 1206093734
3600.08/3599.23	c reason swapping (by a shorter reason)	: 0
3600.08/3599.23	c Calls to reduceDB	: 136
3600.08/3599.23	c Number of update (reduction) of LBD	: 3442485
3600.08/3599.23	c Imported unit clauses	: 0
3600.08/3599.23	c No decision after first conflict	: false
3600.08/3599.23	c number of reductions to clauses (during analyze)	: 0
3600.08/3599.23	c number of learned constraints concerned by reduction	: 0
3600.08/3599.23	c number of learning phase by resolution	: 0
3600.08/3599.23	c number of learning phase by cutting planes	: 0
3600.08/3599.23	c number of rounding to 1 operations	: 0
3600.08/3599.23	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3599.23	c number of reductions of the coefficients by power 2 	: 0
3600.08/3599.23	c number of right shift for reduction by power 2 	: 0
3600.08/3599.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3599.23	c number of ending skipping 	: 0
3600.08/3599.23	c number of internal skipping 	: 0
3600.08/3599.23	c number of derivation steps 	: 0
3600.08/3599.24	c number of skipped derivation steps 	: 0
3600.08/3599.24	c number of remaining unassigned 	: 0
3600.08/3599.24	c number of remaining assigned 	: 0
3600.08/3599.24	c number of falsified literals weakened from reason	: 0
3600.08/3599.24	c number of falsified literals weakened from conflict	: 0
3600.08/3599.24	c time for arithmetic operations	: 0
3600.08/3599.24	c minimum degree of deleted constraints	: null
3600.08/3599.24	c maximum degree of deleted constraints	: null
3600.08/3599.24	c number of deleted constraints	: 0
3600.08/3599.25	c speed (assignments/second)	: 655624.6127384789
3600.08/3599.25	c non guided choices	: 0
3600.28/3599.31	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 225098
3600.28/3599.31	s SATISFIABLE
3600.28/3599.31	c Found 3 solution(s)
3600.28/3599.32	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.28/3599.34	c objective function=1116
3600.28/3599.34	c Total wall clock time (in seconds): 3599.205

OK	1116

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=48344, runsolver pid=48341

[startup+0.100059 s]*
/proc/loadavg: 4.05 4.13 4.10 5/339 48362
/proc/meminfo: memFree=114807588/131249988 swapFree=33010684/33010684
[pid=48344] ppid=48341 vsize=18930384 memory=57200 CPUtime=0.11 cores=0,2
/proc/48344/stat : 48344 (java) S 48341 48344 47837 0 -1 4194304 6437 0 0 0 9 2 0 0 20 0 18 0 49888634 19384713216 14300 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
/proc/48344/statm: 4732596 14300 5351 1 0 547580 0
[pid=48344/tid=48346] ppid=48341 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=0,2
/proc/48344/task/48346/stat : 48346 (java) R 48341 48344 47837 0 -1 4194368 5024 0 0 0 5 1 0 0 20 0 18 0 49888636 19384713216 14300 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48355] ppid=48341 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/48344/task/48355/stat : 48355 (Finalizer) S 48341 48344 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49888638 19384713216 14300 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48362] ppid=48341 vsize=18930384 memory=55186957824150 CPUtime=0 cores=0,2
/proc/48344/task/48362/stat : 48362 (Common-Cleaner) S 48341 48344 47837 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49888639 19384713216 14300 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57200 KiB

[startup+0.205771 s]*
/proc/loadavg: 4.05 4.13 4.10 7/339 48362
/proc/meminfo: memFree=114797884/131249988 swapFree=33010684/33010684
[pid=48344] ppid=48341 vsize=18930384 memory=71268 CPUtime=0.3 cores=0,2
/proc/48344/stat : 48344 (java) S 48341 48344 47837 0 -1 4194304 6816 0 0 0 28 2 0 0 20 0 18 0 49888634 19384713216 17817 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
/proc/48344/statm: 4732596 17817 5415 1 0 547882 0
[pid=48344/tid=48346] ppid=48341 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=0,2
/proc/48344/task/48346/stat : 48346 (java) R 48341 48344 47837 0 -1 4194368 5258 0 0 0 15 2 0 0 20 0 18 0 49888636 19384713216 17817 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48355] ppid=48341 vsize=18930384 memory=17146 CPUtime=0 cores=0,2
/proc/48344/task/48355/stat : 48355 (Finalizer) S 48341 48344 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49888638 19384713216 17817 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48362] ppid=48341 vsize=18930384 memory=54087446168546 CPUtime=0 cores=0,2
/proc/48344/task/48362/stat : 48362 (Common-Cleaner) S 48341 48344 47837 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49888639 19384713216 17817 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 71268 KiB

[startup+0.305783 s]*
/proc/loadavg: 4.05 4.13 4.10 6/339 48362
/proc/meminfo: memFree=114757240/131249988 swapFree=33010684/33010684
[pid=48344] ppid=48341 vsize=18930384 memory=114628 CPUtime=0.5 cores=0,2
/proc/48344/stat : 48344 (java) S 48341 48344 47837 0 -1 4194304 8529 0 0 0 47 3 0 0 20 0 18 0 49888634 19384713216 28657 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
/proc/48344/statm: 4732596 28657 5415 1 0 548992 0
[pid=48344/tid=48346] ppid=48341 vsize=18930384 memory=-6000919502788191339 CPUtime=0.25 cores=0,2
/proc/48344/task/48346/stat : 48346 (java) R 48341 48344 47837 0 -1 4194368 5279 0 0 0 23 2 0 0 20 0 18 0 49888636 19384713216 28657 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48355] ppid=48341 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/48344/task/48355/stat : 48355 (Finalizer) S 48341 48344 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49888638 19384713216 28657 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48362] ppid=48341 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/48344/task/48362/stat : 48362 (Common-Cleaner) S 48341 48344 47837 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49888639 19384713216 28657 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 114628 KiB

[startup+0.700246 s]
/proc/loadavg: 4.05 4.13 4.10 6/340 48363
/proc/meminfo: memFree=114702544/131249988 swapFree=33010684/33010684
[pid=48344] ppid=48341 vsize=18996948 memory=181224 CPUtime=1.26 cores=0,2
/proc/48344/stat : 48344 (java) S 48341 48344 47837 0 -1 4194304 11893 0 0 0 120 6 0 0 20 0 19 0 49888634 19452874752 45306 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
/proc/48344/statm: 4749237 45306 5447 1 0 551403 0
[pid=48344/tid=48346] ppid=48341 vsize=18996948 memory=18176 CPUtime=0.6 cores=0,2
/proc/48344/task/48346/stat : 48346 (java) R 48341 48344 47837 0 -1 4194368 5301 0 0 0 57 3 0 0 20 0 19 0 49888636 19452874752 45306 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48355] ppid=48341 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/48344/task/48355/stat : 48355 (Finalizer) S 48341 48344 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49888638 19452874752 45306 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48362] ppid=48341 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/48344/task/48362/stat : 48362 (Common-Cleaner) S 48341 48344 47837 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 49888639 19452874752 45306 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 181224 KiB

[startup+1.50019 s]
/proc/loadavg: 4.05 4.13 4.10 5/340 48363
/proc/meminfo: memFree=114555468/131249988 swapFree=33010684/33010684
[pid=48344] ppid=48341 vsize=18996948 memory=385540 CPUtime=2.32 cores=0,2
/proc/48344/stat : 48344 (java) S 48341 48344 47837 0 -1 4194304 12898 0 0 0 221 11 0 0 20 0 19 0 49888634 19452874752 96385 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
/proc/48344/statm: 4749237 96385 5447 1 0 875192 0
[pid=48344/tid=48346] ppid=48341 vsize=18996948 memory=3328 CPUtime=1.29 cores=0,2
/proc/48344/task/48346/stat : 48346 (java) R 48341 48344 47837 0 -1 4194368 5392 0 0 0 122 7 0 0 20 0 19 0 49888636 19452874752 96385 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48355] ppid=48341 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/48344/task/48355/stat : 48355 (Finalizer) S 48341 48344 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49888638 19452874752 96385 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48362] ppid=48341 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/48344/task/48362/stat : 48362 (Common-Cleaner) S 48341 48344 47837 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 49888639 19452874752 96385 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
Current children cumulated CPU time: 2.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 385540 KiB

[startup+3.10559 s]
/proc/loadavg: 4.05 4.13 4.10 5/341 48364
/proc/meminfo: memFree=114392164/131249988 swapFree=33010684/33010684
[pid=48344] ppid=48341 vsize=19063512 memory=474152 CPUtime=5.1 cores=0,2
/proc/48344/stat : 48344 (java) S 48341 48344 47837 0 -1 4194304 14054 0 0 0 496 14 0 0 20 0 20 0 49888634 19521036288 118538 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
/proc/48344/statm: 4765878 118538 5511 1 0 1517198 0
[pid=48344/tid=48346] ppid=48341 vsize=19063512 memory=10752 CPUtime=2.82 cores=0,2
/proc/48344/task/48346/stat : 48346 (java) R 48341 48344 47837 0 -1 4194368 5566 0 0 0 274 8 0 0 20 0 20 0 49888636 19521036288 118538 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48355] ppid=48341 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/48344/task/48355/stat : 48355 (Finalizer) S 48341 48344 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49888638 19521036288 118538 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48362] ppid=48341 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/48344/task/48362/stat : 48362 (Common-Cleaner) S 48341 48344 47837 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 49888639 19521036288 118538 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48364] ppid=48341 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/48344/task/48364/stat : 48364 (Timer-0) S 48341 48344 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49888789 19521036288 118538 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
Current children cumulated CPU time: 5.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 474152 KiB

[startup+6.30015 s]
/proc/loadavg: 4.12 4.15 4.10 5/341 48364
/proc/meminfo: memFree=114339148/131249988 swapFree=33010684/33010684
[pid=48344] ppid=48341 vsize=19063512 memory=519604 CPUtime=8.55 cores=0,2
/proc/48344/stat : 48344 (java) S 48341 48344 47837 0 -1 4194304 14167 0 0 0 840 15 0 0 20 0 20 0 49888634 19521036288 129901 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
/proc/48344/statm: 4765878 129901 5511 1 0 1517232 0
[pid=48344/tid=48346] ppid=48341 vsize=19063512 memory=0 CPUtime=6 cores=0,2
/proc/48344/task/48346/stat : 48346 (java) R 48341 48344 47837 0 -1 4194368 5635 0 0 0 591 9 0 0 20 0 20 0 49888636 19521036288 129901 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48355] ppid=48341 vsize=19063512 memory=4282244484372401526 CPUtime=0 cores=0,2
/proc/48344/task/48355/stat : 48355 (Finalizer) S 48341 48344 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49888638 19521036288 129901 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48362] ppid=48341 vsize=19063512 memory=-6000919502788191339 CPUtime=0 cores=0,2
/proc/48344/task/48362/stat : 48362 (Common-Cleaner) S 48341 48344 47837 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 49888639 19521036288 129901 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48364] ppid=48341 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/48344/task/48364/stat : 48364 (Timer-0) S 48341 48344 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49888789 19521036288 129901 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
Current children cumulated CPU time: 8.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 519604 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.15 4.10 5/341 48431
/proc/meminfo: memFree=127368312/131249988 swapFree=33010684/33010684
[pid=48344] ppid=48341 vsize=19063512 memory=540212 CPUtime=14.95 cores=0,2
/proc/48344/stat : 48344 (java) S 48341 48344 47837 0 -1 4194304 15411 0 0 0 1479 16 0 0 20 0 20 0 49888634 19521036288 135053 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
/proc/48344/statm: 4765878 135053 5543 1 0 1517232 0
[pid=48344/tid=48346] ppid=48341 vsize=19063512 memory=0 CPUtime=12.38 cores=0,2
/proc/48344/task/48346/stat : 48346 (java) R 48341 48344 47837 0 -1 4194368 6269 0 0 0 1229 9 0 0 20 0 20 0 49888636 19521036288 135053 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48355] ppid=48341 vsize=19063512 memory=536116 CPUtime=0 cores=0,2
/proc/48344/task/48355/stat : 48355 (Finalizer) S 48341 48344 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49888638 19521036288 135053 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48362] ppid=48341 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/48344/task/48362/stat : 48362 (Common-Cleaner) S 48341 48344 47837 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 49888639 19521036288 135053 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48364] ppid=48341 vsize=19063512 memory=529972 CPUtime=0 cores=0,2
/proc/48344/task/48364/stat : 48364 (Timer-0) S 48341 48344 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49888789 19521036288 135053 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
Current children cumulated CPU time: 14.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 540212 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.14 4.10 5/341 48431
/proc/meminfo: memFree=127262072/131249988 swapFree=33010684/33010684
[pid=48344] ppid=48341 vsize=19063512 memory=587316 CPUtime=27.73 cores=0,2
/proc/48344/stat : 48344 (java) S 48341 48344 47837 0 -1 4194304 16882 0 0 0 2756 17 0 0 20 0 20 0 49888634 19521036288 146829 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
/proc/48344/statm: 4765878 146829 5543 1 0 1517232 0
[pid=48344/tid=48346] ppid=48341 vsize=19063512 memory=0 CPUtime=25.15 cores=0,2
/proc/48344/task/48346/stat : 48346 (java) R 48341 48344 47837 0 -1 4194368 6996 0 0 0 2505 10 0 0 20 0 20 0 49888636 19521036288 146829 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48355] ppid=48341 vsize=19063512 memory=-6000919472790463595 CPUtime=0 cores=0,2
/proc/48344/task/48355/stat : 48355 (Finalizer) S 48341 48344 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49888638 19521036288 146829 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48362] ppid=48341 vsize=19063512 memory=579124 CPUtime=0 cores=0,2
/proc/48344/task/48362/stat : 48362 (Common-Cleaner) S 48341 48344 47837 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 49888639 19521036288 146829 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48364] ppid=48341 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/48344/task/48364/stat : 48364 (Timer-0) S 48341 48344 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49888789 19521036288 146829 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
Current children cumulated CPU time: 27.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 587316 KiB

[startup+51.1055 s]
/proc/loadavg: 4.14 4.14 4.10 5/340 48432
/proc/meminfo: memFree=127052672/131249988 swapFree=33010684/33010684
[pid=48344] ppid=48341 vsize=19063512 memory=671284 CPUtime=53.33 cores=0,2
/proc/48344/stat : 48344 (java) S 48341 48344 47837 0 -1 4194304 20095 0 0 0 5314 19 0 0 20 0 20 0 49888634 19521036288 167821 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
/proc/48344/statm: 4765878 167821 5543 1 0 1517232 0
[pid=48344/tid=48346] ppid=48341 vsize=19063512 memory=665140 CPUtime=50.69 cores=0,2
/proc/48344/task/48346/stat : 48346 (java) R 48341 48344 47837 0 -1 4194368 8391 0 0 0 5057 12 0 0 20 0 20 0 49888636 19521036288 167821 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48355] ppid=48341 vsize=19063512 memory=656948 CPUtime=0 cores=0,2
/proc/48344/task/48355/stat : 48355 (Finalizer) S 48341 48344 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49888638 19521036288 167821 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48362] ppid=48341 vsize=19063512 memory=640564 CPUtime=0 cores=0,2
/proc/48344/task/48362/stat : 48362 (Common-Cleaner) S 48341 48344 47837 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 49888639 19521036288 167821 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48364] ppid=48341 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/48344/task/48364/stat : 48364 (Timer-0) S 48341 48344 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49888789 19521036288 167821 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
Current children cumulated CPU time: 53.33 s

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

[startup+3282.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/339 48592
/proc/meminfo: memFree=112235340/131249988 swapFree=33010684/33010684
[pid=48344] ppid=48341 vsize=19063512 memory=3935700 CPUtime=3283.29 cores=0,2
/proc/48344/stat : 48344 (java) S 48341 48344 47837 0 -1 4194304 99742 0 0 0 328199 130 0 0 20 0 20 0 49888634 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
/proc/48344/statm: 4765878 983925 5543 1 0 1518757 0
[pid=48344/tid=48346] ppid=48341 vsize=19063512 memory=3935700 CPUtime=3269.33 cores=0,2
/proc/48344/task/48346/stat : 48346 (java) R 48341 48344 47837 0 -1 4194368 41409 0 0 0 326915 18 0 0 20 0 20 0 49888636 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48355] ppid=48341 vsize=19063512 memory=3935700 CPUtime=0 cores=0,2
/proc/48344/task/48355/stat : 48355 (Finalizer) S 48341 48344 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49888638 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48362] ppid=48341 vsize=19063512 memory=3935700 CPUtime=0 cores=0,2
/proc/48344/task/48362/stat : 48362 (Common-Cleaner) S 48341 48344 47837 0 -1 4194368 1693 0 0 0 0 0 0 0 20 0 20 0 49888639 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48364] ppid=48341 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/48344/task/48364/stat : 48364 (Timer-0) S 48341 48344 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49888789 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
Current children cumulated CPU time: 3283.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3935700 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/340 48596
/proc/meminfo: memFree=112124360/131249988 swapFree=33010684/33010684
[pid=48344] ppid=48341 vsize=19063512 memory=3935700 CPUtime=3343.15 cores=0,2
/proc/48344/stat : 48344 (java) S 48341 48344 47837 0 -1 4194304 101098 0 0 0 334185 130 0 0 20 0 20 0 49888634 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
/proc/48344/statm: 4765878 983925 5543 1 0 1518757 0
[pid=48344/tid=48346] ppid=48341 vsize=19063512 memory=10752 CPUtime=3329.18 cores=0,2
/proc/48344/task/48346/stat : 48346 (java) R 48341 48344 47837 0 -1 4194368 42676 0 0 0 332899 19 0 0 20 0 20 0 49888636 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48355] ppid=48341 vsize=19063512 memory=3935700 CPUtime=0 cores=0,2
/proc/48344/task/48355/stat : 48355 (Finalizer) S 48341 48344 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49888638 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48362] ppid=48341 vsize=19063512 memory=3935700 CPUtime=0 cores=0,2
/proc/48344/task/48362/stat : 48362 (Common-Cleaner) S 48341 48344 47837 0 -1 4194368 1693 0 0 0 0 0 0 0 20 0 20 0 49888639 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48364] ppid=48341 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/48344/task/48364/stat : 48364 (Timer-0) S 48341 48344 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49888789 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
Current children cumulated CPU time: 3343.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3935700 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/340 48598
/proc/meminfo: memFree=112124496/131249988 swapFree=33010684/33010684
[pid=48344] ppid=48341 vsize=19063512 memory=3935700 CPUtime=3403.22 cores=0,2
/proc/48344/stat : 48344 (java) S 48341 48344 47837 0 -1 4194304 102952 0 0 0 340190 132 0 0 20 0 20 0 49888634 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
/proc/48344/statm: 4765878 983925 5543 1 0 1518757 0
[pid=48344/tid=48346] ppid=48341 vsize=19063512 memory=18176 CPUtime=3388.82 cores=0,2
/proc/48344/task/48346/stat : 48346 (java) R 48341 48344 47837 0 -1 4194368 43445 0 0 0 338863 19 0 0 20 0 20 0 49888636 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48355] ppid=48341 vsize=19063512 memory=3935700 CPUtime=0 cores=0,2
/proc/48344/task/48355/stat : 48355 (Finalizer) S 48341 48344 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49888638 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48362] ppid=48341 vsize=19063512 memory=3935700 CPUtime=0 cores=0,2
/proc/48344/task/48362/stat : 48362 (Common-Cleaner) S 48341 48344 47837 0 -1 4194368 1711 0 0 0 0 0 0 0 20 0 20 0 49888639 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48364] ppid=48341 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/48344/task/48364/stat : 48364 (Timer-0) S 48341 48344 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49888789 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
Current children cumulated CPU time: 3403.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3935700 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/340 48600
/proc/meminfo: memFree=112123892/131249988 swapFree=33010684/33010684
[pid=48344] ppid=48341 vsize=19063512 memory=3935700 CPUtime=3463.21 cores=0,2
/proc/48344/stat : 48344 (java) S 48341 48344 47837 0 -1 4194304 104159 0 0 0 346188 133 0 0 20 0 20 0 49888634 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
/proc/48344/statm: 4765878 983925 5543 1 0 1518757 0
[pid=48344/tid=48346] ppid=48341 vsize=19063512 memory=3935700 CPUtime=3448.55 cores=0,2
/proc/48344/task/48346/stat : 48346 (java) R 48341 48344 47837 0 -1 4194368 43893 0 0 0 344836 19 0 0 20 0 20 0 49888636 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48355] ppid=48341 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/48344/task/48355/stat : 48355 (Finalizer) S 48341 48344 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49888638 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48362] ppid=48341 vsize=19063512 memory=-6000919502788191339 CPUtime=0 cores=0,2
/proc/48344/task/48362/stat : 48362 (Common-Cleaner) S 48341 48344 47837 0 -1 4194368 1733 0 0 0 0 0 0 0 20 0 20 0 49888639 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48364] ppid=48341 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/48344/task/48364/stat : 48364 (Timer-0) S 48341 48344 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49888789 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
Current children cumulated CPU time: 3463.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3935700 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/340 48604
/proc/meminfo: memFree=112124372/131249988 swapFree=33010684/33010684
[pid=48344] ppid=48341 vsize=19063512 memory=3935700 CPUtime=3523.19 cores=0,2
/proc/48344/stat : 48344 (java) S 48341 48344 47837 0 -1 4194304 106192 0 0 0 352185 134 0 0 20 0 20 0 49888634 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
/proc/48344/statm: 4765878 983925 5543 1 0 1518757 0
[pid=48344/tid=48346] ppid=48341 vsize=19063512 memory=14848 CPUtime=3508.28 cores=0,2
/proc/48344/task/48346/stat : 48346 (java) R 48341 48344 47837 0 -1 4194368 45091 0 0 0 350809 19 0 0 20 0 20 0 49888636 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48355] ppid=48341 vsize=19063512 memory=3935700 CPUtime=0 cores=0,2
/proc/48344/task/48355/stat : 48355 (Finalizer) S 48341 48344 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49888638 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48362] ppid=48341 vsize=19063512 memory=1920 CPUtime=0 cores=0,2
/proc/48344/task/48362/stat : 48362 (Common-Cleaner) S 48341 48344 47837 0 -1 4194368 1733 0 0 0 0 0 0 0 20 0 20 0 49888639 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48364] ppid=48341 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/48344/task/48364/stat : 48364 (Timer-0) S 48341 48344 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49888789 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
Current children cumulated CPU time: 3523.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3935700 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/339 48672
/proc/meminfo: memFree=116452960/131249988 swapFree=33010684/33010684
[pid=48344] ppid=48341 vsize=19063512 memory=3935700 CPUtime=3583.05 cores=0,2
/proc/48344/stat : 48344 (java) S 48341 48344 47837 0 -1 4194304 107281 0 0 0 358171 134 0 0 20 0 20 0 49888634 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
/proc/48344/statm: 4765878 983925 5543 1 0 1518757 0
[pid=48344/tid=48346] ppid=48341 vsize=19063512 memory=10752 CPUtime=3568.13 cores=0,2
/proc/48344/task/48346/stat : 48346 (java) R 48341 48344 47837 0 -1 4194368 46096 0 0 0 356794 19 0 0 20 0 20 0 49888636 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48355] ppid=48341 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/48344/task/48355/stat : 48355 (Finalizer) S 48341 48344 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49888638 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48362] ppid=48341 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/48344/task/48362/stat : 48362 (Common-Cleaner) S 48341 48344 47837 0 -1 4194368 1779 0 0 0 0 0 0 0 20 0 20 0 49888639 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48364] ppid=48341 vsize=19063512 memory=18176 CPUtime=0 cores=0,2
/proc/48344/task/48364/stat : 48364 (Timer-0) S 48341 48344 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49888789 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
Current children cumulated CPU time: 3583.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3935700 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3599.2 s]
/proc/loadavg: 4.17 4.13 4.10 5/338 48739
/proc/meminfo: memFree=119017888/131249988 swapFree=33010684/33010684
[pid=48344] ppid=48341 vsize=19063512 memory=3935700 CPUtime=3600.08 cores=0,2
/proc/48344/stat : 48344 (java) S 48341 48344 47837 0 -1 4194304 108068 0 0 0 359873 135 0 0 20 0 20 0 49888634 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
/proc/48344/statm: 4765878 983925 5543 1 0 1518757 0
[pid=48344/tid=48346] ppid=48341 vsize=19063512 memory=10752 CPUtime=3584.82 cores=0,2
/proc/48344/task/48346/stat : 48346 (java) R 48341 48344 47837 0 -1 4194368 46118 0 0 0 358463 19 0 0 20 0 20 0 49888636 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48355] ppid=48341 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/48344/task/48355/stat : 48355 (Finalizer) S 48341 48344 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49888638 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48362] ppid=48341 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/48344/task/48362/stat : 48362 (Common-Cleaner) S 48341 48344 47837 0 -1 4194368 1821 0 0 0 0 0 0 0 20 0 20 0 49888639 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48364] ppid=48341 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/48344/task/48364/stat : 48364 (Timer-0) S 48341 48344 47837 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49888789 19521036288 983925 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3935700 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.01 s, system=1.37628 s

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

[startup+3599.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/338 48739
/proc/meminfo: memFree=119017888/131249988 swapFree=33010684/33010684
[pid=48344] ppid=48341 vsize=19263204 memory=3936596 CPUtime=3600.28 cores=0,2
/proc/48344/stat : 48344 (java) S 48341 48344 47837 0 -1 4194304 110214 0 0 0 359893 135 0 0 20 0 21 0 49888634 19725520896 984149 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
/proc/48344/statm: 4815801 984149 5543 1 0 1519718 0
[pid=48344/tid=48346] ppid=48341 vsize=19263204 memory=3935700 CPUtime=3584.92 cores=0,2
/proc/48344/task/48346/stat : 48346 (java) R 48341 48344 47837 0 -1 4194368 46274 0 0 0 358473 19 0 0 20 0 21 0 49888636 19725520896 984149 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48355] ppid=48341 vsize=19263204 memory=1792 CPUtime=0 cores=0,2
/proc/48344/task/48355/stat : 48355 (Finalizer) S 48341 48344 47837 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49888638 19725520896 984149 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
[pid=48344/tid=48362] ppid=48341 vsize=19263204 memory=3935700 CPUtime=0 cores=0,2
/proc/48344/task/48362/stat : 48362 (Common-Cleaner) S 48341 48344 47837 0 -1 4194368 1821 0 0 0 0 0 0 0 20 0 21 0 49888639 19725520896 984149 18446744073709551615 94624608411648 94624608415344 140732667679600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94624608423160 94624608423952 94624630820864 140732667681153 140732667681254 140732667681254 140732667686856 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3936596 KiB

Child status: 143

Real time (s): 3599.36
CPU time (s): 3600.39
CPU user time (s): 3599.01
CPU system time (s): 1.37628
CPU usage (%): 100.029
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3936596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.01
system time used= 1.37628
maximum resident set size= 3936852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110549
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118619
involuntary context switches= 6458


# summary of solver processes directly reported to runsolver:
#   pid: 48344
#   total CPU time (s): 3600.39
#   total CPU user time (s): 3599.01
#   total CPU system time (s): 1.37628

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.67168 second user time and 15.6282 second system time

The end

Begin job on nodeC020 at 2025-07-01 05:55:11
IDJOB=4489606
IDBENCH=147558
IDSOLVER=3363
FILE ID=nodeC020/4489606-1751342110
RUNJOBID= nodeC020-1751338555-47847
SLURM_JOB_ID= 9594397
Free space on /tmp= 432896 MiB

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.975
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:        114829324 kB
MemAvailable:   115171200 kB
Buffers:            3280 kB
Cached:          1146416 kB
SwapCached:            0 kB
Active:         14984316 kB
Inactive:         838012 kB
Active(anon):   14690688 kB
Inactive(anon):        0 kB
Active(file):     293628 kB
Inactive(file):   838012 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             35412 kB
Writeback:            32 kB
AnonPages:      14675252 kB
Mapped:           123480 kB
Shmem:             18056 kB
KReclaimable:      98948 kB
Slab:             187152 kB
SReclaimable:      98948 kB
SUnreclaim:        88204 kB
KernelStack:        5200 kB
PageTables:        32436 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:   25185436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  14393344 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

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