0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4489791-1751365189.opb
0.12/0.13	c reading problem ... 
0.18/0.72	c using VERIPB proof format
0.18/0.73	c  objective function found
2.39/2.13	c ... done. Wall clock time 2.003s.
2.39/2.13	c declared #vars     10000
2.39/2.13	c #constraints  656900
2.39/2.13	c constraints type 
2.39/2.13	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
2.39/2.13	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
2.39/2.13	c 656900 constraints processed.
2.39/2.14	c objective function length is 10000 literals
3.15/2.56	c SATISFIABLE
3.15/2.56	c OPTIMIZING...
3.15/2.56	c Got one! Elapsed wall clock time (in seconds):2.434
3.15/2.56	o 1041
7.27/4.60	c cleaning 2551 clauses out of 5125 with flag 13447/5125
8.43/5.53	c Got one! Elapsed wall clock time (in seconds):5.407
8.43/5.53	o 1039
9.06/5.92	c cleaning 3933 clauses out of 7878 with flag 2396/10429
10.82/7.61	c cleaning 4966 clauses out of 9946 with flag 17934/16430
12.96/9.68	c cleaning 5975 clauses out of 11979 with flag 37577/23429
15.41/11.99	c cleaning 6996 clauses out of 14006 with flag 59651/31431
18.23/14.76	c cleaning 7996 clauses out of 16009 with flag 86039/40430
21.13/17.61	c cleaning 8999 clauses out of 18013 with flag 115969/50430
24.23/20.75	c cleaning 9999 clauses out of 20013 with flag 150603/61429
27.63/24.18	c cleaning 11001 clauses out of 22014 with flag 188200/73429
31.72/28.20	c cleaning 11990 clauses out of 24013 with flag 230666/86429
36.02/32.51	c cleaning 13002 clauses out of 26024 with flag 275912/100430
40.45/37.14	c cleaning 14005 clauses out of 28021 with flag 327648/115429
45.16/41.85	c cleaning 14997 clauses out of 30017 with flag 380987/131430
50.18/46.87	c cleaning 16000 clauses out of 32023 with flag 433784/148433
55.50/52.17	c cleaning 16998 clauses out of 34019 with flag 492585/166429
61.17/57.85	c cleaning 18000 clauses out of 36023 with flag 552475/185431
67.25/63.98	c cleaning 19001 clauses out of 38021 with flag 618594/205429
73.56/70.84	c cleaning 20001 clauses out of 40021 with flag 690906/226430
79.75/77.04	c cleaning 20991 clauses out of 42019 with flag 765794/248429
86.13/83.45	c cleaning 21993 clauses out of 44029 with flag 843455/271430
92.75/90.07	c cleaning 23001 clauses out of 46037 with flag 922718/295431
100.08/97.53	c cleaning 23996 clauses out of 48035 with flag 1011394/320430
107.86/105.33	c cleaning 25005 clauses out of 50038 with flag 1099713/346429
116.03/113.54	c cleaning 25998 clauses out of 52033 with flag 1192163/373429
124.42/121.96	c cleaning 27003 clauses out of 54035 with flag 1299113/401429
133.03/131.65	c cleaning 28003 clauses out of 56033 with flag 1413910/430430
141.81/140.48	c cleaning 29006 clauses out of 58030 with flag 1530155/460430
150.59/149.29	c cleaning 30000 clauses out of 60023 with flag 1651169/491429
160.39/159.10	c cleaning 31005 clauses out of 62025 with flag 1772522/523431
170.46/169.29	c cleaning 31990 clauses out of 64018 with flag 1889628/556429
180.93/179.75	c cleaning 33002 clauses out of 66028 with flag 2013528/590429
191.83/190.72	c cleaning 33989 clauses out of 68026 with flag 2141787/625429
203.50/202.44	c cleaning 34999 clauses out of 70039 with flag 2275871/661431
214.97/213.95	c cleaning 35999 clauses out of 72038 with flag 2412091/698429
227.58/226.71	c cleaning 37014 clauses out of 74039 with flag 2559976/736429
240.48/239.66	c cleaning 38006 clauses out of 76026 with flag 2710264/775430
254.27/253.57	c cleaning 39010 clauses out of 78019 with flag 2867113/815429
268.14/267.45	c cleaning 40002 clauses out of 80009 with flag 3033134/856429
282.86/282.20	c cleaning 40997 clauses out of 82007 with flag 3199903/898429
297.72/297.14	c cleaning 41997 clauses out of 84011 with flag 3366346/941430
313.16/312.64	c cleaning 42999 clauses out of 86013 with flag 3535923/985429
328.82/328.37	c cleaning 43985 clauses out of 88014 with flag 3714213/1030429
345.10/344.72	c cleaning 45014 clauses out of 90029 with flag 3894271/1076429
362.11/361.79	c cleaning 45992 clauses out of 92015 with flag 4083547/1123429
379.69/379.44	c cleaning 47006 clauses out of 94023 with flag 4263670/1171429
397.82/397.52	c cleaning 48008 clauses out of 96017 with flag 4450001/1220429
416.20/416.04	c cleaning 49003 clauses out of 98010 with flag 4647075/1270430
435.07/435.07	c cleaning 50002 clauses out of 100007 with flag 4858180/1321430
453.86/453.89	c cleaning 50989 clauses out of 102004 with flag 5066339/1373429
473.10/486.85	c cleaning 51995 clauses out of 104017 with flag 5277765/1426431
493.59/507.33	c cleaning 53003 clauses out of 106023 with flag 5492024/1480432
514.52/528.78	c cleaning 54009 clauses out of 108017 with flag 5716786/1535429
535.99/550.54	c cleaning 54997 clauses out of 110009 with flag 5929503/1591430
558.04/572.69	c cleaning 56006 clauses out of 112012 with flag 6144525/1648430
580.80/603.53	c cleaning 57001 clauses out of 114005 with flag 6366437/1706429
604.63/643.17	c cleaning 57992 clauses out of 116004 with flag 6595255/1765429
629.12/667.67	c cleaning 59007 clauses out of 118013 with flag 6818568/1825430
653.77/692.47	c cleaning 59992 clauses out of 120005 with flag 7051801/1886429
678.00/716.75	c cleaning 61005 clauses out of 122014 with flag 7290055/1948430
702.90/743.26	c cleaning 62003 clauses out of 124009 with flag 7525920/2011430
729.70/770.06	c cleaning 62999 clauses out of 126007 with flag 7764452/2075431
755.86/796.31	c cleaning 63990 clauses out of 128010 with flag 8011202/2140433
783.77/824.32	c cleaning 65005 clauses out of 130016 with flag 8263465/2206429
810.71/851.37	c cleaning 65997 clauses out of 132011 with flag 8536897/2273429
838.43/887.17	c cleaning 67000 clauses out of 134015 with flag 8832844/2341430
866.01/919.76	c cleaning 67991 clauses out of 136014 with flag 9131098/2410429
892.61/946.54	c cleaning 68996 clauses out of 138023 with flag 9396412/2480429
919.68/973.66	c cleaning 70004 clauses out of 140027 with flag 9675275/2551429
947.14/1001.25	c cleaning 70995 clauses out of 142023 with flag 9967568/2623429
976.33/1030.66	c cleaning 72000 clauses out of 144029 with flag 10265674/2696430
1005.67/1060.27	c cleaning 73012 clauses out of 146028 with flag 10582384/2770429
1035.68/1090.71	c cleaning 73999 clauses out of 148017 with flag 10898172/2845430
1066.91/1122.45	c cleaning 74999 clauses out of 150017 with flag 11221679/2921429
1096.77/1152.41	c cleaning 76003 clauses out of 152018 with flag 11560076/2998429
1127.80/1183.67	c cleaning 77000 clauses out of 154016 with flag 11889267/3076430
1159.98/1215.97	c cleaning 78008 clauses out of 156015 with flag 12239831/3155429
1194.75/1250.92	c cleaning 79002 clauses out of 158008 with flag 12566564/3235430
1228.46/1285.05	c cleaning 80000 clauses out of 160006 with flag 12880520/3316430
1263.59/1320.30	c cleaning 80996 clauses out of 162005 with flag 13228691/3398429
1298.19/1360.31	c cleaning 81994 clauses out of 164009 with flag 13555196/3481429
1333.92/1396.91	c cleaning 83004 clauses out of 166015 with flag 13907376/3565429
1368.85/1432.22	c cleaning 83996 clauses out of 168012 with flag 14273629/3650430
1404.22/1467.70	c cleaning 85003 clauses out of 170016 with flag 14673617/3736430
1438.92/1503.01	c cleaning 85994 clauses out of 172014 with flag 15042746/3823431
1472.38/1540.44	c cleaning 87004 clauses out of 174018 with flag 15393182/3911429
1508.01/1576.21	c cleaning 87990 clauses out of 176014 with flag 15761034/4000429
1544.24/1612.61	c cleaning 89009 clauses out of 178025 with flag 16126853/4090430
1580.28/1651.10	c cleaning 89998 clauses out of 180015 with flag 16510263/4181429
1616.80/1687.92	c cleaning 90994 clauses out of 182017 with flag 16896076/4273429
1657.64/1728.86	c cleaning 91985 clauses out of 184023 with flag 17283264/4366429
1695.78/1772.92	c cleaning 93007 clauses out of 186038 with flag 17673567/4460429
1736.62/1813.97	c cleaning 94016 clauses out of 188032 with flag 18082034/4555430
1777.00/1854.45	c cleaning 95002 clauses out of 190015 with flag 18494720/4651429
1820.48/1908.88	c cleaning 96007 clauses out of 192014 with flag 18903831/4748430
1863.98/1953.16	c cleaning 96993 clauses out of 194006 with flag 19300707/4846429
1904.07/1993.35	c cleaning 97996 clauses out of 196013 with flag 19717680/4945429
1945.51/2034.93	c cleaning 98993 clauses out of 198017 with flag 20136497/5045429
1988.55/2078.21	c cleaning 100004 clauses out of 200024 with flag 20572230/5146429
2032.77/2122.65	c cleaning 101000 clauses out of 202021 with flag 20976921/5248430
2077.13/2167.55	c cleaning 102000 clauses out of 204022 with flag 21413515/5351431
2121.94/2212.64	c cleaning 103005 clauses out of 206020 with flag 21839585/5455429
2166.02/2257.27	c cleaning 104008 clauses out of 208016 with flag 22236461/5560430
2213.23/2304.73	c cleaning 105004 clauses out of 210007 with flag 22650235/5666429
2261.93/2353.99	c cleaning 105990 clauses out of 212003 with flag 23050108/5773429
2310.45/2402.55	c cleaning 107007 clauses out of 214014 with flag 23469675/5881430
2361.08/2453.43	c cleaning 108000 clauses out of 216010 with flag 23888412/5990433
2411.80/2504.56	c cleaning 109001 clauses out of 218006 with flag 24309627/6100429
2463.01/2556.00	c cleaning 109998 clauses out of 220005 with flag 24740909/6211429
2514.59/2608.13	c cleaning 110992 clauses out of 222007 with flag 25188441/6323429
2565.91/2660.67	c cleaning 111991 clauses out of 224015 with flag 25625653/6436429
2618.94/2715.19	c cleaning 113006 clauses out of 226024 with flag 26063755/6550429
2671.79/2768.28	c cleaning 114009 clauses out of 228018 with flag 26512332/6665429
2725.66/2822.20	c cleaning 115004 clauses out of 230009 with flag 26952940/6781429
2781.07/2877.27	c cleaning 115996 clauses out of 232006 with flag 27405655/6898430
2840.13/2936.52	c cleaning 117001 clauses out of 234010 with flag 27893169/7016430
2899.33/2995.77	c cleaning 118002 clauses out of 236008 with flag 28382935/7135429
2958.03/3054.54	c cleaning 119004 clauses out of 238007 with flag 28854188/7255430
3016.09/3123.68	c cleaning 119992 clauses out of 240003 with flag 29335101/7376430
3079.39/3186.32	c cleaning 121001 clauses out of 242010 with flag 29829644/7498429
3135.56/3242.86	c cleaning 122001 clauses out of 244010 with flag 30315811/7621430
3195.15/3306.09	c cleaning 122996 clauses out of 246008 with flag 30810082/7745429
3256.73/3367.67	c cleaning 123994 clauses out of 248012 with flag 31329158/7870429
3317.34/3428.42	c cleaning 124998 clauses out of 250020 with flag 31870168/7996431
3377.74/3488.50	c cleaning 126000 clauses out of 252021 with flag 32402524/8123430
3439.93/3550.99	c cleaning 126995 clauses out of 254020 with flag 32924606/8251429
3501.92/3613.12	c cleaning 128006 clauses out of 256026 with flag 33436590/8380430
3567.29/3678.39	c cleaning 129004 clauses out of 258019 with flag 33937292/8510429
3588.87/3700.02	c starts		: 15
3588.87/3700.03	c conflicts		: 8550975
3588.87/3700.03	c decisions		: 22261943
3588.87/3700.03	c propagations		: 2142334034
3588.87/3700.03	c inspects		: 3551373944
3588.87/3700.03	c shortcuts		: 0
3588.87/3700.03	c learnt literals	: 0
3588.87/3700.03	c learnt binary clauses	: 0
3588.87/3700.03	c learnt ternary clauses	: 0
3588.87/3700.03	c learnt constraints	: 8550975
3588.87/3700.03	c ignored constraints	: 0
3588.87/3700.03	c root simplifications	: 0
3588.87/3700.04	c removed literals (reason simplification)	: 1037627384
3588.87/3700.04	c reason swapping (by a shorter reason)	: 0
3588.87/3700.04	c Calls to reduceDB	: 127
3588.87/3700.04	c Number of update (reduction) of LBD	: 3005435
3588.87/3700.04	c Imported unit clauses	: 0
3588.87/3700.04	c No decision after first conflict	: false
3588.87/3700.04	c number of reductions to clauses (during analyze)	: 0
3588.87/3700.04	c number of learned constraints concerned by reduction	: 0
3588.87/3700.04	c number of learning phase by resolution	: 0
3588.87/3700.04	c number of learning phase by cutting planes	: 0
3588.87/3700.04	c number of rounding to 1 operations	: 0
3588.87/3700.04	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3588.87/3700.04	c number of reductions of the coefficients by power 2 	: 0
3588.87/3700.04	c number of right shift for reduction by power 2 	: 0
3588.87/3700.04	c number of reductions of the coefficients by GCD over coefficients 	: 0
3588.87/3700.04	c number of ending skipping 	: 0
3588.87/3700.04	c number of internal skipping 	: 0
3588.87/3700.04	c number of derivation steps 	: 0
3588.87/3700.04	c number of skipped derivation steps 	: 0
3588.87/3700.04	c number of remaining unassigned 	: 0
3588.87/3700.04	c number of remaining assigned 	: 0
3588.87/3700.04	c number of falsified literals weakened from reason	: 0
3588.87/3700.04	c number of falsified literals weakened from conflict	: 0
3588.87/3700.04	c time for arithmetic operations	: 0
3588.87/3700.04	c minimum degree of deleted constraints	: null
3588.87/3700.05	c maximum degree of deleted constraints	: null
3588.87/3700.05	c number of deleted constraints	: 0
3588.87/3700.05	c speed (assignments/second)	: 579346.1586306414
3588.87/3700.05	c non guided choices	: 1
3589.07/3700.11	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 169561
3589.07/3700.11	s SATISFIABLE
3589.07/3700.11	c Found 2 solution(s)
3589.07/3700.12	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 
3589.07/3700.13	c objective function=1039
3589.07/3700.13	c Total wall clock time (in seconds): 3700.002

OK	1039

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489791-1751365189/watcher-4489791-1751365189 -o /tmp/evaluation-result-4489791-1751365189/solver-4489791-1751365189 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751361483-52531 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4489791-1751365189 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4489791-1751365189.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=53137, runsolver pid=53134
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.44 4.21 4.14 5/343 53155
/proc/meminfo: memFree=125325764/131250000 swapFree=33009904/33010684
[pid=53137] ppid=53134 vsize=18930384 memory=57748 CPUtime=0.12 cores=5,7
/proc/53137/stat : 53137 (java) S 53134 53137 52518 0 -1 4194304 6563 0 0 0 11 1 0 0 20 0 18 0 52198314 19384713216 14437 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
/proc/53137/statm: 4732596 14437 5363 1 0 547619 0
[pid=53137/tid=53139] ppid=53134 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/53137/task/53139/stat : 53139 (java) R 53134 53137 52518 0 -1 4194368 5068 0 0 0 6 1 0 0 20 0 18 0 52198316 19384713216 14437 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53148] ppid=53134 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/53137/task/53148/stat : 53148 (Finalizer) S 53134 53137 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52198318 19384713216 14437 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53155] ppid=53134 vsize=18930384 memory=60684515952020 CPUtime=0 cores=5,7
/proc/53137/task/53155/stat : 53155 (Common-Cleaner) S 53134 53137 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 52198318 19384713216 14437 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57748 KiB

[startup+0.205839 s]*
/proc/loadavg: 4.44 4.21 4.14 4/343 53155
/proc/meminfo: memFree=125317636/131250000 swapFree=33009904/33010684
[pid=53137] ppid=53134 vsize=18930384 memory=59028 CPUtime=0.18 cores=5,7
/proc/53137/stat : 53137 (java) S 53134 53137 52518 0 -1 4194304 6820 0 0 0 16 2 0 0 20 0 18 0 52198314 19384713216 14757 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
/proc/53137/statm: 4732596 14757 5427 1 0 547793 0
[pid=53137/tid=53139] ppid=53134 vsize=18930384 memory=4026663196 CPUtime=0.1 cores=5,7
/proc/53137/task/53139/stat : 53139 (java) D 53134 53137 52518 0 -1 4456512 5215 0 0 0 9 1 0 0 20 0 18 0 52198316 19384713216 14757 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53148] ppid=53134 vsize=18930384 memory=16898 CPUtime=0 cores=5,7
/proc/53137/task/53148/stat : 53148 (Finalizer) S 53134 53137 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52198318 19384713216 14757 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53155] ppid=53134 vsize=18930384 memory=59585004307431 CPUtime=0 cores=5,7
/proc/53137/task/53155/stat : 53155 (Common-Cleaner) S 53134 53137 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 52198318 19384713216 14757 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59028 KiB

[startup+0.305775 s]*
/proc/loadavg: 4.44 4.21 4.14 4/343 53155
/proc/meminfo: memFree=125317636/131250000 swapFree=33009904/33010684
[pid=53137] ppid=53134 vsize=18930384 memory=59028 CPUtime=0.18 cores=5,7
/proc/53137/stat : 53137 (java) S 53134 53137 52518 0 -1 4194304 6820 0 0 0 16 2 0 0 20 0 18 0 52198314 19384713216 14757 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
/proc/53137/statm: 4732596 14757 5427 1 0 547793 0
[pid=53137/tid=53139] ppid=53134 vsize=18930384 memory=-6000919489920199018 CPUtime=0.1 cores=5,7
/proc/53137/task/53139/stat : 53139 (java) D 53134 53137 52518 0 -1 4456512 5215 0 0 0 9 1 0 0 20 0 18 0 52198316 19384713216 14757 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53148] ppid=53134 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/53137/task/53148/stat : 53148 (Finalizer) S 53134 53137 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52198318 19384713216 14757 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53155] ppid=53134 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/53137/task/53155/stat : 53155 (Common-Cleaner) S 53134 53137 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 52198318 19384713216 14757 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59028 KiB

[startup+0.700154 s]
/proc/loadavg: 4.44 4.21 4.14 4/343 53155
/proc/meminfo: memFree=125293060/131250000 swapFree=33009904/33010684
[pid=53137] ppid=53134 vsize=18930384 memory=59028 CPUtime=0.18 cores=5,7
/proc/53137/stat : 53137 (java) S 53134 53137 52518 0 -1 4194304 6820 0 0 0 16 2 0 0 20 0 18 0 52198314 19384713216 14757 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
/proc/53137/statm: 4732596 14757 5427 1 0 547793 0
[pid=53137/tid=53139] ppid=53134 vsize=18930384 memory=18432 CPUtime=0.1 cores=5,7
/proc/53137/task/53139/stat : 53139 (java) D 53134 53137 52518 0 -1 4456512 5215 0 0 0 9 1 0 0 20 0 18 0 52198316 19384713216 14757 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53148] ppid=53134 vsize=18930384 memory=10752 CPUtime=0 cores=5,7
/proc/53137/task/53148/stat : 53148 (Finalizer) S 53134 53137 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52198318 19384713216 14757 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53155] ppid=53134 vsize=18930384 memory=3328 CPUtime=0 cores=5,7
/proc/53137/task/53155/stat : 53155 (Common-Cleaner) S 53134 53137 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 52198318 19384713216 14757 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59028 KiB

[startup+1.50023 s]
/proc/loadavg: 4.44 4.21 4.14 6/344 53156
/proc/meminfo: memFree=125099616/131250000 swapFree=33009904/33010684
[pid=53137] ppid=53134 vsize=18996948 memory=184660 CPUtime=1.69 cores=5,7
/proc/53137/stat : 53137 (java) S 53134 53137 52518 0 -1 4194304 12220 0 0 0 163 6 0 0 20 0 19 0 52198314 19452874752 46165 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
/proc/53137/statm: 4749237 46165 5459 1 0 551403 0
[pid=53137/tid=53139] ppid=53134 vsize=18996948 memory=3328 CPUtime=0.79 cores=5,7
/proc/53137/task/53139/stat : 53139 (java) R 53134 53137 52518 0 -1 4194368 5308 0 0 0 76 3 0 0 20 0 19 0 52198316 19452874752 46165 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53148] ppid=53134 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/53137/task/53148/stat : 53148 (Finalizer) S 53134 53137 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52198318 19452874752 46165 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53155] ppid=53134 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/53137/task/53155/stat : 53155 (Common-Cleaner) S 53134 53137 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 52198318 19452874752 46165 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 184660 KiB

[startup+3.10564 s]
/proc/loadavg: 4.49 4.22 4.15 6/345 53157
/proc/meminfo: memFree=124657764/131250000 swapFree=33009904/33010684
[pid=53137] ppid=53134 vsize=19063512 memory=450996 CPUtime=4.35 cores=5,7
/proc/53137/stat : 53137 (java) S 53134 53137 52518 0 -1 4194304 14889 0 0 0 421 14 0 0 20 0 20 0 52198314 19521036288 112749 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
/proc/53137/statm: 4765878 112749 5523 1 0 1079444 0
[pid=53137/tid=53139] ppid=53134 vsize=19063512 memory=10752 CPUtime=2.18 cores=5,7
/proc/53137/task/53139/stat : 53139 (java) R 53134 53137 52518 0 -1 4194368 5584 0 0 0 209 9 0 0 20 0 20 0 52198316 19521036288 112749 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53148] ppid=53134 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/53137/task/53148/stat : 53148 (Finalizer) S 53134 53137 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 112749 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53155] ppid=53134 vsize=19063512 memory=5504 CPUtime=0 cores=5,7
/proc/53137/task/53155/stat : 53155 (Common-Cleaner) S 53134 53137 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 112749 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53157] ppid=53134 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/53137/task/53157/stat : 53157 (Timer-0) S 53134 53137 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52198534 19521036288 112749 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
Current children cumulated CPU time: 4.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 450996 KiB

[startup+6.3002 s]
/proc/loadavg: 4.49 4.22 4.15 5/345 53157
/proc/meminfo: memFree=123933692/131250000 swapFree=33009904/33010684
[pid=53137] ppid=53134 vsize=19063512 memory=918460 CPUtime=9.53 cores=5,7
/proc/53137/stat : 53137 (java) S 53134 53137 52518 0 -1 4194304 16344 0 0 0 926 27 0 0 20 0 20 0 52198314 19521036288 229615 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
/proc/53137/statm: 4765878 229615 5523 1 0 1630985 0
[pid=53137/tid=53139] ppid=53134 vsize=19063512 memory=0 CPUtime=5.25 cores=5,7
/proc/53137/task/53139/stat : 53139 (java) R 53134 53137 52518 0 -1 4194368 5847 0 0 0 506 19 0 0 20 0 20 0 52198316 19521036288 229615 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53148] ppid=53134 vsize=19063512 memory=445688 CPUtime=0 cores=5,7
/proc/53137/task/53148/stat : 53148 (Finalizer) S 53134 53137 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 229615 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53155] ppid=53134 vsize=19063512 memory=5504 CPUtime=0 cores=5,7
/proc/53137/task/53155/stat : 53155 (Common-Cleaner) S 53134 53137 52518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 229615 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53157] ppid=53134 vsize=19063512 memory=-6000919489920199018 CPUtime=0 cores=5,7
/proc/53137/task/53157/stat : 53157 (Timer-0) S 53134 53137 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52198534 19521036288 229615 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
Current children cumulated CPU time: 9.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 918460 KiB

[startup+12.7002 s]
/proc/loadavg: 4.41 4.21 4.15 5/345 53157
/proc/meminfo: memFree=123100720/131250000 swapFree=33009904/33010684
[pid=53137] ppid=53134 vsize=19063512 memory=1072412 CPUtime=16.21 cores=5,7
/proc/53137/stat : 53137 (java) S 53134 53137 52518 0 -1 4194304 22987 0 0 0 1589 32 0 0 20 0 20 0 52198314 19521036288 268103 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
/proc/53137/statm: 4765878 268103 5555 1 0 1630987 0
[pid=53137/tid=53139] ppid=53134 vsize=19063512 memory=1070364 CPUtime=11.6 cores=5,7
/proc/53137/task/53139/stat : 53139 (java) R 53134 53137 52518 0 -1 4194368 6756 0 0 0 1136 24 0 0 20 0 20 0 52198316 19521036288 268103 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53148] ppid=53134 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/53137/task/53148/stat : 53148 (Finalizer) S 53134 53137 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 268103 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53155] ppid=53134 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/53137/task/53155/stat : 53155 (Common-Cleaner) S 53134 53137 52518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 268103 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53157] ppid=53134 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/53137/task/53157/stat : 53157 (Timer-0) S 53134 53137 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52198534 19521036288 268103 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
Current children cumulated CPU time: 16.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1072412 KiB

[startup+25.5002 s]
/proc/loadavg: 4.35 4.21 4.15 5/345 53157
/proc/meminfo: memFree=120502028/131250000 swapFree=33009904/33010684
[pid=53137] ppid=53134 vsize=19063512 memory=1959260 CPUtime=29.01 cores=5,7
/proc/53137/stat : 53137 (java) S 53134 53137 52518 0 -1 4194304 25801 0 0 0 2846 55 0 0 20 0 20 0 52198314 19521036288 489815 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
/proc/53137/statm: 4765878 489815 5555 1 0 1630987 0
[pid=53137/tid=53139] ppid=53134 vsize=19063512 memory=1070364 CPUtime=24.33 cores=5,7
/proc/53137/task/53139/stat : 53139 (java) R 53134 53137 52518 0 -1 4194368 8374 0 0 0 2388 45 0 0 20 0 20 0 52198316 19521036288 489815 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53148] ppid=53134 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/53137/task/53148/stat : 53148 (Finalizer) S 53134 53137 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 489815 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53155] ppid=53134 vsize=19063512 memory=16436 CPUtime=0 cores=5,7
/proc/53137/task/53155/stat : 53155 (Common-Cleaner) S 53134 53137 52518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 489815 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53157] ppid=53134 vsize=19063512 memory=1713500 CPUtime=0 cores=5,7
/proc/53137/task/53157/stat : 53157 (Timer-0) S 53134 53137 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52198534 19521036288 489815 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
Current children cumulated CPU time: 29.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1959260 KiB

[startup+51.1057 s]
/proc/loadavg: 4.29 4.20 4.15 5/345 53158
/proc/meminfo: memFree=115385520/131250000 swapFree=33009904/33010684
[pid=53137] ppid=53134 vsize=19063512 memory=2784696 CPUtime=54.5 cores=5,7
/proc/53137/stat : 53137 (java) S 53134 53137 52518 0 -1 4194304 33056 0 0 0 5373 77 0 0 20 0 20 0 52198314 19521036288 696174 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
/proc/53137/statm: 4765878 696174 5555 1 0 1631013 0
[pid=53137/tid=53139] ppid=53134 vsize=19063512 memory=2713016 CPUtime=49.64 cores=5,7
/proc/53137/task/53139/stat : 53139 (java) R 53134 53137 52518 0 -1 4194368 10607 0 0 0 4898 66 0 0 20 0 20 0 52198316 19521036288 696174 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53148] ppid=53134 vsize=19063512 memory=2201016 CPUtime=0 cores=5,7
/proc/53137/task/53148/stat : 53148 (Finalizer) S 53134 53137 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 696174 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53155] ppid=53134 vsize=19063512 memory=16436 CPUtime=0 cores=5,7
/proc/53137/task/53155/stat : 53155 (Common-Cleaner) S 53134 53137 52518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 696174 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53157] ppid=53134 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/53137/task/53157/stat : 53157 (Timer-0) S 53134 53137 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52198534 19521036288 696174 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0

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

/proc/53137/task/53148/stat : 53148 (Finalizer) S 53134 53137 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 1609522 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53155] ppid=53134 vsize=19063512 memory=18432 CPUtime=0 cores=5,7
/proc/53137/task/53155/stat : 53155 (Common-Cleaner) S 53134 53137 52518 0 -1 4194368 2950 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 1609522 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53157] ppid=53134 vsize=19063512 memory=6438088 CPUtime=0 cores=5,7
/proc/53137/task/53157/stat : 53157 (Timer-0) S 53134 53137 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52198534 19521036288 1609522 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
Current children cumulated CPU time: 3174.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6438088 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/344 53352
/proc/meminfo: memFree=73792388/131250000 swapFree=33009904/33010684
[pid=53137] ppid=53134 vsize=19063512 memory=6446412 CPUtime=3231.43 cores=5,7
/proc/53137/stat : 53137 (java) S 53134 53137 52518 0 -1 4194304 202415 0 0 0 322193 950 0 0 20 0 20 0 52198314 19521036288 1611603 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
/proc/53137/statm: 4765878 1611603 5587 1 0 1631805 0
[pid=53137/tid=53139] ppid=53134 vsize=19063512 memory=18432 CPUtime=3206.64 cores=5,7
/proc/53137/task/53139/stat : 53139 (java) R 53134 53137 52518 0 -1 4194368 108042 0 0 0 319823 841 0 0 20 0 20 0 52198316 19521036288 1611603 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53148] ppid=53134 vsize=19063512 memory=6446412 CPUtime=0 cores=5,7
/proc/53137/task/53148/stat : 53148 (Finalizer) S 53134 53137 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 1611603 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53155] ppid=53134 vsize=19063512 memory=-6000919489920199018 CPUtime=0 cores=5,7
/proc/53137/task/53155/stat : 53155 (Common-Cleaner) S 53134 53137 52518 0 -1 4194368 3025 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 1611603 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53157] ppid=53134 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/53137/task/53157/stat : 53157 (Timer-0) S 53134 53137 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52198534 19521036288 1611603 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
Current children cumulated CPU time: 3231.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6446412 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/344 53354
/proc/meminfo: memFree=73095212/131250000 swapFree=33009904/33010684
[pid=53137] ppid=53134 vsize=19063512 memory=6448460 CPUtime=3291.37 cores=5,7
/proc/53137/stat : 53137 (java) S 53134 53137 52518 0 -1 4194304 205152 0 0 0 328170 967 0 0 20 0 20 0 52198314 19521036288 1612115 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
/proc/53137/statm: 4765878 1612115 5587 1 0 1631805 0
[pid=53137/tid=53139] ppid=53134 vsize=19063512 memory=16436 CPUtime=3266.06 cores=5,7
/proc/53137/task/53139/stat : 53139 (java) R 53134 53137 52518 0 -1 4194368 109359 0 0 0 325750 856 0 0 20 0 20 0 52198316 19521036288 1612115 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53148] ppid=53134 vsize=19063512 memory=315953 CPUtime=0 cores=5,7
/proc/53137/task/53148/stat : 53148 (Finalizer) S 53134 53137 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 1612115 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53155] ppid=53134 vsize=19063512 memory=6436020 CPUtime=0 cores=5,7
/proc/53137/task/53155/stat : 53155 (Common-Cleaner) S 53134 53137 52518 0 -1 4194368 3098 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 1612115 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53157] ppid=53134 vsize=19063512 memory=6448460 CPUtime=0 cores=5,7
/proc/53137/task/53157/stat : 53157 (Timer-0) S 53134 53137 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52198534 19521036288 1612115 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
Current children cumulated CPU time: 3291.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6448460 KiB

[startup+3462.3 s]
/proc/loadavg: 4.48 4.20 4.12 5/344 53356
/proc/meminfo: memFree=72486936/131250000 swapFree=33009904/33010684
[pid=53137] ppid=53134 vsize=19063512 memory=6450508 CPUtime=3351.23 cores=5,7
/proc/53137/stat : 53137 (java) S 53134 53137 52518 0 -1 4194304 207917 0 0 0 334141 982 0 0 20 0 20 0 52198314 19521036288 1612627 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
/proc/53137/statm: 4765878 1612627 5587 1 0 1631805 0
[pid=53137/tid=53139] ppid=53134 vsize=19063512 memory=315953 CPUtime=3325.61 cores=5,7
/proc/53137/task/53139/stat : 53139 (java) R 53134 53137 52518 0 -1 4194368 111664 0 0 0 331691 870 0 0 20 0 20 0 52198316 19521036288 1612627 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53148] ppid=53134 vsize=19063512 memory=6436020 CPUtime=0 cores=5,7
/proc/53137/task/53148/stat : 53148 (Finalizer) S 53134 53137 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 1612627 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53155] ppid=53134 vsize=19063512 memory=6450508 CPUtime=0 cores=5,7
/proc/53137/task/53155/stat : 53155 (Common-Cleaner) S 53134 53137 52518 0 -1 4194368 3099 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 1612627 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53157] ppid=53134 vsize=19063512 memory=6450508 CPUtime=0 cores=5,7
/proc/53137/task/53157/stat : 53157 (Timer-0) S 53134 53137 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52198534 19521036288 1612627 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
Current children cumulated CPU time: 3351.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6450508 KiB

[startup+3522.3 s]
/proc/loadavg: 4.70 4.29 4.16 3/344 53359
/proc/meminfo: memFree=71863512/131250000 swapFree=33009904/33010684
[pid=53137] ppid=53134 vsize=19063512 memory=6458708 CPUtime=3411.39 cores=5,7
/proc/53137/stat : 53137 (java) S 53134 53137 52518 0 -1 4194304 212027 0 0 0 340139 1000 0 0 20 0 20 0 52198314 19521036288 1614677 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
/proc/53137/statm: 4765878 1614677 5587 1 0 1631805 0
[pid=53137/tid=53139] ppid=53134 vsize=19063512 memory=6446412 CPUtime=3384.86 cores=5,7
/proc/53137/task/53139/stat : 53139 (java) R 53134 53137 52518 0 -1 4194368 114208 0 0 0 337599 887 0 0 20 0 20 0 52198316 19521036288 1614677 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53148] ppid=53134 vsize=19063512 memory=16436 CPUtime=0 cores=5,7
/proc/53137/task/53148/stat : 53148 (Finalizer) S 53134 53137 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 1614677 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53155] ppid=53134 vsize=19063512 memory=6438088 CPUtime=0 cores=5,7
/proc/53137/task/53155/stat : 53155 (Common-Cleaner) S 53134 53137 52518 0 -1 4194368 3173 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 1614677 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53157] ppid=53134 vsize=19063512 memory=-6000919489920199018 CPUtime=0 cores=5,7
/proc/53137/task/53157/stat : 53157 (Timer-0) S 53134 53137 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52198534 19521036288 1614677 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
Current children cumulated CPU time: 3411.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6458708 KiB

[startup+3582.3 s]
/proc/loadavg: 4.35 4.27 4.16 5/344 53362
/proc/meminfo: memFree=71122912/131250000 swapFree=33009904/33010684
[pid=53137] ppid=53134 vsize=19063512 memory=6458708 CPUtime=3471.29 cores=5,7
/proc/53137/stat : 53137 (java) S 53134 53137 52518 0 -1 4194304 214363 0 0 0 346114 1015 0 0 20 0 20 0 52198314 19521036288 1614677 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
/proc/53137/statm: 4765878 1614677 5587 1 0 1631805 0
[pid=53137/tid=53139] ppid=53134 vsize=19063512 memory=5276 CPUtime=3444.32 cores=5,7
/proc/53137/task/53139/stat : 53139 (java) R 53134 53137 52518 0 -1 4194368 115312 0 0 0 343531 901 0 0 20 0 20 0 52198316 19521036288 1614677 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53148] ppid=53134 vsize=19063512 memory=6458708 CPUtime=0 cores=5,7
/proc/53137/task/53148/stat : 53148 (Finalizer) S 53134 53137 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 1614677 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53155] ppid=53134 vsize=19063512 memory=6458708 CPUtime=0 cores=5,7
/proc/53137/task/53155/stat : 53155 (Common-Cleaner) S 53134 53137 52518 0 -1 4194368 3265 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 1614677 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53157] ppid=53134 vsize=19063512 memory=6458708 CPUtime=0 cores=5,7
/proc/53137/task/53157/stat : 53157 (Timer-0) S 53134 53137 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52198534 19521036288 1614677 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
Current children cumulated CPU time: 3471.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6458708 KiB

[startup+3642.3 s]
/proc/loadavg: 4.13 4.22 4.14 5/345 53365
/proc/meminfo: memFree=70553212/131250000 swapFree=33009904/33010684
[pid=53137] ppid=53134 vsize=19063512 memory=6458708 CPUtime=3531.05 cores=5,7
/proc/53137/stat : 53137 (java) S 53134 53137 52518 0 -1 4194304 217956 0 0 0 352075 1030 0 0 20 0 20 0 52198314 19521036288 1614677 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
/proc/53137/statm: 4765878 1614677 5587 1 0 1631805 0
[pid=53137/tid=53139] ppid=53134 vsize=19063512 memory=6448460 CPUtime=3503.84 cores=5,7
/proc/53137/task/53139/stat : 53139 (java) R 53134 53137 52518 0 -1 4194368 117927 0 0 0 349469 915 0 0 20 0 20 0 52198316 19521036288 1614677 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53148] ppid=53134 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/53137/task/53148/stat : 53148 (Finalizer) S 53134 53137 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 1614677 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53155] ppid=53134 vsize=19063512 memory=6458708 CPUtime=0 cores=5,7
/proc/53137/task/53155/stat : 53155 (Common-Cleaner) S 53134 53137 52518 0 -1 4194368 3399 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 1614677 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53157] ppid=53134 vsize=19063512 memory=6458708 CPUtime=0 cores=5,7
/proc/53137/task/53157/stat : 53157 (Timer-0) S 53134 53137 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52198534 19521036288 1614677 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
Current children cumulated CPU time: 3531.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6458708 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 4.23 4.22 4.15 5/347 53570
/proc/meminfo: memFree=111560468/131250000 swapFree=33009904/33010684
[pid=53137] ppid=53134 vsize=19063512 memory=6464872 CPUtime=3588.87 cores=5,7
/proc/53137/stat : 53137 (java) S 53134 53137 52518 0 -1 4194304 221511 0 0 0 357842 1045 0 0 20 0 20 0 52198314 19521036288 1616218 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
/proc/53137/statm: 4765878 1616218 5587 1 0 1631805 0
[pid=53137/tid=53139] ppid=53134 vsize=19063512 memory=7404 CPUtime=3560.84 cores=5,7
/proc/53137/task/53139/stat : 53139 (java) R 53134 53137 52518 0 -1 4194368 119774 0 0 0 355155 929 0 0 20 0 20 0 52198316 19521036288 1616218 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53148] ppid=53134 vsize=19063512 memory=-6000919472723290474 CPUtime=0 cores=5,7
/proc/53137/task/53148/stat : 53148 (Finalizer) S 53134 53137 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 1616218 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53155] ppid=53134 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/53137/task/53155/stat : 53155 (Common-Cleaner) S 53134 53137 52518 0 -1 4194368 3516 0 0 0 0 0 0 0 20 0 20 0 52198318 19521036288 1616218 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
[pid=53137/tid=53157] ppid=53134 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/53137/task/53157/stat : 53157 (Timer-0) S 53134 53137 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52198534 19521036288 1616218 18446744073709551615 94016259293184 94016259296880 140732446005008 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94016259304696 94016259305488 94016291770368 140732446013744 140732446013926 140732446013926 140732446019528 0
Current children cumulated CPU time: 3588.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6464872 KiB

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

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

# cumulated CPU time of all completed processes:  user=3578.67 s, system=10.4906 s

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

[startup+3700.2 s]*
/proc/loadavg: 4.23 4.22 4.15 5/329 53573
/proc/meminfo: memFree=117984848/131250000 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3700.21
CPU time (s): 3589.16
CPU user time (s): 3578.67
CPU system time (s): 10.4906
CPU usage (%): 96.999
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6465768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.67
system time used= 10.4906
maximum resident set size= 6466024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224148
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18460000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114229
involuntary context switches= 9011


# summary of solver processes directly reported to runsolver:
#   pid: 53137
#   total CPU time (s): 3589.16
#   total CPU user time (s): 3578.67
#   total CPU system time (s): 10.4906

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.21081 second user time and 15.7654 second system time

The end

Begin job on nodeC033 at 2025-07-01 12:19:49
IDJOB=4489791
IDBENCH=147563
IDSOLVER=3364
FILE ID=nodeC033/4489791-1751365189
RUNJOBID= nodeC033-1751361483-52531
SLURM_JOB_ID= 9598171
Free space on /tmp= 432408 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489791-1751365189/watcher-4489791-1751365189 -o /tmp/evaluation-result-4489791-1751365189/solver-4489791-1751365189 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751361483-52531 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4489791-1751365189 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4489791-1751365189.opb

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

MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb
RANDOM SEED=841876940

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.024
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.13
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.108
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.13
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		: 3605.778
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.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.367
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.13
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.069
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.13
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		: 3598.762
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.13
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		: 3601.580
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.13
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.052
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.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        125343128 kB
MemAvailable:   125258312 kB
Buffers:            2128 kB
Cached:           713228 kB
SwapCached:           68 kB
Active:          4803340 kB
Inactive:         474504 kB
Active(anon):    4556136 kB
Inactive(anon):    24496 kB
Active(file):     247204 kB
Inactive(file):   450008 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            278408 kB
Writeback:             0 kB
AnonPages:       4565976 kB
Mapped:           124164 kB
Shmem:             18028 kB
KReclaimable:     114420 kB
Slab:             210688 kB
SReclaimable:     114420 kB
SUnreclaim:        96268 kB
KernelStack:        5264 kB
PageTables:        12616 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   20075936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4341760 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432384 MiB
End job on nodeC033 at 2025-07-01 13:21:29