0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4489745-1751365179.opb
0.12/0.13	c reading problem ... 
0.12/0.14	c using VERIPB proof format
0.12/0.15	c  objective function found
2.44/1.62	c ... done. Wall clock time 1.482s.
2.44/1.62	c declared #vars     10000
2.44/1.62	c #constraints  656900
2.44/1.62	c constraints type 
2.44/1.62	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
2.44/1.62	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
2.44/1.62	c 656900 constraints processed.
2.44/1.63	c objective function length is 10000 literals
3.81/2.33	c SATISFIABLE
3.81/2.33	c OPTIMIZING...
3.81/2.33	c Got one! Elapsed wall clock time (in seconds):2.194
3.81/2.33	o 1418
4.41/2.60	c Got one! Elapsed wall clock time (in seconds):2.468
4.41/2.60	o 1378
4.81/2.86	c Got one! Elapsed wall clock time (in seconds):2.729
4.81/2.86	o 1364
5.21/3.09	c Got one! Elapsed wall clock time (in seconds):2.958
5.21/3.09	o 1258
6.59/3.76	c Got one! Elapsed wall clock time (in seconds):3.629
6.59/3.76	o 1255
8.52/5.03	c cleaning 3085 clauses out of 6210 with flag 13249/6210
10.30/6.58	c cleaning 4537 clauses out of 9122 with flag 32634/12207
12.24/8.31	c cleaning 5765 clauses out of 11586 with flag 51107/19208
14.08/10.12	c cleaning 6887 clauses out of 13820 with flag 72546/27207
17.01/13.08	c cleaning 7954 clauses out of 15933 with flag 98425/36207
20.01/16.04	c cleaning 8971 clauses out of 17979 with flag 130280/46207
23.19/19.22	c cleaning 9992 clauses out of 20008 with flag 164724/57207
26.59/22.63	c cleaning 11008 clauses out of 22017 with flag 200696/69208
30.62/26.64	c cleaning 11990 clauses out of 24009 with flag 240914/82208
34.81/30.87	c cleaning 12993 clauses out of 26018 with flag 285415/96207
39.28/35.47	c cleaning 14000 clauses out of 28025 with flag 333377/111207
44.08/40.22	c cleaning 15007 clauses out of 30026 with flag 383621/127208
49.19/45.36	c cleaning 16003 clauses out of 32018 with flag 439756/144207
54.60/50.77	c cleaning 16989 clauses out of 34015 with flag 495632/162207
60.58/56.72	c cleaning 18009 clauses out of 36026 with flag 561926/181207
66.72/62.81	c cleaning 19009 clauses out of 38017 with flag 631943/201207
72.96/74.24	c cleaning 20004 clauses out of 40008 with flag 703782/222207
79.35/80.60	c cleaning 20999 clauses out of 42004 with flag 776731/244207
86.22/87.53	c cleaning 21992 clauses out of 44005 with flag 850558/267207
93.61/94.90	c cleaning 23003 clauses out of 46013 with flag 929209/291207
100.66/102.01	c cleaning 24000 clauses out of 48011 with flag 1005842/316208
108.03/109.46	c cleaning 25006 clauses out of 50011 with flag 1087819/342208
115.72/117.14	c cleaning 25993 clauses out of 52005 with flag 1179472/369208
123.90/125.34	c cleaning 27002 clauses out of 54011 with flag 1264385/397207
132.84/134.34	c cleaning 27995 clauses out of 56009 with flag 1360335/426207
141.91/143.40	c cleaning 29001 clauses out of 58014 with flag 1461612/456207
151.59/153.16	c cleaning 29992 clauses out of 60013 with flag 1564244/487207
160.87/162.57	c cleaning 30997 clauses out of 62021 with flag 1669686/519207
171.17/172.80	c cleaning 32006 clauses out of 64024 with flag 1782146/552207
181.75/183.41	c cleaning 33004 clauses out of 66019 with flag 1894670/586208
192.91/194.77	c cleaning 34001 clauses out of 68014 with flag 2020056/621207
204.84/206.60	c cleaning 35005 clauses out of 70014 with flag 2144278/657208
216.51/218.36	c cleaning 35993 clauses out of 72008 with flag 2273300/694207
228.51/230.66	c cleaning 37007 clauses out of 74015 with flag 2410936/732207
241.23/243.30	c cleaning 37990 clauses out of 76008 with flag 2544997/771207
254.47/256.73	c cleaning 39000 clauses out of 78021 with flag 2678987/811210
268.34/270.65	c cleaning 40006 clauses out of 80018 with flag 2819146/852207
282.37/284.73	c cleaning 40992 clauses out of 82012 with flag 2978484/894207
296.25/298.68	c cleaning 42007 clauses out of 84021 with flag 3123858/937208
310.48/312.85	c cleaning 43005 clauses out of 86013 with flag 3278961/981207
325.37/327.83	c cleaning 43999 clauses out of 88009 with flag 3437410/1026208
340.64/343.11	c cleaning 45003 clauses out of 90009 with flag 3593951/1072207
356.36/358.99	c cleaning 46002 clauses out of 92006 with flag 3755381/1119207
372.02/374.60	c cleaning 46991 clauses out of 94004 with flag 3932315/1167207
387.87/390.51	c cleaning 48000 clauses out of 96013 with flag 4112519/1216207
404.03/406.70	c cleaning 49002 clauses out of 98014 with flag 4305715/1266208
420.38/423.16	c cleaning 49999 clauses out of 100011 with flag 4494983/1317207
436.95/439.80	c cleaning 51001 clauses out of 102012 with flag 4690918/1369207
454.10/457.08	c cleaning 51993 clauses out of 104011 with flag 4888174/1422207
471.99/493.55	c cleaning 53008 clauses out of 106018 with flag 5083261/1476207
489.62/511.10	c cleaning 53992 clauses out of 108010 with flag 5287333/1531207
507.41/529.36	c cleaning 55009 clauses out of 110020 with flag 5470575/1587209
527.09/549.09	c cleaning 56000 clauses out of 112010 with flag 5679970/1644208
546.97/569.38	c cleaning 57002 clauses out of 114011 with flag 5898537/1702209
567.68/590.07	c cleaning 58003 clauses out of 116007 with flag 6120424/1761207
588.80/614.70	c cleaning 59002 clauses out of 118004 with flag 6342540/1821207
610.45/652.13	c cleaning 59989 clauses out of 120003 with flag 6556430/1882208
631.61/673.38	c cleaning 60997 clauses out of 122014 with flag 6793878/1944208
653.85/695.77	c cleaning 62001 clauses out of 124016 with flag 7042845/2007207
676.36/718.23	c cleaning 63006 clauses out of 126016 with flag 7272775/2071208
698.81/740.84	c cleaning 63998 clauses out of 128010 with flag 7505217/2136208
722.04/764.12	c cleaning 65001 clauses out of 130013 with flag 7740364/2202209
746.30/788.68	c cleaning 66005 clauses out of 132010 with flag 7975050/2269207
769.00/811.39	c cleaning 66995 clauses out of 134005 with flag 8214346/2337207
793.66/836.28	c cleaning 68004 clauses out of 136011 with flag 8461410/2406208
819.38/862.34	c cleaning 68992 clauses out of 138006 with flag 8709654/2476207
845.16/888.10	c cleaning 69997 clauses out of 140014 with flag 8979552/2547207
871.50/914.58	c cleaning 71003 clauses out of 142017 with flag 9235237/2619207
897.89/945.94	c cleaning 71997 clauses out of 144016 with flag 9502577/2692209
923.48/971.69	c cleaning 72990 clauses out of 146017 with flag 9756087/2766207
948.89/997.11	c cleaning 74005 clauses out of 148027 with flag 10025500/2841207
974.70/1023.17	c cleaning 75005 clauses out of 150023 with flag 10308936/2917208
1000.70/1049.33	c cleaning 75992 clauses out of 152022 with flag 10586298/2994212
1028.83/1077.46	c cleaning 77008 clauses out of 154025 with flag 10870189/3072207
1057.37/1106.41	c cleaning 77999 clauses out of 156019 with flag 11158254/3151209
1086.52/1136.00	c cleaning 79002 clauses out of 158018 with flag 11435158/3231207
1116.21/1165.72	c cleaning 80002 clauses out of 160016 with flag 11736608/3312207
1145.99/1195.55	c cleaning 80989 clauses out of 162014 with flag 12028867/3394207
1177.44/1227.15	c cleaning 82004 clauses out of 164025 with flag 12335499/3477207
1209.05/1258.85	c cleaning 83008 clauses out of 166023 with flag 12662000/3561209
1240.39/1290.39	c cleaning 83998 clauses out of 168013 with flag 13004973/3646207
1271.66/1321.73	c cleaning 85002 clauses out of 170017 with flag 13333756/3732209
1303.43/1353.66	c cleaning 86002 clauses out of 172013 with flag 13652421/3819207
1336.41/1392.83	c cleaning 86996 clauses out of 174012 with flag 13984607/3907208
1369.66/1426.49	c cleaning 87997 clauses out of 176021 with flag 14319256/3996213
1403.49/1460.49	c cleaning 89007 clauses out of 178019 with flag 14674648/4086208
1437.57/1495.15	c cleaning 90006 clauses out of 180011 with flag 15055170/4177207
1472.63/1530.30	c cleaning 91001 clauses out of 182006 with flag 15411434/4269208
1508.70/1569.94	c cleaning 91996 clauses out of 184004 with flag 15770943/4362207
1543.87/1605.20	c cleaning 93002 clauses out of 186009 with flag 16158556/4456208
1579.51/1641.18	c cleaning 93987 clauses out of 188006 with flag 16557932/4551207
1615.30/1690.12	c cleaning 94998 clauses out of 190019 with flag 16944266/4647207
1650.80/1725.73	c cleaning 95999 clauses out of 192021 with flag 17332755/4744207
1688.55/1763.55	c cleaning 97001 clauses out of 194022 with flag 17725288/4842207
1725.11/1800.17	c cleaning 98002 clauses out of 196021 with flag 18121231/4941207
1763.94/1841.04	c cleaning 99006 clauses out of 198019 with flag 18515144/5041207
1802.92/1880.20	c cleaning 99990 clauses out of 200013 with flag 18923225/5142207
1839.66/1917.07	c cleaning 101011 clauses out of 202023 with flag 19306877/5244207
1877.23/1957.61	c cleaning 101997 clauses out of 204012 with flag 19689403/5347207
1916.82/2006.60	c cleaning 102996 clauses out of 206016 with flag 20075808/5451208
1957.63/2047.50	c cleaning 104010 clauses out of 208019 with flag 20514604/5556207
1999.18/2097.45	c cleaning 104997 clauses out of 210011 with flag 20923070/5662209
2039.31/2137.80	c cleaning 105997 clauses out of 212012 with flag 21363379/5769207
2082.63/2181.83	c cleaning 107001 clauses out of 214016 with flag 21820680/5877208
2126.01/2225.48	c cleaning 107996 clauses out of 216015 with flag 22273996/5986208
2171.49/2271.53	c cleaning 108994 clauses out of 218018 with flag 22734059/6096207
2214.43/2314.88	c cleaning 110007 clauses out of 220025 with flag 23173112/6207208
2261.76/2362.70	c cleaning 111000 clauses out of 222018 with flag 23638670/6319208
2308.03/2409.20	c cleaning 112003 clauses out of 224017 with flag 24079909/6432207
2357.84/2459.53	c cleaning 113002 clauses out of 226014 with flag 24526584/6546207
2405.57/2507.80	c cleaning 113990 clauses out of 228012 with flag 24978815/6661207
2451.17/2553.45	c cleaning 115003 clauses out of 230023 with flag 25450899/6777208
2494.84/2597.31	c cleaning 115997 clauses out of 232019 with flag 25913271/6894207
2539.73/2643.81	c cleaning 117006 clauses out of 234026 with flag 26398000/7012211
2583.68/2688.01	c cleaning 117996 clauses out of 236016 with flag 26865568/7131207
2632.05/2736.61	c cleaning 119005 clauses out of 238020 with flag 27331668/7251207
2682.15/2786.88	c cleaning 120004 clauses out of 240015 with flag 27858819/7372207
2733.88/2838.68	c cleaning 121006 clauses out of 242011 with flag 28375590/7494207
2783.57/2888.44	c cleaning 121996 clauses out of 244005 with flag 28909681/7617207
2833.99/2939.02	c cleaning 122981 clauses out of 246009 with flag 29448492/7741207
2884.10/2989.35	c cleaning 123996 clauses out of 248028 with flag 29950383/7866207
2936.55/3041.82	c cleaning 125016 clauses out of 250034 with flag 30466518/7992209
2989.70/3096.72	c cleaning 125980 clauses out of 252016 with flag 30990785/8119207
3039.59/3147.12	c cleaning 127002 clauses out of 254038 with flag 31519760/8247209
3093.94/3201.66	c cleaning 127998 clauses out of 256034 with flag 32057143/8376207
3146.42/3257.78	c cleaning 129008 clauses out of 258036 with flag 32609093/8506207
3199.56/3311.02	c cleaning 129993 clauses out of 260028 with flag 33209898/8637207
3254.81/3366.39	c cleaning 131009 clauses out of 262037 with flag 33758916/8769209
3308.80/3420.46	c cleaning 132014 clauses out of 264028 with flag 34301518/8902209
3364.30/3476.22	c cleaning 132993 clauses out of 266012 with flag 34828281/9036207
3419.16/3531.19	c cleaning 134005 clauses out of 268019 with flag 35401616/9171207
3474.60/3586.70	c cleaning 135007 clauses out of 270014 with flag 35959513/9307207
3530.84/3643.13	c cleaning 136003 clauses out of 272007 with flag 36541321/9444207
3581.16/3700.01	c starts		: 17
3581.16/3700.02	c conflicts		: 9572015
3581.16/3700.02	c decisions		: 25451962
3581.16/3700.02	c propagations		: 2072109401
3581.16/3700.02	c inspects		: 4010259426
3581.16/3700.02	c shortcuts		: 0
3581.16/3700.02	c learnt literals	: 0
3581.16/3700.02	c learnt binary clauses	: 0
3581.16/3700.02	c learnt ternary clauses	: 0
3581.16/3700.02	c learnt constraints	: 9572015
3581.16/3700.02	c ignored constraints	: 0
3581.16/3700.02	c root simplifications	: 0
3581.16/3700.02	c removed literals (reason simplification)	: 1225322720
3581.16/3700.02	c reason swapping (by a shorter reason)	: 0
3581.16/3700.02	c Calls to reduceDB	: 133
3581.16/3700.02	c Number of update (reduction) of LBD	: 3221221
3581.16/3700.02	c Imported unit clauses	: 0
3581.16/3700.02	c No decision after first conflict	: false
3581.16/3700.02	c number of reductions to clauses (during analyze)	: 0
3581.16/3700.02	c number of learned constraints concerned by reduction	: 0
3581.16/3700.02	c number of learning phase by resolution	: 0
3581.16/3700.02	c number of learning phase by cutting planes	: 0
3581.16/3700.02	c number of rounding to 1 operations	: 0
3581.16/3700.02	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3581.16/3700.02	c number of reductions of the coefficients by power 2 	: 0
3581.16/3700.02	c number of right shift for reduction by power 2 	: 0
3581.16/3700.02	c number of reductions of the coefficients by GCD over coefficients 	: 0
3581.16/3700.02	c number of ending skipping 	: 0
3581.16/3700.02	c number of internal skipping 	: 0
3581.16/3700.02	c number of derivation steps 	: 0
3581.16/3700.02	c number of skipped derivation steps 	: 0
3581.16/3700.02	c number of remaining unassigned 	: 0
3581.16/3700.02	c number of remaining assigned 	: 0
3581.16/3700.02	c number of falsified literals weakened from reason	: 0
3581.16/3700.02	c number of falsified literals weakened from conflict	: 0
3581.16/3700.02	c time for arithmetic operations	: 0
3581.16/3700.02	c minimum degree of deleted constraints	: null
3581.16/3700.03	c maximum degree of deleted constraints	: null
3581.16/3700.03	c number of deleted constraints	: 0
3581.16/3700.03	c speed (assignments/second)	: 560279.7251637758
3581.16/3700.03	c non guided choices	: 0
3581.16/3700.09	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 263812
3581.16/3700.09	s SATISFIABLE
3581.16/3700.10	c Found 5 solution(s)
3581.35/3700.11	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 
3581.35/3700.11	c objective function=1255
3581.35/3700.11	c Total wall clock time (in seconds): 3699.981

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=53070, runsolver pid=53067

[startup+0.100059 s]*
/proc/loadavg: 4.35 4.18 4.14 6/343 53088
/proc/meminfo: memFree=109869884/131250000 swapFree=33009904/33010684
[pid=53070] ppid=53067 vsize=18930384 memory=57204 CPUtime=0.12 cores=4,6
/proc/53070/stat : 53070 (java) S 53067 53070 52518 0 -1 4194304 6447 0 0 0 10 2 0 0 20 0 18 0 52197351 19384713216 14301 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
/proc/53070/statm: 4732596 14301 5330 1 0 547581 0
[pid=53070/tid=53072] ppid=53067 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/53070/task/53072/stat : 53072 (java) R 53067 53070 52518 0 -1 4194368 5023 0 0 0 6 1 0 0 20 0 18 0 52197352 19384713216 14301 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53081] ppid=53067 vsize=18930384 memory=241407623509 CPUtime=0 cores=4,6
/proc/53070/task/53081/stat : 53081 (Finalizer) S 53067 53070 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52197354 19384713216 14301 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53088] ppid=53067 vsize=18930384 memory=60684515952020 CPUtime=0 cores=4,6
/proc/53070/task/53088/stat : 53088 (Common-Cleaner) S 53067 53070 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 52197355 19384713216 14301 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57204 KiB

[startup+0.205723 s]*
/proc/loadavg: 4.35 4.18 4.14 7/343 53088
/proc/meminfo: memFree=109849404/131250000 swapFree=33009904/33010684
[pid=53070] ppid=53067 vsize=18930384 memory=69140 CPUtime=0.29 cores=4,6
/proc/53070/stat : 53070 (java) S 53067 53070 52518 0 -1 4194304 6824 0 0 0 27 2 0 0 20 0 18 0 52197351 19384713216 17285 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
/proc/53070/statm: 4732596 17285 5394 1 0 547900 0
[pid=53070/tid=53072] ppid=53067 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=4,6
/proc/53070/task/53072/stat : 53072 (java) R 53067 53070 52518 0 -1 4194368 5260 0 0 0 15 1 0 0 20 0 18 0 52197352 19384713216 17285 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53081] ppid=53067 vsize=18930384 memory=16898 CPUtime=0 cores=4,6
/proc/53070/task/53081/stat : 53081 (Finalizer) S 53067 53070 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52197354 19384713216 17285 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53088] ppid=53067 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/53070/task/53088/stat : 53088 (Common-Cleaner) S 53067 53070 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 52197355 19384713216 17285 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 69140 KiB

[startup+0.305715 s]*
/proc/loadavg: 4.35 4.18 4.14 7/343 53088
/proc/meminfo: memFree=109804348/131250000 swapFree=33009904/33010684
[pid=53070] ppid=53067 vsize=18930384 memory=108764 CPUtime=0.49 cores=4,6
/proc/53070/stat : 53070 (java) S 53067 53070 52518 0 -1 4194304 8594 0 0 0 46 3 0 0 20 0 18 0 52197351 19384713216 27191 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
/proc/53070/statm: 4732596 27191 5394 1 0 549058 0
[pid=53070/tid=53072] ppid=53067 vsize=18930384 memory=-6000919476985031018 CPUtime=0.25 cores=4,6
/proc/53070/task/53072/stat : 53072 (java) R 53067 53070 52518 0 -1 4194368 5281 0 0 0 23 2 0 0 20 0 18 0 52197352 19384713216 27191 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53081] ppid=53067 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/53070/task/53081/stat : 53081 (Finalizer) S 53067 53070 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52197354 19384713216 27191 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53088] ppid=53067 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/53070/task/53088/stat : 53088 (Common-Cleaner) S 53067 53070 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 52197355 19384713216 27191 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 108764 KiB

[startup+0.700235 s]
/proc/loadavg: 4.35 4.18 4.14 6/344 53089
/proc/meminfo: memFree=109710140/131250000 swapFree=33009904/33010684
[pid=53070] ppid=53067 vsize=18996948 memory=187744 CPUtime=1.23 cores=4,6
/proc/53070/stat : 53070 (java) S 53067 53070 52518 0 -1 4194304 14897 0 0 0 118 5 0 0 20 0 19 0 52197351 19452874752 46936 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
/proc/53070/statm: 4749237 46936 5458 1 0 553093 0
[pid=53070/tid=53072] ppid=53067 vsize=18996948 memory=18432 CPUtime=0.58 cores=4,6
/proc/53070/task/53072/stat : 53072 (java) R 53067 53070 52518 0 -1 4194368 5306 0 0 0 56 2 0 0 20 0 19 0 52197352 19452874752 46936 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53081] ppid=53067 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/53070/task/53081/stat : 53081 (Finalizer) S 53067 53070 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52197354 19452874752 46936 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53088] ppid=53067 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/53070/task/53088/stat : 53088 (Common-Cleaner) S 53067 53070 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 52197355 19452874752 46936 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 187744 KiB

[startup+1.50025 s]
/proc/loadavg: 4.48 4.21 4.15 5/344 53089
/proc/meminfo: memFree=109530588/131250000 swapFree=33009904/33010684
[pid=53070] ppid=53067 vsize=18996948 memory=394680 CPUtime=2.33 cores=4,6
/proc/53070/stat : 53070 (java) S 53067 53070 52518 0 -1 4194304 15535 0 0 0 224 9 0 0 20 0 19 0 52197351 19452874752 98670 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
/proc/53070/statm: 4749237 98670 5458 1 0 918643 0
[pid=53070/tid=53072] ppid=53067 vsize=18996948 memory=3328 CPUtime=1.24 cores=4,6
/proc/53070/task/53072/stat : 53072 (java) R 53067 53070 52518 0 -1 4194368 5388 0 0 0 119 5 0 0 20 0 19 0 52197352 19452874752 98670 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53081] ppid=53067 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/53070/task/53081/stat : 53081 (Finalizer) S 53067 53070 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52197354 19452874752 98670 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53088] ppid=53067 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/53070/task/53088/stat : 53088 (Common-Cleaner) S 53067 53070 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 52197355 19452874752 98670 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
Current children cumulated CPU time: 2.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 394680 KiB

[startup+3.10561 s]
/proc/loadavg: 4.48 4.21 4.15 6/345 53090
/proc/meminfo: memFree=108652792/131250000 swapFree=33009904/33010684
[pid=53070] ppid=53067 vsize=19063512 memory=773492 CPUtime=5.41 cores=4,6
/proc/53070/stat : 53070 (java) S 53067 53070 52518 0 -1 4194304 17203 0 0 0 521 20 0 0 20 0 20 0 52197351 19521036288 193373 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
/proc/53070/statm: 4765878 193373 5522 1 0 1552104 0
[pid=53070/tid=53072] ppid=53067 vsize=19063512 memory=10752 CPUtime=2.65 cores=4,6
/proc/53070/task/53072/stat : 53072 (java) R 53067 53070 52518 0 -1 4194368 5730 0 0 0 251 14 0 0 20 0 20 0 52197352 19521036288 193373 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53081] ppid=53067 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/53070/task/53081/stat : 53081 (Finalizer) S 53067 53070 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52197354 19521036288 193373 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53088] ppid=53067 vsize=19063512 memory=5504 CPUtime=0 cores=4,6
/proc/53070/task/53088/stat : 53088 (Common-Cleaner) S 53067 53070 52518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 52197355 19521036288 193373 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53090] ppid=53067 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/53070/task/53090/stat : 53090 (Timer-0) S 53067 53070 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52197518 19521036288 193373 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
Current children cumulated CPU time: 5.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 773492 KiB

[startup+6.30022 s]
/proc/loadavg: 4.44 4.21 4.14 5/325 53107
/proc/meminfo: memFree=114669384/131250000 swapFree=33009904/33010684
[pid=53070] ppid=53067 vsize=19063512 memory=933032 CPUtime=10.1 cores=4,6
/proc/53070/stat : 53070 (java) S 53067 53070 52518 0 -1 4194304 18332 0 0 0 983 27 0 0 20 0 20 0 52197351 19521036288 233258 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
/proc/53070/statm: 4765878 233258 5522 1 0 1552818 0
[pid=53070/tid=53072] ppid=53067 vsize=19063512 memory=0 CPUtime=5.69 cores=4,6
/proc/53070/task/53072/stat : 53072 (java) R 53067 53070 52518 0 -1 4194368 5895 0 0 0 550 19 0 0 20 0 20 0 52197352 19521036288 233258 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53081] ppid=53067 vsize=19063512 memory=4640748753518612560 CPUtime=0 cores=4,6
/proc/53070/task/53081/stat : 53081 (Finalizer) S 53067 53070 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52197354 19521036288 233258 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53088] ppid=53067 vsize=19063512 memory=5504 CPUtime=0 cores=4,6
/proc/53070/task/53088/stat : 53088 (Common-Cleaner) S 53067 53070 52518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 52197355 19521036288 233258 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53090] ppid=53067 vsize=19063512 memory=-6000919476985031018 CPUtime=0 cores=4,6
/proc/53070/task/53090/stat : 53090 (Timer-0) S 53067 53070 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52197518 19521036288 233258 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
Current children cumulated CPU time: 10.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 933032 KiB

[startup+12.7002 s]
/proc/loadavg: 4.49 4.22 4.15 6/345 53157
/proc/meminfo: memFree=124673576/131250000 swapFree=33009904/33010684
[pid=53070] ppid=53067 vsize=19063512 memory=1581256 CPUtime=16.7 cores=4,6
/proc/53070/stat : 53070 (java) S 53067 53070 52518 0 -1 4194304 24743 0 0 0 1626 44 0 0 20 0 20 0 52197351 19521036288 395314 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
/proc/53070/statm: 4765878 395314 5554 1 0 1552821 0
[pid=53070/tid=53072] ppid=53067 vsize=19063512 memory=224194199869 CPUtime=12.01 cores=4,6
/proc/53070/task/53072/stat : 53072 (java) R 53067 53070 52518 0 -1 4194368 7177 0 0 0 1167 34 0 0 20 0 20 0 52197352 19521036288 395314 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53081] ppid=53067 vsize=19063512 memory=-6000919476985031018 CPUtime=0 cores=4,6
/proc/53070/task/53081/stat : 53081 (Finalizer) S 53067 53070 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52197354 19521036288 395314 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53088] ppid=53067 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/53070/task/53088/stat : 53088 (Common-Cleaner) S 53067 53070 52518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 52197355 19521036288 395314 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53090] ppid=53067 vsize=19063512 memory=1340896 CPUtime=0 cores=4,6
/proc/53070/task/53090/stat : 53090 (Timer-0) S 53067 53070 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52197518 19521036288 395314 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
Current children cumulated CPU time: 16.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1581256 KiB

[startup+25.5002 s]
/proc/loadavg: 4.41 4.21 4.15 4/345 53157
/proc/meminfo: memFree=122445688/131250000 swapFree=33009904/33010684
[pid=53070] ppid=53067 vsize=19063512 memory=2003144 CPUtime=29.48 cores=4,6
/proc/53070/stat : 53070 (java) S 53067 53070 52518 0 -1 4194304 26324 0 0 0 2892 56 0 0 20 0 20 0 52197351 19521036288 500786 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
/proc/53070/statm: 4765878 500786 5554 1 0 1552821 0
[pid=53070/tid=53072] ppid=53067 vsize=19063512 memory=1890504 CPUtime=24.77 cores=4,6
/proc/53070/task/53072/stat : 53072 (java) R 53067 53070 52518 0 -1 4194368 8610 0 0 0 2432 45 0 0 20 0 20 0 52197352 19521036288 500786 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53081] ppid=53067 vsize=19063512 memory=1587400 CPUtime=0 cores=4,6
/proc/53070/task/53081/stat : 53081 (Finalizer) S 53067 53070 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52197354 19521036288 500786 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53088] ppid=53067 vsize=19063512 memory=-6000919476985031018 CPUtime=0 cores=4,6
/proc/53070/task/53088/stat : 53088 (Common-Cleaner) S 53067 53070 52518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 52197355 19521036288 500786 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53090] ppid=53067 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/53070/task/53090/stat : 53090 (Timer-0) S 53067 53070 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52197518 19521036288 500786 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
Current children cumulated CPU time: 29.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2003144 KiB

[startup+51.1056 s]
/proc/loadavg: 4.32 4.21 4.15 5/345 53158
/proc/meminfo: memFree=118074028/131250000 swapFree=33009904/33010684
[pid=53070] ppid=53067 vsize=19063512 memory=2978004 CPUtime=55.01 cores=4,6
/proc/53070/stat : 53070 (java) S 53067 53070 52518 0 -1 4194304 33551 0 0 0 5421 80 0 0 20 0 20 0 52197351 19521036288 744501 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
/proc/53070/statm: 4765878 744501 5554 1 0 1552824 0
[pid=53070/tid=53072] ppid=53067 vsize=19063512 memory=2132180 CPUtime=50.15 cores=4,6
/proc/53070/task/53072/stat : 53072 (java) R 53067 53070 52518 0 -1 4194368 11336 0 0 0 4947 68 0 0 20 0 20 0 52197352 19521036288 744501 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53081] ppid=53067 vsize=19063512 memory=2324692 CPUtime=0 cores=4,6
/proc/53070/task/53081/stat : 53081 (Finalizer) S 53067 53070 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52197354 19521036288 744501 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53088] ppid=53067 vsize=19063512 memory=2578644 CPUtime=0 cores=4,6
/proc/53070/task/53088/stat : 53088 (Common-Cleaner) S 53067 53070 52518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 52197355 19521036288 744501 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53090] ppid=53067 vsize=19063512 memory=0 CPUtime=0 cores=4,6

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

[startup+3342.3 s]
/proc/loadavg: 4.17 4.12 4.09 4/345 53352
/proc/meminfo: memFree=73883488/131250000 swapFree=33009904/33010684
[pid=53070] ppid=53067 vsize=19063512 memory=5800572 CPUtime=3230.81 cores=4,6
/proc/53070/stat : 53070 (java) S 53067 53070 52518 0 -1 4194304 187061 0 0 0 322171 910 0 0 20 0 20 0 52197351 19521036288 1450143 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
/proc/53070/statm: 4765878 1450143 5554 1 0 1552836 0
[pid=53070/tid=53072] ppid=53067 vsize=19063512 memory=18432 CPUtime=3209.18 cores=4,6
/proc/53070/task/53072/stat : 53072 (java) R 53067 53070 52518 0 -1 4194368 102185 0 0 0 320112 806 0 0 20 0 20 0 52197352 19521036288 1450143 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53081] ppid=53067 vsize=19063512 memory=5800572 CPUtime=0 cores=4,6
/proc/53070/task/53081/stat : 53081 (Finalizer) S 53067 53070 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52197354 19521036288 1450143 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53088] ppid=53067 vsize=19063512 memory=16436 CPUtime=0 cores=4,6
/proc/53070/task/53088/stat : 53088 (Common-Cleaner) S 53067 53070 52518 0 -1 4194368 2859 0 0 0 0 0 0 0 20 0 20 0 52197355 19521036288 1450143 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53090] ppid=53067 vsize=19063512 memory=16436 CPUtime=0 cores=4,6
/proc/53070/task/53090/stat : 53090 (Timer-0) S 53067 53070 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52197518 19521036288 1450143 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
Current children cumulated CPU time: 3230.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5800572 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/344 53354
/proc/meminfo: memFree=73279612/131250000 swapFree=33009904/33010684
[pid=53070] ppid=53067 vsize=19063512 memory=5876352 CPUtime=3290.8 cores=4,6
/proc/53070/stat : 53070 (java) S 53067 53070 52518 0 -1 4194304 189758 0 0 0 328153 927 0 0 20 0 20 0 52197351 19521036288 1469088 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
/proc/53070/statm: 4765878 1469088 5554 1 0 1552836 0
[pid=53070/tid=53072] ppid=53067 vsize=19063512 memory=5800572 CPUtime=3268.63 cores=4,6
/proc/53070/task/53072/stat : 53072 (java) R 53067 53070 52518 0 -1 4194368 103511 0 0 0 326041 822 0 0 20 0 20 0 52197352 19521036288 1469088 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53081] ppid=53067 vsize=19063512 memory=5800572 CPUtime=0 cores=4,6
/proc/53070/task/53081/stat : 53081 (Finalizer) S 53067 53070 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52197354 19521036288 1469088 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53088] ppid=53067 vsize=19063512 memory=5800572 CPUtime=0 cores=4,6
/proc/53070/task/53088/stat : 53088 (Common-Cleaner) S 53067 53070 52518 0 -1 4194368 2979 0 0 0 0 0 0 0 20 0 20 0 52197355 19521036288 1469088 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53090] ppid=53067 vsize=19063512 memory=-6000919476985031018 CPUtime=0 cores=4,6
/proc/53070/task/53090/stat : 53090 (Timer-0) S 53067 53070 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52197518 19521036288 1469088 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
Current children cumulated CPU time: 3290.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5876352 KiB

[startup+3462.3 s]
/proc/loadavg: 4.43 4.19 4.12 5/344 53356
/proc/meminfo: memFree=72563348/131250000 swapFree=33009904/33010684
[pid=53070] ppid=53067 vsize=19063512 memory=5876352 CPUtime=3350.62 cores=4,6
/proc/53070/stat : 53070 (java) S 53067 53070 52518 0 -1 4194304 193592 0 0 0 334121 941 0 0 20 0 20 0 52197351 19521036288 1469088 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
/proc/53070/statm: 4765878 1469088 5554 1 0 1552836 0
[pid=53070/tid=53072] ppid=53067 vsize=19063512 memory=5876352 CPUtime=3328.24 cores=4,6
/proc/53070/task/53072/stat : 53072 (java) R 53067 53070 52518 0 -1 4194368 105606 0 0 0 331989 835 0 0 20 0 20 0 52197352 19521036288 1469088 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53081] ppid=53067 vsize=19063512 memory=12544 CPUtime=0 cores=4,6
/proc/53070/task/53081/stat : 53081 (Finalizer) S 53067 53070 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52197354 19521036288 1469088 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53088] ppid=53067 vsize=19063512 memory=18432 CPUtime=0 cores=4,6
/proc/53070/task/53088/stat : 53088 (Common-Cleaner) S 53067 53070 52518 0 -1 4194368 2981 0 0 0 0 0 0 0 20 0 20 0 52197355 19521036288 1469088 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53090] ppid=53067 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/53070/task/53090/stat : 53090 (Timer-0) S 53067 53070 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52197518 19521036288 1469088 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
Current children cumulated CPU time: 3350.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5876352 KiB

[startup+3522.3 s]
/proc/loadavg: 4.58 4.26 4.15 5/344 53359
/proc/meminfo: memFree=71952248/131250000 swapFree=33009904/33010684
[pid=53070] ppid=53067 vsize=19063512 memory=5876352 CPUtime=3410.38 cores=4,6
/proc/53070/stat : 53070 (java) S 53067 53070 52518 0 -1 4194304 198903 0 0 0 340082 956 0 0 20 0 20 0 52197351 19521036288 1469088 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
/proc/53070/statm: 4765878 1469088 5554 1 0 1552836 0
[pid=53070/tid=53072] ppid=53067 vsize=19063512 memory=5876352 CPUtime=3387.49 cores=4,6
/proc/53070/task/53072/stat : 53072 (java) R 53067 53070 52518 0 -1 4194368 108113 0 0 0 337901 848 0 0 20 0 20 0 52197352 19521036288 1469088 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53081] ppid=53067 vsize=19063512 memory=5876352 CPUtime=0 cores=4,6
/proc/53070/task/53081/stat : 53081 (Finalizer) S 53067 53070 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52197354 19521036288 1469088 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53088] ppid=53067 vsize=19063512 memory=5876352 CPUtime=0 cores=4,6
/proc/53070/task/53088/stat : 53088 (Common-Cleaner) S 53067 53070 52518 0 -1 4194368 3040 0 0 0 0 0 0 0 20 0 20 0 52197355 19521036288 1469088 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53090] ppid=53067 vsize=19063512 memory=-6000919476985031018 CPUtime=0 cores=4,6
/proc/53070/task/53090/stat : 53090 (Timer-0) S 53067 53070 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52197518 19521036288 1469088 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
Current children cumulated CPU time: 3410.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5876352 KiB

[startup+3582.3 s]
/proc/loadavg: 4.38 4.27 4.16 5/344 53362
/proc/meminfo: memFree=71264412/131250000 swapFree=33009904/33010684
[pid=53070] ppid=53067 vsize=19063512 memory=5964428 CPUtime=3470.21 cores=4,6
/proc/53070/stat : 53070 (java) S 53067 53070 52518 0 -1 4194304 199529 0 0 0 346049 972 0 0 20 0 20 0 52197351 19521036288 1491107 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
/proc/53070/statm: 4765878 1491107 5554 1 0 1552836 0
[pid=53070/tid=53072] ppid=53067 vsize=19063512 memory=5876352 CPUtime=3446.97 cores=4,6
/proc/53070/task/53072/stat : 53072 (java) R 53067 53070 52518 0 -1 4194368 108611 0 0 0 343834 863 0 0 20 0 20 0 52197352 19521036288 1491107 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53081] ppid=53067 vsize=19063512 memory=5964428 CPUtime=0 cores=4,6
/proc/53070/task/53081/stat : 53081 (Finalizer) S 53067 53070 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52197354 19521036288 1491107 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53088] ppid=53067 vsize=19063512 memory=5964428 CPUtime=0 cores=4,6
/proc/53070/task/53088/stat : 53088 (Common-Cleaner) S 53067 53070 52518 0 -1 4194368 3097 0 0 0 0 0 0 0 20 0 20 0 52197355 19521036288 1491107 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53090] ppid=53067 vsize=19063512 memory=16436 CPUtime=0 cores=4,6
/proc/53070/task/53090/stat : 53090 (Timer-0) S 53067 53070 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52197518 19521036288 1491107 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
Current children cumulated CPU time: 3470.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5964428 KiB

[startup+3642.3 s]
/proc/loadavg: 4.14 4.22 4.14 5/345 53365
/proc/meminfo: memFree=70633764/131250000 swapFree=33009904/33010684
[pid=53070] ppid=53067 vsize=19063512 memory=6007436 CPUtime=3530.04 cores=4,6
/proc/53070/stat : 53070 (java) S 53067 53070 52518 0 -1 4194304 204083 0 0 0 352016 988 0 0 20 0 20 0 52197351 19521036288 1501859 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
/proc/53070/statm: 4765878 1501859 5554 1 0 1552836 0
[pid=53070/tid=53072] ppid=53067 vsize=19063512 memory=16436 CPUtime=3506.22 cores=4,6
/proc/53070/task/53072/stat : 53072 (java) R 53067 53070 52518 0 -1 4194368 110917 0 0 0 349746 876 0 0 20 0 20 0 52197352 19521036288 1501859 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53081] ppid=53067 vsize=19063512 memory=4480 CPUtime=0 cores=4,6
/proc/53070/task/53081/stat : 53081 (Finalizer) S 53067 53070 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52197354 19521036288 1501859 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53088] ppid=53067 vsize=19063512 memory=16436 CPUtime=0 cores=4,6
/proc/53070/task/53088/stat : 53088 (Common-Cleaner) S 53067 53070 52518 0 -1 4194368 3099 0 0 0 0 0 0 0 20 0 20 0 52197355 19521036288 1501859 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53090] ppid=53067 vsize=19063512 memory=6007436 CPUtime=0 cores=4,6
/proc/53070/task/53090/stat : 53090 (Timer-0) S 53067 53070 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52197518 19521036288 1501859 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
Current children cumulated CPU time: 3530.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6007436 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 4.17 4.21 4.15 6/324 53466
/proc/meminfo: memFree=89511720/131250000 swapFree=33009904/33010684
[pid=53070] ppid=53067 vsize=19063512 memory=6015632 CPUtime=3581.16 cores=4,6
/proc/53070/stat : 53070 (java) S 53067 53070 52518 0 -1 4194304 208775 0 0 0 357111 1005 0 0 20 0 20 0 52197351 19521036288 1503908 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
/proc/53070/statm: 4765878 1503908 5554 1 0 1552836 0
[pid=53070/tid=53072] ppid=53067 vsize=19063512 memory=-6000919502804904298 CPUtime=3556.69 cores=4,6
/proc/53070/task/53072/stat : 53072 (java) R 53067 53070 52518 0 -1 4194368 113199 0 0 0 354777 892 0 0 20 0 20 0 52197352 19521036288 1503908 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53081] ppid=53067 vsize=19063512 memory=5744 CPUtime=0 cores=4,6
/proc/53070/task/53081/stat : 53081 (Finalizer) S 53067 53070 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52197354 19521036288 1503908 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53088] ppid=53067 vsize=19063512 memory=23248 CPUtime=0 cores=4,6
/proc/53070/task/53088/stat : 53088 (Common-Cleaner) S 53067 53070 52518 0 -1 4194368 3163 0 0 0 0 0 0 0 20 0 20 0 52197355 19521036288 1503908 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53090] ppid=53067 vsize=19063512 memory=7404 CPUtime=0 cores=4,6
/proc/53070/task/53090/stat : 53090 (Timer-0) S 53067 53070 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52197518 19521036288 1503908 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
Current children cumulated CPU time: 3581.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6015632 KiB

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

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

# cumulated CPU time of all completed processes:  user=3571.33 s, system=10.074 s

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

[startup+3700.11 s]
/proc/loadavg: 4.17 4.21 4.15 6/324 53466
/proc/meminfo: memFree=89511720/131250000 swapFree=33009904/33010684
[pid=53070] ppid=53067 vsize=19263204 memory=6016528 CPUtime=3581.35 cores=4,6
/proc/53070/stat : 53070 (java) S 53067 53070 52518 0 -1 4194304 211900 0 0 0 357130 1005 0 0 20 0 21 0 52197351 19725520896 1504132 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
/proc/53070/statm: 4815801 1504132 5554 1 0 1553820 0
[pid=53070/tid=53072] ppid=53067 vsize=19263204 memory=16436 CPUtime=3556.76 cores=4,6
/proc/53070/task/53072/stat : 53072 (java) R 53067 53070 52518 0 -1 4194368 113324 0 0 0 354784 892 0 0 20 0 21 0 52197352 19725520896 1504132 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53081] ppid=53067 vsize=19263204 memory=4480 CPUtime=0 cores=4,6
/proc/53070/task/53081/stat : 53081 (Finalizer) S 53067 53070 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 52197354 19725520896 1504132 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
[pid=53070/tid=53088] ppid=53067 vsize=19263204 memory=6015632 CPUtime=0 cores=4,6
/proc/53070/task/53088/stat : 53088 (Common-Cleaner) S 53067 53070 52518 0 -1 4194368 3163 0 0 0 0 0 0 0 20 0 21 0 52197355 19725520896 1504132 18446744073709551615 94001607798784 94001607802480 140721603350000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94001607810296 94001607811088 94001633722368 140721603356976 140721603357158 140721603357158 140721603362760 0
Current children cumulated CPU time: 3581.35 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 6016528 KiB

Child status: 143

Real time (s): 3700.16
CPU time (s): 3581.4
CPU user time (s): 3571.33
CPU system time (s): 10.074
CPU usage (%): 96.7904
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6016528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.33
system time used= 10.074
maximum resident set size= 6016656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212248
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18400344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113709
involuntary context switches= 10203


# summary of solver processes directly reported to runsolver:
#   pid: 53070
#   total CPU time (s): 3581.4
#   total CPU user time (s): 3571.33
#   total CPU system time (s): 10.074

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01758 second user time and 18.2469 second system time

The end

Begin job on nodeC033 at 2025-07-01 12:19:39
IDJOB=4489745
IDBENCH=147562
IDSOLVER=3364
FILE ID=nodeC033/4489745-1751365179
RUNJOBID= nodeC033-1751361483-52529
SLURM_JOB_ID= 9598171
Free space on /tmp= 432408 MiB

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

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

MD5SUM BENCH= 502d6e212fd4e38a31cb5eb2ff64d408
RANDOM SEED=841876940

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        109906240 kB
MemAvailable:   121092848 kB
Buffers:            2128 kB
Cached:         11973812 kB
SwapCached:           68 kB
Active:          8960080 kB
Inactive:       11735144 kB
Active(anon):    8712876 kB
Inactive(anon):    24496 kB
Active(file):     247204 kB
Inactive(file): 11710648 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            212220 kB
Writeback:             0 kB
AnonPages:       8722404 kB
Mapped:           124184 kB
Shmem:             18028 kB
KReclaimable:     135992 kB
Slab:             231032 kB
SReclaimable:     135992 kB
SUnreclaim:        95040 kB
KernelStack:        5200 kB
PageTables:        20680 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   20589248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151512 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8503296 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432408 MiB
End job on nodeC033 at 2025-07-01 13:21:20