Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution Default 2024-07-07 | SAT (TO) | 37 | 3600.37 | 3607.57 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_opers/normalized-fir06_area_opers.opb |
| MD5SUM | 8c829249b2b00c19bbbec969c36f23bb |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 23 |
| Best CPU time to get the best result obtained on this benchmark | 1.81697 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 11085 |
| Total number of constraints | 23298 |
| Number of constraints which are clauses | 23298 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 5533 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 5533 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 5533 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version CUSTOM.v20240707 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 2104792832 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.08 c Number of processors 2 0.13/0.12 --- Begin Solver configuration --- 0.13/0.12 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.13/0.12 Learn all clauses as in MiniSAT 0.13/0.12 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.12 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.13/0.12 No reason simplification 0.13/0.12 Glucose 2.1 dynamic restart strategy 0.13/0.12 Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.13/0.12 timeout=2147483s 0.13/0.12 DB Simplification allowed=false 0.13/0.12 Listener: none 0.13/0.12 --- End Solver configuration --- 0.13/0.13 c Pseudo Boolean Optimization by upper bound 0.13/0.13 c --- Begin Solver configuration --- 0.13/0.13 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.13/0.13 c Learn all clauses as in MiniSAT 0.13/0.13 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.13/0.13 c No reason simplification 0.13/0.13 c Glucose 2.1 dynamic restart strategy 0.13/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.13/0.13 c timeout=2147483s 0.13/0.13 c DB Simplification allowed=false 0.13/0.13 c Listener: none 0.13/0.13 c --- End Solver configuration --- 0.13/0.13 c solving HOME/instance-4432319-1721113782.opb 0.13/0.13 c reading problem ... 0.13/0.13 c objective function found 0.35/0.30 c ... done. Wall clock time 0.183s. 0.53/0.31 c declared #vars 11085 0.53/0.31 c #constraints 23298 0.53/0.31 c constraints type 0.53/0.31 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 17735 0.53/0.31 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5560 0.53/0.31 c org.sat4j.pb.constraints.pb.UnitClausePB => 3 0.53/0.31 c 23298 constraints processed. 0.53/0.32 c objective function length is 5533 literals 0.53/0.38 c SATISFIABLE 0.53/0.38 c OPTIMIZING... 0.53/0.38 c Got one! Elapsed wall clock time (in seconds):0.252 0.53/0.38 o 40 0.72/0.42 c Got one! Elapsed wall clock time (in seconds):0.3 0.72/0.42 o 39 0.72/0.46 c Got one! Elapsed wall clock time (in seconds):0.342 0.72/0.46 o 38 1.11/0.62 c Got one! Elapsed wall clock time (in seconds):0.49 1.11/0.62 o 37 4.16/3.28 c cleaning 2718 clauses out of 5468 with flag 26774/5468 7.99/6.87 c cleaning 4370 clauses out of 8752 with flag 85809/11470 12.07/10.98 c cleaning 5682 clauses out of 11380 with flag 167705/18468 16.65/15.58 c cleaning 6850 clauses out of 13700 with flag 252741/26470 21.90/20.88 c cleaning 7908 clauses out of 15848 with flag 327787/35468 27.66/26.62 c cleaning 8951 clauses out of 17941 with flag 410768/45469 33.61/32.67 c cleaning 9981 clauses out of 19989 with flag 510170/56468 40.37/39.45 c cleaning 10994 clauses out of 22008 with flag 612239/68468 47.02/46.19 c cleaning 12002 clauses out of 24014 with flag 765365/81468 54.87/54.08 c cleaning 12915 clauses out of 26012 with flag 958187/95468 63.79/63.04 c cleaning 13962 clauses out of 28097 with flag 1197303/110468 73.12/72.45 c cleaning 15066 clauses out of 30135 with flag 1388232/126468 82.99/82.33 c cleaning 15968 clauses out of 32069 with flag 1571690/143468 93.61/93.05 c cleaning 16979 clauses out of 34101 with flag 1784949/161468 104.53/104.06 c cleaning 18005 clauses out of 36122 with flag 1946827/180468 117.14/116.79 c cleaning 19047 clauses out of 38117 with flag 2217921/200468 129.64/129.30 c cleaning 19860 clauses out of 40070 with flag 2450364/221468 143.04/142.83 c cleaning 21097 clauses out of 42210 with flag 2689326/243468 156.39/156.20 c cleaning 21994 clauses out of 44113 with flag 2934485/266468 170.16/170.09 c cleaning 23050 clauses out of 46119 with flag 3233253/290468 185.04/184.96 c cleaning 24022 clauses out of 48071 with flag 3483930/315470 200.00/199.95 c cleaning 24960 clauses out of 50047 with flag 3731747/341468 216.16/216.14 c cleaning 26024 clauses out of 52087 with flag 3965107/368468 233.12/233.16 c cleaning 26876 clauses out of 54063 with flag 4251698/396468 250.98/251.06 c cleaning 28083 clauses out of 56188 with flag 4581107/425469 269.03/269.14 c cleaning 29052 clauses out of 58105 with flag 4845302/455469 287.68/287.80 c cleaning 30021 clauses out of 60052 with flag 5158431/486468 307.23/307.46 c cleaning 31007 clauses out of 62031 with flag 5579341/518468 325.91/326.18 c cleaning 32008 clauses out of 64024 with flag 5907445/551468 346.55/346.88 c cleaning 32909 clauses out of 66016 with flag 6335450/585468 367.90/368.28 c cleaning 34038 clauses out of 68107 with flag 6807567/620468 389.87/390.26 c cleaning 34939 clauses out of 70069 with flag 7311127/656468 413.02/413.44 c cleaning 35931 clauses out of 72130 with flag 7783150/693468 437.05/437.51 c cleaning 37099 clauses out of 74199 with flag 8282770/731468 459.92/460.45 c cleaning 37981 clauses out of 76100 with flag 8737374/770468 484.57/485.11 c cleaning 38960 clauses out of 78119 with flag 9318097/810468 508.72/509.34 c cleaning 39974 clauses out of 80159 with flag 9835362/851468 536.94/537.67 c cleaning 41048 clauses out of 82185 with flag 10552807/893468 564.67/565.48 c cleaning 41945 clauses out of 84137 with flag 11233110/936468 593.35/594.14 c cleaning 43071 clauses out of 86192 with flag 11786730/980468 622.18/623.06 c cleaning 43955 clauses out of 88121 with flag 12334762/1025468 653.05/653.99 c cleaning 45062 clauses out of 90166 with flag 12985475/1071468 683.47/684.40 c cleaning 45997 clauses out of 92104 with flag 13663697/1118468 715.88/717.03 c cleaning 46953 clauses out of 94107 with flag 14315706/1166468 747.77/749.11 c cleaning 48042 clauses out of 96154 with flag 14975691/1215468 777.84/779.45 c cleaning 49034 clauses out of 98112 with flag 15480294/1265468 810.71/812.56 c cleaning 50010 clauses out of 100078 with flag 16100553/1316468 845.64/847.70 c cleaning 50959 clauses out of 102068 with flag 16928487/1368468 882.32/884.57 c cleaning 51976 clauses out of 104109 with flag 17673222/1421468 920.90/923.18 c cleaning 53001 clauses out of 106133 with flag 18507585/1475468 960.20/962.54 c cleaning 53994 clauses out of 108132 with flag 19298288/1530468 1000.30/1002.70 c cleaning 54968 clauses out of 110138 with flag 20094405/1586468 1039.23/1041.71 c cleaning 56030 clauses out of 112170 with flag 20811002/1643468 1078.11/1080.66 c cleaning 57016 clauses out of 114140 with flag 21623057/1701468 1117.02/1119.63 c cleaning 57984 clauses out of 116124 with flag 22484700/1760468 1157.68/1160.33 c cleaning 59047 clauses out of 118140 with flag 23399226/1820468 1200.57/1203.38 c cleaning 59984 clauses out of 120093 with flag 24297483/1881468 1244.34/1247.16 c cleaning 61055 clauses out of 122109 with flag 25230349/1943468 1288.52/1291.46 c cleaning 61895 clauses out of 124054 with flag 26164324/2006468 1333.02/1335.77 c cleaning 63053 clauses out of 126159 with flag 26987098/2070468 1375.52/1378.30 c cleaning 64002 clauses out of 128106 with flag 27850826/2135468 1418.97/1421.89 c cleaning 65037 clauses out of 130104 with flag 28806620/2201468 1466.44/1469.40 c cleaning 65970 clauses out of 132067 with flag 29805916/2268468 1509.42/1512.50 c cleaning 67020 clauses out of 134097 with flag 30587550/2336468 1556.11/1559.25 c cleaning 68032 clauses out of 136077 with flag 31715270/2405468 1603.69/1606.91 c cleaning 69002 clauses out of 138045 with flag 32511444/2475468 1652.55/1655.92 c cleaning 69989 clauses out of 140045 with flag 33530332/2546470 1701.10/1704.54 c cleaning 71027 clauses out of 142055 with flag 34292101/2618469 1754.47/1758.05 c cleaning 71952 clauses out of 144027 with flag 35370894/2691468 1805.64/1809.33 c cleaning 73012 clauses out of 146075 with flag 36355160/2765468 1859.60/1863.42 c cleaning 73995 clauses out of 148063 with flag 37438227/2840468 1911.96/1915.85 c cleaning 75028 clauses out of 150068 with flag 38524473/2916468 1970.11/1974.11 c cleaning 75970 clauses out of 152040 with flag 39657603/2993468 2023.77/2027.96 c cleaning 76985 clauses out of 154070 with flag 40658454/3071468 2082.41/2086.69 c cleaning 78043 clauses out of 156086 with flag 41841868/3150469 2140.06/2144.47 c cleaning 79014 clauses out of 158042 with flag 43164252/3230468 2199.09/2203.62 c cleaning 79909 clauses out of 160028 with flag 44238378/3311468 2259.32/2264.07 c cleaning 80947 clauses out of 162119 with flag 45490733/3393468 2319.94/2324.81 c cleaning 82042 clauses out of 164172 with flag 46632641/3476468 2383.06/2388.06 c cleaning 82985 clauses out of 166130 with flag 47924315/3560468 2444.91/2450.01 c cleaning 83953 clauses out of 168145 with flag 49054305/3645468 2503.25/2508.52 c cleaning 85075 clauses out of 170192 with flag 50150043/3731468 2562.40/2567.85 c cleaning 86002 clauses out of 172118 with flag 51238641/3818469 2625.31/2630.85 c cleaning 87017 clauses out of 174115 with flag 52420799/3906468 2686.95/2692.62 c cleaning 88027 clauses out of 176098 with flag 53439964/3995468 2749.39/2755.21 c cleaning 89026 clauses out of 178071 with flag 54682760/4085468 2814.62/2820.68 c cleaning 89962 clauses out of 180045 with flag 55940406/4176468 2882.23/2888.34 c cleaning 90847 clauses out of 182083 with flag 57272646/4268468 2953.73/2960.07 c cleaning 92098 clauses out of 184236 with flag 58603596/4361468 3021.54/3028.09 c cleaning 92952 clauses out of 186138 with flag 59858948/4455468 3097.74/3103.90 c cleaning 94014 clauses out of 188186 with flag 61292419/4550468 3163.96/3170.34 c cleaning 94986 clauses out of 190172 with flag 62557651/4646468 3234.99/3241.55 c cleaning 96076 clauses out of 192186 with flag 63929943/4743468 3303.42/3310.17 c cleaning 97046 clauses out of 194110 with flag 65079711/4841468 3374.71/3381.57 c cleaning 97955 clauses out of 196064 with flag 66355072/4940468 3449.13/3456.17 c cleaning 98855 clauses out of 198109 with flag 67781968/5040468 3524.43/3531.62 c cleaning 100106 clauses out of 200254 with flag 69039854/5141468 3600.04/3607.41 c starts : 18115 3600.04/3607.42 c conflicts : 5243411 3600.04/3607.42 c decisions : 143254538 3600.04/3607.42 c propagations : 31247879066 3600.04/3607.42 c inspects : 28583315707 3600.04/3607.42 c shortcuts : 0 3600.04/3607.42 c learnt literals : 0 3600.04/3607.42 c learnt binary clauses : 0 3600.04/3607.42 c learnt ternary clauses : 5 3600.04/3607.42 c learnt constraints : 5243411 3600.04/3607.42 c ignored constraints : 0 3600.04/3607.42 c root simplifications : 0 3600.04/3607.42 c removed literals (reason simplification) : 0 3600.04/3607.42 c reason swapping (by a shorter reason) : 0 3600.04/3607.42 c Calls to reduceDB : 97 3600.04/3607.42 c Number of update (reduction) of LBD : 2230715 3600.04/3607.42 c Imported unit clauses : 0 3600.04/3607.42 c No decision after first conflict : false 3600.04/3607.42 c number of reductions to clauses (during analyze) : 0 3600.04/3607.42 c number of learned constraints concerned by reduction : 0 3600.04/3607.42 c number of learning phase by resolution : 0 3600.04/3607.42 c number of learning phase by cutting planes : 0 3600.04/3607.42 c number of rounding to 1 operations : 0 3600.04/3607.42 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.04/3607.42 c number of reductions of the coefficients by power 2 : 0 3600.04/3607.42 c number of right shift for reduction by power 2 : 0 3600.04/3607.42 c number of reductions of the coefficients by GCD over coefficients : 0 3600.04/3607.42 c number of ending skipping : 0 3600.04/3607.42 c number of internal skipping : 0 3600.04/3607.42 c number of derivation steps : 0 3600.04/3607.42 c number of skipped derivation steps : 0 3600.04/3607.42 c number of remaining unassigned : 0 3600.04/3607.42 c number of remaining assigned : 0 3600.04/3607.42 c number of falsified literals weakened from reason : 0 3600.04/3607.42 c number of falsified literals weakened from conflict : 0 3600.04/3607.42 c time for arithmetic operations : 0 3600.04/3607.42 c minimum degree of deleted constraints : null 3600.04/3607.42 c maximum degree of deleted constraints : null 3600.04/3607.42 c number of deleted constraints : 0 3600.04/3607.42 c speed (assignments/second) : 8662895.689993108 3600.04/3607.42 c non guided choices : 0 3600.26/3607.52 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 202091 3600.26/3607.52 s SATISFIABLE 3600.26/3607.52 c Found 4 solution(s) 3600.26/3607.52 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 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 x10281 x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 x10470 -x10471 -x10472 -x10473 -x10474 x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 x10631 x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 x10653 x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 x10989 x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 x11028 x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 x11053 x11054 -x11055 -x11056 x11057 x11058 -x11059 x11060 -x11061 x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 x11074 x11075 -x11076 x11077 x11078 -x11079 x11080 x11081 x11082 -x11083 x11084 x11085 3600.26/3607.56 c objective function=37 3600.26/3607.56 c Total wall clock time (in seconds): 3607.439
OK 37
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: 63968 MiB (63082 MiB free)
memory of node 1: 64473 MiB (63136 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432319-1721113782/watcher-4432319-1721113782 -o /tmp/evaluation-result-4432319-1721113782/solver-4432319-1721113782 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721113794-840453 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432319-1721113782.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=840525, runsolver pid=840521
Current StackSize limit: 8192 KiB
[startup+0.100263 s]*
/proc/loadavg: 3.78 4.05 4.07 10/324 840585
/proc/meminfo: memFree=129119700/131524600 swapFree=131071996/131071996
[pid=840525] ppid=840521 vsize=18975048 memory=64980 CPUtime=0.13 cores=0,2
/proc/840525/stat : 840525 (java) S 840521 840525 840443 0 -1 1077936128 7210 0 0 0 11 2 0 0 20 0 18 0 163545246 19430449152 16245 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
/proc/840525/statm: 4743762 16245 5620 1 0 549335 0
[pid=840525/tid=840534] ppid=840521 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/840525/task/840534/stat : 840534 (java) S 840521 840525 840443 0 -1 1077936192 5741 0 0 0 7 1 0 0 20 0 18 0 163545246 19430449152 16245 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840578] ppid=840521 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/840525/task/840578/stat : 840578 (Finalizer) S 840521 840525 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163545249 19430449152 16245 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840585] ppid=840521 vsize=18975048 memory=13573695205540511 CPUtime=0 cores=0,2
/proc/840525/task/840585/stat : 840585 (Common-Cleaner) S 840521 840525 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 163545249 19430449152 16245 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64980 KiB
[startup+0.217349 s]*
/proc/loadavg: 3.78 4.05 4.07 14/325 840586
/proc/meminfo: memFree=129059284/131524600 swapFree=131071996/131071996
[pid=840525] ppid=840521 vsize=18975048 memory=85136 CPUtime=0.35 cores=0,2
/proc/840525/stat : 840525 (java) S 840521 840525 840443 0 -1 1077936128 8236 0 0 0 33 2 0 0 20 0 18 0 163545246 19430449152 21284 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
/proc/840525/statm: 4743762 21284 5803 1 0 549954 0
[pid=840525/tid=840534] ppid=840521 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/840525/task/840534/stat : 840534 (java) S 840521 840525 840443 0 -1 1077936192 5912 0 0 0 18 1 0 0 20 0 18 0 163545246 19430449152 21284 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840578] ppid=840521 vsize=18975048 memory=17993 CPUtime=0 cores=0,2
/proc/840525/task/840578/stat : 840578 (Finalizer) S 840521 840525 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163545249 19430449152 21284 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840585] ppid=840521 vsize=18975048 memory=15261445554177772 CPUtime=0 cores=0,2
/proc/840525/task/840585/stat : 840585 (Common-Cleaner) S 840521 840525 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 163545249 19430449152 21284 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 85136 KiB
[startup+0.311142 s]*
/proc/loadavg: 3.78 4.05 4.07 12/327 840588
/proc/meminfo: memFree=129007236/131524600 swapFree=131071996/131071996
[pid=840525] ppid=840521 vsize=18975048 memory=116732 CPUtime=0.53 cores=0,2
/proc/840525/stat : 840525 (java) S 840521 840525 840443 0 -1 1077936128 9231 0 0 0 50 3 0 0 20 0 18 0 163545246 19430449152 29183 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
/proc/840525/statm: 4743762 29183 5811 1 0 550611 0
[pid=840525/tid=840534] ppid=840521 vsize=18975048 memory=-9104982587974460092 CPUtime=0.28 cores=0,2
/proc/840525/task/840534/stat : 840534 (java) R 840521 840525 840443 0 -1 4194368 5974 0 0 0 26 2 0 0 20 0 18 0 163545246 19430449152 29183 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840578] ppid=840521 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/840525/task/840578/stat : 840578 (Finalizer) S 840521 840525 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163545249 19430449152 29183 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840585] ppid=840521 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/840525/task/840585/stat : 840585 (Common-Cleaner) S 840521 840525 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 163545249 19430449152 29183 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 116732 KiB
[startup+0.705063 s]
/proc/loadavg: 3.78 4.05 4.07 10/328 840589
/proc/meminfo: memFree=128982672/131524600 swapFree=131071996/131071996
[pid=840525] ppid=840521 vsize=19041612 memory=132528 CPUtime=1.29 cores=0,2
/proc/840525/stat : 840525 (java) S 840521 840525 840443 0 -1 1077936128 10262 0 0 0 126 3 0 0 20 0 19 0 163545246 19498610688 33132 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
/proc/840525/statm: 4760403 33132 5857 1 0 551629 0
[pid=840525/tid=840534] ppid=840521 vsize=19041612 memory=5616 CPUtime=0.63 cores=0,2
/proc/840525/task/840534/stat : 840534 (java) R 840521 840525 840443 0 -1 4194368 6071 0 0 0 61 2 0 0 20 0 19 0 163545246 19498610688 33132 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840578] ppid=840521 vsize=19041612 memory=12384 CPUtime=0 cores=0,2
/proc/840525/task/840578/stat : 840578 (Finalizer) S 840521 840525 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163545249 19498610688 33132 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840585] ppid=840521 vsize=19041612 memory=164 CPUtime=0 cores=0,2
/proc/840525/task/840585/stat : 840585 (Common-Cleaner) S 840521 840525 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163545249 19498610688 33132 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840589] ppid=840521 vsize=19041612 memory=279870538314752 CPUtime=0 cores=0,2
/proc/840525/task/840589/stat : 840589 (Timer-0) S 840521 840525 840443 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 163545279 19498610688 33132 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 132528 KiB
[startup+1.50041 s]
/proc/loadavg: 3.78 4.05 4.07 5/328 840589
/proc/meminfo: memFree=128962300/131524600 swapFree=131071996/131071996
[pid=840525] ppid=840521 vsize=19041612 memory=135468 CPUtime=2.3 cores=0,2
/proc/840525/stat : 840525 (java) S 840521 840525 840443 0 -1 1077936128 10835 0 0 0 226 4 0 0 20 0 19 0 163545246 19498610688 33867 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
/proc/840525/statm: 4760403 33867 5873 1 0 551738 0
[pid=840525/tid=840534] ppid=840521 vsize=19041612 memory=12384 CPUtime=1.42 cores=0,2
/proc/840525/task/840534/stat : 840534 (java) R 840521 840525 840443 0 -1 4194368 6209 0 0 0 140 2 0 0 20 0 19 0 163545246 19498610688 33867 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840578] ppid=840521 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/840525/task/840578/stat : 840578 (Finalizer) S 840521 840525 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163545249 19498610688 33867 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840585] ppid=840521 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/840525/task/840585/stat : 840585 (Common-Cleaner) S 840521 840525 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163545249 19498610688 33867 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840589] ppid=840521 vsize=19041612 memory=279870538163472 CPUtime=0 cores=0,2
/proc/840525/task/840589/stat : 840589 (Timer-0) S 840521 840525 840443 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 163545279 19498610688 33867 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 135468 KiB
[startup+3.10541 s]
/proc/loadavg: 3.78 4.05 4.07 6/328 840589
/proc/meminfo: memFree=128923436/131524600 swapFree=131071996/131071996
[pid=840525] ppid=840521 vsize=19041612 memory=138192 CPUtime=4.06 cores=0,2
/proc/840525/stat : 840525 (java) S 840521 840525 840443 0 -1 1077936128 14608 0 0 0 402 4 0 0 20 0 19 0 163545246 19498610688 34548 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
/proc/840525/statm: 4760403 34548 5873 1 0 552397 0
[pid=840525/tid=840534] ppid=840521 vsize=19041612 memory=0 CPUtime=3.02 cores=0,2
/proc/840525/task/840534/stat : 840534 (java) R 840521 840525 840443 0 -1 4194368 6413 0 0 0 299 3 0 0 20 0 19 0 163545246 19498610688 34548 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840578] ppid=840521 vsize=19041612 memory=12384 CPUtime=0 cores=0,2
/proc/840525/task/840578/stat : 840578 (Finalizer) S 840521 840525 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163545249 19498610688 34548 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840585] ppid=840521 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/840525/task/840585/stat : 840585 (Common-Cleaner) S 840521 840525 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163545249 19498610688 34548 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840589] ppid=840521 vsize=19041612 memory=11608 CPUtime=0 cores=0,2
/proc/840525/task/840589/stat : 840589 (Timer-0) S 840521 840525 840443 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 163545279 19498610688 34548 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
Current children cumulated CPU time: 4.06 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 138192 KiB
[startup+6.30041 s]
/proc/loadavg: 3.88 4.07 4.08 5/328 840589
/proc/meminfo: memFree=128890956/131524600 swapFree=131071996/131071996
[pid=840525] ppid=840521 vsize=19041612 memory=137404 CPUtime=7.35 cores=0,2
/proc/840525/stat : 840525 (java) S 840521 840525 840443 0 -1 1077936128 18332 0 0 0 730 5 0 0 20 0 19 0 163545246 19498610688 34351 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
/proc/840525/statm: 4760403 34351 5873 1 0 552820 0
[pid=840525/tid=840534] ppid=840521 vsize=19041612 memory=12384 CPUtime=6.18 cores=0,2
/proc/840525/task/840534/stat : 840534 (java) R 840521 840525 840443 0 -1 4194368 7966 0 0 0 615 3 0 0 20 0 19 0 163545246 19498610688 34351 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840578] ppid=840521 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/840525/task/840578/stat : 840578 (Finalizer) S 840521 840525 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163545249 19498610688 34351 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840585] ppid=840521 vsize=19041612 memory=135468 CPUtime=0 cores=0,2
/proc/840525/task/840585/stat : 840585 (Common-Cleaner) S 840521 840525 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163545249 19498610688 34351 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840589] ppid=840521 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/840525/task/840589/stat : 840589 (Timer-0) S 840521 840525 840443 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 163545279 19498610688 34351 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
Current children cumulated CPU time: 7.35 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 137404 KiB
[startup+12.7004 s]
/proc/loadavg: 3.97 4.09 4.08 5/330 840595
/proc/meminfo: memFree=128809076/131524600 swapFree=131071996/131071996
[pid=840525] ppid=840521 vsize=19041612 memory=147180 CPUtime=13.86 cores=0,2
/proc/840525/stat : 840525 (java) S 840521 840525 840443 0 -1 1077936128 23781 0 0 0 1381 5 0 0 20 0 19 0 163545246 19498610688 36795 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
/proc/840525/statm: 4760403 36795 5873 1 0 553210 0
[pid=840525/tid=840534] ppid=840521 vsize=19041612 memory=0 CPUtime=12.53 cores=0,2
/proc/840525/task/840534/stat : 840534 (java) R 840521 840525 840443 0 -1 4194368 8980 0 0 0 1250 3 0 0 20 0 19 0 163545246 19498610688 36795 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840578] ppid=840521 vsize=19041612 memory=-9104982587974460092 CPUtime=0 cores=0,2
/proc/840525/task/840578/stat : 840578 (Finalizer) S 840521 840525 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163545249 19498610688 36795 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840585] ppid=840521 vsize=19041612 memory=2268 CPUtime=0 cores=0,2
/proc/840525/task/840585/stat : 840585 (Common-Cleaner) S 840521 840525 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163545249 19498610688 36795 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840589] ppid=840521 vsize=19041612 memory=11608 CPUtime=0 cores=0,2
/proc/840525/task/840589/stat : 840589 (Timer-0) S 840521 840525 840443 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 163545279 19498610688 36795 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
Current children cumulated CPU time: 13.86 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 147180 KiB
[startup+25.5004 s]
/proc/loadavg: 3.98 4.08 4.08 5/332 840598
/proc/meminfo: memFree=128677440/131524600 swapFree=131071996/131071996
[pid=840525] ppid=840521 vsize=19041612 memory=157460 CPUtime=26.57 cores=0,2
/proc/840525/stat : 840525 (java) S 840521 840525 840443 0 -1 1077936128 25322 0 0 0 2651 6 0 0 20 0 19 0 163545246 19498610688 39365 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
/proc/840525/statm: 4760403 39365 5877 1 0 553210 0
[pid=840525/tid=840534] ppid=840521 vsize=19041612 memory=153340 CPUtime=25.23 cores=0,2
/proc/840525/task/840534/stat : 840534 (java) R 840521 840525 840443 0 -1 4194368 10204 0 0 0 2520 3 0 0 20 0 19 0 163545246 19498610688 39365 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840578] ppid=840521 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/840525/task/840578/stat : 840578 (Finalizer) S 840521 840525 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163545249 19498610688 39365 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840585] ppid=840521 vsize=19041612 memory=279870538478752 CPUtime=0 cores=0,2
/proc/840525/task/840585/stat : 840585 (Common-Cleaner) S 840521 840525 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163545249 19498610688 39365 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840589] ppid=840521 vsize=19041612 memory=155412 CPUtime=0 cores=0,2
/proc/840525/task/840589/stat : 840589 (Timer-0) S 840521 840525 840443 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 163545279 19498610688 39365 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
Current children cumulated CPU time: 26.57 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 157460 KiB
[startup+51.1054 s]
/proc/loadavg: 4.07 4.09 4.08 5/334 840605
/proc/meminfo: memFree=128544716/131524600 swapFree=131071996/131071996
[pid=840525] ppid=840521 vsize=19108176 memory=184712 CPUtime=51.99 cores=0,2
/proc/840525/stat : 840525 (java) S 840521 840525 840443 0 -1 1077936128 29908 0 0 0 5192 7 0 0 20 0 20 0 163545246 19566772224 46178 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
/proc/840525/statm: 4777044 46178 5900 1 0 553499 0
[pid=840525/tid=840534] ppid=840521 vsize=19108176 memory=184400 CPUtime=50.61 cores=0,2
/proc/840525/task/840534/stat : 840534 (java) R 840521 840525 840443 0 -1 4194368 11878 0 0 0 5058 3 0 0 20 0 20 0 163545246 19566772224 46178 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840578] ppid=840521 vsize=19108176 memory=-9104982587974460092 CPUtime=0 cores=0,2
/proc/840525/task/840578/stat : 840578 (Finalizer) S 840521 840525 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545249 19566772224 46178 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/332 842369
/proc/meminfo: memFree=121079344/131524600 swapFree=131071996/131071996
[pid=840525] ppid=840521 vsize=19108176 memory=1830976 CPUtime=3275.69 cores=0,2
/proc/840525/stat : 840525 (java) S 840521 840525 840443 0 -1 1077936128 112707 0 0 0 327473 96 0 0 20 0 20 0 163545246 19566772224 457744 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
/proc/840525/statm: 4777044 457744 5915 1 0 556964 0
[pid=840525/tid=840534] ppid=840521 vsize=19108176 memory=1830976 CPUtime=3268.96 cores=0,2
/proc/840525/task/840534/stat : 840534 (java) R 840521 840525 840443 0 -1 4194368 46259 0 0 0 326887 9 0 0 20 0 20 0 163545246 19566772224 457744 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840578] ppid=840521 vsize=19108176 memory=1830972 CPUtime=0 cores=0,2
/proc/840525/task/840578/stat : 840578 (Finalizer) S 840521 840525 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545249 19566772224 457744 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840585] ppid=840521 vsize=19108176 memory=1830972 CPUtime=0 cores=0,2
/proc/840525/task/840585/stat : 840585 (Common-Cleaner) S 840521 840525 840443 0 -1 1077936192 3029 0 0 0 0 0 0 0 20 0 20 0 163545249 19566772224 457744 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840589] ppid=840521 vsize=19108176 memory=1830972 CPUtime=0 cores=0,2
/proc/840525/task/840589/stat : 840589 (Timer-0) S 840521 840525 840443 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 163545279 19566772224 457744 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
Current children cumulated CPU time: 3275.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1830976 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.14 6/330 842379
/proc/meminfo: memFree=121079076/131524600 swapFree=131071996/131071996
[pid=840525] ppid=840521 vsize=19108176 memory=1830988 CPUtime=3335.6 cores=0,2
/proc/840525/stat : 840525 (java) S 840521 840525 840443 0 -1 1077936128 114291 0 0 0 333464 96 0 0 20 0 20 0 163545246 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
/proc/840525/statm: 4777044 457747 5915 1 0 556966 0
[pid=840525/tid=840534] ppid=840521 vsize=19108176 memory=1830988 CPUtime=3328.68 cores=0,2
/proc/840525/task/840534/stat : 840534 (java) R 840521 840525 840443 0 -1 4194368 46699 0 0 0 332859 9 0 0 20 0 20 0 163545246 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840578] ppid=840521 vsize=19108176 memory=1830988 CPUtime=0 cores=0,2
/proc/840525/task/840578/stat : 840578 (Finalizer) S 840521 840525 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545249 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840585] ppid=840521 vsize=19108176 memory=11608 CPUtime=0 cores=0,2
/proc/840525/task/840585/stat : 840585 (Common-Cleaner) S 840521 840525 840443 0 -1 1077936192 3029 0 0 0 0 0 0 0 20 0 20 0 163545249 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840589] ppid=840521 vsize=19108176 memory=11608 CPUtime=0 cores=0,2
/proc/840525/task/840589/stat : 840589 (Timer-0) S 840521 840525 840443 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 163545279 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
Current children cumulated CPU time: 3335.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1830988 KiB
[startup+3402.3 s]
/proc/loadavg: 4.24 4.14 4.14 5/330 842389
/proc/meminfo: memFree=121078716/131524600 swapFree=131071996/131071996
[pid=840525] ppid=840521 vsize=19108176 memory=1830988 CPUtime=3395.45 cores=0,2
/proc/840525/stat : 840525 (java) S 840521 840525 840443 0 -1 1077936128 114455 0 0 0 339448 97 0 0 20 0 20 0 163545246 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
/proc/840525/statm: 4777044 457747 5915 1 0 556966 0
[pid=840525/tid=840534] ppid=840521 vsize=19108176 memory=1830988 CPUtime=3388.51 cores=0,2
/proc/840525/task/840534/stat : 840534 (java) R 840521 840525 840443 0 -1 4194368 46858 0 0 0 338842 9 0 0 20 0 20 0 163545246 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840578] ppid=840521 vsize=19108176 memory=1830988 CPUtime=0 cores=0,2
/proc/840525/task/840578/stat : 840578 (Finalizer) S 840521 840525 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545249 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840585] ppid=840521 vsize=19108176 memory=1830988 CPUtime=0 cores=0,2
/proc/840525/task/840585/stat : 840585 (Common-Cleaner) S 840521 840525 840443 0 -1 1077936192 3029 0 0 0 0 0 0 0 20 0 20 0 163545249 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840589] ppid=840521 vsize=19108176 memory=1830988 CPUtime=0 cores=0,2
/proc/840525/task/840589/stat : 840589 (Timer-0) S 840521 840525 840443 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 163545279 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
Current children cumulated CPU time: 3395.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1830988 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.14 5/330 842400
/proc/meminfo: memFree=121078344/131524600 swapFree=131071996/131071996
[pid=840525] ppid=840521 vsize=19108176 memory=1830988 CPUtime=3455.31 cores=0,2
/proc/840525/stat : 840525 (java) S 840521 840525 840443 0 -1 1077936128 115247 0 0 0 345432 99 0 0 20 0 20 0 163545246 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
/proc/840525/statm: 4777044 457747 5915 1 0 556966 0
[pid=840525/tid=840534] ppid=840521 vsize=19108176 memory=1830988 CPUtime=3448.34 cores=0,2
/proc/840525/task/840534/stat : 840534 (java) R 840521 840525 840443 0 -1 4194368 47447 0 0 0 344825 9 0 0 20 0 20 0 163545246 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840578] ppid=840521 vsize=19108176 memory=1830988 CPUtime=0 cores=0,2
/proc/840525/task/840578/stat : 840578 (Finalizer) S 840521 840525 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545249 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840585] ppid=840521 vsize=19108176 memory=1830988 CPUtime=0 cores=0,2
/proc/840525/task/840585/stat : 840585 (Common-Cleaner) S 840521 840525 840443 0 -1 1077936192 3113 0 0 0 0 0 0 0 20 0 20 0 163545249 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840589] ppid=840521 vsize=19108176 memory=1830988 CPUtime=0 cores=0,2
/proc/840525/task/840589/stat : 840589 (Timer-0) S 840521 840525 840443 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 163545279 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
Current children cumulated CPU time: 3455.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1830988 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/330 842410
/proc/meminfo: memFree=121078020/131524600 swapFree=131071996/131071996
[pid=840525] ppid=840521 vsize=19108176 memory=1830988 CPUtime=3515.15 cores=0,2
/proc/840525/stat : 840525 (java) S 840521 840525 840443 0 -1 1077936128 115453 0 0 0 351416 99 0 0 20 0 20 0 163545246 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
/proc/840525/statm: 4777044 457747 5915 1 0 556966 0
[pid=840525/tid=840534] ppid=840521 vsize=19108176 memory=1830988 CPUtime=3508.17 cores=0,2
/proc/840525/task/840534/stat : 840534 (java) R 840521 840525 840443 0 -1 4194368 47643 0 0 0 350808 9 0 0 20 0 20 0 163545246 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840578] ppid=840521 vsize=19108176 memory=1830988 CPUtime=0 cores=0,2
/proc/840525/task/840578/stat : 840578 (Finalizer) S 840521 840525 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545249 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840585] ppid=840521 vsize=19108176 memory=11608 CPUtime=0 cores=0,2
/proc/840525/task/840585/stat : 840585 (Common-Cleaner) S 840521 840525 840443 0 -1 1077936192 3113 0 0 0 0 0 0 0 20 0 20 0 163545249 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840589] ppid=840521 vsize=19108176 memory=1830988 CPUtime=0 cores=0,2
/proc/840525/task/840589/stat : 840589 (Timer-0) S 840521 840525 840443 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 163545279 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
Current children cumulated CPU time: 3515.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1830988 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.14 4.14 5/330 842420
/proc/meminfo: memFree=121094284/131524600 swapFree=131071996/131071996
[pid=840525] ppid=840521 vsize=19108176 memory=1830988 CPUtime=3575 cores=0,2
/proc/840525/stat : 840525 (java) S 840521 840525 840443 0 -1 1077936128 115675 0 0 0 357400 100 0 0 20 0 20 0 163545246 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
/proc/840525/statm: 4777044 457747 5915 1 0 556966 0
[pid=840525/tid=840534] ppid=840521 vsize=19108176 memory=43368 CPUtime=3568 cores=0,2
/proc/840525/task/840534/stat : 840534 (java) R 840521 840525 840443 0 -1 4194368 47860 0 0 0 356791 9 0 0 20 0 20 0 163545246 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840578] ppid=840521 vsize=19108176 memory=1830988 CPUtime=0 cores=0,2
/proc/840525/task/840578/stat : 840578 (Finalizer) S 840521 840525 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545249 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840585] ppid=840521 vsize=19108176 memory=1830988 CPUtime=0 cores=0,2
/proc/840525/task/840585/stat : 840585 (Common-Cleaner) S 840521 840525 840443 0 -1 1077936192 3113 0 0 0 0 0 0 0 20 0 20 0 163545249 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840589] ppid=840521 vsize=19108176 memory=11608 CPUtime=0 cores=0,2
/proc/840525/task/840589/stat : 840589 (Timer-0) S 840521 840525 840443 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 163545279 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
Current children cumulated CPU time: 3575 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1830988 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.4 s]
/proc/loadavg: 4.21 4.15 4.14 7/328 842560
/proc/meminfo: memFree=125038148/131524600 swapFree=131071996/131071996
[pid=840525] ppid=840521 vsize=19108176 memory=1830988 CPUtime=3600.04 cores=0,2
/proc/840525/stat : 840525 (java) S 840521 840525 840443 0 -1 1077936128 115726 0 0 0 359903 101 0 0 20 0 20 0 163545246 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
/proc/840525/statm: 4777044 457747 5915 1 0 556966 0
[pid=840525/tid=840534] ppid=840521 vsize=19108176 memory=43368 CPUtime=3593.03 cores=0,2
/proc/840525/task/840534/stat : 840534 (java) R 840521 840525 840443 0 -1 4194368 47908 0 0 0 359294 9 0 0 20 0 20 0 163545246 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840578] ppid=840521 vsize=19108176 memory=12384 CPUtime=0 cores=0,2
/proc/840525/task/840578/stat : 840578 (Finalizer) S 840521 840525 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545249 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840585] ppid=840521 vsize=19108176 memory=5616 CPUtime=0 cores=0,2
/proc/840525/task/840585/stat : 840585 (Common-Cleaner) S 840521 840525 840443 0 -1 1077936192 3113 0 0 0 0 0 0 0 20 0 20 0 163545249 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840589] ppid=840521 vsize=19108176 memory=16184 CPUtime=0 cores=0,2
/proc/840525/task/840589/stat : 840589 (Timer-0) S 840521 840525 840443 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 163545279 19566772224 457747 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1830988 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.57 s]
# the end of solver process 840525 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3599.34 s, system=1.02531 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3607.51 s]
/proc/loadavg: 4.21 4.15 4.14 7/328 842560
/proc/meminfo: memFree=125038148/131524600 swapFree=131071996/131071996
[pid=840525] ppid=840521 vsize=19307868 memory=1831704 CPUtime=3600.26 cores=0,2
/proc/840525/stat : 840525 (java) S 840521 840525 840443 0 -1 1077936128 118924 0 0 0 359925 101 0 0 20 0 21 0 163545246 19771256832 457926 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
/proc/840525/statm: 4826967 457926 5914 1 0 557881 0
[pid=840525/tid=840534] ppid=840521 vsize=19307868 memory=1830988 CPUtime=3593.14 cores=0,2
/proc/840525/task/840534/stat : 840534 (java) R 840521 840525 840443 0 -1 4194368 48120 0 0 0 359305 9 0 0 20 0 21 0 163545246 19771256832 457926 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840578] ppid=840521 vsize=19307868 memory=1830988 CPUtime=0 cores=0,2
/proc/840525/task/840578/stat : 840578 (Finalizer) S 840521 840525 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 163545249 19771256832 457926 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
[pid=840525/tid=840585] ppid=840521 vsize=19307868 memory=2268 CPUtime=0 cores=0,2
/proc/840525/task/840585/stat : 840585 (Common-Cleaner) S 840521 840525 840443 0 -1 1077936192 3113 0 0 0 0 0 0 0 20 0 21 0 163545249 19771256832 457926 134679101440 94908815065088 94908815068784 140729909646176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94908815076600 94908815077392 94908842254336 140729909654535 140729909654625 140729909654625 140729909661640 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1831704 KiB
Child status: 143
Real time (s): 3607.57
CPU time (s): 3600.37
CPU user time (s): 3599.34
CPU system time (s): 1.02531
CPU usage (%): 99.8002
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 1831704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.34
system time used= 1.02531
maximum resident set size= 1832488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119540
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103087
involuntary context switches= 26903
# summary of solver processes directly reported to runsolver:
# pid: 840525
# total CPU time (s): 3600.37
# total CPU user time (s): 3599.34
# total CPU system time (s): 1.02531
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.71608 second user time and 14.1108 second system time
The end
Begin job on nodeC028 at 2024-07-16 09:09:54 IDJOB=4432319 IDBENCH=148164 IDSOLVER=3058 FILE ID=nodeC028/4432319-1721113782 RUNJOBID= nodeC028-1721113794-840453 SLURM_JOB_ID= 7505648 Free space on /tmp= 890064 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/area_opers/normalized-fir06_area_opers.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432319-1721113782/watcher-4432319-1721113782 -o /tmp/evaluation-result-4432319-1721113782/solver-4432319-1721113782 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721113794-840453 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432319-1721113782.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8c829249b2b00c19bbbec969c36f23bb RANDOM SEED=519128151 nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3606.279 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3638.547 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3636.271 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3650.679 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3604.430 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3661.970 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3638.338 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3606.939 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129292740 kB MemAvailable: 129758852 kB Buffers: 388756 kB Cached: 917512 kB SwapCached: 0 kB Active: 685412 kB Inactive: 962104 kB Active(anon): 1456 kB Inactive(anon): 377552 kB Active(file): 683956 kB Inactive(file): 584552 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 3708 kB Writeback: 0 kB AnonPages: 338596 kB Mapped: 106368 kB Shmem: 37720 kB KReclaimable: 74856 kB Slab: 177356 kB SReclaimable: 74856 kB SUnreclaim: 102500 kB KernelStack: 4008 kB PageTables: 8900 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 725712 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 60928 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 193236 kB DirectMap2M: 18454528 kB DirectMap1G: 117440512 kB Free space on /tmp at the end= 890060 MiB End job on nodeC028 at 2024-07-16 10:10:02