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

OK	942

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

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=52573, runsolver pid=52568

[startup+0.100064 s]*
/proc/loadavg: 1.94 3.56 3.94 6/340 52655
/proc/meminfo: memFree=129974308/131250000 swapFree=33009904/33010684
[pid=52573] ppid=52568 vsize=18930384 memory=51852 CPUtime=0.09 cores=0,2
/proc/52573/stat : 52573 (java) S 52568 52573 52518 0 -1 4194304 6184 0 0 0 7 2 0 0 20 0 18 0 51827800 19384713216 12963 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
/proc/52573/statm: 4732596 12963 5307 1 0 547274 0
[pid=52573/tid=52584] ppid=52568 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/52573/task/52584/stat : 52584 (java) R 52568 52573 52518 0 -1 4194368 4977 0 0 0 5 1 0 0 20 0 18 0 51827803 19384713216 12963 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52614] ppid=52568 vsize=18930384 memory=16898 CPUtime=0 cores=0,2
/proc/52573/task/52614/stat : 52614 (Finalizer) S 52568 52573 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51827806 19384713216 12963 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52631] ppid=52568 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/52573/task/52631/stat : 52631 (Common-Cleaner) S 52568 52573 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 51827806 19384713216 12963 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51852 KiB

[startup+0.205883 s]*
/proc/loadavg: 1.94 3.56 3.94 1/340 52655
/proc/meminfo: memFree=129947652/131250000 swapFree=33009904/33010684
[pid=52573] ppid=52568 vsize=18930384 memory=58984 CPUtime=0.18 cores=0,2
/proc/52573/stat : 52573 (java) S 52568 52573 52518 0 -1 4194304 6865 0 0 0 16 2 0 0 20 0 18 0 51827800 19384713216 14746 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
/proc/52573/statm: 4732596 14746 5403 1 0 547832 0
[pid=52573/tid=52584] ppid=52568 vsize=18930384 memory=4026663196 CPUtime=0.1 cores=0,2
/proc/52573/task/52584/stat : 52584 (java) D 52568 52573 52518 0 -1 4456512 5229 0 0 0 9 1 0 0 20 0 18 0 51827803 19384713216 14746 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52614] ppid=52568 vsize=18930384 memory=16898 CPUtime=0 cores=0,2
/proc/52573/task/52614/stat : 52614 (Finalizer) S 52568 52573 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51827806 19384713216 14746 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52631] ppid=52568 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/52573/task/52631/stat : 52631 (Common-Cleaner) S 52568 52573 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 51827806 19384713216 14746 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58984 KiB

[startup+0.30574 s]*
/proc/loadavg: 1.94 3.56 3.94 8/340 52655
/proc/meminfo: memFree=129933096/131250000 swapFree=33009904/33010684
[pid=52573] ppid=52568 vsize=18930384 memory=77208 CPUtime=0.36 cores=0,2
/proc/52573/stat : 52573 (java) S 52568 52573 52518 0 -1 4194304 7295 0 0 0 33 3 0 0 20 0 18 0 51827800 19384713216 19302 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
/proc/52573/statm: 4732596 19302 5403 1 0 548145 0
[pid=52573/tid=52584] ppid=52568 vsize=18930384 memory=-6000919485557860970 CPUtime=0.18 cores=0,2
/proc/52573/task/52584/stat : 52584 (java) R 52568 52573 52518 0 -1 4194368 5285 0 0 0 17 1 0 0 20 0 18 0 51827803 19384713216 19302 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52614] ppid=52568 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/52573/task/52614/stat : 52614 (Finalizer) S 52568 52573 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51827806 19384713216 19302 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52631] ppid=52568 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/52573/task/52631/stat : 52631 (Common-Cleaner) S 52568 52573 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 51827806 19384713216 19302 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 77208 KiB

[startup+0.700244 s]
/proc/loadavg: 1.94 3.56 3.94 10/341 52656
/proc/meminfo: memFree=129666988/131250000 swapFree=33009904/33010684
[pid=52573] ppid=52568 vsize=18996948 memory=168920 CPUtime=1.11 cores=0,2
/proc/52573/stat : 52573 (java) S 52568 52573 52518 0 -1 4194304 10931 0 0 0 106 5 0 0 20 0 19 0 51827800 19452874752 42230 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
/proc/52573/statm: 4749237 42230 5435 1 0 550687 0
[pid=52573/tid=52584] ppid=52568 vsize=18996948 memory=18432 CPUtime=0.54 cores=0,2
/proc/52573/task/52584/stat : 52584 (java) R 52568 52573 52518 0 -1 4194368 5326 0 0 0 51 3 0 0 20 0 19 0 51827803 19452874752 42230 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52614] ppid=52568 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/52573/task/52614/stat : 52614 (Finalizer) S 52568 52573 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51827806 19452874752 42230 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52631] ppid=52568 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/52573/task/52631/stat : 52631 (Common-Cleaner) S 52568 52573 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 51827806 19452874752 42230 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 168920 KiB

[startup+1.50025 s]
/proc/loadavg: 2.59 3.67 3.97 9/344 52659
/proc/meminfo: memFree=129469884/131250000 swapFree=33009904/33010684
[pid=52573] ppid=52568 vsize=18996948 memory=406564 CPUtime=2.25 cores=0,2
/proc/52573/stat : 52573 (java) S 52568 52573 52518 0 -1 4194304 13146 0 0 0 215 10 0 0 20 0 19 0 51827800 19452874752 101641 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
/proc/52573/statm: 4749237 101641 5435 1 0 1044380 0
[pid=52573/tid=52584] ppid=52568 vsize=18996948 memory=3328 CPUtime=1.24 cores=0,2
/proc/52573/task/52584/stat : 52584 (java) R 52568 52573 52518 0 -1 4194368 5420 0 0 0 118 6 0 0 20 0 19 0 51827803 19452874752 101641 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52614] ppid=52568 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/52573/task/52614/stat : 52614 (Finalizer) S 52568 52573 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51827806 19452874752 101641 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52631] ppid=52568 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/52573/task/52631/stat : 52631 (Common-Cleaner) S 52568 52573 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 51827806 19452874752 101641 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
Current children cumulated CPU time: 2.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 406564 KiB

[startup+3.10571 s]
/proc/loadavg: 2.59 3.67 3.97 9/348 52663
/proc/meminfo: memFree=127870508/131250000 swapFree=33009904/33010684
[pid=52573] ppid=52568 vsize=19063512 memory=566148 CPUtime=5.25 cores=0,2
/proc/52573/stat : 52573 (java) S 52568 52573 52518 0 -1 4194304 15467 0 1 0 510 15 0 0 20 0 20 0 51827800 19521036288 141537 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
/proc/52573/statm: 4765878 141537 5499 1 0 1046157 0
[pid=52573/tid=52584] ppid=52568 vsize=19063512 memory=10752 CPUtime=2.65 cores=0,2
/proc/52573/task/52584/stat : 52584 (java) R 52568 52573 52518 0 -1 4194368 5659 0 1 0 255 10 0 0 20 0 20 0 51827803 19521036288 141537 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52614] ppid=52568 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/52573/task/52614/stat : 52614 (Finalizer) S 52568 52573 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 141537 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52631] ppid=52568 vsize=19063512 memory=5504 CPUtime=0 cores=0,2
/proc/52573/task/52631/stat : 52631 (Common-Cleaner) S 52568 52573 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 141537 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52660] ppid=52568 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/52573/task/52660/stat : 52660 (Timer-0) S 52568 52573 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827978 19521036288 141537 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
Current children cumulated CPU time: 5.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 566148 KiB

[startup+6.30024 s]
/proc/loadavg: 2.70 3.67 3.97 5/348 52663
/proc/meminfo: memFree=126252420/131250000 swapFree=33009904/33010684
[pid=52573] ppid=52568 vsize=19063512 memory=996476 CPUtime=9.91 cores=0,2
/proc/52573/stat : 52573 (java) S 52568 52573 52518 0 -1 4194304 16839 0 1 0 966 25 0 0 20 0 20 0 51827800 19521036288 249119 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
/proc/52573/statm: 4765878 249119 5499 1 0 1620638 0
[pid=52573/tid=52584] ppid=52568 vsize=19063512 memory=0 CPUtime=5.7 cores=0,2
/proc/52573/task/52584/stat : 52584 (java) R 52568 52573 52518 0 -1 4194368 5877 0 1 0 553 17 0 0 20 0 20 0 51827803 19521036288 249119 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52614] ppid=52568 vsize=19063512 memory=-6000919472689736298 CPUtime=0 cores=0,2
/proc/52573/task/52614/stat : 52614 (Finalizer) S 52568 52573 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 249119 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52631] ppid=52568 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/52573/task/52631/stat : 52631 (Common-Cleaner) S 52568 52573 52518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 249119 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52660] ppid=52568 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/52573/task/52660/stat : 52660 (Timer-0) S 52568 52573 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827978 19521036288 249119 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
Current children cumulated CPU time: 9.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 996476 KiB

[startup+12.7002 s]
/proc/loadavg: 2.88 3.70 3.98 5/348 52663
/proc/meminfo: memFree=125111036/131250000 swapFree=33009904/33010684
[pid=52573] ppid=52568 vsize=19063512 memory=1404276 CPUtime=16.35 cores=0,2
/proc/52573/stat : 52573 (java) S 52568 52573 52518 0 -1 4194304 21752 0 1 0 1600 35 0 0 20 0 20 0 51827800 19521036288 351069 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
/proc/52573/statm: 4765878 351069 5531 1 0 1620640 0
[pid=52573/tid=52584] ppid=52568 vsize=19063512 memory=10752 CPUtime=12.02 cores=0,2
/proc/52573/task/52584/stat : 52584 (java) R 52568 52573 52518 0 -1 4194368 7223 0 1 0 1176 26 0 0 20 0 20 0 51827803 19521036288 351069 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52614] ppid=52568 vsize=19063512 memory=1244532 CPUtime=0 cores=0,2
/proc/52573/task/52614/stat : 52614 (Finalizer) S 52568 52573 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 351069 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52631] ppid=52568 vsize=19063512 memory=1244532 CPUtime=0 cores=0,2
/proc/52573/task/52631/stat : 52631 (Common-Cleaner) S 52568 52573 52518 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 351069 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52660] ppid=52568 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/52573/task/52660/stat : 52660 (Timer-0) S 52568 52573 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827978 19521036288 351069 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
Current children cumulated CPU time: 16.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1404276 KiB

[startup+25.5002 s]
/proc/loadavg: 3.06 3.71 3.98 6/347 52663
/proc/meminfo: memFree=121566384/131250000 swapFree=33009904/33010684
[pid=52573] ppid=52568 vsize=19063512 memory=2418076 CPUtime=29.15 cores=0,2
/proc/52573/stat : 52573 (java) S 52568 52573 52518 0 -1 4194304 25084 0 1 0 2856 59 0 0 20 0 20 0 51827800 19521036288 604519 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
/proc/52573/statm: 4765878 604519 5531 1 0 1620673 0
[pid=52573/tid=52584] ppid=52568 vsize=19063512 memory=1244532 CPUtime=24.77 cores=0,2
/proc/52573/task/52584/stat : 52584 (java) R 52568 52573 52518 0 -1 4194368 8714 0 1 0 2428 49 0 0 20 0 20 0 51827803 19521036288 604519 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52614] ppid=52568 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/52573/task/52614/stat : 52614 (Finalizer) S 52568 52573 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 604519 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52631] ppid=52568 vsize=19063512 memory=2274716 CPUtime=0 cores=0,2
/proc/52573/task/52631/stat : 52631 (Common-Cleaner) S 52568 52573 52518 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 604519 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52660] ppid=52568 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/52573/task/52660/stat : 52660 (Timer-0) S 52568 52573 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827978 19521036288 604519 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
Current children cumulated CPU time: 29.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2418076 KiB

[startup+51.1056 s]
/proc/loadavg: 3.49 3.75 3.99 5/347 52664
/proc/meminfo: memFree=116998444/131250000 swapFree=33009904/33010684
[pid=52573] ppid=52568 vsize=19063512 memory=3622572 CPUtime=54.77 cores=0,2
/proc/52573/stat : 52573 (java) S 52568 52573 52518 0 -1 4194304 35690 0 1 0 5388 89 0 0 20 0 20 0 51827800 19521036288 905643 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
/proc/52573/statm: 4765878 905643 5531 1 0 1620708 0
[pid=52573/tid=52584] ppid=52568 vsize=19063512 memory=3622572 CPUtime=50.09 cores=0,2
/proc/52573/task/52584/stat : 52584 (java) R 52568 52573 52518 0 -1 4194368 12328 0 1 0 4932 77 0 0 20 0 20 0 51827803 19521036288 905643 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52614] ppid=52568 vsize=19063512 memory=4529 CPUtime=0 cores=0,2
/proc/52573/task/52614/stat : 52614 (Finalizer) S 52568 52573 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 905643 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52631] ppid=52568 vsize=19063512 memory=16436 CPUtime=0 cores=0,2
/proc/52573/task/52631/stat : 52631 (Common-Cleaner) S 52568 52573 52518 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 905643 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52660] ppid=52568 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/52573/task/52660/stat : 52660 (Timer-0) S 52568 52573 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827978 19521036288 905643 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0

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

/proc/52573/task/52584/stat : 52584 (java) R 52568 52573 52518 0 -1 4194368 133592 0 1 0 322018 907 0 0 20 0 20 0 51827803 19521036288 1372591 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52614] ppid=52568 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/52573/task/52614/stat : 52614 (Finalizer) S 52568 52573 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 1372591 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52631] ppid=52568 vsize=19063512 memory=5490364 CPUtime=0 cores=0,2
/proc/52573/task/52631/stat : 52631 (Common-Cleaner) S 52568 52573 52518 0 -1 4194368 3370 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 1372591 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52660] ppid=52568 vsize=19063512 memory=4480 CPUtime=0 cores=0,2
/proc/52573/task/52660/stat : 52660 (Timer-0) S 52568 52573 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827978 19521036288 1372591 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
Current children cumulated CPU time: 3273.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5490364 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.14 4.13 5/348 52878
/proc/meminfo: memFree=68159016/131250000 swapFree=33009904/33010684
[pid=52573] ppid=52568 vsize=19063512 memory=4631952 CPUtime=3334.38 cores=0,2
/proc/52573/stat : 52573 (java) S 52568 52573 52518 0 -1 4194304 264749 0 1 0 332383 1055 0 0 20 0 20 0 51827800 19521036288 1157988 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
/proc/52573/statm: 4765878 1157988 5531 1 0 1171172 0
[pid=52573/tid=52584] ppid=52568 vsize=19063512 memory=16436 CPUtime=3288.21 cores=0,2
/proc/52573/task/52584/stat : 52584 (java) R 52568 52573 52518 0 -1 4194368 135681 0 1 0 327897 924 0 0 20 0 20 0 51827803 19521036288 1157988 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52614] ppid=52568 vsize=19063512 memory=5490364 CPUtime=0 cores=0,2
/proc/52573/task/52614/stat : 52614 (Finalizer) S 52568 52573 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 1157988 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52631] ppid=52568 vsize=19063512 memory=4631952 CPUtime=0 cores=0,2
/proc/52573/task/52631/stat : 52631 (Common-Cleaner) S 52568 52573 52518 0 -1 4194368 3370 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 1157988 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52660] ppid=52568 vsize=19063512 memory=4631952 CPUtime=0 cores=0,2
/proc/52573/task/52660/stat : 52660 (Timer-0) S 52568 52573 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827978 19521036288 1157988 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
Current children cumulated CPU time: 3334.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4631952 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.12 4/348 52880
/proc/meminfo: memFree=67716596/131250000 swapFree=33009904/33010684
[pid=52573] ppid=52568 vsize=19063512 memory=4323616 CPUtime=3395.96 cores=0,2
/proc/52573/stat : 52573 (java) S 52568 52573 52518 0 -1 4194304 270241 0 1 0 338523 1073 0 0 20 0 20 0 51827800 19521036288 1080904 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
/proc/52573/statm: 4765878 1080904 5531 1 0 1093916 0
[pid=52573/tid=52584] ppid=52568 vsize=19063512 memory=5490364 CPUtime=3347.32 cores=0,2
/proc/52573/task/52584/stat : 52584 (java) R 52568 52573 52518 0 -1 4194368 137865 0 1 0 333792 940 0 0 20 0 20 0 51827803 19521036288 1080904 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52614] ppid=52568 vsize=19063512 memory=4631952 CPUtime=0 cores=0,2
/proc/52573/task/52614/stat : 52614 (Finalizer) S 52568 52573 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 1080904 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52631] ppid=52568 vsize=19063512 memory=18432 CPUtime=0 cores=0,2
/proc/52573/task/52631/stat : 52631 (Common-Cleaner) S 52568 52573 52518 0 -1 4194368 3456 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 1080904 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52660] ppid=52568 vsize=19063512 memory=-6000919472689736298 CPUtime=0 cores=0,2
/proc/52573/task/52660/stat : 52660 (Timer-0) S 52568 52573 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827978 19521036288 1080904 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
Current children cumulated CPU time: 3395.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4323616 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.15 4.13 5/348 52882
/proc/meminfo: memFree=67181364/131250000 swapFree=33009904/33010684
[pid=52573] ppid=52568 vsize=19063512 memory=4076608 CPUtime=3457.58 cores=0,2
/proc/52573/stat : 52573 (java) S 52568 52573 52518 0 -1 4194304 272957 0 1 0 344666 1092 0 0 20 0 20 0 51827800 19521036288 1019152 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
/proc/52573/statm: 4765878 1019152 5531 1 0 1031276 0
[pid=52573/tid=52584] ppid=52568 vsize=19063512 memory=18432 CPUtime=3406.48 cores=0,2
/proc/52573/task/52584/stat : 52584 (java) R 52568 52573 52518 0 -1 4194368 138728 0 1 0 339690 958 0 0 20 0 20 0 51827803 19521036288 1019152 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52614] ppid=52568 vsize=19063512 memory=4323616 CPUtime=0 cores=0,2
/proc/52573/task/52614/stat : 52614 (Finalizer) S 52568 52573 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 1019152 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52631] ppid=52568 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/52573/task/52631/stat : 52631 (Common-Cleaner) S 52568 52573 52518 0 -1 4194368 3509 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 1019152 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52660] ppid=52568 vsize=19063512 memory=4076608 CPUtime=0 cores=0,2
/proc/52573/task/52660/stat : 52660 (Timer-0) S 52568 52573 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827978 19521036288 1019152 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
Current children cumulated CPU time: 3457.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4076608 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.15 4.13 5/348 52885
/proc/meminfo: memFree=66438016/131250000 swapFree=33009904/33010684
[pid=52573] ppid=52568 vsize=19063512 memory=4051560 CPUtime=3518.82 cores=0,2
/proc/52573/stat : 52573 (java) S 52568 52573 52518 0 -1 4194304 275591 0 1 0 350772 1110 0 0 20 0 20 0 51827800 19521036288 1012890 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
/proc/52573/statm: 4765878 1012890 5531 1 0 1025012 0
[pid=52573/tid=52584] ppid=52568 vsize=19063512 memory=18432 CPUtime=3465.71 cores=0,2
/proc/52573/task/52584/stat : 52584 (java) R 52568 52573 52518 0 -1 4194368 140822 0 1 0 345598 973 0 0 20 0 20 0 51827803 19521036288 1012890 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52614] ppid=52568 vsize=19063512 memory=-5155633680935826750 CPUtime=0 cores=0,2
/proc/52573/task/52614/stat : 52614 (Finalizer) S 52568 52573 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 1012890 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52631] ppid=52568 vsize=19063512 memory=2760 CPUtime=0 cores=0,2
/proc/52573/task/52631/stat : 52631 (Common-Cleaner) S 52568 52573 52518 0 -1 4194368 3637 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 1012890 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52660] ppid=52568 vsize=19063512 memory=4051560 CPUtime=0 cores=0,2
/proc/52573/task/52660/stat : 52660 (Timer-0) S 52568 52573 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827978 19521036288 1012890 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
Current children cumulated CPU time: 3518.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4051560 KiB

[startup+3642.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/347 52887
/proc/meminfo: memFree=65924060/131250000 swapFree=33009904/33010684
[pid=52573] ppid=52568 vsize=19063512 memory=3826456 CPUtime=3579.85 cores=0,2
/proc/52573/stat : 52573 (java) S 52568 52573 52518 0 -1 4194304 278699 0 1 0 356855 1130 0 0 20 0 20 0 51827800 19521036288 956614 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
/proc/52573/statm: 4765878 956614 5531 1 0 968636 0
[pid=52573/tid=52584] ppid=52568 vsize=19063512 memory=4051560 CPUtime=3524.69 cores=0,2
/proc/52573/task/52584/stat : 52584 (java) R 52568 52573 52518 0 -1 4194368 142117 0 1 0 351478 991 0 0 20 0 20 0 51827803 19521036288 956614 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52614] ppid=52568 vsize=19063512 memory=3826456 CPUtime=0 cores=0,2
/proc/52573/task/52614/stat : 52614 (Finalizer) S 52568 52573 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 956614 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52631] ppid=52568 vsize=19063512 memory=3826456 CPUtime=0 cores=0,2
/proc/52573/task/52631/stat : 52631 (Common-Cleaner) S 52568 52573 52518 0 -1 4194368 3637 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 956614 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52660] ppid=52568 vsize=19063512 memory=3826456 CPUtime=0 cores=0,2
/proc/52573/task/52660/stat : 52660 (Timer-0) S 52568 52573 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827978 19521036288 956614 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
Current children cumulated CPU time: 3579.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3826456 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3662.4 s]
/proc/loadavg: 4.12 4.13 4.12 4/322 52916
/proc/meminfo: memFree=72172620/131250000 swapFree=33009904/33010684
[pid=52573] ppid=52568 vsize=19063512 memory=3826456 CPUtime=3600.08 cores=0,2
/proc/52573/stat : 52573 (java) S 52568 52573 52518 0 -1 4194304 278860 0 1 0 358873 1135 0 0 20 0 20 0 51827800 19521036288 956614 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
/proc/52573/statm: 4765878 956614 5531 1 0 968636 0
[pid=52573/tid=52584] ppid=52568 vsize=19063512 memory=5744 CPUtime=3544.55 cores=0,2
/proc/52573/task/52584/stat : 52584 (java) R 52568 52573 52518 0 -1 4194368 142222 0 1 0 353459 996 0 0 20 0 20 0 51827803 19521036288 956614 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52614] ppid=52568 vsize=19063512 memory=1920 CPUtime=0 cores=0,2
/proc/52573/task/52614/stat : 52614 (Finalizer) S 52568 52573 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 956614 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52631] ppid=52568 vsize=19063512 memory=4480 CPUtime=0 cores=0,2
/proc/52573/task/52631/stat : 52631 (Common-Cleaner) S 52568 52573 52518 0 -1 4194368 3637 0 0 0 0 0 0 0 20 0 20 0 51827806 19521036288 956614 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
[pid=52573/tid=52660] ppid=52568 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/52573/task/52660/stat : 52660 (Timer-0) S 52568 52573 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827978 19521036288 956614 18446744073709551615 93994944589824 93994944593520 140725823940096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93994944601336 93994944602128 93994969915392 140725823949104 140725823949286 140725823949286 140725823954888 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3826456 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3588.98 s, system=11.3708 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3663.2 s]
/proc/loadavg: 4.12 4.13 4.12 2/304 52919
/proc/meminfo: memFree=75973576/131250000 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3664 s]*
/proc/loadavg: 4.12 4.13 4.12 2/304 52919
/proc/meminfo: memFree=75973576/131250000 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3664.4 s]
/proc/loadavg: 4.12 4.13 4.12 2/304 52919
/proc/meminfo: memFree=75973576/131250000 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3674.07
CPU time (s): 3600.35
CPU user time (s): 3588.98
CPU system time (s): 11.3708
CPU usage (%): 97.9935
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6432316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.98
system time used= 11.3708
maximum resident set size= 6432316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281132
page faults= 1
swaps= 0
block input operations= 368
block output operations= 21740864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120749
involuntary context switches= 13630


# summary of solver processes directly reported to runsolver:
#   pid: 52573
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3588.98
#   total CPU system time (s): 11.3708

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.72605 second user time and 17.3853 second system time

The end

Begin job on nodeC033 at 2025-07-01 11:18:04
IDJOB=4489515
IDBENCH=147555
IDSOLVER=3364
FILE ID=nodeC033/4489515-1751361484
RUNJOBID= nodeC033-1751361483-52528
SLURM_JOB_ID= 9598171
Free space on /tmp= 432412 MiB

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

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

MD5SUM BENCH= 50cf9112b5ea763531dadde21846562c
RANDOM SEED=975061992

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        130067304 kB
MemAvailable:   129743952 kB
Buffers:            2128 kB
Cached:           474856 kB
SwapCached:           68 kB
Active:           302836 kB
Inactive:         236332 kB
Active(anon):      55792 kB
Inactive(anon):    24496 kB
Active(file):     247044 kB
Inactive(file):   211836 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             68176 kB
Writeback:             0 kB
AnonPages:         65332 kB
Mapped:           103916 kB
Shmem:             18028 kB
KReclaimable:     114016 kB
Slab:             204512 kB
SReclaimable:     114016 kB
SUnreclaim:        90496 kB
KernelStack:        4224 kB
PageTables:         2924 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     330068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432408 MiB
End job on nodeC033 at 2025-07-01 12:19:18