0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c No reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4432250-1721094197.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  objective function found
2.54/1.61	c ... done. Wall clock time 1.479s.
2.54/1.61	c declared #vars     10000
2.54/1.61	c #constraints  656900
2.54/1.61	c constraints type 
2.54/1.61	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
2.54/1.61	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
2.54/1.61	c 656900 constraints processed.
2.54/1.62	c objective function length is 10000 literals
2.74/1.80	c SATISFIABLE
2.74/1.80	c OPTIMIZING...
2.74/1.80	c Got one! Elapsed wall clock time (in seconds):1.671
2.74/1.80	o 872
3.13/1.93	c Got one! Elapsed wall clock time (in seconds):1.807
3.13/1.94	o 849
3.33/2.09	c Got one! Elapsed wall clock time (in seconds):1.961
3.33/2.09	o 611
5.61/3.56	c cleaning 2603 clauses out of 5214 with flag 13902/5214
7.65/5.43	c cleaning 4302 clauses out of 8611 with flag 32829/11214
9.77/7.41	c cleaning 5638 clauses out of 11308 with flag 53486/18213
11.98/9.67	c cleaning 6824 clauses out of 13670 with flag 76484/26213
14.48/12.17	c cleaning 7917 clauses out of 15846 with flag 104242/35213
17.66/15.21	c cleaning 8948 clauses out of 17929 with flag 135901/45213
20.85/18.43	c cleaning 9987 clauses out of 19982 with flag 168067/56214
24.55/22.14	c cleaning 10984 clauses out of 21996 with flag 203117/68215
28.77/26.27	c cleaning 11999 clauses out of 24010 with flag 242552/81213
32.87/30.36	c cleaning 12998 clauses out of 26011 with flag 284885/95213
37.26/34.71	c cleaning 13995 clauses out of 28013 with flag 334797/110213
42.27/39.63	c cleaning 14997 clauses out of 30018 with flag 388989/126213
47.08/44.44	c cleaning 15996 clauses out of 32021 with flag 448151/143213
52.22/49.46	c cleaning 16998 clauses out of 34025 with flag 502704/161213
57.70/54.93	c cleaning 18004 clauses out of 36027 with flag 562891/180213
63.62/60.79	c cleaning 19003 clauses out of 38025 with flag 626329/200215
70.17/67.15	c cleaning 20006 clauses out of 40020 with flag 693231/221213
76.55/73.54	c cleaning 20985 clauses out of 42014 with flag 766607/243213
83.36/80.27	c cleaning 22009 clauses out of 44029 with flag 837459/266213
90.20/87.13	c cleaning 22997 clauses out of 46020 with flag 913394/290213
97.87/94.78	c cleaning 24001 clauses out of 48023 with flag 993857/315213
106.08/102.83	c cleaning 25006 clauses out of 50022 with flag 1076530/341213
114.00/110.86	c cleaning 25996 clauses out of 52017 with flag 1162163/368214
122.19/118.94	c cleaning 26997 clauses out of 54020 with flag 1256339/396213
130.81/127.45	c cleaning 28005 clauses out of 56023 with flag 1346151/425213
139.97/136.46	c cleaning 28997 clauses out of 58018 with flag 1443483/455213
149.11/145.45	c cleaning 29991 clauses out of 60021 with flag 1543777/486213
158.18/154.55	c cleaning 31000 clauses out of 62030 with flag 1650241/518213
168.15/164.44	c cleaning 32006 clauses out of 64031 with flag 1759952/551214
178.13/174.33	c cleaning 32994 clauses out of 66024 with flag 1874076/585213
188.60/184.71	c cleaning 34008 clauses out of 68030 with flag 1991433/620213
199.78/195.85	c cleaning 34984 clauses out of 70022 with flag 2115045/656213
211.87/207.25	c cleaning 36004 clauses out of 72038 with flag 2250498/693213
223.23/218.52	c cleaning 37007 clauses out of 74035 with flag 2382680/731214
235.40/230.49	c cleaning 37989 clauses out of 76027 with flag 2511065/770213
247.81/242.73	c cleaning 39008 clauses out of 78039 with flag 2647651/810214
260.44/255.37	c cleaning 40011 clauses out of 80032 with flag 2792024/851215
273.54/268.49	c cleaning 40995 clauses out of 82019 with flag 2937262/893213
287.05/281.90	c cleaning 41994 clauses out of 84025 with flag 3081381/936214
300.51/295.48	c cleaning 42988 clauses out of 86031 with flag 3235183/980214
315.16/309.82	c cleaning 44009 clauses out of 88042 with flag 3394893/1025213
328.61/323.17	c cleaning 45007 clauses out of 90033 with flag 3570389/1071213
343.62/336.96	c cleaning 46010 clauses out of 92026 with flag 3730730/1118213
357.85/351.18	c cleaning 47008 clauses out of 94016 with flag 3897614/1166213
373.46/366.59	c cleaning 48004 clauses out of 96008 with flag 4088298/1215213
389.13/382.18	c cleaning 48990 clauses out of 98004 with flag 4271861/1265213
404.46/397.25	c cleaning 49997 clauses out of 100014 with flag 4454189/1316213
420.03/412.75	c cleaning 50999 clauses out of 102018 with flag 4639669/1368214
436.44/429.14	c cleaning 51998 clauses out of 104018 with flag 4834853/1421213
452.89/445.44	c cleaning 52993 clauses out of 106020 with flag 5041747/1475213
469.79/461.53	c cleaning 53998 clauses out of 108028 with flag 5236434/1530214
486.12/477.72	c cleaning 55007 clauses out of 110029 with flag 5429913/1586213
503.93/495.20	c cleaning 55993 clauses out of 112022 with flag 5642926/1643213
521.26/512.41	c cleaning 57013 clauses out of 114029 with flag 5851848/1701213
540.14/531.10	c cleaning 57991 clauses out of 116018 with flag 6085183/1760215
559.81/550.40	c cleaning 58997 clauses out of 118025 with flag 6309206/1820213
578.52/568.82	c cleaning 59995 clauses out of 120028 with flag 6534273/1881213
598.45/588.51	c cleaning 61008 clauses out of 122033 with flag 6778885/1943213
618.73/608.50	c cleaning 61997 clauses out of 124025 with flag 7027604/2006213
640.09/629.67	c cleaning 63013 clauses out of 126029 with flag 7281849/2070214
664.25/652.23	c cleaning 64001 clauses out of 128015 with flag 7546564/2135213
686.96/674.67	c cleaning 64998 clauses out of 130015 with flag 7801688/2201214
708.52/696.12	c cleaning 66007 clauses out of 132019 with flag 8058219/2268216
730.25/717.79	c cleaning 66995 clauses out of 134009 with flag 8308700/2336213
752.78/740.08	c cleaning 67994 clauses out of 136015 with flag 8577102/2405214
773.90/761.08	c cleaning 69003 clauses out of 138020 with flag 8842959/2475213
796.53/783.55	c cleaning 69998 clauses out of 140017 with flag 9112616/2546213
819.86/806.69	c cleaning 71004 clauses out of 142022 with flag 9393080/2618216
843.41/829.96	c cleaning 72000 clauses out of 144015 with flag 9678933/2691213
867.35/853.70	c cleaning 72987 clauses out of 146015 with flag 9967110/2765213
891.13/877.31	c cleaning 74008 clauses out of 148029 with flag 10256725/2840214
914.32/900.54	c cleaning 75000 clauses out of 150020 with flag 10539236/2916213
939.09/925.02	c cleaning 75998 clauses out of 152020 with flag 10814692/2993213
965.50/949.94	c cleaning 77006 clauses out of 154022 with flag 11108122/3071213
991.28/975.45	c cleaning 77998 clauses out of 156018 with flag 11429949/3150215
1016.42/1000.58	c cleaning 78991 clauses out of 158018 with flag 11748263/3230213
1042.96/1026.71	c cleaning 80003 clauses out of 160027 with flag 12062727/3311213
1068.88/1052.45	c cleaning 80997 clauses out of 162024 with flag 12372451/3393213
1096.11/1079.21	c cleaning 82005 clauses out of 164027 with flag 12692508/3476213
1123.20/1106.18	c cleaning 83004 clauses out of 166022 with flag 13021350/3560213
1151.41/1134.16	c cleaning 83989 clauses out of 168019 with flag 13357585/3645214
1179.42/1162.00	c cleaning 84998 clauses out of 170029 with flag 13700843/3731213
1207.78/1190.15	c cleaning 86003 clauses out of 172031 with flag 14060445/3818213
1236.79/1218.72	c cleaning 86981 clauses out of 174028 with flag 14399146/3906213
1266.68/1248.34	c cleaning 88020 clauses out of 176050 with flag 14760908/3995216
1297.30/1278.75	c cleaning 89003 clauses out of 178028 with flag 15119699/4085214
1328.07/1309.14	c cleaning 90002 clauses out of 180025 with flag 15474665/4176214
1358.17/1338.80	c cleaning 91006 clauses out of 182022 with flag 15829695/4268213
1390.48/1369.51	c cleaning 92002 clauses out of 184016 with flag 16193127/4361213
1422.63/1401.65	c cleaning 93000 clauses out of 186015 with flag 16574216/4455214
1455.87/1434.67	c cleaning 94001 clauses out of 188014 with flag 16954436/4550213
1487.66/1466.00	c cleaning 95001 clauses out of 190013 with flag 17321329/4646213
1520.64/1498.44	c cleaning 95993 clauses out of 192012 with flag 17694886/4743213
1554.03/1531.23	c cleaning 97001 clauses out of 194020 with flag 18084522/4841214
1586.70/1563.66	c cleaning 97991 clauses out of 196018 with flag 18487343/4940213
1619.73/1596.29	c cleaning 99004 clauses out of 198027 with flag 18891876/5040213
1652.90/1629.32	c cleaning 100008 clauses out of 200024 with flag 19312700/5141214
1687.43/1663.43	c cleaning 100990 clauses out of 202016 with flag 19752953/5243214
1722.91/1698.47	c cleaning 101992 clauses out of 204026 with flag 20173648/5346214
1760.00/1734.56	c cleaning 102994 clauses out of 206034 with flag 20600088/5450214
1799.65/1771.15	c cleaning 104012 clauses out of 208042 with flag 21055973/5555216
1836.79/1807.74	c cleaning 105008 clauses out of 210027 with flag 21482490/5661213
1875.14/1845.96	c cleaning 105994 clauses out of 212020 with flag 21932720/5768214
1915.54/1885.74	c cleaning 106998 clauses out of 214025 with flag 22400113/5876213
1957.75/1927.40	c cleaning 108006 clauses out of 216027 with flag 22864465/5985213
1999.55/1968.64	c cleaning 109005 clauses out of 218021 with flag 23349119/6095213
2040.51/2008.93	c cleaning 110005 clauses out of 220016 with flag 23823395/6206213
2083.36/2051.32	c cleaning 110984 clauses out of 222011 with flag 24317982/6318213
2125.33/2092.92	c cleaning 112013 clauses out of 224027 with flag 24823601/6431213
2164.27/2131.74	c cleaning 112990 clauses out of 226014 with flag 25330235/6545213
2204.33/2171.21	c cleaning 114009 clauses out of 228024 with flag 25839361/6660213
2242.78/2209.46	c cleaning 114997 clauses out of 230015 with flag 26252047/6776213
2286.90/2253.05	c cleaning 116004 clauses out of 232018 with flag 26665359/6893213
2332.53/2298.36	c cleaning 117008 clauses out of 234015 with flag 27109087/7011214
2380.64/2343.81	c cleaning 117995 clauses out of 236006 with flag 27538369/7130213
2427.34/2390.29	c cleaning 119002 clauses out of 238011 with flag 28005483/7250213
2475.63/2437.79	c cleaning 119999 clauses out of 240009 with flag 28453726/7371213
2524.55/2486.34	c cleaning 120989 clauses out of 242010 with flag 28920153/7493213
2575.40/2536.48	c cleaning 122006 clauses out of 244023 with flag 29402138/7616215
2625.70/2586.51	c cleaning 123006 clauses out of 246016 with flag 29861618/7740214
2678.37/2638.85	c cleaning 124005 clauses out of 248010 with flag 30369205/7865214
2733.50/2693.36	c cleaning 124992 clauses out of 250004 with flag 30851513/7991213
2790.38/2749.41	c cleaning 125992 clauses out of 252012 with flag 31373657/8118213
2840.76/2799.61	c cleaning 127008 clauses out of 254022 with flag 31859008/8246215
2897.01/2855.24	c cleaning 127983 clauses out of 256012 with flag 32375169/8375213
2952.30/2907.09	c cleaning 129008 clauses out of 258029 with flag 32969203/8505213
3007.40/2961.40	c cleaning 129998 clauses out of 260021 with flag 33526598/8636213
3064.74/3017.90	c cleaning 130994 clauses out of 262027 with flag 34072206/8768217
3122.65/3075.51	c cleaning 132014 clauses out of 264030 with flag 34636719/8901214
3175.12/3127.47	c cleaning 132999 clauses out of 266015 with flag 35212340/9035213
3229.30/3181.15	c cleaning 133991 clauses out of 268016 with flag 35772043/9170213
3284.65/3236.03	c cleaning 135003 clauses out of 270026 with flag 36353940/9306214
3339.36/3290.15	c cleaning 136005 clauses out of 272022 with flag 36965474/9443213
3398.44/3348.74	c cleaning 137003 clauses out of 274017 with flag 37564658/9581213
3454.67/3404.41	c cleaning 137982 clauses out of 276014 with flag 38161023/9720213
3510.91/3460.24	c cleaning 138999 clauses out of 278032 with flag 38772597/9860213
3572.69/3519.06	c cleaning 140009 clauses out of 280034 with flag 39357809/10001214
3600.04/3546.34	c starts		: 11
3600.04/3546.36	c conflicts		: 10078621
3600.04/3546.36	c decisions		: 26128639
3600.04/3546.36	c propagations		: 2384981743
3600.04/3546.36	c inspects		: 4390385009
3600.04/3546.36	c shortcuts		: 0
3600.04/3546.36	c learnt literals	: 0
3600.04/3546.36	c learnt binary clauses	: 0
3600.04/3546.36	c learnt ternary clauses	: 0
3600.04/3546.36	c learnt constraints	: 10078621
3600.04/3546.36	c ignored constraints	: 0
3600.04/3546.36	c root simplifications	: 0
3600.04/3546.36	c removed literals (reason simplification)	: 0
3600.04/3546.36	c reason swapping (by a shorter reason)	: 0
3600.04/3546.36	c Calls to reduceDB	: 137
3600.04/3546.36	c Number of update (reduction) of LBD	: 3174511
3600.04/3546.36	c Imported unit clauses	: 0
3600.04/3546.36	c No decision after first conflict	: false
3600.04/3546.36	c number of reductions to clauses (during analyze)	: 0
3600.04/3546.36	c number of learned constraints concerned by reduction	: 0
3600.04/3546.36	c number of learning phase by resolution	: 0
3600.04/3546.36	c number of learning phase by cutting planes	: 0
3600.04/3546.36	c number of rounding to 1 operations	: 0
3600.04/3546.36	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3546.36	c number of reductions of the coefficients by power 2 	: 0
3600.04/3546.36	c number of right shift for reduction by power 2 	: 0
3600.04/3546.36	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3546.36	c number of ending skipping 	: 0
3600.04/3546.36	c number of internal skipping 	: 0
3600.04/3546.36	c number of derivation steps 	: 0
3600.04/3546.36	c number of skipped derivation steps 	: 0
3600.04/3546.36	c number of remaining unassigned 	: 0
3600.04/3546.36	c number of remaining assigned 	: 0
3600.04/3546.36	c number of falsified literals weakened from reason	: 0
3600.04/3546.36	c number of falsified literals weakened from conflict	: 0
3600.04/3546.36	c time for arithmetic operations	: 0
3600.04/3546.36	c minimum degree of deleted constraints	: null
3600.04/3546.36	c maximum degree of deleted constraints	: null
3600.04/3546.36	c number of deleted constraints	: 0
3600.04/3546.36	c speed (assignments/second)	: 672824.0866096262
3600.04/3546.36	c non guided choices	: 0
3600.28/3546.45	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 217432
3600.28/3546.45	s SATISFIABLE
3600.28/3546.45	c Found 3 solution(s)
3600.28/3546.45	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/3546.48	c objective function=611
3600.28/3546.48	c Total wall clock time (in seconds): 3546.35

OK	611

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: 63968 MiB (61708 MiB free)
  memory of node 1: 64473 MiB (63332 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432250-1721094197/watcher-4432250-1721094197 -o /tmp/evaluation-result-4432250-1721094197/solver-4432250-1721094197 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721094210-831817 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432250-1721094197.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=831859, runsolver pid=831852

[startup+0.101175 s]*
/proc/loadavg: 2.92 3.85 4.02 8/283 831899
/proc/meminfo: memFree=127957940/131524600 swapFree=131071996/131071996
[pid=831859] ppid=831852 vsize=18975048 memory=62864 CPUtime=0.13 cores=0,2
/proc/831859/stat : 831859 (java) S 831852 831859 831807 0 -1 1077936128 7223 0 0 0 11 2 0 0 20 0 18 0 161583180 19430449152 15716 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
/proc/831859/statm: 4743762 15716 5622 1 0 549335 0
[pid=831859/tid=831861] ppid=831852 vsize=18975048 memory=4026531959 CPUtime=0.08 cores=0,2
/proc/831859/task/831861/stat : 831861 (java) R 831852 831859 831807 0 -1 1078198336 5750 0 0 0 7 1 0 0 20 0 18 0 161583180 19430449152 15716 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831878] ppid=831852 vsize=18975048 memory=1609 CPUtime=0 cores=0,2
/proc/831859/task/831878/stat : 831878 (Finalizer) S 831852 831859 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161583183 19430449152 15716 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831894] ppid=831852 vsize=18975048 memory=15815582234707235 CPUtime=0 cores=0,2
/proc/831859/task/831894/stat : 831894 (Common-Cleaner) S 831852 831859 831807 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161583184 19430449152 15716 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62864 KiB

[startup+0.206368 s]*
/proc/loadavg: 2.92 3.85 4.02 10/317 831941
/proc/meminfo: memFree=127841204/131524600 swapFree=131071996/131071996
[pid=831859] ppid=831852 vsize=18975048 memory=86532 CPUtime=0.33 cores=0,2
/proc/831859/stat : 831859 (java) S 831852 831859 831807 0 -1 1077936128 8654 0 0 0 30 3 0 0 20 0 18 0 161583180 19430449152 21633 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
/proc/831859/statm: 4743762 21633 5853 1 0 550368 0
[pid=831859/tid=831861] ppid=831852 vsize=18975048 memory=7301190626353741955 CPUtime=0.18 cores=0,2
/proc/831859/task/831861/stat : 831861 (java) R 831852 831859 831807 0 -1 4194368 5911 0 0 0 16 2 0 0 20 0 18 0 161583180 19430449152 21633 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831878] ppid=831852 vsize=18975048 memory=1623 CPUtime=0 cores=0,2
/proc/831859/task/831878/stat : 831878 (Finalizer) S 831852 831859 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161583183 19430449152 21633 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831894] ppid=831852 vsize=18975048 memory=14695192770905705 CPUtime=0 cores=0,2
/proc/831859/task/831894/stat : 831894 (Common-Cleaner) S 831852 831859 831807 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161583184 19430449152 21633 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 86532 KiB

[startup+0.306373 s]*
/proc/loadavg: 2.92 3.85 4.02 12/326 831950
/proc/meminfo: memFree=127737196/131524600 swapFree=131071996/131071996
[pid=831859] ppid=831852 vsize=18975048 memory=119900 CPUtime=0.52 cores=0,2
/proc/831859/stat : 831859 (java) S 831852 831859 831807 0 -1 1077936128 9652 0 0 0 48 4 0 0 20 0 18 0 161583180 19430449152 29975 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
/proc/831859/statm: 4743762 29975 5853 1 0 550891 0
[pid=831859/tid=831861] ppid=831852 vsize=18975048 memory=-8528517433346335420 CPUtime=0.27 cores=0,2
/proc/831859/task/831861/stat : 831861 (java) R 831852 831859 831807 0 -1 4194368 5928 0 0 0 24 3 0 0 20 0 18 0 161583180 19430449152 29975 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831878] ppid=831852 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/831859/task/831878/stat : 831878 (Finalizer) S 831852 831859 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161583183 19430449152 29975 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831894] ppid=831852 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/831859/task/831894/stat : 831894 (Common-Cleaner) S 831852 831859 831807 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161583184 19430449152 29975 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 119900 KiB

[startup+0.707368 s]
/proc/loadavg: 2.92 3.85 4.02 14/328 831954
/proc/meminfo: memFree=127488088/131524600 swapFree=131071996/131071996
[pid=831859] ppid=831852 vsize=19041612 memory=199096 CPUtime=1.28 cores=0,2
/proc/831859/stat : 831859 (java) S 831852 831859 831807 0 -1 1077936128 17711 0 0 0 121 7 0 0 20 0 19 0 161583180 19498610688 49774 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
/proc/831859/statm: 4760403 49774 5853 1 0 556245 0
[pid=831859/tid=831861] ppid=831852 vsize=19041612 memory=12292 CPUtime=0.61 cores=0,2
/proc/831859/task/831861/stat : 831861 (java) R 831852 831859 831807 0 -1 4194368 5950 0 0 0 57 4 0 0 20 0 19 0 161583180 19498610688 49774 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831878] ppid=831852 vsize=19041612 memory=12292 CPUtime=0 cores=0,2
/proc/831859/task/831878/stat : 831878 (Finalizer) S 831852 831859 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161583183 19498610688 49774 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831894] ppid=831852 vsize=19041612 memory=5665 CPUtime=0 cores=0,2
/proc/831859/task/831894/stat : 831894 (Common-Cleaner) S 831852 831859 831807 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161583184 19498610688 49774 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 199096 KiB

[startup+1.50028 s]
/proc/loadavg: 2.92 3.85 4.02 10/330 831956
/proc/meminfo: memFree=127253536/131524600 swapFree=131071996/131071996
[pid=831859] ppid=831852 vsize=19041612 memory=408112 CPUtime=2.4 cores=0,2
/proc/831859/stat : 831859 (java) S 831852 831859 831807 0 -1 1077936128 18832 0 0 0 229 11 0 0 20 0 19 0 161583180 19498610688 102028 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
/proc/831859/statm: 4760403 102028 5853 1 0 859127 0
[pid=831859/tid=831861] ppid=831852 vsize=19041612 memory=12292 CPUtime=1.29 cores=0,2
/proc/831859/task/831861/stat : 831861 (java) R 831852 831859 831807 0 -1 4194368 6025 0 0 0 122 7 0 0 20 0 19 0 161583180 19498610688 102028 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831878] ppid=831852 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/831859/task/831878/stat : 831878 (Finalizer) S 831852 831859 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161583183 19498610688 102028 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831894] ppid=831852 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/831859/task/831894/stat : 831894 (Common-Cleaner) S 831852 831859 831807 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161583184 19498610688 102028 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
Current children cumulated CPU time: 2.4 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 408112 KiB

[startup+3.10668 s]
/proc/loadavg: 3.33 3.92 4.04 12/332 831958
/proc/meminfo: memFree=125099604/131524600 swapFree=131071996/131071996
[pid=831859] ppid=831852 vsize=19108176 memory=466744 CPUtime=5.19 cores=0,2
/proc/831859/stat : 831859 (java) S 831852 831859 831807 0 -1 1077936128 20636 0 0 0 506 13 0 0 20 0 20 0 161583180 19566772224 116686 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
/proc/831859/statm: 4777044 116686 5907 1 0 1505803 0
[pid=831859/tid=831861] ppid=831852 vsize=19108176 memory=198340509722 CPUtime=2.82 cores=0,2
/proc/831859/task/831861/stat : 831861 (java) R 831852 831859 831807 0 -1 4194368 6200 0 0 0 274 8 0 0 20 0 20 0 161583180 19566772224 116686 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831878] ppid=831852 vsize=19108176 memory=16224 CPUtime=0 cores=0,2
/proc/831859/task/831878/stat : 831878 (Finalizer) S 831852 831859 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 116686 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831894] ppid=831852 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/831859/task/831894/stat : 831894 (Common-Cleaner) S 831852 831859 831807 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 161583184 19566772224 116686 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831957] ppid=831852 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/831859/task/831957/stat : 831957 (Timer-0) S 831852 831859 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583343 19566772224 116686 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
Current children cumulated CPU time: 5.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 466744 KiB

[startup+6.30025 s]
/proc/loadavg: 3.33 3.92 4.04 6/334 831960
/proc/meminfo: memFree=124781668/131524600 swapFree=131071996/131071996
[pid=831859] ppid=831852 vsize=19108176 memory=548072 CPUtime=8.67 cores=0,2
/proc/831859/stat : 831859 (java) S 831852 831859 831807 0 -1 1077936128 21202 0 0 0 852 15 0 0 20 0 20 0 161583180 19566772224 137018 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
/proc/831859/statm: 4777044 137018 5907 1 0 1506273 0
[pid=831859/tid=831861] ppid=831852 vsize=19108176 memory=0 CPUtime=6 cores=0,2
/proc/831859/task/831861/stat : 831861 (java) R 831852 831859 831807 0 -1 4194368 6447 0 0 0 590 10 0 0 20 0 20 0 161583180 19566772224 137018 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831878] ppid=831852 vsize=19108176 memory=12064 CPUtime=0 cores=0,2
/proc/831859/task/831878/stat : 831878 (Finalizer) S 831852 831859 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 137018 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831894] ppid=831852 vsize=19108176 memory=414336 CPUtime=0 cores=0,2
/proc/831859/task/831894/stat : 831894 (Common-Cleaner) S 831852 831859 831807 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 161583184 19566772224 137018 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831957] ppid=831852 vsize=19108176 memory=228489168090 CPUtime=0 cores=0,2
/proc/831859/task/831957/stat : 831957 (Timer-0) S 831852 831859 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583343 19566772224 137018 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
Current children cumulated CPU time: 8.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 548072 KiB

[startup+12.7002 s]
/proc/loadavg: 3.51 3.93 4.05 7/334 831961
/proc/meminfo: memFree=124340744/131524600 swapFree=131071996/131071996
[pid=831859] ppid=831852 vsize=19108176 memory=687892 CPUtime=15.07 cores=0,2
/proc/831859/stat : 831859 (java) S 831852 831859 831807 0 -1 1077936128 23241 0 0 0 1489 18 0 0 20 0 20 0 161583180 19566772224 171973 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
/proc/831859/statm: 4777044 171973 5907 1 0 1506273 0
[pid=831859/tid=831861] ppid=831852 vsize=19108176 memory=0 CPUtime=12.38 cores=0,2
/proc/831859/task/831861/stat : 831861 (java) R 831852 831859 831807 0 -1 4194368 7316 0 0 0 1225 13 0 0 20 0 20 0 161583180 19566772224 171973 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831878] ppid=831852 vsize=19108176 memory=520252 CPUtime=0 cores=0,2
/proc/831859/task/831878/stat : 831878 (Finalizer) S 831852 831859 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 171973 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831894] ppid=831852 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/831859/task/831894/stat : 831894 (Common-Cleaner) S 831852 831859 831807 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 161583184 19566772224 171973 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831957] ppid=831852 vsize=19108176 memory=470840 CPUtime=0 cores=0,2
/proc/831859/task/831957/stat : 831957 (Timer-0) S 831852 831859 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583343 19566772224 171973 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
Current children cumulated CPU time: 15.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 687892 KiB

[startup+25.5002 s]
/proc/loadavg: 3.58 3.94 4.05 6/334 831963
/proc/meminfo: memFree=123431092/131524600 swapFree=131071996/131071996
[pid=831859] ppid=831852 vsize=19108176 memory=1028104 CPUtime=28.07 cores=0,2
/proc/831859/stat : 831859 (java) S 831852 831859 831807 0 -1 1077936128 27552 0 0 0 2782 25 0 0 20 0 20 0 161583180 19566772224 257026 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
/proc/831859/statm: 4777044 257026 5923 1 0 1506283 0
[pid=831859/tid=831861] ppid=831852 vsize=19108176 memory=0 CPUtime=24.84 cores=0,2
/proc/831859/task/831861/stat : 831861 (java) R 831852 831859 831807 0 -1 4194368 8184 0 0 0 2470 14 0 0 20 0 20 0 161583180 19566772224 257026 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831878] ppid=831852 vsize=19108176 memory=-8528517433346335420 CPUtime=0 cores=0,2
/proc/831859/task/831878/stat : 831878 (Finalizer) S 831852 831859 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 257026 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831894] ppid=831852 vsize=19108176 memory=860156 CPUtime=0 cores=0,2
/proc/831859/task/831894/stat : 831894 (Common-Cleaner) S 831852 831859 831807 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 161583184 19566772224 257026 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831957] ppid=831852 vsize=19108176 memory=-8528517433346335420 CPUtime=0 cores=0,2
/proc/831859/task/831957/stat : 831957 (Timer-0) S 831852 831859 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583343 19566772224 257026 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
Current children cumulated CPU time: 28.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1028104 KiB

[startup+51.1059 s]
/proc/loadavg: 3.73 3.94 4.04 6/334 831969
/proc/meminfo: memFree=122533232/131524600 swapFree=131071996/131071996
[pid=831859] ppid=831852 vsize=19108176 memory=1304716 CPUtime=53.92 cores=0,2
/proc/831859/stat : 831859 (java) S 831852 831859 831807 0 -1 1077936128 33796 0 0 0 5362 30 0 0 20 0 20 0 161583180 19566772224 326179 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
/proc/831859/statm: 4777044 326179 5932 1 0 1506283 0
[pid=831859/tid=831861] ppid=831852 vsize=19108176 memory=12064 CPUtime=50.08 cores=0,2
/proc/831859/task/831861/stat : 831861 (java) R 831852 831859 831807 0 -1 4194368 9972 0 0 0 4994 14 0 0 20 0 20 0 161583180 19566772224 326179 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831878] ppid=831852 vsize=19108176 memory=1163404 CPUtime=0 cores=0,2
/proc/831859/task/831878/stat : 831878 (Finalizer) S 831852 831859 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 326179 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831894] ppid=831852 vsize=19108176 memory=12064 CPUtime=0 cores=0,2
/proc/831859/task/831894/stat : 831894 (Common-Cleaner) S 831852 831859 831807 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 161583184 19566772224 326179 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831957] ppid=831852 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/831859/task/831957/stat : 831957 (Timer-0) S 831852 831859 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583343 19566772224 326179 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0

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

/proc/831859/task/831861/stat : 831861 (java) R 831852 831859 831807 0 -1 4194368 78451 0 0 0 315410 77 0 0 20 0 20 0 161583180 19566772224 3761485 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831878] ppid=831852 vsize=19108176 memory=15045872 CPUtime=0 cores=0,2
/proc/831859/task/831878/stat : 831878 (Finalizer) S 831852 831859 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 3761485 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831894] ppid=831852 vsize=19108176 memory=15045940 CPUtime=0 cores=0,2
/proc/831859/task/831894/stat : 831894 (Common-Cleaner) S 831852 831859 831807 0 -1 1077936192 1121 0 0 0 0 0 0 0 20 0 20 0 161583184 19566772224 3761485 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831957] ppid=831852 vsize=19108176 memory=12064 CPUtime=0 cores=0,2
/proc/831859/task/831957/stat : 831957 (Timer-0) S 831852 831859 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583343 19566772224 3761485 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
Current children cumulated CPU time: 3271.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15045940 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.18 4.14 6/333 833739
/proc/meminfo: memFree=93517924/131524600 swapFree=131071996/131071996
[pid=831859] ppid=831852 vsize=19108176 memory=15045948 CPUtime=3331.58 cores=0,2
/proc/831859/stat : 831859 (java) S 831852 831859 831807 0 -1 1077936128 320664 0 0 0 332765 393 0 0 20 0 20 0 161583180 19566772224 3761487 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
/proc/831859/statm: 4777044 3761487 5947 1 0 3959791 0
[pid=831859/tid=831861] ppid=831852 vsize=19108176 memory=15045940 CPUtime=3213.64 cores=0,2
/proc/831859/task/831861/stat : 831861 (java) R 831852 831859 831807 0 -1 4194368 79523 0 0 0 321287 77 0 0 20 0 20 0 161583180 19566772224 3761487 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831878] ppid=831852 vsize=19108176 memory=12064 CPUtime=0 cores=0,2
/proc/831859/task/831878/stat : 831878 (Finalizer) S 831852 831859 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 3761487 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831894] ppid=831852 vsize=19108176 memory=12292 CPUtime=0 cores=0,2
/proc/831859/task/831894/stat : 831894 (Common-Cleaner) S 831852 831859 831807 0 -1 1077936192 1287 0 0 0 0 0 0 0 20 0 20 0 161583184 19566772224 3761487 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831957] ppid=831852 vsize=19108176 memory=-4075877051373423743 CPUtime=0 cores=0,2
/proc/831859/task/831957/stat : 831957 (Timer-0) S 831852 831859 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583343 19566772224 3761487 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
Current children cumulated CPU time: 3331.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15045948 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.16 4.13 6/333 833749
/proc/meminfo: memFree=93517664/131524600 swapFree=131071996/131071996
[pid=831859] ppid=831852 vsize=19108176 memory=15045972 CPUtime=3392.09 cores=0,2
/proc/831859/stat : 831859 (java) S 831852 831859 831807 0 -1 1077936128 322490 0 0 0 338815 394 0 0 20 0 20 0 161583180 19566772224 3761493 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
/proc/831859/statm: 4777044 3761493 5947 1 0 3959791 0
[pid=831859/tid=831861] ppid=831852 vsize=19108176 memory=12292 CPUtime=3272.62 cores=0,2
/proc/831859/task/831861/stat : 831861 (java) R 831852 831859 831807 0 -1 4194368 81005 0 0 0 327184 78 0 0 20 0 20 0 161583180 19566772224 3761493 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831878] ppid=831852 vsize=19108176 memory=15045972 CPUtime=0 cores=0,2
/proc/831859/task/831878/stat : 831878 (Finalizer) S 831852 831859 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 3761493 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831894] ppid=831852 vsize=19108176 memory=15045972 CPUtime=0 cores=0,2
/proc/831859/task/831894/stat : 831894 (Common-Cleaner) S 831852 831859 831807 0 -1 1077936192 1288 0 0 0 0 0 0 0 20 0 20 0 161583184 19566772224 3761493 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831957] ppid=831852 vsize=19108176 memory=15045968 CPUtime=0 cores=0,2
/proc/831859/task/831957/stat : 831957 (Timer-0) S 831852 831859 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583343 19566772224 3761493 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
Current children cumulated CPU time: 3392.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15045972 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.14 4.13 6/333 833760
/proc/meminfo: memFree=93517268/131524600 swapFree=131071996/131071996
[pid=831859] ppid=831852 vsize=19108176 memory=15045972 CPUtime=3452.58 cores=0,2
/proc/831859/stat : 831859 (java) S 831852 831859 831807 0 -1 1077936128 324051 0 0 0 344862 396 0 0 20 0 20 0 161583180 19566772224 3761493 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
/proc/831859/statm: 4777044 3761493 5947 1 0 3959791 0
[pid=831859/tid=831861] ppid=831852 vsize=19108176 memory=12064 CPUtime=3331.52 cores=0,2
/proc/831859/task/831861/stat : 831861 (java) R 831852 831859 831807 0 -1 4194368 82120 0 0 0 333074 78 0 0 20 0 20 0 161583180 19566772224 3761493 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831878] ppid=831852 vsize=19108176 memory=15045972 CPUtime=0 cores=0,2
/proc/831859/task/831878/stat : 831878 (Finalizer) S 831852 831859 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 3761493 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831894] ppid=831852 vsize=19108176 memory=15045972 CPUtime=0 cores=0,2
/proc/831859/task/831894/stat : 831894 (Common-Cleaner) S 831852 831859 831807 0 -1 1077936192 1288 0 0 0 0 0 0 0 20 0 20 0 161583184 19566772224 3761493 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831957] ppid=831852 vsize=19108176 memory=15045972 CPUtime=0 cores=0,2
/proc/831859/task/831957/stat : 831957 (Timer-0) S 831852 831859 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583343 19566772224 3761493 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
Current children cumulated CPU time: 3452.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15045972 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.16 4.13 6/334 833774
/proc/meminfo: memFree=93317780/131524600 swapFree=131071996/131071996
[pid=831859] ppid=831852 vsize=19108176 memory=15045972 CPUtime=3513 cores=0,2
/proc/831859/stat : 831859 (java) S 831852 831859 831807 0 -1 1077936128 325919 0 0 0 350902 398 0 0 20 0 20 0 161583180 19566772224 3761493 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
/proc/831859/statm: 4777044 3761493 5947 1 0 3959791 0
[pid=831859/tid=831861] ppid=831852 vsize=19108176 memory=12064 CPUtime=3390.35 cores=0,2
/proc/831859/task/831861/stat : 831861 (java) R 831852 831859 831807 0 -1 4194368 83513 0 0 0 338957 78 0 0 20 0 20 0 161583180 19566772224 3761493 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831878] ppid=831852 vsize=19108176 memory=12064 CPUtime=0 cores=0,2
/proc/831859/task/831878/stat : 831878 (Finalizer) S 831852 831859 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 3761493 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831894] ppid=831852 vsize=19108176 memory=15045972 CPUtime=0 cores=0,2
/proc/831859/task/831894/stat : 831894 (Common-Cleaner) S 831852 831859 831807 0 -1 1077936192 1288 0 0 0 0 0 0 0 20 0 20 0 161583184 19566772224 3761493 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831957] ppid=831852 vsize=19108176 memory=12064 CPUtime=0 cores=0,2
/proc/831859/task/831957/stat : 831957 (Timer-0) S 831852 831859 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583343 19566772224 3761493 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
Current children cumulated CPU time: 3513 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15045972 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.18 4.14 6/332 833784
/proc/meminfo: memFree=92796780/131524600 swapFree=131071996/131071996
[pid=831859] ppid=831852 vsize=19108176 memory=15565460 CPUtime=3575.95 cores=0,2
/proc/831859/stat : 831859 (java) S 831852 831859 831807 0 -1 1077936128 347778 0 0 0 357183 412 0 0 20 0 20 0 161583180 19566772224 3891365 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
/proc/831859/statm: 4777044 3891365 5947 1 0 4089452 0
[pid=831859/tid=831861] ppid=831852 vsize=19108176 memory=15045972 CPUtime=3449.22 cores=0,2
/proc/831859/task/831861/stat : 831861 (java) R 831852 831859 831807 0 -1 4194368 88799 0 0 0 344833 89 0 0 20 0 20 0 161583180 19566772224 3891365 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831878] ppid=831852 vsize=19108176 memory=15045972 CPUtime=0 cores=0,2
/proc/831859/task/831878/stat : 831878 (Finalizer) S 831852 831859 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 3891365 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831894] ppid=831852 vsize=19108176 memory=15538836 CPUtime=0 cores=0,2
/proc/831859/task/831894/stat : 831894 (Common-Cleaner) S 831852 831859 831807 0 -1 1077936192 1289 0 0 0 0 0 0 0 20 0 20 0 161583184 19566772224 3891365 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831957] ppid=831852 vsize=19108176 memory=15540884 CPUtime=0 cores=0,2
/proc/831859/task/831957/stat : 831957 (Timer-0) S 831852 831859 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583343 19566772224 3891365 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
Current children cumulated CPU time: 3575.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15565460 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3546.3 s]
/proc/loadavg: 4.79 4.31 4.18 6/332 833788
/proc/meminfo: memFree=92796644/131524600 swapFree=131071996/131071996
[pid=831859] ppid=831852 vsize=19108176 memory=15565528 CPUtime=3600.04 cores=0,2
/proc/831859/stat : 831859 (java) S 831852 831859 831807 0 -1 1077936128 351713 0 0 0 359591 413 0 0 20 0 20 0 161583180 19566772224 3891382 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
/proc/831859/statm: 4777044 3891382 5947 1 0 4089452 0
[pid=831859/tid=831861] ppid=831852 vsize=19108176 memory=15538836 CPUtime=3472.7 cores=0,2
/proc/831859/task/831861/stat : 831861 (java) R 831852 831859 831807 0 -1 4194368 89281 0 0 0 347180 90 0 0 20 0 20 0 161583180 19566772224 3891382 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831878] ppid=831852 vsize=19108176 memory=12064 CPUtime=0 cores=0,2
/proc/831859/task/831878/stat : 831878 (Finalizer) S 831852 831859 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 3891382 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831894] ppid=831852 vsize=19108176 memory=-9032077266193326780 CPUtime=0 cores=0,2
/proc/831859/task/831894/stat : 831894 (Common-Cleaner) S 831852 831859 831807 0 -1 1077936192 1289 0 0 0 0 0 0 0 20 0 20 0 161583184 19566772224 3891382 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831957] ppid=831852 vsize=19108176 memory=5436 CPUtime=0 cores=0,2
/proc/831859/task/831957/stat : 831957 (Timer-0) S 831852 831859 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583343 19566772224 3891382 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15565528 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.24 s, system=4.18244 s

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

[startup+3546.43 s]
/proc/loadavg: 4.79 4.31 4.18 6/332 833788
/proc/meminfo: memFree=92796644/131524600 swapFree=131071996/131071996
[pid=831859] ppid=831852 vsize=19307868 memory=15566196 CPUtime=3600.28 cores=0,2
/proc/831859/stat : 831859 (java) S 831852 831859 831807 0 -1 1077936128 354998 0 0 0 359614 414 0 0 20 0 21 0 161583180 19771256832 3891549 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
/proc/831859/statm: 4826967 3891549 5946 1 0 4090349 0
[pid=831859/tid=831861] ppid=831852 vsize=19307868 memory=5484 CPUtime=3472.83 cores=0,2
/proc/831859/task/831861/stat : 831861 (java) R 831852 831859 831807 0 -1 4194368 89535 0 0 0 347193 90 0 0 20 0 21 0 161583180 19771256832 3891549 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831878] ppid=831852 vsize=19307868 memory=15565528 CPUtime=0 cores=0,2
/proc/831859/task/831878/stat : 831878 (Finalizer) S 831852 831859 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 161583183 19771256832 3891549 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
[pid=831859/tid=831894] ppid=831852 vsize=19307868 memory=5436 CPUtime=0 cores=0,2
/proc/831859/task/831894/stat : 831894 (Common-Cleaner) S 831852 831859 831807 0 -1 1077936192 1289 0 0 0 0 0 0 0 20 0 21 0 161583184 19771256832 3891549 134679101440 94259588210688 94259588214384 140730412306048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94259588222200 94259588222992 94259589079040 140730412311559 140730412311649 140730412311649 140730412318664 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 15566196 KiB

[startup+3546.53 s]*
/proc/loadavg: 4.79 4.31 4.18 5/314 833791
/proc/meminfo: memFree=107991864/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3546.54
CPU time (s): 3600.42
CPU user time (s): 3596.24
CPU system time (s): 4.18244
CPU usage (%): 101.519
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 15566196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.24
system time used= 4.18243
maximum resident set size= 15567192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355712
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115101
involuntary context switches= 33990


# summary of solver processes directly reported to runsolver:
#   pid: 831859
#   total CPU time (s): 3600.42
#   total CPU user time (s): 3596.24
#   total CPU system time (s): 4.18244

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.18265 second user time and 17.3574 second system time

The end

Begin job on nodeC020 at 2024-07-16 03:43:30
IDJOB=4432250
IDBENCH=147564
IDSOLVER=3058
FILE ID=nodeC020/4432250-1721094197
RUNJOBID= nodeC020-1721094210-831817
SLURM_JOB_ID= 7505599
Free space on /tmp= 889980 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432250-1721094197/watcher-4432250-1721094197 -o /tmp/evaluation-result-4432250-1721094197/solver-4432250-1721094197 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721094210-831817 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432250-1721094197.opb

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

MD5SUM BENCH= 446effd89caaa2fd386cf7c17951a1a5
RANDOM SEED=789518173

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128052372 kB
MemAvailable:   129708856 kB
Buffers:          392436 kB
Cached:          2088820 kB
SwapCached:            0 kB
Active:           622684 kB
Inactive:        2230968 kB
Active(anon):       1520 kB
Inactive(anon):   408984 kB
Active(file):     621164 kB
Inactive(file):  1821984 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            108360 kB
Writeback:             0 kB
AnonPages:        372148 kB
Mapped:           103360 kB
Shmem:             37720 kB
KReclaimable:     106316 kB
Slab:             212884 kB
SReclaimable:     106316 kB
SUnreclaim:       106568 kB
KernelStack:        3968 kB
PageTables:         9816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     707980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59488 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189140 kB
DirectMap2M:    15312896 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 889948 MiB
End job on nodeC020 at 2024-07-16 04:42:36