0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	--- Begin Solver configuration ---
0.12/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.12/0.13	Learn all clauses as in MiniSAT
0.12/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	Expensive reason simplification
0.12/0.13	Glucose 2.1 dynamic restart strategy
0.12/0.13	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	timeout=2147483s
0.12/0.13	DB Simplification allowed=false
0.12/0.13	Listener: none
0.12/0.13	--- End Solver configuration ---
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@2401f4c3
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@762efe5d 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-4440309-1721772515.opb
0.12/0.13	c reading problem ... 
0.12/0.14	c using VERIPB proof format
0.12/0.14	c  objective function found
2.40/1.59	c ... done. Wall clock time 1.45s.
2.40/1.59	c declared #vars     10000
2.40/1.59	c #constraints  656900
2.40/1.59	c constraints type 
2.40/1.59	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
2.40/1.59	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
2.40/1.59	c 656900 constraints processed.
2.40/1.59	c objective function length is 10000 literals
3.16/1.91	c SATISFIABLE
3.16/1.92	c OPTIMIZING...
3.16/1.92	c Got one! Elapsed wall clock time (in seconds):1.784
3.16/1.92	o 1041
6.90/3.87	c cleaning 2551 clauses out of 5125 with flag 13447/5125
8.09/4.81	c Got one! Elapsed wall clock time (in seconds):4.679
8.09/4.81	o 1039
8.48/5.16	c cleaning 3933 clauses out of 7878 with flag 2396/10429
10.21/6.87	c cleaning 4966 clauses out of 9946 with flag 17934/16430
12.40/8.91	c cleaning 5975 clauses out of 11979 with flag 37577/23429
14.71/11.24	c cleaning 6996 clauses out of 14006 with flag 59651/31431
17.41/13.93	c cleaning 7996 clauses out of 16009 with flag 86039/40430
20.20/16.77	c cleaning 8999 clauses out of 18013 with flag 115969/50430
23.29/19.88	c cleaning 9999 clauses out of 20013 with flag 150603/61429
26.69/23.27	c cleaning 11001 clauses out of 22014 with flag 188200/73429
30.59/27.17	c cleaning 11990 clauses out of 24013 with flag 230666/86429
34.87/31.46	c cleaning 13002 clauses out of 26024 with flag 275912/100430
39.37/35.94	c cleaning 14005 clauses out of 28021 with flag 327648/115429
44.11/40.80	c cleaning 14997 clauses out of 30017 with flag 380987/131430
49.19/45.71	c cleaning 16000 clauses out of 32023 with flag 433784/148433
54.28/50.90	c cleaning 16998 clauses out of 34019 with flag 492585/166429
59.97/56.50	c cleaning 18000 clauses out of 36023 with flag 552475/185431
65.95/62.55	c cleaning 19001 clauses out of 38021 with flag 618594/205429
72.26/69.02	c cleaning 20001 clauses out of 40021 with flag 690906/226430
78.44/75.20	c cleaning 20991 clauses out of 42019 with flag 765794/248429
84.66/81.49	c cleaning 21993 clauses out of 44029 with flag 843455/271430
91.14/88.00	c cleaning 23001 clauses out of 46037 with flag 922718/295431
98.43/95.28	c cleaning 23996 clauses out of 48035 with flag 1011394/320430
106.22/103.13	c cleaning 25005 clauses out of 50038 with flag 1099713/346429
114.42/111.39	c cleaning 25998 clauses out of 52033 with flag 1192163/373429
122.70/119.68	c cleaning 27003 clauses out of 54035 with flag 1299113/401429
131.28/128.22	c cleaning 28003 clauses out of 56033 with flag 1413910/430430
139.98/137.03	c cleaning 29006 clauses out of 58030 with flag 1530155/460430
148.80/145.81	c cleaning 30000 clauses out of 60023 with flag 1651169/491429
158.28/155.32	c cleaning 31005 clauses out of 62025 with flag 1772522/523431
168.27/165.67	c cleaning 31990 clauses out of 64018 with flag 1889628/556429
178.65/176.09	c cleaning 33002 clauses out of 66028 with flag 2013528/590429
189.45/186.84	c cleaning 33989 clauses out of 68026 with flag 2141787/625429
200.74/198.25	c cleaning 34999 clauses out of 70039 with flag 2275871/661431
211.81/209.31	c cleaning 35999 clauses out of 72038 with flag 2412091/698429
223.95/221.51	c cleaning 37014 clauses out of 74039 with flag 2559976/736429
236.62/234.28	c cleaning 38006 clauses out of 76026 with flag 2710264/775430
250.38/248.03	c cleaning 39010 clauses out of 78019 with flag 2867113/815429
264.12/261.89	c cleaning 40002 clauses out of 80009 with flag 3033134/856429
278.68/276.43	c cleaning 40997 clauses out of 82007 with flag 3199903/898429
293.48/291.32	c cleaning 41997 clauses out of 84011 with flag 3366346/941430
308.59/306.49	c cleaning 42999 clauses out of 86013 with flag 3535923/985429
324.21/322.35	c cleaning 43985 clauses out of 88014 with flag 3714213/1030429
340.44/338.53	c cleaning 45014 clauses out of 90029 with flag 3894271/1076429
357.23/355.45	c cleaning 45992 clauses out of 92015 with flag 4083547/1123429
374.59/372.85	c cleaning 47006 clauses out of 94023 with flag 4263670/1171429
392.41/390.83	c cleaning 48008 clauses out of 96017 with flag 4450001/1220429
410.63/409.31	c cleaning 49003 clauses out of 98010 with flag 4647075/1270430
429.47/428.25	c cleaning 50002 clauses out of 100007 with flag 4858180/1321430
448.02/446.95	c cleaning 50989 clauses out of 102004 with flag 5066339/1373429
467.25/466.14	c cleaning 51995 clauses out of 104017 with flag 5277765/1426431
487.24/486.29	c cleaning 53003 clauses out of 106023 with flag 5492024/1480432
507.90/506.96	c cleaning 54009 clauses out of 108017 with flag 5716786/1535429
528.69/527.86	c cleaning 54997 clauses out of 110009 with flag 5929503/1591430
550.24/549.46	c cleaning 56006 clauses out of 112012 with flag 6144525/1648430
572.36/571.62	c cleaning 57001 clauses out of 114005 with flag 6366437/1706429
595.55/594.99	c cleaning 57992 clauses out of 116004 with flag 6595255/1765429
619.46/618.82	c cleaning 59007 clauses out of 118013 with flag 6818568/1825430
643.45/642.99	c cleaning 59992 clauses out of 120005 with flag 7051801/1886429
667.07/666.74	c cleaning 61005 clauses out of 122014 with flag 7290055/1948430
691.61/691.35	c cleaning 62003 clauses out of 124009 with flag 7525920/2011430
717.59/717.45	c cleaning 62999 clauses out of 126007 with flag 7764452/2075431
743.05/743.01	c cleaning 63990 clauses out of 128010 with flag 8011202/2140433
770.09/770.30	c cleaning 65005 clauses out of 130016 with flag 8263465/2206429
796.24/796.74	c cleaning 65997 clauses out of 132011 with flag 8536897/2273429
823.54/824.17	c cleaning 67000 clauses out of 134015 with flag 8832844/2341430
850.51/851.21	c cleaning 67991 clauses out of 136014 with flag 9131098/2410429
876.64/877.41	c cleaning 68996 clauses out of 138023 with flag 9396412/2480429
903.01/903.96	c cleaning 70004 clauses out of 140027 with flag 9675275/2551429
929.81/930.81	c cleaning 70995 clauses out of 142023 with flag 9967568/2623429
958.46/959.57	c cleaning 72000 clauses out of 144029 with flag 10265674/2696430
987.09/988.20	c cleaning 73012 clauses out of 146028 with flag 10582384/2770429
1016.32/1017.51	c cleaning 73999 clauses out of 148017 with flag 10898172/2845430
1046.95/1048.41	c cleaning 74999 clauses out of 150017 with flag 11221679/2921429
1076.12/1077.97	c cleaning 76003 clauses out of 152018 with flag 11560076/2998429
1106.33/1108.77	c cleaning 77000 clauses out of 154016 with flag 11889267/3076430
1137.83/1140.75	c cleaning 78008 clauses out of 156015 with flag 12239831/3155429
1172.08/1175.21	c cleaning 79002 clauses out of 158008 with flag 12566564/3235430
1204.94/1208.27	c cleaning 80000 clauses out of 160006 with flag 12880520/3316430
1239.31/1242.74	c cleaning 80996 clauses out of 162005 with flag 13228691/3398429
1273.29/1276.94	c cleaning 81994 clauses out of 164009 with flag 13555196/3481429
1308.36/1312.10	c cleaning 83004 clauses out of 166015 with flag 13907376/3565429
1342.75/1346.45	c cleaning 83996 clauses out of 168012 with flag 14273629/3650430
1377.32/1381.12	c cleaning 85003 clauses out of 170016 with flag 14673617/3736430
1411.33/1415.24	c cleaning 85994 clauses out of 172014 with flag 15042746/3823431
1444.38/1448.45	c cleaning 87004 clauses out of 174018 with flag 15393182/3911429
1479.25/1483.59	c cleaning 87990 clauses out of 176014 with flag 15761034/4000429
1514.91/1519.23	c cleaning 89009 clauses out of 178025 with flag 16126853/4090430
1550.27/1554.90	c cleaning 89998 clauses out of 180015 with flag 16510263/4181429
1585.79/1590.67	c cleaning 90994 clauses out of 182017 with flag 16896076/4273429
1625.95/1630.82	c cleaning 91985 clauses out of 184023 with flag 17283264/4366429
1663.14/1668.37	c cleaning 93007 clauses out of 186038 with flag 17673567/4460429
1703.32/1708.70	c cleaning 94016 clauses out of 188032 with flag 18082034/4555430
1743.12/1748.52	c cleaning 95002 clauses out of 190015 with flag 18494720/4651429
1785.69/1791.48	c cleaning 96007 clauses out of 192014 with flag 18903831/4748430
1828.00/1833.97	c cleaning 96993 clauses out of 194006 with flag 19300707/4846429
1867.30/1873.22	c cleaning 97996 clauses out of 196013 with flag 19717680/4945429
1907.71/1913.74	c cleaning 98993 clauses out of 198017 with flag 20136497/5045429
1949.67/1955.77	c cleaning 100004 clauses out of 200024 with flag 20572230/5146429
1992.80/1998.85	c cleaning 101000 clauses out of 202021 with flag 20976921/5248430
2036.04/2042.17	c cleaning 102000 clauses out of 204022 with flag 21413515/5351431
2079.77/2085.99	c cleaning 103005 clauses out of 206020 with flag 21839585/5455429
2123.04/2129.57	c cleaning 104008 clauses out of 208016 with flag 22236461/5560430
2169.41/2175.93	c cleaning 105004 clauses out of 210007 with flag 22650235/5666429
2217.26/2223.85	c cleaning 105990 clauses out of 212003 with flag 23050108/5773429
2264.81/2271.43	c cleaning 107007 clauses out of 214014 with flag 23469675/5881430
2314.61/2321.34	c cleaning 108000 clauses out of 216010 with flag 23888412/5990433
2364.56/2371.15	c cleaning 109001 clauses out of 218006 with flag 24309627/6100429
2414.54/2421.13	c cleaning 109998 clauses out of 220005 with flag 24740909/6211429
2465.06/2471.77	c cleaning 110992 clauses out of 222007 with flag 25188441/6323429
2515.06/2521.72	c cleaning 111991 clauses out of 224015 with flag 25625653/6436429
2567.05/2574.04	c cleaning 113006 clauses out of 226024 with flag 26063755/6550429
2618.89/2626.04	c cleaning 114009 clauses out of 228018 with flag 26512332/6665429
2672.39/2679.56	c cleaning 115004 clauses out of 230009 with flag 26952940/6781429
2725.91/2733.47	c cleaning 115996 clauses out of 232006 with flag 27405655/6898430
2784.28/2791.97	c cleaning 117001 clauses out of 234010 with flag 27893169/7016430
2842.82/2850.62	c cleaning 118002 clauses out of 236008 with flag 28382935/7135429
2900.15/2908.46	c cleaning 119004 clauses out of 238007 with flag 28854188/7255430
2957.02/2965.72	c cleaning 119992 clauses out of 240003 with flag 29335101/7376430
3018.07/3027.17	c cleaning 121001 clauses out of 242010 with flag 29829644/7498429
3074.51/3082.98	c cleaning 122001 clauses out of 244010 with flag 30315811/7621430
3132.62/3141.23	c cleaning 122996 clauses out of 246008 with flag 30810082/7745429
3193.41/3201.97	c cleaning 123994 clauses out of 248012 with flag 31329158/7870429
3252.74/3261.40	c cleaning 124998 clauses out of 250020 with flag 31870168/7996431
3310.81/3319.36	c cleaning 126000 clauses out of 252021 with flag 32402524/8123430
3370.80/3379.57	c cleaning 126995 clauses out of 254020 with flag 32924606/8251429
3430.77/3439.55	c cleaning 128006 clauses out of 256026 with flag 33436590/8380430
3493.29/3502.11	c cleaning 129004 clauses out of 258019 with flag 33937292/8510429
3558.47/3567.38	c cleaning 130001 clauses out of 260016 with flag 34464740/8641430
3600.00/3609.03	c starts		: 16
3600.00/3609.03	c conflicts		: 8724337
3600.00/3609.03	c decisions		: 22724546
3600.00/3609.03	c propagations		: 2196985245
3600.00/3609.03	c inspects		: 3638704379
3600.00/3609.03	c shortcuts		: 0
3600.00/3609.03	c learnt literals	: 0
3600.00/3609.03	c learnt binary clauses	: 0
3600.00/3609.03	c learnt ternary clauses	: 0
3600.00/3609.03	c learnt constraints	: 8724337
3600.00/3609.03	c ignored constraints	: 0
3600.00/3609.03	c root simplifications	: 0
3600.00/3609.03	c removed literals (reason simplification)	: 1052973486
3600.00/3609.03	c reason swapping (by a shorter reason)	: 0
3600.00/3609.03	c Calls to reduceDB	: 128
3600.00/3609.03	c Number of update (reduction) of LBD	: 3079063
3600.00/3609.03	c Imported unit clauses	: 0
3600.00/3609.03	c No decision after first conflict	: false
3600.00/3609.03	c number of reductions to clauses (during analyze)	: 0
3600.00/3609.03	c number of learned constraints concerned by reduction	: 0
3600.00/3609.03	c number of learning phase by resolution	: 0
3600.00/3609.03	c number of learning phase by cutting planes	: 0
3600.00/3609.03	c number of rounding to 1 operations	: 0
3600.00/3609.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3609.03	c number of reductions of the coefficients by power 2 	: 0
3600.00/3609.03	c number of right shift for reduction by power 2 	: 0
3600.00/3609.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3609.03	c number of ending skipping 	: 0
3600.00/3609.03	c number of internal skipping 	: 0
3600.00/3609.03	c number of derivation steps 	: 0
3600.00/3609.03	c number of skipped derivation steps 	: 0
3600.00/3609.03	c number of remaining unassigned 	: 0
3600.00/3609.03	c number of remaining assigned 	: 0
3600.00/3609.03	c number of falsified literals weakened from reason	: 0
3600.00/3609.03	c number of falsified literals weakened from conflict	: 0
3600.00/3609.03	c time for arithmetic operations	: 0
3600.00/3609.03	c minimum degree of deleted constraints	: null
3600.00/3609.03	c maximum degree of deleted constraints	: null
3600.00/3609.03	c number of deleted constraints	: 0
3600.00/3609.03	c speed (assignments/second)	: 609017.7492304759
3600.00/3609.03	c non guided choices	: 1
3600.20/3609.13	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 212922
3600.20/3609.13	s SATISFIABLE
3600.20/3609.13	c Found 2 solution(s)
3600.20/3609.13	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 x4799 -x4800 x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 x8080 -x8081 -x8082 x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 x9995 -x9996 -x9997 -x9998 -x9999 -x10000 
3600.20/3609.15	c objective function=1039
3600.20/3609.15	c Total wall clock time (in seconds): 3609.022

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: 63931 MiB (29463 MiB free)
  memory of node 1: 64510 MiB (98 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440309-1721772515/watcher-4440309-1721772515 -o /tmp/evaluation-result-4440309-1721772515/solver-4440309-1721772515 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721765643-121377 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440309-1721772515 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440309-1721772515.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=126102, runsolver pid=126099
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 4.47 4.47 4.41 5/339 126120
/proc/meminfo: memFree=30226132/131524600 swapFree=131064012/131071996
[pid=126102] ppid=126099 vsize=18975048 memory=64668 CPUtime=0.12 cores=4,6
/proc/126102/stat : 126102 (java) S 126099 126102 121366 0 -1 1077936128 7217 0 0 0 11 1 0 0 20 0 18 0 13781772 19430449152 16167 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
/proc/126102/statm: 4743762 16167 5578 1 0 549320 0
[pid=126102/tid=126104] ppid=126099 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/126102/task/126104/stat : 126104 (java) S 126099 126102 121366 0 -1 1077936192 5758 0 0 0 7 1 0 0 20 0 18 0 13781772 19430449152 16167 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126113] ppid=126099 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/126102/task/126113/stat : 126113 (Finalizer) S 126099 126102 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13781775 19430449152 16167 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126120] ppid=126099 vsize=18975048 memory=14692998043451069 CPUtime=0 cores=4,6
/proc/126102/task/126120/stat : 126120 (Common-Cleaner) S 126099 126102 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13781775 19430449152 16167 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64668 KiB

[startup+0.206435 s]*
/proc/loadavg: 4.47 4.47 4.41 6/339 126120
/proc/meminfo: memFree=30212644/131524600 swapFree=131064012/131071996
[pid=126102] ppid=126099 vsize=18975048 memory=77956 CPUtime=0.32 cores=4,6
/proc/126102/stat : 126102 (java) S 126099 126102 121366 0 -1 1077936128 7672 0 0 0 30 2 0 0 20 0 18 0 13781772 19430449152 19489 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
/proc/126102/statm: 4743762 19489 5823 1 0 549651 0
[pid=126102/tid=126104] ppid=126099 vsize=18975048 memory=4782652875487838339 CPUtime=0.16 cores=4,6
/proc/126102/task/126104/stat : 126104 (java) R 126099 126102 121366 0 -1 1077936192 5933 0 0 0 15 1 0 0 20 0 18 0 13781772 19430449152 19489 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126113] ppid=126099 vsize=18975048 memory=835473 CPUtime=0 cores=4,6
/proc/126102/task/126113/stat : 126113 (Finalizer) S 126099 126102 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13781775 19430449152 19489 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126120] ppid=126099 vsize=18975048 memory=14411523065906868 CPUtime=0 cores=4,6
/proc/126102/task/126120/stat : 126120 (Common-Cleaner) S 126099 126102 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13781775 19430449152 19489 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 77956 KiB

[startup+0.3069 s]*
/proc/loadavg: 4.47 4.47 4.41 7/339 126120
/proc/meminfo: memFree=30175428/131524600 swapFree=131064012/131071996
[pid=126102] ppid=126099 vsize=18975048 memory=113028 CPUtime=0.51 cores=4,6
/proc/126102/stat : 126102 (java) S 126099 126102 121366 0 -1 1077936128 9308 0 0 0 48 3 0 0 20 0 18 0 13781772 19430449152 28257 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
/proc/126102/statm: 4743762 28257 5823 1 0 550694 0
[pid=126102/tid=126104] ppid=126099 vsize=18975048 memory=-8526556982656410300 CPUtime=0.26 cores=4,6
/proc/126102/task/126104/stat : 126104 (java) R 126099 126102 121366 0 -1 4194368 5951 0 0 0 24 2 0 0 20 0 18 0 13781772 19430449152 28257 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126113] ppid=126099 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/126102/task/126113/stat : 126113 (Finalizer) S 126099 126102 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13781775 19430449152 28257 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126120] ppid=126099 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/126102/task/126120/stat : 126120 (Common-Cleaner) S 126099 126102 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13781775 19430449152 28257 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 113028 KiB

[startup+0.70694 s]
/proc/loadavg: 4.47 4.47 4.41 5/340 126121
/proc/meminfo: memFree=30111472/131524600 swapFree=131064012/131071996
[pid=126102] ppid=126099 vsize=19041612 memory=198476 CPUtime=1.26 cores=4,6
/proc/126102/stat : 126102 (java) S 126099 126102 121366 0 -1 1077936128 17392 0 0 0 120 6 0 0 20 0 19 0 13781772 19498610688 49619 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
/proc/126102/statm: 4760403 49619 5834 1 0 556137 0
[pid=126102/tid=126104] ppid=126099 vsize=19041612 memory=5552 CPUtime=0.6 cores=4,6
/proc/126102/task/126104/stat : 126104 (java) S 126099 126102 121366 0 -1 1077936192 5977 0 0 0 57 3 0 0 20 0 19 0 13781772 19498610688 49619 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126113] ppid=126099 vsize=19041612 memory=12348 CPUtime=0 cores=4,6
/proc/126102/task/126113/stat : 126113 (Finalizer) S 126099 126102 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13781775 19498610688 49619 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126120] ppid=126099 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/126102/task/126120/stat : 126120 (Common-Cleaner) S 126099 126102 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13781775 19498610688 49619 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 198476 KiB

[startup+1.50025 s]
/proc/loadavg: 4.47 4.47 4.41 7/340 126121
/proc/meminfo: memFree=29998264/131524600 swapFree=131064012/131071996
[pid=126102] ppid=126099 vsize=19041612 memory=415336 CPUtime=2.4 cores=4,6
/proc/126102/stat : 126102 (java) S 126099 126102 121366 0 -1 1077936128 18472 0 0 0 229 11 0 0 20 0 19 0 13781772 19498610688 103834 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
/proc/126102/statm: 4760403 103834 5850 1 0 990750 0
[pid=126102/tid=126104] ppid=126099 vsize=19041612 memory=12348 CPUtime=1.29 cores=4,6
/proc/126102/task/126104/stat : 126104 (java) R 126099 126102 121366 0 -1 4194368 6069 0 0 0 122 7 0 0 20 0 19 0 13781772 19498610688 103834 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126113] ppid=126099 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/126102/task/126113/stat : 126113 (Finalizer) S 126099 126102 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13781775 19498610688 103834 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126120] ppid=126099 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/126102/task/126120/stat : 126120 (Common-Cleaner) S 126099 126102 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13781775 19498610688 103834 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
Current children cumulated CPU time: 2.4 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 415336 KiB

[startup+3.1059 s]
/proc/loadavg: 4.47 4.47 4.41 7/341 126122
/proc/meminfo: memFree=29535588/131524600 swapFree=131064012/131071996
[pid=126102] ppid=126099 vsize=19108176 memory=708624 CPUtime=5.52 cores=4,6
/proc/126102/stat : 126102 (java) S 126099 126102 121366 0 -1 1077936128 20131 0 0 0 535 17 0 0 20 0 20 0 13781772 19566772224 177156 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
/proc/126102/statm: 4777044 177156 5898 1 0 1611672 0
[pid=126102/tid=126104] ppid=126099 vsize=19108176 memory=198340509722 CPUtime=2.78 cores=4,6
/proc/126102/task/126104/stat : 126104 (java) R 126099 126102 121366 0 -1 4194368 6370 0 0 0 266 12 0 0 20 0 20 0 13781772 19566772224 177156 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126113] ppid=126099 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/126102/task/126113/stat : 126113 (Finalizer) S 126099 126102 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 177156 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126120] ppid=126099 vsize=19108176 memory=12348 CPUtime=0 cores=4,6
/proc/126102/task/126120/stat : 126120 (Common-Cleaner) S 126099 126102 121366 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 177156 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126122] ppid=126099 vsize=19108176 memory=433572 CPUtime=0 cores=4,6
/proc/126102/task/126122/stat : 126122 (Timer-0) S 126099 126102 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13781933 19566772224 177156 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
Current children cumulated CPU time: 5.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 708624 KiB

[startup+6.3009 s]
/proc/loadavg: 4.75 4.53 4.43 5/341 126122
/proc/meminfo: memFree=29338340/131524600 swapFree=131064012/131071996
[pid=126102] ppid=126099 vsize=19108176 memory=822044 CPUtime=9.7 cores=4,6
/proc/126102/stat : 126102 (java) S 126099 126102 121366 0 -1 1077936128 20345 0 0 0 950 20 0 0 20 0 20 0 13781772 19566772224 205511 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
/proc/126102/statm: 4777044 205511 5898 1 0 1611730 0
[pid=126102/tid=126104] ppid=126099 vsize=19108176 memory=0 CPUtime=5.85 cores=4,6
/proc/126102/task/126104/stat : 126104 (java) R 126099 126102 121366 0 -1 4194368 6451 0 0 0 572 13 0 0 20 0 20 0 13781772 19566772224 205511 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126113] ppid=126099 vsize=19108176 memory=12348 CPUtime=0 cores=4,6
/proc/126102/task/126113/stat : 126113 (Finalizer) S 126099 126102 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 205511 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126120] ppid=126099 vsize=19108176 memory=544508 CPUtime=0 cores=4,6
/proc/126102/task/126120/stat : 126120 (Common-Cleaner) S 126099 126102 121366 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 205511 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126122] ppid=126099 vsize=19108176 memory=822044 CPUtime=0 cores=4,6
/proc/126102/task/126122/stat : 126122 (Timer-0) S 126099 126102 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13781933 19566772224 205511 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
Current children cumulated CPU time: 9.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 822044 KiB

[startup+12.7002 s]
/proc/loadavg: 4.69 4.52 4.42 5/341 126123
/proc/meminfo: memFree=28902644/131524600 swapFree=131064012/131071996
[pid=126102] ppid=126099 vsize=19108176 memory=1121504 CPUtime=16.21 cores=4,6
/proc/126102/stat : 126102 (java) S 126099 126102 121366 0 -1 1077936128 25972 0 0 0 1593 28 0 0 20 0 20 0 13781772 19566772224 280376 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
/proc/126102/statm: 4777044 280376 5914 1 0 1611730 0
[pid=126102/tid=126104] ppid=126099 vsize=19108176 memory=1121504 CPUtime=12.19 cores=4,6
/proc/126102/task/126104/stat : 126104 (java) R 126099 126102 121366 0 -1 4194368 7554 0 0 0 1199 20 0 0 20 0 20 0 13781772 19566772224 280376 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126113] ppid=126099 vsize=19108176 memory=11576 CPUtime=0 cores=4,6
/proc/126102/task/126113/stat : 126113 (Finalizer) S 126099 126102 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 280376 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126120] ppid=126099 vsize=19108176 memory=7669457976958739283 CPUtime=0 cores=4,6
/proc/126102/task/126120/stat : 126120 (Common-Cleaner) S 126099 126102 121366 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 280376 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126122] ppid=126099 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/126102/task/126122/stat : 126122 (Timer-0) S 126099 126102 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13781933 19566772224 280376 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
Current children cumulated CPU time: 16.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1121504 KiB

[startup+25.5003 s]
/proc/loadavg: 4.54 4.49 4.42 5/341 126125
/proc/meminfo: memFree=28078192/131524600 swapFree=131064012/131071996
[pid=126102] ppid=126099 vsize=19108176 memory=1668452 CPUtime=28.99 cores=4,6
/proc/126102/stat : 126102 (java) S 126099 126102 121366 0 -1 1077936128 29794 0 0 0 2854 45 0 0 20 0 20 0 13781772 19566772224 417113 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
/proc/126102/statm: 4777044 417113 5914 1 0 1611733 0
[pid=126102/tid=126104] ppid=126099 vsize=19108176 memory=7669457976958739283 CPUtime=24.91 cores=4,6
/proc/126102/task/126104/stat : 126104 (java) R 126099 126102 121366 0 -1 4194368 8754 0 0 0 2454 37 0 0 20 0 20 0 13781772 19566772224 417113 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126113] ppid=126099 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/126102/task/126113/stat : 126113 (Finalizer) S 126099 126102 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 417113 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126120] ppid=126099 vsize=19108176 memory=5436 CPUtime=0 cores=4,6
/proc/126102/task/126120/stat : 126120 (Common-Cleaner) S 126099 126102 121366 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 417113 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126122] ppid=126099 vsize=19108176 memory=-8526556982656410300 CPUtime=0 cores=4,6
/proc/126102/task/126122/stat : 126122 (Timer-0) S 126099 126102 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13781933 19566772224 417113 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
Current children cumulated CPU time: 28.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1668452 KiB

[startup+51.1059 s]
/proc/loadavg: 4.51 4.49 4.42 6/340 126130
/proc/meminfo: memFree=26418652/131524600 swapFree=131064012/131071996
[pid=126102] ppid=126099 vsize=19108176 memory=2764152 CPUtime=54.59 cores=4,6
/proc/126102/stat : 126102 (java) S 126099 126102 121366 0 -1 1077936128 37765 0 0 0 5384 75 0 0 20 0 20 0 13781772 19566772224 691038 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
/proc/126102/statm: 4777044 691038 5914 1 0 1611738 0
[pid=126102/tid=126104] ppid=126099 vsize=19108176 memory=2764152 CPUtime=50.31 cores=4,6
/proc/126102/task/126104/stat : 126104 (java) R 126099 126102 121366 0 -1 4194368 11624 0 0 0 4966 65 0 0 20 0 20 0 13781772 19566772224 691038 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126113] ppid=126099 vsize=19108176 memory=11576 CPUtime=0 cores=4,6
/proc/126102/task/126113/stat : 126113 (Finalizer) S 126099 126102 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 691038 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126120] ppid=126099 vsize=19108176 memory=11576 CPUtime=0 cores=4,6
/proc/126102/task/126120/stat : 126120 (Common-Cleaner) S 126099 126102 121366 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 691038 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126122] ppid=126099 vsize=19108176 memory=11576 CPUtime=0 cores=4,6
/proc/126102/task/126122/stat : 126122 (Timer-0) S 126099 126102 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13781933 19566772224 691038 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0

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

/proc/126102/task/126113/stat : 126113 (Finalizer) S 126099 126102 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 1595925 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126120] ppid=126099 vsize=19108176 memory=-8526556982656410300 CPUtime=0 cores=4,6
/proc/126102/task/126120/stat : 126120 (Common-Cleaner) S 126099 126102 121366 0 -1 1077936192 4536 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 1595925 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126122] ppid=126099 vsize=19108176 memory=6383700 CPUtime=0 cores=4,6
/proc/126102/task/126122/stat : 126122 (Timer-0) S 126099 126102 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13781933 19566772224 1595925 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
Current children cumulated CPU time: 3213.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6383700 KiB

[startup+3282.3 s]
/proc/loadavg: 3.60 4.05 4.14 4/313 128365
/proc/meminfo: memFree=87489004/131524600 swapFree=131064012/131071996
[pid=126102] ppid=126099 vsize=19108176 memory=6383720 CPUtime=3273.6 cores=4,6
/proc/126102/stat : 126102 (java) S 126099 126102 121366 0 -1 1077936128 304481 0 0 0 326349 1011 0 0 20 0 20 0 13781772 19566772224 1595930 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
/proc/126102/statm: 4777044 1595930 5914 1 0 1613094 0
[pid=126102/tid=126104] ppid=126099 vsize=19108176 memory=6383720 CPUtime=3247.72 cores=4,6
/proc/126102/task/126104/stat : 126104 (java) R 126099 126102 121366 0 -1 4194368 158727 0 0 0 323890 882 0 0 20 0 20 0 13781772 19566772224 1595930 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 875 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126113] ppid=126099 vsize=19108176 memory=6383720 CPUtime=0 cores=4,6
/proc/126102/task/126113/stat : 126113 (Finalizer) S 126099 126102 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 1595930 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126120] ppid=126099 vsize=19108176 memory=6383720 CPUtime=0 cores=4,6
/proc/126102/task/126120/stat : 126120 (Common-Cleaner) S 126099 126102 121366 0 -1 1077936192 4553 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 1595930 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126122] ppid=126099 vsize=19108176 memory=11576 CPUtime=0 cores=4,6
/proc/126102/task/126122/stat : 126122 (Timer-0) S 126099 126102 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13781933 19566772224 1595930 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
Current children cumulated CPU time: 3273.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6383720 KiB

[startup+3342.3 s]
/proc/loadavg: 3.64 3.97 4.10 4/310 128376
/proc/meminfo: memFree=86940020/131524600 swapFree=131064012/131071996
[pid=126102] ppid=126099 vsize=19108176 memory=6389892 CPUtime=3333.68 cores=4,6
/proc/126102/stat : 126102 (java) S 126099 126102 121366 0 -1 1077936128 310626 0 0 0 332340 1028 0 0 20 0 20 0 13781772 19566772224 1597473 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
/proc/126102/statm: 4777044 1597473 5914 1 0 1613094 0
[pid=126102/tid=126104] ppid=126099 vsize=19108176 memory=6389892 CPUtime=3306.98 cores=4,6
/proc/126102/task/126104/stat : 126104 (java) R 126099 126102 121366 0 -1 4194368 161858 0 0 0 329800 898 0 0 20 0 20 0 13781772 19566772224 1597473 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 893 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126113] ppid=126099 vsize=19108176 memory=6389892 CPUtime=0 cores=4,6
/proc/126102/task/126113/stat : 126113 (Finalizer) S 126099 126102 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 1597473 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126120] ppid=126099 vsize=19108176 memory=11576 CPUtime=0 cores=4,6
/proc/126102/task/126120/stat : 126120 (Common-Cleaner) S 126099 126102 121366 0 -1 1077936192 4691 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 1597473 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126122] ppid=126099 vsize=19108176 memory=11576 CPUtime=0 cores=4,6
/proc/126102/task/126122/stat : 126122 (Timer-0) S 126099 126102 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13781933 19566772224 1597473 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
Current children cumulated CPU time: 3333.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6389892 KiB

[startup+3402.3 s]
/proc/loadavg: 3.35 3.82 4.04 4/310 128386
/proc/meminfo: memFree=86427912/131524600 swapFree=131064012/131071996
[pid=126102] ppid=126099 vsize=19108176 memory=6389900 CPUtime=3393.56 cores=4,6
/proc/126102/stat : 126102 (java) S 126099 126102 121366 0 -1 1077936128 315965 0 0 0 338315 1041 0 0 20 0 20 0 13781772 19566772224 1597475 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
/proc/126102/statm: 4777044 1597475 5914 1 0 1613094 0
[pid=126102/tid=126104] ppid=126099 vsize=19108176 memory=6389892 CPUtime=3366.5 cores=4,6
/proc/126102/task/126104/stat : 126104 (java) R 126099 126102 121366 0 -1 4194368 165357 0 0 0 335739 911 0 0 20 0 20 0 13781772 19566772224 1597475 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 906 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126113] ppid=126099 vsize=19108176 memory=6389900 CPUtime=0 cores=4,6
/proc/126102/task/126113/stat : 126113 (Finalizer) S 126099 126102 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 1597475 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126120] ppid=126099 vsize=19108176 memory=6389900 CPUtime=0 cores=4,6
/proc/126102/task/126120/stat : 126120 (Common-Cleaner) S 126099 126102 121366 0 -1 1077936192 4831 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 1597475 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126122] ppid=126099 vsize=19108176 memory=6389900 CPUtime=0 cores=4,6
/proc/126102/task/126122/stat : 126122 (Timer-0) S 126099 126102 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13781933 19566772224 1597475 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
Current children cumulated CPU time: 3393.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6389900 KiB

[startup+3462.3 s]
/proc/loadavg: 3.23 3.70 3.98 4/309 128398
/proc/meminfo: memFree=85905088/131524600 swapFree=131064012/131071996
[pid=126102] ppid=126099 vsize=19108176 memory=6393996 CPUtime=3453.51 cores=4,6
/proc/126102/stat : 126102 (java) S 126099 126102 121366 0 -1 1077936128 320989 0 0 0 344296 1055 0 0 20 0 20 0 13781772 19566772224 1598499 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
/proc/126102/statm: 4777044 1598499 5914 1 0 1613094 0
[pid=126102/tid=126104] ppid=126099 vsize=19108176 memory=6389892 CPUtime=3425.83 cores=4,6
/proc/126102/task/126104/stat : 126104 (java) R 126099 126102 121366 0 -1 4194368 168066 0 0 0 341660 923 0 0 20 0 20 0 13781772 19566772224 1598499 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 919 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126113] ppid=126099 vsize=19108176 memory=6393996 CPUtime=0 cores=4,6
/proc/126102/task/126113/stat : 126113 (Finalizer) S 126099 126102 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 1598499 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126120] ppid=126099 vsize=19108176 memory=6393996 CPUtime=0 cores=4,6
/proc/126102/task/126120/stat : 126120 (Common-Cleaner) S 126099 126102 121366 0 -1 1077936192 4966 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 1598499 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126122] ppid=126099 vsize=19108176 memory=43832 CPUtime=0 cores=4,6
/proc/126102/task/126122/stat : 126122 (Timer-0) S 126099 126102 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13781933 19566772224 1598499 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
Current children cumulated CPU time: 3453.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6393996 KiB

[startup+3522.3 s]
/proc/loadavg: 3.13 3.59 3.92 4/309 128408
/proc/meminfo: memFree=85377256/131524600 swapFree=131064012/131071996
[pid=126102] ppid=126099 vsize=19108176 memory=6394000 CPUtime=3513.28 cores=4,6
/proc/126102/stat : 126102 (java) S 126099 126102 121366 0 -1 1077936128 327270 0 0 0 350260 1068 0 0 20 0 20 0 13781772 19566772224 1598500 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
/proc/126102/statm: 4777044 1598500 5914 1 0 1613094 0
[pid=126102/tid=126104] ppid=126099 vsize=19108176 memory=6393996 CPUtime=3485.35 cores=4,6
/proc/126102/task/126104/stat : 126104 (java) R 126099 126102 121366 0 -1 4194368 172327 0 0 0 347599 936 0 0 20 0 20 0 13781772 19566772224 1598500 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 931 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126113] ppid=126099 vsize=19108176 memory=6393996 CPUtime=0 cores=4,6
/proc/126102/task/126113/stat : 126113 (Finalizer) S 126099 126102 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 1598500 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126120] ppid=126099 vsize=19108176 memory=11576 CPUtime=0 cores=4,6
/proc/126102/task/126120/stat : 126120 (Common-Cleaner) S 126099 126102 121366 0 -1 1077936192 5106 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 1598500 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126122] ppid=126099 vsize=19108176 memory=12348 CPUtime=0 cores=4,6
/proc/126102/task/126122/stat : 126122 (Timer-0) S 126099 126102 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13781933 19566772224 1598500 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
Current children cumulated CPU time: 3513.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6394000 KiB

[startup+3582.3 s]
/proc/loadavg: 3.15 3.51 3.87 4/309 128418
/proc/meminfo: memFree=84851380/131524600 swapFree=131064012/131071996
[pid=126102] ppid=126099 vsize=19108176 memory=6396128 CPUtime=3573.36 cores=4,6
/proc/126102/stat : 126102 (java) S 126099 126102 121366 0 -1 1077936128 333377 0 0 0 356251 1085 0 0 20 0 20 0 13781772 19566772224 1599032 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
/proc/126102/statm: 4777044 1599032 5914 1 0 1613094 0
[pid=126102/tid=126104] ppid=126099 vsize=19108176 memory=6394000 CPUtime=3544.59 cores=4,6
/proc/126102/task/126104/stat : 126104 (java) R 126099 126102 121366 0 -1 4194368 176330 0 0 0 353507 952 0 0 20 0 20 0 13781772 19566772224 1599032 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 946 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126113] ppid=126099 vsize=19108176 memory=12348 CPUtime=0 cores=4,6
/proc/126102/task/126113/stat : 126113 (Finalizer) S 126099 126102 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 1599032 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126120] ppid=126099 vsize=19108176 memory=11576 CPUtime=0 cores=4,6
/proc/126102/task/126120/stat : 126120 (Common-Cleaner) S 126099 126102 121366 0 -1 1077936192 5199 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 1599032 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126122] ppid=126099 vsize=19108176 memory=6396128 CPUtime=0 cores=4,6
/proc/126102/task/126122/stat : 126122 (Timer-0) S 126099 126102 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13781933 19566772224 1599032 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
Current children cumulated CPU time: 3573.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6396128 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 3.10 3.47 3.85 4/309 128425
/proc/meminfo: memFree=84623276/131524600 swapFree=131064012/131071996
[pid=126102] ppid=126099 vsize=19108176 memory=6396128 CPUtime=3600 cores=4,6
/proc/126102/stat : 126102 (java) S 126099 126102 121366 0 -1 1077936128 335951 0 0 0 358907 1093 0 0 20 0 20 0 13781772 19566772224 1599032 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
/proc/126102/statm: 4777044 1599032 5914 1 0 1613094 0
[pid=126102/tid=126104] ppid=126099 vsize=19108176 memory=-8743287217165476540 CPUtime=3571.03 cores=4,6
/proc/126102/task/126104/stat : 126104 (java) R 126099 126102 121366 0 -1 4194368 178399 0 0 0 356143 960 0 0 20 0 20 0 13781772 19566772224 1599032 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 957 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126113] ppid=126099 vsize=19108176 memory=-5155633680935826750 CPUtime=0 cores=4,6
/proc/126102/task/126113/stat : 126113 (Finalizer) S 126099 126102 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 1599032 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126120] ppid=126099 vsize=19108176 memory=2740 CPUtime=0 cores=4,6
/proc/126102/task/126120/stat : 126120 (Common-Cleaner) S 126099 126102 121366 0 -1 1077936192 5335 0 0 0 0 0 0 0 20 0 20 0 13781775 19566772224 1599032 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
[pid=126102/tid=126122] ppid=126099 vsize=19108176 memory=4892 CPUtime=0 cores=4,6
/proc/126102/task/126122/stat : 126122 (Timer-0) S 126099 126102 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13781933 19566772224 1599032 134679101440 94582637617152 94582637620848 140733807699232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94582637628664 94582637629456 94582656294912 140733807707051 140733807707233 140733807707233 140733807714248 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6396128 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.38 s, system=10.9655 s

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

[startup+3609.2 s]*
/proc/loadavg: 3.10 3.47 3.85 3/291 128428
/proc/meminfo: memFree=91005528/131524600 swapFree=131064012/131071996
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): 3609.22
CPU time (s): 3600.34
CPU user time (s): 3589.38
CPU system time (s): 10.9655
CPU usage (%): 99.754
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 6396872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.38
system time used= 10.9655
maximum resident set size= 6397936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 340410
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18902648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110025
involuntary context switches= 16130


# summary of solver processes directly reported to runsolver:
#   pid: 126102
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3589.38
#   total CPU system time (s): 10.9655

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.69836 second user time and 17.6141 second system time

The end

Begin job on nodeC035 at 2024-07-24 00:08:35
IDJOB=4440309
IDBENCH=147563
IDSOLVER=3079
FILE ID=nodeC035/4440309-1721772515
RUNJOBID= nodeC035-1721765643-121377
SLURM_JOB_ID= 7770671
Free space on /tmp= 890032 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
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 --file-size-limit 102400 -w /tmp/evaluation-result-4440309-1721772515/watcher-4440309-1721772515 -o /tmp/evaluation-result-4440309-1721772515/solver-4440309-1721772515 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721765643-121377 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440309-1721772515 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440309-1721772515.opb

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

MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb
RANDOM SEED=1575166888

nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3668.007
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.54
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.432
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3602.287
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.54
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		: 3681.629
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.93
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		: 3629.497
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.54
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		: 3682.483
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.93
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		: 3669.944
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.965
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        30271468 kB
MemAvailable:   92784068 kB
Buffers:          183436 kB
Cached:         63038868 kB
SwapCached:          148 kB
Active:          1103504 kB
Inactive:       99267452 kB
Active(anon):       1964 kB
Inactive(anon): 37183900 kB
Active(file):    1101540 kB
Inactive(file): 62083552 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131064012 kB
Dirty:            336324 kB
Writeback:             0 kB
AnonPages:      37147612 kB
Mapped:           122684 kB
Shmem:             37144 kB
KReclaimable:     334312 kB
Slab:             453480 kB
SReclaimable:     334312 kB
SUnreclaim:       119168 kB
KernelStack:        5212 kB
PageTables:        82368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   40101824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16992 kB
HardwareCorrupted:     0 kB
AnonHugePages:  36581376 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      328404 kB
DirectMap2M:    34048000 kB
DirectMap1G:    101711872 kB

Free space on /tmp at the end= 890000 MiB
End job on nodeC035 at 2024-07-24 01:08:44