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

OK	1460

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (37832 MiB free)
  memory of node 1: 64507 MiB (49253 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=46309, runsolver pid=46306

[startup+0.100065 s]*
/proc/loadavg: 4.31 4.31 4.31 9/324 46327
/proc/meminfo: memFree=89151612/131382112 swapFree=33010684/33010684
[pid=46309] ppid=46306 vsize=18930384 memory=50232 CPUtime=0.11 cores=1,3
/proc/46309/stat : 46309 (java) S 46306 46309 45940 0 -1 4194304 5746 0 0 0 8 3 0 0 20 0 18 0 50044096 19384713216 12558 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
/proc/46309/statm: 4732596 12558 5334 1 0 546974 0
[pid=46309/tid=46311] ppid=46306 vsize=18930384 memory=4026531960 CPUtime=0.05 cores=1,3
/proc/46309/task/46311/stat : 46311 (java) R 46306 46309 45940 0 -1 4194368 4624 0 0 0 4 1 0 0 20 0 18 0 50044098 19384713216 12558 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46320] ppid=46306 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/46309/task/46320/stat : 46320 (Finalizer) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50044103 19384713216 12558 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46327] ppid=46306 vsize=18930384 memory=57394571004297 CPUtime=0 cores=1,3
/proc/46309/task/46327/stat : 46327 (Common-Cleaner) S 46306 46309 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50044104 19384713216 12558 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50232 KiB

[startup+0.211188 s]*
/proc/loadavg: 4.31 4.31 4.31 7/324 46327
/proc/meminfo: memFree=89145500/131382112 swapFree=33010684/33010684
[pid=46309] ppid=46306 vsize=18930384 memory=57408 CPUtime=0.28 cores=1,3
/proc/46309/stat : 46309 (java) S 46306 46309 45940 0 -1 4194304 6461 0 0 0 25 3 0 0 20 0 18 0 50044096 19384713216 14352 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
/proc/46309/statm: 4732596 14352 5366 1 0 547610 0
[pid=46309/tid=46311] ppid=46306 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=1,3
/proc/46309/task/46311/stat : 46311 (java) R 46306 46309 45940 0 -1 4194368 5044 0 0 0 14 2 0 0 20 0 18 0 50044098 19384713216 14352 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46320] ppid=46306 vsize=18930384 memory=1707 CPUtime=0 cores=1,3
/proc/46309/task/46320/stat : 46320 (Finalizer) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50044103 19384713216 14352 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46327] ppid=46306 vsize=18930384 memory=56295059358712 CPUtime=0 cores=1,3
/proc/46309/task/46327/stat : 46327 (Common-Cleaner) S 46306 46309 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50044104 19384713216 14352 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57408 KiB

[startup+0.311058 s]*
/proc/loadavg: 4.31 4.31 4.31 7/305 46327
/proc/meminfo: memFree=89145500/131382112 swapFree=33010684/33010684
[pid=46309] ppid=46306 vsize=18930384 memory=60356 CPUtime=0.42 cores=1,3
/proc/46309/stat : 46309 (java) S 46306 46309 45940 0 -1 4194304 6701 0 0 0 38 4 0 0 20 0 18 0 50044096 19384713216 15089 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
/proc/46309/statm: 4732596 15089 5366 1 0 547797 0
[pid=46309/tid=46311] ppid=46306 vsize=18930384 memory=-6000919481380464235 CPUtime=0.24 cores=1,3
/proc/46309/task/46311/stat : 46311 (java) R 46306 46309 45940 0 -1 4194368 5214 0 0 0 22 2 0 0 20 0 18 0 50044098 19384713216 15089 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46320] ppid=46306 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/46309/task/46320/stat : 46320 (Finalizer) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50044103 19384713216 15089 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46327] ppid=46306 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/46309/task/46327/stat : 46327 (Common-Cleaner) S 46306 46309 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50044104 19384713216 15089 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60356 KiB

[startup+0.700316 s]
/proc/loadavg: 4.31 4.31 4.31 5/303 46335
/proc/meminfo: memFree=103994096/131382112 swapFree=33010684/33010684
[pid=46309] ppid=46306 vsize=18930384 memory=105384 CPUtime=1.14 cores=1,3
/proc/46309/stat : 46309 (java) S 46306 46309 45940 0 -1 4194304 8831 0 0 0 108 6 0 0 20 0 18 0 50044096 19384713216 26346 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
/proc/46309/statm: 4732596 26346 5430 1 0 549207 0
[pid=46309/tid=46311] ppid=46306 vsize=18930384 memory=17664 CPUtime=0.6 cores=1,3
/proc/46309/task/46311/stat : 46311 (java) R 46306 46309 45940 0 -1 4194368 5275 0 0 0 57 3 0 0 20 0 18 0 50044098 19384713216 26346 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46320] ppid=46306 vsize=18930384 memory=10752 CPUtime=0 cores=1,3
/proc/46309/task/46320/stat : 46320 (Finalizer) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50044103 19384713216 26346 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46327] ppid=46306 vsize=18930384 memory=19968 CPUtime=0 cores=1,3
/proc/46309/task/46327/stat : 46327 (Common-Cleaner) S 46306 46309 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50044104 19384713216 26346 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 105384 KiB

[startup+1.50025 s]
/proc/loadavg: 4.31 4.31 4.31 6/301 46336
/proc/meminfo: memFree=103905424/131382112 swapFree=33010684/33010684
[pid=46309] ppid=46306 vsize=18996948 memory=187828 CPUtime=2.71 cores=1,3
/proc/46309/stat : 46309 (java) S 46306 46309 45940 0 -1 4194304 20398 0 0 0 258 13 0 0 20 0 19 0 50044096 19452874752 46957 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
/proc/46309/statm: 4749237 46957 5462 1 0 553032 0
[pid=46309/tid=46311] ppid=46306 vsize=18996948 memory=19968 CPUtime=1.28 cores=1,3
/proc/46309/task/46311/stat : 46311 (java) R 46306 46309 45940 0 -1 4194368 5490 0 0 0 123 5 0 0 20 0 19 0 50044098 19452874752 46957 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46320] ppid=46306 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/46309/task/46320/stat : 46320 (Finalizer) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 50044103 19452874752 46957 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46327] ppid=46306 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/46309/task/46327/stat : 46327 (Common-Cleaner) S 46306 46309 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 50044104 19452874752 46957 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 187828 KiB

[startup+3.10585 s]
/proc/loadavg: 4.31 4.31 4.31 7/323 46391
/proc/meminfo: memFree=103567284/131382112 swapFree=33010684/33010684
[pid=46309] ppid=46306 vsize=19063512 memory=432240 CPUtime=5.39 cores=1,3
/proc/46309/stat : 46309 (java) S 46306 46309 45940 0 -1 4194304 24352 0 0 0 516 23 0 0 20 0 20 0 50044096 19521036288 108060 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
/proc/46309/statm: 4765878 108060 5526 1 0 1079909 0
[pid=46309/tid=46311] ppid=46306 vsize=19063512 memory=10752 CPUtime=2.71 cores=1,3
/proc/46309/task/46311/stat : 46311 (java) R 46306 46309 45940 0 -1 4194368 7899 0 0 0 260 11 0 0 20 0 20 0 50044098 19521036288 108060 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46320] ppid=46306 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/46309/task/46320/stat : 46320 (Finalizer) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044103 19521036288 108060 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46327] ppid=46306 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/46309/task/46327/stat : 46327 (Common-Cleaner) S 46306 46309 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 50044104 19521036288 108060 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46391] ppid=46306 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/46309/task/46391/stat : 46391 (Timer-0) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044345 19521036288 108060 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
Current children cumulated CPU time: 5.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 432240 KiB

[startup+6.30021 s]
/proc/loadavg: 4.28 4.31 4.31 6/325 46393
/proc/meminfo: memFree=103170244/131382112 swapFree=33010684/33010684
[pid=46309] ppid=46306 vsize=19063512 memory=465728 CPUtime=9.79 cores=1,3
/proc/46309/stat : 46309 (java) S 46306 46309 45940 0 -1 4194304 25036 0 0 0 955 24 0 0 20 0 20 0 50044096 19521036288 116432 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
/proc/46309/statm: 4765878 116432 5526 1 0 1079958 0
[pid=46309/tid=46311] ppid=46306 vsize=19063512 memory=0 CPUtime=5.77 cores=1,3
/proc/46309/task/46311/stat : 46311 (java) R 46306 46309 45940 0 -1 4194368 7956 0 0 0 566 11 0 0 20 0 20 0 50044098 19521036288 116432 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46320] ppid=46306 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/46309/task/46320/stat : 46320 (Finalizer) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044103 19521036288 116432 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46327] ppid=46306 vsize=19063512 memory=-6000919481380464235 CPUtime=0 cores=1,3
/proc/46309/task/46327/stat : 46327 (Common-Cleaner) S 46306 46309 45940 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 50044104 19521036288 116432 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46391] ppid=46306 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/46309/task/46391/stat : 46391 (Timer-0) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044345 19521036288 116432 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
Current children cumulated CPU time: 9.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 465728 KiB

[startup+12.7003 s]
/proc/loadavg: 4.26 4.30 4.31 6/323 46458
/proc/meminfo: memFree=117834192/131382112 swapFree=33010684/33010684
[pid=46309] ppid=46306 vsize=19063512 memory=465984 CPUtime=16.63 cores=1,3
/proc/46309/stat : 46309 (java) S 46306 46309 45940 0 -1 4194304 29203 0 0 0 1638 25 0 0 20 0 20 0 50044096 19521036288 116496 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
/proc/46309/statm: 4765878 116496 5558 1 0 1079958 0
[pid=46309/tid=46311] ppid=46306 vsize=19063512 memory=5632 CPUtime=12.1 cores=1,3
/proc/46309/task/46311/stat : 46311 (java) R 46306 46309 45940 0 -1 4194368 8523 0 0 0 1199 11 0 0 20 0 20 0 50044098 19521036288 116496 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46320] ppid=46306 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/46309/task/46320/stat : 46320 (Finalizer) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044103 19521036288 116496 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46327] ppid=46306 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/46309/task/46327/stat : 46327 (Common-Cleaner) S 46306 46309 45940 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 50044104 19521036288 116496 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46391] ppid=46306 vsize=19063512 memory=465728 CPUtime=0 cores=1,3
/proc/46309/task/46391/stat : 46391 (Timer-0) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044345 19521036288 116496 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
Current children cumulated CPU time: 16.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 465984 KiB

[startup+25.5004 s]
/proc/loadavg: 4.56 4.37 4.33 5/325 46528
/proc/meminfo: memFree=128127924/131382112 swapFree=33010684/33010684
[pid=46309] ppid=46306 vsize=19063512 memory=465984 CPUtime=29.41 cores=1,3
/proc/46309/stat : 46309 (java) S 46306 46309 45940 0 -1 4194304 29938 0 0 0 2915 26 0 0 20 0 20 0 50044096 19521036288 116496 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
/proc/46309/statm: 4765878 116496 5558 1 0 1079958 0
[pid=46309/tid=46311] ppid=46306 vsize=19063512 memory=0 CPUtime=24.86 cores=1,3
/proc/46309/task/46311/stat : 46311 (java) R 46306 46309 45940 0 -1 4194368 9195 0 0 0 2475 11 0 0 20 0 20 0 50044098 19521036288 116496 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46320] ppid=46306 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/46309/task/46320/stat : 46320 (Finalizer) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044103 19521036288 116496 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46327] ppid=46306 vsize=19063512 memory=-6000919489970267755 CPUtime=0 cores=1,3
/proc/46309/task/46327/stat : 46327 (Common-Cleaner) S 46306 46309 45940 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 50044104 19521036288 116496 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46391] ppid=46306 vsize=19063512 memory=465728 CPUtime=0 cores=1,3
/proc/46309/task/46391/stat : 46391 (Timer-0) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044345 19521036288 116496 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
Current children cumulated CPU time: 29.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 465984 KiB

[startup+51.1131 s]
/proc/loadavg: 4.37 4.34 4.32 5/325 46528
/proc/meminfo: memFree=127840056/131382112 swapFree=33010684/33010684
[pid=46309] ppid=46306 vsize=19063512 memory=547688 CPUtime=55.21 cores=1,3
/proc/46309/stat : 46309 (java) S 46306 46309 45940 0 -1 4194304 33174 0 0 0 5491 30 0 0 20 0 20 0 50044096 19521036288 136922 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
/proc/46309/statm: 4765878 136922 5558 1 0 1681551 0
[pid=46309/tid=46311] ppid=46306 vsize=19063512 memory=539496 CPUtime=50.29 cores=1,3
/proc/46309/task/46311/stat : 46311 (java) R 46306 46309 45940 0 -1 4194368 9371 0 0 0 5017 12 0 0 20 0 20 0 50044098 19521036288 136922 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46320] ppid=46306 vsize=19063512 memory=533352 CPUtime=0 cores=1,3
/proc/46309/task/46320/stat : 46320 (Finalizer) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044103 19521036288 136922 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46327] ppid=46306 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/46309/task/46327/stat : 46327 (Common-Cleaner) S 46306 46309 45940 0 -1 4194368 65 0 0 0 0 0 0 0 20 0 20 0 50044104 19521036288 136922 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46391] ppid=46306 vsize=19063512 memory=17664 CPUtime=0 cores=1,3
/proc/46309/task/46391/stat : 46391 (Timer-0) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044345 19521036288 136922 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
Current children cumulated CPU time: 55.21 s

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

Current children cumulated memory: 4065120 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.14 4.13 5/327 46697
/proc/meminfo: memFree=114922632/131382112 swapFree=33010684/33010684
[pid=46309] ppid=46306 vsize=19063512 memory=4065120 CPUtime=3350.44 cores=1,3
/proc/46309/stat : 46309 (java) S 46306 46309 45940 0 -1 4194304 114455 0 0 0 334786 258 0 0 20 0 20 0 50044096 19521036288 1016280 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
/proc/46309/statm: 4765878 1016280 5558 1 0 1684490 0
[pid=46309/tid=46311] ppid=46306 vsize=19063512 memory=14848 CPUtime=3325.26 cores=1,3
/proc/46309/task/46311/stat : 46311 (java) R 46306 46309 45940 0 -1 4194368 43235 0 0 0 332499 27 0 0 20 0 20 0 50044098 19521036288 1016280 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46320] ppid=46306 vsize=19063512 memory=4065120 CPUtime=0 cores=1,3
/proc/46309/task/46320/stat : 46320 (Finalizer) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044103 19521036288 1016280 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46327] ppid=46306 vsize=19063512 memory=4065120 CPUtime=0 cores=1,3
/proc/46309/task/46327/stat : 46327 (Common-Cleaner) S 46306 46309 45940 0 -1 4194368 1979 0 0 0 0 0 0 0 20 0 20 0 50044104 19521036288 1016280 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46391] ppid=46306 vsize=19063512 memory=4065120 CPUtime=0 cores=1,3
/proc/46309/task/46391/stat : 46391 (Timer-0) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044345 19521036288 1016280 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
Current children cumulated CPU time: 3350.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4065120 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.11 4.12 5/327 46699
/proc/meminfo: memFree=114918724/131382112 swapFree=33010684/33010684
[pid=46309] ppid=46306 vsize=19063512 memory=4069260 CPUtime=3410.53 cores=1,3
/proc/46309/stat : 46309 (java) S 46306 46309 45940 0 -1 4194304 115858 0 0 0 340792 261 0 0 20 0 20 0 50044096 19521036288 1017315 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
/proc/46309/statm: 4765878 1017315 5558 1 0 1684490 0
[pid=46309/tid=46311] ppid=46306 vsize=19063512 memory=4065120 CPUtime=3384.91 cores=1,3
/proc/46309/task/46311/stat : 46311 (java) R 46306 46309 45940 0 -1 4194368 44502 0 0 0 338464 27 0 0 20 0 20 0 50044098 19521036288 1017315 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46320] ppid=46306 vsize=19063512 memory=4069260 CPUtime=0 cores=1,3
/proc/46309/task/46320/stat : 46320 (Finalizer) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044103 19521036288 1017315 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46327] ppid=46306 vsize=19063512 memory=4069260 CPUtime=0 cores=1,3
/proc/46309/task/46327/stat : 46327 (Common-Cleaner) S 46306 46309 45940 0 -1 4194368 1979 0 0 0 0 0 0 0 20 0 20 0 50044104 19521036288 1017315 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46391] ppid=46306 vsize=19063512 memory=4069260 CPUtime=0 cores=1,3
/proc/46309/task/46391/stat : 46391 (Timer-0) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044345 19521036288 1017315 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
Current children cumulated CPU time: 3410.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4069260 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.10 4.12 5/326 46700
/proc/meminfo: memFree=114901392/131382112 swapFree=33010684/33010684
[pid=46309] ppid=46306 vsize=19063512 memory=4075472 CPUtime=3470.62 cores=1,3
/proc/46309/stat : 46309 (java) S 46306 46309 45940 0 -1 4194304 118097 0 0 0 346799 263 0 0 20 0 20 0 50044096 19521036288 1018868 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
/proc/46309/statm: 4765878 1018868 5558 1 0 1684490 0
[pid=46309/tid=46311] ppid=46306 vsize=19063512 memory=4065120 CPUtime=3444.57 cores=1,3
/proc/46309/task/46311/stat : 46311 (java) R 46306 46309 45940 0 -1 4194368 46035 0 0 0 344429 28 0 0 20 0 20 0 50044098 19521036288 1018868 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46320] ppid=46306 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/46309/task/46320/stat : 46320 (Finalizer) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044103 19521036288 1018868 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46327] ppid=46306 vsize=19063512 memory=17664 CPUtime=0 cores=1,3
/proc/46309/task/46327/stat : 46327 (Common-Cleaner) S 46306 46309 45940 0 -1 4194368 2060 0 0 0 0 0 0 0 20 0 20 0 50044104 19521036288 1018868 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46391] ppid=46306 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/46309/task/46391/stat : 46391 (Timer-0) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044345 19521036288 1018868 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
Current children cumulated CPU time: 3470.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4075472 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/325 46702
/proc/meminfo: memFree=114904268/131382112 swapFree=33010684/33010684
[pid=46309] ppid=46306 vsize=19063512 memory=4076368 CPUtime=3531.59 cores=1,3
/proc/46309/stat : 46309 (java) S 46306 46309 45940 0 -1 4194304 121015 0 0 0 352892 267 0 0 20 0 20 0 50044096 19521036288 1019092 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
/proc/46309/statm: 4765878 1019092 5558 1 0 1684730 0
[pid=46309/tid=46311] ppid=46306 vsize=19063512 memory=14848 CPUtime=3504 cores=1,3
/proc/46309/task/46311/stat : 46311 (java) R 46306 46309 45940 0 -1 4194368 46660 0 0 0 350372 28 0 0 20 0 20 0 50044098 19521036288 1019092 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46320] ppid=46306 vsize=19063512 memory=4075472 CPUtime=0 cores=1,3
/proc/46309/task/46320/stat : 46320 (Finalizer) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044103 19521036288 1019092 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46327] ppid=46306 vsize=19063512 memory=4076368 CPUtime=0 cores=1,3
/proc/46309/task/46327/stat : 46327 (Common-Cleaner) S 46306 46309 45940 0 -1 4194368 2083 0 0 0 0 0 0 0 20 0 20 0 50044104 19521036288 1019092 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46391] ppid=46306 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/46309/task/46391/stat : 46391 (Timer-0) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044345 19521036288 1019092 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
Current children cumulated CPU time: 3531.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4076368 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/325 46704
/proc/meminfo: memFree=114903560/131382112 swapFree=33010684/33010684
[pid=46309] ppid=46306 vsize=19063512 memory=4076368 CPUtime=3591.68 cores=1,3
/proc/46309/stat : 46309 (java) S 46306 46309 45940 0 -1 4194304 122754 0 0 0 358898 270 0 0 20 0 20 0 50044096 19521036288 1019092 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
/proc/46309/statm: 4765878 1019092 5558 1 0 1684730 0
[pid=46309/tid=46311] ppid=46306 vsize=19063512 memory=17664 CPUtime=3563.64 cores=1,3
/proc/46309/task/46311/stat : 46311 (java) R 46306 46309 45940 0 -1 4194368 48177 0 0 0 356336 28 0 0 20 0 20 0 50044098 19521036288 1019092 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46320] ppid=46306 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/46309/task/46320/stat : 46320 (Finalizer) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044103 19521036288 1019092 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46327] ppid=46306 vsize=19063512 memory=4076368 CPUtime=0 cores=1,3
/proc/46309/task/46327/stat : 46327 (Common-Cleaner) S 46306 46309 45940 0 -1 4194368 2083 0 0 0 0 0 0 0 20 0 20 0 50044104 19521036288 1019092 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46391] ppid=46306 vsize=19063512 memory=4076368 CPUtime=0 cores=1,3
/proc/46309/task/46391/stat : 46391 (Timer-0) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044345 19521036288 1019092 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
Current children cumulated CPU time: 3591.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4076368 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3590.7 s]
/proc/loadavg: 4.08 4.10 4.11 5/325 46705
/proc/meminfo: memFree=114899496/131382112 swapFree=33010684/33010684
[pid=46309] ppid=46306 vsize=19063512 memory=4076368 CPUtime=3600.07 cores=1,3
/proc/46309/stat : 46309 (java) S 46306 46309 45940 0 -1 4194304 123046 0 0 0 359737 270 0 0 20 0 20 0 50044096 19521036288 1019092 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
/proc/46309/statm: 4765878 1019092 5558 1 0 1684730 0
[pid=46309/tid=46311] ppid=46306 vsize=19063512 memory=17664 CPUtime=3572.02 cores=1,3
/proc/46309/task/46311/stat : 46311 (java) R 46306 46309 45940 0 -1 4194368 48388 0 0 0 357174 28 0 0 20 0 20 0 50044098 19521036288 1019092 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46320] ppid=46306 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/46309/task/46320/stat : 46320 (Finalizer) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044103 19521036288 1019092 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46327] ppid=46306 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/46309/task/46327/stat : 46327 (Common-Cleaner) S 46306 46309 45940 0 -1 4194368 2164 0 0 0 0 0 0 0 20 0 20 0 50044104 19521036288 1019092 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46391] ppid=46306 vsize=19063512 memory=4076368 CPUtime=0 cores=1,3
/proc/46309/task/46391/stat : 46391 (Timer-0) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50044345 19521036288 1019092 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4076368 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.9 s, system=2.73559 s

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

[startup+3590.81 s]
/proc/loadavg: 4.08 4.10 4.11 5/325 46705
/proc/meminfo: memFree=114899496/131382112 swapFree=33010684/33010684
[pid=46309] ppid=46306 vsize=19263204 memory=4077136 CPUtime=3600.27 cores=1,3
/proc/46309/stat : 46309 (java) S 46306 46309 45940 0 -1 4194304 125436 0 0 0 359756 271 0 0 20 0 21 0 50044096 19725520896 1019284 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
/proc/46309/statm: 4815801 1019284 5558 1 0 1685684 0
[pid=46309/tid=46311] ppid=46306 vsize=19263204 memory=4764 CPUtime=3572.12 cores=1,3
/proc/46309/task/46311/stat : 46311 (java) R 46306 46309 45940 0 -1 4194368 48821 0 0 0 357184 28 0 0 20 0 21 0 50044098 19725520896 1019284 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46320] ppid=46306 vsize=19263204 memory=-6000919481380464235 CPUtime=0 cores=1,3
/proc/46309/task/46320/stat : 46320 (Finalizer) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 50044103 19725520896 1019284 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46327] ppid=46306 vsize=19263204 memory=10752 CPUtime=0 cores=1,3
/proc/46309/task/46327/stat : 46327 (Common-Cleaner) S 46306 46309 45940 0 -1 4194368 2164 0 0 0 0 0 0 0 20 0 21 0 50044104 19725520896 1019284 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4077136 KiB

[startup+3590.9 s]
/proc/loadavg: 4.08 4.10 4.11 5/325 46705
/proc/meminfo: memFree=114899496/131382112 swapFree=33010684/33010684
[pid=46309] ppid=46306 vsize=19263204 memory=4077264 CPUtime=3600.46 cores=1,3
/proc/46309/stat : 46309 (java) S 46306 46309 45940 0 -1 4194304 125531 0 0 0 359775 271 0 0 20 0 21 0 50044096 19725520896 1019316 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
/proc/46309/statm: 4815801 1019316 5558 1 0 1685684 0
[pid=46309/tid=46311] ppid=46306 vsize=19263204 memory=17664 CPUtime=3572.22 cores=1,3
/proc/46309/task/46311/stat : 46311 (java) R 46306 46309 45940 0 -1 4194368 48821 0 0 0 357194 28 0 0 20 0 21 0 50044098 19725520896 1019316 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46320] ppid=46306 vsize=19263204 memory=5632 CPUtime=0 cores=1,3
/proc/46309/task/46320/stat : 46320 (Finalizer) S 46306 46309 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 50044103 19725520896 1019316 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
[pid=46309/tid=46327] ppid=46306 vsize=19263204 memory=5632 CPUtime=0 cores=1,3
/proc/46309/task/46327/stat : 46327 (Common-Cleaner) S 46306 46309 45940 0 -1 4194368 2164 0 0 0 0 0 0 0 20 0 21 0 50044104 19725520896 1019316 18446744073709551615 94405608968192 94405608971888 140733757921136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94405608979704 94405608980496 94405632970752 140733757925761 140733757925862 140733757925862 140733757931464 0
Current children cumulated CPU time: 3600.46 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4077264 KiB

Child status: 143

Real time (s): 3590.99
CPU time (s): 3600.63
CPU user time (s): 3597.9
CPU system time (s): 2.73559
CPU usage (%): 100.268
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4077264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.9
system time used= 2.73559
maximum resident set size= 4077520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125917
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119404
involuntary context switches= 3868


# summary of solver processes directly reported to runsolver:
#   pid: 46309
#   total CPU time (s): 3600.63
#   total CPU user time (s): 3597.9
#   total CPU system time (s): 2.73559

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2363 second user time and 36.7566 second system time

The end

Begin job on nodeC012 at 2025-07-01 06:20:44
IDJOB=4489698
IDBENCH=147561
IDSOLVER=3363
FILE ID=nodeC012/4489698-1751343643
RUNJOBID= nodeC012-1751340116-45952
SLURM_JOB_ID= 9594408
Free space on /tmp= 433040 MiB

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

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

MD5SUM BENCH= ac2beb72083c40d036c40a53754bf1b9
RANDOM SEED=1709826698

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        89177444 kB
MemAvailable:   89165688 kB
Buffers:            3280 kB
Cached:           796428 kB
SwapCached:            0 kB
Active:         41125572 kB
Inactive:         486024 kB
Active(anon):   40829848 kB
Inactive(anon):        0 kB
Active(file):     295724 kB
Inactive(file):   486024 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             17548 kB
Writeback:             0 kB
AnonPages:      40814960 kB
Mapped:           122752 kB
Shmem:             17960 kB
KReclaimable:      91860 kB
Slab:             175480 kB
SReclaimable:      91860 kB
SUnreclaim:        83620 kB
KernelStack:        4928 kB
PageTables:        83440 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   46048256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  40294400 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

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