0.11/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.17	c See www.sat4j.org for details.
0.11/0.19	c version PB25.v20250606
0.23/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.23/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.23/0.22	c java.vm.version	22.0.1+8-16
0.23/0.23	c java.vm.vendor	Oracle Corporation
0.23/0.23	c sun.arch.data.model	64
0.23/0.23	c java.version		22.0.1
0.23/0.23	c os.name		Linux
0.23/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.23/0.23	c os.arch		amd64
0.23/0.23	c Free memory 		2104792832
0.23/0.23	c Max memory 		16282288128
0.23/0.23	c Total memory 		2113929216
0.23/0.24	c Number of processors 	2
0.36/0.35	c Pseudo Boolean Optimization by upper bound
0.36/0.35	c --- Begin Solver configuration ---
0.36/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.36/0.35	c Learn all clauses as in MiniSAT
0.36/0.35	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.36/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.36/0.35	c Expensive reason simplification
0.36/0.35	c Glucose 2.1 dynamic restart strategy
0.36/0.35	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.36/0.35	c timeout=2147483s
0.36/0.35	c DB Simplification allowed=false
0.36/0.35	c Listener: none
0.36/0.35	c --- End Solver configuration ---
0.36/0.36	c solving HOME/instance-4489744-1751343646.opb
0.36/0.36	c reading problem ... 
0.36/0.36	c  objective function found
3.58/2.43	c ... done. Wall clock time 2.073s.
3.58/2.43	c declared #vars     10000
3.58/2.43	c #constraints  656900
3.58/2.43	c constraints type 
3.58/2.43	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
3.58/2.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
3.58/2.43	c 656900 constraints processed.
3.58/2.44	c objective function length is 10000 literals
4.37/2.89	c SATISFIABLE
4.37/2.89	c OPTIMIZING...
4.37/2.89	c Got one! Elapsed wall clock time (in seconds):2.53
4.37/2.89	o 1418
4.77/3.05	c Got one! Elapsed wall clock time (in seconds):2.698
4.77/3.05	o 1378
4.97/3.17	c Got one! Elapsed wall clock time (in seconds):2.811
4.97/3.17	o 1364
5.15/3.28	c Got one! Elapsed wall clock time (in seconds):2.924
5.15/3.28	o 1258
5.99/3.71	c Got one! Elapsed wall clock time (in seconds):3.35
5.99/3.71	o 1255
7.17/4.60	c cleaning 3085 clauses out of 6210 with flag 13249/6210
8.56/5.68	c cleaning 4537 clauses out of 9122 with flag 32634/12207
9.88/6.93	c cleaning 5765 clauses out of 11586 with flag 51107/19208
12.75/9.88	c cleaning 6887 clauses out of 13820 with flag 72546/27207
15.42/12.56	c cleaning 7954 clauses out of 15933 with flag 98425/36207
18.49/15.27	c cleaning 8971 clauses out of 17979 with flag 130280/46207
21.39/18.16	c cleaning 9992 clauses out of 20008 with flag 164724/57207
25.36/22.08	c cleaning 11008 clauses out of 22017 with flag 200696/69208
29.64/26.30	c cleaning 11990 clauses out of 24009 with flag 240914/82208
33.54/30.26	c cleaning 12993 clauses out of 26018 with flag 285415/96207
37.53/34.28	c cleaning 14000 clauses out of 28025 with flag 333377/111207
41.82/38.56	c cleaning 15007 clauses out of 30026 with flag 383621/127208
46.39/43.11	c cleaning 16003 clauses out of 32018 with flag 439756/144207
51.34/47.90	c cleaning 16989 clauses out of 34015 with flag 495632/162207
56.54/53.16	c cleaning 18009 clauses out of 36026 with flag 561926/181207
61.92/58.56	c cleaning 19009 clauses out of 38017 with flag 631943/201207
67.62/64.22	c cleaning 20004 clauses out of 40008 with flag 703782/222207
73.31/69.91	c cleaning 20999 clauses out of 42004 with flag 776731/244207
79.51/76.16	c cleaning 21992 clauses out of 44005 with flag 850558/267207
86.19/82.81	c cleaning 23003 clauses out of 46013 with flag 929209/291207
92.40/89.04	c cleaning 24000 clauses out of 48011 with flag 1005842/316208
99.08/95.72	c cleaning 25006 clauses out of 50011 with flag 1087819/342208
106.20/102.80	c cleaning 25993 clauses out of 52005 with flag 1179472/369208
113.51/110.18	c cleaning 27002 clauses out of 54011 with flag 1264385/397207
121.50/118.16	c cleaning 27995 clauses out of 56009 with flag 1360335/426207
129.67/126.31	c cleaning 29001 clauses out of 58014 with flag 1461612/456207
138.47/135.15	c cleaning 29992 clauses out of 60013 with flag 1564244/487207
146.75/143.48	c cleaning 30997 clauses out of 62021 with flag 1669686/519207
155.94/152.63	c cleaning 32006 clauses out of 64024 with flag 1782146/552207
165.43/162.20	c cleaning 33004 clauses out of 66019 with flag 1894670/586208
175.61/172.39	c cleaning 34001 clauses out of 68014 with flag 2020056/621207
187.95/184.63	c cleaning 35005 clauses out of 70014 with flag 2144278/657208
198.53/195.25	c cleaning 35993 clauses out of 72008 with flag 2273300/694207
209.43/206.11	c cleaning 37007 clauses out of 74015 with flag 2410936/732207
220.80/217.50	c cleaning 37990 clauses out of 76008 with flag 2544997/771207
232.78/229.55	c cleaning 39000 clauses out of 78021 with flag 2678987/811210
245.46/242.24	c cleaning 40006 clauses out of 80018 with flag 2819146/852207
258.05/254.88	c cleaning 40992 clauses out of 82012 with flag 2978484/894207
272.11/268.80	c cleaning 42007 clauses out of 84021 with flag 3123858/937208
285.09/281.88	c cleaning 43005 clauses out of 86013 with flag 3278961/981207
298.58/295.35	c cleaning 43999 clauses out of 88009 with flag 3437410/1026208
312.36/309.19	c cleaning 45003 clauses out of 90009 with flag 3593951/1072207
326.63/323.48	c cleaning 46002 clauses out of 92006 with flag 3755381/1119207
340.80/337.62	c cleaning 46991 clauses out of 94004 with flag 3932315/1167207
354.98/351.84	c cleaning 48000 clauses out of 96013 with flag 4112519/1216207
371.29/368.18	c cleaning 49002 clauses out of 98014 with flag 4305715/1266208
385.95/382.83	c cleaning 49999 clauses out of 100011 with flag 4494983/1317207
400.82/397.75	c cleaning 51001 clauses out of 102012 with flag 4690918/1369207
416.30/413.23	c cleaning 51993 clauses out of 104011 with flag 4888174/1422207
432.48/429.48	c cleaning 53008 clauses out of 106018 with flag 5083261/1476207
449.48/446.40	c cleaning 53992 clauses out of 108010 with flag 5287333/1531207
466.27/463.36	c cleaning 55009 clauses out of 110020 with flag 5470575/1587209
484.14/481.22	c cleaning 56000 clauses out of 112010 with flag 5679970/1644208
502.21/499.34	c cleaning 57002 clauses out of 114011 with flag 5898537/1702209
521.00/518.16	c cleaning 58003 clauses out of 116007 with flag 6120424/1761207
541.93/539.03	c cleaning 59002 clauses out of 118004 with flag 6342540/1821207
561.59/558.75	c cleaning 59989 clauses out of 120003 with flag 6556430/1882208
580.87/578.05	c cleaning 60997 clauses out of 122014 with flag 6793878/1944208
601.03/598.29	c cleaning 62001 clauses out of 124016 with flag 7042845/2007207
621.40/618.67	c cleaning 63006 clauses out of 126016 with flag 7272775/2071208
643.60/640.88	c cleaning 63998 clauses out of 128010 with flag 7505217/2136208
664.56/661.89	c cleaning 65001 clauses out of 130013 with flag 7740364/2202209
686.84/684.11	c cleaning 66005 clauses out of 132010 with flag 7975050/2269207
707.30/704.67	c cleaning 66995 clauses out of 134005 with flag 8214346/2337207
730.53/727.85	c cleaning 68004 clauses out of 136011 with flag 8461410/2406208
754.80/752.13	c cleaning 68992 clauses out of 138006 with flag 8709654/2476207
777.94/775.38	c cleaning 69997 clauses out of 140014 with flag 8979552/2547207
802.01/799.45	c cleaning 71003 clauses out of 142017 with flag 9235237/2619207
827.68/825.02	c cleaning 71997 clauses out of 144016 with flag 9502577/2692209
850.54/848.01	c cleaning 72990 clauses out of 146017 with flag 9756087/2766207
873.20/870.64	c cleaning 74005 clauses out of 148027 with flag 10025500/2841207
896.57/894.06	c cleaning 75005 clauses out of 150023 with flag 10308936/2917208
921.70/919.12	c cleaning 75992 clauses out of 152022 with flag 10586298/2994212
947.03/944.52	c cleaning 77008 clauses out of 154025 with flag 10870189/3072207
972.89/970.46	c cleaning 77999 clauses out of 156019 with flag 11158254/3151209
999.35/996.97	c cleaning 79002 clauses out of 158018 with flag 11435158/3231207
1028.12/1025.70	c cleaning 80002 clauses out of 160016 with flag 11736608/3312207
1054.87/1052.59	c cleaning 80989 clauses out of 162014 with flag 12028867/3394207
1083.63/1081.39	c cleaning 82004 clauses out of 164025 with flag 12335499/3477207
1113.48/1111.13	c cleaning 83008 clauses out of 166023 with flag 12662000/3561209
1142.51/1140.22	c cleaning 83998 clauses out of 168013 with flag 13004973/3646207
1170.56/1168.38	c cleaning 85002 clauses out of 170017 with flag 13333756/3732209
1199.22/1197.09	c cleaning 86002 clauses out of 172013 with flag 13652421/3819207
1231.16/1229.02	c cleaning 86996 clauses out of 174012 with flag 13984607/3907208
1261.20/1259.15	c cleaning 87997 clauses out of 176021 with flag 14319256/3996213
1291.83/1289.85	c cleaning 89007 clauses out of 178019 with flag 14674648/4086208
1323.71/1321.76	c cleaning 90006 clauses out of 180011 with flag 15055170/4177207
1356.20/1354.31	c cleaning 91001 clauses out of 182006 with flag 15411434/4269208
1388.86/1387.09	c cleaning 91996 clauses out of 184004 with flag 15770943/4362207
1420.60/1418.87	c cleaning 93002 clauses out of 186009 with flag 16158556/4456208
1454.88/1453.28	c cleaning 93987 clauses out of 188006 with flag 16557932/4551207
1487.23/1485.61	c cleaning 94998 clauses out of 190019 with flag 16944266/4647207
1520.46/1518.80	c cleaning 95999 clauses out of 192021 with flag 17332755/4744207
1555.45/1553.99	c cleaning 97001 clauses out of 194022 with flag 17725288/4842207
1588.50/1587.02	c cleaning 98002 clauses out of 196021 with flag 18121231/4941207
1623.92/1622.45	c cleaning 99006 clauses out of 198019 with flag 18515144/5041207
1659.16/1657.72	c cleaning 99990 clauses out of 200013 with flag 18923225/5142207
1692.10/1690.73	c cleaning 101011 clauses out of 202023 with flag 19306877/5244207
1727.12/1725.76	c cleaning 101997 clauses out of 204012 with flag 19689403/5347207
1762.67/1761.30	c cleaning 102996 clauses out of 206016 with flag 20075808/5451208
1799.20/1797.99	c cleaning 104010 clauses out of 208019 with flag 20514604/5556207
1836.84/1835.57	c cleaning 104997 clauses out of 210011 with flag 20923070/5662209
1872.87/1871.66	c cleaning 105997 clauses out of 212012 with flag 21363379/5769207
1913.73/1912.50	c cleaning 107001 clauses out of 214016 with flag 21820680/5877208
1952.77/1951.60	c cleaning 107996 clauses out of 216015 with flag 22273996/5986208
1994.76/1993.64	c cleaning 108994 clauses out of 218018 with flag 22734059/6096207
2034.25/2033.27	c cleaning 110007 clauses out of 220025 with flag 23173112/6207208
2077.16/2076.24	c cleaning 111000 clauses out of 222018 with flag 23638670/6319208
2119.39/2118.40	c cleaning 112003 clauses out of 224017 with flag 24079909/6432207
2164.79/2163.99	c cleaning 113002 clauses out of 226014 with flag 24526584/6546207
2208.59/2207.73	c cleaning 113990 clauses out of 228012 with flag 24978815/6661207
2249.60/2248.81	c cleaning 115003 clauses out of 230023 with flag 25450899/6777208
2289.82/2288.55	c cleaning 115997 clauses out of 232019 with flag 25913271/6894207
2330.74/2329.50	c cleaning 117006 clauses out of 234026 with flag 26398000/7012211
2371.73/2370.52	c cleaning 117996 clauses out of 236016 with flag 26865568/7131207
2415.36/2414.25	c cleaning 119005 clauses out of 238020 with flag 27331668/7251207
2460.56/2459.58	c cleaning 120004 clauses out of 240015 with flag 27858819/7372207
2507.40/2506.44	c cleaning 121006 clauses out of 242011 with flag 28375590/7494207
2551.92/2551.11	c cleaning 121996 clauses out of 244005 with flag 28909681/7617207
2599.18/2598.31	c cleaning 122981 clauses out of 246009 with flag 29448492/7741207
2644.31/2643.50	c cleaning 123996 clauses out of 248028 with flag 29950383/7866207
2691.51/2690.72	c cleaning 125016 clauses out of 250034 with flag 30466518/7992209
2739.42/2738.73	c cleaning 125980 clauses out of 252016 with flag 30990785/8119207
2785.90/2785.29	c cleaning 127002 clauses out of 254038 with flag 31519760/8247209
2834.92/2834.33	c cleaning 127998 clauses out of 256034 with flag 32057143/8376207
2882.35/2881.74	c cleaning 129008 clauses out of 258036 with flag 32609093/8506207
2930.06/2929.55	c cleaning 129993 clauses out of 260028 with flag 33209898/8637207
2979.87/2979.45	c cleaning 131009 clauses out of 262037 with flag 33758916/8769209
3030.23/3029.83	c cleaning 132014 clauses out of 264028 with flag 34301518/8902209
3080.12/3079.88	c cleaning 132993 clauses out of 266012 with flag 34828281/9036207
3129.25/3129.01	c cleaning 134005 clauses out of 268019 with flag 35401616/9171207
3178.76/3178.55	c cleaning 135007 clauses out of 270014 with flag 35959513/9307207
3230.76/3230.61	c cleaning 136003 clauses out of 272007 with flag 36541321/9444207
3283.24/3283.03	c cleaning 136999 clauses out of 274004 with flag 37127880/9582207
3335.82/3335.78	c cleaning 138001 clauses out of 276005 with flag 37740278/9721207
3391.87/3391.71	c cleaning 139001 clauses out of 278004 with flag 38335585/9861207
3447.08/3446.85	c cleaning 139978 clauses out of 280003 with flag 38942769/10002207
3505.32/3505.08	c cleaning 141007 clauses out of 282027 with flag 39528902/10144209
3562.61/3562.41	c cleaning 142007 clauses out of 284018 with flag 40133902/10287207
3600.05/3599.83	c starts		: 17
3600.05/3599.84	c conflicts		: 10383453
3600.05/3599.84	c decisions		: 27792449
3600.05/3599.84	c propagations		: 2251305311
3600.05/3599.84	c inspects		: 4365930731
3600.05/3599.84	c shortcuts		: 0
3600.05/3599.85	c learnt literals	: 0
3600.05/3599.85	c learnt binary clauses	: 0
3600.05/3599.85	c learnt ternary clauses	: 0
3600.05/3599.85	c learnt constraints	: 10383453
3600.05/3599.85	c ignored constraints	: 0
3600.05/3599.85	c root simplifications	: 0
3600.05/3599.85	c removed literals (reason simplification)	: 1314275371
3600.05/3599.85	c reason swapping (by a shorter reason)	: 0
3600.05/3599.85	c Calls to reduceDB	: 139
3600.05/3599.85	c Number of update (reduction) of LBD	: 3542581
3600.05/3599.86	c Imported unit clauses	: 0
3600.05/3599.86	c No decision after first conflict	: false
3600.05/3599.86	c number of reductions to clauses (during analyze)	: 0
3600.05/3599.86	c number of learned constraints concerned by reduction	: 0
3600.05/3599.86	c number of learning phase by resolution	: 0
3600.05/3599.86	c number of learning phase by cutting planes	: 0
3600.05/3599.86	c number of rounding to 1 operations	: 0
3600.05/3599.86	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3599.86	c number of reductions of the coefficients by power 2 	: 0
3600.05/3599.86	c number of right shift for reduction by power 2 	: 0
3600.05/3599.86	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3599.86	c number of ending skipping 	: 0
3600.05/3599.86	c number of internal skipping 	: 0
3600.05/3599.86	c number of derivation steps 	: 0
3600.05/3599.86	c number of skipped derivation steps 	: 0
3600.05/3599.87	c number of remaining unassigned 	: 0
3600.05/3599.87	c number of remaining assigned 	: 0
3600.05/3599.87	c number of falsified literals weakened from reason	: 0
3600.05/3599.87	c number of falsified literals weakened from conflict	: 0
3600.05/3599.87	c time for arithmetic operations	: 0
3600.05/3599.88	c minimum degree of deleted constraints	: null
3600.05/3599.88	c maximum degree of deleted constraints	: null
3600.05/3599.88	c number of deleted constraints	: 0
3600.05/3599.88	c speed (assignments/second)	: 625809.3447266521
3600.05/3599.89	c non guided choices	: 0
3600.45/3600.03	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 238257
3600.45/3600.03	s SATISFIABLE
3600.45/3600.03	c Found 5 solution(s)
3600.45/3600.05	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.45/3600.06	c objective function=1255
3600.45/3600.06	c Total wall clock time (in seconds): 3599.702

OK	1255

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: 63794 MiB (37832 MiB free)
  memory of node 1: 64507 MiB (63372 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489744-1751343646/watcher-4489744-1751343646 -o /tmp/evaluation-result-4489744-1751343646/solver-4489744-1751343646 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751340116-45953 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4489744-1751343646.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=46372, runsolver pid=46369

[startup+0.100073 s]*
/proc/loadavg: 4.31 4.31 4.31 9/322 46390
/proc/meminfo: memFree=103608784/131382112 swapFree=33010684/33010684
[pid=46372] ppid=46369 vsize=18930384 memory=48412 CPUtime=0.11 cores=5,7
/proc/46372/stat : 46372 (java) S 46369 46372 45940 0 -1 4194304 5786 0 0 0 8 3 0 0 20 0 18 0 50044329 19384713216 12103 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
/proc/46372/statm: 4732596 12103 5336 1 0 546988 0
[pid=46372/tid=46374] ppid=46369 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/46372/task/46374/stat : 46374 (java) R 46369 46372 45940 0 -1 4194368 4685 0 0 0 5 2 0 0 20 0 18 0 50044331 19384713216 12103 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46383] ppid=46369 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/46372/task/46383/stat : 46383 (Finalizer) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50044335 19384713216 12103 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46390] ppid=46369 vsize=18930384 memory=57394571004297 CPUtime=0 cores=5,7
/proc/46372/task/46390/stat : 46390 (Common-Cleaner) S 46369 46372 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50044336 19384713216 12103 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48412 KiB

[startup+0.213715 s]*
/proc/loadavg: 4.31 4.31 4.31 7/323 46391
/proc/meminfo: memFree=103604248/131382112 swapFree=33010684/33010684
[pid=46372] ppid=46369 vsize=18930384 memory=53296 CPUtime=0.23 cores=5,7
/proc/46372/stat : 46372 (java) S 46369 46372 45940 0 -1 4194304 6443 0 0 0 19 4 0 0 20 0 18 0 50044329 19384713216 13324 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
/proc/46372/statm: 4732596 13324 5368 1 0 547531 0
[pid=46372/tid=46374] ppid=46369 vsize=18930384 memory=4026663196 CPUtime=0.14 cores=5,7
/proc/46372/task/46374/stat : 46374 (java) R 46369 46372 45940 0 -1 4194368 4971 0 0 0 12 2 0 0 20 0 18 0 50044331 19384713216 13324 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46383] ppid=46369 vsize=18930384 memory=1707 CPUtime=0 cores=5,7
/proc/46372/task/46383/stat : 46383 (Finalizer) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50044335 19384713216 13324 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46390] ppid=46369 vsize=18930384 memory=56295059358712 CPUtime=0 cores=5,7
/proc/46372/task/46390/stat : 46390 (Common-Cleaner) S 46369 46372 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50044336 19384713216 13324 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53296 KiB

[startup+0.313555 s]*
/proc/loadavg: 4.31 4.31 4.31 8/323 46391
/proc/meminfo: memFree=103604248/131382112 swapFree=33010684/33010684
[pid=46372] ppid=46369 vsize=18930384 memory=58400 CPUtime=0.36 cores=5,7
/proc/46372/stat : 46372 (java) S 46369 46372 45940 0 -1 4194304 6721 0 0 0 32 4 0 0 20 0 18 0 50044329 19384713216 14600 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
/proc/46372/statm: 4732596 14600 5368 1 0 547728 0
[pid=46372/tid=46374] ppid=46369 vsize=18930384 memory=-6000919468394899051 CPUtime=0.22 cores=5,7
/proc/46372/task/46374/stat : 46374 (java) R 46369 46372 45940 0 -1 4194368 5130 0 0 0 20 2 0 0 20 0 18 0 50044331 19384713216 14600 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46383] ppid=46369 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/46372/task/46383/stat : 46383 (Finalizer) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50044335 19384713216 14600 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46390] ppid=46369 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/46372/task/46390/stat : 46390 (Common-Cleaner) S 46369 46372 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50044336 19384713216 14600 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58400 KiB

[startup+0.700343 s]
/proc/loadavg: 4.31 4.31 4.31 8/323 46391
/proc/meminfo: memFree=103595616/131382112 swapFree=33010684/33010684
[pid=46372] ppid=46369 vsize=18930384 memory=112352 CPUtime=1.07 cores=5,7
/proc/46372/stat : 46372 (java) S 46369 46372 45940 0 -1 4194304 9069 0 0 0 100 7 0 0 20 0 18 0 50044329 19384713216 28088 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
/proc/46372/statm: 4732596 28088 5432 1 0 549201 0
[pid=46372/tid=46374] ppid=46369 vsize=18930384 memory=17664 CPUtime=0.55 cores=5,7
/proc/46372/task/46374/stat : 46374 (java) R 46369 46372 45940 0 -1 4194368 5272 0 0 0 51 4 0 0 20 0 18 0 50044331 19384713216 28088 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46383] ppid=46369 vsize=18930384 memory=10752 CPUtime=0 cores=5,7
/proc/46372/task/46383/stat : 46383 (Finalizer) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50044335 19384713216 28088 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46390] ppid=46369 vsize=18930384 memory=3200 CPUtime=0 cores=5,7
/proc/46372/task/46390/stat : 46390 (Common-Cleaner) S 46369 46372 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50044336 19384713216 28088 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 112352 KiB

[startup+1.50028 s]
/proc/loadavg: 4.31 4.31 4.31 7/324 46392
/proc/meminfo: memFree=103505844/131382112 swapFree=33010684/33010684
[pid=46372] ppid=46369 vsize=18996948 memory=180764 CPUtime=2.62 cores=5,7
/proc/46372/stat : 46372 (java) S 46369 46372 45940 0 -1 4194304 16169 0 0 0 253 9 0 0 20 0 19 0 50044329 19452874752 45191 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
/proc/46372/statm: 4749237 45191 5464 1 0 551469 0
[pid=46372/tid=46374] ppid=46369 vsize=18996948 memory=3200 CPUtime=1.25 cores=5,7
/proc/46372/task/46374/stat : 46374 (java) R 46369 46372 45940 0 -1 4194368 5438 0 0 0 120 5 0 0 20 0 19 0 50044331 19452874752 45191 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46383] ppid=46369 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/46372/task/46383/stat : 46383 (Finalizer) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 50044335 19452874752 45191 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46390] ppid=46369 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/46372/task/46390/stat : 46390 (Common-Cleaner) S 46369 46372 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 50044336 19452874752 45191 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 180764 KiB

[startup+3.10567 s]
/proc/loadavg: 4.28 4.31 4.31 6/325 46393
/proc/meminfo: memFree=103215300/131382112 swapFree=33010684/33010684
[pid=46372] ppid=46369 vsize=19063512 memory=424584 CPUtime=4.97 cores=5,7
/proc/46372/stat : 46372 (java) S 46369 46372 45940 0 -1 4194304 20702 0 0 0 482 15 0 0 20 0 20 0 50044329 19521036288 106146 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
/proc/46372/statm: 4765878 106146 5528 1 0 1078620 0
[pid=46372/tid=46374] ppid=46369 vsize=19063512 memory=10752 CPUtime=2.69 cores=5,7
/proc/46372/task/46374/stat : 46374 (java) R 46369 46372 45940 0 -1 4194368 8069 0 0 0 260 9 0 0 20 0 20 0 50044331 19521036288 106146 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46383] ppid=46369 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/46372/task/46383/stat : 46383 (Finalizer) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044335 19521036288 106146 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46390] ppid=46369 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/46372/task/46390/stat : 46390 (Common-Cleaner) S 46369 46372 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 50044336 19521036288 106146 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46393] ppid=46369 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/46372/task/46393/stat : 46393 (Timer-0) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044574 19521036288 106146 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
Current children cumulated CPU time: 4.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 424584 KiB

[startup+6.30016 s]
/proc/loadavg: 4.28 4.31 4.31 5/325 46393
/proc/meminfo: memFree=103170276/131382112 swapFree=33010684/33010684
[pid=46372] ppid=46369 vsize=19063512 memory=465428 CPUtime=9.28 cores=5,7
/proc/46372/stat : 46372 (java) S 46369 46372 45940 0 -1 4194304 21739 0 0 0 911 17 0 0 20 0 20 0 50044329 19521036288 116357 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
/proc/46372/statm: 4765878 116357 5528 1 0 1078936 0
[pid=46372/tid=46374] ppid=46369 vsize=19063512 memory=0 CPUtime=5.7 cores=5,7
/proc/46372/task/46374/stat : 46374 (java) R 46369 46372 45940 0 -1 4194368 8130 0 0 0 561 9 0 0 20 0 20 0 50044331 19521036288 116357 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46383] ppid=46369 vsize=19063512 memory=424072 CPUtime=0 cores=5,7
/proc/46372/task/46383/stat : 46383 (Finalizer) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044335 19521036288 116357 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46390] ppid=46369 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/46372/task/46390/stat : 46390 (Common-Cleaner) S 46369 46372 45940 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 50044336 19521036288 116357 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46393] ppid=46369 vsize=19063512 memory=-6000919468394899051 CPUtime=0 cores=5,7
/proc/46372/task/46393/stat : 46393 (Timer-0) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044574 19521036288 116357 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
Current children cumulated CPU time: 9.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 465428 KiB

[startup+12.7004 s]
/proc/loadavg: 4.48 4.35 4.32 6/302 46486
/proc/meminfo: memFree=128679284/131382112 swapFree=33010684/33010684
[pid=46372] ppid=46369 vsize=19063512 memory=465556 CPUtime=15.62 cores=5,7
/proc/46372/stat : 46372 (java) S 46369 46372 45940 0 -1 4194304 22537 0 0 0 1541 21 0 0 20 0 20 0 50044329 19521036288 116389 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
/proc/46372/statm: 4765878 116389 5560 1 0 1078936 0
[pid=46372/tid=46374] ppid=46369 vsize=19063512 memory=465556 CPUtime=12.02 cores=5,7
/proc/46372/task/46374/stat : 46374 (java) R 46369 46372 45940 0 -1 4194368 8837 0 0 0 1189 13 0 0 20 0 20 0 50044331 19521036288 116389 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46383] ppid=46369 vsize=19063512 memory=-6000919468394899051 CPUtime=0 cores=5,7
/proc/46372/task/46383/stat : 46383 (Finalizer) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044335 19521036288 116389 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46390] ppid=46369 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/46372/task/46390/stat : 46390 (Common-Cleaner) S 46369 46372 45940 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 50044336 19521036288 116389 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46393] ppid=46369 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/46372/task/46393/stat : 46393 (Timer-0) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044574 19521036288 116389 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
Current children cumulated CPU time: 15.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 465556 KiB

[startup+25.5002 s]
/proc/loadavg: 4.56 4.37 4.33 5/325 46528
/proc/meminfo: memFree=128107444/131382112 swapFree=33010684/33010684
[pid=46372] ppid=46369 vsize=19063512 memory=547280 CPUtime=28.83 cores=5,7
/proc/46372/stat : 46372 (java) S 46369 46372 45940 0 -1 4194304 28842 0 0 0 2857 26 0 0 20 0 20 0 50044329 19521036288 136820 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
/proc/46372/statm: 4765878 136820 5560 1 0 1680529 0
[pid=46372/tid=46374] ppid=46369 vsize=19063512 memory=465556 CPUtime=24.64 cores=5,7
/proc/46372/task/46374/stat : 46374 (java) R 46369 46372 45940 0 -1 4194368 9545 0 0 0 2450 14 0 0 20 0 20 0 50044331 19521036288 136820 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46383] ppid=46369 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/46372/task/46383/stat : 46383 (Finalizer) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044335 19521036288 136820 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46390] ppid=46369 vsize=19063512 memory=465684 CPUtime=0 cores=5,7
/proc/46372/task/46390/stat : 46390 (Common-Cleaner) S 46369 46372 45940 0 -1 4194368 82 0 0 0 0 0 0 0 20 0 20 0 50044336 19521036288 136820 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46393] ppid=46369 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/46372/task/46393/stat : 46393 (Timer-0) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044574 19521036288 136820 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
Current children cumulated CPU time: 28.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 547280 KiB

[startup+51.113 s]
/proc/loadavg: 4.37 4.34 4.32 5/325 46528
/proc/meminfo: memFree=127819576/131382112 swapFree=33010684/33010684
[pid=46372] ppid=46369 vsize=19063512 memory=639440 CPUtime=54.54 cores=5,7
/proc/46372/stat : 46372 (java) S 46369 46372 45940 0 -1 4194304 30320 0 0 0 5425 29 0 0 20 0 20 0 50044329 19521036288 159860 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
/proc/46372/statm: 4765878 159860 5560 1 0 1680529 0
[pid=46372/tid=46374] ppid=46369 vsize=19063512 memory=10752 CPUtime=50.19 cores=5,7
/proc/46372/task/46374/stat : 46374 (java) R 46369 46372 45940 0 -1 4194368 10018 0 0 0 5003 16 0 0 20 0 20 0 50044331 19521036288 159860 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46383] ppid=46369 vsize=19063512 memory=600528 CPUtime=0 cores=5,7
/proc/46372/task/46383/stat : 46383 (Finalizer) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044335 19521036288 159860 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46390] ppid=46369 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/46372/task/46390/stat : 46390 (Common-Cleaner) S 46369 46372 45940 0 -1 4194368 82 0 0 0 0 0 0 0 20 0 20 0 50044336 19521036288 159860 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46393] ppid=46369 vsize=19063512 memory=17664 CPUtime=0 cores=5,7
/proc/46372/task/46393/stat : 46393 (Timer-0) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044574 19521036288 159860 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
Current children cumulated CPU time: 54.54 s

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

/proc/meminfo: memFree=114922076/131382112 swapFree=33010684/33010684
[pid=46372] ppid=46369 vsize=19063512 memory=4066392 CPUtime=3282.53 cores=5,7
/proc/46372/stat : 46372 (java) S 46369 46372 45940 0 -1 4194304 90760 0 0 0 327997 256 0 0 20 0 20 0 50044329 19521036288 1016598 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
/proc/46372/statm: 4765878 1016598 5560 1 0 1681050 0
[pid=46372/tid=46374] ppid=46369 vsize=19063512 memory=4062292 CPUtime=3267.07 cores=5,7
/proc/46372/task/46374/stat : 46374 (java) R 46369 46372 45940 0 -1 4194368 34483 0 0 0 326678 29 0 0 20 0 20 0 50044331 19521036288 1016598 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46383] ppid=46369 vsize=19063512 memory=4062292 CPUtime=0 cores=5,7
/proc/46372/task/46383/stat : 46383 (Finalizer) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044335 19521036288 1016598 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46390] ppid=46369 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/46372/task/46390/stat : 46390 (Common-Cleaner) S 46369 46372 45940 0 -1 4194368 1894 0 0 0 0 0 0 0 20 0 20 0 50044336 19521036288 1016598 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46393] ppid=46369 vsize=19063512 memory=4066392 CPUtime=0 cores=5,7
/proc/46372/task/46393/stat : 46393 (Timer-0) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044574 19521036288 1016598 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
Current children cumulated CPU time: 3282.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4066392 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.14 4.13 5/327 46697
/proc/meminfo: memFree=114922632/131382112 swapFree=33010684/33010684
[pid=46372] ppid=46369 vsize=19063512 memory=4066392 CPUtime=3342.42 cores=5,7
/proc/46372/stat : 46372 (java) S 46369 46372 45940 0 -1 4194304 92026 0 0 0 333983 259 0 0 20 0 20 0 50044329 19521036288 1016598 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
/proc/46372/statm: 4765878 1016598 5560 1 0 1681050 0
[pid=46372/tid=46374] ppid=46369 vsize=19063512 memory=4066392 CPUtime=3326.92 cores=5,7
/proc/46372/task/46374/stat : 46374 (java) R 46369 46372 45940 0 -1 4194368 35665 0 0 0 332663 29 0 0 20 0 20 0 50044331 19521036288 1016598 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46383] ppid=46369 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/46372/task/46383/stat : 46383 (Finalizer) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044335 19521036288 1016598 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46390] ppid=46369 vsize=19063512 memory=4066392 CPUtime=0 cores=5,7
/proc/46372/task/46390/stat : 46390 (Common-Cleaner) S 46369 46372 45940 0 -1 4194368 1938 0 0 0 0 0 0 0 20 0 20 0 50044336 19521036288 1016598 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46393] ppid=46369 vsize=19063512 memory=4352 CPUtime=0 cores=5,7
/proc/46372/task/46393/stat : 46393 (Timer-0) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044574 19521036288 1016598 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
Current children cumulated CPU time: 3342.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4066392 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.11 4.12 5/327 46699
/proc/meminfo: memFree=114918740/131382112 swapFree=33010684/33010684
[pid=46372] ppid=46369 vsize=19063512 memory=4066392 CPUtime=3402.46 cores=5,7
/proc/46372/stat : 46372 (java) S 46369 46372 45940 0 -1 4194304 93664 0 0 0 339984 262 0 0 20 0 20 0 50044329 19521036288 1016598 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
/proc/46372/statm: 4765878 1016598 5560 1 0 1681050 0
[pid=46372/tid=46374] ppid=46369 vsize=19063512 memory=14848 CPUtime=3386.6 cores=5,7
/proc/46372/task/46374/stat : 46374 (java) R 46369 46372 45940 0 -1 4194368 36532 0 0 0 338630 30 0 0 20 0 20 0 50044331 19521036288 1016598 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46383] ppid=46369 vsize=19063512 memory=4066392 CPUtime=0 cores=5,7
/proc/46372/task/46383/stat : 46383 (Finalizer) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044335 19521036288 1016598 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46390] ppid=46369 vsize=19063512 memory=17664 CPUtime=0 cores=5,7
/proc/46372/task/46390/stat : 46390 (Common-Cleaner) S 46369 46372 45940 0 -1 4194368 1982 0 0 0 0 0 0 0 20 0 20 0 50044336 19521036288 1016598 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46393] ppid=46369 vsize=19063512 memory=-6000919468394899051 CPUtime=0 cores=5,7
/proc/46372/task/46393/stat : 46393 (Timer-0) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044574 19521036288 1016598 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
Current children cumulated CPU time: 3402.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4066392 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.10 4.12 6/326 46701
/proc/meminfo: memFree=114901484/131382112 swapFree=33010684/33010684
[pid=46372] ppid=46369 vsize=19063512 memory=4072620 CPUtime=3462.55 cores=5,7
/proc/46372/stat : 46372 (java) S 46369 46372 45940 0 -1 4194304 94529 0 0 0 345991 264 0 0 20 0 20 0 50044329 19521036288 1018155 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
/proc/46372/statm: 4765878 1018155 5560 1 0 1681050 0
[pid=46372/tid=46374] ppid=46369 vsize=19063512 memory=17664 CPUtime=3446.24 cores=5,7
/proc/46372/task/46374/stat : 46374 (java) R 46369 46372 45940 0 -1 4194368 36741 0 0 0 344594 30 0 0 20 0 20 0 50044331 19521036288 1018155 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46383] ppid=46369 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/46372/task/46383/stat : 46383 (Finalizer) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044335 19521036288 1018155 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46390] ppid=46369 vsize=19063512 memory=4072620 CPUtime=0 cores=5,7
/proc/46372/task/46390/stat : 46390 (Common-Cleaner) S 46369 46372 45940 0 -1 4194368 2027 0 0 0 0 0 0 0 20 0 20 0 50044336 19521036288 1018155 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46393] ppid=46369 vsize=19063512 memory=4072620 CPUtime=0 cores=5,7
/proc/46372/task/46393/stat : 46393 (Timer-0) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044574 19521036288 1018155 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
Current children cumulated CPU time: 3462.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4072620 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/325 46703
/proc/meminfo: memFree=114904268/131382112 swapFree=33010684/33010684
[pid=46372] ppid=46369 vsize=19063512 memory=4072620 CPUtime=3522.58 cores=5,7
/proc/46372/stat : 46372 (java) S 46369 46372 45940 0 -1 4194304 95438 0 0 0 351991 267 0 0 20 0 20 0 50044329 19521036288 1018155 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
/proc/46372/statm: 4765878 1018155 5560 1 0 1681050 0
[pid=46372/tid=46374] ppid=46369 vsize=19063512 memory=4072620 CPUtime=3505.79 cores=5,7
/proc/46372/task/46374/stat : 46374 (java) R 46369 46372 45940 0 -1 4194368 37472 0 0 0 350549 30 0 0 20 0 20 0 50044331 19521036288 1018155 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46383] ppid=46369 vsize=19063512 memory=4072620 CPUtime=0 cores=5,7
/proc/46372/task/46383/stat : 46383 (Finalizer) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044335 19521036288 1018155 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46390] ppid=46369 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/46372/task/46390/stat : 46390 (Common-Cleaner) S 46369 46372 45940 0 -1 4194368 2027 0 0 0 0 0 0 0 20 0 20 0 50044336 19521036288 1018155 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46393] ppid=46369 vsize=19063512 memory=17664 CPUtime=0 cores=5,7
/proc/46372/task/46393/stat : 46393 (Timer-0) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044574 19521036288 1018155 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
Current children cumulated CPU time: 3522.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4072620 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/325 46704
/proc/meminfo: memFree=114899472/131382112 swapFree=33010684/33010684
[pid=46372] ppid=46369 vsize=19063512 memory=4074668 CPUtime=3582.61 cores=5,7
/proc/46372/stat : 46372 (java) S 46369 46372 45940 0 -1 4194304 97368 0 0 0 357991 270 0 0 20 0 20 0 50044329 19521036288 1018667 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
/proc/46372/statm: 4765878 1018667 5560 1 0 1681050 0
[pid=46372/tid=46374] ppid=46369 vsize=19063512 memory=17664 CPUtime=3565.5 cores=5,7
/proc/46372/task/46374/stat : 46374 (java) R 46369 46372 45940 0 -1 4194368 38523 0 0 0 356520 30 0 0 20 0 20 0 50044331 19521036288 1018667 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46383] ppid=46369 vsize=19063512 memory=4072620 CPUtime=0 cores=5,7
/proc/46372/task/46383/stat : 46383 (Finalizer) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044335 19521036288 1018667 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46390] ppid=46369 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/46372/task/46390/stat : 46390 (Common-Cleaner) S 46369 46372 45940 0 -1 4194368 2130 0 0 0 0 0 0 0 20 0 20 0 50044336 19521036288 1018667 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46393] ppid=46369 vsize=19063512 memory=4072620 CPUtime=0 cores=5,7
/proc/46372/task/46393/stat : 46393 (Timer-0) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044574 19521036288 1018667 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
Current children cumulated CPU time: 3582.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4074668 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3599.8 s]
/proc/loadavg: 4.15 4.12 4.11 5/325 46772
/proc/meminfo: memFree=118580648/131382112 swapFree=33010684/33010684
[pid=46372] ppid=46369 vsize=19063512 memory=4074668 CPUtime=3600.05 cores=5,7
/proc/46372/stat : 46372 (java) S 46369 46372 45940 0 -1 4194304 97374 0 0 0 359732 273 0 0 20 0 20 0 50044329 19521036288 1018667 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
/proc/46372/statm: 4765878 1018667 5560 1 0 1681050 0
[pid=46372/tid=46374] ppid=46369 vsize=19063512 memory=4352 CPUtime=3582.93 cores=5,7
/proc/46372/task/46374/stat : 46374 (java) R 46369 46372 45940 0 -1 4194368 38525 0 0 0 358261 32 0 0 20 0 20 0 50044331 19521036288 1018667 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46383] ppid=46369 vsize=19063512 memory=1792 CPUtime=0 cores=5,7
/proc/46372/task/46383/stat : 46383 (Finalizer) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044335 19521036288 1018667 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46390] ppid=46369 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/46372/task/46390/stat : 46390 (Common-Cleaner) S 46369 46372 45940 0 -1 4194368 2130 0 0 0 0 0 0 0 20 0 20 0 50044336 19521036288 1018667 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46393] ppid=46369 vsize=19063512 memory=5888 CPUtime=0 cores=5,7
/proc/46372/task/46393/stat : 46393 (Timer-0) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044574 19521036288 1018667 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4074668 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.82 s, system=2.75297 s

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

[startup+3600 s]*
/proc/loadavg: 4.15 4.12 4.11 6/326 46775
/proc/meminfo: memFree=118575796/131382112 swapFree=33010684/33010684
[pid=46372] ppid=46369 vsize=19263204 memory=4075564 CPUtime=3600.45 cores=5,7
/proc/46372/stat : 46372 (java) S 46369 46372 45940 0 -1 4194304 99743 0 0 0 359772 273 0 0 20 0 21 0 50044329 19725520896 1018891 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
/proc/46372/statm: 4815801 1018891 5592 1 0 1681971 0
[pid=46372/tid=46374] ppid=46369 vsize=19263204 memory=1920 CPUtime=3583.13 cores=5,7
/proc/46372/task/46374/stat : 46374 (java) R 46369 46372 45940 0 -1 4194368 38668 0 0 0 358281 32 0 0 20 0 21 0 50044331 19725520896 1018891 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46383] ppid=46369 vsize=19263204 memory=4074668 CPUtime=0 cores=5,7
/proc/46372/task/46383/stat : 46383 (Finalizer) S 46369 46372 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 50044335 19725520896 1018891 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46390] ppid=46369 vsize=19263204 memory=2432 CPUtime=0 cores=5,7
/proc/46372/task/46390/stat : 46390 (Common-Cleaner) S 46369 46372 45940 0 -1 4194368 2130 0 0 0 0 0 0 0 20 0 21 0 50044336 19725520896 1018891 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
[pid=46372/tid=46775] ppid=46369 vsize=19263204 memory=-6000919468428191339 CPUtime=0.13 cores=5,7
/proc/46372/task/46775/stat : 46775 (Thread-0) R 46369 46372 45940 0 -1 4194368 416 0 0 0 13 0 0 0 20 0 21 0 50404310 19725520896 1018891 18446744073709551615 94515375898624 94515375902320 140734865381296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94515375910136 94515375910928 94515391107072 140734865389953 140734865390054 140734865390054 140734865395656 0
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4075564 KiB

Child status: 143

Real time (s): 3600.09
CPU time (s): 3600.58
CPU user time (s): 3597.82
CPU system time (s): 2.75297
CPU usage (%): 100.013
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4075564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.82
system time used= 2.75297
maximum resident set size= 4075820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100113
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117419
involuntary context switches= 6491


# summary of solver processes directly reported to runsolver:
#   pid: 46372
#   total CPU time (s): 3600.58
#   total CPU user time (s): 3597.82
#   total CPU system time (s): 2.75297

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8551 second user time and 35.0939 second system time

The end

Begin job on nodeC012 at 2025-07-01 06:20:46
IDJOB=4489744
IDBENCH=147562
IDSOLVER=3363
FILE ID=nodeC012/4489744-1751343646
RUNJOBID= nodeC012-1751340116-45953
SLURM_JOB_ID= 9594408
Free space on /tmp= 433024 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489744-1751343646/watcher-4489744-1751343646 -o /tmp/evaluation-result-4489744-1751343646/solver-4489744-1751343646 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751340116-45953 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4489744-1751343646.opb

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

MD5SUM BENCH= 502d6e212fd4e38a31cb5eb2ff64d408
RANDOM SEED=1709826698

nodeC012 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	: 0xb00001f
cpu MHz		: 3503.189
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3492.467
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.185
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3491.696
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3643.176
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.681
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1198.307
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.151
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        103633608 kB
MemAvailable:   103639016 kB
Buffers:            3280 kB
Cached:           813644 kB
SwapCached:            0 kB
Active:         26668996 kB
Inactive:         503188 kB
Active(anon):   26373272 kB
Inactive(anon):        0 kB
Active(file):     295724 kB
Inactive(file):   503188 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             35476 kB
Writeback:             0 kB
AnonPages:      26358412 kB
Mapped:           122956 kB
Shmem:             17960 kB
KReclaimable:      91860 kB
Slab:             175436 kB
SReclaimable:      91860 kB
SUnreclaim:        83576 kB
KernelStack:        4928 kB
PageTables:        54924 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   34004952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150312 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  25937920 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432992 MiB
End job on nodeC012 at 2025-07-01 07:20:47