0.11/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.14	c See www.sat4j.org for details.
0.11/0.15	c version PB25.v20250606
0.11/0.17	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.17	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.17	c java.vm.version	22.0.1+8-16
0.11/0.17	c java.vm.vendor	Oracle Corporation
0.11/0.17	c sun.arch.data.model	64
0.11/0.17	c java.version		22.0.1
0.11/0.17	c os.name		Linux
0.11/0.17	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.17	c os.arch		amd64
0.11/0.17	c Free memory 		2104792832
0.11/0.17	c Max memory 		16282288128
0.11/0.17	c Total memory 		2113929216
0.11/0.18	c Number of processors 	2
0.29/0.25	c Pseudo Boolean Optimization by upper bound
0.29/0.25	c --- Begin Solver configuration ---
0.29/0.25	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.29/0.25	c Learn all clauses as in MiniSAT
0.29/0.25	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.25	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.25	c Expensive reason simplification
0.29/0.25	c Glucose 2.1 dynamic restart strategy
0.29/0.25	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.29/0.25	c timeout=2147483s
0.29/0.25	c DB Simplification allowed=false
0.29/0.25	c Listener: none
0.29/0.25	c --- End Solver configuration ---
0.29/0.25	c solving HOME/instance-4489790-1751343655.opb
0.29/0.25	c reading problem ... 
0.29/0.26	c  objective function found
3.29/2.15	c ... done. Wall clock time 1.888s.
3.29/2.15	c declared #vars     10000
3.29/2.15	c #constraints  656900
3.29/2.15	c constraints type 
3.29/2.15	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
3.29/2.15	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
3.29/2.15	c 656900 constraints processed.
3.29/2.17	c objective function length is 10000 literals
3.66/2.39	c SATISFIABLE
3.66/2.39	c OPTIMIZING...
3.66/2.39	c Got one! Elapsed wall clock time (in seconds):2.135
3.66/2.39	o 1041
6.20/3.84	c cleaning 2551 clauses out of 5125 with flag 13447/5125
7.19/4.67	c Got one! Elapsed wall clock time (in seconds):4.42
7.19/4.67	o 1039
7.73/4.97	c cleaning 3933 clauses out of 7878 with flag 2396/10429
9.46/6.51	c cleaning 4966 clauses out of 9946 with flag 17934/16430
11.71/8.43	c cleaning 5975 clauses out of 11979 with flag 37577/23429
13.82/10.54	c cleaning 6996 clauses out of 14006 with flag 59651/31431
16.32/13.03	c cleaning 7996 clauses out of 16009 with flag 86039/40430
18.90/15.62	c cleaning 8999 clauses out of 18013 with flag 115969/50430
21.70/18.42	c cleaning 9999 clauses out of 20013 with flag 150603/61429
24.70/21.48	c cleaning 11001 clauses out of 22014 with flag 188200/73429
28.31/25.06	c cleaning 11990 clauses out of 24013 with flag 230666/86429
32.32/29.01	c cleaning 13002 clauses out of 26024 with flag 275912/100430
36.30/33.09	c cleaning 14005 clauses out of 28021 with flag 327648/115429
40.66/37.38	c cleaning 14997 clauses out of 30017 with flag 380987/131430
45.21/41.87	c cleaning 16000 clauses out of 32023 with flag 433784/148433
50.01/46.69	c cleaning 16998 clauses out of 34019 with flag 492585/166429
55.30/51.90	c cleaning 18000 clauses out of 36023 with flag 552475/185431
60.89/57.53	c cleaning 19001 clauses out of 38021 with flag 618594/205429
66.59/63.28	c cleaning 20001 clauses out of 40021 with flag 690906/226430
72.18/68.86	c cleaning 20991 clauses out of 42019 with flag 765794/248429
77.87/74.58	c cleaning 21993 clauses out of 44029 with flag 843455/271430
84.04/80.62	c cleaning 23001 clauses out of 46037 with flag 922718/295431
90.74/87.31	c cleaning 23996 clauses out of 48035 with flag 1011394/320430
97.82/94.45	c cleaning 25005 clauses out of 50038 with flag 1099713/346429
105.32/102.00	c cleaning 25998 clauses out of 52033 with flag 1192163/373429
113.01/109.63	c cleaning 27003 clauses out of 54035 with flag 1299113/401429
120.90/117.52	c cleaning 28003 clauses out of 56033 with flag 1413910/430430
128.99/125.60	c cleaning 29006 clauses out of 58030 with flag 1530155/460430
136.97/133.64	c cleaning 30000 clauses out of 60023 with flag 1651169/491429
145.85/142.50	c cleaning 31005 clauses out of 62025 with flag 1772522/523431
156.05/152.67	c cleaning 31990 clauses out of 64018 with flag 1889628/556429
166.55/163.17	c cleaning 33002 clauses out of 66028 with flag 2013528/590429
176.43/173.08	c cleaning 33989 clauses out of 68026 with flag 2141787/625429
186.90/183.58	c cleaning 34999 clauses out of 70039 with flag 2275871/661431
197.18/193.84	c cleaning 35999 clauses out of 72038 with flag 2412091/698429
208.37/205.11	c cleaning 37014 clauses out of 74039 with flag 2559976/736429
220.35/217.05	c cleaning 38006 clauses out of 76026 with flag 2710264/775430
233.22/229.93	c cleaning 39010 clauses out of 78019 with flag 2867113/815429
247.56/244.26	c cleaning 40002 clauses out of 80009 with flag 3033134/856429
261.14/257.89	c cleaning 40997 clauses out of 82007 with flag 3199903/898429
275.02/271.79	c cleaning 41997 clauses out of 84011 with flag 3366346/941430
289.42/286.12	c cleaning 42999 clauses out of 86013 with flag 3535923/985429
303.98/300.78	c cleaning 43985 clauses out of 88014 with flag 3714213/1030429
319.16/316.01	c cleaning 45014 clauses out of 90029 with flag 3894271/1076429
336.73/333.47	c cleaning 45992 clauses out of 92015 with flag 4083547/1123429
353.21/349.92	c cleaning 47006 clauses out of 94023 with flag 4263670/1171429
369.99/366.78	c cleaning 48008 clauses out of 96017 with flag 4450001/1220429
387.27/384.06	c cleaning 49003 clauses out of 98010 with flag 4647075/1270430
405.04/401.80	c cleaning 50002 clauses out of 100007 with flag 4858180/1321430
424.31/421.06	c cleaning 50989 clauses out of 102004 with flag 5066339/1373429
442.27/439.06	c cleaning 51995 clauses out of 104017 with flag 5277765/1426431
461.24/458.11	c cleaning 53003 clauses out of 106023 with flag 5492024/1480432
480.70/477.59	c cleaning 54009 clauses out of 108017 with flag 5716786/1535429
500.56/497.40	c cleaning 54997 clauses out of 110009 with flag 5929503/1591430
523.02/519.88	c cleaning 56006 clauses out of 112012 with flag 6144525/1648430
543.97/540.82	c cleaning 57001 clauses out of 114005 with flag 6366437/1706429
566.15/563.09	c cleaning 57992 clauses out of 116004 with flag 6595255/1765429
588.81/585.75	c cleaning 59007 clauses out of 118013 with flag 6818568/1825430
612.27/609.17	c cleaning 59992 clauses out of 120005 with flag 7051801/1886429
634.41/631.39	c cleaning 61005 clauses out of 122014 with flag 7290055/1948430
657.47/654.49	c cleaning 62003 clauses out of 124009 with flag 7525920/2011430
682.32/679.34	c cleaning 62999 clauses out of 126007 with flag 7764452/2075431
706.84/703.72	c cleaning 63990 clauses out of 128010 with flag 8011202/2140433
732.59/729.59	c cleaning 65005 clauses out of 130016 with flag 8263465/2206429
757.44/754.49	c cleaning 65997 clauses out of 132011 with flag 8536897/2273429
783.19/780.25	c cleaning 67000 clauses out of 134015 with flag 8832844/2341430
810.27/807.34	c cleaning 67991 clauses out of 136014 with flag 9131098/2410429
834.62/831.71	c cleaning 68996 clauses out of 138023 with flag 9396412/2480429
859.29/856.49	c cleaning 70004 clauses out of 140027 with flag 9675275/2551429
886.46/883.57	c cleaning 70995 clauses out of 142023 with flag 9967568/2623429
913.42/910.58	c cleaning 72000 clauses out of 144029 with flag 10265674/2696430
940.48/937.61	c cleaning 73012 clauses out of 146028 with flag 10582384/2770429
969.70/966.84	c cleaning 73999 clauses out of 148017 with flag 10898172/2845430
998.65/995.85	c cleaning 74999 clauses out of 150017 with flag 11221679/2921429
1025.91/1023.12	c cleaning 76003 clauses out of 152018 with flag 11560076/2998429
1054.56/1051.70	c cleaning 77000 clauses out of 154016 with flag 11889267/3076430
1084.02/1081.21	c cleaning 78008 clauses out of 156015 with flag 12239831/3155429
1116.26/1113.53	c cleaning 79002 clauses out of 158008 with flag 12566564/3235430
1147.55/1144.73	c cleaning 80000 clauses out of 160006 with flag 12880520/3316430
1179.90/1177.19	c cleaning 80996 clauses out of 162005 with flag 13228691/3398429
1211.94/1209.26	c cleaning 81994 clauses out of 164009 with flag 13555196/3481429
1245.10/1242.30	c cleaning 83004 clauses out of 166015 with flag 13907376/3565429
1277.04/1274.35	c cleaning 83996 clauses out of 168012 with flag 14273629/3650430
1309.49/1306.80	c cleaning 85003 clauses out of 170016 with flag 14673617/3736430
1341.40/1338.63	c cleaning 85994 clauses out of 172014 with flag 15042746/3823431
1372.05/1369.39	c cleaning 87004 clauses out of 174018 with flag 15393182/3911429
1404.69/1402.04	c cleaning 87990 clauses out of 176014 with flag 15761034/4000429
1438.31/1435.67	c cleaning 89009 clauses out of 178025 with flag 16126853/4090430
1471.14/1468.57	c cleaning 89998 clauses out of 180015 with flag 16510263/4181429
1504.55/1501.92	c cleaning 90994 clauses out of 182017 with flag 16896076/4273429
1542.08/1539.53	c cleaning 91985 clauses out of 184023 with flag 17283264/4366429
1576.72/1574.28	c cleaning 93007 clauses out of 186038 with flag 17673567/4460429
1616.64/1614.12	c cleaning 94016 clauses out of 188032 with flag 18082034/4555430
1653.57/1651.16	c cleaning 95002 clauses out of 190015 with flag 18494720/4651429
1695.65/1693.26	c cleaning 96007 clauses out of 192014 with flag 18903831/4748430
1735.66/1733.34	c cleaning 96993 clauses out of 194006 with flag 19300707/4846429
1773.85/1771.48	c cleaning 97996 clauses out of 196013 with flag 19717680/4945429
1811.78/1809.45	c cleaning 98993 clauses out of 198017 with flag 20136497/5045429
1851.30/1849.10	c cleaning 100004 clauses out of 200024 with flag 20572230/5146429
1892.28/1889.99	c cleaning 101000 clauses out of 202021 with flag 20976921/5248430
1933.01/1930.78	c cleaning 102000 clauses out of 204022 with flag 21413515/5351431
1974.38/1972.10	c cleaning 103005 clauses out of 206020 with flag 21839585/5455429
2014.40/2012.13	c cleaning 104008 clauses out of 208016 with flag 22236461/5560430
2059.83/2056.67	c cleaning 105004 clauses out of 210007 with flag 22650235/5666429
2104.36/2101.26	c cleaning 105990 clauses out of 212003 with flag 23050108/5773429
2150.53/2147.36	c cleaning 107007 clauses out of 214014 with flag 23469675/5881430
2197.26/2193.98	c cleaning 108000 clauses out of 216010 with flag 23888412/5990433
2243.09/2239.86	c cleaning 109001 clauses out of 218006 with flag 24309627/6100429
2290.19/2286.85	c cleaning 109998 clauses out of 220005 with flag 24740909/6211429
2338.98/2335.51	c cleaning 110992 clauses out of 222007 with flag 25188441/6323429
2385.31/2381.96	c cleaning 111991 clauses out of 224015 with flag 25625653/6436429
2436.02/2432.66	c cleaning 113006 clauses out of 226024 with flag 26063755/6550429
2484.24/2480.95	c cleaning 114009 clauses out of 228018 with flag 26512332/6665429
2533.50/2530.13	c cleaning 115004 clauses out of 230009 with flag 26952940/6781429
2585.34/2582.00	c cleaning 115996 clauses out of 232006 with flag 27405655/6898430
2641.40/2638.00	c cleaning 117001 clauses out of 234010 with flag 27893169/7016430
2695.23/2691.64	c cleaning 118002 clauses out of 236008 with flag 28382935/7135429
2749.12/2745.43	c cleaning 119004 clauses out of 238007 with flag 28854188/7255430
2801.92/2798.39	c cleaning 119992 clauses out of 240003 with flag 29335101/7376430
2859.97/2856.34	c cleaning 121001 clauses out of 242010 with flag 29829644/7498429
2911.84/2908.13	c cleaning 122001 clauses out of 244010 with flag 30315811/7621430
2966.58/2962.83	c cleaning 122996 clauses out of 246008 with flag 30810082/7745429
3022.69/3019.07	c cleaning 123994 clauses out of 248012 with flag 31329158/7870429
3081.38/3077.08	c cleaning 124998 clauses out of 250020 with flag 31870168/7996431
3137.82/3133.43	c cleaning 126000 clauses out of 252021 with flag 32402524/8123430
3197.52/3193.16	c cleaning 126995 clauses out of 254020 with flag 32924606/8251429
3256.62/3252.27	c cleaning 128006 clauses out of 256026 with flag 33436590/8380430
3317.61/3313.23	c cleaning 129004 clauses out of 258019 with flag 33937292/8510429
3381.69/3377.31	c cleaning 130001 clauses out of 260016 with flag 34464740/8641430
3448.37/3443.93	c cleaning 130996 clauses out of 262019 with flag 35044809/8773434
3506.30/3501.83	c cleaning 132003 clauses out of 264018 with flag 35592522/8906429
3565.71/3561.28	c cleaning 132990 clauses out of 266015 with flag 36152228/9040429
3600.00/3595.42	c starts		: 17
3600.00/3595.43	c conflicts		: 9121031
3600.00/3595.43	c decisions		: 23746469
3600.00/3595.43	c propagations		: 2315082678
3600.00/3595.43	c inspects		: 3837992997
3600.00/3595.43	c shortcuts		: 0
3600.00/3595.43	c learnt literals	: 0
3600.00/3595.43	c learnt binary clauses	: 0
3600.00/3595.43	c learnt ternary clauses	: 0
3600.00/3595.43	c learnt constraints	: 9121031
3600.00/3595.43	c ignored constraints	: 0
3600.00/3595.43	c root simplifications	: 0
3600.00/3595.43	c removed literals (reason simplification)	: 1088268203
3600.00/3595.43	c reason swapping (by a shorter reason)	: 0
3600.00/3595.43	c Calls to reduceDB	: 131
3600.00/3595.43	c Number of update (reduction) of LBD	: 3243672
3600.00/3595.43	c Imported unit clauses	: 0
3600.00/3595.43	c No decision after first conflict	: false
3600.00/3595.43	c number of reductions to clauses (during analyze)	: 0
3600.00/3595.43	c number of learned constraints concerned by reduction	: 0
3600.00/3595.43	c number of learning phase by resolution	: 0
3600.00/3595.43	c number of learning phase by cutting planes	: 0
3600.00/3595.43	c number of rounding to 1 operations	: 0
3600.00/3595.43	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3595.43	c number of reductions of the coefficients by power 2 	: 0
3600.00/3595.43	c number of right shift for reduction by power 2 	: 0
3600.00/3595.43	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3595.44	c number of ending skipping 	: 0
3600.00/3595.44	c number of internal skipping 	: 0
3600.00/3595.44	c number of derivation steps 	: 0
3600.00/3595.44	c number of skipped derivation steps 	: 0
3600.00/3595.44	c number of remaining unassigned 	: 0
3600.00/3595.44	c number of remaining assigned 	: 0
3600.00/3595.44	c number of falsified literals weakened from reason	: 0
3600.00/3595.44	c number of falsified literals weakened from conflict	: 0
3600.00/3595.44	c time for arithmetic operations	: 0
3600.00/3595.44	c minimum degree of deleted constraints	: null
3600.00/3595.44	c maximum degree of deleted constraints	: null
3600.00/3595.45	c number of deleted constraints	: 0
3600.00/3595.45	c speed (assignments/second)	: 644284.5866192298
3600.00/3595.45	c non guided choices	: 1
3600.19/3595.51	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 213627
3600.19/3595.51	s SATISFIABLE
3600.19/3595.51	c Found 2 solution(s)
3600.19/3595.52	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.19/3595.54	c objective function=1039
3600.19/3595.54	c Total wall clock time (in seconds): 3595.283

OK	1039

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

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

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=46440, runsolver pid=46437

[startup+0.100066 s]*
/proc/loadavg: 4.26 4.30 4.31 7/323 46458
/proc/meminfo: memFree=117831168/131382112 swapFree=33010684/33010684
[pid=46440] ppid=46437 vsize=18930384 memory=48756 CPUtime=0.11 cores=4,6
/proc/46440/stat : 46440 (java) S 46437 46440 45940 0 -1 4194304 5848 0 0 0 8 3 0 0 20 0 18 0 50045288 19384713216 12189 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
/proc/46440/statm: 4732596 12189 5337 1 0 547060 0
[pid=46440/tid=46442] ppid=46437 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/46440/task/46442/stat : 46442 (java) R 46437 46440 45940 0 -1 4194368 4696 0 0 0 5 2 0 0 20 0 18 0 50045290 19384713216 12189 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46451] ppid=46437 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/46440/task/46451/stat : 46451 (Finalizer) S 46437 46440 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50045295 19384713216 12189 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46458] ppid=46437 vsize=18930384 memory=57394571004297 CPUtime=0 cores=4,6
/proc/46440/task/46458/stat : 46458 (Common-Cleaner) S 46437 46440 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50045296 19384713216 12189 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48756 KiB

[startup+0.209744 s]*
/proc/loadavg: 4.26 4.30 4.31 6/323 46458
/proc/meminfo: memFree=117829152/131382112 swapFree=33010684/33010684
[pid=46440] ppid=46437 vsize=18930384 memory=57972 CPUtime=0.29 cores=4,6
/proc/46440/stat : 46440 (java) S 46437 46440 45940 0 -1 4194304 6601 0 0 0 25 4 0 0 20 0 18 0 50045288 19384713216 14493 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
/proc/46440/statm: 4732596 14493 5369 1 0 547641 0
[pid=46440/tid=46442] ppid=46437 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=4,6
/proc/46440/task/46442/stat : 46442 (java) R 46437 46440 45940 0 -1 4194368 5116 0 0 0 14 2 0 0 20 0 18 0 50045290 19384713216 14493 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46451] ppid=46437 vsize=18930384 memory=1707 CPUtime=0 cores=4,6
/proc/46440/task/46451/stat : 46451 (Finalizer) S 46437 46440 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50045295 19384713216 14493 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46458] ppid=46437 vsize=18930384 memory=56295059358712 CPUtime=0 cores=4,6
/proc/46440/task/46458/stat : 46458 (Common-Cleaner) S 46437 46440 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50045296 19384713216 14493 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57972 KiB

[startup+0.309777 s]*
/proc/loadavg: 4.26 4.30 4.31 7/323 46458
/proc/meminfo: memFree=117824552/131382112 swapFree=33010684/33010684
[pid=46440] ppid=46437 vsize=18930384 memory=63212 CPUtime=0.47 cores=4,6
/proc/46440/stat : 46440 (java) S 46437 46440 45940 0 -1 4194304 6826 0 0 0 43 4 0 0 20 0 18 0 50045288 19384713216 15803 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
/proc/46440/statm: 4732596 15803 5433 1 0 547794 0
[pid=46440/tid=46442] ppid=46437 vsize=18930384 memory=-6000919477035099755 CPUtime=0.26 cores=4,6
/proc/46440/task/46442/stat : 46442 (java) R 46437 46440 45940 0 -1 4194368 5239 0 0 0 23 3 0 0 20 0 18 0 50045290 19384713216 15803 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46451] ppid=46437 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/46440/task/46451/stat : 46451 (Finalizer) S 46437 46440 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50045295 19384713216 15803 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46458] ppid=46437 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/46440/task/46458/stat : 46458 (Common-Cleaner) S 46437 46440 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50045296 19384713216 15803 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63212 KiB

[startup+0.700295 s]
/proc/loadavg: 4.26 4.30 4.31 6/323 46458
/proc/meminfo: memFree=117792100/131382112 swapFree=33010684/33010684
[pid=46440] ppid=46437 vsize=18930384 memory=142172 CPUtime=1.2 cores=4,6
/proc/46440/stat : 46440 (java) S 46437 46440 45940 0 -1 4194304 8732 0 0 0 113 7 0 0 20 0 18 0 50045288 19384713216 35543 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
/proc/46440/statm: 4732596 35543 5433 1 0 548993 0
[pid=46440/tid=46442] ppid=46437 vsize=18930384 memory=17664 CPUtime=0.62 cores=4,6
/proc/46440/task/46442/stat : 46442 (java) R 46437 46440 45940 0 -1 4194368 5305 0 0 0 57 5 0 0 20 0 18 0 50045290 19384713216 35543 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46451] ppid=46437 vsize=18930384 memory=10752 CPUtime=0 cores=4,6
/proc/46440/task/46451/stat : 46451 (Finalizer) S 46437 46440 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50045295 19384713216 35543 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46458] ppid=46437 vsize=18930384 memory=3200 CPUtime=0 cores=4,6
/proc/46440/task/46458/stat : 46458 (Common-Cleaner) S 46437 46440 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50045296 19384713216 35543 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 142172 KiB

[startup+1.50023 s]
/proc/loadavg: 4.26 4.30 4.31 8/325 46462
/proc/meminfo: memFree=117717260/131382112 swapFree=33010684/33010684
[pid=46440] ppid=46437 vsize=18996948 memory=278436 CPUtime=2.67 cores=4,6
/proc/46440/stat : 46440 (java) S 46437 46440 45940 0 -1 4194304 12651 0 0 0 256 11 0 0 20 0 19 0 50045288 19452874752 69609 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
/proc/46440/statm: 4749237 69609 5465 1 0 952425 0
[pid=46440/tid=46442] ppid=46437 vsize=18996948 memory=3200 CPUtime=1.29 cores=4,6
/proc/46440/task/46442/stat : 46442 (java) R 46437 46440 45940 0 -1 4194368 5364 0 0 0 122 7 0 0 20 0 19 0 50045290 19452874752 69609 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46451] ppid=46437 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/46440/task/46451/stat : 46451 (Finalizer) S 46437 46440 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 50045295 19452874752 69609 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46458] ppid=46437 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/46440/task/46458/stat : 46458 (Common-Cleaner) S 46437 46440 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 50045296 19452874752 69609 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 278436 KiB

[startup+3.10555 s]
/proc/loadavg: 4.48 4.35 4.32 6/301 46498
/proc/meminfo: memFree=128670628/131382112 swapFree=33010684/33010684
[pid=46440] ppid=46437 vsize=19063512 memory=403316 CPUtime=5.26 cores=4,6
/proc/46440/stat : 46440 (java) S 46437 46440 45940 0 -1 4194304 13697 0 0 0 511 15 0 0 20 0 20 0 50045288 19521036288 100829 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
/proc/46440/statm: 4765878 100829 5529 1 0 953392 0
[pid=46440/tid=46442] ppid=46437 vsize=19063512 memory=10752 CPUtime=2.69 cores=4,6
/proc/46440/task/46442/stat : 46442 (java) R 46437 46440 45940 0 -1 4194368 5564 0 0 0 260 9 0 0 20 0 20 0 50045290 19521036288 100829 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46451] ppid=46437 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/46440/task/46451/stat : 46451 (Finalizer) S 46437 46440 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045295 19521036288 100829 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46458] ppid=46437 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/46440/task/46458/stat : 46458 (Common-Cleaner) S 46437 46440 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 50045296 19521036288 100829 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46477] ppid=46437 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/46440/task/46477/stat : 46477 (Timer-0) S 46437 46440 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50045507 19521036288 100829 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
Current children cumulated CPU time: 5.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 403316 KiB

[startup+6.30038 s]
/proc/loadavg: 4.48 4.35 4.32 6/325 46527
/proc/meminfo: memFree=128277200/131382112 swapFree=33010684/33010684
[pid=46440] ppid=46437 vsize=19063512 memory=402376 CPUtime=9.25 cores=4,6
/proc/46440/stat : 46440 (java) S 46437 46440 45940 0 -1 4194304 20553 0 0 0 909 16 0 0 20 0 20 0 50045288 19521036288 100594 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
/proc/46440/statm: 4765878 100594 5529 1 0 953614 0
[pid=46440/tid=46442] ppid=46437 vsize=19063512 memory=0 CPUtime=5.88 cores=4,6
/proc/46440/task/46442/stat : 46442 (java) R 46437 46440 45940 0 -1 4194368 7327 0 0 0 579 9 0 0 20 0 20 0 50045290 19521036288 100594 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46451] ppid=46437 vsize=19063512 memory=4638778398332698727 CPUtime=0 cores=4,6
/proc/46440/task/46451/stat : 46451 (Finalizer) S 46437 46440 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045295 19521036288 100594 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46458] ppid=46437 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/46440/task/46458/stat : 46458 (Common-Cleaner) S 46437 46440 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 50045296 19521036288 100594 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46477] ppid=46437 vsize=19063512 memory=-6000919477035099755 CPUtime=0 cores=4,6
/proc/46440/task/46477/stat : 46477 (Timer-0) S 46437 46440 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50045507 19521036288 100594 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
Current children cumulated CPU time: 9.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 402376 KiB

[startup+12.7004 s]
/proc/loadavg: 4.52 4.36 4.32 5/325 46528
/proc/meminfo: memFree=128136116/131382112 swapFree=33010684/33010684
[pid=46440] ppid=46437 vsize=19063512 memory=464636 CPUtime=16.01 cores=4,6
/proc/46440/stat : 46440 (java) S 46437 46440 45940 0 -1 4194304 22445 0 0 0 1583 18 0 0 20 0 20 0 50045288 19521036288 116159 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
/proc/46440/statm: 4765878 116159 5561 1 0 1670097 0
[pid=46440/tid=46442] ppid=46437 vsize=19063512 memory=0 CPUtime=12.18 cores=4,6
/proc/46440/task/46442/stat : 46442 (java) R 46437 46440 45940 0 -1 4194368 7354 0 0 0 1209 9 0 0 20 0 20 0 50045290 19521036288 116159 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46451] ppid=46437 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/46440/task/46451/stat : 46451 (Finalizer) S 46437 46440 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045295 19521036288 116159 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46458] ppid=46437 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/46440/task/46458/stat : 46458 (Common-Cleaner) S 46437 46440 45940 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 50045296 19521036288 116159 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46477] ppid=46437 vsize=19063512 memory=454396 CPUtime=0 cores=4,6
/proc/46440/task/46477/stat : 46477 (Timer-0) S 46437 46440 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50045507 19521036288 116159 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
Current children cumulated CPU time: 16.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 464636 KiB

[startup+25.5004 s]
/proc/loadavg: 4.47 4.36 4.32 5/325 46528
/proc/meminfo: memFree=128037876/131382112 swapFree=33010684/33010684
[pid=46440] ppid=46437 vsize=19063512 memory=515836 CPUtime=28.8 cores=4,6
/proc/46440/stat : 46440 (java) S 46437 46440 45940 0 -1 4194304 25032 0 0 0 2860 20 0 0 20 0 20 0 50045288 19521036288 128959 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
/proc/46440/statm: 4765878 128959 5561 1 0 1670097 0
[pid=46440/tid=46442] ppid=46437 vsize=19063512 memory=0 CPUtime=24.96 cores=4,6
/proc/46440/task/46442/stat : 46442 (java) R 46437 46440 45940 0 -1 4194368 8543 0 0 0 2485 11 0 0 20 0 20 0 50045290 19521036288 128959 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46451] ppid=46437 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/46440/task/46451/stat : 46451 (Finalizer) S 46437 46440 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045295 19521036288 128959 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46458] ppid=46437 vsize=19063512 memory=2764 CPUtime=0 cores=4,6
/proc/46440/task/46458/stat : 46458 (Common-Cleaner) S 46437 46440 45940 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 50045296 19521036288 128959 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46477] ppid=46437 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/46440/task/46477/stat : 46477 (Timer-0) S 46437 46440 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50045507 19521036288 128959 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
Current children cumulated CPU time: 28.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 515836 KiB

[startup+51.1131 s]
/proc/loadavg: 4.31 4.33 4.31 5/325 46528
/proc/meminfo: memFree=127721304/131382112 swapFree=33010684/33010684
[pid=46440] ppid=46437 vsize=19063512 memory=616316 CPUtime=54.51 cores=4,6
/proc/46440/stat : 46440 (java) S 46437 46440 45940 0 -1 4194304 27202 0 0 0 5428 23 0 0 20 0 20 0 50045288 19521036288 154079 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
/proc/46440/statm: 4765878 154079 5561 1 0 1670097 0
[pid=46440/tid=46442] ppid=46437 vsize=19063512 memory=519932 CPUtime=50.5 cores=4,6
/proc/46440/task/46442/stat : 46442 (java) R 46437 46440 45940 0 -1 4194368 9120 0 0 0 5038 12 0 0 20 0 20 0 50045290 19521036288 154079 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46451] ppid=46437 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/46440/task/46451/stat : 46451 (Finalizer) S 46437 46440 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045295 19521036288 154079 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46458] ppid=46437 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/46440/task/46458/stat : 46458 (Common-Cleaner) S 46437 46440 45940 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 50045296 19521036288 154079 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46477] ppid=46437 vsize=19063512 memory=208 CPUtime=0 cores=4,6
/proc/46440/task/46477/stat : 46477 (Timer-0) S 46437 46440 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50045507 19521036288 154079 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
Current children cumulated CPU time: 54.51 s

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

[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/327 46695
/proc/meminfo: memFree=114922092/131382112 swapFree=33010684/33010684
[pid=46440] ppid=46437 vsize=19063512 memory=3962752 CPUtime=3286.67 cores=4,6
/proc/46440/stat : 46440 (java) S 46437 46440 45940 0 -1 4194304 91315 0 0 0 328417 250 0 0 20 0 20 0 50045288 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
/proc/46440/statm: 4765878 990688 5561 1 0 1672161 0
[pid=46440/tid=46442] ppid=46437 vsize=19063512 memory=17664 CPUtime=3266.39 cores=4,6
/proc/46440/task/46442/stat : 46442 (java) R 46437 46440 45940 0 -1 4194368 33123 0 0 0 326622 17 0 0 20 0 20 0 50045290 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46451] ppid=46437 vsize=19063512 memory=3962752 CPUtime=0 cores=4,6
/proc/46440/task/46451/stat : 46451 (Finalizer) S 46437 46440 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045295 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46458] ppid=46437 vsize=19063512 memory=3962752 CPUtime=0 cores=4,6
/proc/46440/task/46458/stat : 46458 (Common-Cleaner) S 46437 46440 45940 0 -1 4194368 974 0 0 0 0 0 0 0 20 0 20 0 50045296 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46477] ppid=46437 vsize=19063512 memory=3962752 CPUtime=0 cores=4,6
/proc/46440/task/46477/stat : 46477 (Timer-0) S 46437 46440 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50045507 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
Current children cumulated CPU time: 3286.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3962752 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/327 46697
/proc/meminfo: memFree=114922404/131382112 swapFree=33010684/33010684
[pid=46440] ppid=46437 vsize=19063512 memory=3962752 CPUtime=3346.65 cores=4,6
/proc/46440/stat : 46440 (java) S 46437 46440 45940 0 -1 4194304 92809 0 0 0 334412 253 0 0 20 0 20 0 50045288 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
/proc/46440/statm: 4765878 990688 5561 1 0 1672161 0
[pid=46440/tid=46442] ppid=46437 vsize=19063512 memory=3962752 CPUtime=3325.86 cores=4,6
/proc/46440/task/46442/stat : 46442 (java) R 46437 46440 45940 0 -1 4194368 33963 0 0 0 332569 17 0 0 20 0 20 0 50045290 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46451] ppid=46437 vsize=19063512 memory=3962752 CPUtime=0 cores=4,6
/proc/46440/task/46451/stat : 46451 (Finalizer) S 46437 46440 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045295 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46458] ppid=46437 vsize=19063512 memory=-6000919477035099755 CPUtime=0 cores=4,6
/proc/46440/task/46458/stat : 46458 (Common-Cleaner) S 46437 46440 45940 0 -1 4194368 974 0 0 0 0 0 0 0 20 0 20 0 50045296 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46477] ppid=46437 vsize=19063512 memory=3962752 CPUtime=0 cores=4,6
/proc/46440/task/46477/stat : 46477 (Timer-0) S 46437 46440 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50045507 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
Current children cumulated CPU time: 3346.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3962752 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.10 4.12 5/326 46699
/proc/meminfo: memFree=114918740/131382112 swapFree=33010684/33010684
[pid=46440] ppid=46437 vsize=19063512 memory=3962752 CPUtime=3406.65 cores=4,6
/proc/46440/stat : 46440 (java) S 46437 46440 45940 0 -1 4194304 93677 0 0 0 340410 255 0 0 20 0 20 0 50045288 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
/proc/46440/statm: 4765878 990688 5561 1 0 1672161 0
[pid=46440/tid=46442] ppid=46437 vsize=19063512 memory=3962752 CPUtime=3385.32 cores=4,6
/proc/46440/task/46442/stat : 46442 (java) R 46437 46440 45940 0 -1 4194368 34119 0 0 0 338515 17 0 0 20 0 20 0 50045290 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46451] ppid=46437 vsize=19063512 memory=3962752 CPUtime=0 cores=4,6
/proc/46440/task/46451/stat : 46451 (Finalizer) S 46437 46440 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045295 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46458] ppid=46437 vsize=19063512 memory=3962752 CPUtime=0 cores=4,6
/proc/46440/task/46458/stat : 46458 (Common-Cleaner) S 46437 46440 45940 0 -1 4194368 1010 0 0 0 0 0 0 0 20 0 20 0 50045296 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46477] ppid=46437 vsize=19063512 memory=-6000919477035099755 CPUtime=0 cores=4,6
/proc/46440/task/46477/stat : 46477 (Timer-0) S 46437 46440 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50045507 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
Current children cumulated CPU time: 3406.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3962752 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/326 46701
/proc/meminfo: memFree=114901500/131382112 swapFree=33010684/33010684
[pid=46440] ppid=46437 vsize=19063512 memory=3962752 CPUtime=3466.74 cores=4,6
/proc/46440/stat : 46440 (java) S 46437 46440 45940 0 -1 4194304 94857 0 0 0 346417 257 0 0 20 0 20 0 50045288 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
/proc/46440/statm: 4765878 990688 5561 1 0 1672161 0
[pid=46440/tid=46442] ppid=46437 vsize=19063512 memory=3962752 CPUtime=3444.92 cores=4,6
/proc/46440/task/46442/stat : 46442 (java) R 46437 46440 45940 0 -1 4194368 35142 0 0 0 344475 17 0 0 20 0 20 0 50045290 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46451] ppid=46437 vsize=19063512 memory=3962752 CPUtime=0 cores=4,6
/proc/46440/task/46451/stat : 46451 (Finalizer) S 46437 46440 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045295 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46458] ppid=46437 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/46440/task/46458/stat : 46458 (Common-Cleaner) S 46437 46440 45940 0 -1 4194368 1010 0 0 0 0 0 0 0 20 0 20 0 50045296 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46477] ppid=46437 vsize=19063512 memory=3962752 CPUtime=0 cores=4,6
/proc/46440/task/46477/stat : 46477 (Timer-0) S 46437 46440 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50045507 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
Current children cumulated CPU time: 3466.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3962752 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/325 46703
/proc/meminfo: memFree=114904040/131382112 swapFree=33010684/33010684
[pid=46440] ppid=46437 vsize=19063512 memory=3962752 CPUtime=3526.89 cores=4,6
/proc/46440/stat : 46440 (java) S 46437 46440 45940 0 -1 4194304 96430 0 0 0 352429 260 0 0 20 0 20 0 50045288 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
/proc/46440/statm: 4765878 990688 5561 1 0 1672161 0
[pid=46440/tid=46442] ppid=46437 vsize=19063512 memory=3962752 CPUtime=3504.42 cores=4,6
/proc/46440/task/46442/stat : 46442 (java) R 46437 46440 45940 0 -1 4194368 36004 0 0 0 350425 17 0 0 20 0 20 0 50045290 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46451] ppid=46437 vsize=19063512 memory=-6000919477035099755 CPUtime=0 cores=4,6
/proc/46440/task/46451/stat : 46451 (Finalizer) S 46437 46440 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045295 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46458] ppid=46437 vsize=19063512 memory=3962752 CPUtime=0 cores=4,6
/proc/46440/task/46458/stat : 46458 (Common-Cleaner) S 46437 46440 45940 0 -1 4194368 1031 0 0 0 0 0 0 0 20 0 20 0 50045296 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46477] ppid=46437 vsize=19063512 memory=3962752 CPUtime=0 cores=4,6
/proc/46440/task/46477/stat : 46477 (Timer-0) S 46437 46440 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50045507 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
Current children cumulated CPU time: 3526.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3962752 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/305 46722
/proc/meminfo: memFree=118946648/131382112 swapFree=33010684/33010684
[pid=46440] ppid=46437 vsize=19063512 memory=3962752 CPUtime=3586.92 cores=4,6
/proc/46440/stat : 46440 (java) S 46437 46440 45940 0 -1 4194304 97388 0 0 0 358430 262 0 0 20 0 20 0 50045288 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
/proc/46440/statm: 4765878 990688 5561 1 0 1672161 0
[pid=46440/tid=46442] ppid=46437 vsize=19063512 memory=3962752 CPUtime=3564.1 cores=4,6
/proc/46440/task/46442/stat : 46442 (java) R 46437 46440 45940 0 -1 4194368 36314 0 0 0 356393 17 0 0 20 0 20 0 50045290 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46451] ppid=46437 vsize=19063512 memory=3962752 CPUtime=0 cores=4,6
/proc/46440/task/46451/stat : 46451 (Finalizer) S 46437 46440 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045295 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46458] ppid=46437 vsize=19063512 memory=-7379856562705563001 CPUtime=0 cores=4,6
/proc/46440/task/46458/stat : 46458 (Common-Cleaner) S 46437 46440 45940 0 -1 4194368 1078 0 0 0 0 0 0 0 20 0 20 0 50045296 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46477] ppid=46437 vsize=19063512 memory=3962752 CPUtime=0 cores=4,6
/proc/46440/task/46477/stat : 46477 (Timer-0) S 46437 46440 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50045507 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
Current children cumulated CPU time: 3586.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3962752 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3595.4 s]
/proc/loadavg: 4.14 4.11 4.11 6/324 46838
/proc/meminfo: memFree=122583188/131382112 swapFree=33010684/33010684
[pid=46440] ppid=46437 vsize=19063512 memory=3962752 CPUtime=3600 cores=4,6
/proc/46440/stat : 46440 (java) S 46437 46440 45940 0 -1 4194304 97543 0 0 0 359737 263 0 0 20 0 20 0 50045288 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
/proc/46440/statm: 4765878 990688 5561 1 0 1672161 0
[pid=46440/tid=46442] ppid=46437 vsize=19063512 memory=142927921677101 CPUtime=3577.17 cores=4,6
/proc/46440/task/46442/stat : 46442 (java) R 46437 46440 45940 0 -1 4194368 36466 0 0 0 357700 17 0 0 20 0 20 0 50045290 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46451] ppid=46437 vsize=19063512 memory=139766825747246 CPUtime=0 cores=4,6
/proc/46440/task/46451/stat : 46451 (Finalizer) S 46437 46440 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50045295 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46458] ppid=46437 vsize=19063512 memory=-6000919477035099755 CPUtime=0 cores=4,6
/proc/46440/task/46458/stat : 46458 (Common-Cleaner) S 46437 46440 45940 0 -1 4194368 1078 0 0 0 0 0 0 0 20 0 20 0 50045296 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46477] ppid=46437 vsize=19063512 memory=3962752 CPUtime=0 cores=4,6
/proc/46440/task/46477/stat : 46477 (Timer-0) S 46437 46440 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50045507 19521036288 990688 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3962752 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.64 s, system=2.66871 s

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

[startup+3595.51 s]
/proc/loadavg: 4.14 4.11 4.11 6/324 46838
/proc/meminfo: memFree=122583188/131382112 swapFree=33010684/33010684
[pid=46440] ppid=46437 vsize=19263204 memory=3963520 CPUtime=3600.19 cores=4,6
/proc/46440/stat : 46440 (java) S 46437 46440 45940 0 -1 4194304 99138 0 0 0 359756 263 0 0 20 0 21 0 50045288 19725520896 990880 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
/proc/46440/statm: 4815801 990880 5561 1 0 1673117 0
[pid=46440/tid=46442] ppid=46437 vsize=19263204 memory=0 CPUtime=3577.26 cores=4,6
/proc/46440/task/46442/stat : 46442 (java) R 46437 46440 45940 0 -1 4194368 36573 0 0 0 357708 18 0 0 20 0 21 0 50045290 19725520896 990880 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46451] ppid=46437 vsize=19263204 memory=3962752 CPUtime=0 cores=4,6
/proc/46440/task/46451/stat : 46451 (Finalizer) S 46437 46440 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 50045295 19725520896 990880 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
[pid=46440/tid=46458] ppid=46437 vsize=19263204 memory=3962752 CPUtime=0 cores=4,6
/proc/46440/task/46458/stat : 46458 (Common-Cleaner) S 46437 46440 45940 0 -1 4194368 1078 0 0 0 0 0 0 0 20 0 21 0 50045296 19725520896 990880 18446744073709551615 94332116000768 94332116004464 140724096612128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94332116012280 94332116013072 94332126769152 140724096620929 140724096621030 140724096621030 140724096626632 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3963520 KiB

Child status: 143

Real time (s): 3595.57
CPU time (s): 3600.31
CPU user time (s): 3597.64
CPU system time (s): 2.66871
CPU usage (%): 100.132
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3963520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.64
system time used= 2.66871
maximum resident set size= 3963648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99407
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119335
involuntary context switches= 4558


# summary of solver processes directly reported to runsolver:
#   pid: 46440
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3597.64
#   total CPU system time (s): 2.66871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4571 second user time and 36.5589 second system time

The end

Begin job on nodeC012 at 2025-07-01 06:20:56
IDJOB=4489790
IDBENCH=147563
IDSOLVER=3363
FILE ID=nodeC012/4489790-1751343655
RUNJOBID= nodeC012-1751340116-45951
SLURM_JOB_ID= 9594408
Free space on /tmp= 433008 MiB

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

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

MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb
RANDOM SEED=1709826698

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        117856328 kB
MemAvailable:   117878952 kB
Buffers:            3280 kB
Cached:           830800 kB
SwapCached:            0 kB
Active:         12467916 kB
Inactive:         520396 kB
Active(anon):   12172192 kB
Inactive(anon):        0 kB
Active(file):     295724 kB
Inactive(file):   520396 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             53252 kB
Writeback:             0 kB
AnonPages:      12157400 kB
Mapped:           122752 kB
Shmem:             17960 kB
KReclaimable:      91876 kB
Slab:             175404 kB
SReclaimable:      91876 kB
SUnreclaim:        83528 kB
KernelStack:        4944 kB
PageTables:        27432 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   21963384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150296 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11841536 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

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