0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.10	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4504213-1751449770.opb
0.12/0.14	c reading problem ... 
0.12/0.15	c using VERIPB proof format
0.12/0.15	c  objective function found
0.48/0.39	c ... done. Wall clock time 0.246s.
0.48/0.39	c declared #vars     9940
0.48/0.39	c #constraints  24512
0.48/0.39	c constraints type 
0.48/0.39	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19390
0.48/0.39	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
0.48/0.39	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625
0.48/0.39	c org.sat4j.specs.Constr$1 => 2
0.48/0.39	c org.sat4j.pb.constraints.pb.UnitClausesPB => 2
0.48/0.39	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2486
0.48/0.39	c 24512 constraints processed.
0.67/0.42	c objective function length is 9730 literals
1.43/0.86	c SATISFIABLE
1.43/0.87	c OPTIMIZING...
1.43/0.87	c Got one! Elapsed wall clock time (in seconds):0.725
1.43/0.87	o 11385779
1.63/0.95	c Got one! Elapsed wall clock time (in seconds):0.813
1.63/0.95	o 4547283
1.83/1.01	c Got one! Elapsed wall clock time (in seconds):0.874
1.83/1.01	o 4278795
1.83/1.07	c Got one! Elapsed wall clock time (in seconds):0.929
1.83/1.07	o 4277815
2.04/1.14	c Got one! Elapsed wall clock time (in seconds):1.003
2.04/1.14	o 4276771
5.21/2.77	c cleaning 2652 clauses out of 5332 with flag 10023/5332
7.00/4.19	c cleaning 4327 clauses out of 8681 with flag 22025/11333
9.11/6.12	c cleaning 5676 clauses out of 11353 with flag 36051/18332
11.35/8.39	c cleaning 6839 clauses out of 13678 with flag 52143/26333
13.95/10.95	c cleaning 7913 clauses out of 15840 with flag 70247/35334
16.88/13.82	c cleaning 8961 clauses out of 17926 with flag 90384/45333
19.98/16.92	c cleaning 9981 clauses out of 19964 with flag 112498/56332
23.39/20.31	c cleaning 10992 clauses out of 21984 with flag 136659/68333
26.88/23.89	c cleaning 11994 clauses out of 23991 with flag 162905/81332
30.99/27.93	c cleaning 12998 clauses out of 25997 with flag 191164/95332
35.30/32.21	c cleaning 13999 clauses out of 27999 with flag 221468/110332
39.81/36.91	c cleaning 14997 clauses out of 30000 with flag 253742/126332
44.54/41.65	c cleaning 16000 clauses out of 32004 with flag 288028/143333
49.67/46.79	c cleaning 16996 clauses out of 34003 with flag 324372/161332
55.28/52.36	c cleaning 18003 clauses out of 36007 with flag 362790/180332
61.27/58.33	c cleaning 18997 clauses out of 38005 with flag 403047/200333
67.35/64.45	c cleaning 19996 clauses out of 40007 with flag 445365/221332
74.38/71.56	c cleaning 21003 clauses out of 42011 with flag 489710/243332
81.78/78.96	c cleaning 22000 clauses out of 44008 with flag 536424/266332
89.79/87.00	c cleaning 23001 clauses out of 46009 with flag 585151/290333
98.09/95.21	c cleaning 24000 clauses out of 48007 with flag 635799/315332
106.43/105.65	c cleaning 25003 clauses out of 50007 with flag 688893/341332
115.01/114.29	c cleaning 25998 clauses out of 52005 with flag 743604/368333
124.14/123.35	c cleaning 27000 clauses out of 54006 with flag 800881/396332
133.66/133.10	c cleaning 27999 clauses out of 56006 with flag 859856/425332
143.56/142.84	c cleaning 28999 clauses out of 58007 with flag 920474/455332
153.67/152.94	c cleaning 30004 clauses out of 60009 with flag 983558/486333
164.09/163.66	c cleaning 30996 clauses out of 62005 with flag 1048683/518333
174.70/174.21	c cleaning 32001 clauses out of 64009 with flag 1116040/551333
185.63/185.13	c cleaning 33001 clauses out of 66009 with flag 1185800/585334
197.35/196.96	c cleaning 34001 clauses out of 68007 with flag 1257221/620333
208.68/208.25	c cleaning 34997 clauses out of 70005 with flag 1331431/656332
220.84/220.34	c cleaning 35999 clauses out of 72008 with flag 1407509/693332
233.50/233.00	c cleaning 36999 clauses out of 74009 with flag 1485696/731332
246.67/246.11	c cleaning 37998 clauses out of 76010 with flag 1565345/770332
260.41/259.99	c cleaning 39003 clauses out of 78012 with flag 1646675/810332
274.25/273.75	c cleaning 40003 clauses out of 80009 with flag 1730418/851332
288.40/288.00	c cleaning 41003 clauses out of 82006 with flag 1816239/893332
303.05/302.53	c cleaning 42002 clauses out of 84003 with flag 1904190/936332
318.09/317.68	c cleaning 42999 clauses out of 86001 with flag 1994377/980332
333.74/333.29	c cleaning 43993 clauses out of 88002 with flag 2086027/1025332
349.61/349.62	c cleaning 45002 clauses out of 90011 with flag 2179713/1071334
365.70/365.62	c cleaning 45998 clauses out of 92008 with flag 2275444/1118333
381.76/381.75	c cleaning 47005 clauses out of 94009 with flag 2373707/1166332
398.71/398.60	c cleaning 47996 clauses out of 96005 with flag 2473297/1215333
415.91/415.82	c cleaning 48996 clauses out of 98008 with flag 2575939/1265332
433.62/433.50	c cleaning 50006 clauses out of 100014 with flag 2680230/1316334
451.86/451.76	c cleaning 51000 clauses out of 102007 with flag 2786975/1368333
470.58/470.51	c cleaning 52001 clauses out of 104006 with flag 2894970/1421332
489.77/489.61	c cleaning 53002 clauses out of 106006 with flag 3004464/1475333
508.36/508.31	c cleaning 53997 clauses out of 108004 with flag 3116416/1530333
528.30/528.26	c cleaning 55000 clauses out of 110007 with flag 3230525/1586333
548.83/548.73	c cleaning 55999 clauses out of 112006 with flag 3346385/1643332
569.83/569.78	c cleaning 57000 clauses out of 114007 with flag 3464572/1701332
591.60/591.44	c cleaning 58000 clauses out of 116008 with flag 3585067/1760333
613.16/613.19	c cleaning 58998 clauses out of 118007 with flag 3707226/1820332
636.13/636.18	c cleaning 60004 clauses out of 120010 with flag 3831096/1881333
658.58/658.61	c cleaning 61001 clauses out of 122006 with flag 3956580/1943333
681.30/680.94	c cleaning 61999 clauses out of 124004 with flag 4085272/2006332
703.78/703.56	c cleaning 63000 clauses out of 126005 with flag 4215980/2070332
727.87/727.75	c cleaning 64001 clauses out of 128005 with flag 4348746/2135332
751.33/751.39	c cleaning 65000 clauses out of 130006 with flag 4483561/2201334
775.55/775.40	c cleaning 66000 clauses out of 132005 with flag 4620656/2268333
800.53/800.54	c cleaning 66999 clauses out of 134005 with flag 4758676/2336333
825.74/825.87	c cleaning 67999 clauses out of 136005 with flag 4898265/2405332
851.50/851.63	c cleaning 68999 clauses out of 138007 with flag 5039677/2475333
875.32/876.08	c cleaning 70002 clauses out of 140009 with flag 5184034/2546334
900.57/901.49	c cleaning 70996 clauses out of 142006 with flag 5330594/2618333
926.73/927.59	c cleaning 72001 clauses out of 144009 with flag 5479151/2691332
955.01/955.84	c cleaning 73000 clauses out of 146008 with flag 5629522/2765332
982.98/984.05	c cleaning 74002 clauses out of 148010 with flag 5781520/2840334
1011.59/1012.74	c cleaning 75001 clauses out of 150006 with flag 5935413/2916332
1039.97/1041.14	c cleaning 75998 clauses out of 152005 with flag 6091781/2993332
1067.64/1068.92	c cleaning 76998 clauses out of 154007 with flag 6249172/3071332
1096.82/1098.24	c cleaning 78001 clauses out of 156009 with flag 6408833/3150332
1125.94/1127.43	c cleaning 78999 clauses out of 158008 with flag 6570707/3230332
1155.70/1158.65	c cleaning 80002 clauses out of 160010 with flag 6734493/3311333
1185.09/1188.06	c cleaning 81000 clauses out of 162008 with flag 6901925/3393333
1215.00/1217.91	c cleaning 81998 clauses out of 164008 with flag 7071610/3476333
1245.80/1248.71	c cleaning 82998 clauses out of 166009 with flag 7242976/3560332
1276.69/1279.66	c cleaning 84003 clauses out of 168013 with flag 7416409/3645334
1310.35/1313.37	c cleaning 84998 clauses out of 170008 with flag 7593332/3731332
1339.97/1342.69	c cleaning 85994 clauses out of 172010 with flag 7770912/3818332
1366.21/1368.96	c cleaning 87007 clauses out of 174017 with flag 7951099/3906333
1393.59/1396.38	c cleaning 88003 clauses out of 176012 with flag 8132856/3995335
1422.80/1425.48	c cleaning 89001 clauses out of 178007 with flag 8316607/4085333
1452.88/1455.58	c cleaning 89999 clauses out of 180005 with flag 8502130/4176332
1481.81/1484.46	c cleaning 90997 clauses out of 182006 with flag 8689691/4268332
1512.00/1514.67	c cleaning 92002 clauses out of 184009 with flag 8880175/4361332
1541.38/1544.02	c cleaning 93003 clauses out of 186007 with flag 9072107/4455332
1569.95/1572.67	c cleaning 93997 clauses out of 188005 with flag 9265446/4550333
1599.74/1602.42	c cleaning 94997 clauses out of 190007 with flag 9460674/4646332
1630.35/1633.03	c cleaning 95999 clauses out of 192011 with flag 9658011/4743333
1663.21/1665.88	c cleaning 97001 clauses out of 194012 with flag 9857550/4841333
1695.07/1697.76	c cleaning 98001 clauses out of 196010 with flag 10058978/4940332
1727.52/1730.24	c cleaning 99000 clauses out of 198010 with flag 10262968/5040333
1760.22/1762.61	c cleaning 99998 clauses out of 200009 with flag 10469172/5141332
1793.36/1796.95	c cleaning 101000 clauses out of 202011 with flag 10677467/5243332
1825.78/1829.45	c cleaning 101995 clauses out of 204011 with flag 10887261/5346332
1859.04/1862.94	c cleaning 103004 clauses out of 206017 with flag 11099411/5450333
1892.53/1896.33	c cleaning 104003 clauses out of 208012 with flag 11313019/5555332
1925.37/1929.12	c cleaning 105000 clauses out of 210010 with flag 11529262/5661333
1958.39/1961.88	c cleaning 106003 clauses out of 212010 with flag 11747218/5768333
1992.64/1996.09	c cleaning 106998 clauses out of 214007 with flag 11966896/5876333
2029.20/2032.66	c cleaning 108002 clauses out of 216010 with flag 12188634/5985334
2064.89/2068.21	c cleaning 109003 clauses out of 218006 with flag 12413399/6095332
2101.80/2104.52	c cleaning 109999 clauses out of 220004 with flag 12639196/6206333
2137.75/2140.56	c cleaning 110995 clauses out of 222004 with flag 12865939/6318332
2173.57/2179.14	c cleaning 111996 clauses out of 224009 with flag 13095457/6431332
2211.88/2221.43	c cleaning 113001 clauses out of 226013 with flag 13327940/6545332
2250.78/2260.38	c cleaning 114002 clauses out of 228012 with flag 13562446/6660332
2290.18/2299.26	c cleaning 114994 clauses out of 230010 with flag 13798816/6776332
2328.98/2337.90	c cleaning 116006 clauses out of 232016 with flag 14037107/6893332
2368.12/2377.55	c cleaning 116998 clauses out of 234011 with flag 14277421/7011333
2407.62/2416.40	c cleaning 118003 clauses out of 236014 with flag 14520052/7130334
2447.72/2456.82	c cleaning 119001 clauses out of 238009 with flag 14763697/7250332
2489.61/2498.86	c cleaning 119998 clauses out of 240008 with flag 15009699/7371332
2532.39/2540.91	c cleaning 121001 clauses out of 242011 with flag 15259307/7493333
2573.70/2582.71	c cleaning 122000 clauses out of 244009 with flag 15511791/7616332
2615.98/2625.01	c cleaning 123001 clauses out of 246009 with flag 15766240/7740332
2659.07/2668.21	c cleaning 124004 clauses out of 248009 with flag 16021470/7865333
2701.47/2710.54	c cleaning 124996 clauses out of 250005 with flag 16278363/7991333
2746.47/2755.72	c cleaning 125999 clauses out of 252009 with flag 16537704/8118333
2789.63/2799.01	c cleaning 126996 clauses out of 254009 with flag 16798722/8246332
2833.86/2843.33	c cleaning 128001 clauses out of 256013 with flag 17062313/8375332
2880.44/2889.30	c cleaning 129001 clauses out of 258013 with flag 17327574/8505333
2927.37/2936.57	c cleaning 130002 clauses out of 260011 with flag 17594535/8636332
2970.46/2979.75	c cleaning 130995 clauses out of 262009 with flag 17863326/8768332
3015.74/3024.63	c cleaning 132000 clauses out of 264014 with flag 18134669/8901332
3062.26/3071.15	c cleaning 133002 clauses out of 266014 with flag 18408028/9035332
3108.25/3117.29	c cleaning 133998 clauses out of 268012 with flag 18684050/9170332
3152.90/3162.07	c cleaning 135001 clauses out of 270015 with flag 18962248/9306333
3198.57/3207.23	c cleaning 136003 clauses out of 272015 with flag 19241584/9443334
3244.68/3253.43	c cleaning 136999 clauses out of 274010 with flag 19523721/9581332
3293.71/3302.44	c cleaning 138002 clauses out of 276011 with flag 19806333/9720332
3342.45/3350.85	c cleaning 139000 clauses out of 278009 with flag 20091730/9860332
3390.63/3399.04	c cleaning 140001 clauses out of 280009 with flag 20379184/10001332
3435.61/3444.03	c cleaning 140998 clauses out of 282009 with flag 20669766/10143333
3481.85/3489.74	c cleaning 142002 clauses out of 284010 with flag 20960919/10286332
3525.83/3533.72	c cleaning 143001 clauses out of 286008 with flag 21253038/10430332
3571.43/3579.23	c cleaning 143998 clauses out of 288007 with flag 21547154/10575332
3600.02/3607.41	c starts		: 9
3600.02/3607.41	c conflicts		: 10673240
3600.02/3607.41	c decisions		: 11712086
3600.02/3607.41	c propagations		: 183253626
3600.02/3607.41	c inspects		: 3107638385
3600.02/3607.41	c shortcuts		: 0
3600.02/3607.41	c learnt literals	: 0
3600.02/3607.41	c learnt binary clauses	: 0
3600.02/3607.41	c learnt ternary clauses	: 1
3600.02/3607.41	c learnt constraints	: 10673240
3600.02/3607.41	c ignored constraints	: 0
3600.02/3607.41	c root simplifications	: 0
3600.02/3607.41	c removed literals (reason simplification)	: 1417783425
3600.02/3607.41	c reason swapping (by a shorter reason)	: 0
3600.02/3607.41	c Calls to reduceDB	: 141
3600.02/3607.41	c Number of update (reduction) of LBD	: 196115
3600.02/3607.41	c Imported unit clauses	: 0
3600.02/3607.41	c No decision after first conflict	: false
3600.02/3607.41	c number of reductions to clauses (during analyze)	: 0
3600.02/3607.41	c number of learned constraints concerned by reduction	: 0
3600.02/3607.41	c number of learning phase by resolution	: 0
3600.02/3607.41	c number of learning phase by cutting planes	: 0
3600.02/3607.41	c number of rounding to 1 operations	: 0
3600.02/3607.41	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3607.41	c number of reductions of the coefficients by power 2 	: 0
3600.02/3607.41	c number of right shift for reduction by power 2 	: 0
3600.02/3607.41	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3607.41	c number of ending skipping 	: 0
3600.02/3607.41	c number of internal skipping 	: 0
3600.02/3607.41	c number of derivation steps 	: 0
3600.02/3607.41	c number of skipped derivation steps 	: 0
3600.02/3607.41	c number of remaining unassigned 	: 0
3600.02/3607.41	c number of remaining assigned 	: 0
3600.02/3607.41	c number of falsified literals weakened from reason	: 0
3600.02/3607.41	c number of falsified literals weakened from conflict	: 0
3600.02/3607.41	c time for arithmetic operations	: 0
3600.02/3607.41	c minimum degree of deleted constraints	: null
3600.02/3607.41	c maximum degree of deleted constraints	: null
3600.02/3607.41	c number of deleted constraints	: 0
3600.02/3607.41	c speed (assignments/second)	: 50805.70177019366
3600.02/3607.41	c non guided choices	: 4
3600.02/3607.47	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 241917
3600.02/3607.47	s SATISFIABLE
3600.02/3607.47	c Found 5 solution(s)
3600.02/3607.48	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 
3600.02/3607.49	c objective function=4276771
3600.02/3607.49	c Total wall clock time (in seconds): 3607.351

OK	4276771

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

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=64361, runsolver pid=64358

[startup+0.10006 s]*
/proc/loadavg: 4.33 4.25 4.26 6/340 64379
/proc/meminfo: memFree=121328568/131250000 swapFree=33010672/33010684
[pid=64361] ppid=64358 vsize=18930384 memory=55692 CPUtime=0.12 cores=0,2
/proc/64361/stat : 64361 (java) S 64358 64361 63282 0 -1 4194304 6526 0 0 0 11 1 0 0 20 0 18 0 60653630 19384713216 13923 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
/proc/64361/statm: 4732596 13923 5370 1 0 547580 0
[pid=64361/tid=64363] ppid=64358 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/64361/task/64363/stat : 64363 (java) R 64358 64361 63282 0 -1 4194368 5034 0 0 0 6 1 0 0 20 0 18 0 60653631 19384713216 13923 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64372] ppid=64358 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/64361/task/64372/stat : 64372 (Finalizer) S 64358 64361 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 60653633 19384713216 13923 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64379] ppid=64358 vsize=18930384 memory=59585004336271 CPUtime=0 cores=0,2
/proc/64361/task/64379/stat : 64379 (Common-Cleaner) S 64358 64361 63282 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 60653634 19384713216 13923 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55692 KiB

[startup+0.205772 s]*
/proc/loadavg: 4.33 4.25 4.26 6/340 64379
/proc/meminfo: memFree=121322456/131250000 swapFree=33010672/33010684
[pid=64361] ppid=64358 vsize=18930384 memory=65720 CPUtime=0.29 cores=0,2
/proc/64361/stat : 64361 (java) S 64358 64361 63282 0 -1 4194304 6958 0 0 0 27 2 0 0 20 0 18 0 60653630 19384713216 16430 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
/proc/64361/statm: 4732596 16430 5434 1 0 547871 0
[pid=64361/tid=64363] ppid=64358 vsize=18930384 memory=4026728732 CPUtime=0.16 cores=0,2
/proc/64361/task/64363/stat : 64363 (java) R 64358 64361 63282 0 -1 4194368 5286 0 0 0 15 1 0 0 20 0 18 0 60653631 19384713216 16430 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64372] ppid=64358 vsize=18930384 memory=16955 CPUtime=0 cores=0,2
/proc/64361/task/64372/stat : 64372 (Finalizer) S 64358 64361 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 60653633 19384713216 16430 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64379] ppid=64358 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/64361/task/64379/stat : 64379 (Common-Cleaner) S 64358 64361 63282 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 60653634 19384713216 16430 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65720 KiB

[startup+0.305745 s]*
/proc/loadavg: 4.33 4.25 4.26 6/340 64379
/proc/meminfo: memFree=121290256/131250000 swapFree=33010672/33010684
[pid=64361] ppid=64358 vsize=18930384 memory=98488 CPUtime=0.48 cores=0,2
/proc/64361/stat : 64361 (java) S 64358 64361 63282 0 -1 4194304 8161 0 0 0 45 3 0 0 20 0 18 0 60653630 19384713216 24622 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
/proc/64361/statm: 4732596 24622 5434 1 0 548736 0
[pid=64361/tid=64363] ppid=64358 vsize=18930384 memory=-6000919472706644073 CPUtime=0.25 cores=0,2
/proc/64361/task/64363/stat : 64363 (java) R 64358 64361 63282 0 -1 4194368 5310 0 0 0 24 1 0 0 20 0 18 0 60653631 19384713216 24622 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64372] ppid=64358 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/64361/task/64372/stat : 64372 (Finalizer) S 64358 64361 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 60653633 19384713216 24622 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64379] ppid=64358 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/64361/task/64379/stat : 64379 (Common-Cleaner) S 64358 64361 63282 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 60653634 19384713216 24622 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 98488 KiB

[startup+0.700239 s]
/proc/loadavg: 4.33 4.25 4.26 6/341 64380
/proc/meminfo: memFree=121231532/131250000 swapFree=33010672/33010684
[pid=64361] ppid=64358 vsize=19063512 memory=171840 CPUtime=1.23 cores=0,2
/proc/64361/stat : 64361 (java) S 64358 64361 63282 0 -1 4194304 11952 0 0 0 118 5 0 0 20 0 20 0 60653630 19521036288 42960 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
/proc/64361/statm: 4765878 42960 5498 1 0 551840 0
[pid=64361/tid=64363] ppid=64358 vsize=19063512 memory=18688 CPUtime=0.59 cores=0,2
/proc/64361/task/64363/stat : 64363 (java) R 64358 64361 63282 0 -1 4194368 5476 0 0 0 56 3 0 0 20 0 20 0 60653631 19521036288 42960 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64372] ppid=64358 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/64361/task/64372/stat : 64372 (Finalizer) S 64358 64361 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60653633 19521036288 42960 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64379] ppid=64358 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/64361/task/64379/stat : 64379 (Common-Cleaner) S 64358 64361 63282 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 60653634 19521036288 42960 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64380] ppid=64358 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/64361/task/64380/stat : 64380 (Timer-0) S 64358 64361 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60653677 19521036288 42960 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 171840 KiB

[startup+1.50025 s]
/proc/loadavg: 4.33 4.25 4.26 6/342 64381
/proc/meminfo: memFree=120988232/131250000 swapFree=33010672/33010684
[pid=64361] ppid=64358 vsize=19063512 memory=187792 CPUtime=2.82 cores=0,2
/proc/64361/stat : 64361 (java) S 64358 64361 63282 0 -1 4194304 21718 0 0 0 275 7 0 0 20 0 20 0 60653630 19521036288 46948 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
/proc/64361/statm: 4765878 46948 5530 1 0 554137 0
[pid=64361/tid=64363] ppid=64358 vsize=19063512 memory=0 CPUtime=1.37 cores=0,2
/proc/64361/task/64363/stat : 64363 (java) R 64358 64361 63282 0 -1 4194368 6017 0 0 0 134 3 0 0 20 0 20 0 60653631 19521036288 46948 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64372] ppid=64358 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/64361/task/64372/stat : 64372 (Finalizer) S 64358 64361 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60653633 19521036288 46948 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64379] ppid=64358 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/64361/task/64379/stat : 64379 (Common-Cleaner) S 64358 64361 63282 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 60653634 19521036288 46948 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64380] ppid=64358 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/64361/task/64380/stat : 64380 (Timer-0) S 64358 64361 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60653677 19521036288 46948 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 187792 KiB

[startup+3.10561 s]
/proc/loadavg: 4.33 4.25 4.26 6/342 64381
/proc/meminfo: memFree=120489480/131250000 swapFree=33010672/33010684
[pid=64361] ppid=64358 vsize=19063512 memory=215704 CPUtime=5.93 cores=0,2
/proc/64361/stat : 64361 (java) S 64358 64361 63282 0 -1 4194304 24463 0 0 0 583 10 0 0 20 0 20 0 60653630 19521036288 53926 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
/proc/64361/statm: 4765878 53926 5530 1 0 554183 0
[pid=64361/tid=64363] ppid=64358 vsize=19063512 memory=10752 CPUtime=2.88 cores=0,2
/proc/64361/task/64363/stat : 64363 (java) R 64358 64361 63282 0 -1 4194368 7164 0 0 0 284 4 0 0 20 0 20 0 60653631 19521036288 53926 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64372] ppid=64358 vsize=19063512 memory=-6000919472706644073 CPUtime=0 cores=0,2
/proc/64361/task/64372/stat : 64372 (Finalizer) S 64358 64361 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60653633 19521036288 53926 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64379] ppid=64358 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/64361/task/64379/stat : 64379 (Common-Cleaner) S 64358 64361 63282 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 60653634 19521036288 53926 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64380] ppid=64358 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/64361/task/64380/stat : 64380 (Timer-0) S 64358 64361 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60653677 19521036288 53926 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
Current children cumulated CPU time: 5.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 215704 KiB

[startup+6.30021 s]
/proc/loadavg: 4.31 4.24 4.26 5/342 64381
/proc/meminfo: memFree=119326304/131250000 swapFree=33010672/33010684
[pid=64361] ppid=64358 vsize=19063512 memory=666468 CPUtime=9.35 cores=0,2
/proc/64361/stat : 64361 (java) S 64358 64361 63282 0 -1 4194304 25068 0 0 0 915 20 0 0 20 0 20 0 60653630 19521036288 166617 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
/proc/64361/statm: 4765878 166617 5530 1 0 554185 0
[pid=64361/tid=64363] ppid=64358 vsize=19063512 memory=0 CPUtime=6.05 cores=0,2
/proc/64361/task/64363/stat : 64363 (java) R 64358 64361 63282 0 -1 4194368 7653 0 0 0 592 13 0 0 20 0 20 0 60653631 19521036288 166617 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64372] ppid=64358 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/64361/task/64372/stat : 64372 (Finalizer) S 64358 64361 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60653633 19521036288 166617 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64379] ppid=64358 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/64361/task/64379/stat : 64379 (Common-Cleaner) S 64358 64361 63282 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 60653634 19521036288 166617 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64380] ppid=64358 vsize=19063512 memory=187792 CPUtime=0 cores=0,2
/proc/64361/task/64380/stat : 64380 (Timer-0) S 64358 64361 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60653677 19521036288 166617 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
Current children cumulated CPU time: 9.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 666468 KiB

[startup+12.7002 s]
/proc/loadavg: 4.28 4.24 4.26 6/342 64381
/proc/meminfo: memFree=118403984/131250000 swapFree=33010672/33010684
[pid=64361] ppid=64358 vsize=19063512 memory=1281100 CPUtime=15.79 cores=0,2
/proc/64361/stat : 64361 (java) S 64358 64361 63282 0 -1 4194304 29172 0 0 0 1545 34 0 0 20 0 20 0 60653630 19521036288 320275 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
/proc/64361/statm: 4765878 320275 5562 1 0 554201 0
[pid=64361/tid=64363] ppid=64358 vsize=19063512 memory=187792 CPUtime=12.43 cores=0,2
/proc/64361/task/64363/stat : 64363 (java) R 64358 64361 63282 0 -1 4194368 8983 0 0 0 1215 28 0 0 20 0 20 0 60653631 19521036288 320275 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64372] ppid=64358 vsize=19063512 memory=14248 CPUtime=0 cores=0,2
/proc/64361/task/64372/stat : 64372 (Finalizer) S 64358 64361 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60653633 19521036288 320275 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64379] ppid=64358 vsize=19063512 memory=1076300 CPUtime=0 cores=0,2
/proc/64361/task/64379/stat : 64379 (Common-Cleaner) S 64358 64361 63282 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 60653634 19521036288 320275 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64380] ppid=64358 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/64361/task/64380/stat : 64380 (Timer-0) S 64358 64361 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60653677 19521036288 320275 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
Current children cumulated CPU time: 15.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1281100 KiB

[startup+25.5002 s]
/proc/loadavg: 4.31 4.25 4.26 5/342 64382
/proc/meminfo: memFree=114370232/131250000 swapFree=33010672/33010684
[pid=64361] ppid=64358 vsize=19063512 memory=1334396 CPUtime=28.59 cores=0,2
/proc/64361/stat : 64361 (java) S 64358 64361 63282 0 -1 4194304 32372 0 0 0 2819 40 0 0 20 0 20 0 60653630 19521036288 333599 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
/proc/64361/statm: 4765878 333599 5562 1 0 554218 0
[pid=64361/tid=64363] ppid=64358 vsize=19063512 memory=-6000919472706644073 CPUtime=25.15 cores=0,2
/proc/64361/task/64363/stat : 64363 (java) R 64358 64361 63282 0 -1 4194368 10552 0 0 0 2483 32 0 0 20 0 20 0 60653631 19521036288 333599 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64372] ppid=64358 vsize=19063512 memory=18688 CPUtime=0 cores=0,2
/proc/64361/task/64372/stat : 64372 (Finalizer) S 64358 64361 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60653633 19521036288 333599 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64379] ppid=64358 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/64361/task/64379/stat : 64379 (Common-Cleaner) S 64358 64361 63282 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 60653634 19521036288 333599 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64380] ppid=64358 vsize=19063512 memory=14248 CPUtime=0 cores=0,2
/proc/64361/task/64380/stat : 64380 (Timer-0) S 64358 64361 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60653677 19521036288 333599 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
Current children cumulated CPU time: 28.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1334396 KiB

[startup+51.1056 s]
/proc/loadavg: 4.19 4.22 4.25 5/342 64382
/proc/meminfo: memFree=110881260/131250000 swapFree=33010672/33010684
[pid=64361] ppid=64358 vsize=19063512 memory=1352928 CPUtime=54.06 cores=0,2
/proc/64361/stat : 64361 (java) S 64358 64361 63282 0 -1 4194304 38263 0 0 0 5357 49 0 0 20 0 20 0 60653630 19521036288 338232 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
/proc/64361/statm: 4765878 338232 5562 1 0 554218 0
[pid=64361/tid=64363] ppid=64358 vsize=19063512 memory=1352928 CPUtime=50.42 cores=0,2
/proc/64361/task/64363/stat : 64363 (java) R 64358 64361 63282 0 -1 4194368 11644 0 0 0 5002 40 0 0 20 0 20 0 60653631 19521036288 338232 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64372] ppid=64358 vsize=19063512 memory=1346752 CPUtime=0 cores=0,2

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

Current children cumulated memory: 2186780 KiB

[startup+3282.3 s]
/proc/loadavg: 4.35 4.32 4.25 4/352 64579
/proc/meminfo: memFree=34816428/131250000 swapFree=33010672/33010684
[pid=64361] ppid=64358 vsize=19063512 memory=2186780 CPUtime=3273.55 cores=0,2
/proc/64361/stat : 64361 (java) S 64358 64361 63282 0 -1 4194304 136479 0 0 0 326211 1144 0 0 20 0 20 0 60653630 19521036288 546695 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
/proc/64361/statm: 4765878 546695 5562 1 0 560010 0
[pid=64361/tid=64363] ppid=64358 vsize=19063512 memory=2186780 CPUtime=3223.6 cores=0,2
/proc/64361/task/64363/stat : 64363 (java) R 64358 64361 63282 0 -1 4194368 56988 0 0 0 321334 1026 0 0 20 0 20 0 60653631 19521036288 546695 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64372] ppid=64358 vsize=19063512 memory=14248 CPUtime=0 cores=0,2
/proc/64361/task/64372/stat : 64372 (Finalizer) S 64358 64361 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60653633 19521036288 546695 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64379] ppid=64358 vsize=19063512 memory=14248 CPUtime=0 cores=0,2
/proc/64361/task/64379/stat : 64379 (Common-Cleaner) S 64358 64361 63282 0 -1 4194368 1664 0 0 0 0 0 0 0 20 0 20 0 60653634 19521036288 546695 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64380] ppid=64358 vsize=19063512 memory=2186780 CPUtime=0 cores=0,2
/proc/64361/task/64380/stat : 64380 (Timer-0) S 64358 64361 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60653677 19521036288 546695 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
Current children cumulated CPU time: 3273.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2186780 KiB

[startup+3342.3 s]
/proc/loadavg: 4.24 4.30 4.25 5/352 64581
/proc/meminfo: memFree=33623736/131250000 swapFree=33010672/33010684
[pid=64361] ppid=64358 vsize=19063512 memory=2186780 CPUtime=3334.06 cores=0,2
/proc/64361/stat : 64361 (java) S 64358 64361 63282 0 -1 4194304 139723 0 0 0 332239 1167 0 0 20 0 20 0 60653630 19521036288 546695 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
/proc/64361/statm: 4765878 546695 5562 1 0 560010 0
[pid=64361/tid=64363] ppid=64358 vsize=19063512 memory=14248 CPUtime=3282.56 cores=0,2
/proc/64361/task/64363/stat : 64363 (java) R 64358 64361 63282 0 -1 4194368 58189 0 0 0 327210 1046 0 0 20 0 20 0 60653631 19521036288 546695 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64372] ppid=64358 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/64361/task/64372/stat : 64372 (Finalizer) S 64358 64361 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60653633 19521036288 546695 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64379] ppid=64358 vsize=19063512 memory=14248 CPUtime=0 cores=0,2
/proc/64361/task/64379/stat : 64379 (Common-Cleaner) S 64358 64361 63282 0 -1 4194368 1664 0 0 0 0 0 0 0 20 0 20 0 60653634 19521036288 546695 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64380] ppid=64358 vsize=19063512 memory=2186780 CPUtime=0 cores=0,2
/proc/64361/task/64380/stat : 64380 (Timer-0) S 64358 64361 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60653677 19521036288 546695 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
Current children cumulated CPU time: 3334.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2186780 KiB

[startup+3402.3 s]
/proc/loadavg: 3.58 4.14 4.20 2/277 64685
/proc/meminfo: memFree=115055812/131250000 swapFree=33010672/33010684
[pid=64361] ppid=64358 vsize=19063512 memory=2186780 CPUtime=3393.91 cores=0,2
/proc/64361/stat : 64361 (java) S 64358 64361 63282 0 -1 4194304 141502 0 0 0 338201 1190 0 0 20 0 20 0 60653630 19521036288 546695 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
/proc/64361/statm: 4765878 546695 5562 1 0 560010 0
[pid=64361/tid=64363] ppid=64358 vsize=19063512 memory=18688 CPUtime=3341.78 cores=0,2
/proc/64361/task/64363/stat : 64363 (java) R 64358 64361 63282 0 -1 4194368 59430 0 0 0 333110 1068 0 0 20 0 20 0 60653631 19521036288 546695 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64372] ppid=64358 vsize=19063512 memory=2186780 CPUtime=0 cores=0,2
/proc/64361/task/64372/stat : 64372 (Finalizer) S 64358 64361 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60653633 19521036288 546695 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64379] ppid=64358 vsize=19063512 memory=14248 CPUtime=0 cores=0,2
/proc/64361/task/64379/stat : 64379 (Common-Cleaner) S 64358 64361 63282 0 -1 4194368 1695 0 0 0 0 0 0 0 20 0 20 0 60653634 19521036288 546695 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64380] ppid=64358 vsize=19063512 memory=-6000919472706644073 CPUtime=0 cores=0,2
/proc/64361/task/64380/stat : 64380 (Timer-0) S 64358 64361 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60653677 19521036288 546695 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
Current children cumulated CPU time: 3393.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2186780 KiB

[startup+3462.3 s]
/proc/loadavg: 2.05 3.60 4.01 2/278 64688
/proc/meminfo: memFree=114844840/131250000 swapFree=33010672/33010684
[pid=64361] ppid=64358 vsize=19063512 memory=2186780 CPUtime=3453.92 cores=0,2
/proc/64361/stat : 64361 (java) S 64358 64361 63282 0 -1 4194304 141663 0 0 0 344182 1210 0 0 20 0 20 0 60653630 19521036288 546695 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
/proc/64361/statm: 4765878 546695 5562 1 0 560010 0
[pid=64361/tid=64363] ppid=64358 vsize=19063512 memory=18688 CPUtime=3401.06 cores=0,2
/proc/64361/task/64363/stat : 64363 (java) R 64358 64361 63282 0 -1 4194368 59444 0 0 0 339020 1086 0 0 20 0 20 0 60653631 19521036288 546695 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64372] ppid=64358 vsize=19063512 memory=2186780 CPUtime=0 cores=0,2
/proc/64361/task/64372/stat : 64372 (Finalizer) S 64358 64361 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60653633 19521036288 546695 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64379] ppid=64358 vsize=19063512 memory=14248 CPUtime=0 cores=0,2
/proc/64361/task/64379/stat : 64379 (Common-Cleaner) S 64358 64361 63282 0 -1 4194368 1752 0 0 0 0 0 0 0 20 0 20 0 60653634 19521036288 546695 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64380] ppid=64358 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/64361/task/64380/stat : 64380 (Timer-0) S 64358 64361 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60653677 19521036288 546695 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
Current children cumulated CPU time: 3453.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2186780 KiB

[startup+3522.3 s]
/proc/loadavg: 1.48 3.15 3.83 2/278 64689
/proc/meminfo: memFree=114633896/131250000 swapFree=33010672/33010684
[pid=64361] ppid=64358 vsize=19063512 memory=2186908 CPUtime=3514.44 cores=0,2
/proc/64361/stat : 64361 (java) S 64358 64361 63282 0 -1 4194304 144057 0 0 0 350215 1229 0 0 20 0 20 0 60653630 19521036288 546727 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
/proc/64361/statm: 4765878 546727 5562 1 0 560044 0
[pid=64361/tid=64363] ppid=64358 vsize=19063512 memory=5148 CPUtime=3459.98 cores=0,2
/proc/64361/task/64363/stat : 64363 (java) R 64358 64361 63282 0 -1 4194368 60344 0 0 0 344895 1103 0 0 20 0 20 0 60653631 19521036288 546727 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64372] ppid=64358 vsize=19063512 memory=2186908 CPUtime=0 cores=0,2
/proc/64361/task/64372/stat : 64372 (Finalizer) S 64358 64361 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60653633 19521036288 546727 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64379] ppid=64358 vsize=19063512 memory=18688 CPUtime=0 cores=0,2
/proc/64361/task/64379/stat : 64379 (Common-Cleaner) S 64358 64361 63282 0 -1 4194368 1752 0 0 0 0 0 0 0 20 0 20 0 60653634 19521036288 546727 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64380] ppid=64358 vsize=19063512 memory=14248 CPUtime=0 cores=0,2
/proc/64361/task/64380/stat : 64380 (Timer-0) S 64358 64361 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60653677 19521036288 546727 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
Current children cumulated CPU time: 3514.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2186908 KiB

[startup+3582.3 s]
/proc/loadavg: 1.26 2.78 3.65 2/274 64691
/proc/meminfo: memFree=114459256/131250000 swapFree=33010672/33010684
[pid=64361] ppid=64358 vsize=19063512 memory=2186908 CPUtime=3574.53 cores=0,2
/proc/64361/stat : 64361 (java) S 64358 64361 63282 0 -1 4194304 145781 0 0 0 356207 1246 0 0 20 0 20 0 60653630 19521036288 546727 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
/proc/64361/statm: 4765878 546727 5562 1 0 560044 0
[pid=64361/tid=64363] ppid=64358 vsize=19063512 memory=2186908 CPUtime=3519.3 cores=0,2
/proc/64361/task/64363/stat : 64363 (java) R 64358 64361 63282 0 -1 4194368 61281 0 0 0 350811 1119 0 0 20 0 20 0 60653631 19521036288 546727 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64372] ppid=64358 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/64361/task/64372/stat : 64372 (Finalizer) S 64358 64361 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60653633 19521036288 546727 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64379] ppid=64358 vsize=19063512 memory=2186908 CPUtime=0 cores=0,2
/proc/64361/task/64379/stat : 64379 (Common-Cleaner) S 64358 64361 63282 0 -1 4194368 1838 0 0 0 0 0 0 0 20 0 20 0 60653634 19521036288 546727 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64380] ppid=64358 vsize=19063512 memory=14248 CPUtime=0 cores=0,2
/proc/64361/task/64380/stat : 64380 (Timer-0) S 64358 64361 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60653677 19521036288 546727 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
Current children cumulated CPU time: 3574.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2186908 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.4 s]
/proc/loadavg: 1.17 2.63 3.58 2/274 64692
/proc/meminfo: memFree=114350236/131250000 swapFree=33010672/33010684
[pid=64361] ppid=64358 vsize=19063512 memory=2186908 CPUtime=3600.02 cores=0,2
/proc/64361/stat : 64361 (java) S 64358 64361 63282 0 -1 4194304 147793 0 0 0 358748 1254 0 0 20 0 20 0 60653630 19521036288 546727 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
/proc/64361/statm: 4765878 546727 5562 1 0 560044 0
[pid=64361/tid=64363] ppid=64358 vsize=19063512 memory=4760 CPUtime=3543.95 cores=0,2
/proc/64361/task/64363/stat : 64363 (java) R 64358 64361 63282 0 -1 4194368 61880 0 0 0 353269 1126 0 0 20 0 20 0 60653631 19521036288 546727 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64372] ppid=64358 vsize=19063512 memory=2892 CPUtime=0 cores=0,2
/proc/64361/task/64372/stat : 64372 (Finalizer) S 64358 64361 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60653633 19521036288 546727 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64379] ppid=64358 vsize=19063512 memory=21608 CPUtime=0 cores=0,2
/proc/64361/task/64379/stat : 64379 (Common-Cleaner) S 64358 64361 63282 0 -1 4194368 1840 0 0 0 0 0 0 0 20 0 20 0 60653634 19521036288 546727 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
[pid=64361/tid=64380] ppid=64358 vsize=19063512 memory=4480 CPUtime=0 cores=0,2
/proc/64361/task/64380/stat : 64380 (Timer-0) S 64358 64361 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60653677 19521036288 546727 18446744073709551615 94004187779072 94004187782768 140732595293472 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94004187790584 94004187791376 94004218474496 140732595296560 140732595296742 140732595296742 140732595302344 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2186908 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.67 s, system=12.5624 s

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

[startup+3607.61 s]
/proc/loadavg: 1.17 2.63 3.58 2/256 64695
/proc/meminfo: memFree=116439060/131250000 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3607.7 s]
/proc/loadavg: 1.17 2.63 3.58 2/256 64695
/proc/meminfo: memFree=116439060/131250000 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3607.72
CPU time (s): 3600.23
CPU user time (s): 3587.67
CPU system time (s): 12.5624
CPU usage (%): 99.7924
Max. virtual memory (cumulated for all children) (KiB): 19064804
Max. memory (cumulated for all children) (KiB): 2186908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.67
system time used= 12.5624
maximum resident set size= 2188060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149326
page faults= 0
swaps= 0
block input operations= 0
block output operations= 23135992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 135857
involuntary context switches= 15620


# summary of solver processes directly reported to runsolver:
#   pid: 64361
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3587.67
#   total CPU system time (s): 12.5624

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.5701 second user time and 18.6797 second system time

The end

Begin job on nodeC014 at 2025-07-02 11:49:30
IDJOB=4504213
IDBENCH=155636
IDSOLVER=3364
FILE ID=nodeC014/4504213-1751449770
RUNJOBID= nodeC014-1751442406-63292
SLURM_JOB_ID= 9598413
Free space on /tmp= 430532 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_0.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504213-1751449770/watcher-4504213-1751449770 -o /tmp/evaluation-result-4504213-1751449770/solver-4504213-1751449770 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751442406-63292 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4504213-1751449770 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4504213-1751449770.opb

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

MD5SUM BENCH= 26289d562a21d461fc03dcfb0c556d93
RANDOM SEED=1316171641

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        121370592 kB
MemAvailable:   125466140 kB
Buffers:            2508 kB
Cached:          4891576 kB
SwapCached:            4 kB
Active:          4840004 kB
Inactive:        4428072 kB
Active(anon):    4388300 kB
Inactive(anon):     3852 kB
Active(file):     451704 kB
Inactive(file):  4424220 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            113404 kB
Writeback:             0 kB
AnonPages:       4377180 kB
Mapped:           124236 kB
Shmem:             18064 kB
KReclaimable:     117728 kB
Slab:             212064 kB
SReclaimable:     117728 kB
SUnreclaim:        94336 kB
KernelStack:        5232 kB
PageTables:        12156 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   11369108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151496 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4157440 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430536 MiB
End job on nodeC014 at 2025-07-02 12:49:38