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

OK	861

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 (54096 MiB free)
  memory of node 1: 64465 MiB (47923 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100059 s]*
/proc/loadavg: 4.16 4.21 4.14 5/326 53519
/proc/meminfo: memFree=104436776/131250000 swapFree=33009904/33010684
[pid=53501] ppid=53498 vsize=18930384 memory=57840 CPUtime=0.13 cores=0,2
/proc/53501/stat : 53501 (java) S 53498 53501 52518 0 -1 4194304 6589 0 0 0 11 2 0 0 20 0 18 0 52567545 19384713216 14460 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
/proc/53501/statm: 4732596 14460 5338 1 0 547622 0
[pid=53501/tid=53503] ppid=53498 vsize=18930384 memory=4026532141 CPUtime=0.07 cores=0,2
/proc/53501/task/53503/stat : 53503 (java) R 53498 53501 52518 0 -1 4194368 5089 0 0 0 6 1 0 0 20 0 18 0 52567546 19384713216 14460 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53512] ppid=53498 vsize=18930384 memory=245702607076 CPUtime=0 cores=0,2
/proc/53501/task/53512/stat : 53512 (Finalizer) S 53498 53501 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52567548 19384713216 14460 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53519] ppid=53498 vsize=18930384 memory=20050 CPUtime=0 cores=0,2
/proc/53501/task/53519/stat : 53519 (Common-Cleaner) S 53498 53501 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 52567549 19384713216 14460 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57840 KiB

[startup+0.205884 s]*
/proc/loadavg: 4.16 4.21 4.14 7/326 53519
/proc/meminfo: memFree=104422472/131250000 swapFree=33009904/33010684
[pid=53501] ppid=53498 vsize=18930384 memory=72624 CPUtime=0.32 cores=0,2
/proc/53501/stat : 53501 (java) S 53498 53501 52518 0 -1 4194304 7130 0 0 0 30 2 0 0 20 0 18 0 52567545 19384713216 18156 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
/proc/53501/statm: 4732596 18156 5434 1 0 548029 0
[pid=53501/tid=53503] ppid=53498 vsize=18930384 memory=3472328300254199928 CPUtime=0.18 cores=0,2
/proc/53501/task/53503/stat : 53503 (java) R 53498 53501 52518 0 -1 4194368 5271 0 0 0 16 2 0 0 20 0 18 0 52567546 19384713216 18156 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53512] ppid=53498 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/53501/task/53512/stat : 53512 (Finalizer) S 53498 53501 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52567548 19384713216 18156 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53519] ppid=53498 vsize=18930384 memory=60684515952020 CPUtime=0 cores=0,2
/proc/53501/task/53519/stat : 53519 (Common-Cleaner) S 53498 53501 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 52567549 19384713216 18156 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 72624 KiB

[startup+0.305705 s]*
/proc/loadavg: 4.16 4.21 4.14 6/326 53519
/proc/meminfo: memFree=104385168/131250000 swapFree=33009904/33010684
[pid=53501] ppid=53498 vsize=18930384 memory=113824 CPUtime=0.51 cores=0,2
/proc/53501/stat : 53501 (java) S 53498 53501 52518 0 -1 4194304 8809 0 0 0 48 3 0 0 20 0 18 0 52567545 19384713216 28456 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
/proc/53501/statm: 4732596 28456 5434 1 0 549058 0
[pid=53501/tid=53503] ppid=53498 vsize=18930384 memory=-6000919472639469930 CPUtime=0.27 cores=0,2
/proc/53501/task/53503/stat : 53503 (java) R 53498 53501 52518 0 -1 4194368 5290 0 0 0 25 2 0 0 20 0 18 0 52567546 19384713216 28456 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53512] ppid=53498 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/53501/task/53512/stat : 53512 (Finalizer) S 53498 53501 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52567548 19384713216 28456 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53519] ppid=53498 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/53501/task/53519/stat : 53519 (Common-Cleaner) S 53498 53501 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 52567549 19384713216 28456 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 113824 KiB

[startup+0.700237 s]
/proc/loadavg: 4.16 4.21 4.14 6/327 53520
/proc/meminfo: memFree=104324480/131250000 swapFree=33009904/33010684
[pid=53501] ppid=53498 vsize=18996948 memory=180372 CPUtime=1.27 cores=0,2
/proc/53501/stat : 53501 (java) S 53498 53501 52518 0 -1 4194304 12158 0 0 0 122 5 0 0 20 0 19 0 52567545 19452874752 45093 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
/proc/53501/statm: 4749237 45093 5466 1 0 551438 0
[pid=53501/tid=53503] ppid=53498 vsize=18996948 memory=18432 CPUtime=0.61 cores=0,2
/proc/53501/task/53503/stat : 53503 (java) R 53498 53501 52518 0 -1 4194368 5313 0 0 0 58 3 0 0 20 0 19 0 52567546 19452874752 45093 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53512] ppid=53498 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/53501/task/53512/stat : 53512 (Finalizer) S 53498 53501 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52567548 19452874752 45093 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53519] ppid=53498 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/53501/task/53519/stat : 53519 (Common-Cleaner) S 53498 53501 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 52567549 19452874752 45093 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 180372 KiB

[startup+1.50025 s]
/proc/loadavg: 4.16 4.21 4.14 4/324 53521
/proc/meminfo: memFree=104205320/131250000 swapFree=33009904/33010684
[pid=53501] ppid=53498 vsize=18996948 memory=432272 CPUtime=2.33 cores=0,2
/proc/53501/stat : 53501 (java) S 53498 53501 52518 0 -1 4194304 12786 0 0 0 223 10 0 0 20 0 19 0 52567545 19452874752 108068 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
/proc/53501/statm: 4749237 108068 5466 1 0 925340 0
[pid=53501/tid=53503] ppid=53498 vsize=18996948 memory=0 CPUtime=1.3 cores=0,2
/proc/53501/task/53503/stat : 53503 (java) R 53498 53501 52518 0 -1 4194368 5406 0 0 0 123 7 0 0 20 0 19 0 52567546 19452874752 108068 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53512] ppid=53498 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/53501/task/53512/stat : 53512 (Finalizer) S 53498 53501 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52567548 19452874752 108068 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53519] ppid=53498 vsize=18996948 memory=16436 CPUtime=0 cores=0,2
/proc/53501/task/53519/stat : 53519 (Common-Cleaner) S 53498 53501 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 52567549 19452874752 108068 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
Current children cumulated CPU time: 2.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 432272 KiB

[startup+3.10562 s]
/proc/loadavg: 4.16 4.21 4.14 5/324 53533
/proc/meminfo: memFree=103674816/131250000 swapFree=33009904/33010684
[pid=53501] ppid=53498 vsize=19063512 memory=769380 CPUtime=5.47 cores=0,2
/proc/53501/stat : 53501 (java) S 53498 53501 52518 0 -1 4194304 16098 0 0 0 527 20 0 0 20 0 20 0 52567545 19521036288 192345 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
/proc/53501/statm: 4765878 192345 5498 1 0 1557856 0
[pid=53501/tid=53503] ppid=53498 vsize=19063512 memory=10752 CPUtime=2.73 cores=0,2
/proc/53501/task/53503/stat : 53503 (java) R 53498 53501 52518 0 -1 4194368 5717 0 0 0 259 14 0 0 20 0 20 0 52567546 19521036288 192345 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53512] ppid=53498 vsize=19063512 memory=198340509722 CPUtime=0 cores=0,2
/proc/53501/task/53512/stat : 53512 (Finalizer) S 53498 53501 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52567548 19521036288 192345 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53519] ppid=53498 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/53501/task/53519/stat : 53519 (Common-Cleaner) S 53498 53501 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 52567549 19521036288 192345 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53533] ppid=53498 vsize=19063512 memory=33 CPUtime=0 cores=0,2
/proc/53501/task/53533/stat : 53533 (Timer-0) S 53498 53501 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52567707 19521036288 192345 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
Current children cumulated CPU time: 5.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 769380 KiB

[startup+6.30022 s]
/proc/loadavg: 4.23 4.22 4.15 6/347 53570
/proc/meminfo: memFree=112390984/131250000 swapFree=33009904/33010684
[pid=53501] ppid=53498 vsize=19063512 memory=915936 CPUtime=10.05 cores=0,2
/proc/53501/stat : 53501 (java) S 53498 53501 52518 0 -1 4194304 17215 0 0 0 979 26 0 0 20 0 20 0 52567545 19521036288 228984 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
/proc/53501/statm: 4765878 228984 5498 1 0 1558276 0
[pid=53501/tid=53503] ppid=53498 vsize=19063512 memory=0 CPUtime=5.81 cores=0,2
/proc/53501/task/53503/stat : 53503 (java) R 53498 53501 52518 0 -1 4194368 5857 0 0 0 564 17 0 0 20 0 20 0 52567546 19521036288 228984 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53512] ppid=53498 vsize=19063512 memory=-6000919472639469930 CPUtime=0 cores=0,2
/proc/53501/task/53512/stat : 53512 (Finalizer) S 53498 53501 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52567548 19521036288 228984 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53519] ppid=53498 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/53501/task/53519/stat : 53519 (Common-Cleaner) S 53498 53501 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 52567549 19521036288 228984 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53533] ppid=53498 vsize=19063512 memory=441388 CPUtime=0 cores=0,2
/proc/53501/task/53533/stat : 53533 (Timer-0) S 53498 53501 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52567707 19521036288 228984 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
Current children cumulated CPU time: 10.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 915936 KiB

[startup+12.7002 s]
/proc/loadavg: 4.29 4.23 4.15 4/324 53600
/proc/meminfo: memFree=116663508/131250000 swapFree=33009904/33010684
[pid=53501] ppid=53498 vsize=19063512 memory=1268416 CPUtime=16.55 cores=0,2
/proc/53501/stat : 53501 (java) S 53498 53501 52518 0 -1 4194304 23861 0 0 0 1621 34 0 0 20 0 20 0 52567545 19521036288 317104 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
/proc/53501/statm: 4765878 317104 5530 1 0 1558277 0
[pid=53501/tid=53503] ppid=53498 vsize=19063512 memory=10752 CPUtime=12.17 cores=0,2
/proc/53501/task/53503/stat : 53503 (java) R 53498 53501 52518 0 -1 4194368 6956 0 0 0 1192 25 0 0 20 0 20 0 52567546 19521036288 317104 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53512] ppid=53498 vsize=19063512 memory=441388 CPUtime=0 cores=0,2
/proc/53501/task/53512/stat : 53512 (Finalizer) S 53498 53501 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52567548 19521036288 317104 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53519] ppid=53498 vsize=19063512 memory=1264320 CPUtime=0 cores=0,2
/proc/53501/task/53519/stat : 53519 (Common-Cleaner) S 53498 53501 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 52567549 19521036288 317104 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53533] ppid=53498 vsize=19063512 memory=769380 CPUtime=0 cores=0,2
/proc/53501/task/53533/stat : 53533 (Timer-0) S 53498 53501 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52567707 19521036288 317104 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
Current children cumulated CPU time: 16.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1268416 KiB

[startup+25.5002 s]
/proc/loadavg: 4.37 4.26 4.16 5/349 53640
/proc/meminfo: memFree=122477400/131250000 swapFree=33009904/33010684
[pid=53501] ppid=53498 vsize=19063512 memory=2165500 CPUtime=29.35 cores=0,2
/proc/53501/stat : 53501 (java) S 53498 53501 52518 0 -1 4194304 27913 0 0 0 2878 57 0 0 20 0 20 0 52567545 19521036288 541375 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
/proc/53501/statm: 4765878 541375 5530 1 0 1558282 0
[pid=53501/tid=53503] ppid=53498 vsize=19063512 memory=1264320 CPUtime=24.9 cores=0,2
/proc/53501/task/53503/stat : 53503 (java) R 53498 53501 52518 0 -1 4194368 8388 0 0 0 2444 46 0 0 20 0 20 0 52567546 19521036288 541375 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53512] ppid=53498 vsize=19063512 memory=-6000919472639469930 CPUtime=0 cores=0,2
/proc/53501/task/53512/stat : 53512 (Finalizer) S 53498 53501 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52567548 19521036288 541375 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53519] ppid=53498 vsize=19063512 memory=16436 CPUtime=0 cores=0,2
/proc/53501/task/53519/stat : 53519 (Common-Cleaner) S 53498 53501 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 52567549 19521036288 541375 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53533] ppid=53498 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/53501/task/53533/stat : 53533 (Timer-0) S 53498 53501 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52567707 19521036288 541375 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
Current children cumulated CPU time: 29.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165500 KiB

[startup+51.1058 s]
/proc/loadavg: 4.31 4.25 4.16 5/349 53640
/proc/meminfo: memFree=119142996/131250000 swapFree=33009904/33010684
[pid=53501] ppid=53498 vsize=19063512 memory=3910528 CPUtime=54.84 cores=0,2
/proc/53501/stat : 53501 (java) S 53498 53501 52518 0 -1 4194304 36242 0 0 0 5386 98 0 0 20 0 20 0 52567545 19521036288 977632 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
/proc/53501/statm: 4765878 977632 5530 1 0 1558292 0
[pid=53501/tid=53503] ppid=53498 vsize=19063512 memory=3431236 CPUtime=50.26 cores=0,2
/proc/53501/task/53503/stat : 53503 (java) R 53498 53501 52518 0 -1 4194368 11429 0 0 0 4940 86 0 0 20 0 20 0 52567546 19521036288 977632 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53512] ppid=53498 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/53501/task/53512/stat : 53512 (Finalizer) S 53498 53501 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52567548 19521036288 977632 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53519] ppid=53498 vsize=19063512 memory=2802500 CPUtime=0 cores=0,2
/proc/53501/task/53519/stat : 53519 (Common-Cleaner) S 53498 53501 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 52567549 19521036288 977632 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53533] ppid=53498 vsize=19063512 memory=16436 CPUtime=0 cores=0,2
/proc/53501/task/53533/stat : 53533 (Timer-0) S 53498 53501 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52567707 19521036288 977632 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0

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

[startup+3342.3 s]
/proc/loadavg: 4.19 4.16 4.17 5/343 53834
/proc/meminfo: memFree=75578916/131250000 swapFree=33009904/33010684
[pid=53501] ppid=53498 vsize=19063512 memory=6051596 CPUtime=3292.11 cores=0,2
/proc/53501/stat : 53501 (java) S 53498 53501 52518 0 -1 4194304 180679 0 0 0 328101 1110 0 0 20 0 20 0 52567545 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
/proc/53501/statm: 4765878 1512899 5530 1 0 1558310 0
[pid=53501/tid=53503] ppid=53498 vsize=19063512 memory=6049496 CPUtime=3268.09 cores=0,2
/proc/53501/task/53503/stat : 53503 (java) R 53498 53501 52518 0 -1 4194368 99182 0 0 0 325818 991 0 0 20 0 20 0 52567546 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53512] ppid=53498 vsize=19063512 memory=6051596 CPUtime=0 cores=0,2
/proc/53501/task/53512/stat : 53512 (Finalizer) S 53498 53501 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52567548 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53519] ppid=53498 vsize=19063512 memory=6051596 CPUtime=0 cores=0,2
/proc/53501/task/53519/stat : 53519 (Common-Cleaner) S 53498 53501 52518 0 -1 4194368 2511 0 0 0 0 0 0 0 20 0 20 0 52567549 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53533] ppid=53498 vsize=19063512 memory=16436 CPUtime=0 cores=0,2
/proc/53501/task/53533/stat : 53533 (Timer-0) S 53498 53501 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52567707 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
Current children cumulated CPU time: 3292.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6051596 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/343 53836
/proc/meminfo: memFree=75028424/131250000 swapFree=33009904/33010684
[pid=53501] ppid=53498 vsize=19063512 memory=6051596 CPUtime=3351.91 cores=0,2
/proc/53501/stat : 53501 (java) S 53498 53501 52518 0 -1 4194304 185038 0 0 0 334064 1127 0 0 20 0 20 0 52567545 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
/proc/53501/statm: 4765878 1512899 5530 1 0 1558310 0
[pid=53501/tid=53503] ppid=53498 vsize=19063512 memory=6051596 CPUtime=3327.44 cores=0,2
/proc/53501/task/53503/stat : 53503 (java) R 53498 53501 52518 0 -1 4194368 101902 0 0 0 331738 1006 0 0 20 0 20 0 52567546 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53512] ppid=53498 vsize=19063512 memory=6051596 CPUtime=0 cores=0,2
/proc/53501/task/53512/stat : 53512 (Finalizer) S 53498 53501 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52567548 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53519] ppid=53498 vsize=19063512 memory=6051596 CPUtime=0 cores=0,2
/proc/53501/task/53519/stat : 53519 (Common-Cleaner) S 53498 53501 52518 0 -1 4194368 2512 0 0 0 0 0 0 0 20 0 20 0 52567549 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53533] ppid=53498 vsize=19063512 memory=6051596 CPUtime=0 cores=0,2
/proc/53501/task/53533/stat : 53533 (Timer-0) S 53498 53501 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52567707 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
Current children cumulated CPU time: 3351.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6051596 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.15 3/343 53838
/proc/meminfo: memFree=74519872/131250000 swapFree=33009904/33010684
[pid=53501] ppid=53498 vsize=19063512 memory=6051596 CPUtime=3409.64 cores=0,2
/proc/53501/stat : 53501 (java) S 53498 53501 52518 0 -1 4194304 186026 0 0 0 339818 1146 0 0 20 0 20 0 52567545 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
/proc/53501/statm: 4765878 1512899 5530 1 0 1558310 0
[pid=53501/tid=53503] ppid=53498 vsize=19063512 memory=6051596 CPUtime=3385.03 cores=0,2
/proc/53501/task/53503/stat : 53503 (java) D 53498 53501 52518 0 -1 4194368 102819 0 0 0 337478 1025 0 0 20 0 20 0 52567546 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53512] ppid=53498 vsize=19063512 memory=6051596 CPUtime=0 cores=0,2
/proc/53501/task/53512/stat : 53512 (Finalizer) S 53498 53501 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52567548 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53519] ppid=53498 vsize=19063512 memory=6051596 CPUtime=0 cores=0,2
/proc/53501/task/53519/stat : 53519 (Common-Cleaner) S 53498 53501 52518 0 -1 4194368 2568 0 0 0 0 0 0 0 20 0 20 0 52567549 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53533] ppid=53498 vsize=19063512 memory=6051596 CPUtime=0 cores=0,2
/proc/53501/task/53533/stat : 53533 (Timer-0) S 53498 53501 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52567707 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
Current children cumulated CPU time: 3409.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6051596 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.12 4.15 5/344 53842
/proc/meminfo: memFree=73954376/131250000 swapFree=33009904/33010684
[pid=53501] ppid=53498 vsize=19063512 memory=6051596 CPUtime=3467.89 cores=0,2
/proc/53501/stat : 53501 (java) S 53498 53501 52518 0 -1 4194304 190347 0 0 0 345628 1161 0 0 20 0 20 0 52567545 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
/proc/53501/statm: 4765878 1512899 5530 1 0 1558310 0
[pid=53501/tid=53503] ppid=53498 vsize=19063512 memory=6051596 CPUtime=3442.91 cores=0,2
/proc/53501/task/53503/stat : 53503 (java) R 53498 53501 52518 0 -1 4194368 105036 0 0 0 343252 1039 0 0 20 0 20 0 52567546 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53512] ppid=53498 vsize=19063512 memory=6051596 CPUtime=0 cores=0,2
/proc/53501/task/53512/stat : 53512 (Finalizer) S 53498 53501 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52567548 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53519] ppid=53498 vsize=19063512 memory=16436 CPUtime=0 cores=0,2
/proc/53501/task/53519/stat : 53519 (Common-Cleaner) S 53498 53501 52518 0 -1 4194368 2570 0 0 0 0 0 0 0 20 0 20 0 52567549 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53533] ppid=53498 vsize=19063512 memory=6051596 CPUtime=0 cores=0,2
/proc/53501/task/53533/stat : 53533 (Timer-0) S 53498 53501 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52567707 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
Current children cumulated CPU time: 3467.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6051596 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/344 53844
/proc/meminfo: memFree=73509544/131250000 swapFree=33009904/33010684
[pid=53501] ppid=53498 vsize=19063512 memory=6051596 CPUtime=3527.63 cores=0,2
/proc/53501/stat : 53501 (java) S 53498 53501 52518 0 -1 4194304 194825 0 0 0 351584 1179 0 0 20 0 20 0 52567545 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
/proc/53501/statm: 4765878 1512899 5530 1 0 1558310 0
[pid=53501/tid=53503] ppid=53498 vsize=19063512 memory=16436 CPUtime=3502.27 cores=0,2
/proc/53501/task/53503/stat : 53503 (java) R 53498 53501 52518 0 -1 4194368 107244 0 0 0 349171 1056 0 0 20 0 20 0 52567546 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53512] ppid=53498 vsize=19063512 memory=6051596 CPUtime=0 cores=0,2
/proc/53501/task/53512/stat : 53512 (Finalizer) S 53498 53501 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52567548 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53519] ppid=53498 vsize=19063512 memory=1920 CPUtime=0 cores=0,2
/proc/53501/task/53519/stat : 53519 (Common-Cleaner) S 53498 53501 52518 0 -1 4194368 2628 0 0 0 0 0 0 0 20 0 20 0 52567549 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53533] ppid=53498 vsize=19063512 memory=16436 CPUtime=0 cores=0,2
/proc/53501/task/53533/stat : 53533 (Timer-0) S 53498 53501 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52567707 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
Current children cumulated CPU time: 3527.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6051596 KiB

[startup+3642.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/345 53847
/proc/meminfo: memFree=72987244/131250000 swapFree=33009904/33010684
[pid=53501] ppid=53498 vsize=19063512 memory=6051596 CPUtime=3585.34 cores=0,2
/proc/53501/stat : 53501 (java) S 53498 53501 52518 0 -1 4194304 195570 0 0 0 357340 1194 0 0 20 0 20 0 52567545 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
/proc/53501/statm: 4765878 1512899 5530 1 0 1558310 0
[pid=53501/tid=53503] ppid=53498 vsize=19063512 memory=6051596 CPUtime=3559.66 cores=0,2
/proc/53501/task/53503/stat : 53503 (java) R 53498 53501 52518 0 -1 4194368 107906 0 0 0 354896 1070 0 0 20 0 20 0 52567546 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53512] ppid=53498 vsize=19063512 memory=6051596 CPUtime=0 cores=0,2
/proc/53501/task/53512/stat : 53512 (Finalizer) S 53498 53501 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52567548 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53519] ppid=53498 vsize=19063512 memory=6051596 CPUtime=0 cores=0,2
/proc/53501/task/53519/stat : 53519 (Common-Cleaner) S 53498 53501 52518 0 -1 4194368 2685 0 0 0 0 0 0 0 20 0 20 0 52567549 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53533] ppid=53498 vsize=19063512 memory=6051596 CPUtime=0 cores=0,2
/proc/53501/task/53533/stat : 53533 (Timer-0) S 53498 53501 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52567707 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
Current children cumulated CPU time: 3585.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6051596 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3658.5 s]
/proc/loadavg: 4.16 4.13 4.14 5/325 53865
/proc/meminfo: memFree=75420588/131250000 swapFree=33009904/33010684
[pid=53501] ppid=53498 vsize=19063512 memory=6051596 CPUtime=3600.03 cores=0,2
/proc/53501/stat : 53501 (java) S 53498 53501 52518 0 -1 4194304 196197 0 0 0 358803 1200 0 0 20 0 20 0 52567545 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
/proc/53501/statm: 4765878 1512899 5530 1 0 1558310 0
[pid=53501/tid=53503] ppid=53498 vsize=19063512 memory=6051596 CPUtime=3574.18 cores=0,2
/proc/53501/task/53503/stat : 53503 (java) R 53498 53501 52518 0 -1 4194368 108406 0 0 0 356342 1076 0 0 20 0 20 0 52567546 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53512] ppid=53498 vsize=19063512 memory=6051596 CPUtime=0 cores=0,2
/proc/53501/task/53512/stat : 53512 (Finalizer) S 53498 53501 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52567548 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53519] ppid=53498 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/53501/task/53519/stat : 53519 (Common-Cleaner) S 53498 53501 52518 0 -1 4194368 2685 0 0 0 0 0 0 0 20 0 20 0 52567549 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53533] ppid=53498 vsize=19063512 memory=6051596 CPUtime=0 cores=0,2
/proc/53501/task/53533/stat : 53533 (Timer-0) S 53498 53501 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52567707 19521036288 1512899 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6051596 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.24 s, system=12.0252 s

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

[startup+3658.6 s]
/proc/loadavg: 4.16 4.13 4.14 5/325 53865
/proc/meminfo: memFree=75420588/131250000 swapFree=33009904/33010684
[pid=53501] ppid=53498 vsize=19263204 memory=6052748 CPUtime=3600.23 cores=0,2
/proc/53501/stat : 53501 (java) S 53498 53501 52518 0 -1 4194304 199674 0 0 0 358823 1200 0 0 20 0 21 0 52567545 19725520896 1513187 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
/proc/53501/statm: 4815801 1513187 5562 1 0 1559310 0
[pid=53501/tid=53503] ppid=53498 vsize=19263204 memory=5276 CPUtime=3574.27 cores=0,2
/proc/53501/task/53503/stat : 53503 (java) R 53498 53501 52518 0 -1 4194368 108593 0 0 0 356351 1076 0 0 20 0 21 0 52567546 19725520896 1513187 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53512] ppid=53498 vsize=19263204 memory=-6000919472639469930 CPUtime=0 cores=0,2
/proc/53501/task/53512/stat : 53512 (Finalizer) S 53498 53501 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 52567548 19725520896 1513187 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
[pid=53501/tid=53519] ppid=53498 vsize=19263204 memory=17228 CPUtime=0 cores=0,2
/proc/53501/task/53519/stat : 53519 (Common-Cleaner) S 53498 53501 52518 0 -1 4194368 2685 0 0 0 0 0 0 0 20 0 21 0 52567549 19725520896 1513187 18446744073709551615 94560829304832 94560829308528 140730259876832 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94560829316344 94560829317136 94560854290432 140730259884336 140730259884518 140730259884518 140730259890120 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 6052748 KiB

Child status: 143

Real time (s): 3658.7
CPU time (s): 3600.26
CPU user time (s): 3588.24
CPU system time (s): 12.0252
CPU usage (%): 98.4027
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6052748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.24
system time used= 12.0252
maximum resident set size= 6052876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199738
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22258248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114280
involuntary context switches= 12181


# summary of solver processes directly reported to runsolver:
#   pid: 53501
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3588.24
#   total CPU system time (s): 12.0252

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.97318 second user time and 15.5312 second system time

The end

Begin job on nodeC033 at 2025-07-01 13:21:21
IDJOB=4489883
IDBENCH=147565
IDSOLVER=3364
FILE ID=nodeC033/4489883-1751368881
RUNJOBID= nodeC033-1751361483-52528
SLURM_JOB_ID= 9598171
Free space on /tmp= 432408 MiB

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

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

MD5SUM BENCH= 41281aaad41c07f4dcd6eb689ad0db2a
RANDOM SEED=1565518608

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

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 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.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        104468152 kB
MemAvailable:   122572204 kB
Buffers:            2128 kB
Cached:         18884660 kB
SwapCached:           68 kB
Active:          7516372 kB
Inactive:       18646024 kB
Active(anon):    7269168 kB
Inactive(anon):    24496 kB
Active(file):     247204 kB
Inactive(file): 18621528 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             51028 kB
Writeback:             0 kB
AnonPages:       7278696 kB
Mapped:           124676 kB
Shmem:             18028 kB
KReclaimable:     149116 kB
Slab:             238828 kB
SReclaimable:     149116 kB
SUnreclaim:        89712 kB
KernelStack:        5024 kB
PageTables:        17744 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   13421080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151272 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7057408 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432344 MiB
End job on nodeC033 at 2025-07-01 14:22:20