0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4496694-1751378759.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  objective function found
0.52/0.37	c ... done. Wall clock time 0.241s.
0.52/0.37	c declared #vars     11321
0.52/0.37	c #constraints  36630
0.52/0.37	c constraints type 
0.52/0.38	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 29778
0.52/0.38	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5815
0.52/0.38	c org.sat4j.pb.constraints.pb.UnitClausePB => 1037
0.52/0.38	c 36630 constraints processed.
0.52/0.39	c objective function length is 5515 literals
0.71/0.44	c SATISFIABLE
0.71/0.44	c OPTIMIZING...
0.71/0.44	c Got one! Elapsed wall clock time (in seconds):0.314
0.71/0.44	o 43
0.71/0.47	c Got one! Elapsed wall clock time (in seconds):0.347
0.71/0.47	o 42
0.91/0.51	c Got one! Elapsed wall clock time (in seconds):0.379
0.91/0.51	o 41
0.91/0.57	c Got one! Elapsed wall clock time (in seconds):0.44
0.91/0.57	o 40
2.59/1.40	c Got one! Elapsed wall clock time (in seconds):1.271
2.59/1.40	o 39
3.29/2.05	c cleaning 2584 clauses out of 5182 with flag 8248/5182
4.14/2.89	c Got one! Elapsed wall clock time (in seconds):2.767
4.14/2.89	o 38
4.45/3.09	c cleaning 3845 clauses out of 7704 with flag 3018/10288
7.07/5.36	c cleaning 4910 clauses out of 9860 with flag 31968/16289
10.53/8.42	c cleaning 5969 clauses out of 11949 with flag 63958/23288
14.39/11.98	c cleaning 6982 clauses out of 13981 with flag 100456/31289
18.38/16.00	c cleaning 7982 clauses out of 15999 with flag 142047/40289
22.88/20.48	c cleaning 8975 clauses out of 18015 with flag 196585/50288
27.76/25.30	c cleaning 10017 clauses out of 20040 with flag 252507/61288
33.15/30.75	c cleaning 11001 clauses out of 22023 with flag 313607/73288
39.04/36.68	c cleaning 11981 clauses out of 24023 with flag 381426/86289
45.23/42.89	c cleaning 13008 clauses out of 26041 with flag 455659/100288
51.99/49.54	c cleaning 14006 clauses out of 28033 with flag 540430/115288
59.39/56.92	c cleaning 15000 clauses out of 30027 with flag 623693/131288
67.10/64.63	c cleaning 15998 clauses out of 32027 with flag 724534/148288
74.88/72.48	c cleaning 17015 clauses out of 34030 with flag 819130/166289
83.76/81.33	c cleaning 18000 clauses out of 36014 with flag 913324/185288
92.84/90.43	c cleaning 18994 clauses out of 38014 with flag 1018742/205288
102.31/99.94	c cleaning 19986 clauses out of 40020 with flag 1123417/226288
112.49/110.12	c cleaning 21018 clauses out of 42035 with flag 1228272/248289
121.96/119.65	c cleaning 22007 clauses out of 44016 with flag 1342943/271288
132.63/130.37	c cleaning 22988 clauses out of 46009 with flag 1460488/295288
144.79/142.52	c cleaning 24000 clauses out of 48021 with flag 1584571/320288
157.27/155.09	c cleaning 24996 clauses out of 50021 with flag 1712263/346288
169.64/167.44	c cleaning 25996 clauses out of 52025 with flag 1860680/373288
182.71/180.51	c cleaning 27012 clauses out of 54029 with flag 2000276/401288
196.18/194.09	c cleaning 27985 clauses out of 56017 with flag 2159359/430288
210.64/208.50	c cleaning 29003 clauses out of 58032 with flag 2308887/460288
225.30/223.29	c cleaning 30015 clauses out of 60029 with flag 2450463/491288
238.86/236.83	c cleaning 30997 clauses out of 62014 with flag 2597570/523288
256.52/254.59	c cleaning 31983 clauses out of 64017 with flag 2756407/556288
274.99/273.08	c cleaning 32988 clauses out of 66034 with flag 2904989/590288
293.94/292.01	c cleaning 34009 clauses out of 68047 with flag 3075664/625289
313.39/311.50	c cleaning 34967 clauses out of 70037 with flag 3240398/661288
333.66/331.82	c cleaning 36027 clauses out of 72070 with flag 3462345/698288
353.84/352.04	c cleaning 36976 clauses out of 74043 with flag 3656252/736288
375.18/373.45	c cleaning 38004 clauses out of 76075 with flag 3843362/775296
394.04/392.38	c cleaning 39018 clauses out of 78063 with flag 4032187/815288
416.28/414.60	c cleaning 39974 clauses out of 80047 with flag 4278788/856290
439.26/437.65	c cleaning 41005 clauses out of 82071 with flag 4507443/898288
462.80/461.24	c cleaning 41994 clauses out of 84068 with flag 4734598/941290
487.25/485.72	c cleaning 43002 clauses out of 86072 with flag 4948505/985288
512.69/511.23	c cleaning 44028 clauses out of 88070 with flag 5143026/1030288
538.26/536.89	c cleaning 45005 clauses out of 90044 with flag 5349447/1076290
563.90/562.53	c cleaning 46003 clauses out of 92037 with flag 5587867/1123288
590.54/589.23	c cleaning 47001 clauses out of 94034 with flag 5805620/1171288
615.79/614.51	c cleaning 48007 clauses out of 96035 with flag 6020703/1220290
642.94/641.79	c cleaning 48990 clauses out of 98026 with flag 6226477/1270288
671.09/669.91	c cleaning 50008 clauses out of 100036 with flag 6484763/1321288
697.13/696.06	c cleaning 51009 clauses out of 102028 with flag 6781592/1373288
724.20/723.17	c cleaning 51988 clauses out of 104019 with flag 7044754/1426288
754.02/753.03	c cleaning 53009 clauses out of 106031 with flag 7320745/1480288
782.54/781.63	c cleaning 54000 clauses out of 108022 with flag 7612293/1535288
810.38/809.52	c cleaning 54983 clauses out of 110022 with flag 7916805/1591288
839.02/838.28	c cleaning 56004 clauses out of 112039 with flag 8221229/1648288
868.95/868.25	c cleaning 57010 clauses out of 114036 with flag 8510935/1706289
899.68/899.08	c cleaning 57987 clauses out of 116025 with flag 8826920/1765288
930.42/929.84	c cleaning 58996 clauses out of 118038 with flag 9117389/1825288
961.85/961.31	c cleaning 60003 clauses out of 120042 with flag 9421057/1886288
994.87/994.44	c cleaning 60979 clauses out of 122039 with flag 9751828/1948288
1029.12/1028.77	c cleaning 62007 clauses out of 124061 with flag 10080856/2011289
1063.74/1063.47	c cleaning 63020 clauses out of 126053 with flag 10427808/2075288
1099.95/1099.77	c cleaning 63999 clauses out of 128033 with flag 10811134/2140288
1135.76/1135.68	c cleaning 65008 clauses out of 130035 with flag 11189008/2206289
1172.70/1172.64	c cleaning 65989 clauses out of 132027 with flag 11532799/2273289
1209.22/1209.24	c cleaning 67003 clauses out of 134037 with flag 11922197/2341288
1246.24/1246.39	c cleaning 67977 clauses out of 136034 with flag 12311689/2410288
1284.25/1284.40	c cleaning 69015 clauses out of 138057 with flag 12680963/2480288
1322.60/1322.88	c cleaning 70021 clauses out of 140044 with flag 13110640/2551290
1357.23/1357.57	c cleaning 70991 clauses out of 142021 with flag 13566141/2623288
1392.65/1393.07	c cleaning 71993 clauses out of 144030 with flag 14018198/2696288
1428.47/1429.00	c cleaning 73000 clauses out of 146037 with flag 14476114/2770288
1465.26/1465.72	c cleaning 74001 clauses out of 148038 with flag 14897297/2845289
1507.46/1508.09	c cleaning 74999 clauses out of 150036 with flag 15319098/2921288
1547.38/1548.09	c cleaning 76000 clauses out of 152037 with flag 15804403/2998288
1588.87/1589.68	c cleaning 76999 clauses out of 154037 with flag 16223043/3076288
1631.53/1632.38	c cleaning 78019 clauses out of 156039 with flag 16625803/3155289
1678.52/1679.45	c cleaning 78999 clauses out of 158019 with flag 17035119/3235288
1724.32/1725.33	c cleaning 80006 clauses out of 160020 with flag 17432861/3316288
1769.22/1770.38	c cleaning 80987 clauses out of 162014 with flag 17867192/3398288
1815.42/1816.61	c cleaning 81988 clauses out of 164027 with flag 18262407/3481288
1862.05/1863.39	c cleaning 82997 clauses out of 166039 with flag 18696980/3565288
1910.75/1912.12	c cleaning 84021 clauses out of 168044 with flag 19151082/3650290
1960.53/1962.02	c cleaning 85002 clauses out of 170023 with flag 19566937/3736290
2012.60/2014.23	c cleaning 85991 clauses out of 172019 with flag 19943693/3823288
2065.66/2067.46	c cleaning 87005 clauses out of 174028 with flag 20363968/3911288
2118.29/2120.19	c cleaning 87992 clauses out of 176024 with flag 20795263/4000289
2171.54/2173.58	c cleaning 89003 clauses out of 178031 with flag 21284132/4090288
2225.60/2227.72	c cleaning 89994 clauses out of 180028 with flag 21740699/4181288
2279.37/2281.68	c cleaning 90991 clauses out of 182034 with flag 22182772/4273288
2334.23/2336.65	c cleaning 91981 clauses out of 184044 with flag 22722234/4366289
2388.99/2391.59	c cleaning 93003 clauses out of 186064 with flag 23305689/4460290
2438.36/2441.05	c cleaning 94005 clauses out of 188063 with flag 23872646/4555292
2486.71/2489.45	c cleaning 95018 clauses out of 190054 with flag 24454125/4651288
2532.70/2535.53	c cleaning 95982 clauses out of 192036 with flag 24983261/4748288
2578.10/2581.08	c cleaning 97010 clauses out of 194054 with flag 25488383/4846288
2618.40/2621.48	c cleaning 98013 clauses out of 196044 with flag 25954197/4945288
2665.69/2668.87	c cleaning 98998 clauses out of 198031 with flag 26487984/5045288
2717.58/2720.88	c cleaning 100003 clauses out of 200033 with flag 27045184/5146288
2776.91/2780.24	c cleaning 101005 clauses out of 202030 with flag 27652222/5248288
2835.27/2838.70	c cleaning 102000 clauses out of 204025 with flag 28217888/5351288
2896.33/2899.95	c cleaning 103003 clauses out of 206026 with flag 28769348/5455289
2957.59/2961.32	c cleaning 103970 clauses out of 208022 with flag 29287434/5560288
3019.15/3023.03	c cleaning 104979 clauses out of 210052 with flag 29788933/5666288
3079.30/3083.30	c cleaning 106025 clauses out of 212073 with flag 30282599/5773288
3140.05/3144.13	c cleaning 107009 clauses out of 214048 with flag 30816488/5881288
3194.12/3198.39	c cleaning 108016 clauses out of 216040 with flag 31354508/5990289
3244.11/3248.46	c cleaning 108981 clauses out of 218025 with flag 31864345/6100290
3297.69/3302.13	c cleaning 110004 clauses out of 220042 with flag 32423208/6211288
3356.06/3360.65	c cleaning 111010 clauses out of 222041 with flag 33028461/6323291
3411.73/3416.40	c cleaning 112005 clauses out of 224028 with flag 33588111/6436288
3471.73/3476.15	c cleaning 113001 clauses out of 226026 with flag 34160346/6550291
3536.86/3541.48	c cleaning 113984 clauses out of 228022 with flag 34751463/6665288
3600.00/3604.71	c starts		: 1313
3600.00/3604.71	c conflicts		: 6776833
3600.00/3604.71	c decisions		: 39684492
3600.00/3604.72	c propagations		: 29846401035
3600.00/3604.72	c inspects		: 29076260978
3600.00/3604.72	c shortcuts		: 0
3600.00/3604.72	c learnt literals	: 1
3600.00/3604.72	c learnt binary clauses	: 1
3600.00/3604.72	c learnt ternary clauses	: 20
3600.00/3604.72	c learnt constraints	: 6776832
3600.00/3604.72	c ignored constraints	: 0
3600.00/3604.72	c root simplifications	: 0
3600.00/3604.72	c removed literals (reason simplification)	: 21954481
3600.00/3604.72	c reason swapping (by a shorter reason)	: 0
3600.00/3604.72	c Calls to reduceDB	: 112
3600.00/3604.72	c Number of update (reduction) of LBD	: 3166046
3600.00/3604.72	c Imported unit clauses	: 0
3600.00/3604.72	c No decision after first conflict	: false
3600.00/3604.72	c number of reductions to clauses (during analyze)	: 0
3600.00/3604.72	c number of learned constraints concerned by reduction	: 0
3600.00/3604.72	c number of learning phase by resolution	: 0
3600.00/3604.72	c number of learning phase by cutting planes	: 0
3600.00/3604.72	c number of rounding to 1 operations	: 0
3600.00/3604.72	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3604.72	c number of reductions of the coefficients by power 2 	: 0
3600.00/3604.72	c number of right shift for reduction by power 2 	: 0
3600.00/3604.72	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3604.72	c number of ending skipping 	: 0
3600.00/3604.72	c number of internal skipping 	: 0
3600.00/3604.73	c number of derivation steps 	: 0
3600.00/3604.73	c number of skipped derivation steps 	: 0
3600.00/3604.73	c number of remaining unassigned 	: 0
3600.00/3604.73	c number of remaining assigned 	: 0
3600.00/3604.73	c number of falsified literals weakened from reason	: 0
3600.00/3604.73	c number of falsified literals weakened from conflict	: 0
3600.00/3604.73	c time for arithmetic operations	: 0
3600.00/3604.74	c minimum degree of deleted constraints	: null
3600.00/3604.74	c maximum degree of deleted constraints	: null
3600.00/3604.74	c number of deleted constraints	: 0
3600.00/3604.74	c speed (assignments/second)	: 8280707.1036780765
3600.00/3604.74	c non guided choices	: 0
3600.00/3604.80	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 225582
3600.00/3604.80	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1
3600.00/3604.80	s SATISFIABLE
3600.00/3604.80	c Found 6 solution(s)
3600.20/3604.81	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 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 x10346 x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 x10354 x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 x10550 x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 x10628 x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 x10886 x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 x11030 x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 x11108 x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 -x11137 x11138 x11139 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 x11148 x11149 -x11150 -x11151 -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 x11160 x11161 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 x11172 x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 x11200 x11201 -x11202 -x11203 -x11204 -x11205 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 x11236 x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11249 -x11250 -x11251 -x11252 -x11253 x11254 x11255 -x11256 -x11257 -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11265 -x11266 -x11267 -x11268 -x11269 -x11270 -x11271 -x11272 -x11273 x11274 x11275 -x11276 -x11277 x11278 x11279 -x11280 -x11281 -x11282 -x11283 -x11284 -x11285 x11286 x11287 -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11295 x11296 x11297 -x11298 -x11299 -x11300 -x11301 -x11302 -x11303 -x11304 -x11305 -x11306 -x11307 -x11308 -x11309 -x11310 -x11311 x11312 x11313 -x11314 -x11315 -x11316 -x11317 x11318 x11319 x11320 x11321 
3600.20/3604.83	c objective function=38
3600.20/3604.83	c Total wall clock time (in seconds): 3604.703

OK	38

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4496694-1751378759/watcher-4496694-1751378759 -o /tmp/evaluation-result-4496694-1751378759/solver-4496694-1751378759 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751374867-53877 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4496694-1751378759.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=54915, runsolver pid=54912

[startup+0.100061 s]*
/proc/loadavg: 4.10 4.09 4.08 5/339 54933
/proc/meminfo: memFree=125747104/131250000 swapFree=33010684/33010684
[pid=54915] ppid=54912 vsize=18930384 memory=61548 CPUtime=0.13 cores=0,2
/proc/54915/stat : 54915 (java) S 54912 54915 53867 0 -1 4194304 6489 0 0 0 11 2 0 0 20 0 18 0 53552486 19384713216 15387 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
/proc/54915/statm: 4732596 15387 5336 1 0 547619 0
[pid=54915/tid=54917] ppid=54912 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/54915/task/54917/stat : 54917 (java) R 54912 54915 53867 0 -1 4194368 5067 0 0 0 7 1 0 0 20 0 18 0 53552488 19384713216 15387 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54926] ppid=54912 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/54915/task/54926/stat : 54926 (Finalizer) S 54912 54915 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53552490 19384713216 15387 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54933] ppid=54912 vsize=18930384 memory=59585004336271 CPUtime=0 cores=0,2
/proc/54915/task/54933/stat : 54933 (Common-Cleaner) S 54912 54915 53867 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 53552490 19384713216 15387 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61548 KiB

[startup+0.205476 s]*
/proc/loadavg: 4.10 4.09 4.08 6/339 54933
/proc/meminfo: memFree=125743008/131250000 swapFree=33010684/33010684
[pid=54915] ppid=54912 vsize=18930384 memory=71364 CPUtime=0.32 cores=0,2
/proc/54915/stat : 54915 (java) S 54912 54915 53867 0 -1 4194304 6832 0 0 0 30 2 0 0 20 0 18 0 53552486 19384713216 17841 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
/proc/54915/statm: 4732596 17841 5432 1 0 547907 0
[pid=54915/tid=54917] ppid=54912 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=0,2
/proc/54915/task/54917/stat : 54917 (java) R 54912 54915 53867 0 -1 4194368 5268 0 0 0 16 1 0 0 20 0 18 0 53552488 19384713216 17841 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54926] ppid=54912 vsize=18930384 memory=16955 CPUtime=0 cores=0,2
/proc/54915/task/54926/stat : 54926 (Finalizer) S 54912 54915 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53552490 19384713216 17841 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54933] ppid=54912 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/54915/task/54933/stat : 54933 (Common-Cleaner) S 54912 54915 53867 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 53552490 19384713216 17841 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 71364 KiB

[startup+0.305451 s]*
/proc/loadavg: 4.10 4.09 4.08 6/339 54933
/proc/meminfo: memFree=125703688/131250000 swapFree=33010684/33010684
[pid=54915] ppid=54912 vsize=18930384 memory=112440 CPUtime=0.52 cores=0,2
/proc/54915/stat : 54915 (java) S 54912 54915 53867 0 -1 4194304 8319 0 0 0 49 3 0 0 20 0 18 0 53552486 19384713216 28110 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
/proc/54915/statm: 4732596 28110 5432 1 0 548920 0
[pid=54915/tid=54917] ppid=54912 vsize=18930384 memory=-6000919498543163498 CPUtime=0.26 cores=0,2
/proc/54915/task/54917/stat : 54917 (java) R 54912 54915 53867 0 -1 4194368 5289 0 0 0 24 2 0 0 20 0 18 0 53552488 19384713216 28110 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54926] ppid=54912 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/54915/task/54926/stat : 54926 (Finalizer) S 54912 54915 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53552490 19384713216 28110 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54933] ppid=54912 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/54915/task/54933/stat : 54933 (Common-Cleaner) S 54912 54915 53867 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 53552490 19384713216 28110 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 112440 KiB

[startup+0.700224 s]
/proc/loadavg: 4.10 4.09 4.08 6/340 54934
/proc/meminfo: memFree=125661532/131250000 swapFree=33010684/33010684
[pid=54915] ppid=54912 vsize=18996948 memory=169696 CPUtime=1.28 cores=0,2
/proc/54915/stat : 54915 (java) S 54912 54915 53867 0 -1 4194304 16148 0 0 0 123 5 0 0 20 0 19 0 53552486 19452874752 42424 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
/proc/54915/statm: 4749237 42424 5464 1 0 554472 0
[pid=54915/tid=54917] ppid=54912 vsize=18996948 memory=18176 CPUtime=0.62 cores=0,2
/proc/54915/task/54917/stat : 54917 (java) R 54912 54915 53867 0 -1 4194368 5431 0 0 0 59 3 0 0 20 0 19 0 53552488 19452874752 42424 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54926] ppid=54912 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/54915/task/54926/stat : 54926 (Finalizer) S 54912 54915 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 53552490 19452874752 42424 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54933] ppid=54912 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/54915/task/54933/stat : 54933 (Common-Cleaner) S 54912 54915 53867 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 53552490 19452874752 42424 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54934] ppid=54912 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/54915/task/54934/stat : 54934 (Timer-0) S 54912 54915 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 53552528 19452874752 42424 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 169696 KiB

[startup+1.50019 s]
/proc/loadavg: 4.10 4.09 4.08 6/340 54934
/proc/meminfo: memFree=125641308/131250000 swapFree=33010684/33010684
[pid=54915] ppid=54912 vsize=18996948 memory=176368 CPUtime=2.72 cores=0,2
/proc/54915/stat : 54915 (java) S 54912 54915 53867 0 -1 4194304 19472 0 0 0 267 5 0 0 20 0 19 0 53552486 19452874752 44092 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
/proc/54915/statm: 4749237 44092 5496 1 0 554492 0
[pid=54915/tid=54917] ppid=54912 vsize=18996948 memory=0 CPUtime=1.42 cores=0,2
/proc/54915/task/54917/stat : 54917 (java) R 54912 54915 53867 0 -1 4194368 5889 0 0 0 139 3 0 0 20 0 19 0 53552488 19452874752 44092 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54926] ppid=54912 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/54915/task/54926/stat : 54926 (Finalizer) S 54912 54915 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 53552490 19452874752 44092 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54933] ppid=54912 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/54915/task/54933/stat : 54933 (Common-Cleaner) S 54912 54915 53867 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 53552490 19452874752 44092 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54934] ppid=54912 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/54915/task/54934/stat : 54934 (Timer-0) S 54912 54915 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 53552528 19452874752 44092 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 176368 KiB

[startup+3.10542 s]
/proc/loadavg: 4.10 4.09 4.08 6/341 54935
/proc/meminfo: memFree=125628792/131250000 swapFree=33010684/33010684
[pid=54915] ppid=54912 vsize=19063512 memory=189368 CPUtime=4.6 cores=0,2
/proc/54915/stat : 54915 (java) S 54912 54915 53867 0 -1 4194304 21603 0 0 0 454 6 0 0 20 0 20 0 53552486 19521036288 47342 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
/proc/54915/statm: 4765878 47342 5496 1 0 554829 0
[pid=54915/tid=54917] ppid=54912 vsize=19063512 memory=10752 CPUtime=3 cores=0,2
/proc/54915/task/54917/stat : 54917 (java) R 54912 54915 53867 0 -1 4194368 6663 0 0 0 297 3 0 0 20 0 20 0 53552488 19521036288 47342 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54926] ppid=54912 vsize=19063512 memory=-6000919498543163498 CPUtime=0 cores=0,2
/proc/54915/task/54926/stat : 54926 (Finalizer) S 54912 54915 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53552490 19521036288 47342 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54933] ppid=54912 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/54915/task/54933/stat : 54933 (Common-Cleaner) S 54912 54915 53867 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 53552490 19521036288 47342 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54934] ppid=54912 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/54915/task/54934/stat : 54934 (Timer-0) S 54912 54915 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53552528 19521036288 47342 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
Current children cumulated CPU time: 4.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 189368 KiB

[startup+6.30017 s]
/proc/loadavg: 4.10 4.09 4.08 5/341 54935
/proc/meminfo: memFree=125625012/131250000 swapFree=33010684/33010684
[pid=54915] ppid=54912 vsize=19063512 memory=193428 CPUtime=8.43 cores=0,2
/proc/54915/stat : 54915 (java) S 54912 54915 53867 0 -1 4194304 26672 0 0 0 836 7 0 0 20 0 20 0 53552486 19521036288 48357 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
/proc/54915/statm: 4765878 48357 5528 1 0 555486 0
[pid=54915/tid=54917] ppid=54912 vsize=19063512 memory=0 CPUtime=6.19 cores=0,2
/proc/54915/task/54917/stat : 54917 (java) R 54912 54915 53867 0 -1 4194368 7018 0 0 0 616 3 0 0 20 0 20 0 53552488 19521036288 48357 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54926] ppid=54912 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/54915/task/54926/stat : 54926 (Finalizer) S 54912 54915 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53552490 19521036288 48357 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54933] ppid=54912 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/54915/task/54933/stat : 54933 (Common-Cleaner) S 54912 54915 53867 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 53552490 19521036288 48357 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54934] ppid=54912 vsize=19063512 memory=176368 CPUtime=0 cores=0,2
/proc/54915/task/54934/stat : 54934 (Timer-0) S 54912 54915 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53552528 19521036288 48357 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
Current children cumulated CPU time: 8.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 193428 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.08 5/341 54936
/proc/meminfo: memFree=125620980/131250000 swapFree=33010684/33010684
[pid=54915] ppid=54912 vsize=19063512 memory=187868 CPUtime=15.19 cores=0,2
/proc/54915/stat : 54915 (java) S 54912 54915 53867 0 -1 4194304 39777 0 0 0 1511 8 0 0 20 0 20 0 53552486 19521036288 46967 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
/proc/54915/statm: 4765878 46967 5528 1 0 556833 0
[pid=54915/tid=54917] ppid=54912 vsize=19063512 memory=176368 CPUtime=12.57 cores=0,2
/proc/54915/task/54917/stat : 54917 (java) R 54912 54915 53867 0 -1 4194368 8158 0 0 0 1254 3 0 0 20 0 20 0 53552488 19521036288 46967 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54926] ppid=54912 vsize=19063512 memory=14248 CPUtime=0 cores=0,2
/proc/54915/task/54926/stat : 54926 (Finalizer) S 54912 54915 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53552490 19521036288 46967 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54933] ppid=54912 vsize=19063512 memory=187868 CPUtime=0 cores=0,2
/proc/54915/task/54933/stat : 54933 (Common-Cleaner) S 54912 54915 53867 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 53552490 19521036288 46967 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54934] ppid=54912 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/54915/task/54934/stat : 54934 (Timer-0) S 54912 54915 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53552528 19521036288 46967 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
Current children cumulated CPU time: 15.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 187868 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.08 5/340 54936
/proc/meminfo: memFree=125621012/131250000 swapFree=33010684/33010684
[pid=54915] ppid=54912 vsize=19063512 memory=187868 CPUtime=27.96 cores=0,2
/proc/54915/stat : 54915 (java) S 54912 54915 53867 0 -1 4194304 40883 0 0 0 2788 8 0 0 20 0 20 0 53552486 19521036288 46967 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
/proc/54915/statm: 4765878 46967 5528 1 0 556833 0
[pid=54915/tid=54917] ppid=54912 vsize=19063512 memory=-6000919498543163498 CPUtime=25.34 cores=0,2
/proc/54915/task/54917/stat : 54917 (java) R 54912 54915 53867 0 -1 4194368 8794 0 0 0 2531 3 0 0 20 0 20 0 53552488 19521036288 46967 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54926] ppid=54912 vsize=19063512 memory=18176 CPUtime=0 cores=0,2
/proc/54915/task/54926/stat : 54926 (Finalizer) S 54912 54915 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53552490 19521036288 46967 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54933] ppid=54912 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/54915/task/54933/stat : 54933 (Common-Cleaner) S 54912 54915 53867 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 53552490 19521036288 46967 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54934] ppid=54912 vsize=19063512 memory=14248 CPUtime=0 cores=0,2
/proc/54915/task/54934/stat : 54934 (Timer-0) S 54912 54915 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53552528 19521036288 46967 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
Current children cumulated CPU time: 27.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 187868 KiB

[startup+51.1054 s]
/proc/loadavg: 4.04 4.08 4.07 5/340 54937
/proc/meminfo: memFree=125621028/131250000 swapFree=33010684/33010684
[pid=54915] ppid=54912 vsize=19063512 memory=187868 CPUtime=53.59 cores=0,2
/proc/54915/stat : 54915 (java) S 54912 54915 53867 0 -1 4194304 41326 0 0 0 5350 9 0 0 20 0 20 0 53552486 19521036288 46967 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
/proc/54915/statm: 4765878 46967 5528 1 0 556833 0
[pid=54915/tid=54917] ppid=54912 vsize=19063512 memory=187868 CPUtime=50.88 cores=0,2
/proc/54915/task/54917/stat : 54917 (java) R 54912 54915 53867 0 -1 4194368 8867 0 0 0 5085 3 0 0 20 0 20 0 53552488 19521036288 46967 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54926] ppid=54912 vsize=19063512 memory=187868 CPUtime=0 cores=0,2
/proc/54915/task/54926/stat : 54926 (Finalizer) S 54912 54915 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53552490 19521036288 46967 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54933] ppid=54912 vsize=19063512 memory=187868 CPUtime=0 cores=0,2

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

[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/341 55169
/proc/meminfo: memFree=123148176/131250000 swapFree=33010684/33010684
[pid=54915] ppid=54912 vsize=19063512 memory=1350092 CPUtime=3277.93 cores=0,2
/proc/54915/stat : 54915 (java) S 54912 54915 53867 0 -1 4194304 65182 0 0 0 327722 71 0 0 20 0 20 0 53552486 19521036288 337523 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
/proc/54915/statm: 4765878 337523 5528 1 0 556833 0
[pid=54915/tid=54917] ppid=54912 vsize=19063512 memory=1350092 CPUtime=3272.91 cores=0,2
/proc/54915/task/54917/stat : 54917 (java) R 54912 54915 53867 0 -1 4194368 19435 0 0 0 327285 6 0 0 20 0 20 0 53552488 19521036288 337523 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54926] ppid=54912 vsize=19063512 memory=14248 CPUtime=0 cores=0,2
/proc/54915/task/54926/stat : 54926 (Finalizer) S 54912 54915 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53552490 19521036288 337523 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54933] ppid=54912 vsize=19063512 memory=1350092 CPUtime=0 cores=0,2
/proc/54915/task/54933/stat : 54933 (Common-Cleaner) S 54912 54915 53867 0 -1 4194368 820 0 0 0 0 0 0 0 20 0 20 0 53552490 19521036288 337523 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54934] ppid=54912 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/54915/task/54934/stat : 54934 (Timer-0) S 54912 54915 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53552528 19521036288 337523 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
Current children cumulated CPU time: 3277.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1350092 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/340 55314
/proc/meminfo: memFree=124899876/131250000 swapFree=33010684/33010684
[pid=54915] ppid=54912 vsize=19063512 memory=1350092 CPUtime=3337.79 cores=0,2
/proc/54915/stat : 54915 (java) S 54912 54915 53867 0 -1 4194304 65819 0 0 0 333708 71 0 0 20 0 20 0 53552486 19521036288 337523 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
/proc/54915/statm: 4765878 337523 5528 1 0 556833 0
[pid=54915/tid=54917] ppid=54912 vsize=19063512 memory=14248 CPUtime=3332.76 cores=0,2
/proc/54915/task/54917/stat : 54917 (java) R 54912 54915 53867 0 -1 4194368 19962 0 0 0 333270 6 0 0 20 0 20 0 53552488 19521036288 337523 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54926] ppid=54912 vsize=19063512 memory=1350092 CPUtime=0 cores=0,2
/proc/54915/task/54926/stat : 54926 (Finalizer) S 54912 54915 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53552490 19521036288 337523 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54933] ppid=54912 vsize=19063512 memory=14248 CPUtime=0 cores=0,2
/proc/54915/task/54933/stat : 54933 (Common-Cleaner) S 54912 54915 53867 0 -1 4194368 838 0 0 0 0 0 0 0 20 0 20 0 53552490 19521036288 337523 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54934] ppid=54912 vsize=19063512 memory=-6000919498543163498 CPUtime=0 cores=0,2
/proc/54915/task/54934/stat : 54934 (Timer-0) S 54912 54915 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53552528 19521036288 337523 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
Current children cumulated CPU time: 3337.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1350092 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/342 55318
/proc/meminfo: memFree=124845284/131250000 swapFree=33010684/33010684
[pid=54915] ppid=54912 vsize=19063512 memory=1350092 CPUtime=3397.66 cores=0,2
/proc/54915/stat : 54915 (java) S 54912 54915 53867 0 -1 4194304 66014 0 0 0 339694 72 0 0 20 0 20 0 53552486 19521036288 337523 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
/proc/54915/statm: 4765878 337523 5528 1 0 556833 0
[pid=54915/tid=54917] ppid=54912 vsize=19063512 memory=1350092 CPUtime=3392.61 cores=0,2
/proc/54915/task/54917/stat : 54917 (java) R 54912 54915 53867 0 -1 4194368 20041 0 0 0 339255 6 0 0 20 0 20 0 53552488 19521036288 337523 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54926] ppid=54912 vsize=19063512 memory=1350092 CPUtime=0 cores=0,2
/proc/54915/task/54926/stat : 54926 (Finalizer) S 54912 54915 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53552490 19521036288 337523 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54933] ppid=54912 vsize=19063512 memory=18176 CPUtime=0 cores=0,2
/proc/54915/task/54933/stat : 54933 (Common-Cleaner) S 54912 54915 53867 0 -1 4194368 845 0 0 0 0 0 0 0 20 0 20 0 53552490 19521036288 337523 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54934] ppid=54912 vsize=19063512 memory=6640 CPUtime=0 cores=0,2
/proc/54915/task/54934/stat : 54934 (Timer-0) S 54912 54915 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53552528 19521036288 337523 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
Current children cumulated CPU time: 3397.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1350092 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/342 55320
/proc/meminfo: memFree=124607944/131250000 swapFree=33010684/33010684
[pid=54915] ppid=54912 vsize=19063512 memory=1559796 CPUtime=3457.95 cores=0,2
/proc/54915/stat : 54915 (java) S 54912 54915 53867 0 -1 4194304 76563 0 0 0 345716 79 0 0 20 0 20 0 53552486 19521036288 389949 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
/proc/54915/statm: 4765878 389949 5528 1 0 561568 0
[pid=54915/tid=54917] ppid=54912 vsize=19063512 memory=1350092 CPUtime=3452.35 cores=0,2
/proc/54915/task/54917/stat : 54917 (java) R 54912 54915 53867 0 -1 4194368 24826 0 0 0 345228 7 0 0 20 0 20 0 53552488 19521036288 389949 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54926] ppid=54912 vsize=19063512 memory=18176 CPUtime=0 cores=0,2
/proc/54915/task/54926/stat : 54926 (Finalizer) S 54912 54915 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53552490 19521036288 389949 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54933] ppid=54912 vsize=19063512 memory=1559796 CPUtime=0 cores=0,2
/proc/54915/task/54933/stat : 54933 (Common-Cleaner) S 54912 54915 53867 0 -1 4194368 845 0 0 0 0 0 0 0 20 0 20 0 53552490 19521036288 389949 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54934] ppid=54912 vsize=19063512 memory=1559796 CPUtime=0 cores=0,2
/proc/54915/task/54934/stat : 54934 (Timer-0) S 54912 54915 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53552528 19521036288 389949 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
Current children cumulated CPU time: 3457.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1559796 KiB

[startup+3522.3 s]
/proc/loadavg: 4.28 4.14 4.10 5/342 55322
/proc/meminfo: memFree=124574040/131250000 swapFree=33010684/33010684
[pid=54915] ppid=54912 vsize=19063512 memory=1559796 CPUtime=3517.81 cores=0,2
/proc/54915/stat : 54915 (java) S 54912 54915 53867 0 -1 4194304 77060 0 0 0 351701 80 0 0 20 0 20 0 53552486 19521036288 389949 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
/proc/54915/statm: 4765878 389949 5528 1 0 561568 0
[pid=54915/tid=54917] ppid=54912 vsize=19063512 memory=1559796 CPUtime=3512.19 cores=0,2
/proc/54915/task/54917/stat : 54917 (java) R 54912 54915 53867 0 -1 4194368 25223 0 0 0 351212 7 0 0 20 0 20 0 53552488 19521036288 389949 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54926] ppid=54912 vsize=19063512 memory=1559796 CPUtime=0 cores=0,2
/proc/54915/task/54926/stat : 54926 (Finalizer) S 54912 54915 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53552490 19521036288 389949 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54933] ppid=54912 vsize=19063512 memory=1559796 CPUtime=0 cores=0,2
/proc/54915/task/54933/stat : 54933 (Common-Cleaner) S 54912 54915 53867 0 -1 4194368 845 0 0 0 0 0 0 0 20 0 20 0 53552490 19521036288 389949 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54934] ppid=54912 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/54915/task/54934/stat : 54934 (Timer-0) S 54912 54915 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53552528 19521036288 389949 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
Current children cumulated CPU time: 3517.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1559796 KiB

[startup+3582.3 s]
/proc/loadavg: 4.41 4.20 4.13 7/341 55324
/proc/meminfo: memFree=124540960/131250000 swapFree=33010684/33010684
[pid=54915] ppid=54912 vsize=19063512 memory=1559796 CPUtime=3577.66 cores=0,2
/proc/54915/stat : 54915 (java) S 54912 54915 53867 0 -1 4194304 77584 0 0 0 357685 81 0 0 20 0 20 0 53552486 19521036288 389949 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
/proc/54915/statm: 4765878 389949 5528 1 0 561568 0
[pid=54915/tid=54917] ppid=54912 vsize=19063512 memory=1559796 CPUtime=3572.02 cores=0,2
/proc/54915/task/54917/stat : 54917 (java) R 54912 54915 53867 0 -1 4194368 25692 0 0 0 357195 7 0 0 20 0 20 0 53552488 19521036288 389949 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54926] ppid=54912 vsize=19063512 memory=14248 CPUtime=0 cores=0,2
/proc/54915/task/54926/stat : 54926 (Finalizer) S 54912 54915 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53552490 19521036288 389949 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54933] ppid=54912 vsize=19063512 memory=18176 CPUtime=0 cores=0,2
/proc/54915/task/54933/stat : 54933 (Common-Cleaner) S 54912 54915 53867 0 -1 4194368 863 0 0 0 0 0 0 0 20 0 20 0 53552490 19521036288 389949 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54934] ppid=54912 vsize=19063512 memory=14248 CPUtime=0 cores=0,2
/proc/54915/task/54934/stat : 54934 (Timer-0) S 54912 54915 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53552528 19521036288 389949 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
Current children cumulated CPU time: 3577.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1559796 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.7 s]
/proc/loadavg: 4.52 4.25 4.14 5/341 55324
/proc/meminfo: memFree=124540976/131250000 swapFree=33010684/33010684
[pid=54915] ppid=54912 vsize=19063512 memory=1559796 CPUtime=3600 cores=0,2
/proc/54915/stat : 54915 (java) S 54912 54915 53867 0 -1 4194304 77661 0 0 0 359919 81 0 0 20 0 20 0 53552486 19521036288 389949 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
/proc/54915/statm: 4765878 389949 5528 1 0 561570 0
[pid=54915/tid=54917] ppid=54912 vsize=19063512 memory=14248 CPUtime=3594.36 cores=0,2
/proc/54915/task/54917/stat : 54917 (java) R 54912 54915 53867 0 -1 4194368 25757 0 0 0 359429 7 0 0 20 0 20 0 53552488 19521036288 389949 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54926] ppid=54912 vsize=19063512 memory=18176 CPUtime=0 cores=0,2
/proc/54915/task/54926/stat : 54926 (Finalizer) S 54912 54915 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53552490 19521036288 389949 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54933] ppid=54912 vsize=19063512 memory=1559796 CPUtime=0 cores=0,2
/proc/54915/task/54933/stat : 54933 (Common-Cleaner) S 54912 54915 53867 0 -1 4194368 863 0 0 0 0 0 0 0 20 0 20 0 53552490 19521036288 389949 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54934] ppid=54912 vsize=19063512 memory=1559796 CPUtime=0 cores=0,2
/proc/54915/task/54934/stat : 54934 (Timer-0) S 54912 54915 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53552528 19521036288 389949 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1559796 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.46 s, system=0.825025 s

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

[startup+3604.8 s]
/proc/loadavg: 4.52 4.25 4.14 5/341 55324
/proc/meminfo: memFree=124540976/131250000 swapFree=33010684/33010684
[pid=54915] ppid=54912 vsize=19263204 memory=1560820 CPUtime=3600.2 cores=0,2
/proc/54915/stat : 54915 (java) S 54912 54915 53867 0 -1 4194304 79479 0 0 0 359939 81 0 0 20 0 21 0 53552486 19725520896 390205 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
/proc/54915/statm: 4815801 390205 5528 1 0 562581 0
[pid=54915/tid=54917] ppid=54912 vsize=19263204 memory=1559796 CPUtime=3594.46 cores=0,2
/proc/54915/task/54917/stat : 54917 (java) R 54912 54915 53867 0 -1 4194368 25917 0 0 0 359439 7 0 0 20 0 21 0 53552488 19725520896 390205 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54926] ppid=54912 vsize=19263204 memory=9088 CPUtime=0 cores=0,2
/proc/54915/task/54926/stat : 54926 (Finalizer) S 54912 54915 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 53552490 19725520896 390205 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
[pid=54915/tid=54933] ppid=54912 vsize=19263204 memory=-6000919498543163498 CPUtime=0 cores=0,2
/proc/54915/task/54933/stat : 54933 (Common-Cleaner) S 54912 54915 53867 0 -1 4194368 863 0 0 0 0 0 0 0 20 0 21 0 53552490 19725520896 390205 18446744073709551615 94263696015360 94263696019056 140721690931376 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94263696026872 94263696027664 94263724257280 140721690933633 140721690933734 140721690933734 140721690939336 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1560820 KiB

Child status: 143

Real time (s): 3604.86
CPU time (s): 3600.28
CPU user time (s): 3599.46
CPU system time (s): 0.825025
CPU usage (%): 99.873
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1560820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.46
system time used= 0.825025
maximum resident set size= 1560948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79737
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108411
involuntary context switches= 5953


# summary of solver processes directly reported to runsolver:
#   pid: 54915
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3599.46
#   total CPU system time (s): 0.825025

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.84065 second user time and 14.7236 second system time

The end

Begin job on nodeC014 at 2025-07-01 16:05:59
IDJOB=4496694
IDBENCH=148139
IDSOLVER=3363
FILE ID=nodeC014/4496694-1751378759
RUNJOBID= nodeC014-1751374867-53877
SLURM_JOB_ID= 9598211
Free space on /tmp= 433000 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_001_area_delay.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4496694-1751378759/watcher-4496694-1751378759 -o /tmp/evaluation-result-4496694-1751378759/solver-4496694-1751378759 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751374867-53877 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4496694-1751378759.opb

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

MD5SUM BENCH= 6595cc4610fad26587cd2ec4880b38c3
RANDOM SEED=1144693199

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        125778280 kB
MemAvailable:   127504064 kB
Buffers:            3280 kB
Cached:          2522384 kB
SwapCached:            0 kB
Active:          2601284 kB
Inactive:        2265596 kB
Active(anon):    2359316 kB
Inactive(anon):        0 kB
Active(file):     241968 kB
Inactive(file):  2265596 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1984 kB
Writeback:             0 kB
AnonPages:       2344348 kB
Mapped:           123936 kB
Shmem:             18068 kB
KReclaimable:     114920 kB
Slab:             204204 kB
SReclaimable:     114920 kB
SUnreclaim:        89284 kB
KernelStack:        5216 kB
PageTables:         8320 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7085032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151480 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2113536 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433000 MiB
End job on nodeC014 at 2025-07-01 17:06:04