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.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4432253-1721089908.opb
0.14/0.12	c reading problem ... 
0.14/0.13	c  objective function found
2.39/1.55	c ... done. Wall clock time 1.428s.
2.39/1.55	c declared #vars     10000
2.39/1.55	c #constraints  656900
2.39/1.55	c constraints type 
2.39/1.55	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
2.39/1.55	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
2.39/1.55	c 656900 constraints processed.
2.39/1.56	c objective function length is 10000 literals
2.96/1.82	c SATISFIABLE
2.96/1.82	c OPTIMIZING...
2.96/1.82	c Got one! Elapsed wall clock time (in seconds):1.701
2.96/1.82	o 883
4.48/2.88	c cleaning 2587 clauses out of 5208 with flag 14064/5208
5.66/3.80	c cleaning 4290 clauses out of 8621 with flag 30513/11208
6.81/4.90	c cleaning 5641 clauses out of 11331 with flag 53095/18208
8.56/6.65	c cleaning 6835 clauses out of 13691 with flag 74656/26209
10.71/8.75	c cleaning 7924 clauses out of 15857 with flag 99094/35210
13.10/11.17	c cleaning 8962 clauses out of 17931 with flag 125471/45208
15.90/13.83	c cleaning 9978 clauses out of 19969 with flag 154404/56208
18.68/16.65	c cleaning 10988 clauses out of 21992 with flag 185972/68209
21.75/19.78	c cleaning 11998 clauses out of 24003 with flag 224186/81208
25.58/23.40	c cleaning 13004 clauses out of 26007 with flag 268692/95210
29.06/26.98	c cleaning 13990 clauses out of 28001 with flag 315460/110208
33.30/31.03	c cleaning 15003 clauses out of 30011 with flag 364437/126208
37.49/35.24	c cleaning 16004 clauses out of 32008 with flag 416984/143208
42.14/39.70	c cleaning 16999 clauses out of 34004 with flag 469148/161208
46.80/44.42	c cleaning 18002 clauses out of 36006 with flag 527953/180209
52.22/49.72	c cleaning 18996 clauses out of 38004 with flag 590271/200209
57.76/55.30	c cleaning 19993 clauses out of 40007 with flag 656657/221208
63.69/61.17	c cleaning 20999 clauses out of 42014 with flag 725507/243208
69.73/67.23	c cleaning 22000 clauses out of 44016 with flag 797969/266209
76.02/73.44	c cleaning 22999 clauses out of 46016 with flag 871905/290209
82.59/79.98	c cleaning 24003 clauses out of 48017 with flag 950094/315209
89.56/86.75	c cleaning 24996 clauses out of 50013 with flag 1033308/341208
96.34/93.55	c cleaning 26009 clauses out of 52017 with flag 1117298/368208
104.37/101.43	c cleaning 26996 clauses out of 54010 with flag 1206257/396210
112.01/108.98	c cleaning 28002 clauses out of 56013 with flag 1296831/425209
120.27/117.04	c cleaning 29002 clauses out of 58010 with flag 1391023/455208
128.05/124.87	c cleaning 30001 clauses out of 60008 with flag 1488944/486208
137.67/134.33	c cleaning 30998 clauses out of 62007 with flag 1595454/518208
147.08/143.62	c cleaning 31996 clauses out of 64009 with flag 1699528/551208
156.32/152.88	c cleaning 33003 clauses out of 66013 with flag 1804902/585208
166.89/162.76	c cleaning 34003 clauses out of 68010 with flag 1921002/620208
176.32/172.17	c cleaning 34991 clauses out of 70007 with flag 2033092/656208
186.40/182.13	c cleaning 35997 clauses out of 72018 with flag 2155970/693210
196.70/192.35	c cleaning 37005 clauses out of 74019 with flag 2279042/731208
208.13/203.74	c cleaning 38006 clauses out of 76015 with flag 2410140/770209
220.49/215.89	c cleaning 39005 clauses out of 78009 with flag 2541437/810209
232.66/227.84	c cleaning 39998 clauses out of 80005 with flag 2670897/851210
244.61/239.66	c cleaning 40999 clauses out of 82005 with flag 2807407/893208
257.36/252.31	c cleaning 41996 clauses out of 84006 with flag 2950800/936208
270.52/265.46	c cleaning 42997 clauses out of 86015 with flag 3098249/980213
283.17/278.05	c cleaning 43996 clauses out of 88015 with flag 3243851/1025210
297.66/291.65	c cleaning 45009 clauses out of 90019 with flag 3391655/1071210
310.97/304.64	c cleaning 45992 clauses out of 92008 with flag 3547900/1118208
324.21/317.80	c cleaning 46994 clauses out of 94016 with flag 3699387/1166208
338.54/332.14	c cleaning 48003 clauses out of 96023 with flag 3858226/1215209
353.17/346.54	c cleaning 49007 clauses out of 98020 with flag 4026597/1265209
367.72/361.02	c cleaning 50007 clauses out of 100013 with flag 4198016/1316209
383.81/376.89	c cleaning 50995 clauses out of 102006 with flag 4371148/1368209
399.23/392.24	c cleaning 52002 clauses out of 104011 with flag 4545761/1421209
416.82/408.52	c cleaning 53005 clauses out of 106009 with flag 4728940/1475209
433.43/425.10	c cleaning 53995 clauses out of 108004 with flag 4914475/1530209
449.69/441.04	c cleaning 54995 clauses out of 110008 with flag 5094549/1586208
466.87/458.13	c cleaning 55992 clauses out of 112014 with flag 5287778/1643209
484.69/475.77	c cleaning 56999 clauses out of 114021 with flag 5475722/1701208
502.40/493.42	c cleaning 58005 clauses out of 116023 with flag 5672519/1760209
521.13/511.93	c cleaning 59003 clauses out of 118017 with flag 5877487/1820208
539.84/530.48	c cleaning 60001 clauses out of 120015 with flag 6087662/1881209
559.16/549.62	c cleaning 61006 clauses out of 122015 with flag 6294347/1943210
579.31/569.55	c cleaning 62000 clauses out of 124007 with flag 6505985/2006208
599.70/589.98	c cleaning 62994 clauses out of 126008 with flag 6728205/2070209
621.68/611.81	c cleaning 64004 clauses out of 128014 with flag 6961127/2135209
642.92/632.85	c cleaning 65001 clauses out of 130011 with flag 7188063/2201210
664.99/653.23	c cleaning 66002 clauses out of 132010 with flag 7423610/2268210
684.33/672.41	c cleaning 66999 clauses out of 134007 with flag 7647237/2336209
705.28/693.25	c cleaning 68000 clauses out of 136007 with flag 7880641/2405208
726.29/713.99	c cleaning 68991 clauses out of 138007 with flag 8121877/2475208
748.10/735.70	c cleaning 70002 clauses out of 140016 with flag 8366184/2546208
770.98/758.26	c cleaning 70998 clauses out of 142015 with flag 8621828/2618209
794.06/781.13	c cleaning 71998 clauses out of 144016 with flag 8868855/2691208
817.39/804.08	c cleaning 73010 clauses out of 146019 with flag 9130748/2765209
841.96/828.41	c cleaning 73992 clauses out of 148010 with flag 9393375/2840210
867.80/853.97	c cleaning 75005 clauses out of 150016 with flag 9661853/2916208
893.08/879.02	c cleaning 76000 clauses out of 152012 with flag 9920461/2993209
918.95/904.55	c cleaning 76990 clauses out of 154011 with flag 10186512/3071208
945.03/930.40	c cleaning 78005 clauses out of 156021 with flag 10460354/3150208
973.27/958.23	c cleaning 78998 clauses out of 158016 with flag 10748876/3230208
1000.77/985.67	c cleaning 80009 clauses out of 160019 with flag 11046055/3311209
1027.98/1012.61	c cleaning 80993 clauses out of 162009 with flag 11331079/3393208
1056.18/1039.34	c cleaning 81999 clauses out of 164016 with flag 11632987/3476208
1083.73/1066.42	c cleaning 82993 clauses out of 166018 with flag 11939844/3560209
1110.82/1093.43	c cleaning 84000 clauses out of 168024 with flag 12248457/3645208
1137.80/1120.49	c cleaning 85007 clauses out of 170024 with flag 12568151/3731208
1167.09/1149.36	c cleaning 86000 clauses out of 172017 with flag 12893170/3818208
1197.84/1180.06	c cleaning 86991 clauses out of 174018 with flag 13222606/3906209
1229.22/1211.01	c cleaning 88010 clauses out of 176027 with flag 13565936/3995209
1261.86/1243.55	c cleaning 89002 clauses out of 178016 with flag 13905424/4085208
1295.38/1276.79	c cleaning 89998 clauses out of 180014 with flag 14246081/4176208
1327.12/1308.52	c cleaning 91004 clauses out of 182018 with flag 14591027/4268210
1359.88/1341.17	c cleaning 91993 clauses out of 184012 with flag 14942798/4361208
1392.17/1373.14	c cleaning 93006 clauses out of 186019 with flag 15305540/4455208
1424.09/1404.85	c cleaning 93996 clauses out of 188013 with flag 15670439/4550208
1456.64/1437.09	c cleaning 94993 clauses out of 190021 with flag 16028596/4646212
1488.57/1468.91	c cleaning 95999 clauses out of 192026 with flag 16392863/4743210
1522.96/1502.92	c cleaning 97007 clauses out of 194025 with flag 16763415/4841208
1556.13/1535.50	c cleaning 98003 clauses out of 196018 with flag 17140884/4940208
1589.67/1568.86	c cleaning 98999 clauses out of 198015 with flag 17508958/5040208
1628.45/1604.71	c cleaning 99991 clauses out of 200017 with flag 17901700/5141209
1663.27/1639.48	c cleaning 101003 clauses out of 202025 with flag 18310423/5243208
1697.79/1673.87	c cleaning 102009 clauses out of 204023 with flag 18720633/5346209
1731.66/1707.17	c cleaning 102999 clauses out of 206013 with flag 19125127/5450208
1766.55/1741.83	c cleaning 104001 clauses out of 208014 with flag 19516557/5555208
1802.89/1777.42	c cleaning 104997 clauses out of 210016 with flag 19931054/5661211
1840.87/1815.26	c cleaning 106004 clauses out of 212018 with flag 20353449/5768210
1879.96/1854.47	c cleaning 106996 clauses out of 214012 with flag 20772308/5876208
1917.15/1891.15	c cleaning 108002 clauses out of 216016 with flag 21180059/5985208
1955.52/1929.27	c cleaning 109002 clauses out of 218018 with flag 21601893/6095212
1993.93/1967.63	c cleaning 110002 clauses out of 220013 with flag 22016876/6206209
2033.13/2006.36	c cleaning 110994 clauses out of 222012 with flag 22440461/6318210
2072.00/2044.92	c cleaning 112007 clauses out of 224017 with flag 22873689/6431209
2116.51/2089.00	c cleaning 112998 clauses out of 226009 with flag 23332091/6545208
2157.79/2130.09	c cleaning 113994 clauses out of 228011 with flag 23776301/6660208
2200.65/2172.21	c cleaning 114999 clauses out of 230017 with flag 24229975/6776208
2243.60/2214.81	c cleaning 115997 clauses out of 232018 with flag 24671731/6893208
2288.30/2256.74	c cleaning 117004 clauses out of 234022 with flag 25138987/7011209
2331.50/2299.41	c cleaning 118001 clauses out of 236017 with flag 25607964/7130208
2373.70/2341.55	c cleaning 119000 clauses out of 238017 with flag 26068105/7250209
2416.24/2383.59	c cleaning 119996 clauses out of 240016 with flag 26520918/7371208
2460.70/2428.01	c cleaning 120998 clauses out of 242020 with flag 26981937/7493208
2502.27/2469.17	c cleaning 121993 clauses out of 244022 with flag 27447886/7616208
2545.54/2512.33	c cleaning 123009 clauses out of 246030 with flag 27923479/7740209
2590.74/2557.12	c cleaning 124001 clauses out of 248021 with flag 28401458/7865209
2634.23/2600.50	c cleaning 125004 clauses out of 250021 with flag 28870218/7991210
2678.67/2644.46	c cleaning 125998 clauses out of 252016 with flag 29332474/8118209
2725.67/2690.72	c cleaning 127004 clauses out of 254018 with flag 29835535/8246209
2774.67/2739.46	c cleaning 127995 clauses out of 256014 with flag 30337440/8375209
2826.56/2790.72	c cleaning 129004 clauses out of 258019 with flag 30848987/8505209
2878.92/2843.13	c cleaning 130001 clauses out of 260014 with flag 31371155/8636208
2928.76/2892.47	c cleaning 131002 clauses out of 262013 with flag 31892676/8768208
2979.30/2940.42	c cleaning 131999 clauses out of 264011 with flag 32409789/8901208
3028.93/2989.50	c cleaning 132995 clauses out of 266012 with flag 32928704/9035208
3078.06/3038.14	c cleaning 134002 clauses out of 268020 with flag 33454242/9170211
3125.07/3084.85	c cleaning 134993 clauses out of 270015 with flag 33983817/9306208
3175.03/3134.20	c cleaning 136006 clauses out of 272022 with flag 34507393/9443208
3228.12/3187.22	c cleaning 137007 clauses out of 274017 with flag 35049288/9581209
3282.44/3241.27	c cleaning 137997 clauses out of 276010 with flag 35596247/9720209
3339.23/3297.58	c cleaning 138999 clauses out of 278012 with flag 36151298/9860208
3394.09/3352.19	c cleaning 140001 clauses out of 280013 with flag 36706539/10001208
3449.07/3406.54	c cleaning 141004 clauses out of 282013 with flag 37245048/10143209
3505.10/3462.06	c cleaning 141986 clauses out of 284008 with flag 37778864/10286208
3558.32/3515.13	c cleaning 143007 clauses out of 286022 with flag 38318520/10430208
3600.06/3556.12	c starts		: 5
3600.06/3556.12	c conflicts		: 10548048
3600.06/3556.12	c decisions		: 24449697
3600.06/3556.12	c propagations		: 1712182011
3600.06/3556.12	c inspects		: 4671892079
3600.06/3556.12	c shortcuts		: 0
3600.06/3556.12	c learnt literals	: 0
3600.06/3556.12	c learnt binary clauses	: 0
3600.06/3556.12	c learnt ternary clauses	: 0
3600.06/3556.12	c learnt constraints	: 10548048
3600.06/3556.12	c ignored constraints	: 0
3600.06/3556.12	c root simplifications	: 0
3600.06/3556.12	c removed literals (reason simplification)	: 0
3600.06/3556.12	c reason swapping (by a shorter reason)	: 0
3600.06/3556.12	c Calls to reduceDB	: 140
3600.06/3556.12	c Number of update (reduction) of LBD	: 2729128
3600.06/3556.12	c Imported unit clauses	: 0
3600.06/3556.12	c No decision after first conflict	: false
3600.06/3556.12	c number of reductions to clauses (during analyze)	: 0
3600.06/3556.12	c number of learned constraints concerned by reduction	: 0
3600.06/3556.12	c number of learning phase by resolution	: 0
3600.06/3556.12	c number of learning phase by cutting planes	: 0
3600.06/3556.12	c number of rounding to 1 operations	: 0
3600.06/3556.12	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3556.12	c number of reductions of the coefficients by power 2 	: 0
3600.06/3556.12	c number of right shift for reduction by power 2 	: 0
3600.06/3556.12	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3556.12	c number of ending skipping 	: 0
3600.06/3556.12	c number of internal skipping 	: 0
3600.06/3556.12	c number of derivation steps 	: 0
3600.06/3556.12	c number of skipped derivation steps 	: 0
3600.06/3556.12	c number of remaining unassigned 	: 0
3600.06/3556.12	c number of remaining assigned 	: 0
3600.06/3556.12	c number of falsified literals weakened from reason	: 0
3600.06/3556.12	c number of falsified literals weakened from conflict	: 0
3600.06/3556.12	c time for arithmetic operations	: 0
3600.06/3556.12	c minimum degree of deleted constraints	: null
3600.06/3556.12	c maximum degree of deleted constraints	: null
3600.06/3556.12	c number of deleted constraints	: 0
3600.06/3556.13	c speed (assignments/second)	: 481688.36640884634
3600.06/3556.13	c non guided choices	: 0
3600.27/3556.23	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 260855
3600.27/3556.23	s SATISFIABLE
3600.27/3556.23	c Found 1 solution(s)
3600.27/3556.24	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.27/3556.26	c objective function=883
3600.27/3556.26	c Total wall clock time (in seconds): 3556.132

OK	883

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (57470 MiB free)
  memory of node 1: 64510 MiB (47425 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432253-1721089908/watcher-4432253-1721089908 -o /tmp/evaluation-result-4432253-1721089908/solver-4432253-1721089908 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721083519-822111 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432253-1721089908.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=826274, runsolver pid=826271

[startup+0.101312 s]*
/proc/loadavg: 4.38 4.26 4.24 9/334 826292
/proc/meminfo: memFree=107371484/131524600 swapFree=131071996/131071996
[pid=826274] ppid=826271 vsize=18975048 memory=63488 CPUtime=0.14 cores=0,2
/proc/826274/stat : 826274 (java) S 826271 826274 822101 0 -1 1077936128 7237 0 0 0 12 2 0 0 20 0 18 0 161151064 19430449152 15872 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
/proc/826274/statm: 4743762 15872 5732 1 0 549349 0
[pid=826274/tid=826276] ppid=826271 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/826274/task/826276/stat : 826276 (java) R 826271 826274 822101 0 -1 4194368 5753 0 0 0 7 1 0 0 20 0 18 0 161151064 19430449152 15872 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826285] ppid=826271 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/826274/task/826285/stat : 826285 (Finalizer) S 826271 826274 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161151067 19430449152 15872 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826292] ppid=826271 vsize=18975048 memory=14690799019387218 CPUtime=0 cores=0,2
/proc/826274/task/826292/stat : 826292 (Common-Cleaner) S 826271 826274 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161151067 19430449152 15872 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63488 KiB

[startup+0.212827 s]*
/proc/loadavg: 4.38 4.26 4.24 7/334 826292
/proc/meminfo: memFree=107346624/131524600 swapFree=131071996/131071996
[pid=826274] ppid=826271 vsize=18976324 memory=90012 CPUtime=0.34 cores=0,2
/proc/826274/stat : 826274 (java) S 826271 826274 822101 0 -1 1077936128 9039 0 0 0 31 3 0 0 20 0 18 0 161151064 19431755776 22503 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
/proc/826274/statm: 4744081 22503 5860 1 0 550733 0
[pid=826274/tid=826276] ppid=826271 vsize=18976324 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/826274/task/826276/stat : 826276 (java) R 826271 826274 822101 0 -1 4194368 5890 0 0 0 17 1 0 0 20 0 18 0 161151064 19431755776 22503 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826285] ppid=826271 vsize=18976324 memory=16967 CPUtime=0 cores=0,2
/proc/826274/task/826285/stat : 826285 (Finalizer) S 826271 826274 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161151067 19431755776 22503 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826292] ppid=826271 vsize=18976324 memory=16097074391287456 CPUtime=0 cores=0,2
/proc/826274/task/826292/stat : 826292 (Common-Cleaner) S 826271 826274 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161151067 19431755776 22503 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18976324 KiB
Current children cumulated memory: 90012 KiB

[startup+0.30584 s]*
/proc/loadavg: 4.38 4.26 4.24 7/334 826292
/proc/meminfo: memFree=107310916/131524600 swapFree=131071996/131071996
[pid=826274] ppid=826271 vsize=18975048 memory=123860 CPUtime=0.52 cores=0,2
/proc/826274/stat : 826274 (java) S 826271 826274 822101 0 -1 1077936128 9661 0 0 0 49 3 0 0 20 0 18 0 161151064 19430449152 30965 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
/proc/826274/statm: 4743762 30965 5860 1 0 550900 0
[pid=826274/tid=826276] ppid=826271 vsize=18975048 memory=-9103578485889540796 CPUtime=0.27 cores=0,2
/proc/826274/task/826276/stat : 826276 (java) R 826271 826274 822101 0 -1 4194368 5909 0 0 0 25 2 0 0 20 0 18 0 161151064 19430449152 30965 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826285] ppid=826271 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/826274/task/826285/stat : 826285 (Finalizer) S 826271 826274 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161151067 19430449152 30965 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826292] ppid=826271 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/826274/task/826292/stat : 826292 (Common-Cleaner) S 826271 826274 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161151067 19430449152 30965 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 123860 KiB

[startup+0.70083 s]
/proc/loadavg: 4.38 4.26 4.24 6/335 826293
/proc/meminfo: memFree=107252808/131524600 swapFree=131071996/131071996
[pid=826274] ppid=826271 vsize=19041612 memory=201168 CPUtime=1.28 cores=0,2
/proc/826274/stat : 826274 (java) S 826271 826274 822101 0 -1 1077936128 17702 0 0 0 122 6 0 0 20 0 19 0 161151064 19498610688 50292 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
/proc/826274/statm: 4760403 50292 5875 1 0 556244 0
[pid=826274/tid=826276] ppid=826271 vsize=19041612 memory=5448 CPUtime=0.58 cores=0,2
/proc/826274/task/826276/stat : 826276 (java) R 826271 826274 822101 0 -1 1077936192 5929 0 0 0 55 3 0 0 20 0 19 0 161151064 19498610688 50292 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826285] ppid=826271 vsize=19041612 memory=12740 CPUtime=0 cores=0,2
/proc/826274/task/826285/stat : 826285 (Finalizer) S 826271 826274 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161151067 19498610688 50292 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826292] ppid=826271 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/826274/task/826292/stat : 826292 (Common-Cleaner) S 826271 826274 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161151067 19498610688 50292 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 201168 KiB

[startup+1.50084 s]
/proc/loadavg: 4.38 4.26 4.24 5/335 826293
/proc/meminfo: memFree=107160364/131524600 swapFree=131071996/131071996
[pid=826274] ppid=826271 vsize=19041612 memory=415348 CPUtime=2.39 cores=0,2
/proc/826274/stat : 826274 (java) S 826271 826274 822101 0 -1 1077936128 18490 0 0 0 228 11 0 0 20 0 19 0 161151064 19498610688 103837 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
/proc/826274/statm: 4760403 103837 5891 1 0 961481 0
[pid=826274/tid=826276] ppid=826271 vsize=19041612 memory=12740 CPUtime=1.25 cores=0,2
/proc/826274/task/826276/stat : 826276 (java) R 826271 826274 822101 0 -1 4194368 6015 0 0 0 118 7 0 0 20 0 19 0 161151064 19498610688 103837 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826285] ppid=826271 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/826274/task/826285/stat : 826285 (Finalizer) S 826271 826274 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161151067 19498610688 103837 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826292] ppid=826271 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/826274/task/826292/stat : 826292 (Common-Cleaner) S 826271 826274 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161151067 19498610688 103837 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
Current children cumulated CPU time: 2.39 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 415348 KiB

[startup+3.10683 s]
/proc/loadavg: 4.59 4.30 4.25 5/336 826295
/proc/meminfo: memFree=107010296/131524600 swapFree=131071996/131071996
[pid=826274] ppid=826271 vsize=19108176 memory=423120 CPUtime=4.89 cores=0,2
/proc/826274/stat : 826274 (java) S 826271 826274 822101 0 -1 1077936128 18921 0 0 0 477 12 0 0 20 0 20 0 161151064 19566772224 105780 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
/proc/826274/statm: 4777044 105780 5928 1 0 961965 0
[pid=826274/tid=826276] ppid=826271 vsize=19108176 memory=198340509722 CPUtime=2.83 cores=0,2
/proc/826274/task/826276/stat : 826276 (java) R 826271 826274 822101 0 -1 4194368 6215 0 0 0 276 7 0 0 20 0 20 0 161151064 19566772224 105780 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826285] ppid=826271 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/826274/task/826285/stat : 826285 (Finalizer) S 826271 826274 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 105780 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826292] ppid=826271 vsize=19108176 memory=12740 CPUtime=0 cores=0,2
/proc/826274/task/826292/stat : 826292 (Common-Cleaner) S 826271 826274 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 105780 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826294] ppid=826271 vsize=19108176 memory=422400 CPUtime=0 cores=0,2
/proc/826274/task/826294/stat : 826294 (Timer-0) S 826271 826274 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151222 19566772224 105780 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
Current children cumulated CPU time: 4.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 423120 KiB

[startup+6.30083 s]
/proc/loadavg: 4.59 4.30 4.25 5/335 826362
/proc/meminfo: memFree=120294084/131524600 swapFree=131071996/131071996
[pid=826274] ppid=826271 vsize=19108176 memory=650972 CPUtime=8.22 cores=0,2
/proc/826274/stat : 826274 (java) S 826271 826274 822101 0 -1 1077936128 24180 0 0 0 804 18 0 0 20 0 20 0 161151064 19566772224 162743 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
/proc/826274/statm: 4777044 162743 5944 1 0 1586545 0
[pid=826274/tid=826276] ppid=826271 vsize=19108176 memory=0 CPUtime=5.91 cores=0,2
/proc/826274/task/826276/stat : 826276 (java) R 826271 826274 822101 0 -1 4194368 7062 0 0 0 580 11 0 0 20 0 20 0 161151064 19566772224 162743 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826285] ppid=826271 vsize=19108176 memory=12740 CPUtime=0 cores=0,2
/proc/826274/task/826285/stat : 826285 (Finalizer) S 826271 826274 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 162743 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826292] ppid=826271 vsize=19108176 memory=422676 CPUtime=0 cores=0,2
/proc/826274/task/826292/stat : 826292 (Common-Cleaner) S 826271 826274 822101 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 162743 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826294] ppid=826271 vsize=19108176 memory=636572 CPUtime=0 cores=0,2
/proc/826274/task/826294/stat : 826294 (Timer-0) S 826271 826274 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151222 19566772224 162743 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
Current children cumulated CPU time: 8.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 650972 KiB

[startup+12.7008 s]
/proc/loadavg: 4.80 4.36 4.27 5/336 826363
/proc/meminfo: memFree=119389484/131524600 swapFree=131071996/131071996
[pid=826274] ppid=826271 vsize=19108176 memory=979012 CPUtime=14.81 cores=0,2
/proc/826274/stat : 826274 (java) S 826271 826274 822101 0 -1 1077936128 27276 0 0 0 1456 25 0 0 20 0 20 0 161151064 19566772224 244753 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
/proc/826274/statm: 4777044 244753 5944 1 0 1586554 0
[pid=826274/tid=826276] ppid=826271 vsize=19108176 memory=771804 CPUtime=12.12 cores=0,2
/proc/826274/task/826276/stat : 826276 (java) R 826271 826274 822101 0 -1 4194368 7282 0 0 0 1198 14 0 0 20 0 20 0 161151064 19566772224 244753 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826285] ppid=826271 vsize=19108176 memory=41652 CPUtime=0 cores=0,2
/proc/826274/task/826285/stat : 826285 (Finalizer) S 826271 826274 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 244753 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826292] ppid=826271 vsize=19108176 memory=130120603 CPUtime=0 cores=0,2
/proc/826274/task/826292/stat : 826292 (Common-Cleaner) S 826271 826274 822101 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 244753 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826294] ppid=826271 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/826274/task/826294/stat : 826294 (Timer-0) S 826271 826274 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151222 19566772224 244753 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
Current children cumulated CPU time: 14.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 979012 KiB

[startup+25.5008 s]
/proc/loadavg: 4.75 4.36 4.28 5/336 826366
/proc/meminfo: memFree=118604968/131524600 swapFree=131071996/131071996
[pid=826274] ppid=826271 vsize=19108176 memory=1190208 CPUtime=27.67 cores=0,2
/proc/826274/stat : 826274 (java) S 826271 826274 822101 0 -1 1077936128 30793 0 0 0 2736 31 0 0 20 0 20 0 161151064 19566772224 297552 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
/proc/826274/statm: 4777044 297552 5954 1 0 1586588 0
[pid=826274/tid=826276] ppid=826271 vsize=19108176 memory=0 CPUtime=24.63 cores=0,2
/proc/826274/task/826276/stat : 826276 (java) R 826271 826274 822101 0 -1 4194368 8110 0 0 0 2449 14 0 0 20 0 20 0 161151064 19566772224 297552 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826285] ppid=826271 vsize=19108176 memory=41652 CPUtime=0 cores=0,2
/proc/826274/task/826285/stat : 826285 (Finalizer) S 826271 826274 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 297552 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826292] ppid=826271 vsize=19108176 memory=11400 CPUtime=0 cores=0,2
/proc/826274/task/826292/stat : 826292 (Common-Cleaner) S 826271 826274 822101 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 297552 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826294] ppid=826271 vsize=19108176 memory=1190208 CPUtime=0 cores=0,2
/proc/826274/task/826294/stat : 826294 (Timer-0) S 826271 826274 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151222 19566772224 297552 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
Current children cumulated CPU time: 27.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1190208 KiB

[startup+51.1058 s]
/proc/loadavg: 4.62 4.36 4.28 6/336 826369
/proc/meminfo: memFree=116289504/131524600 swapFree=131071996/131071996
[pid=826274] ppid=826271 vsize=19108176 memory=1800552 CPUtime=53.61 cores=0,2
/proc/826274/stat : 826274 (java) S 826271 826274 822101 0 -1 1077936128 37253 0 0 0 5317 44 0 0 20 0 20 0 161151064 19566772224 450138 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
/proc/826274/statm: 4777044 450138 5954 1 0 1586588 0
[pid=826274/tid=826276] ppid=826271 vsize=19108176 memory=1411396 CPUtime=49.44 cores=0,2
/proc/826274/task/826276/stat : 826276 (java) R 826271 826274 822101 0 -1 4194368 9609 0 0 0 4930 14 0 0 20 0 20 0 161151064 19566772224 450138 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826285] ppid=826271 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/826274/task/826285/stat : 826285 (Finalizer) S 826271 826274 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 450138 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826292] ppid=826271 vsize=19108176 memory=1800552 CPUtime=0 cores=0,2
/proc/826274/task/826292/stat : 826292 (Common-Cleaner) S 826271 826274 822101 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 450138 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826294] ppid=826271 vsize=19108176 memory=1599844 CPUtime=0 cores=0,2
/proc/826274/task/826294/stat : 826294 (Timer-0) S 826271 826274 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151222 19566772224 450138 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0

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

/proc/826274/task/826276/stat : 826276 (java) S 826271 826274 822101 0 -1 1077936192 149892 0 0 0 315607 77 0 0 20 0 20 0 161151064 19566772224 3787389 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826285] ppid=826271 vsize=19108176 memory=16028 CPUtime=0 cores=0,2
/proc/826274/task/826285/stat : 826285 (Finalizer) S 826271 826274 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 3787389 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826292] ppid=826271 vsize=19108176 memory=15149556 CPUtime=0 cores=0,2
/proc/826274/task/826292/stat : 826292 (Common-Cleaner) S 826271 826274 822101 0 -1 1077936192 2956 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 3787389 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826294] ppid=826271 vsize=19108176 memory=15149556 CPUtime=0 cores=0,2
/proc/826274/task/826294/stat : 826294 (Timer-0) S 826271 826274 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151222 19566772224 3787389 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
Current children cumulated CPU time: 3263.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15149556 KiB

[startup+3282.3 s]
/proc/loadavg: 4.45 4.33 4.29 5/334 827934
/proc/meminfo: memFree=64609880/131524600 swapFree=131071996/131071996
[pid=826274] ppid=826271 vsize=19108176 memory=15149564 CPUtime=3323.56 cores=0,2
/proc/826274/stat : 826274 (java) S 826271 826274 822101 0 -1 1077936128 435697 0 0 0 331944 412 0 0 20 0 20 0 161151064 19566772224 3787391 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
/proc/826274/statm: 4777044 3787391 5969 1 0 4087823 0
[pid=826274/tid=826276] ppid=826271 vsize=19108176 memory=15149564 CPUtime=3215.56 cores=0,2
/proc/826274/task/826276/stat : 826276 (java) R 826271 826274 822101 0 -1 4194368 151823 0 0 0 321479 77 0 0 20 0 20 0 161151064 19566772224 3787391 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826285] ppid=826271 vsize=19108176 memory=33020 CPUtime=0 cores=0,2
/proc/826274/task/826285/stat : 826285 (Finalizer) S 826271 826274 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 3787391 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826292] ppid=826271 vsize=19108176 memory=15149556 CPUtime=0 cores=0,2
/proc/826274/task/826292/stat : 826292 (Common-Cleaner) S 826271 826274 822101 0 -1 1077936192 3031 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 3787391 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826294] ppid=826271 vsize=19108176 memory=15149556 CPUtime=0 cores=0,2
/proc/826274/task/826294/stat : 826294 (Timer-0) S 826271 826274 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151222 19566772224 3787391 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
Current children cumulated CPU time: 3323.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15149564 KiB

[startup+3342.3 s]
/proc/loadavg: 4.33 4.31 4.28 5/335 827946
/proc/meminfo: memFree=64609300/131524600 swapFree=131071996/131071996
[pid=826274] ppid=826271 vsize=19108176 memory=15149564 CPUtime=3384.31 cores=0,2
/proc/826274/stat : 826274 (java) S 826271 826274 822101 0 -1 1077936128 438154 0 0 0 338017 414 0 0 20 0 20 0 161151064 19566772224 3787391 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
/proc/826274/statm: 4777044 3787391 5969 1 0 4087823 0
[pid=826274/tid=826276] ppid=826271 vsize=19108176 memory=15149564 CPUtime=3274.42 cores=0,2
/proc/826274/task/826276/stat : 826276 (java) R 826271 826274 822101 0 -1 4194368 153689 0 0 0 327364 78 0 0 20 0 20 0 161151064 19566772224 3787391 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826285] ppid=826271 vsize=19108176 memory=15149564 CPUtime=0 cores=0,2
/proc/826274/task/826285/stat : 826285 (Finalizer) S 826271 826274 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 3787391 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826292] ppid=826271 vsize=19108176 memory=5448 CPUtime=0 cores=0,2
/proc/826274/task/826292/stat : 826292 (Common-Cleaner) S 826271 826274 822101 0 -1 1077936192 3040 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 3787391 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826294] ppid=826271 vsize=19108176 memory=15149564 CPUtime=0 cores=0,2
/proc/826274/task/826294/stat : 826294 (Timer-0) S 826271 826274 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151222 19566772224 3787391 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
Current children cumulated CPU time: 3384.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15149564 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.27 4.27 5/336 828127
/proc/meminfo: memFree=64603976/131524600 swapFree=131071996/131071996
[pid=826274] ppid=826271 vsize=19108176 memory=15149564 CPUtime=3444.88 cores=0,2
/proc/826274/stat : 826274 (java) S 826271 826274 822101 0 -1 1077936128 439747 0 0 0 344072 416 0 0 20 0 20 0 161151064 19566772224 3787391 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
/proc/826274/statm: 4777044 3787391 5969 1 0 4087823 0
[pid=826274/tid=826276] ppid=826271 vsize=19108176 memory=15149564 CPUtime=3333.47 cores=0,2
/proc/826274/task/826276/stat : 826276 (java) R 826271 826274 822101 0 -1 4194368 154680 0 0 0 333268 79 0 0 20 0 20 0 161151064 19566772224 3787391 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826285] ppid=826271 vsize=19108176 memory=41832 CPUtime=0 cores=0,2
/proc/826274/task/826285/stat : 826285 (Finalizer) S 826271 826274 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 3787391 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826292] ppid=826271 vsize=19108176 memory=12740 CPUtime=0 cores=0,2
/proc/826274/task/826292/stat : 826292 (Common-Cleaner) S 826271 826274 822101 0 -1 1077936192 3040 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 3787391 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826294] ppid=826271 vsize=19108176 memory=15149564 CPUtime=0 cores=0,2
/proc/826274/task/826294/stat : 826294 (Timer-0) S 826271 826274 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151222 19566772224 3787391 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
Current children cumulated CPU time: 3444.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15149564 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.25 4.26 6/336 828137
/proc/meminfo: memFree=64603464/131524600 swapFree=131071996/131071996
[pid=826274] ppid=826271 vsize=19108176 memory=15149604 CPUtime=3505.39 cores=0,2
/proc/826274/stat : 826274 (java) S 826271 826274 822101 0 -1 1077936128 444840 0 0 0 350121 418 0 0 20 0 20 0 161151064 19566772224 3787401 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
/proc/826274/statm: 4777044 3787401 5969 1 0 4087823 0
[pid=826274/tid=826276] ppid=826271 vsize=19108176 memory=15149564 CPUtime=3392.09 cores=0,2
/proc/826274/task/826276/stat : 826276 (java) R 826271 826274 822101 0 -1 4194368 156657 0 0 0 339130 79 0 0 20 0 20 0 161151064 19566772224 3787401 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826285] ppid=826271 vsize=19108176 memory=41832 CPUtime=0 cores=0,2
/proc/826274/task/826285/stat : 826285 (Finalizer) S 826271 826274 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 3787401 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826292] ppid=826271 vsize=19108176 memory=12740 CPUtime=0 cores=0,2
/proc/826274/task/826292/stat : 826292 (Common-Cleaner) S 826271 826274 822101 0 -1 1077936192 3128 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 3787401 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826294] ppid=826271 vsize=19108176 memory=15149572 CPUtime=0 cores=0,2
/proc/826274/task/826294/stat : 826294 (Timer-0) S 826271 826274 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151222 19566772224 3787401 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
Current children cumulated CPU time: 3505.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15149604 KiB

[startup+3522.3 s]
/proc/loadavg: 3.70 4.12 4.22 3/284 828272
/proc/meminfo: memFree=94319356/131524600 swapFree=131071996/131071996
[pid=826274] ppid=826271 vsize=19108176 memory=15149604 CPUtime=3565.51 cores=0,2
/proc/826274/stat : 826274 (java) S 826271 826274 822101 0 -1 1077936128 446761 0 0 0 356131 420 0 0 20 0 20 0 161151064 19566772224 3787401 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
/proc/826274/statm: 4777044 3787401 5969 1 0 4087823 0
[pid=826274/tid=826276] ppid=826271 vsize=19108176 memory=12740 CPUtime=3451.19 cores=0,2
/proc/826274/task/826276/stat : 826276 (java) R 826271 826274 822101 0 -1 4194368 158257 0 0 0 345040 79 0 0 20 0 20 0 161151064 19566772224 3787401 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826285] ppid=826271 vsize=19108176 memory=15149564 CPUtime=0 cores=0,2
/proc/826274/task/826285/stat : 826285 (Finalizer) S 826271 826274 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 3787401 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826292] ppid=826271 vsize=19108176 memory=15149604 CPUtime=0 cores=0,2
/proc/826274/task/826292/stat : 826292 (Common-Cleaner) S 826271 826274 822101 0 -1 1077936192 3128 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 3787401 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826294] ppid=826271 vsize=19108176 memory=15149604 CPUtime=0 cores=0,2
/proc/826274/task/826294/stat : 826294 (Timer-0) S 826271 826274 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151222 19566772224 3787401 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
Current children cumulated CPU time: 3565.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15149604 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3556.11 s]
/proc/loadavg: 2.93 3.88 4.13 2/258 828314
/proc/meminfo: memFree=109278640/131524600 swapFree=131071996/131071996
[pid=826274] ppid=826271 vsize=19108176 memory=15149624 CPUtime=3600.06 cores=0,2
/proc/826274/stat : 826274 (java) S 826271 826274 822101 0 -1 1077936128 448185 0 0 0 359585 421 0 0 20 0 20 0 161151064 19566772224 3787406 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
/proc/826274/statm: 4777044 3787406 5969 1 0 4087823 0
[pid=826274/tid=826276] ppid=826271 vsize=19108176 memory=15149604 CPUtime=3484.02 cores=0,2
/proc/826274/task/826276/stat : 826276 (java) R 826271 826274 822101 0 -1 4194368 159128 0 0 0 348323 79 0 0 20 0 20 0 161151064 19566772224 3787406 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826285] ppid=826271 vsize=19108176 memory=15149604 CPUtime=0 cores=0,2
/proc/826274/task/826285/stat : 826285 (Finalizer) S 826271 826274 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 3787406 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826292] ppid=826271 vsize=19108176 memory=41832 CPUtime=0 cores=0,2
/proc/826274/task/826292/stat : 826292 (Common-Cleaner) S 826271 826274 822101 0 -1 1077936192 3128 0 0 0 0 0 0 0 20 0 20 0 161151067 19566772224 3787406 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826294] ppid=826271 vsize=19108176 memory=15149604 CPUtime=0 cores=0,2
/proc/826274/task/826294/stat : 826294 (Timer-0) S 826271 826274 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161151222 19566772224 3787406 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15149624 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.16 s, system=4.25462 s

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

[startup+3556.22 s]
/proc/loadavg: 2.93 3.88 4.13 2/258 828314
/proc/meminfo: memFree=109278640/131524600 swapFree=131071996/131071996
[pid=826274] ppid=826271 vsize=19307868 memory=15150356 CPUtime=3600.27 cores=0,2
/proc/826274/stat : 826274 (java) S 826271 826274 822101 0 -1 1077936128 451067 0 0 0 359606 421 0 0 20 0 21 0 161151064 19771256832 3787589 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
/proc/826274/statm: 4826967 3787589 5968 1 0 4088733 0
[pid=826274/tid=826276] ppid=826271 vsize=19307868 memory=20360 CPUtime=3484.12 cores=0,2
/proc/826274/task/826276/stat : 826276 (java) R 826271 826274 822101 0 -1 4194368 159224 0 0 0 348333 79 0 0 20 0 21 0 161151064 19771256832 3787589 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826285] ppid=826271 vsize=19307868 memory=5368 CPUtime=0 cores=0,2
/proc/826274/task/826285/stat : 826285 (Finalizer) S 826271 826274 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 161151067 19771256832 3787589 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
[pid=826274/tid=826292] ppid=826271 vsize=19307868 memory=2772 CPUtime=0 cores=0,2
/proc/826274/task/826292/stat : 826292 (Common-Cleaner) S 826271 826274 822101 0 -1 1077936192 3128 0 0 0 0 0 0 0 20 0 21 0 161151067 19771256832 3787589 134679101440 94203042836480 94203042840176 140736385903632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94203042847992 94203042848784 94203059572736 140736385909767 140736385909857 140736385909857 140736385916872 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 15150356 KiB

[startup+3556.3 s]*
/proc/loadavg: 2.93 3.88 4.13 2/240 828317
/proc/meminfo: memFree=124060408/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): 3556.31
CPU time (s): 3600.42
CPU user time (s): 3596.16
CPU system time (s): 4.25462
CPU usage (%): 101.24
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 15150356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.16
system time used= 4.25462
maximum resident set size= 15151292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 451713
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113929
involuntary context switches= 35203


# summary of solver processes directly reported to runsolver:
#   pid: 826274
#   total CPU time (s): 3600.42
#   total CPU user time (s): 3596.16
#   total CPU system time (s): 4.25462

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.85725 second user time and 17.3925 second system time

The end

Begin job on nodeC015 at 2024-07-16 02:32:01
IDJOB=4432253
IDBENCH=147554
IDSOLVER=3058
FILE ID=nodeC015/4432253-1721089908
RUNJOBID= nodeC015-1721083519-822111
SLURM_JOB_ID= 7505571
Free space on /tmp= 890032 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_9.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-4432253-1721089908/watcher-4432253-1721089908 -o /tmp/evaluation-result-4432253-1721089908/solver-4432253-1721089908 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721083519-822111 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432253-1721089908.opb

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

MD5SUM BENCH= eddbc5130f16a1842e21dd4bd4477bf2
RANDOM SEED=515395916

nodeC015.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		: 3675.389
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        107413672 kB
MemAvailable:   112771240 kB
Buffers:          372064 kB
Cached:          5814468 kB
SwapCached:            0 kB
Active:          1233296 kB
Inactive:       22231432 kB
Active(anon):       1540 kB
Inactive(anon): 17314368 kB
Active(file):    1231756 kB
Inactive(file):  4917064 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             17676 kB
Writeback:             8 kB
AnonPages:      17276504 kB
Mapped:           124608 kB
Shmem:             37720 kB
KReclaimable:      96788 kB
Slab:             204256 kB
SReclaimable:      96788 kB
SUnreclaim:       107468 kB
KernelStack:        5028 kB
PageTables:        43636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   29336976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62016 kB
HardwareCorrupted:     0 kB
AnonHugePages:  16977920 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:      228052 kB
DirectMap2M:    33099776 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC015 at 2024-07-16 03:31:17