Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 33 | 1800.25 | 1798.2 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_001_area_delay.opb |
MD5SUM | f1fcceba4d2ff597685b8a775178b9b4 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
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 | 75.1236 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 33 |
Optimality of the best value was proved | NO |
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.07/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.08 c See www.sat4j.org for details. 0.07/0.09 c version 2.3.1.v20110525 0.07/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.09 c java.vm.version 19.1-b02 0.07/0.09 c java.vm.vendor Sun Microsystems Inc. 0.07/0.09 c sun.arch.data.model 64 0.07/0.09 c java.version 1.6.0_24 0.07/0.09 c os.name Linux 0.07/0.09 c os.version 2.6.18-164.el5 0.07/0.09 c os.arch amd64 0.07/0.09 c Free memory 12995394264 0.07/0.09 c Max memory 13063553024 0.07/0.09 c Total memory 13063553024 0.07/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3458471-1307155909.opb 0.10/0.11 c reading problem ... 1.00/0.54 c ... done. Wall clock time 0.428s. 1.00/0.54 c #vars 11321 1.00/0.54 c #constraints 36630 1.00/0.54 c constraints type 1.00/0.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5815 1.00/0.54 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 29778 1.42/0.70 c SATISFIABLE 1.42/0.70 c OPTIMIZING... 1.42/0.70 c Got one! Elapsed wall clock time (in seconds):0.588 1.42/0.70 o 42 1.42/0.79 c Got one! Elapsed wall clock time (in seconds):0.686 1.42/0.79 o 41 1.64/0.87 c Got one! Elapsed wall clock time (in seconds):0.759 1.64/0.87 o 40 2.05/1.03 c Got one! Elapsed wall clock time (in seconds):0.918 2.05/1.03 o 39 2.26/1.22 c Got one! Elapsed wall clock time (in seconds):1.11 2.26/1.22 o 37 2.49/1.41 c Got one! Elapsed wall clock time (in seconds):1.299 2.49/1.41 o 35 5.60/4.55 c cleaning 3001 clauses out of 6007 with flag 5002/6007 9.27/8.15 c cleaning 4498 clauses out of 9004 with flag 11000/12005 10.57/9.45 c Got one! Elapsed wall clock time (in seconds):9.346 10.57/9.45 o 34 11.97/10.88 c cleaning 4804 clauses out of 9616 with flag 3000/17115 15.28/14.19 c cleaning 5402 clauses out of 10812 with flag 9000/23115 19.42/18.24 c cleaning 6197 clauses out of 12410 with flag 16000/30115 23.52/22.37 c cleaning 7100 clauses out of 14213 with flag 24000/38115 26.63/25.44 c Got one! Elapsed wall clock time (in seconds):25.333 26.63/25.44 o 33 28.53/27.31 c cleaning 8679 clauses out of 17371 with flag 5001/48373 31.43/30.27 c cleaning 7334 clauses out of 14691 with flag 11000/54372 35.43/34.28 c cleaning 7173 clauses out of 14357 with flag 18000/61372 39.83/38.68 c cleaning 7583 clauses out of 15184 with flag 26000/69372 45.26/44.05 c cleaning 8295 clauses out of 16601 with flag 35000/78372 51.14/49.94 c cleaning 9147 clauses out of 18307 with flag 45001/88373 56.94/55.75 c cleaning 10072 clauses out of 20160 with flag 56001/99373 63.24/62.05 c cleaning 11034 clauses out of 22087 with flag 68000/111372 70.15/68.90 c cleaning 12017 clauses out of 24053 with flag 81000/124372 77.85/76.61 c cleaning 13013 clauses out of 26036 with flag 95000/138372 85.55/84.35 c cleaning 14007 clauses out of 28023 with flag 110000/153372 95.27/94.03 c cleaning 15004 clauses out of 30016 with flag 126000/169372 104.97/103.77 c cleaning 15996 clauses out of 32012 with flag 143000/186372 114.37/113.20 c cleaning 17003 clauses out of 34016 with flag 161000/204372 124.18/122.97 c cleaning 18001 clauses out of 36014 with flag 180001/223373 134.18/132.99 c cleaning 18997 clauses out of 38012 with flag 200000/243372 146.42/145.13 c cleaning 20008 clauses out of 40016 with flag 221001/264373 159.81/158.55 c cleaning 20988 clauses out of 42007 with flag 243000/286372 174.04/172.72 c cleaning 21997 clauses out of 44019 with flag 266000/309372 187.14/185.85 c cleaning 23004 clauses out of 46022 with flag 290000/333372 201.63/200.39 c cleaning 24001 clauses out of 48020 with flag 315002/358374 216.54/215.23 c cleaning 25001 clauses out of 50018 with flag 341001/384373 232.44/231.10 c cleaning 26007 clauses out of 52017 with flag 368001/411373 247.35/246.02 c cleaning 26998 clauses out of 54009 with flag 396000/439372 263.08/261.75 c cleaning 27997 clauses out of 56012 with flag 425001/468373 278.86/277.57 c cleaning 28994 clauses out of 58015 with flag 455001/498373 296.77/295.49 c cleaning 30009 clauses out of 60021 with flag 486001/529373 311.78/310.48 c cleaning 30994 clauses out of 62011 with flag 518000/561372 327.68/326.32 c cleaning 32007 clauses out of 64018 with flag 551001/594373 345.89/344.56 c cleaning 32995 clauses out of 66010 with flag 585000/628372 365.69/364.30 c cleaning 34000 clauses out of 68016 with flag 620001/663373 384.13/382.79 c cleaning 35000 clauses out of 70016 with flag 656001/699373 402.62/401.28 c cleaning 35499 clauses out of 71016 with flag 692001/735373 423.33/421.96 c cleaning 35747 clauses out of 71516 with flag 728000/771372 441.73/440.39 c cleaning 35878 clauses out of 71770 with flag 764001/807373 459.24/457.82 c cleaning 35928 clauses out of 71891 with flag 800000/843372 476.57/475.13 c cleaning 35971 clauses out of 71963 with flag 836000/879372 495.16/493.74 c cleaning 35987 clauses out of 71992 with flag 872000/915372 513.76/512.32 c cleaning 35992 clauses out of 72005 with flag 908000/951372 532.87/531.43 c cleaning 36003 clauses out of 72014 with flag 944001/987373 550.88/549.46 c cleaning 36002 clauses out of 72011 with flag 980001/1023373 573.59/572.16 c cleaning 35989 clauses out of 72008 with flag 1016000/1059372 594.90/593.41 c cleaning 35999 clauses out of 72019 with flag 1052000/1095372 614.01/612.61 c cleaning 36001 clauses out of 72021 with flag 1088001/1131373 634.62/633.15 c cleaning 36001 clauses out of 72020 with flag 1124001/1167373 655.94/654.49 c cleaning 36002 clauses out of 72018 with flag 1160000/1203372 675.63/674.14 c cleaning 35996 clauses out of 72016 with flag 1196000/1239372 696.04/694.59 c cleaning 35996 clauses out of 72021 with flag 1232001/1275373 716.24/714.80 c cleaning 36001 clauses out of 72024 with flag 1268000/1311372 735.85/734.39 c cleaning 36007 clauses out of 72023 with flag 1304000/1347372 754.06/752.51 c cleaning 36006 clauses out of 72018 with flag 1340002/1383374 774.67/773.18 c cleaning 35994 clauses out of 72010 with flag 1376000/1419372 792.49/790.93 c cleaning 35999 clauses out of 72016 with flag 1412000/1455372 812.38/810.89 c cleaning 35999 clauses out of 72017 with flag 1448000/1491372 833.89/832.39 c cleaning 36003 clauses out of 72020 with flag 1484002/1527374 851.82/850.26 c cleaning 35987 clauses out of 72015 with flag 1520000/1563372 869.22/867.61 c cleaning 36005 clauses out of 72028 with flag 1556000/1599372 886.93/885.30 c cleaning 36006 clauses out of 72023 with flag 1592000/1635372 907.74/906.11 c cleaning 36001 clauses out of 72017 with flag 1628000/1671372 928.87/927.29 c cleaning 35999 clauses out of 72018 with flag 1664002/1707374 949.46/947.82 c cleaning 35996 clauses out of 72017 with flag 1700000/1743372 969.16/967.57 c cleaning 36005 clauses out of 72023 with flag 1736002/1779374 987.87/986.21 c cleaning 36000 clauses out of 72018 with flag 1772002/1815374 1007.00/1005.41 c cleaning 35989 clauses out of 72016 with flag 1808000/1851372 1026.19/1024.57 c cleaning 36008 clauses out of 72028 with flag 1844001/1887373 1044.89/1043.24 c cleaning 35995 clauses out of 72019 with flag 1880000/1923372 1063.21/1061.59 c cleaning 36005 clauses out of 72024 with flag 1916000/1959372 1081.50/1079.87 c cleaning 36007 clauses out of 72019 with flag 1952000/1995372 1101.62/1099.95 c cleaning 35999 clauses out of 72013 with flag 1988001/2031373 1121.31/1119.63 c cleaning 35997 clauses out of 72014 with flag 2024001/2067373 1140.81/1139.13 c cleaning 36003 clauses out of 72018 with flag 2060002/2103374 1160.42/1158.77 c cleaning 35995 clauses out of 72013 with flag 2096000/2139372 1179.93/1178.28 c cleaning 36000 clauses out of 72018 with flag 2132000/2175372 1199.14/1197.47 c cleaning 35996 clauses out of 72018 with flag 2168000/2211372 1218.54/1216.83 c cleaning 36004 clauses out of 72022 with flag 2204000/2247372 1238.45/1236.76 c cleaning 35996 clauses out of 72018 with flag 2240000/2283372 1257.66/1255.95 c cleaning 36006 clauses out of 72022 with flag 2276000/2319372 1278.17/1276.40 c cleaning 36003 clauses out of 72017 with flag 2312001/2355373 1298.88/1297.12 c cleaning 36001 clauses out of 72015 with flag 2348002/2391374 1320.28/1318.58 c cleaning 35990 clauses out of 72012 with flag 2384000/2427372 1339.09/1337.34 c cleaning 36005 clauses out of 72023 with flag 2420001/2463373 1355.49/1353.74 c cleaning 35998 clauses out of 72018 with flag 2456001/2499373 1373.60/1371.88 c cleaning 35997 clauses out of 72019 with flag 2492000/2535372 1391.02/1389.25 c cleaning 36003 clauses out of 72023 with flag 2528001/2571373 1409.21/1407.43 c cleaning 35998 clauses out of 72020 with flag 2564001/2607373 1427.01/1425.26 c cleaning 36000 clauses out of 72021 with flag 2600000/2643372 1446.22/1444.40 c cleaning 36000 clauses out of 72021 with flag 2636000/2679372 1466.82/1465.05 c cleaning 36003 clauses out of 72021 with flag 2672000/2715372 1486.53/1484.78 c cleaning 35996 clauses out of 72018 with flag 2708000/2751372 1505.95/1504.17 c cleaning 36002 clauses out of 72022 with flag 2744000/2787372 1526.05/1524.23 c cleaning 35999 clauses out of 72020 with flag 2780000/2823372 1545.26/1543.41 c cleaning 36004 clauses out of 72022 with flag 2816001/2859373 1565.66/1563.82 c cleaning 36002 clauses out of 72017 with flag 2852000/2895372 1585.07/1583.27 c cleaning 36004 clauses out of 72016 with flag 2888001/2931373 1604.49/1602.69 c cleaning 35996 clauses out of 72011 with flag 2924000/2967372 1623.88/1622.09 c cleaning 36004 clauses out of 72017 with flag 2960002/3003374 1644.78/1642.96 c cleaning 35998 clauses out of 72012 with flag 2996001/3039373 1665.29/1663.48 c cleaning 35994 clauses out of 72013 with flag 3032000/3075372 1685.20/1683.35 c cleaning 35999 clauses out of 72019 with flag 3068000/3111372 1705.10/1703.26 c cleaning 36008 clauses out of 72021 with flag 3104001/3147373 1724.61/1722.76 c cleaning 36001 clauses out of 72012 with flag 3140000/3183372 1744.24/1742.40 c cleaning 35996 clauses out of 72011 with flag 3176000/3219372 1763.83/1761.93 c cleaning 35997 clauses out of 72015 with flag 3212000/3255372 1782.53/1780.63 c cleaning 36000 clauses out of 72018 with flag 3248000/3291372 1800.05/1798.13 c starts : 258 1800.05/1798.13 c conflicts : 3321852 1800.05/1798.13 c decisions : 10925847 1800.05/1798.13 c propagations : 7554644122 1800.05/1798.13 c inspects : 8366505470 1800.05/1798.13 c shortcuts : 0 1800.05/1798.13 c learnt literals : 0 1800.05/1798.13 c learnt binary clauses : 0 1800.05/1798.13 c learnt ternary clauses : 6 1800.05/1798.13 c learnt constraints : 3321852 1800.05/1798.13 c ignored constraints : 0 1800.05/1798.13 c root simplifications : 0 1800.05/1798.13 c removed literals (reason simplification) : 5400514 1800.05/1798.13 c reason swapping (by a shorter reason) : 0 1800.05/1798.13 c Calls to reduceDB : 110 1800.05/1798.13 c number of reductions to clauses (during analyze) : 0 1800.05/1798.13 c number of learned constraints concerned by reduction : 0 1800.05/1798.13 c number of learning phase by resolution : 0 1800.05/1798.13 c number of learning phase by cutting planes : 0 1800.05/1798.13 c speed (assignments/second) : 4261700.553342025 1800.05/1798.13 c non guided choices 29622 1800.05/1798.15 c learnt constraints type 1800.05/1798.15 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 66532 1800.05/1798.15 c constraints type 1800.05/1798.15 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5815 1800.05/1798.15 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.05/1798.15 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 29778 1800.05/1798.15 s SATISFIABLE 1800.05/1798.16 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 1800.05/1798.19 c objective function=33 1800.05/1798.19 c Total wall clock time (in seconds): 1798.079
OK 33
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458471-1307155909/watcher-3458471-1307155909 -o /tmp/evaluation-result-3458471-1307155909/solver-3458471-1307155909 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458471-1307155909.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.15 1.24 1.60 2/593 29963 /proc/meminfo: memFree=23223200/32951124 swapFree=58940260/67111528 [pid=29963] ppid=29961 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/29963/stat : 29963 (java) S 29961 29963 26823 0 -1 4202496 8508 0 1 0 0 0 0 0 18 0 2 0 827188637 13850947584 8209 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699477989 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 /proc/29963/statm: 3381579 8223 917 9 0 3372735 0 [pid=29963/tid=29964] ppid=29961 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29964/stat : 29964 (java) R 29961 29963 26823 0 -1 4202560 8490 0 1 0 0 0 0 0 19 0 2 0 827188638 13850947584 9305 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212687369275 0 4 0 16784584 0 0 0 -1 4 0 0 0 [startup+0.084222 s] /proc/loadavg: 1.15 1.24 1.60 2/593 29963 /proc/meminfo: memFree=23223200/32951124 swapFree=58940260/67111528 [pid=29963] ppid=29961 vsize=13555360 CPUtime=0.07 cores=0,2,4,6 /proc/29963/stat : 29963 (java) S 29961 29963 26823 0 -1 4202496 14750 0 1 0 6 1 0 0 18 0 18 0 827188637 13880688640 14446 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/29963/statm: 3388840 14446 1913 9 0 3379574 0 [pid=29963/tid=29964] ppid=29961 vsize=13555360 CPUtime=0.07 cores=0,2,4,6 /proc/29963/task/29964/stat : 29964 (java) R 29961 29963 26823 0 -1 4202560 13370 0 1 0 6 1 0 0 18 0 18 0 827188638 13880688640 14447 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 47596059501621 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 13555360 [startup+0.100243 s] /proc/loadavg: 1.15 1.24 1.60 2/593 29963 /proc/meminfo: memFree=23223200/32951124 swapFree=58940260/67111528 [pid=29963] ppid=29961 vsize=13621888 CPUtime=0.1 cores=0,2,4,6 /proc/29963/stat : 29963 (java) S 29961 29963 26823 0 -1 4202496 15521 0 1 0 9 1 0 0 18 0 18 0 827188637 13948813312 15190 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/29963/statm: 3405472 15190 2092 9 0 3396206 0 [pid=29963/tid=29964] ppid=29961 vsize=13621888 CPUtime=0.08 cores=0,2,4,6 /proc/29963/task/29964/stat : 29964 (java) R 29961 29963 26823 0 -1 4202560 13579 0 1 0 7 1 0 0 18 0 18 0 827188638 13948813312 15190 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 47596057872259 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13621888 [startup+0.339216 s] /proc/loadavg: 1.15 1.24 1.60 2/593 29963 /proc/meminfo: memFree=23223200/32951124 swapFree=58940260/67111528 [pid=29963] ppid=29961 vsize=13624564 CPUtime=0.61 cores=0,2,4,6 /proc/29963/stat : 29963 (java) S 29961 29963 26823 0 -1 4202496 22314 0 1 0 59 2 0 0 18 0 18 0 827188637 13951553536 21017 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/29963/statm: 3406141 21018 2208 9 0 3396875 0 [pid=29963/tid=29964] ppid=29961 vsize=13624564 CPUtime=0.32 cores=0,2,4,6 /proc/29963/task/29964/stat : 29964 (java) R 29961 29963 26823 0 -1 4202560 17667 0 1 0 31 1 0 0 18 0 18 0 827188638 13951553536 21019 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 46912505583767 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.61 Current children cumulated vsize (KiB) 13624564 [startup+0.701139 s] /proc/loadavg: 1.15 1.24 1.60 2/593 29963 /proc/meminfo: memFree=23223200/32951124 swapFree=58940260/67111528 [pid=29963] ppid=29961 vsize=13627716 CPUtime=1.42 cores=0,2,4,6 /proc/29963/stat : 29963 (java) S 29961 29963 26823 0 -1 4202496 38918 0 1 0 137 5 0 0 18 0 19 0 827188637 13954781184 35782 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/29963/statm: 3406929 35782 2232 9 0 3397663 0 [pid=29963/tid=29964] ppid=29961 vsize=13627716 CPUtime=0.68 cores=0,2,4,6 /proc/29963/task/29964/stat : 29964 (java) R 29961 29963 26823 0 -1 4202560 31672 0 1 0 65 3 0 0 19 0 19 0 827188638 13954781184 35782 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 46912505877920 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1.42 Current children cumulated vsize (KiB) 13627716 [startup+1.50099 s] /proc/loadavg: 1.15 1.24 1.60 6/612 29982 /proc/meminfo: memFree=23082016/32951124 swapFree=58940260/67111528 [pid=29963] ppid=29961 vsize=13627884 CPUtime=2.59 cores=0,2,4,6 /proc/29963/stat : 29963 (java) S 29961 29963 26823 0 -1 4202496 41903 0 1 0 254 5 0 0 18 0 19 0 827188637 13954953216 38232 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/29963/statm: 3406971 38232 2237 9 0 3397705 0 [pid=29963/tid=29964] ppid=29961 vsize=13627884 CPUtime=1.48 cores=0,2,4,6 /proc/29963/task/29964/stat : 29964 (java) R 29961 29963 26823 0 -1 4202560 34054 0 1 0 144 4 0 0 20 0 19 0 827188638 13954953216 38232 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 46912505981229 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=29963/tid=29966] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29966/stat : 29966 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827188640 13954953216 38232 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29967] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29967/stat : 29967 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827188640 13954953216 38232 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29968] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29968/stat : 29968 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827188640 13954953216 38232 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29969] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29969/stat : 29969 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827188640 13954953216 38232 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29970] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29970/stat : 29970 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827188640 13954953216 38232 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29971] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29971/stat : 29971 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827188640 13954953216 38232 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29972] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29972/stat : 29972 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827188640 13954953216 38232 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29973] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29973/stat : 29973 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827188640 13954953216 38232 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29974] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29974/stat : 29974 (java) S 29961 29963 26823 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827188641 13954953216 38232 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491840 0 0 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29975] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29975/stat : 29975 (java) S 29961 29963 26823 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 827188641 13954953216 38232 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29976] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29976/stat : 29976 (java) S 29961 29963 26823 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827188641 13954953216 38232 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29977] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29977/stat : 29977 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827188644 13954953216 38232 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699498929 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29978] ppid=29961 vsize=13627884 CPUtime=0.51 cores=0,2,4,6 /proc/29963/task/29978/stat : 29978 (java) S 29961 29963 26823 0 -1 4202560 2130 0 0 0 51 0 0 0 23 0 19 0 827188644 13954953216 38232 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29979] ppid=29961 vsize=13627884 CPUtime=0.57 cores=0,2,4,6 /proc/29963/task/29979/stat : 29979 (java) S 29961 29963 26823 0 -1 4202560 4559 0 0 0 57 0 0 0 15 0 19 0 827188644 13954953216 38232 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 2 0 0 0 [pid=29963/tid=29980] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29980/stat : 29980 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827188644 13954953216 38232 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29981] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29981/stat : 29981 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827188644 13954953216 38232 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491840 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29982] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29982/stat : 29982 (java) S 29961 29963 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827188695 13954953216 38232 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491840 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2.59 Current children cumulated vsize (KiB) 13627884 [startup+3.10073 s] /proc/loadavg: 1.15 1.24 1.60 5/612 29982 /proc/meminfo: memFree=23075072/32951124 swapFree=58940260/67111528 [pid=29963] ppid=29961 vsize=13627884 CPUtime=4.19 cores=0,2,4,6 /proc/29963/stat : 29963 (java) S 29961 29963 26823 0 -1 4202496 42092 0 1 0 414 5 0 0 18 0 19 0 827188637 13954953216 38420 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/29963/statm: 3406971 38420 2237 9 0 3397705 0 [pid=29963/tid=29964] ppid=29961 vsize=13627884 CPUtime=3.08 cores=0,2,4,6 /proc/29963/task/29964/stat : 29964 (java) R 29961 29963 26823 0 -1 4202560 34242 0 1 0 304 4 0 0 25 0 19 0 827188638 13954953216 38420 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 46912505932688 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=29963/tid=29966] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29966/stat : 29966 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827188640 13954953216 38420 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29967] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29967/stat : 29967 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827188640 13954953216 38420 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29968] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29968/stat : 29968 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827188640 13954953216 38420 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29969] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29969/stat : 29969 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827188640 13954953216 38420 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29970] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29970/stat : 29970 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827188640 13954953216 38420 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29971] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29971/stat : 29971 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827188640 13954953216 38420 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29972] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29972/stat : 29972 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827188640 13954953216 38420 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29973] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29973/stat : 29973 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827188640 13954953216 38420 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29974] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29974/stat : 29974 (java) S 29961 29963 26823 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 827188641 13954953216 38420 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491840 0 0 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29975] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29975/stat : 29975 (java) S 29961 29963 26823 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 827188641 13954953216 38420 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29976] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29976/stat : 29976 (java) S 29961 29963 26823 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827188641 13954953216 38420 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29977] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29977/stat : 29977 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827188644 13954953216 38420 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699498929 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29978] ppid=29961 vsize=13627884 CPUtime=0.51 cores=0,2,4,6 /proc/29963/task/29978/stat : 29978 (java) S 29961 29963 26823 0 -1 4202560 2130 0 0 0 51 0 0 0 23 0 19 0 827188644 13954953216 38420 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29979] ppid=29961 vsize=13627884 CPUtime=0.58 cores=0,2,4,6 /proc/29963/task/29979/stat : 29979 (java) S 29961 29963 26823 0 -1 4202560 4559 0 0 0 58 0 0 0 15 0 19 0 827188644 13954953216 38420 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 2 0 0 0 [pid=29963/tid=29980] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29980/stat : 29980 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827188644 13954953216 38420 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29981] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29981/stat : 29981 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827188644 13954953216 38420 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491840 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29982] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29982/stat : 29982 (java) S 29961 29963 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827188695 13954953216 38420 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491840 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4.19 Current children cumulated vsize (KiB) 13627884 [startup+6.30114 s] /proc/loadavg: 1.22 1.25 1.60 5/612 29982 /proc/meminfo: memFree=23027908/32951124 swapFree=58940260/67111528 [pid=29963] ppid=29961 vsize=13627884 CPUtime=7.44 cores=0,2,4,6 /proc/29963/stat : 29963 (java) S 29961 29963 26823 0 -1 4202496 45693 0 1 0 738 6 0 0 18 0 19 0 827188637 13954953216 41975 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/29963/statm: 3406971 41975 2263 9 0 3397705 0 [pid=29963/tid=29964] ppid=29961 vsize=13627884 CPUtime=6.24 cores=0,2,4,6 /proc/29963/task/29964/stat : 29964 (java) R 29961 29963 26823 0 -1 4202560 34453 0 1 0 620 4 0 0 25 0 19 0 827188638 13954953216 41975 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 46912505935920 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=29963/tid=29966] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29966/stat : 29966 (java) S 29961 29963 26823 0 -1 4202560 712 0 0 0 0 0 0 0 18 0 19 0 827188640 13954953216 41975 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29967] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29967/stat : 29967 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827188640 13954953216 41975 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29968] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29968/stat : 29968 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827188640 13954953216 41975 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29969] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29969/stat : 29969 (java) S 29961 29963 26823 0 -1 4202560 329 0 0 0 0 0 0 0 18 0 19 0 827188640 13954953216 41975 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29970] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29970/stat : 29970 (java) S 29961 29963 26823 0 -1 4202560 493 0 0 0 0 0 0 0 18 0 19 0 827188640 13954953216 41975 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29971] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29971/stat : 29971 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827188640 13954953216 41975 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29972] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29972/stat : 29972 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827188640 13954953216 41975 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29973] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29973/stat : 29973 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827188640 13954953216 41975 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29974] ppid=29961 vsize=13627884 CPUtime=0.02 cores=0,2,4,6 /proc/29963/task/29974/stat : 29974 (java) S 29961 29963 26823 0 -1 4202560 1853 0 0 0 2 0 0 0 15 0 19 0 827188641 13954953216 41975 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491840 0 0 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29975] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29975/stat : 29975 (java) S 29961 29963 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827188641 13954953216 41975 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29976] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29976/stat : 29976 (java) S 29961 29963 26823 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827188641 13954953216 41975 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29977] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29977/stat : 29977 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827188644 13954953216 41975 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699498929 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29978] ppid=29961 vsize=13627884 CPUtime=0.53 cores=0,2,4,6 /proc/29963/task/29978/stat : 29978 (java) S 29961 29963 26823 0 -1 4202560 2134 0 0 0 53 0 0 0 15 0 19 0 827188644 13954953216 41975 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29979] ppid=29961 vsize=13627884 CPUtime=0.59 cores=0,2,4,6 /proc/29963/task/29979/stat : 29979 (java) S 29961 29963 26823 0 -1 4202560 4564 0 0 0 59 0 0 0 15 0 19 0 827188644 13954953216 41975 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 2 0 0 0 ################ # More data... # ################ [pid=29963/tid=29971] ppid=29961 vsize=13627884 CPUtime=0.13 cores=0,2,4,6 /proc/29963/task/29971/stat : 29971 (java) S 29961 29963 26823 0 -1 4202560 488 0 0 0 13 0 0 0 15 0 19 0 827188640 13954953216 51752 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29972] ppid=29961 vsize=13627884 CPUtime=0.17 cores=0,2,4,6 /proc/29963/task/29972/stat : 29972 (java) S 29961 29963 26823 0 -1 4202560 468 0 0 0 17 0 0 0 15 0 19 0 827188640 13954953216 51752 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29973] ppid=29961 vsize=13627884 CPUtime=0.1 cores=0,2,4,6 /proc/29963/task/29973/stat : 29973 (java) S 29961 29963 26823 0 -1 4202560 119 0 0 0 10 0 0 0 15 0 19 0 827188640 13954953216 51752 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29974] ppid=29961 vsize=13627884 CPUtime=4.09 cores=0,2,4,6 /proc/29963/task/29974/stat : 29974 (java) S 29961 29963 26823 0 -1 4202560 7426 0 0 0 407 2 0 0 15 0 19 0 827188641 13954953216 51752 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491840 0 0 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29975] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29975/stat : 29975 (java) S 29961 29963 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827188641 13954953216 51752 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29976] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29976/stat : 29976 (java) S 29961 29963 26823 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827188641 13954953216 51752 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29977] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29977/stat : 29977 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827188644 13954953216 51752 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699498929 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29978] ppid=29961 vsize=13627884 CPUtime=0.55 cores=0,2,4,6 /proc/29963/task/29978/stat : 29978 (java) S 29961 29963 26823 0 -1 4202560 2136 0 0 0 55 0 0 0 15 0 19 0 827188644 13954953216 51752 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29979] ppid=29961 vsize=13627884 CPUtime=0.66 cores=0,2,4,6 /proc/29963/task/29979/stat : 29979 (java) S 29961 29963 26823 0 -1 4202560 4598 0 0 0 66 0 0 0 15 0 19 0 827188644 13954953216 51752 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 2 0 0 0 [pid=29963/tid=29980] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29980/stat : 29980 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827188644 13954953216 51752 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29981] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29981/stat : 29981 (java) S 29961 29963 26823 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 827188644 13954953216 51752 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491840 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29982] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29982/stat : 29982 (java) S 29961 29963 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827188695 13954953216 51752 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491840 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1724.21 Current children cumulated vsize (KiB) 13627884 [startup+1782.3 s] /proc/loadavg: 2.06 2.02 1.93 5/612 30041 /proc/meminfo: memFree=22897368/32951124 swapFree=58940260/67111528 [pid=29963] ppid=29961 vsize=13627884 CPUtime=1784.23 cores=0,2,4,6 /proc/29963/stat : 29963 (java) S 29961 29963 26823 0 -1 4202496 55940 0 1 0 178413 10 0 0 18 0 19 0 827188637 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/29963/statm: 3406971 51870 2264 9 0 3397705 0 [pid=29963/tid=29964] ppid=29961 vsize=13627884 CPUtime=1777.57 cores=0,2,4,6 /proc/29963/task/29964/stat : 29964 (java) R 29961 29963 26823 0 -1 4202560 34563 0 1 0 177753 4 0 0 25 0 19 0 827188638 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 46912505816771 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=29963/tid=29966] ppid=29961 vsize=13627884 CPUtime=0.15 cores=0,2,4,6 /proc/29963/task/29966/stat : 29966 (java) S 29961 29963 26823 0 -1 4202560 1346 0 0 0 15 0 0 0 16 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29967] ppid=29961 vsize=13627884 CPUtime=0.14 cores=0,2,4,6 /proc/29963/task/29967/stat : 29967 (java) S 29961 29963 26823 0 -1 4202560 614 0 0 0 14 0 0 0 15 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 2 0 0 0 [pid=29963/tid=29968] ppid=29961 vsize=13627884 CPUtime=0.13 cores=0,2,4,6 /proc/29963/task/29968/stat : 29968 (java) S 29961 29963 26823 0 -1 4202560 381 0 0 0 13 0 0 0 15 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 2 0 0 0 [pid=29963/tid=29969] ppid=29961 vsize=13627884 CPUtime=0.13 cores=0,2,4,6 /proc/29963/task/29969/stat : 29969 (java) S 29961 29963 26823 0 -1 4202560 972 0 0 0 13 0 0 0 16 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29970] ppid=29961 vsize=13627884 CPUtime=0.12 cores=0,2,4,6 /proc/29963/task/29970/stat : 29970 (java) S 29961 29963 26823 0 -1 4202560 1459 0 0 0 12 0 0 0 15 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 2 0 0 0 [pid=29963/tid=29971] ppid=29961 vsize=13627884 CPUtime=0.14 cores=0,2,4,6 /proc/29963/task/29971/stat : 29971 (java) S 29961 29963 26823 0 -1 4202560 488 0 0 0 14 0 0 0 15 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 2 0 0 0 [pid=29963/tid=29972] ppid=29961 vsize=13627884 CPUtime=0.17 cores=0,2,4,6 /proc/29963/task/29972/stat : 29972 (java) S 29961 29963 26823 0 -1 4202560 468 0 0 0 17 0 0 0 16 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29973] ppid=29961 vsize=13627884 CPUtime=0.11 cores=0,2,4,6 /proc/29963/task/29973/stat : 29973 (java) S 29961 29963 26823 0 -1 4202560 119 0 0 0 11 0 0 0 16 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29974] ppid=29961 vsize=13627884 CPUtime=4.26 cores=0,2,4,6 /proc/29963/task/29974/stat : 29974 (java) S 29961 29963 26823 0 -1 4202560 7544 0 0 0 424 2 0 0 15 0 19 0 827188641 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491840 0 0 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29975] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29975/stat : 29975 (java) S 29961 29963 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827188641 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29976] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29976/stat : 29976 (java) S 29961 29963 26823 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827188641 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29977] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29977/stat : 29977 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827188644 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699498929 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29978] ppid=29961 vsize=13627884 CPUtime=0.55 cores=0,2,4,6 /proc/29963/task/29978/stat : 29978 (java) S 29961 29963 26823 0 -1 4202560 2136 0 0 0 55 0 0 0 15 0 19 0 827188644 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29979] ppid=29961 vsize=13627884 CPUtime=0.66 cores=0,2,4,6 /proc/29963/task/29979/stat : 29979 (java) S 29961 29963 26823 0 -1 4202560 4598 0 0 0 66 0 0 0 15 0 19 0 827188644 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 2 0 0 0 [pid=29963/tid=29980] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29980/stat : 29980 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827188644 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29981] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29981/stat : 29981 (java) S 29961 29963 26823 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827188644 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491840 0 4 0 16800975 18446604441372449792 0 0 -1 0 0 0 0 [pid=29963/tid=29982] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29982/stat : 29982 (java) S 29961 29963 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827188695 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491840 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1784.23 Current children cumulated vsize (KiB) 13627884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1798.1 s] /proc/loadavg: 1.97 2.01 1.93 4/612 30091 /proc/meminfo: memFree=23273248/32951124 swapFree=58940260/67111528 [pid=29963] ppid=29961 vsize=13627884 CPUtime=1800.05 cores=0,2,4,6 /proc/29963/stat : 29963 (java) S 29961 29963 26823 0 -1 4202496 55940 0 1 0 179995 10 0 0 18 0 19 0 827188637 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/29963/statm: 3406971 51870 2264 9 0 3397705 0 [pid=29963/tid=29964] ppid=29961 vsize=13627884 CPUtime=1793.39 cores=0,2,4,6 /proc/29963/task/29964/stat : 29964 (java) R 29961 29963 26823 0 -1 4202560 34563 0 1 0 179335 4 0 0 25 0 19 0 827188638 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 46912505935506 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=29963/tid=29966] ppid=29961 vsize=13627884 CPUtime=0.15 cores=0,2,4,6 /proc/29963/task/29966/stat : 29966 (java) S 29961 29963 26823 0 -1 4202560 1346 0 0 0 15 0 0 0 16 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29967] ppid=29961 vsize=13627884 CPUtime=0.14 cores=0,2,4,6 /proc/29963/task/29967/stat : 29967 (java) S 29961 29963 26823 0 -1 4202560 614 0 0 0 14 0 0 0 15 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 2 0 0 0 [pid=29963/tid=29968] ppid=29961 vsize=13627884 CPUtime=0.13 cores=0,2,4,6 /proc/29963/task/29968/stat : 29968 (java) S 29961 29963 26823 0 -1 4202560 381 0 0 0 13 0 0 0 15 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 2 0 0 0 [pid=29963/tid=29969] ppid=29961 vsize=13627884 CPUtime=0.13 cores=0,2,4,6 /proc/29963/task/29969/stat : 29969 (java) S 29961 29963 26823 0 -1 4202560 972 0 0 0 13 0 0 0 16 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29970] ppid=29961 vsize=13627884 CPUtime=0.12 cores=0,2,4,6 /proc/29963/task/29970/stat : 29970 (java) S 29961 29963 26823 0 -1 4202560 1459 0 0 0 12 0 0 0 15 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 2 0 0 0 [pid=29963/tid=29971] ppid=29961 vsize=13627884 CPUtime=0.14 cores=0,2,4,6 /proc/29963/task/29971/stat : 29971 (java) S 29961 29963 26823 0 -1 4202560 488 0 0 0 14 0 0 0 15 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 2 0 0 0 [pid=29963/tid=29972] ppid=29961 vsize=13627884 CPUtime=0.17 cores=0,2,4,6 /proc/29963/task/29972/stat : 29972 (java) S 29961 29963 26823 0 -1 4202560 468 0 0 0 17 0 0 0 16 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29973] ppid=29961 vsize=13627884 CPUtime=0.11 cores=0,2,4,6 /proc/29963/task/29973/stat : 29973 (java) S 29961 29963 26823 0 -1 4202560 119 0 0 0 11 0 0 0 16 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29974] ppid=29961 vsize=13627884 CPUtime=4.26 cores=0,2,4,6 /proc/29963/task/29974/stat : 29974 (java) S 29961 29963 26823 0 -1 4202560 7544 0 0 0 424 2 0 0 15 0 19 0 827188641 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491840 0 0 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29975] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29975/stat : 29975 (java) S 29961 29963 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827188641 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29976] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29976/stat : 29976 (java) S 29961 29963 26823 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827188641 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29977] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29977/stat : 29977 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827188644 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699498929 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29978] ppid=29961 vsize=13627884 CPUtime=0.55 cores=0,2,4,6 /proc/29963/task/29978/stat : 29978 (java) S 29961 29963 26823 0 -1 4202560 2136 0 0 0 55 0 0 0 15 0 19 0 827188644 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29979] ppid=29961 vsize=13627884 CPUtime=0.66 cores=0,2,4,6 /proc/29963/task/29979/stat : 29979 (java) S 29961 29963 26823 0 -1 4202560 4598 0 0 0 66 0 0 0 15 0 19 0 827188644 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 2 0 0 0 [pid=29963/tid=29980] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29980/stat : 29980 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827188644 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29981] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29981/stat : 29981 (java) S 29961 29963 26823 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827188644 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491840 0 4 0 16800975 18446604441372449792 0 0 -1 0 0 0 0 [pid=29963/tid=29982] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29982/stat : 29982 (java) S 29961 29963 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827188695 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491840 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 13627884 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1798.1 s] /proc/loadavg: 1.97 2.01 1.93 4/612 30091 /proc/meminfo: memFree=23273248/32951124 swapFree=58940260/67111528 [pid=29963] ppid=29961 vsize=13627884 CPUtime=1800.05 cores=0,2,4,6 /proc/29963/stat : 29963 (java) S 29961 29963 26823 0 -1 4202496 55940 0 1 0 179995 10 0 0 18 0 19 0 827188637 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/29963/statm: 3406971 51870 2264 9 0 3397705 0 [pid=29963/tid=29964] ppid=29961 vsize=13627884 CPUtime=1793.39 cores=0,2,4,6 /proc/29963/task/29964/stat : 29964 (java) R 29961 29963 26823 0 -1 4202560 34563 0 1 0 179335 4 0 0 25 0 19 0 827188638 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 46912505935506 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=29963/tid=29966] ppid=29961 vsize=13627884 CPUtime=0.15 cores=0,2,4,6 /proc/29963/task/29966/stat : 29966 (java) S 29961 29963 26823 0 -1 4202560 1346 0 0 0 15 0 0 0 16 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29967] ppid=29961 vsize=13627884 CPUtime=0.14 cores=0,2,4,6 /proc/29963/task/29967/stat : 29967 (java) S 29961 29963 26823 0 -1 4202560 614 0 0 0 14 0 0 0 15 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 2 0 0 0 [pid=29963/tid=29968] ppid=29961 vsize=13627884 CPUtime=0.13 cores=0,2,4,6 /proc/29963/task/29968/stat : 29968 (java) S 29961 29963 26823 0 -1 4202560 381 0 0 0 13 0 0 0 15 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 2 0 0 0 [pid=29963/tid=29969] ppid=29961 vsize=13627884 CPUtime=0.13 cores=0,2,4,6 /proc/29963/task/29969/stat : 29969 (java) S 29961 29963 26823 0 -1 4202560 972 0 0 0 13 0 0 0 16 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29970] ppid=29961 vsize=13627884 CPUtime=0.12 cores=0,2,4,6 /proc/29963/task/29970/stat : 29970 (java) S 29961 29963 26823 0 -1 4202560 1459 0 0 0 12 0 0 0 15 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 2 0 0 0 [pid=29963/tid=29971] ppid=29961 vsize=13627884 CPUtime=0.14 cores=0,2,4,6 /proc/29963/task/29971/stat : 29971 (java) S 29961 29963 26823 0 -1 4202560 488 0 0 0 14 0 0 0 15 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 2 0 0 0 [pid=29963/tid=29972] ppid=29961 vsize=13627884 CPUtime=0.17 cores=0,2,4,6 /proc/29963/task/29972/stat : 29972 (java) S 29961 29963 26823 0 -1 4202560 468 0 0 0 17 0 0 0 16 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29973] ppid=29961 vsize=13627884 CPUtime=0.11 cores=0,2,4,6 /proc/29963/task/29973/stat : 29973 (java) S 29961 29963 26823 0 -1 4202560 119 0 0 0 11 0 0 0 16 0 19 0 827188640 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29974] ppid=29961 vsize=13627884 CPUtime=4.26 cores=0,2,4,6 /proc/29963/task/29974/stat : 29974 (java) S 29961 29963 26823 0 -1 4202560 7544 0 0 0 424 2 0 0 15 0 19 0 827188641 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491840 0 0 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29975] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29975/stat : 29975 (java) S 29961 29963 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827188641 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29976] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29976/stat : 29976 (java) S 29961 29963 26823 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827188641 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29977] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29977/stat : 29977 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827188644 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699498929 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29978] ppid=29961 vsize=13627884 CPUtime=0.55 cores=0,2,4,6 /proc/29963/task/29978/stat : 29978 (java) S 29961 29963 26823 0 -1 4202560 2136 0 0 0 55 0 0 0 15 0 19 0 827188644 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 6 0 0 0 [pid=29963/tid=29979] ppid=29961 vsize=13627884 CPUtime=0.66 cores=0,2,4,6 /proc/29963/task/29979/stat : 29979 (java) S 29961 29963 26823 0 -1 4202560 4598 0 0 0 66 0 0 0 15 0 19 0 827188644 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 2 0 0 0 [pid=29963/tid=29980] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29980/stat : 29980 (java) S 29961 29963 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827188644 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491225 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 [pid=29963/tid=29981] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29981/stat : 29981 (java) S 29961 29963 26823 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827188644 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491840 0 4 0 16800975 18446604441372449792 0 0 -1 0 0 0 0 [pid=29963/tid=29982] ppid=29961 vsize=13627884 CPUtime=0 cores=0,2,4,6 /proc/29963/task/29982/stat : 29982 (java) S 29961 29963 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827188695 13954953216 51870 33554432000 1073741824 1073778376 140735931342944 18446744073709551615 212699491840 0 4 0 16800975 18446604441372449792 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 13627884 Child status: 143 Real time (s): 1798.2 CPU time (s): 1800.25 CPU user time (s): 1800.13 CPU system time (s): 0.117982 CPU usage (%): 100.114 Max. virtual memory (cumulated for all children) (KiB): 13627884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.13 system time used= 0.117982 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 56135 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39959 involuntary context switches= 6636 runsolver used 11.3893 second user time and 22.9725 second system time The end
Begin job on node139 at 2011-06-04 04:51:49 IDJOB=3458471 IDBENCH=24973 IDSOLVER=1952 FILE ID=node139/3458471-1307155909 RUNJOBID= node139-1307155901-29828 PBS_JOBID= 13508777 Free space on /tmp= 73468 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_001_area_delay.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458471-1307155909/watcher-3458471-1307155909 -o /tmp/evaluation-result-3458471-1307155909/solver-3458471-1307155909 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458471-1307155909.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f1fcceba4d2ff597685b8a775178b9b4 RANDOM SEED=1872790949 node139.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5321.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23223480 kB Buffers: 267948 kB Cached: 610216 kB SwapCached: 3628 kB Active: 8906944 kB Inactive: 516096 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23223480 kB SwapTotal: 67111528 kB SwapFree: 58940260 kB Dirty: 5816 kB Writeback: 0 kB AnonPages: 8542500 kB Mapped: 41264 kB Slab: 153456 kB PageTables: 79140 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 184311072 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73468 MiB End job on node139 at 2011-06-04 05:21:49