Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution VeriPB 2025-06-06 | SAT (TO) | 38 | 3600.45 | 3612.36 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_001_area_delay.opb |
| MD5SUM | 6595cc4610fad26587cd2ec4880b38c3 |
| 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 | 28 |
| Best CPU time to get the best result obtained on this benchmark | 1.07583 |
| 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 | 11321 |
| Total number of constraints | 36630 |
| Number of constraints which are clauses | 36630 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 5515 |
| 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 | 5515 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 5515 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.12/0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.12/0.15 c This is free software under the dual EPL/GNU LGPL licenses. 0.12/0.15 c See www.sat4j.org for details. 0.12/0.17 c version PB25.v20250606 0.12/0.19 c java.runtime.name OpenJDK Runtime Environment 0.12/0.19 c java.vm.name OpenJDK 64-Bit Server VM 0.12/0.19 c java.vm.version 22.0.1+8-16 0.12/0.19 c java.vm.vendor Oracle Corporation 0.12/0.19 c sun.arch.data.model 64 0.12/0.19 c java.version 22.0.1 0.12/0.19 c os.name Linux 0.12/0.19 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.12/0.19 c os.arch amd64 0.12/0.20 c Free memory 2104792832 0.12/0.20 c Max memory 16282288128 0.12/0.20 c Total memory 2113929216 0.12/0.21 c Number of processors 2 0.28/0.30 c Pseudo Boolean Optimization by upper bound 0.28/0.30 c --- Begin Solver configuration --- 0.28/0.30 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.28/0.30 c Learn all clauses as in MiniSAT 0.28/0.30 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.28/0.30 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.28/0.30 c Expensive reason simplification 0.28/0.30 c Glucose 2.1 dynamic restart strategy 0.28/0.30 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.28/0.30 c timeout=2147483s 0.28/0.30 c DB Simplification allowed=false 0.28/0.30 c Listener: none 0.28/0.30 c --- End Solver configuration --- 0.28/0.30 c solving HOME/instance-4496695-1751388076.opb 0.28/0.30 c reading problem ... 0.28/0.31 c using VERIPB proof format 0.28/0.31 c objective function found 1.16/0.77 c ... done. Wall clock time 0.457s. 1.16/0.77 c declared #vars 11321 1.16/0.77 c #constraints 36630 1.16/0.77 c constraints type 1.16/0.77 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 29778 1.16/0.77 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5815 1.16/0.77 c org.sat4j.pb.constraints.pb.UnitClausePB => 1037 1.16/0.77 c 36630 constraints processed. 1.16/0.79 c objective function length is 5515 literals 1.55/0.90 c SATISFIABLE 1.55/0.90 c OPTIMIZING... 1.55/0.90 c Got one! Elapsed wall clock time (in seconds):0.596 1.55/0.90 o 43 1.55/0.95 c Got one! Elapsed wall clock time (in seconds):0.642 1.55/0.95 o 42 1.55/0.99 c Got one! Elapsed wall clock time (in seconds):0.688 1.55/0.99 o 41 1.76/1.09 c Got one! Elapsed wall clock time (in seconds):0.786 1.76/1.09 o 40 4.12/2.21 c Got one! Elapsed wall clock time (in seconds):1.902 4.12/2.21 o 39 5.50/2.92 c cleaning 2584 clauses out of 5182 with flag 8248/5182 6.81/3.89 c Got one! Elapsed wall clock time (in seconds):3.583 6.81/3.89 o 38 7.29/4.11 c cleaning 3845 clauses out of 7704 with flag 3018/10288 10.21/6.62 c cleaning 4910 clauses out of 9860 with flag 31968/16289 14.25/9.97 c cleaning 5969 clauses out of 11949 with flag 63958/23288 18.71/13.87 c cleaning 6982 clauses out of 13981 with flag 100456/31289 23.64/18.27 c cleaning 7982 clauses out of 15999 with flag 142047/40289 28.60/23.13 c cleaning 8975 clauses out of 18015 with flag 196585/50288 33.78/28.36 c cleaning 10017 clauses out of 20040 with flag 252507/61288 39.74/34.34 c cleaning 11001 clauses out of 22023 with flag 313607/73288 46.23/40.88 c cleaning 11981 clauses out of 24023 with flag 381426/86289 53.03/47.63 c cleaning 13008 clauses out of 26041 with flag 455659/100288 60.51/54.90 c cleaning 14006 clauses out of 28033 with flag 540430/115288 68.51/62.93 c cleaning 15000 clauses out of 30027 with flag 623693/131288 77.06/71.41 c cleaning 15998 clauses out of 32027 with flag 724534/148288 85.88/80.29 c cleaning 17015 clauses out of 34030 with flag 819130/166289 95.17/89.53 c cleaning 18000 clauses out of 36014 with flag 913324/185288 104.63/99.02 c cleaning 18994 clauses out of 38014 with flag 1018742/205288 114.50/108.92 c cleaning 19986 clauses out of 40020 with flag 1123417/226288 125.08/119.54 c cleaning 21018 clauses out of 42035 with flag 1228272/248289 134.95/129.49 c cleaning 22007 clauses out of 44016 with flag 1342943/271288 146.12/140.64 c cleaning 22988 clauses out of 46009 with flag 1460488/295288 158.64/153.35 c cleaning 24000 clauses out of 48021 with flag 1584571/320288 171.62/166.37 c cleaning 24996 clauses out of 50021 with flag 1712263/346288 184.90/179.60 c cleaning 25996 clauses out of 52025 with flag 1860680/373288 198.84/193.64 c cleaning 27012 clauses out of 54029 with flag 2000276/401288 213.41/208.22 c cleaning 27985 clauses out of 56017 with flag 2159359/430288 228.75/223.60 c cleaning 29003 clauses out of 58032 with flag 2308887/460288 244.40/239.38 c cleaning 30015 clauses out of 60029 with flag 2450463/491288 259.07/254.09 c cleaning 30997 clauses out of 62014 with flag 2597570/523288 276.22/271.26 c cleaning 31983 clauses out of 64017 with flag 2756407/556288 295.24/290.36 c cleaning 32988 clauses out of 66034 with flag 2904989/590288 313.49/308.60 c cleaning 34009 clauses out of 68047 with flag 3075664/625289 332.15/327.35 c cleaning 34967 clauses out of 70037 with flag 3240398/661288 351.69/346.95 c cleaning 36027 clauses out of 72070 with flag 3462345/698288 371.15/366.44 c cleaning 36976 clauses out of 74043 with flag 3656252/736288 391.80/387.11 c cleaning 38004 clauses out of 76075 with flag 3843362/775296 410.32/405.71 c cleaning 39018 clauses out of 78063 with flag 4032187/815288 431.76/427.20 c cleaning 39974 clauses out of 80047 with flag 4278788/856290 453.79/449.33 c cleaning 41005 clauses out of 82071 with flag 4507443/898288 476.52/472.16 c cleaning 41994 clauses out of 84068 with flag 4734598/941290 499.95/495.64 c cleaning 43002 clauses out of 86072 with flag 4948505/985288 524.43/520.11 c cleaning 44028 clauses out of 88070 with flag 5143026/1030288 549.17/544.93 c cleaning 45005 clauses out of 90044 with flag 5349447/1076290 572.59/568.44 c cleaning 46003 clauses out of 92037 with flag 5587867/1123288 597.23/593.13 c cleaning 47001 clauses out of 94034 with flag 5805620/1171288 622.73/618.74 c cleaning 48007 clauses out of 96035 with flag 6020703/1220290 649.25/647.69 c cleaning 48990 clauses out of 98026 with flag 6226477/1270288 675.39/673.83 c cleaning 50008 clauses out of 100036 with flag 6484763/1321288 701.80/700.38 c cleaning 51009 clauses out of 102028 with flag 6781592/1373288 728.71/727.32 c cleaning 51988 clauses out of 104019 with flag 7044754/1426288 756.01/754.72 c cleaning 53009 clauses out of 106031 with flag 7320745/1480288 783.23/782.11 c cleaning 54000 clauses out of 108022 with flag 7612293/1535288 811.64/810.57 c cleaning 54983 clauses out of 110022 with flag 7916805/1591288 840.84/839.86 c cleaning 56004 clauses out of 112039 with flag 8221229/1648288 871.23/870.30 c cleaning 57010 clauses out of 114036 with flag 8510935/1706289 903.95/903.50 c cleaning 57987 clauses out of 116025 with flag 8826920/1765288 933.77/933.45 c cleaning 58996 clauses out of 118038 with flag 9117389/1825288 962.77/962.59 c cleaning 60003 clauses out of 120042 with flag 9421057/1886288 993.39/993.25 c cleaning 60979 clauses out of 122039 with flag 9751828/1948288 1024.83/1024.80 c cleaning 62007 clauses out of 124061 with flag 10080856/2011289 1057.05/1057.03 c cleaning 63020 clauses out of 126053 with flag 10427808/2075288 1090.44/1090.59 c cleaning 63999 clauses out of 128033 with flag 10811134/2140288 1123.32/1123.59 c cleaning 65008 clauses out of 130035 with flag 11189008/2206289 1157.34/1157.67 c cleaning 65989 clauses out of 132027 with flag 11532799/2273289 1191.09/1191.52 c cleaning 67003 clauses out of 134037 with flag 11922197/2341288 1225.37/1225.97 c cleaning 67977 clauses out of 136034 with flag 12311689/2410288 1260.59/1261.22 c cleaning 69015 clauses out of 138057 with flag 12680963/2480288 1296.36/1297.11 c cleaning 70021 clauses out of 140044 with flag 13110640/2551290 1331.81/1332.60 c cleaning 70991 clauses out of 142021 with flag 13566141/2623288 1369.32/1370.26 c cleaning 71993 clauses out of 144030 with flag 14018198/2696288 1406.14/1407.13 c cleaning 73000 clauses out of 146037 with flag 14476114/2770288 1443.41/1444.51 c cleaning 74001 clauses out of 148038 with flag 14897297/2845289 1483.92/1485.16 c cleaning 74999 clauses out of 150036 with flag 15319098/2921288 1524.63/1525.95 c cleaning 76000 clauses out of 152037 with flag 15804403/2998288 1566.92/1568.39 c cleaning 76999 clauses out of 154037 with flag 16223043/3076288 1609.92/1611.42 c cleaning 78019 clauses out of 156039 with flag 16625803/3155289 1654.25/1655.83 c cleaning 78999 clauses out of 158019 with flag 17035119/3235288 1697.18/1700.43 c cleaning 80006 clauses out of 160020 with flag 17432861/3316288 1739.92/1743.27 c cleaning 80987 clauses out of 162014 with flag 17867192/3398288 1782.67/1786.10 c cleaning 81988 clauses out of 164027 with flag 18262407/3481288 1826.05/1829.40 c cleaning 82997 clauses out of 166039 with flag 18696980/3565288 1872.20/1875.64 c cleaning 84021 clauses out of 168044 with flag 19151082/3650290 1921.17/1924.70 c cleaning 85002 clauses out of 170023 with flag 19566937/3736290 1971.00/1974.62 c cleaning 85991 clauses out of 172019 with flag 19943693/3823288 2021.79/2025.56 c cleaning 87005 clauses out of 174028 with flag 20363968/3911288 2072.19/2076.05 c cleaning 87992 clauses out of 176024 with flag 20795263/4000289 2123.56/2127.51 c cleaning 89003 clauses out of 178031 with flag 21284132/4090288 2175.23/2179.38 c cleaning 89994 clauses out of 180028 with flag 21740699/4181288 2226.73/2231.01 c cleaning 90991 clauses out of 182034 with flag 22182772/4273288 2280.43/2284.70 c cleaning 91981 clauses out of 184044 with flag 22722234/4366289 2335.01/2339.39 c cleaning 93003 clauses out of 186064 with flag 23305689/4460290 2386.47/2393.96 c cleaning 94005 clauses out of 188063 with flag 23872646/4555292 2435.03/2442.62 c cleaning 95018 clauses out of 190054 with flag 24454125/4651288 2481.46/2489.16 c cleaning 95982 clauses out of 192036 with flag 24983261/4748288 2527.45/2535.21 c cleaning 97010 clauses out of 194054 with flag 25488383/4846288 2568.66/2576.50 c cleaning 98013 clauses out of 196044 with flag 25954197/4945288 2617.08/2625.02 c cleaning 98998 clauses out of 198031 with flag 26487984/5045288 2671.35/2679.40 c cleaning 100003 clauses out of 200033 with flag 27045184/5146288 2729.31/2737.45 c cleaning 101005 clauses out of 202030 with flag 27652222/5248288 2785.21/2795.11 c cleaning 102000 clauses out of 204025 with flag 28217888/5351288 2843.09/2853.09 c cleaning 103003 clauses out of 206026 with flag 28769348/5455289 2900.93/2911.03 c cleaning 103970 clauses out of 208022 with flag 29287434/5560288 2959.16/2969.38 c cleaning 104979 clauses out of 210052 with flag 29788933/5666288 3016.22/3026.55 c cleaning 106025 clauses out of 212073 with flag 30282599/5773288 3073.61/3084.09 c cleaning 107009 clauses out of 214048 with flag 30816488/5881288 3127.84/3138.31 c cleaning 108016 clauses out of 216040 with flag 31354508/5990289 3178.78/3189.36 c cleaning 108981 clauses out of 218025 with flag 31864345/6100290 3233.43/3244.03 c cleaning 110004 clauses out of 220042 with flag 32423208/6211288 3292.13/3302.86 c cleaning 111010 clauses out of 222041 with flag 33028461/6323291 3351.17/3361.93 c cleaning 112005 clauses out of 224028 with flag 33588111/6436288 3409.83/3421.67 c cleaning 113001 clauses out of 226026 with flag 34160346/6550291 3471.64/3483.52 c cleaning 113984 clauses out of 228022 with flag 34751463/6665288 3535.80/3547.85 c cleaning 115004 clauses out of 230038 with flag 35375458/6781288 3595.82/3607.99 c cleaning 116006 clauses out of 232034 with flag 35923673/6898288 3600.01/3612.13 c starts : 1318 3600.01/3612.14 c conflicts : 6907139 3600.01/3612.14 c decisions : 40329934 3600.01/3612.14 c propagations : 30396521541 3600.01/3612.14 c inspects : 29617413102 3600.01/3612.14 c shortcuts : 0 3600.01/3612.14 c learnt literals : 1 3600.01/3612.14 c learnt binary clauses : 1 3600.01/3612.14 c learnt ternary clauses : 21 3600.01/3612.14 c learnt constraints : 6907138 3600.01/3612.14 c ignored constraints : 0 3600.01/3612.14 c root simplifications : 0 3600.01/3612.14 c removed literals (reason simplification) : 22279260 3600.01/3612.14 c reason swapping (by a shorter reason) : 0 3600.01/3612.14 c Calls to reduceDB : 114 3600.01/3612.14 c Number of update (reduction) of LBD : 3224680 3600.01/3612.14 c Imported unit clauses : 0 3600.01/3612.14 c No decision after first conflict : false 3600.01/3612.14 c number of reductions to clauses (during analyze) : 0 3600.01/3612.14 c number of learned constraints concerned by reduction : 0 3600.01/3612.14 c number of learning phase by resolution : 0 3600.01/3612.14 c number of learning phase by cutting planes : 0 3600.01/3612.14 c number of rounding to 1 operations : 0 3600.01/3612.14 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.01/3612.14 c number of reductions of the coefficients by power 2 : 0 3600.01/3612.14 c number of right shift for reduction by power 2 : 0 3600.01/3612.14 c number of reductions of the coefficients by GCD over coefficients : 0 3600.01/3612.14 c number of ending skipping : 0 3600.01/3612.14 c number of internal skipping : 0 3600.01/3612.14 c number of derivation steps : 0 3600.01/3612.14 c number of skipped derivation steps : 0 3600.01/3612.14 c number of remaining unassigned : 0 3600.01/3612.14 c number of remaining assigned : 0 3600.01/3612.15 c number of falsified literals weakened from reason : 0 3600.01/3612.15 c number of falsified literals weakened from conflict : 0 3600.01/3612.15 c time for arithmetic operations : 0 3600.01/3612.15 c minimum degree of deleted constraints : null 3600.01/3612.15 c maximum degree of deleted constraints : null 3600.01/3612.15 c number of deleted constraints : 0 3600.01/3612.15 c speed (assignments/second) : 8417055.66525748 3600.01/3612.15 c non guided choices : 0 3600.19/3612.27 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 124878 3600.19/3612.27 c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB : 1 3600.19/3612.27 s SATISFIABLE 3600.19/3612.27 c Found 6 solution(s) 3600.19/3612.28 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 x274 x275 x276 -x277 -x278 -x279 x280 -x281 x282 x283 -x284 x285 -x286 x287 -x288 -x289 x290 -x291 x292 x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 x1605 x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 x2651 x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 x5680 x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 x5782 x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 x6038 x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 x6280 x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 x6298 x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 x6794 x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 x7192 x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 x7260 x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 x8241 x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 x8607 x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 x8761 x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 x9568 x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 x10346 x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 x10354 x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 x10550 x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 x10628 x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 x10886 x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 x11030 x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 x11108 x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 -x11137 x11138 x11139 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 x11148 x11149 -x11150 -x11151 -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 x11160 x11161 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 x11172 x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 x11200 x11201 -x11202 -x11203 -x11204 -x11205 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 x11236 x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11249 -x11250 -x11251 -x11252 -x11253 x11254 x11255 -x11256 -x11257 -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11265 -x11266 -x11267 -x11268 -x11269 -x11270 -x11271 -x11272 -x11273 x11274 x11275 -x11276 -x11277 x11278 x11279 -x11280 -x11281 -x11282 -x11283 -x11284 -x11285 x11286 x11287 -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11295 x11296 x11297 -x11298 -x11299 -x11300 -x11301 -x11302 -x11303 -x11304 -x11305 -x11306 -x11307 -x11308 -x11309 -x11310 -x11311 x11312 x11313 -x11314 -x11315 -x11316 -x11317 x11318 x11319 x11320 x11321 3600.38/3612.32 c objective function=38 3600.38/3612.32 c Total wall clock time (in seconds): 3612.01
OK 38
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: 63837 MiB (60422 MiB free)
memory of node 1: 64465 MiB (57928 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4496695-1751388076/watcher-4496695-1751388076 -o /tmp/evaluation-result-4496695-1751388076/solver-4496695-1751388076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751379491-49324 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4496695-1751388076 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4496695-1751388076.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=50979, runsolver pid=50976
[startup+0.100065 s]*
/proc/loadavg: 4.16 4.17 4.18 7/332 50997
/proc/meminfo: memFree=121171468/131382120 swapFree=33010684/33010684
[pid=50979] ppid=50976 vsize=18930384 memory=48568 CPUtime=0.12 cores=0,2
/proc/50979/stat : 50979 (java) S 50976 50979 49314 0 -1 4194304 5813 0 0 0 9 3 0 0 20 0 18 0 54486283 19384713216 12142 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
/proc/50979/statm: 4732596 12142 5336 1 0 547020 0
[pid=50979/tid=50981] ppid=50976 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/50979/task/50981/stat : 50981 (java) S 50976 50979 49314 0 -1 4194368 4691 0 0 0 5 2 0 0 20 0 18 0 54486285 19384713216 12142 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50990] ppid=50976 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/50979/task/50990/stat : 50990 (Finalizer) S 50976 50979 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54486289 19384713216 12142 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50997] ppid=50976 vsize=18930384 memory=59593594259917 CPUtime=0 cores=0,2
/proc/50979/task/50997/stat : 50997 (Common-Cleaner) S 50976 50979 49314 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 54486290 19384713216 12142 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48568 KiB
[startup+0.211302 s]*
/proc/loadavg: 4.16 4.17 4.18 6/332 50997
/proc/meminfo: memFree=121167940/131382120 swapFree=33010684/33010684
[pid=50979] ppid=50976 vsize=18930384 memory=55576 CPUtime=0.28 cores=0,2
/proc/50979/stat : 50979 (java) S 50976 50979 49314 0 -1 4194304 6542 0 0 0 24 4 0 0 20 0 18 0 54486283 19384713216 13894 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
/proc/50979/statm: 4732596 13894 5336 1 0 547604 0
[pid=50979/tid=50981] ppid=50976 vsize=18930384 memory=4026663196 CPUtime=0.19 cores=0,2
/proc/50979/task/50981/stat : 50981 (java) R 50976 50979 49314 0 -1 4194368 5046 0 0 0 16 3 0 0 20 0 18 0 54486285 19384713216 13894 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50990] ppid=50976 vsize=18930384 memory=16878 CPUtime=0 cores=0,2
/proc/50979/task/50990/stat : 50990 (Finalizer) S 50976 50979 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54486289 19384713216 13894 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50997] ppid=50976 vsize=18930384 memory=58494082614266 CPUtime=0 cores=0,2
/proc/50979/task/50997/stat : 50997 (Common-Cleaner) S 50976 50979 49314 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 54486290 19384713216 13894 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55576 KiB
[startup+0.310146 s]*
/proc/loadavg: 4.16 4.17 4.18 5/332 50997
/proc/meminfo: memFree=121167940/131382120 swapFree=33010684/33010684
[pid=50979] ppid=50976 vsize=18930384 memory=59244 CPUtime=0.43 cores=0,2
/proc/50979/stat : 50979 (java) S 50976 50979 49314 0 -1 4194304 6845 0 0 0 39 4 0 0 20 0 18 0 54486283 19384713216 14811 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
/proc/50979/statm: 4732596 14811 5432 1 0 547809 0
[pid=50979/tid=50981] ppid=50976 vsize=18930384 memory=-6000919481262632042 CPUtime=0.27 cores=0,2
/proc/50979/task/50981/stat : 50981 (java) S 50976 50979 49314 0 -1 4194368 5217 0 0 0 24 3 0 0 20 0 18 0 54486285 19384713216 14811 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50990] ppid=50976 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/50979/task/50990/stat : 50990 (Finalizer) S 50976 50979 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54486289 19384713216 14811 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50997] ppid=50976 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/50979/task/50997/stat : 50997 (Common-Cleaner) S 50976 50979 49314 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 54486290 19384713216 14811 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59244 KiB
[startup+0.700276 s]
/proc/loadavg: 4.16 4.17 4.18 6/332 50997
/proc/meminfo: memFree=121153636/131382120 swapFree=33010684/33010684
[pid=50979] ppid=50976 vsize=18930384 memory=119840 CPUtime=1.16 cores=0,2
/proc/50979/stat : 50979 (java) S 50976 50979 49314 0 -1 4194304 8794 0 0 0 110 6 0 0 20 0 18 0 54486283 19384713216 29960 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
/proc/50979/statm: 4732596 29960 5432 1 0 549010 0
[pid=50979/tid=50981] ppid=50976 vsize=18930384 memory=18304 CPUtime=0.64 cores=0,2
/proc/50979/task/50981/stat : 50981 (java) R 50976 50979 49314 0 -1 4194368 5289 0 0 0 60 4 0 0 20 0 18 0 54486285 19384713216 29960 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50990] ppid=50976 vsize=18930384 memory=11136 CPUtime=0 cores=0,2
/proc/50979/task/50990/stat : 50990 (Finalizer) S 50976 50979 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54486289 19384713216 29960 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50997] ppid=50976 vsize=18930384 memory=3200 CPUtime=0 cores=0,2
/proc/50979/task/50997/stat : 50997 (Common-Cleaner) S 50976 50979 49314 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 54486290 19384713216 29960 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 119840 KiB
[startup+1.50024 s]
/proc/loadavg: 4.16 4.17 4.18 6/333 50998
/proc/meminfo: memFree=121064604/131382120 swapFree=33010684/33010684
[pid=50979] ppid=50976 vsize=19063512 memory=182824 CPUtime=2.74 cores=0,2
/proc/50979/stat : 50979 (java) S 50976 50979 49314 0 -1 4194304 23659 0 0 0 263 11 0 0 20 0 20 0 54486283 19521036288 45706 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
/proc/50979/statm: 4765878 45706 5496 1 0 554782 0
[pid=50979/tid=50981] ppid=50976 vsize=19063512 memory=3200 CPUtime=1.36 cores=0,2
/proc/50979/task/50981/stat : 50981 (java) R 50976 50979 49314 0 -1 4194368 5918 0 0 0 130 6 0 0 20 0 20 0 54486285 19521036288 45706 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50990] ppid=50976 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/50979/task/50990/stat : 50990 (Finalizer) S 50976 50979 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54486289 19521036288 45706 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50997] ppid=50976 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/50979/task/50997/stat : 50997 (Common-Cleaner) S 50976 50979 49314 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 54486290 19521036288 45706 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50998] ppid=50976 vsize=19063512 memory=16544 CPUtime=0 cores=0,2
/proc/50979/task/50998/stat : 50998 (Timer-0) S 50976 50979 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54486368 19521036288 45706 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182824 KiB
[startup+3.10567 s]
/proc/loadavg: 4.23 4.18 4.19 6/334 50999
/proc/meminfo: memFree=121030840/131382120 swapFree=33010684/33010684
[pid=50979] ppid=50976 vsize=19063512 memory=186336 CPUtime=5.89 cores=0,2
/proc/50979/stat : 50979 (java) S 50976 50979 49314 0 -1 4194304 26636 0 0 0 577 12 0 0 20 0 20 0 54486283 19521036288 46584 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
/proc/50979/statm: 4765878 46584 5528 1 0 554856 0
[pid=50979/tid=50981] ppid=50976 vsize=19063512 memory=16544 CPUtime=2.93 cores=0,2
/proc/50979/task/50981/stat : 50981 (java) R 50976 50979 49314 0 -1 4194368 7069 0 0 0 287 6 0 0 20 0 20 0 54486285 19521036288 46584 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50990] ppid=50976 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/50979/task/50990/stat : 50990 (Finalizer) S 50976 50979 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54486289 19521036288 46584 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50997] ppid=50976 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/50979/task/50997/stat : 50997 (Common-Cleaner) S 50976 50979 49314 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 54486290 19521036288 46584 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50998] ppid=50976 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/50979/task/50998/stat : 50998 (Timer-0) S 50976 50979 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54486368 19521036288 46584 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
Current children cumulated CPU time: 5.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 186336 KiB
[startup+6.30038 s]
/proc/loadavg: 4.23 4.18 4.19 6/334 50999
/proc/meminfo: memFree=120974124/131382120 swapFree=33010684/33010684
[pid=50979] ppid=50976 vsize=19063512 memory=190940 CPUtime=9.74 cores=0,2
/proc/50979/stat : 50979 (java) S 50976 50979 49314 0 -1 4194304 27228 0 0 0 961 13 0 0 20 0 20 0 54486283 19521036288 47735 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
/proc/50979/statm: 4765878 47735 5528 1 0 554862 0
[pid=50979/tid=50981] ppid=50976 vsize=19063512 memory=0 CPUtime=6.1 cores=0,2
/proc/50979/task/50981/stat : 50981 (java) R 50976 50979 49314 0 -1 4194368 7335 0 0 0 604 6 0 0 20 0 20 0 54486285 19521036288 47735 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50990] ppid=50976 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/50979/task/50990/stat : 50990 (Finalizer) S 50976 50979 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54486289 19521036288 47735 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50997] ppid=50976 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/50979/task/50997/stat : 50997 (Common-Cleaner) S 50976 50979 49314 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 54486290 19521036288 47735 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50998] ppid=50976 vsize=19063512 memory=182824 CPUtime=0 cores=0,2
/proc/50979/task/50998/stat : 50998 (Timer-0) S 50976 50979 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54486368 19521036288 47735 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
Current children cumulated CPU time: 9.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 190940 KiB
[startup+12.7004 s]
/proc/loadavg: 4.27 4.19 4.19 5/334 51000
/proc/meminfo: memFree=120851392/131382120 swapFree=33010684/33010684
[pid=50979] ppid=50976 vsize=19063512 memory=269548 CPUtime=17.3 cores=0,2
/proc/50979/stat : 50979 (java) S 50976 50979 49314 0 -1 4194304 34990 0 0 0 1712 18 0 0 20 0 20 0 54486283 19521036288 67387 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
/proc/50979/statm: 4765878 67387 5560 1 0 556338 0
[pid=50979/tid=50981] ppid=50976 vsize=19063512 memory=182824 CPUtime=12.46 cores=0,2
/proc/50979/task/50981/stat : 50981 (java) R 50976 50979 49314 0 -1 4194368 8007 0 0 0 1238 8 0 0 20 0 20 0 54486285 19521036288 67387 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50990] ppid=50976 vsize=19063512 memory=269548 CPUtime=0 cores=0,2
/proc/50979/task/50990/stat : 50990 (Finalizer) S 50976 50979 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54486289 19521036288 67387 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50997] ppid=50976 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/50979/task/50997/stat : 50997 (Common-Cleaner) S 50976 50979 49314 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 54486290 19521036288 67387 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50998] ppid=50976 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/50979/task/50998/stat : 50998 (Timer-0) S 50976 50979 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54486368 19521036288 67387 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
Current children cumulated CPU time: 17.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 269548 KiB
[startup+25.5004 s]
/proc/loadavg: 4.23 4.18 4.19 5/334 51000
/proc/meminfo: memFree=120692796/131382120 swapFree=33010684/33010684
[pid=50979] ppid=50976 vsize=19063512 memory=344828 CPUtime=30.98 cores=0,2
/proc/50979/stat : 50979 (java) S 50976 50979 49314 0 -1 4194304 44666 0 0 0 3076 22 0 0 20 0 20 0 54486283 19521036288 86207 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
/proc/50979/statm: 4765878 86207 5560 1 0 556410 0
[pid=50979/tid=50981] ppid=50976 vsize=19063512 memory=0 CPUtime=25.19 cores=0,2
/proc/50979/task/50981/stat : 50981 (java) R 50976 50979 49314 0 -1 4194368 9040 0 0 0 2508 11 0 0 20 0 20 0 54486285 19521036288 86207 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50990] ppid=50976 vsize=19063512 memory=16544 CPUtime=0 cores=0,2
/proc/50979/task/50990/stat : 50990 (Finalizer) S 50976 50979 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54486289 19521036288 86207 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50997] ppid=50976 vsize=19063512 memory=344828 CPUtime=0 cores=0,2
/proc/50979/task/50997/stat : 50997 (Common-Cleaner) S 50976 50979 49314 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 54486290 19521036288 86207 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50998] ppid=50976 vsize=19063512 memory=344828 CPUtime=0 cores=0,2
/proc/50979/task/50998/stat : 50998 (Timer-0) S 50976 50979 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54486368 19521036288 86207 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
Current children cumulated CPU time: 30.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 344828 KiB
[startup+51.1137 s]
/proc/loadavg: 4.23 4.18 4.19 5/334 51000
/proc/meminfo: memFree=120336248/131382120 swapFree=33010684/33010684
[pid=50979] ppid=50976 vsize=19063512 memory=605012 CPUtime=56.54 cores=0,2
/proc/50979/stat : 50979 (java) S 50976 50979 49314 0 -1 4194304 45467 0 0 0 5623 31 0 0 20 0 20 0 54486283 19521036288 151253 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
/proc/50979/statm: 4765878 151253 5560 1 0 556426 0
[pid=50979/tid=50981] ppid=50976 vsize=19063512 memory=396028 CPUtime=50.68 cores=0,2
/proc/50979/task/50981/stat : 50981 (java) R 50976 50979 49314 0 -1 4194368 9643 0 0 0 5050 18 0 0 20 0 20 0 54486285 19521036288 151253 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50990] ppid=50976 vsize=19063512 memory=12544 CPUtime=0 cores=0,2
/proc/50979/task/50990/stat : 50990 (Finalizer) S 50976 50979 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54486289 19521036288 151253 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50997] ppid=50976 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
/proc/50979/task/50997/stat : 50997 (Common-Cleaner) S 50976 50979 49314 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 54486290 19521036288 151253 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
################
# More data... #
################
Current children cumulated memory: 2045980 KiB
[startup+3342.3 s]
/proc/loadavg: 1.11 1.25 2.21 2/254 51275
/proc/meminfo: memFree=124270524/131382120 swapFree=33010684/33010684
[pid=50979] ppid=50976 vsize=19063512 memory=2064412 CPUtime=3331.55 cores=0,2
/proc/50979/stat : 50979 (java) S 50976 50979 49314 0 -1 4194304 97727 0 0 0 332674 481 0 0 20 0 20 0 54486283 19521036288 516103 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
/proc/50979/statm: 4765878 516103 5560 1 0 556426 0
[pid=50979/tid=50981] ppid=50976 vsize=19063512 memory=11136 CPUtime=3314.17 cores=0,2
/proc/50979/task/50981/stat : 50981 (java) R 50976 50979 49314 0 -1 4194368 36665 0 0 0 331091 326 0 0 20 0 20 0 54486285 19521036288 516103 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50990] ppid=50976 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/50979/task/50990/stat : 50990 (Finalizer) S 50976 50979 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54486289 19521036288 516103 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50997] ppid=50976 vsize=19063512 memory=-6000919481262632042 CPUtime=0 cores=0,2
/proc/50979/task/50997/stat : 50997 (Common-Cleaner) S 50976 50979 49314 0 -1 4194368 1627 0 0 0 0 0 0 0 20 0 20 0 54486290 19521036288 516103 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50998] ppid=50976 vsize=19063512 memory=2064412 CPUtime=0 cores=0,2
/proc/50979/task/50998/stat : 50998 (Timer-0) S 50976 50979 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54486368 19521036288 516103 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
Current children cumulated CPU time: 3331.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2064412 KiB
[startup+3402.3 s]
/proc/loadavg: 1.09 1.22 2.14 2/253 51277
/proc/meminfo: memFree=124159672/131382120 swapFree=33010684/33010684
[pid=50979] ppid=50976 vsize=19063512 memory=2132040 CPUtime=3390.59 cores=0,2
/proc/50979/stat : 50979 (java) S 50976 50979 49314 0 -1 4194304 98090 0 0 0 338569 490 0 0 20 0 20 0 54486283 19521036288 533010 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
/proc/50979/statm: 4765878 533010 5560 1 0 556426 0
[pid=50979/tid=50981] ppid=50976 vsize=19063512 memory=-6000919481262632042 CPUtime=3372.86 cores=0,2
/proc/50979/task/50981/stat : 50981 (java) R 50976 50979 49314 0 -1 4194368 36832 0 0 0 336955 331 0 0 20 0 20 0 54486285 19521036288 533010 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50990] ppid=50976 vsize=19063512 memory=16544 CPUtime=0 cores=0,2
/proc/50979/task/50990/stat : 50990 (Finalizer) S 50976 50979 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54486289 19521036288 533010 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50997] ppid=50976 vsize=19063512 memory=16544 CPUtime=0 cores=0,2
/proc/50979/task/50997/stat : 50997 (Common-Cleaner) S 50976 50979 49314 0 -1 4194368 1627 0 0 0 0 0 0 0 20 0 20 0 54486290 19521036288 533010 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50998] ppid=50976 vsize=19063512 memory=4352 CPUtime=0 cores=0,2
/proc/50979/task/50998/stat : 50998 (Timer-0) S 50976 50979 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54486368 19521036288 533010 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
Current children cumulated CPU time: 3390.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2132040 KiB
[startup+3462.3 s]
/proc/loadavg: 1.15 1.21 2.07 2/253 51279
/proc/meminfo: memFree=124106032/131382120 swapFree=33010684/33010684
[pid=50979] ppid=50976 vsize=19063512 memory=2132040 CPUtime=3450.46 cores=0,2
/proc/50979/stat : 50979 (java) S 50976 50979 49314 0 -1 4194304 99145 0 0 0 344548 498 0 0 20 0 20 0 54486283 19521036288 533010 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
/proc/50979/statm: 4765878 533010 5560 1 0 556426 0
[pid=50979/tid=50981] ppid=50976 vsize=19063512 memory=-6000919481262632042 CPUtime=3432.58 cores=0,2
/proc/50979/task/50981/stat : 50981 (java) R 50976 50979 49314 0 -1 4194368 37685 0 0 0 342922 336 0 0 20 0 20 0 54486285 19521036288 533010 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50990] ppid=50976 vsize=19063512 memory=16544 CPUtime=0 cores=0,2
/proc/50979/task/50990/stat : 50990 (Finalizer) S 50976 50979 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54486289 19521036288 533010 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50997] ppid=50976 vsize=19063512 memory=2132040 CPUtime=0 cores=0,2
/proc/50979/task/50997/stat : 50997 (Common-Cleaner) S 50976 50979 49314 0 -1 4194368 1627 0 0 0 0 0 0 0 20 0 20 0 54486290 19521036288 533010 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50998] ppid=50976 vsize=19063512 memory=16544 CPUtime=0 cores=0,2
/proc/50979/task/50998/stat : 50998 (Timer-0) S 50976 50979 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54486368 19521036288 533010 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
Current children cumulated CPU time: 3450.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2132040 KiB
[startup+3522.3 s]
/proc/loadavg: 1.11 1.18 2.01 2/253 51281
/proc/meminfo: memFree=124059708/131382120 swapFree=33010684/33010684
[pid=50979] ppid=50976 vsize=19063512 memory=2134112 CPUtime=3510.38 cores=0,2
/proc/50979/stat : 50979 (java) S 50976 50979 49314 0 -1 4194304 100499 0 0 0 350534 504 0 0 20 0 20 0 54486283 19521036288 533528 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
/proc/50979/statm: 4765878 533528 5560 1 0 556426 0
[pid=50979/tid=50981] ppid=50976 vsize=19063512 memory=2132040 CPUtime=3492.19 cores=0,2
/proc/50979/task/50981/stat : 50981 (java) R 50976 50979 49314 0 -1 4194368 38386 0 0 0 348879 340 0 0 20 0 20 0 54486285 19521036288 533528 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50990] ppid=50976 vsize=19063512 memory=2132040 CPUtime=0 cores=0,2
/proc/50979/task/50990/stat : 50990 (Finalizer) S 50976 50979 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54486289 19521036288 533528 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50997] ppid=50976 vsize=19063512 memory=2132040 CPUtime=0 cores=0,2
/proc/50979/task/50997/stat : 50997 (Common-Cleaner) S 50976 50979 49314 0 -1 4194368 1699 0 0 0 0 0 0 0 20 0 20 0 54486290 19521036288 533528 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50998] ppid=50976 vsize=19063512 memory=2132040 CPUtime=0 cores=0,2
/proc/50979/task/50998/stat : 50998 (Timer-0) S 50976 50979 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54486368 19521036288 533528 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
Current children cumulated CPU time: 3510.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2134112 KiB
[startup+3582.3 s]
/proc/loadavg: 1.08 1.16 1.95 2/253 51285
/proc/meminfo: memFree=124011520/131382120 swapFree=33010684/33010684
[pid=50979] ppid=50976 vsize=19063512 memory=2134112 CPUtime=3570.24 cores=0,2
/proc/50979/stat : 50979 (java) S 50976 50979 49314 0 -1 4194304 101845 0 0 0 356513 511 0 0 20 0 20 0 54486283 19521036288 533528 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
/proc/50979/statm: 4765878 533528 5560 1 0 556426 0
[pid=50979/tid=50981] ppid=50976 vsize=19063512 memory=11136 CPUtime=3551.92 cores=0,2
/proc/50979/task/50981/stat : 50981 (java) R 50976 50979 49314 0 -1 4194368 39083 0 0 0 354848 344 0 0 20 0 20 0 54486285 19521036288 533528 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50990] ppid=50976 vsize=19063512 memory=2134112 CPUtime=0 cores=0,2
/proc/50979/task/50990/stat : 50990 (Finalizer) S 50976 50979 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54486289 19521036288 533528 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50997] ppid=50976 vsize=19063512 memory=12416 CPUtime=0 cores=0,2
/proc/50979/task/50997/stat : 50997 (Common-Cleaner) S 50976 50979 49314 0 -1 4194368 1812 0 0 0 0 0 0 0 20 0 20 0 54486290 19521036288 533528 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50998] ppid=50976 vsize=19063512 memory=-6000919481262632042 CPUtime=0 cores=0,2
/proc/50979/task/50998/stat : 50998 (Timer-0) S 50976 50979 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54486368 19521036288 533528 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
Current children cumulated CPU time: 3570.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2134112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 1.10 1.16 1.92 2/253 51290
/proc/meminfo: memFree=123979500/131382120 swapFree=33010684/33010684
[pid=50979] ppid=50976 vsize=19063512 memory=2134112 CPUtime=3600.01 cores=0,2
/proc/50979/stat : 50979 (java) S 50976 50979 49314 0 -1 4194304 101883 0 0 0 359486 515 0 0 20 0 20 0 54486283 19521036288 533528 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
/proc/50979/statm: 4765878 533528 5560 1 0 556426 0
[pid=50979/tid=50981] ppid=50976 vsize=19063512 memory=0 CPUtime=3581.54 cores=0,2
/proc/50979/task/50981/stat : 50981 (java) R 50976 50979 49314 0 -1 4194368 39086 0 0 0 357807 347 0 0 20 0 20 0 54486285 19521036288 533528 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50990] ppid=50976 vsize=19063512 memory=16544 CPUtime=0 cores=0,2
/proc/50979/task/50990/stat : 50990 (Finalizer) S 50976 50979 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54486289 19521036288 533528 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50997] ppid=50976 vsize=19063512 memory=16544 CPUtime=0 cores=0,2
/proc/50979/task/50997/stat : 50997 (Common-Cleaner) S 50976 50979 49314 0 -1 4194368 1812 0 0 0 0 0 0 0 20 0 20 0 54486290 19521036288 533528 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50998] ppid=50976 vsize=19063512 memory=2134112 CPUtime=0 cores=0,2
/proc/50979/task/50998/stat : 50998 (Timer-0) S 50976 50979 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54486368 19521036288 533528 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2134112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.36 s]
# the end of solver process 50979 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.26 s, system=5.18762 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.21 s]
/proc/loadavg: 1.10 1.16 1.92 2/253 51290
/proc/meminfo: memFree=123979500/131382120 swapFree=33010684/33010684
[pid=50979] ppid=50976 vsize=19263204 memory=2134880 CPUtime=3600.19 cores=0,2
/proc/50979/stat : 50979 (java) S 50976 50979 49314 0 -1 4194304 104396 0 0 0 359503 516 0 0 20 0 21 0 54486283 19725520896 533720 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
/proc/50979/statm: 4815801 533720 5560 1 0 557410 0
[pid=50979/tid=50981] ppid=50976 vsize=19263204 memory=17592 CPUtime=3581.61 cores=0,2
/proc/50979/task/50981/stat : 50981 (java) R 50976 50979 49314 0 -1 4194368 39260 0 0 0 357814 347 0 0 20 0 21 0 54486285 19725520896 533720 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50990] ppid=50976 vsize=19263204 memory=46336 CPUtime=0 cores=0,2
/proc/50979/task/50990/stat : 50990 (Finalizer) S 50976 50979 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 54486289 19725520896 533720 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50997] ppid=50976 vsize=19263204 memory=12544 CPUtime=0 cores=0,2
/proc/50979/task/50997/stat : 50997 (Common-Cleaner) S 50976 50979 49314 0 -1 4194368 1812 0 0 0 0 0 0 0 20 0 21 0 54486290 19725520896 533720 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2134880 KiB
[startup+3612.3 s]
/proc/loadavg: 1.10 1.16 1.92 2/253 51290
/proc/meminfo: memFree=123979500/131382120 swapFree=33010684/33010684
[pid=50979] ppid=50976 vsize=19263204 memory=2134880 CPUtime=3600.38 cores=0,2
/proc/50979/stat : 50979 (java) S 50976 50979 49314 0 -1 4194304 104800 0 0 0 359522 516 0 0 20 0 21 0 54486283 19725520896 533720 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
/proc/50979/statm: 4815801 533720 5560 1 0 557410 0
[pid=50979/tid=50981] ppid=50976 vsize=19263204 memory=0 CPUtime=3581.69 cores=0,2
/proc/50979/task/50981/stat : 50981 (java) R 50976 50979 49314 0 -1 4194368 39260 0 0 0 357822 347 0 0 20 0 21 0 54486285 19725520896 533720 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50990] ppid=50976 vsize=19263204 memory=16544 CPUtime=0 cores=0,2
/proc/50979/task/50990/stat : 50990 (Finalizer) S 50976 50979 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 54486289 19725520896 533720 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
[pid=50979/tid=50997] ppid=50976 vsize=19263204 memory=16544 CPUtime=0 cores=0,2
/proc/50979/task/50997/stat : 50997 (Common-Cleaner) S 50976 50979 49314 0 -1 4194368 1812 0 0 0 0 0 0 0 20 0 21 0 54486290 19725520896 533720 18446744073709551615 94295573344256 94295573347952 140729602460624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94295573355768 94295573356560 94295589928960 140729602464048 140729602464230 140729602464230 140729602469832 0
Current children cumulated CPU time: 3600.38 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2134880 KiB
Child status: 143
Real time (s): 3612.36
CPU time (s): 3600.45
CPU user time (s): 3595.26
CPU system time (s): 5.18762
CPU usage (%): 99.6703
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2134880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.26
system time used= 5.18762
maximum resident set size= 2135136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105396
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5986440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109707
involuntary context switches= 10392
# summary of solver processes directly reported to runsolver:
# pid: 50979
# total CPU time (s): 3600.45
# total CPU user time (s): 3595.26
# total CPU system time (s): 5.18762
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9686 second user time and 37.9839 second system time
The end
Begin job on nodeC003 at 2025-07-01 18:41:16 IDJOB=4496695 IDBENCH=148139 IDSOLVER=3364 FILE ID=nodeC003/4496695-1751388076 RUNJOBID= nodeC003-1751379491-49324 SLURM_JOB_ID= 9598218 Free space on /tmp= 432748 MiB SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_001_area_delay.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4496695-1751388076/watcher-4496695-1751388076 -o /tmp/evaluation-result-4496695-1751388076/solver-4496695-1751388076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751379491-49324 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4496695-1751388076 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4496695-1751388076.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6595cc4610fad26587cd2ec4880b38c3 RANDOM SEED=2146705882 nodeC003 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 : 1197.759 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.44 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 : 3591.467 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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 : 2693.614 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.44 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 : 1197.115 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.44 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 : 3591.696 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.44 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 : 3591.463 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.44 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.474 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.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.200 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.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 121191712 kB MemAvailable: 125367252 kB Buffers: 3280 kB Cached: 4974152 kB SwapCached: 0 kB Active: 4907784 kB Inactive: 4724000 kB Active(anon): 4672368 kB Inactive(anon): 0 kB Active(file): 235416 kB Inactive(file): 4724000 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 55340 kB Writeback: 0 kB AnonPages: 4657168 kB Mapped: 123580 kB Shmem: 17960 kB KReclaimable: 111500 kB Slab: 199260 kB SReclaimable: 111500 kB SUnreclaim: 87760 kB KernelStack: 5024 kB PageTables: 12712 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 7066192 kB VmallocTotal: 34359738367 kB VmallocUsed: 150408 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 4442112 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: 191304 kB DirectMap2M: 11245568 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432756 MiB End job on nodeC003 at 2025-07-01 19:41:29