Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution VeriPB 2025-06-06 | OPT cert. | 29 | 1482.2 | 1464.59 |
Name | PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb |
MD5SUM | 152bb06216511240edab5f108e287529 |
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 | 29 |
Best CPU time to get the best result obtained on this benchmark | 1.42268 |
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 | 10432 |
Total number of constraints | 716 |
Number of constraints which are clauses | 325 |
Number of constraints which are cardinality constraints (but not clauses) | 325 |
Number of constraints which are nor clauses,nor cardinality constraints | 66 |
Minimum length of a constraint | 32 |
Maximum length of a constraint | 326 |
Number of terms in the objective function | 32 |
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 | 32 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 119831 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 269644 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.11/0.12 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.11/0.12 c This is free software under the dual EPL/GNU LGPL licenses. 0.11/0.12 c See www.sat4j.org for details. 0.11/0.14 c version PB25.v20250606 0.11/0.16 c java.runtime.name OpenJDK Runtime Environment 0.11/0.16 c java.vm.name OpenJDK 64-Bit Server VM 0.11/0.16 c java.vm.version 22.0.1+8-16 0.11/0.16 c java.vm.vendor Oracle Corporation 0.11/0.16 c sun.arch.data.model 64 0.11/0.17 c java.version 22.0.1 0.11/0.17 c os.name Linux 0.11/0.17 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.11/0.17 c os.arch amd64 0.11/0.17 c Free memory 2104792832 0.11/0.17 c Max memory 16282288128 0.11/0.17 c Total memory 2113929216 0.11/0.18 c Number of processors 2 0.26/0.29 c Pseudo Boolean Optimization by upper bound 0.26/0.29 c --- Begin Solver configuration --- 0.26/0.29 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.26/0.29 c Learn all clauses as in MiniSAT 0.26/0.29 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.26/0.29 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.26/0.29 c Expensive reason simplification 0.26/0.29 c Glucose 2.1 dynamic restart strategy 0.26/0.29 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.26/0.29 c timeout=2147483s 0.26/0.29 c DB Simplification allowed=false 0.26/0.29 c Listener: none 0.26/0.29 c --- End Solver configuration --- 0.26/0.29 c solving HOME/instance-4509479-1751521667.opb 0.26/0.29 c reading problem ... 0.26/0.31 c using VERIPB proof format 0.26/0.31 c objective function found 0.76/0.60 c ... done. Wall clock time 0.312s. 0.76/0.60 c declared #vars 10432 0.76/0.60 c #constraints 716 0.76/0.60 c constraints type 0.95/0.60 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 325 0.95/0.60 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 66 0.95/0.60 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 325 0.95/0.60 c 716 constraints processed. 0.95/0.64 c objective function length is 32 literals 1.92/1.17 c SATISFIABLE 1.92/1.17 c OPTIMIZING... 1.92/1.17 c Got one! Elapsed wall clock time (in seconds):0.88 1.92/1.17 o 32 4.05/2.23 c Got one! Elapsed wall clock time (in seconds):1.941 4.05/2.23 o 31 5.24/2.83 c cleaning 2846 clauses out of 5695 with flag 6597/5695 6.92/3.87 c cleaning 4415 clauses out of 8850 with flag 36485/11696 8.63/5.33 c cleaning 5702 clauses out of 11434 with flag 75242/18695 10.47/7.08 c cleaning 6856 clauses out of 13733 with flag 117211/26696 12.57/9.05 c cleaning 7920 clauses out of 15876 with flag 167365/35695 15.59/12.04 c cleaning 8964 clauses out of 17956 with flag 218553/45695 17.98/14.41 c cleaning 9975 clauses out of 19992 with flag 277428/56695 21.46/17.95 c cleaning 10992 clauses out of 22017 with flag 340844/68695 24.99/21.46 c cleaning 11998 clauses out of 24027 with flag 412367/81697 28.31/24.75 c cleaning 12997 clauses out of 26027 with flag 488039/95695 32.59/28.86 c cleaning 14000 clauses out of 28032 with flag 571832/110697 37.01/33.30 c cleaning 15002 clauses out of 30031 with flag 659452/126696 41.66/37.71 c cleaning 16002 clauses out of 32030 with flag 757124/143697 45.89/41.90 c cleaning 16997 clauses out of 34027 with flag 852070/161696 51.07/47.02 c cleaning 17999 clauses out of 36031 with flag 956034/180697 56.66/52.51 c cleaning 18998 clauses out of 38030 with flag 1060022/200695 62.31/58.03 c cleaning 20001 clauses out of 40032 with flag 1175037/221695 67.42/63.02 c cleaning 21001 clauses out of 42033 with flag 1292091/243697 74.32/69.87 c cleaning 21992 clauses out of 44030 with flag 1427643/266695 81.84/77.22 c cleaning 23004 clauses out of 46039 with flag 1566088/290696 88.04/83.39 c cleaning 23998 clauses out of 48034 with flag 1711117/315695 95.46/90.60 c cleaning 25002 clauses out of 50038 with flag 1855215/341697 105.30/100.20 c cleaning 25993 clauses out of 52035 with flag 2013735/368696 113.47/108.39 c cleaning 27001 clauses out of 54041 with flag 2171176/396695 122.54/117.36 c cleaning 28007 clauses out of 56041 with flag 2335569/425696 132.72/127.31 c cleaning 28999 clauses out of 58033 with flag 2504860/455695 143.21/137.51 c cleaning 29995 clauses out of 60034 with flag 2686075/486695 152.40/146.67 c cleaning 30999 clauses out of 62040 with flag 2871782/518696 163.68/157.71 c cleaning 32001 clauses out of 64041 with flag 3053272/551696 174.33/168.32 c cleaning 33003 clauses out of 66041 with flag 3236337/585697 187.04/181.00 c cleaning 33999 clauses out of 68037 with flag 3434886/620696 199.84/193.69 c cleaning 34998 clauses out of 70037 with flag 3645395/656695 212.63/206.68 c cleaning 36003 clauses out of 72040 with flag 3850498/693696 226.29/220.05 c cleaning 37001 clauses out of 74036 with flag 4070840/731695 238.31/232.08 c cleaning 37998 clauses out of 76035 with flag 4282743/770695 252.24/245.92 c cleaning 39001 clauses out of 78039 with flag 4511824/810697 272.41/266.13 c cleaning 40001 clauses out of 80036 with flag 4753682/851695 288.24/282.01 c cleaning 40993 clauses out of 82036 with flag 5001955/893696 303.35/297.07 c cleaning 42002 clauses out of 84042 with flag 5250313/936695 311.81/305.40 c cleaning 43009 clauses out of 86040 with flag 5437803/980695 316.70/310.53 c Got one! Elapsed wall clock time (in seconds):310.246 316.70/310.53 o 30 317.42/311.28 c cleaning 35492 clauses out of 71017 with flag 16450/1008681 318.53/312.26 c cleaning 20750 clauses out of 41526 with flag 36890/1014682 319.43/313.17 c cleaning 13871 clauses out of 27776 with flag 63484/1021682 320.62/314.38 c cleaning 10925 clauses out of 21904 with flag 98490/1029681 322.02/315.75 c cleaning 9968 clauses out of 19979 with flag 138324/1038681 323.72/317.32 c cleaning 9986 clauses out of 20011 with flag 178673/1048681 325.31/318.97 c cleaning 10499 clauses out of 21025 with flag 216651/1059681 327.32/320.91 c cleaning 11247 clauses out of 22526 with flag 260732/1071681 331.30/324.88 c cleaning 12127 clauses out of 24279 with flag 315078/1084681 334.00/327.51 c cleaning 13061 clauses out of 26153 with flag 373346/1098682 336.80/330.20 c cleaning 14024 clauses out of 28092 with flag 434402/1113682 339.71/333.17 c cleaning 15023 clauses out of 30068 with flag 502545/1129682 343.09/336.45 c cleaning 16008 clauses out of 32045 with flag 579295/1146682 346.86/340.06 c cleaning 17008 clauses out of 34036 with flag 660517/1164681 351.94/345.59 c cleaning 17997 clauses out of 36031 with flag 750435/1183684 356.84/350.37 c cleaning 19003 clauses out of 38036 with flag 836983/1203686 361.03/354.49 c cleaning 19999 clauses out of 40028 with flag 932989/1224681 365.98/359.21 c cleaning 20995 clauses out of 42029 with flag 1033893/1246681 370.27/363.51 c cleaning 22001 clauses out of 44035 with flag 1137270/1269682 374.91/374.05 c cleaning 23007 clauses out of 46034 with flag 1233929/1293682 380.73/379.84 c cleaning 23992 clauses out of 48026 with flag 1344045/1318681 386.67/385.70 c cleaning 25000 clauses out of 50034 with flag 1457150/1344681 393.07/392.07 c cleaning 25999 clauses out of 52034 with flag 1580873/1371681 399.28/398.13 c cleaning 27000 clauses out of 54037 with flag 1727759/1399683 406.08/404.84 c cleaning 28002 clauses out of 56035 with flag 1888190/1428681 412.27/410.92 c cleaning 29004 clauses out of 58033 with flag 2028435/1458681 418.75/417.34 c cleaning 30000 clauses out of 60030 with flag 2160760/1489682 425.41/423.92 c cleaning 31002 clauses out of 62033 with flag 2292326/1521685 433.07/431.55 c cleaning 31996 clauses out of 64027 with flag 2450416/1554681 440.05/438.41 c cleaning 32994 clauses out of 66031 with flag 2598923/1588681 448.90/447.21 c cleaning 34002 clauses out of 68038 with flag 2764375/1623682 457.32/455.46 c cleaning 34998 clauses out of 70038 with flag 2945789/1659684 466.19/464.28 c cleaning 35993 clauses out of 72037 with flag 3130929/1696681 476.44/474.06 c cleaning 37001 clauses out of 74044 with flag 3333898/1734681 485.95/483.03 c cleaning 37997 clauses out of 76043 with flag 3523897/1773681 499.27/496.16 c cleaning 38995 clauses out of 78046 with flag 3738082/1813681 509.47/506.18 c cleaning 40008 clauses out of 80051 with flag 3961678/1854681 524.37/520.64 c cleaning 40998 clauses out of 82044 with flag 4198870/1896682 538.15/534.23 c cleaning 41999 clauses out of 84045 with flag 4437189/1939681 550.64/546.52 c cleaning 43007 clauses out of 86047 with flag 4685220/1983682 563.00/558.55 c cleaning 44003 clauses out of 88039 with flag 4915234/2028681 579.18/574.24 c cleaning 44997 clauses out of 90036 with flag 5157703/2074681 594.23/588.82 c cleaning 46006 clauses out of 92039 with flag 5441866/2121681 608.08/602.65 c cleaning 46995 clauses out of 94035 with flag 5715998/2169683 622.56/616.65 c cleaning 47996 clauses out of 96038 with flag 6002300/2218681 637.21/630.85 c cleaning 48997 clauses out of 98042 with flag 6246195/2268681 655.66/649.10 c cleaning 50002 clauses out of 100046 with flag 6506952/2319682 670.67/663.71 c cleaning 51001 clauses out of 102044 with flag 6767797/2371682 686.72/679.31 c cleaning 52000 clauses out of 104043 with flag 7037378/2424682 704.13/696.49 c cleaning 52998 clauses out of 106043 with flag 7319071/2478682 722.93/714.78 c cleaning 54001 clauses out of 108045 with flag 7608264/2533682 744.74/736.21 c cleaning 54993 clauses out of 110043 with flag 7910822/2589681 765.16/756.19 c cleaning 56008 clauses out of 112051 with flag 8214717/2646682 784.61/775.37 c cleaning 56994 clauses out of 114042 with flag 8504144/2704681 803.82/794.09 c cleaning 57999 clauses out of 116048 with flag 8790231/2763681 825.75/815.21 c cleaning 59004 clauses out of 118051 with flag 9117562/2823683 845.06/834.28 c cleaning 60005 clauses out of 120045 with flag 9422072/2884681 867.33/855.85 c cleaning 60991 clauses out of 122040 with flag 9760219/2946681 886.11/874.39 c cleaning 62002 clauses out of 124050 with flag 10109073/3009682 908.67/896.69 c cleaning 63005 clauses out of 126047 with flag 10459685/3073681 930.70/921.29 c cleaning 64000 clauses out of 128043 with flag 10816827/3138682 957.06/947.17 c cleaning 64999 clauses out of 130042 with flag 11208987/3204681 980.45/970.34 c cleaning 65997 clauses out of 132044 with flag 11581147/3271682 1006.68/996.01 c cleaning 67008 clauses out of 134048 with flag 11992795/3339683 1032.76/1021.76 c cleaning 67995 clauses out of 136038 with flag 12378432/3408681 1059.76/1048.32 c cleaning 69005 clauses out of 138045 with flag 12800921/3478683 1084.02/1072.30 c cleaning 69997 clauses out of 140038 with flag 13219951/3549681 1109.74/1097.64 c cleaning 71006 clauses out of 142042 with flag 13596544/3621682 1125.54/1113.05 c cleaning 72009 clauses out of 144036 with flag 13900835/3694682 1144.08/1131.14 c cleaning 73000 clauses out of 146026 with flag 14240741/3768681 1160.09/1146.89 c cleaning 73998 clauses out of 148026 with flag 14561908/3843681 1172.59/1159.00 c cleaning 74996 clauses out of 150028 with flag 14797851/3919681 1185.17/1171.20 c cleaning 75999 clauses out of 152032 with flag 15027376/3996681 1199.23/1185.08 c cleaning 77002 clauses out of 154033 with flag 15274914/4074681 1214.79/1199.94 c cleaning 77995 clauses out of 156032 with flag 15522038/4153682 1229.01/1214.01 c cleaning 79010 clauses out of 158038 with flag 15784061/4233683 1245.17/1229.90 c cleaning 79998 clauses out of 160026 with flag 16036770/4314681 1259.54/1244.30 c cleaning 81000 clauses out of 162028 with flag 16285427/4396681 1277.64/1262.39 c cleaning 82002 clauses out of 164028 with flag 16534910/4479681 1297.62/1281.81 c cleaning 82999 clauses out of 166026 with flag 16807730/4563681 1319.42/1303.74 c cleaning 84000 clauses out of 168027 with flag 17094906/4648681 1340.13/1324.72 c cleaning 84996 clauses out of 170028 with flag 17379726/4734682 1357.33/1341.79 c cleaning 86001 clauses out of 172032 with flag 17659637/4821682 1378.91/1363.07 c cleaning 86998 clauses out of 174030 with flag 17921571/4909681 1398.12/1381.90 c cleaning 87996 clauses out of 176032 with flag 18222565/4998681 1418.48/1402.08 c cleaning 89007 clauses out of 178037 with flag 18517243/5088682 1441.81/1425.09 c cleaning 90003 clauses out of 180030 with flag 18817118/5179682 1464.68/1447.77 c cleaning 91003 clauses out of 182026 with flag 19133393/5271681 1478.53/1461.53 c cleaning 91996 clauses out of 184023 with flag 19336786/5364681 1480.88/1463.83 c Got one! Elapsed wall clock time (in seconds):1463.539 1480.88/1463.83 o 29 1481.95/1464.49 c starts : 104 1481.95/1464.50 c conflicts : 5390159 1481.95/1464.50 c decisions : 6290486 1481.95/1464.50 c propagations : 278481947 1481.95/1464.50 c inspects : 6463820112 1481.95/1464.50 c shortcuts : 0 1481.95/1464.50 c learnt literals : 29 1481.95/1464.50 c learnt binary clauses : 115 1481.95/1464.50 c learnt ternary clauses : 95 1481.95/1464.50 c learnt constraints : 5390129 1481.95/1464.50 c ignored constraints : 0 1481.95/1464.50 c root simplifications : 0 1481.95/1464.50 c removed literals (reason simplification) : 3068639 1481.95/1464.50 c reason swapping (by a shorter reason) : 0 1481.95/1464.50 c Calls to reduceDB : 129 1481.95/1464.50 c Number of update (reduction) of LBD : 1098231 1481.95/1464.50 c Imported unit clauses : 0 1481.95/1464.50 c No decision after first conflict : false 1481.95/1464.50 c number of reductions to clauses (during analyze) : 0 1481.95/1464.50 c number of learned constraints concerned by reduction : 0 1481.95/1464.50 c number of learning phase by resolution : 0 1481.95/1464.50 c number of learning phase by cutting planes : 0 1481.95/1464.50 c number of rounding to 1 operations : 0 1482.07/1464.50 c number of easy rounding to 1 operations (no literal elimination needed) : 0 1482.07/1464.50 c number of reductions of the coefficients by power 2 : 0 1482.07/1464.50 c number of right shift for reduction by power 2 : 0 1482.07/1464.50 c number of reductions of the coefficients by GCD over coefficients : 0 1482.07/1464.50 c number of ending skipping : 0 1482.07/1464.50 c number of internal skipping : 0 1482.07/1464.50 c number of derivation steps : 0 1482.07/1464.50 c number of skipped derivation steps : 0 1482.07/1464.50 c number of remaining unassigned : 0 1482.07/1464.50 c number of remaining assigned : 0 1482.07/1464.50 c number of falsified literals weakened from reason : 0 1482.07/1464.50 c number of falsified literals weakened from conflict : 0 1482.07/1464.50 c time for arithmetic operations : 0 1482.07/1464.50 c minimum degree of deleted constraints : null 1482.07/1464.50 c maximum degree of deleted constraints : null 1482.07/1464.50 c number of deleted constraints : 0 1482.07/1464.51 c speed (assignments/second) : 190240.70048639196 1482.07/1464.51 c non guided choices : 155563 1482.07/1464.51 s OPTIMUM FOUND 1482.07/1464.51 c Found 4 solution(s) 1482.07/1464.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 1482.07/1464.53 c objective function=29 1482.07/1464.53 c Total wall clock time (in seconds): 1464.244
OK 29
Thu Jul 3 10:29:28 CEST 2025 extraparms= -- veripb -- Running VeriPB version 2.3.0 s VERIFIED BOUNDS 29 <= obj <= 29 Verification succeeded. -- cakepb -- s VERIFIED BOUNDS 29 <= obj <= 29 --summary-- ALL OK
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 63794 MiB (502 MiB free) memory of node 1: 64507 MiB (38204 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509479-1751521667/watcher-4509479-1751521667 -o /tmp/evaluation-result-4509479-1751521667/solver-4509479-1751521667 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751516281-73982 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509479-1751521667 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4509479-1751521667.opb running on 2 cores: 1,3 CPU governors: performance: 1 3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds Enforcing FSIZE limit: 102400000 KiB Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 5.14.0-503.14.1.el9_5.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=75259, runsolver pid=75256 [startup+0.100046 s]* /proc/loadavg: 4.34 4.36 4.44 7/332 75277 /proc/meminfo: memFree=39610428/131382112 swapFree=33009904/33010684 [pid=75259] ppid=75256 vsize=18930384 memory=49276 CPUtime=0.11 cores=1,3 /proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 6011 0 0 0 9 2 0 0 20 0 18 0 67845626 19384713216 12319 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 /proc/75259/statm: 4732596 12319 5338 1 0 547208 0 [pid=75259/tid=75261] ppid=75256 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3 /proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 4846 0 0 0 5 2 0 0 20 0 18 0 67845628 19384713216 12319 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75270] ppid=75256 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3 /proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67845632 19384713216 12319 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75277] ppid=75256 vsize=18930384 memory=61792617516369 CPUtime=0 cores=1,3 /proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 67845633 19384713216 12319 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 18930384 KiB Current children cumulated memory: 49276 KiB [startup+0.206092 s]* /proc/loadavg: 4.34 4.36 4.44 5/332 75277 /proc/meminfo: memFree=39604820/131382112 swapFree=33009904/33010684 [pid=75259] ppid=75256 vsize=18930384 memory=57808 CPUtime=0.26 cores=1,3 /proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 6574 0 0 0 23 3 0 0 20 0 18 0 67845626 19384713216 14452 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 /proc/75259/statm: 4732596 14452 5370 1 0 547611 0 [pid=75259/tid=75261] ppid=75256 vsize=18930384 memory=4026728732 CPUtime=0.18 cores=1,3 /proc/75259/task/75261/stat : 75261 (java) S 75256 75259 73970 0 -1 4194368 5092 0 0 0 16 2 0 0 20 0 18 0 67845628 19384713216 14452 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75270] ppid=75256 vsize=18930384 memory=1593 CPUtime=0 cores=1,3 /proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67845632 19384713216 14452 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75277] ppid=75256 vsize=18930384 memory=60693105869820 CPUtime=0 cores=1,3 /proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 67845633 19384713216 14452 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 Current children cumulated CPU time: 0.26 s Current children cumulated vsize: 18930384 KiB Current children cumulated memory: 57808 KiB [startup+0.308188 s]* /proc/loadavg: 4.34 4.36 4.44 4/332 75277 /proc/meminfo: memFree=39604820/131382112 swapFree=33009904/33010684 [pid=75259] ppid=75256 vsize=18930384 memory=59216 CPUtime=0.39 cores=1,3 /proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 6849 0 0 0 35 4 0 0 20 0 18 0 67845626 19384713216 14804 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 /proc/75259/statm: 4732596 14804 5434 1 0 547809 0 [pid=75259/tid=75261] ppid=75256 vsize=18930384 memory=-6000919481296643944 CPUtime=0.25 cores=1,3 /proc/75259/task/75261/stat : 75261 (java) S 75256 75259 73970 0 -1 4194368 5240 0 0 0 23 2 0 0 20 0 18 0 67845628 19384713216 14804 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75270] ppid=75256 vsize=18930384 memory=0 CPUtime=0 cores=1,3 /proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67845632 19384713216 14804 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75277] ppid=75256 vsize=18930384 memory=0 CPUtime=0 cores=1,3 /proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 67845633 19384713216 14804 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 Current children cumulated CPU time: 0.39 s Current children cumulated vsize: 18930384 KiB Current children cumulated memory: 59216 KiB [startup+0.700246 s] /proc/loadavg: 4.34 4.36 4.44 7/332 75277 /proc/meminfo: memFree=39578356/131382112 swapFree=33009904/33010684 [pid=75259] ppid=75256 vsize=18996948 memory=127620 CPUtime=1.12 cores=1,3 /proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 10692 0 0 0 106 6 0 0 20 0 19 0 67845626 19452874752 31905 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 /proc/75259/statm: 4749237 31905 5466 1 0 550630 0 [pid=75259/tid=75261] ppid=75256 vsize=18996948 memory=18560 CPUtime=0.58 cores=1,3 /proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 5438 0 0 0 54 4 0 0 20 0 19 0 67845628 19452874752 31905 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75270] ppid=75256 vsize=18996948 memory=11264 CPUtime=0 cores=1,3 /proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67845632 19452874752 31905 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75277] ppid=75256 vsize=18996948 memory=3200 CPUtime=0 cores=1,3 /proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 67845633 19452874752 31905 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 Current children cumulated CPU time: 1.12 s Current children cumulated vsize: 18996948 KiB Current children cumulated memory: 127620 KiB [startup+1.50026 s] /proc/loadavg: 4.34 4.36 4.44 6/334 75279 /proc/meminfo: memFree=39481064/131382112 swapFree=33009904/33010684 [pid=75259] ppid=75256 vsize=19063512 memory=184968 CPUtime=2.69 cores=1,3 /proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 21233 0 0 0 260 9 0 0 20 0 20 0 67845626 19521036288 46242 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 /proc/75259/statm: 4765878 46242 5530 1 0 554076 0 [pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=3200 CPUtime=1.29 cores=1,3 /proc/75259/task/75261/stat : 75261 (java) S 75256 75259 73970 0 -1 4194368 5995 0 0 0 124 5 0 0 20 0 20 0 67845628 19521036288 46242 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=0 CPUtime=0 cores=1,3 /proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 46242 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=11264 CPUtime=0 cores=1,3 /proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 46242 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=14720 CPUtime=0 cores=1,3 /proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 46242 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 Current children cumulated CPU time: 2.69 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 184968 KiB [startup+3.10559 s] /proc/loadavg: 4.34 4.36 4.44 6/334 75279 /proc/meminfo: memFree=39207476/131382112 swapFree=33009904/33010684 [pid=75259] ppid=75256 vsize=19063512 memory=391372 CPUtime=5.84 cores=1,3 /proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 28244 0 0 0 569 15 0 0 20 0 20 0 67845626 19521036288 97843 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 /proc/75259/statm: 4765878 97843 5530 1 0 795524 0 [pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=14720 CPUtime=2.78 cores=1,3 /proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 7286 0 0 0 268 10 0 0 20 0 20 0 67845628 19521036288 97843 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=0 CPUtime=0 cores=1,3 /proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 97843 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=11264 CPUtime=0 cores=1,3 /proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 97843 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=3200 CPUtime=0 cores=1,3 /proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 97843 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 Current children cumulated CPU time: 5.84 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 391372 KiB [startup+6.30044 s] /proc/loadavg: 4.31 4.36 4.44 6/334 75279 /proc/meminfo: memFree=38849952/131382112 swapFree=33009904/33010684 [pid=75259] ppid=75256 vsize=19063512 memory=642060 CPUtime=9.76 cores=1,3 /proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 28590 0 0 0 952 24 0 0 20 0 20 0 67845626 19521036288 160515 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 /proc/75259/statm: 4765878 160515 5562 1 0 795529 0 [pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=0 CPUtime=5.84 cores=1,3 /proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 7427 0 0 0 567 17 0 0 20 0 20 0 67845628 19521036288 160515 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=11264 CPUtime=0 cores=1,3 /proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 160515 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=3200 CPUtime=0 cores=1,3 /proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 160515 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=185096 CPUtime=0 cores=1,3 /proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 160515 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 Current children cumulated CPU time: 9.76 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 642060 KiB [startup+12.7004 s] /proc/loadavg: 4.29 4.35 4.43 5/334 75279 /proc/meminfo: memFree=37379784/131382112 swapFree=33009904/33010684 [pid=75259] ppid=75256 vsize=19063512 memory=1954916 CPUtime=16.27 cores=1,3 /proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 31793 0 0 0 1570 57 0 0 20 0 20 0 67845626 19521036288 488729 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 /proc/75259/statm: 4765878 488729 5562 1 0 795537 0 [pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=185096 CPUtime=12.08 cores=1,3 /proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 9496 0 0 0 1161 47 0 0 20 0 20 0 67845628 19521036288 488729 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=1948760 CPUtime=0 cores=1,3 /proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 488729 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=0 CPUtime=0 cores=1,3 /proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 488729 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=11264 CPUtime=0 cores=1,3 /proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 488729 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 Current children cumulated CPU time: 16.27 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 1954916 KiB [startup+25.5005 s] /proc/loadavg: 4.37 4.37 4.44 5/334 75279 /proc/meminfo: memFree=36328956/131382112 swapFree=33009904/33010684 [pid=75259] ppid=75256 vsize=19063512 memory=2611824 CPUtime=29.12 cores=1,3 /proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 34574 0 0 0 2830 82 0 0 20 0 20 0 67845626 19521036288 652956 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 /proc/75259/statm: 4765878 652956 5562 1 0 960551 0 [pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=0 CPUtime=24.67 cores=1,3 /proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 10883 0 0 0 2397 70 0 0 20 0 20 0 67845628 19521036288 652956 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=14720 CPUtime=0 cores=1,3 /proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 652956 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=2611824 CPUtime=0 cores=1,3 /proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 652956 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=2476656 CPUtime=0 cores=1,3 /proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 652956 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 Current children cumulated CPU time: 29.12 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 2611824 KiB [startup+51.114 s] /proc/loadavg: 4.30 4.35 4.43 5/333 75279 /proc/meminfo: memFree=35424796/131382112 swapFree=33009904/33010684 [pid=75259] ppid=75256 vsize=19063512 memory=2800596 CPUtime=55.27 cores=1,3 /proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 40470 0 0 0 5423 104 0 0 20 0 20 0 67845626 19521036288 700149 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 /proc/75259/statm: 4765878 700149 5562 1 0 960563 0 [pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=2611952 CPUtime=49.31 cores=1,3 /proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 13460 0 0 0 4844 87 0 0 20 0 20 0 67845628 19521036288 700149 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=12416 CPUtime=0 cores=1,3 /proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 700149 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=2308 CPUtime=0 cores=1,3 /proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 700149 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 ################ # More data... # ################ /proc/loadavg: 4.72 4.45 4.40 5/332 75562 /proc/meminfo: memFree=44091220/131382112 swapFree=33009904/33010684 [pid=75259] ppid=75256 vsize=19063512 memory=10873484 CPUtime=1450.38 cores=1,3 /proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 162368 0 0 0 143711 1327 0 0 20 0 20 0 67845626 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 /proc/75259/statm: 4765878 2718371 5562 1 0 2740075 0 [pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=10873484 CPUtime=1380.61 cores=1,3 /proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 77674 0 0 0 136875 1186 0 0 20 0 20 0 67845628 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=10873484 CPUtime=0 cores=1,3 /proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=10873484 CPUtime=0 cores=1,3 /proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 1048 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=14720 CPUtime=0 cores=1,3 /proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 Current children cumulated CPU time: 1450.38 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 10873484 KiB [startup+1446.4 s] /proc/loadavg: 5.20 4.58 4.45 5/332 75562 /proc/meminfo: memFree=43714484/131382112 swapFree=33009904/33010684 [pid=75259] ppid=75256 vsize=19063512 memory=10873484 CPUtime=1463.37 cores=1,3 /proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 163965 0 0 0 145001 1336 0 0 20 0 20 0 67845626 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 /proc/75259/statm: 4765878 2718371 5562 1 0 2740075 0 [pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=10873484 CPUtime=1392.82 cores=1,3 /proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 78329 0 0 0 138088 1194 0 0 20 0 20 0 67845628 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=10873484 CPUtime=0 cores=1,3 /proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=10873484 CPUtime=0 cores=1,3 /proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 1108 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=10873484 CPUtime=0 cores=1,3 /proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 Current children cumulated CPU time: 1463.37 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 10873484 KiB [startup+1452.8 s] /proc/loadavg: 5.27 4.60 4.45 5/332 75562 /proc/meminfo: memFree=43489996/131382112 swapFree=33009904/33010684 [pid=75259] ppid=75256 vsize=19063512 memory=10873484 CPUtime=1469.76 cores=1,3 /proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 164082 0 0 0 145635 1341 0 0 20 0 20 0 67845626 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 /proc/75259/statm: 4765878 2718371 5562 1 0 2740075 0 [pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=10873484 CPUtime=1399.21 cores=1,3 /proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 78446 0 0 0 138722 1199 0 0 20 0 20 0 67845628 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=5632 CPUtime=0 cores=1,3 /proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=10873484 CPUtime=0 cores=1,3 /proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 1108 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=10873484 CPUtime=0 cores=1,3 /proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 Current children cumulated CPU time: 1469.76 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 10873484 KiB [startup+1459.2 s] /proc/loadavg: 5.25 4.61 4.46 5/345 75576 /proc/meminfo: memFree=43286784/131382112 swapFree=33009904/33010684 [pid=75259] ppid=75256 vsize=19063512 memory=10873484 CPUtime=1476.23 cores=1,3 /proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 164145 0 0 0 146277 1346 0 0 20 0 20 0 67845626 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 /proc/75259/statm: 4765878 2718371 5562 1 0 2740075 0 [pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=10873484 CPUtime=1405.49 cores=1,3 /proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 78455 0 0 0 139346 1203 0 0 20 0 20 0 67845628 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=10873484 CPUtime=0 cores=1,3 /proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=5276 CPUtime=0 cores=1,3 /proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 1108 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=11264 CPUtime=0 cores=1,3 /proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 Current children cumulated CPU time: 1476.23 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 10873484 KiB [startup+1462.4 s] /proc/loadavg: 5.23 4.62 4.46 5/345 75576 /proc/meminfo: memFree=43102456/131382112 swapFree=33009904/33010684 [pid=75259] ppid=75256 vsize=19063512 memory=10873484 CPUtime=1479.43 cores=1,3 /proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 164896 0 0 0 146595 1348 0 0 20 0 20 0 67845626 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 /proc/75259/statm: 4765878 2718371 5562 1 0 2740075 0 [pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=14720 CPUtime=1408.68 cores=1,3 /proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 79206 0 0 0 139663 1205 0 0 20 0 20 0 67845628 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=11264 CPUtime=0 cores=1,3 /proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=5632 CPUtime=0 cores=1,3 /proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 1108 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=3200 CPUtime=0 cores=1,3 /proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 Current children cumulated CPU time: 1479.43 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 10873484 KiB [startup+1463.2 s] /proc/loadavg: 5.23 4.62 4.46 5/345 75576 /proc/meminfo: memFree=43082548/131382112 swapFree=33009904/33010684 [pid=75259] ppid=75256 vsize=19063512 memory=10873484 CPUtime=1480.22 cores=1,3 /proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 164980 0 0 0 146674 1348 0 0 20 0 20 0 67845626 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 /proc/75259/statm: 4765878 2718371 5562 1 0 2740075 0 [pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=23532 CPUtime=1409.48 cores=1,3 /proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 79223 0 0 0 139742 1206 0 0 20 0 20 0 67845628 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=10873484 CPUtime=0 cores=1,3 /proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=7956 CPUtime=0 cores=1,3 /proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 1108 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=10873484 CPUtime=0 cores=1,3 /proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 2718371 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 Current children cumulated CPU time: 1480.22 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 10873484 KiB [startup+1464 s]* /proc/loadavg: 5.23 4.62 4.46 6/345 75576 /proc/meminfo: memFree=43055836/131382112 swapFree=33009904/33010684 [pid=75259] ppid=75256 vsize=19063512 memory=10873740 CPUtime=1481.26 cores=1,3 /proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 166637 0 0 0 146777 1349 0 0 20 0 20 0 67845626 19521036288 2718435 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 /proc/75259/statm: 4765878 2718435 5562 1 0 2740150 0 [pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=-6000919472740067176 CPUtime=1410.2 cores=1,3 /proc/75259/task/75261/stat : 75261 (java) R 75256 75259 73970 0 -1 4194368 80317 0 0 0 139814 1206 0 0 20 0 20 0 67845628 19521036288 2718435 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=-4421386496180774496 CPUtime=0 cores=1,3 /proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 2718435 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=1792 CPUtime=0 cores=1,3 /proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 1108 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 2718435 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=1920 CPUtime=0 cores=1,3 /proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 2718435 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 Current children cumulated CPU time: 1481.26 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 10873740 KiB [startup+1464.4 s] /proc/loadavg: 5.23 4.62 4.46 6/345 75576 /proc/meminfo: memFree=43055836/131382112 swapFree=33009904/33010684 [pid=75259] ppid=75256 vsize=19063512 memory=10875148 CPUtime=1481.95 cores=1,3 /proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 169568 0 0 0 146843 1352 0 0 20 0 20 0 67845626 19521036288 2718787 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 /proc/75259/statm: 4765878 2718787 5562 1 0 2740150 0 [pid=75259/tid=75261] ppid=75256 vsize=19063512 memory=-6000919481296643944 CPUtime=1410.51 cores=1,3 /proc/75259/task/75261/stat : 75261 (java) D 75256 75259 73970 0 -1 4194368 80702 0 0 0 139843 1208 0 0 20 0 20 0 67845628 19521036288 2718787 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75270] ppid=75256 vsize=19063512 memory=12288 CPUtime=0 cores=1,3 /proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19521036288 2718787 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75277] ppid=75256 vsize=19063512 memory=2696 CPUtime=0 cores=1,3 /proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 1108 0 0 0 0 0 0 0 20 0 20 0 67845633 19521036288 2718787 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75278] ppid=75256 vsize=19063512 memory=17436 CPUtime=0 cores=1,3 /proc/75259/task/75278/stat : 75278 (Timer-0) S 75256 75259 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67845693 19521036288 2718787 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 Current children cumulated CPU time: 1481.95 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 10875148 KiB [startup+1464.5 s] /proc/loadavg: 5.23 4.62 4.46 6/345 75576 /proc/meminfo: memFree=43055836/131382112 swapFree=33009904/33010684 [pid=75259] ppid=75256 vsize=19196640 memory=10875532 CPUtime=1482.07 cores=1,3 /proc/75259/stat : 75259 (java) S 75256 75259 73970 0 -1 4194304 170366 0 0 0 146854 1353 0 0 20 0 20 0 67845626 19657359360 2718883 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 /proc/75259/statm: 4799160 2718883 5562 1 0 2740800 0 [pid=75259/tid=75261] ppid=75256 vsize=19196640 memory=10873484 CPUtime=1410.53 cores=1,3 /proc/75259/task/75261/stat : 75261 (java) S 75256 75259 73970 0 -1 4194368 81265 0 0 0 139844 1209 0 0 20 0 20 0 67845628 19657359360 2718883 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75270] ppid=75256 vsize=19196640 memory=14720 CPUtime=0 cores=1,3 /proc/75259/task/75270/stat : 75270 (Finalizer) S 75256 75259 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67845632 19657359360 2718883 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 [pid=75259/tid=75277] ppid=75256 vsize=19196640 memory=10873484 CPUtime=0 cores=1,3 /proc/75259/task/75277/stat : 75277 (Common-Cleaner) S 75256 75259 73970 0 -1 4194368 1108 0 0 0 0 0 0 0 20 0 20 0 67845633 19657359360 2718883 18446744073709551615 94248723230720 94248723234416 140735189568704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94248723242232 94248723243024 94248725737472 140735189571888 140735189572070 140735189572070 140735189577672 0 Current children cumulated CPU time: 1482.07 s Current children cumulated vsize: 19196640 KiB Current children cumulated memory: 10875532 KiB Child status: 30 Real time (s): 1464.59 CPU time (s): 1482.2 CPU user time (s): 1468.61 CPU system time (s): 13.5874 CPU usage (%): 101.202 Max. virtual memory (cumulated for all children) (KiB): 19196640 Max. memory (cumulated for all children) (KiB): 10875532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1468.61 system time used= 13.5874 maximum resident set size= 10875788 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 170589 page faults= 0 swaps= 0 block input operations= 0 block output operations= 19815904 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 57974 involuntary context switches= 8318 # summary of solver processes directly reported to runsolver: # pid: 75259 # total CPU time (s): 1482.2 # total CPU user time (s): 1468.61 # total CPU system time (s): 13.5874 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.08828 second user time and 15.7488 second system time The end
Begin job on nodeC001 at 2025-07-03 07:47:47 IDJOB=4509479 IDBENCH=158620 IDSOLVER=3364 FILE ID=nodeC001/4509479-1751521667 RUNJOBID= nodeC001-1751516281-73982 SLURM_JOB_ID= 9598627 Free space on /tmp= 432496 MiB SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509479-1751521667/watcher-4509479-1751521667 -o /tmp/evaluation-result-4509479-1751521667/solver-4509479-1751521667 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751516281-73982 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509479-1751521667 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4509479-1751521667.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 152bb06216511240edab5f108e287529 RANDOM SEED=1732788525 nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3659.552 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.166 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.938 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3492.533 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3659.514 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.681 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.483 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.743 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 39635756 kB MemAvailable: 94132672 kB Buffers: 1668 kB Cached: 55233808 kB SwapCached: 128 kB Active: 35677108 kB Inactive: 55003944 kB Active(anon): 35435064 kB Inactive(anon): 28380 kB Active(file): 242044 kB Inactive(file): 54975564 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 7567580 kB Writeback: 0 kB AnonPages: 35448624 kB Mapped: 123544 kB Shmem: 17776 kB KReclaimable: 237484 kB Slab: 560964 kB SReclaimable: 237484 kB SUnreclaim: 323480 kB KernelStack: 5072 kB PageTables: 73044 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 36024732 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 34902016 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 195400 kB DirectMap2M: 9144320 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432496 MiB End job on nodeC001 at 2025-07-03 08:12:12