Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 31 | 1800.26 | 1798.2 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_026_area_delay.opb |
MD5SUM | 4c21c441bf9f3f3be8f0cdb52c39f9b4 |
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 | 115.563 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 30 |
Optimality of the best value was proved | NO |
Number of variables | 12852 |
Total number of constraints | 41686 |
Number of constraints which are clauses | 41686 |
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 | 6267 |
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 | 6267 |
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 | 6267 |
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.06/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.09 c See www.sat4j.org for details. 0.06/0.09 c version 2.3.1.v20110525 0.06/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.09 c java.vm.version 19.1-b02 0.06/0.09 c java.vm.vendor Sun Microsystems Inc. 0.06/0.09 c sun.arch.data.model 64 0.06/0.09 c java.version 1.6.0_24 0.06/0.09 c os.name Linux 0.06/0.09 c os.version 2.6.18-164.el5 0.06/0.09 c os.arch amd64 0.06/0.09 c Free memory 12995394264 0.06/0.09 c Max memory 13063553024 0.06/0.09 c Total memory 13063553024 0.06/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-3458499-1307156675.opb 0.10/0.11 c reading problem ... 1.00/0.57 c ... done. Wall clock time 0.455s. 1.00/0.57 c #vars 12852 1.00/0.57 c #constraints 41686 1.00/0.57 c constraints type 1.00/0.57 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6595 1.00/0.57 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 33897 1.40/0.72 c SATISFIABLE 1.40/0.72 c OPTIMIZING... 1.40/0.72 c Got one! Elapsed wall clock time (in seconds):0.608 1.40/0.72 o 38 1.82/0.97 c Got one! Elapsed wall clock time (in seconds):0.855 1.82/0.97 o 35 2.40/1.46 c Got one! Elapsed wall clock time (in seconds):1.352 2.40/1.46 o 34 3.16/2.14 c Got one! Elapsed wall clock time (in seconds):2.031 3.16/2.14 o 33 5.56/4.56 c cleaning 3126 clauses out of 6261 with flag 4001/6261 5.91/4.89 c Got one! Elapsed wall clock time (in seconds):4.775 5.91/4.89 o 32 8.66/7.54 c cleaning 4231 clauses out of 8470 with flag 5000/11596 10.47/9.31 c Got one! Elapsed wall clock time (in seconds):9.199 10.47/9.31 o 31 11.57/10.46 c cleaning 4661 clauses out of 9333 with flag 2000/16690 15.38/14.29 c cleaning 5336 clauses out of 10672 with flag 8000/22690 19.43/18.23 c cleaning 6162 clauses out of 12336 with flag 15000/29690 24.53/23.31 c cleaning 7077 clauses out of 14175 with flag 23001/37691 29.93/28.74 c cleaning 8034 clauses out of 16097 with flag 32000/46690 35.74/34.57 c cleaning 9026 clauses out of 18064 with flag 42001/56691 42.24/41.06 c cleaning 10010 clauses out of 20037 with flag 53000/67690 49.04/47.87 c cleaning 11008 clauses out of 22027 with flag 65000/79690 56.34/55.14 c cleaning 12007 clauses out of 24019 with flag 78000/92690 63.85/62.69 c cleaning 12992 clauses out of 26012 with flag 92000/106690 72.15/70.98 c cleaning 14003 clauses out of 28020 with flag 107000/121690 79.95/78.76 c cleaning 14990 clauses out of 30017 with flag 123000/137690 88.18/86.97 c cleaning 16006 clauses out of 32027 with flag 140000/154690 98.16/96.94 c cleaning 17010 clauses out of 34022 with flag 158001/172691 108.27/107.07 c cleaning 18002 clauses out of 36011 with flag 177000/191690 118.77/117.61 c cleaning 19003 clauses out of 38010 with flag 197001/211691 128.57/127.34 c cleaning 19996 clauses out of 40006 with flag 218000/232690 141.08/139.81 c cleaning 20992 clauses out of 42010 with flag 240000/254690 152.99/151.79 c cleaning 21996 clauses out of 44018 with flag 263000/277690 165.69/164.40 c cleaning 22996 clauses out of 46022 with flag 287000/301690 178.80/177.55 c cleaning 23996 clauses out of 48027 with flag 312001/326691 191.70/190.49 c cleaning 25007 clauses out of 50030 with flag 338000/352690 205.70/204.49 c cleaning 26007 clauses out of 52024 with flag 365001/379691 219.62/218.31 c cleaning 27000 clauses out of 54017 with flag 393001/407691 234.82/233.55 c cleaning 28003 clauses out of 56017 with flag 422001/436691 251.64/250.37 c cleaning 28999 clauses out of 58014 with flag 452001/466691 267.05/265.71 c cleaning 29991 clauses out of 60015 with flag 483001/497691 283.65/282.36 c cleaning 31002 clauses out of 62023 with flag 515000/529690 303.66/302.40 c cleaning 32000 clauses out of 64023 with flag 548002/562692 323.07/321.71 c cleaning 33006 clauses out of 66021 with flag 582000/596690 341.98/340.67 c cleaning 33999 clauses out of 68015 with flag 617000/631690 360.79/359.44 c cleaning 34999 clauses out of 70017 with flag 653001/667691 380.92/379.59 c cleaning 36004 clauses out of 72017 with flag 690000/704690 401.91/400.56 c cleaning 36999 clauses out of 74014 with flag 728001/742691 423.12/421.74 c cleaning 37997 clauses out of 76014 with flag 767000/781690 442.44/441.04 c cleaning 39000 clauses out of 78017 with flag 807000/821690 463.04/461.62 c cleaning 39999 clauses out of 80018 with flag 848001/862691 482.45/481.09 c cleaning 40500 clauses out of 81018 with flag 889000/903690 503.75/502.31 c cleaning 40751 clauses out of 81518 with flag 930000/944690 524.86/523.46 c cleaning 40873 clauses out of 81767 with flag 971000/985690 547.87/546.43 c cleaning 40939 clauses out of 81894 with flag 1012000/1026690 575.48/574.03 c cleaning 40963 clauses out of 81955 with flag 1053000/1067690 597.60/596.19 c cleaning 40987 clauses out of 81994 with flag 1094002/1108692 616.70/615.28 c cleaning 40995 clauses out of 82005 with flag 1135000/1149690 638.11/636.62 c cleaning 40991 clauses out of 82010 with flag 1176000/1190690 665.72/664.29 c cleaning 41007 clauses out of 82019 with flag 1217000/1231690 689.93/688.45 c cleaning 40994 clauses out of 82012 with flag 1258000/1272690 717.34/715.87 c cleaning 40989 clauses out of 82018 with flag 1299000/1313690 739.67/738.16 c cleaning 41007 clauses out of 82030 with flag 1340001/1354691 758.76/757.25 c cleaning 41007 clauses out of 82023 with flag 1381001/1395691 779.07/777.57 c cleaning 41001 clauses out of 82016 with flag 1422001/1436691 799.17/797.68 c cleaning 40994 clauses out of 82014 with flag 1463000/1477690 820.49/818.91 c cleaning 41001 clauses out of 82023 with flag 1504003/1518693 840.80/839.28 c cleaning 41001 clauses out of 82019 with flag 1545000/1559690 861.21/859.66 c cleaning 40992 clauses out of 82018 with flag 1586000/1600690 882.12/880.50 c cleaning 41009 clauses out of 82028 with flag 1627002/1641692 901.73/900.14 c cleaning 41001 clauses out of 82020 with flag 1668003/1682693 921.84/920.20 c cleaning 40999 clauses out of 82016 with flag 1709000/1723690 942.17/940.55 c cleaning 41000 clauses out of 82017 with flag 1750000/1764690 964.76/963.14 c cleaning 41001 clauses out of 82019 with flag 1791002/1805692 986.97/985.32 c cleaning 41001 clauses out of 82016 with flag 1832000/1846690 1009.50/1007.86 c cleaning 41000 clauses out of 82018 with flag 1873003/1887693 1031.80/1030.19 c cleaning 41001 clauses out of 82015 with flag 1914000/1928690 1054.71/1053.00 c cleaning 40992 clauses out of 82014 with flag 1955000/1969690 1076.91/1075.21 c cleaning 41008 clauses out of 82023 with flag 1996001/2010691 1098.82/1097.15 c cleaning 41003 clauses out of 82014 with flag 2037000/2051690 1120.93/1119.23 c cleaning 40994 clauses out of 82012 with flag 2078001/2092691 1142.74/1141.04 c cleaning 41000 clauses out of 82017 with flag 2119000/2133690 1166.05/1164.39 c cleaning 41004 clauses out of 82019 with flag 2160002/2174692 1185.96/1184.23 c cleaning 40996 clauses out of 82013 with flag 2201000/2215690 1205.87/1204.10 c cleaning 41004 clauses out of 82017 with flag 2242000/2256690 1226.18/1224.46 c cleaning 41003 clauses out of 82015 with flag 2283002/2297692 1250.39/1248.65 c cleaning 40995 clauses out of 82010 with flag 2324000/2338690 1273.31/1271.59 c cleaning 40995 clauses out of 82015 with flag 2365000/2379690 1296.21/1294.49 c cleaning 40999 clauses out of 82021 with flag 2406001/2420691 1317.44/1315.68 c cleaning 41006 clauses out of 82023 with flag 2447002/2461692 1336.82/1335.04 c cleaning 40996 clauses out of 82016 with flag 2488001/2502691 1356.63/1354.90 c cleaning 40999 clauses out of 82020 with flag 2529001/2543691 1376.43/1374.68 c cleaning 41000 clauses out of 82020 with flag 2570000/2584690 1396.84/1395.04 c cleaning 40997 clauses out of 82020 with flag 2611000/2625690 1417.85/1416.05 c cleaning 41005 clauses out of 82023 with flag 2652000/2666690 1442.76/1440.95 c cleaning 41005 clauses out of 82019 with flag 2693001/2707691 1467.16/1465.38 c cleaning 40994 clauses out of 82013 with flag 2734000/2748690 1490.57/1488.79 c cleaning 41001 clauses out of 82019 with flag 2775000/2789690 1514.47/1512.63 c cleaning 41000 clauses out of 82019 with flag 2816001/2830691 1537.99/1536.16 c cleaning 41001 clauses out of 82019 with flag 2857001/2871691 1561.40/1559.54 c cleaning 41003 clauses out of 82019 with flag 2898002/2912692 1585.20/1583.39 c cleaning 40995 clauses out of 82014 with flag 2939000/2953690 1608.01/1606.12 c cleaning 40992 clauses out of 82019 with flag 2980000/2994690 1628.72/1626.83 c cleaning 41009 clauses out of 82029 with flag 3021002/3035692 1648.32/1646.45 c cleaning 41002 clauses out of 82018 with flag 3062000/3076690 1669.55/1667.68 c cleaning 40992 clauses out of 82016 with flag 3103000/3117690 1691.56/1689.69 c cleaning 40999 clauses out of 82024 with flag 3144000/3158690 1713.75/1711.80 c cleaning 41007 clauses out of 82027 with flag 3185002/3199692 1736.05/1734.10 c cleaning 41002 clauses out of 82018 with flag 3226000/3240690 1759.67/1757.78 c cleaning 41001 clauses out of 82017 with flag 3267001/3281691 1781.79/1779.87 c cleaning 40998 clauses out of 82015 with flag 3308000/3322690 1800.08/1798.12 c starts : 256 1800.08/1798.12 c conflicts : 3356122 1800.08/1798.12 c decisions : 12472143 1800.08/1798.12 c propagations : 7696928507 1800.08/1798.12 c inspects : 8580609681 1800.08/1798.12 c shortcuts : 0 1800.08/1798.12 c learnt literals : 0 1800.08/1798.12 c learnt binary clauses : 0 1800.08/1798.12 c learnt ternary clauses : 0 1800.08/1798.12 c learnt constraints : 3356122 1800.08/1798.12 c ignored constraints : 0 1800.08/1798.12 c root simplifications : 0 1800.08/1798.12 c removed literals (reason simplification) : 7626423 1800.08/1798.12 c reason swapping (by a shorter reason) : 0 1800.08/1798.12 c Calls to reduceDB : 99 1800.08/1798.12 c number of reductions to clauses (during analyze) : 0 1800.08/1798.12 c number of learned constraints concerned by reduction : 0 1800.08/1798.12 c number of learning phase by resolution : 0 1800.08/1798.12 c number of learning phase by cutting planes : 0 1800.08/1798.12 c speed (assignments/second) : 4302819.860790213 1800.08/1798.12 c non guided choices 22866 1800.08/1798.15 c learnt constraints type 1800.08/1798.15 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 74484 1800.08/1798.15 c constraints type 1800.08/1798.15 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6595 1800.08/1798.15 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.08/1798.15 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 33897 1800.08/1798.15 s SATISFIABLE 1800.08/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 -x11322 -x11323 -x11324 -x11325 -x11326 -x11327 -x11328 -x11329 -x11330 -x11331 -x11332 -x11333 -x11334 -x11335 -x11336 -x11337 -x11338 -x11339 -x11340 -x11341 -x11342 -x11343 -x11344 -x11345 -x11346 -x11347 -x11348 -x11349 -x11350 -x11351 -x11352 -x11353 -x11354 -x11355 -x11356 -x11357 -x11358 -x11359 -x11360 -x11361 -x11362 -x11363 -x11364 -x11365 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11373 -x11374 -x11375 -x11376 -x11377 -x11378 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 -x11386 -x11387 -x11388 -x11389 -x11390 -x11391 -x11392 -x11393 -x11394 -x11395 -x11396 -x11397 -x11398 -x11399 -x11400 -x11401 -x11402 -x11403 -x11404 -x11405 -x11406 -x11407 -x11408 -x11409 -x11410 -x11411 -x11412 -x11413 -x11414 -x11415 -x11416 -x11417 -x11418 -x11419 -x11420 -x11421 -x11422 -x11423 -x11424 -x11425 -x11426 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11434 -x11435 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11442 -x11443 -x11444 -x11445 -x11446 -x11447 -x11448 -x11449 -x11450 -x11451 -x11452 -x11453 -x11454 -x11455 -x11456 -x11457 -x11458 -x11459 -x11460 -x11461 -x11462 -x11463 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11472 -x11473 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11483 -x11484 -x11485 -x11486 -x11487 -x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11501 -x11502 -x11503 -x11504 -x11505 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 -x11515 -x11516 -x11517 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11527 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11538 -x11539 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11549 -x11550 -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11560 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 x11571 x11572 -x11573 -x11574 -x11575 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 -x11583 -x11584 -x11585 -x11586 -x11587 -x11588 -x11589 -x11590 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11597 -x11598 -x11599 -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11608 -x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617 -x11618 -x11619 -x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 -x11630 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11637 -x11638 -x11639 -x11640 -x11641 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11652 -x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x11661 -x11662 -x11663 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673 -x11674 -x11675 -x11676 -x11677 -x11678 -x11679 -x11680 -x11681 -x11682 -x11683 -x11684 -x11685 -x11686 -x11687 -x11688 -x11689 -x11690 -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11700 -x11701 -x11702 -x11703 -x11704 -x11705 -x11706 -x11707 -x11708 -x11709 -x11710 -x11711 -x11712 -x11713 -x11714 -x11715 -x11716 -x11717 -x11718 -x11719 -x11720 -x11721 -x11722 -x11723 -x11724 -x11725 -x11726 -x11727 -x11728 -x11729 -x11730 -x11731 -x11732 -x11733 -x11734 -x11735 -x11736 -x11737 -x11738 -x11739 -x11740 -x11741 -x11742 -x11743 -x11744 -x11745 -x11746 -x11747 -x11748 -x11749 -x11750 -x11751 -x11752 -x11753 -x11754 -x11755 -x11756 -x11757 -x11758 -x11759 -x11760 -x11761 -x11762 -x11763 -x11764 -x11765 -x11766 -x11767 -x11768 -x11769 -x11770 -x11771 -x11772 -x11773 -x11774 -x11775 -x11776 -x11777 -x11778 -x11779 -x11780 -x11781 -x11782 -x11783 -x11784 -x11785 -x11786 -x11787 -x11788 -x11789 -x11790 -x11791 -x11792 -x11793 -x11794 -x11795 -x11796 -x11797 -x11798 -x11799 -x11800 -x11801 -x11802 -x11803 -x11804 -x11805 -x11806 -x11807 -x11808 -x11809 -x11810 -x11811 -x11812 -x11813 -x11814 -x11815 -x11816 -x11817 -x11818 -x11819 -x11820 -x11821 -x11822 -x11823 -x11824 -x11825 -x11826 -x11827 -x11828 -x11829 -x11830 -x11831 -x11832 -x11833 -x11834 -x11835 -x11836 -x11837 -x11838 -x11839 -x11840 -x11841 -x11842 -x11843 -x11844 -x11845 -x11846 -x11847 -x11848 -x11849 -x11850 -x11851 -x11852 -x11853 -x11854 -x11855 -x11856 -x11857 -x11858 -x11859 -x11860 -x11861 -x11862 -x11863 -x11864 x11865 x11866 -x11867 -x11868 -x11869 -x11870 -x11871 -x11872 -x11873 -x11874 -x11875 -x11876 -x11877 -x11878 -x11879 -x11880 -x11881 -x11882 -x11883 -x11884 -x11885 -x11886 -x11887 -x11888 -x11889 -x11890 -x11891 -x11892 -x11893 -x11894 -x11895 -x11896 -x11897 -x11898 -x11899 -x11900 -x11901 -x11902 -x11903 -x11904 -x11905 -x11906 -x11907 -x11908 -x11909 -x11910 -x11911 -x11912 -x11913 -x11914 -x11915 -x11916 -x11917 -x11918 -x11919 -x11920 -x11921 -x11922 -x11923 -x11924 -x11925 -x11926 -x11927 -x11928 -x11929 -x11930 -x11931 -x11932 -x11933 -x11934 -x11935 -x11936 -x11937 -x11938 -x11939 -x11940 -x11941 -x11942 -x11943 -x11944 -x11945 -x11946 -x11947 -x11948 -x11949 -x11950 -x11951 -x11952 -x11953 -x11954 -x11955 -x11956 -x11957 -x11958 -x11959 -x11960 -x11961 -x11962 -x11963 -x11964 -x11965 -x11966 -x11967 -x11968 -x11969 -x11970 -x11971 -x11972 -x11973 -x11974 -x11975 -x11976 -x11977 -x11978 -x11979 -x11980 -x11981 -x11982 -x11983 -x11984 -x11985 -x11986 -x11987 -x11988 -x11989 -x11990 -x11991 -x11992 -x11993 -x11994 -x11995 -x11996 -x11997 -x11998 -x11999 -x12000 -x12001 -x12002 -x12003 -x12004 -x12005 -x12006 -x12007 -x12008 -x12009 -x12010 -x12011 -x12012 -x12013 -x12014 -x12015 -x12016 -x12017 -x12018 -x12019 -x12020 -x12021 -x12022 -x12023 -x12024 -x12025 -x12026 -x12027 -x12028 -x12029 -x12030 -x12031 -x12032 -x12033 -x12034 -x12035 -x12036 -x12037 -x12038 -x12039 -x12040 -x12041 -x12042 -x12043 -x12044 -x12045 -x12046 -x12047 -x12048 -x12049 -x12050 -x12051 -x12052 -x12053 -x12054 -x12055 -x12056 -x12057 -x12058 -x12059 -x12060 -x12061 -x12062 -x12063 -x12064 -x12065 -x12066 -x12067 -x12068 -x12069 -x12070 -x12071 -x12072 -x12073 -x12074 -x12075 -x12076 -x12077 -x12078 -x12079 -x12080 -x12081 -x12082 -x12083 -x12084 -x12085 -x12086 -x12087 -x12088 -x12089 -x12090 -x12091 -x12092 -x12093 -x12094 -x12095 -x12096 -x12097 -x12098 -x12099 -x12100 -x12101 -x12102 -x12103 -x12104 -x12105 -x12106 -x12107 -x12108 -x12109 -x12110 -x12111 -x12112 -x12113 -x12114 -x12115 -x12116 -x12117 -x12118 -x12119 -x12120 -x12121 -x12122 -x12123 -x12124 -x12125 -x12126 -x12127 -x12128 -x12129 -x12130 -x12131 -x12132 -x12133 -x12134 -x12135 -x12136 -x12137 -x12138 -x12139 -x12140 -x12141 -x12142 -x12143 -x12144 -x12145 -x12146 -x12147 -x12148 -x12149 -x12150 -x12151 -x12152 -x12153 -x12154 -x12155 -x12156 -x12157 -x12158 -x12159 -x12160 -x12161 -x12162 -x12163 -x12164 -x12165 -x12166 -x12167 -x12168 -x12169 -x12170 -x12171 -x12172 -x12173 -x12174 -x12175 -x12176 -x12177 -x12178 -x12179 -x12180 -x12181 -x12182 -x12183 -x12184 -x12185 -x12186 -x12187 -x12188 -x12189 -x12190 -x12191 -x12192 -x12193 -x12194 -x12195 -x12196 -x12197 -x12198 -x12199 -x12200 -x12201 -x12202 -x12203 -x12204 -x12205 -x12206 -x12207 -x12208 -x12209 -x12210 -x12211 -x12212 -x12213 -x12214 -x12215 -x12216 -x12217 -x12218 -x12219 -x12220 -x12221 -x12222 -x12223 -x12224 -x12225 -x12226 -x12227 -x12228 -x12229 -x12230 -x12231 -x12232 -x12233 -x12234 -x12235 -x12236 -x12237 -x12238 -x12239 -x12240 -x12241 -x12242 -x12243 -x12244 x12245 x12246 -x12247 -x12248 -x12249 -x12250 -x12251 -x12252 -x12253 -x12254 -x12255 -x12256 -x12257 -x12258 -x12259 -x12260 -x12261 -x12262 -x12263 -x12264 -x12265 -x12266 -x12267 -x12268 -x12269 -x12270 -x12271 -x12272 -x12273 -x12274 -x12275 -x12276 -x12277 -x12278 -x12279 -x12280 -x12281 -x12282 -x12283 -x12284 -x12285 -x12286 -x12287 -x12288 -x12289 -x12290 -x12291 -x12292 -x12293 -x12294 -x12295 -x12296 -x12297 -x12298 -x12299 -x12300 -x12301 -x12302 -x12303 -x12304 -x12305 -x12306 -x12307 -x12308 -x12309 -x12310 -x12311 -x12312 -x12313 -x12314 -x12315 -x12316 -x12317 -x12318 -x12319 -x12320 -x12321 -x12322 -x12323 -x12324 -x12325 -x12326 -x12327 -x12328 -x12329 -x12330 -x12331 -x12332 -x12333 -x12334 -x12335 -x12336 -x12337 -x12338 -x12339 -x12340 -x12341 -x12342 -x12343 -x12344 -x12345 -x12346 -x12347 -x12348 -x12349 -x12350 -x12351 -x12352 -x12353 -x12354 -x12355 -x12356 -x12357 -x12358 -x12359 -x12360 -x12361 -x12362 x12363 x12364 -x12365 -x12366 -x12367 -x12368 -x12369 -x12370 -x12371 -x12372 -x12373 -x12374 -x12375 -x12376 -x12377 -x12378 -x12379 -x12380 -x12381 -x12382 -x12383 -x12384 -x12385 -x12386 -x12387 -x12388 -x12389 -x12390 -x12391 -x12392 -x12393 -x12394 -x12395 -x12396 -x12397 -x12398 -x12399 -x12400 -x12401 -x12402 -x12403 -x12404 -x12405 -x12406 -x12407 -x12408 -x12409 -x12410 -x12411 -x12412 -x12413 -x12414 -x12415 -x12416 -x12417 -x12418 -x12419 -x12420 -x12421 -x12422 -x12423 -x12424 -x12425 -x12426 -x12427 -x12428 -x12429 -x12430 -x12431 -x12432 -x12433 -x12434 -x12435 -x12436 x12437 x12438 -x12439 -x12440 -x12441 -x12442 -x12443 -x12444 -x12445 -x12446 -x12447 -x12448 -x12449 -x12450 -x12451 -x12452 -x12453 -x12454 -x12455 -x12456 -x12457 -x12458 -x12459 -x12460 -x12461 -x12462 -x12463 -x12464 -x12465 -x12466 -x12467 -x12468 -x12469 -x12470 -x12471 -x12472 -x12473 -x12474 -x12475 -x12476 -x12477 -x12478 -x12479 -x12480 -x12481 -x12482 -x12483 -x12484 -x12485 -x12486 -x12487 -x12488 -x12489 -x12490 -x12491 -x12492 -x12493 -x12494 -x12495 -x12496 -x12497 -x12498 -x12499 -x12500 -x12501 -x12502 -x12503 -x12504 -x12505 -x12506 -x12507 -x12508 -x12509 -x12510 -x12511 -x12512 -x12513 -x12514 -x12515 -x12516 -x12517 -x12518 -x12519 -x12520 -x12521 -x12522 -x12523 -x12524 -x12525 -x12526 -x12527 -x12528 -x12529 -x12530 x12531 x12532 -x12533 -x12534 -x12535 -x12536 -x12537 -x12538 -x12539 -x12540 -x12541 -x12542 -x12543 -x12544 -x12545 -x12546 -x12547 -x12548 -x12549 -x12550 -x12551 -x12552 -x12553 -x12554 -x12555 -x12556 -x12557 -x12558 -x12559 -x12560 -x12561 -x12562 x12563 x12564 -x12565 -x12566 -x12567 -x12568 -x12569 -x12570 -x12571 -x12572 -x12573 -x12574 -x12575 -x12576 -x12577 -x12578 -x12579 -x12580 -x12581 -x12582 -x12583 -x12584 -x12585 -x12586 -x12587 -x12588 -x12589 -x12590 -x12591 -x12592 -x12593 -x12594 -x12595 -x12596 -x12597 -x12598 -x12599 -x12600 -x12601 -x12602 -x12603 -x12604 -x12605 -x12606 -x12607 -x12608 -x12609 -x12610 -x12611 -x12612 -x12613 -x12614 -x12615 -x12616 -x12617 -x12618 -x12619 -x12620 -x12621 -x12622 -x12623 -x12624 -x12625 -x12626 x12627 x12628 -x12629 -x12630 -x12631 -x12632 -x12633 -x12634 -x12635 -x12636 x12637 x12638 -x12639 -x12640 -x12641 -x12642 -x12643 -x12644 -x12645 -x12646 -x12647 -x12648 -x12649 -x12650 -x12651 -x12652 -x12653 -x12654 -x12655 -x12656 -x12657 -x12658 -x12659 -x12660 -x12661 -x12662 -x12663 -x12664 -x12665 -x12666 -x12667 -x12668 -x12669 -x12670 -x12671 -x12672 -x12673 -x12674 -x12675 -x12676 -x12677 -x12678 -x12679 -x12680 -x12681 -x12682 -x12683 -x12684 -x12685 -x12686 -x12687 -x12688 -x12689 -x12690 -x12691 -x12692 -x12693 -x12694 -x12695 -x12696 -x12697 -x12698 -x12699 -x12700 -x12701 -x12702 -x12703 -x12704 -x12705 -x12706 -x12707 -x12708 -x12709 -x12710 -x12711 -x12712 -x12713 -x12714 -x12715 -x12716 -x12717 -x12718 -x12719 -x12720 -x12721 -x12722 -x12723 -x12724 -x12725 -x12726 -x12727 -x12728 -x12729 -x12730 x12731 x12732 -x12733 -x12734 -x12735 -x12736 -x12737 -x12738 -x12739 -x12740 -x12741 -x12742 -x12743 -x12744 -x12745 -x12746 -x12747 -x12748 -x12749 -x12750 -x12751 -x12752 -x12753 -x12754 -x12755 -x12756 -x12757 -x12758 -x12759 -x12760 -x12761 -x12762 -x12763 -x12764 x12765 x12766 -x12767 -x12768 -x12769 -x12770 -x12771 -x12772 -x12773 -x12774 -x12775 -x12776 -x12777 -x12778 x12779 x12780 -x12781 -x12782 -x12783 -x12784 -x12785 -x12786 -x12787 -x12788 -x12789 -x12790 x12791 x12792 -x12793 -x12794 -x12795 -x12796 -x12797 -x12798 -x12799 -x12800 -x12801 -x12802 -x12803 -x12804 -x12805 -x12806 -x12807 -x12808 -x12809 -x12810 -x12811 -x12812 -x12813 -x12814 -x12815 -x12816 -x12817 -x12818 -x12819 -x12820 -x12821 -x12822 -x12823 -x12824 -x12825 -x12826 -x12827 -x12828 -x12829 -x12830 -x12831 -x12832 -x12833 -x12834 -x12835 -x12836 -x12837 -x12838 -x12839 -x12840 -x12841 -x12842 -x12843 -x12844 -x12845 -x12846 -x12847 -x12848 -x12849 -x12850 x12851 x12852 1800.08/1798.17 c objective function=31 1800.08/1798.17 c Total wall clock time (in seconds): 1798.059
OK 31
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-3458499-1307156675/watcher-3458499-1307156675 -o /tmp/evaluation-result-3458499-1307156675/solver-3458499-1307156675 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458499-1307156675.opb running on 4 cores: 1,3,5,7 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.06 1.31 1.66 2/558 2360 /proc/meminfo: memFree=30117932/32950928 swapFree=41528364/67111528 [pid=2360] ppid=2358 vsize=23028 CPUtime=0 cores=1,3,5,7 /proc/2360/stat : 2360 (java) R 2358 2360 31166 0 -1 4202496 926 0 0 0 0 0 0 0 23 0 1 0 827266202 23580672 671 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251809277717 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/2360/statm: 5757 683 499 9 0 124 0 [pid=2360/tid=2361] ppid=2358 vsize=13526316 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2361/stat : 2361 (java) R 2358 2360 31166 0 -1 4202560 6863 0 1 0 0 0 0 0 25 0 2 0 827266203 13850947584 7679 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251813934139 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.0810479 s] /proc/loadavg: 1.06 1.31 1.66 2/558 2360 /proc/meminfo: memFree=30117932/32950928 swapFree=41528364/67111528 [pid=2360] ppid=2358 vsize=13620212 CPUtime=0.06 cores=1,3,5,7 /proc/2360/stat : 2360 (java) S 2358 2360 31166 0 -1 4202496 14419 0 1 0 5 1 0 0 23 0 18 0 827266202 13947097088 14117 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/2360/statm: 3405053 14118 1754 9 0 3395787 0 [pid=2360/tid=2361] ppid=2358 vsize=13620212 CPUtime=0.06 cores=1,3,5,7 /proc/2360/task/2361/stat : 2361 (java) R 2358 2360 31166 0 -1 4202560 13247 0 1 0 5 1 0 0 25 0 18 0 827266203 13947097088 14118 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13620212 [startup+0.101046 s] /proc/loadavg: 1.06 1.31 1.66 2/558 2360 /proc/meminfo: memFree=30117932/32950928 swapFree=41528364/67111528 [pid=2360] ppid=2358 vsize=13621576 CPUtime=0.1 cores=1,3,5,7 /proc/2360/stat : 2360 (java) S 2358 2360 31166 0 -1 4202496 15487 0 1 0 9 1 0 0 23 0 18 0 827266202 13948493824 15185 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/2360/statm: 3405394 15185 2092 9 0 3396128 0 [pid=2360/tid=2361] ppid=2358 vsize=13621576 CPUtime=0.08 cores=1,3,5,7 /proc/2360/task/2361/stat : 2361 (java) R 2358 2360 31166 0 -1 4202560 13557 0 1 0 7 1 0 0 25 0 18 0 827266203 13948493824 15185 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 47325259722659 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13621576 [startup+0.301014 s] /proc/loadavg: 1.06 1.31 1.66 2/558 2360 /proc/meminfo: memFree=30117932/32950928 swapFree=41528364/67111528 [pid=2360] ppid=2358 vsize=13623192 CPUtime=0.49 cores=1,3,5,7 /proc/2360/stat : 2360 (java) S 2358 2360 31166 0 -1 4202496 19211 0 1 0 47 2 0 0 23 0 18 0 827266202 13950148608 18563 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/2360/statm: 3405798 18564 2200 9 0 3396532 0 [pid=2360/tid=2361] ppid=2358 vsize=13623192 CPUtime=0.27 cores=1,3,5,7 /proc/2360/task/2361/stat : 2361 (java) R 2358 2360 31166 0 -1 4202560 16194 0 1 0 26 1 0 0 25 0 18 0 827266203 13950148608 18564 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 13623192 [startup+0.700944 s] /proc/loadavg: 1.06 1.31 1.66 2/558 2360 /proc/meminfo: memFree=30117932/32950928 swapFree=41528364/67111528 [pid=2360] ppid=2358 vsize=13627824 CPUtime=1.4 cores=1,3,5,7 /proc/2360/stat : 2360 (java) S 2358 2360 31166 0 -1 4202496 40154 0 1 0 134 6 0 0 23 0 19 0 827266202 13954891776 38491 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/2360/statm: 3406956 38491 2228 9 0 3397690 0 [pid=2360/tid=2361] ppid=2358 vsize=13627824 CPUtime=0.67 cores=1,3,5,7 /proc/2360/task/2361/stat : 2361 (java) R 2358 2360 31166 0 -1 4202560 34231 0 1 0 63 4 0 0 25 0 19 0 827266203 13954891776 38491 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 46912505867054 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 13627824 [startup+1.50084 s] /proc/loadavg: 1.14 1.32 1.66 5/597 2412 /proc/meminfo: memFree=29651408/32950928 swapFree=41528364/67111528 [pid=2360] ppid=2358 vsize=13627280 CPUtime=2.55 cores=1,3,5,7 /proc/2360/stat : 2360 (java) S 2358 2360 31166 0 -1 4202496 42333 0 1 0 249 6 0 0 23 0 19 0 827266202 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/2360/statm: 3406820 39904 2237 9 0 3397554 0 [pid=2360/tid=2361] ppid=2358 vsize=13627280 CPUtime=1.48 cores=1,3,5,7 /proc/2360/task/2361/stat : 2361 (java) R 2358 2360 31166 0 -1 4202560 35735 0 1 0 143 5 0 0 25 0 19 0 827266203 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 46912505938160 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=2360/tid=2363] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2363/stat : 2363 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2364] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2364/stat : 2364 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2365] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2365/stat : 2365 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2366] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2366/stat : 2366 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2368] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2368/stat : 2368 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2370] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2370/stat : 2370 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2372] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2372/stat : 2372 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2373] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2373/stat : 2373 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 [pid=2360/tid=2375] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2375/stat : 2375 (java) S 2358 2360 31166 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827266206 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 0 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2378] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2378/stat : 2378 (java) S 2358 2360 31166 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827266206 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2379] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2379/stat : 2379 (java) S 2358 2360 31166 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 827266206 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2386] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2386/stat : 2386 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266208 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826063793 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2387] ppid=2358 vsize=13627280 CPUtime=0.58 cores=1,3,5,7 /proc/2360/task/2387/stat : 2387 (java) S 2358 2360 31166 0 -1 4202560 2929 0 0 0 58 0 0 0 21 0 19 0 827266208 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2388] ppid=2358 vsize=13627280 CPUtime=0.47 cores=1,3,5,7 /proc/2360/task/2388/stat : 2388 (java) S 2358 2360 31166 0 -1 4202560 2509 0 0 0 47 0 0 0 20 0 19 0 827266209 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 [pid=2360/tid=2389] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2389/stat : 2389 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266209 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2390] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2390/stat : 2390 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827266209 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 [pid=2360/tid=2412] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2412/stat : 2412 (java) S 2358 2360 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827266264 13954334720 39904 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.55 Current children cumulated vsize (KiB) 13627280 [startup+3.1006 s] /proc/loadavg: 1.14 1.32 1.66 3/598 2413 /proc/meminfo: memFree=29637760/32950928 swapFree=41528364/67111528 [pid=2360] ppid=2358 vsize=13627280 CPUtime=4.16 cores=1,3,5,7 /proc/2360/stat : 2360 (java) S 2358 2360 31166 0 -1 4202496 43035 0 1 0 410 6 0 0 23 0 19 0 827266202 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/2360/statm: 3406820 40605 2237 9 0 3397554 0 [pid=2360/tid=2361] ppid=2358 vsize=13627280 CPUtime=3.08 cores=1,3,5,7 /proc/2360/task/2361/stat : 2361 (java) R 2358 2360 31166 0 -1 4202560 36435 0 1 0 303 5 0 0 25 0 19 0 827266203 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 47325264190291 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=2360/tid=2363] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2363/stat : 2363 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2364] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2364/stat : 2364 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2365] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2365/stat : 2365 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2366] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2366/stat : 2366 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2368] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2368/stat : 2368 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2370] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2370/stat : 2370 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2372] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2372/stat : 2372 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2373] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2373/stat : 2373 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266205 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 [pid=2360/tid=2375] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2375/stat : 2375 (java) S 2358 2360 31166 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 827266206 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 0 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2378] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2378/stat : 2378 (java) S 2358 2360 31166 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827266206 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2379] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2379/stat : 2379 (java) S 2358 2360 31166 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 827266206 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2386] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2386/stat : 2386 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266208 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826063793 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2387] ppid=2358 vsize=13627280 CPUtime=0.58 cores=1,3,5,7 /proc/2360/task/2387/stat : 2387 (java) S 2358 2360 31166 0 -1 4202560 2929 0 0 0 58 0 0 0 15 0 19 0 827266208 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2388] ppid=2358 vsize=13627280 CPUtime=0.48 cores=1,3,5,7 /proc/2360/task/2388/stat : 2388 (java) S 2358 2360 31166 0 -1 4202560 2510 0 0 0 48 0 0 0 15 0 19 0 827266209 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 [pid=2360/tid=2389] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2389/stat : 2389 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266209 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2390] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2390/stat : 2390 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827266209 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2412] ppid=2358 vsize=13627280 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2412/stat : 2412 (java) S 2358 2360 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827266264 13954334720 40605 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.16 Current children cumulated vsize (KiB) 13627280 [startup+6.301 s] /proc/loadavg: 1.14 1.32 1.66 3/598 2413 /proc/meminfo: memFree=29618704/32950928 swapFree=41528364/67111528 [pid=2360] ppid=2358 vsize=13626068 CPUtime=7.44 cores=1,3,5,7 /proc/2360/stat : 2360 (java) S 2358 2360 31166 0 -1 4202496 47105 0 1 0 737 7 0 0 23 0 19 0 827266202 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/2360/statm: 3406517 44275 2263 9 0 3397251 0 [pid=2360/tid=2361] ppid=2358 vsize=13626068 CPUtime=6.23 cores=1,3,5,7 /proc/2360/task/2361/stat : 2361 (java) R 2358 2360 31166 0 -1 4202560 36635 0 1 0 618 5 0 0 25 0 19 0 827266203 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 46912505938353 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=2360/tid=2363] ppid=2358 vsize=13626068 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2363/stat : 2363 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827266205 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2364] ppid=2358 vsize=13626068 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2364/stat : 2364 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827266205 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2365] ppid=2358 vsize=13626068 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2365/stat : 2365 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827266205 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2366] ppid=2358 vsize=13626068 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2366/stat : 2366 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827266205 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2368] ppid=2358 vsize=13626068 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2368/stat : 2368 (java) S 2358 2360 31166 0 -1 4202560 172 0 0 0 0 0 0 0 18 0 19 0 827266205 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 [pid=2360/tid=2370] ppid=2358 vsize=13626068 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2370/stat : 2370 (java) S 2358 2360 31166 0 -1 4202560 665 0 0 0 0 0 0 0 18 0 19 0 827266205 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2372] ppid=2358 vsize=13626068 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2372/stat : 2372 (java) S 2358 2360 31166 0 -1 4202560 618 0 0 0 0 0 0 0 18 0 19 0 827266205 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 [pid=2360/tid=2373] ppid=2358 vsize=13626068 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2373/stat : 2373 (java) S 2358 2360 31166 0 -1 4202560 295 0 0 0 0 0 0 0 18 0 19 0 827266205 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 [pid=2360/tid=2375] ppid=2358 vsize=13626068 CPUtime=0.03 cores=1,3,5,7 /proc/2360/task/2375/stat : 2375 (java) S 2358 2360 31166 0 -1 4202560 2108 0 0 0 3 0 0 0 15 0 19 0 827266206 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 0 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2378] ppid=2358 vsize=13626068 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2378/stat : 2378 (java) S 2358 2360 31166 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827266206 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2379] ppid=2358 vsize=13626068 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2379/stat : 2379 (java) S 2358 2360 31166 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827266206 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2386] ppid=2358 vsize=13626068 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2386/stat : 2386 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266208 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826063793 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2387] ppid=2358 vsize=13626068 CPUtime=0.61 cores=1,3,5,7 /proc/2360/task/2387/stat : 2387 (java) S 2358 2360 31166 0 -1 4202560 2938 0 0 0 61 0 0 0 15 0 19 0 827266208 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2388] ppid=2358 vsize=13626068 CPUtime=0.5 cores=1,3,5,7 /proc/2360/task/2388/stat : 2388 (java) S 2358 2360 31166 0 -1 4202560 2520 0 0 0 50 0 0 0 15 0 19 0 827266209 13953093632 44275 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 ################ # More data... # ################ [pid=2360/tid=2370] ppid=2358 vsize=13626360 CPUtime=0.12 cores=1,3,5,7 /proc/2360/task/2370/stat : 2370 (java) S 2358 2360 31166 0 -1 4202560 984 0 0 0 12 0 0 0 15 0 19 0 827266205 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 [pid=2360/tid=2372] ppid=2358 vsize=13626360 CPUtime=0.16 cores=1,3,5,7 /proc/2360/task/2372/stat : 2372 (java) S 2358 2360 31166 0 -1 4202560 759 0 0 0 16 0 0 0 15 0 19 0 827266205 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 [pid=2360/tid=2373] ppid=2358 vsize=13626360 CPUtime=0.12 cores=1,3,5,7 /proc/2360/task/2373/stat : 2373 (java) S 2358 2360 31166 0 -1 4202560 710 0 0 0 12 0 0 0 15 0 19 0 827266205 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 [pid=2360/tid=2375] ppid=2358 vsize=13626360 CPUtime=4.02 cores=1,3,5,7 /proc/2360/task/2375/stat : 2375 (java) S 2358 2360 31166 0 -1 4202560 7670 0 0 0 401 1 0 0 15 0 19 0 827266206 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 0 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2378] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2378/stat : 2378 (java) S 2358 2360 31166 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827266206 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2379] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2379/stat : 2379 (java) S 2358 2360 31166 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827266206 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2386] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2386/stat : 2386 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266208 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826063793 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2387] ppid=2358 vsize=13626360 CPUtime=0.7 cores=1,3,5,7 /proc/2360/task/2387/stat : 2387 (java) S 2358 2360 31166 0 -1 4202560 2968 0 0 0 70 0 0 0 15 0 19 0 827266208 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2388] ppid=2358 vsize=13626360 CPUtime=0.52 cores=1,3,5,7 /proc/2360/task/2388/stat : 2388 (java) S 2358 2360 31166 0 -1 4202560 2524 0 0 0 52 0 0 0 15 0 19 0 827266209 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 [pid=2360/tid=2389] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2389/stat : 2389 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266209 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2390] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2390/stat : 2390 (java) S 2358 2360 31166 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 827266209 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0 [pid=2360/tid=2412] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2412/stat : 2412 (java) S 2358 2360 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827266264 13953392640 53923 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1724.25 Current children cumulated vsize (KiB) 13626360 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 1.94 3/598 2464 /proc/meminfo: memFree=29478548/32950928 swapFree=41528364/67111528 [pid=2360] ppid=2358 vsize=13626360 CPUtime=1784.27 cores=1,3,5,7 /proc/2360/stat : 2360 (java) S 2358 2360 31166 0 -1 4202496 57199 0 1 0 178417 10 0 0 23 0 19 0 827266202 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/2360/statm: 3406590 54055 2264 9 0 3397324 0 [pid=2360/tid=2361] ppid=2358 vsize=13626360 CPUtime=1777.7 cores=1,3,5,7 /proc/2360/task/2361/stat : 2361 (java) R 2358 2360 31166 0 -1 4202560 36734 0 1 0 177765 5 0 0 25 0 19 0 827266203 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 46912505938045 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=2360/tid=2363] ppid=2358 vsize=13626360 CPUtime=0.13 cores=1,3,5,7 /proc/2360/task/2363/stat : 2363 (java) S 2358 2360 31166 0 -1 4202560 959 0 0 0 13 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0 [pid=2360/tid=2364] ppid=2358 vsize=13626360 CPUtime=0.15 cores=1,3,5,7 /proc/2360/task/2364/stat : 2364 (java) S 2358 2360 31166 0 -1 4202560 469 0 0 0 15 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 [pid=2360/tid=2365] ppid=2358 vsize=13626360 CPUtime=0.14 cores=1,3,5,7 /proc/2360/task/2365/stat : 2365 (java) S 2358 2360 31166 0 -1 4202560 656 0 0 0 14 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2366] ppid=2358 vsize=13626360 CPUtime=0.12 cores=1,3,5,7 /proc/2360/task/2366/stat : 2366 (java) S 2358 2360 31166 0 -1 4202560 616 0 0 0 12 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2368] ppid=2358 vsize=13626360 CPUtime=0.14 cores=1,3,5,7 /proc/2360/task/2368/stat : 2368 (java) S 2358 2360 31166 0 -1 4202560 768 0 0 0 14 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2370] ppid=2358 vsize=13626360 CPUtime=0.13 cores=1,3,5,7 /proc/2360/task/2370/stat : 2370 (java) S 2358 2360 31166 0 -1 4202560 984 0 0 0 13 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0 [pid=2360/tid=2372] ppid=2358 vsize=13626360 CPUtime=0.17 cores=1,3,5,7 /proc/2360/task/2372/stat : 2372 (java) S 2358 2360 31166 0 -1 4202560 759 0 0 0 17 0 0 0 16 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 [pid=2360/tid=2373] ppid=2358 vsize=13626360 CPUtime=0.12 cores=1,3,5,7 /proc/2360/task/2373/stat : 2373 (java) S 2358 2360 31166 0 -1 4202560 710 0 0 0 12 0 0 0 16 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0 [pid=2360/tid=2375] ppid=2358 vsize=13626360 CPUtime=4.15 cores=1,3,5,7 /proc/2360/task/2375/stat : 2375 (java) S 2358 2360 31166 0 -1 4202560 7800 0 0 0 414 1 0 0 15 0 19 0 827266206 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 0 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2378] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2378/stat : 2378 (java) S 2358 2360 31166 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827266206 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2379] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2379/stat : 2379 (java) S 2358 2360 31166 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827266206 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2386] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2386/stat : 2386 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266208 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826063793 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2387] ppid=2358 vsize=13626360 CPUtime=0.7 cores=1,3,5,7 /proc/2360/task/2387/stat : 2387 (java) S 2358 2360 31166 0 -1 4202560 2968 0 0 0 70 0 0 0 15 0 19 0 827266208 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2388] ppid=2358 vsize=13626360 CPUtime=0.52 cores=1,3,5,7 /proc/2360/task/2388/stat : 2388 (java) S 2358 2360 31166 0 -1 4202560 2524 0 0 0 52 0 0 0 15 0 19 0 827266209 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 [pid=2360/tid=2389] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2389/stat : 2389 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266209 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2390] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2390/stat : 2390 (java) S 2358 2360 31166 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827266209 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0 [pid=2360/tid=2412] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2412/stat : 2412 (java) S 2358 2360 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827266264 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1784.27 Current children cumulated vsize (KiB) 13626360 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1798.1 s] /proc/loadavg: 2.00 2.02 1.94 2/578 2467 /proc/meminfo: memFree=29900412/32950928 swapFree=41528364/67111528 [pid=2360] ppid=2358 vsize=13626360 CPUtime=1800.08 cores=1,3,5,7 /proc/2360/stat : 2360 (java) S 2358 2360 31166 0 -1 4202496 57201 0 1 0 179998 10 0 0 23 0 19 0 827266202 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/2360/statm: 3406590 54055 2264 9 0 3397324 0 [pid=2360/tid=2361] ppid=2358 vsize=13626360 CPUtime=1793.52 cores=1,3,5,7 /proc/2360/task/2361/stat : 2361 (java) R 2358 2360 31166 0 -1 4202560 36734 0 1 0 179347 5 0 0 25 0 19 0 827266203 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 46912505948799 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=2360/tid=2363] ppid=2358 vsize=13626360 CPUtime=0.13 cores=1,3,5,7 /proc/2360/task/2363/stat : 2363 (java) S 2358 2360 31166 0 -1 4202560 959 0 0 0 13 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0 [pid=2360/tid=2364] ppid=2358 vsize=13626360 CPUtime=0.15 cores=1,3,5,7 /proc/2360/task/2364/stat : 2364 (java) S 2358 2360 31166 0 -1 4202560 469 0 0 0 15 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 [pid=2360/tid=2365] ppid=2358 vsize=13626360 CPUtime=0.14 cores=1,3,5,7 /proc/2360/task/2365/stat : 2365 (java) S 2358 2360 31166 0 -1 4202560 656 0 0 0 14 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2366] ppid=2358 vsize=13626360 CPUtime=0.12 cores=1,3,5,7 /proc/2360/task/2366/stat : 2366 (java) S 2358 2360 31166 0 -1 4202560 616 0 0 0 12 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2368] ppid=2358 vsize=13626360 CPUtime=0.14 cores=1,3,5,7 /proc/2360/task/2368/stat : 2368 (java) S 2358 2360 31166 0 -1 4202560 768 0 0 0 14 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2370] ppid=2358 vsize=13626360 CPUtime=0.13 cores=1,3,5,7 /proc/2360/task/2370/stat : 2370 (java) S 2358 2360 31166 0 -1 4202560 984 0 0 0 13 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0 [pid=2360/tid=2372] ppid=2358 vsize=13626360 CPUtime=0.17 cores=1,3,5,7 /proc/2360/task/2372/stat : 2372 (java) S 2358 2360 31166 0 -1 4202560 759 0 0 0 17 0 0 0 16 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 [pid=2360/tid=2373] ppid=2358 vsize=13626360 CPUtime=0.12 cores=1,3,5,7 /proc/2360/task/2373/stat : 2373 (java) S 2358 2360 31166 0 -1 4202560 710 0 0 0 12 0 0 0 16 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0 [pid=2360/tid=2375] ppid=2358 vsize=13626360 CPUtime=4.15 cores=1,3,5,7 /proc/2360/task/2375/stat : 2375 (java) S 2358 2360 31166 0 -1 4202560 7800 0 0 0 414 1 0 0 15 0 19 0 827266206 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 0 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2378] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2378/stat : 2378 (java) S 2358 2360 31166 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827266206 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2379] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2379/stat : 2379 (java) S 2358 2360 31166 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827266206 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2386] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2386/stat : 2386 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266208 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826063793 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2387] ppid=2358 vsize=13626360 CPUtime=0.7 cores=1,3,5,7 /proc/2360/task/2387/stat : 2387 (java) S 2358 2360 31166 0 -1 4202560 2968 0 0 0 70 0 0 0 15 0 19 0 827266208 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2388] ppid=2358 vsize=13626360 CPUtime=0.52 cores=1,3,5,7 /proc/2360/task/2388/stat : 2388 (java) S 2358 2360 31166 0 -1 4202560 2524 0 0 0 52 0 0 0 15 0 19 0 827266209 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 [pid=2360/tid=2389] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2389/stat : 2389 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266209 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2390] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2390/stat : 2390 (java) S 2358 2360 31166 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827266209 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0 [pid=2360/tid=2412] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2412/stat : 2412 (java) S 2358 2360 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827266264 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 13626360 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: 2.00 2.02 1.94 2/578 2467 /proc/meminfo: memFree=29900412/32950928 swapFree=41528364/67111528 [pid=2360] ppid=2358 vsize=13626360 CPUtime=1800.08 cores=1,3,5,7 /proc/2360/stat : 2360 (java) S 2358 2360 31166 0 -1 4202496 57201 0 1 0 179998 10 0 0 23 0 19 0 827266202 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/2360/statm: 3406590 54055 2264 9 0 3397324 0 [pid=2360/tid=2361] ppid=2358 vsize=13626360 CPUtime=1793.52 cores=1,3,5,7 /proc/2360/task/2361/stat : 2361 (java) R 2358 2360 31166 0 -1 4202560 36734 0 1 0 179347 5 0 0 25 0 19 0 827266203 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 46912505948799 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=2360/tid=2363] ppid=2358 vsize=13626360 CPUtime=0.13 cores=1,3,5,7 /proc/2360/task/2363/stat : 2363 (java) S 2358 2360 31166 0 -1 4202560 959 0 0 0 13 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0 [pid=2360/tid=2364] ppid=2358 vsize=13626360 CPUtime=0.15 cores=1,3,5,7 /proc/2360/task/2364/stat : 2364 (java) S 2358 2360 31166 0 -1 4202560 469 0 0 0 15 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 [pid=2360/tid=2365] ppid=2358 vsize=13626360 CPUtime=0.14 cores=1,3,5,7 /proc/2360/task/2365/stat : 2365 (java) S 2358 2360 31166 0 -1 4202560 656 0 0 0 14 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2366] ppid=2358 vsize=13626360 CPUtime=0.12 cores=1,3,5,7 /proc/2360/task/2366/stat : 2366 (java) S 2358 2360 31166 0 -1 4202560 616 0 0 0 12 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2368] ppid=2358 vsize=13626360 CPUtime=0.14 cores=1,3,5,7 /proc/2360/task/2368/stat : 2368 (java) S 2358 2360 31166 0 -1 4202560 768 0 0 0 14 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2370] ppid=2358 vsize=13626360 CPUtime=0.13 cores=1,3,5,7 /proc/2360/task/2370/stat : 2370 (java) S 2358 2360 31166 0 -1 4202560 984 0 0 0 13 0 0 0 15 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0 [pid=2360/tid=2372] ppid=2358 vsize=13626360 CPUtime=0.17 cores=1,3,5,7 /proc/2360/task/2372/stat : 2372 (java) S 2358 2360 31166 0 -1 4202560 759 0 0 0 17 0 0 0 16 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 [pid=2360/tid=2373] ppid=2358 vsize=13626360 CPUtime=0.12 cores=1,3,5,7 /proc/2360/task/2373/stat : 2373 (java) S 2358 2360 31166 0 -1 4202560 710 0 0 0 12 0 0 0 16 0 19 0 827266205 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0 [pid=2360/tid=2375] ppid=2358 vsize=13626360 CPUtime=4.15 cores=1,3,5,7 /proc/2360/task/2375/stat : 2375 (java) S 2358 2360 31166 0 -1 4202560 7800 0 0 0 414 1 0 0 15 0 19 0 827266206 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 0 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2378] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2378/stat : 2378 (java) S 2358 2360 31166 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827266206 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2379] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2379/stat : 2379 (java) S 2358 2360 31166 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827266206 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2386] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2386/stat : 2386 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266208 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826063793 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2387] ppid=2358 vsize=13626360 CPUtime=0.7 cores=1,3,5,7 /proc/2360/task/2387/stat : 2387 (java) S 2358 2360 31166 0 -1 4202560 2968 0 0 0 70 0 0 0 15 0 19 0 827266208 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 5 0 0 0 [pid=2360/tid=2388] ppid=2358 vsize=13626360 CPUtime=0.52 cores=1,3,5,7 /proc/2360/task/2388/stat : 2388 (java) S 2358 2360 31166 0 -1 4202560 2524 0 0 0 52 0 0 0 15 0 19 0 827266209 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 [pid=2360/tid=2389] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2389/stat : 2389 (java) S 2358 2360 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827266209 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056089 0 4 0 16800975 18446604459403997376 0 0 -1 3 0 0 0 [pid=2360/tid=2390] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2390/stat : 2390 (java) S 2358 2360 31166 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827266209 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 1 0 0 0 [pid=2360/tid=2412] ppid=2358 vsize=13626360 CPUtime=0 cores=1,3,5,7 /proc/2360/task/2412/stat : 2412 (java) S 2358 2360 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827266264 13953392640 54055 33554432000 1073741824 1073778376 140733788393984 18446744073709551615 251826056704 0 4 0 16800975 18446604459403997376 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 13626360 Child status: 143 Real time (s): 1798.2 CPU time (s): 1800.26 CPU user time (s): 1800.15 CPU system time (s): 0.115982 CPU usage (%): 100.115 Max. virtual memory (cumulated for all children) (KiB): 13630096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.15 system time used= 0.115982 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57422 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= 39698 involuntary context switches= 8212 runsolver used 10.3924 second user time and 23.4204 second system time The end
Begin job on node126 at 2011-06-04 05:04:35 IDJOB=3458499 IDBENCH=25001 IDSOLVER=1952 FILE ID=node126/3458499-1307156675 RUNJOBID= node126-1307156675-2346 PBS_JOBID= 13508790 Free space on /tmp= 73796 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_026_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-3458499-1307156675/watcher-3458499-1307156675 -o /tmp/evaluation-result-3458499-1307156675/solver-3458499-1307156675 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458499-1307156675.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4c21c441bf9f3f3be8f0cdb52c39f9b4 RANDOM SEED=289487750 node126.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.783 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.56 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.783 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.783 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.783 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.74 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.783 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 : 5332.80 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.783 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.783 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.783 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30118336 kB Buffers: 299944 kB Cached: 454188 kB SwapCached: 15388 kB Active: 2092596 kB Inactive: 420396 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30118336 kB SwapTotal: 67111528 kB SwapFree: 41528364 kB Dirty: 5260 kB Writeback: 0 kB AnonPages: 1756272 kB Mapped: 23296 kB Slab: 147524 kB PageTables: 99328 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 176379128 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= 73792 MiB End job on node126 at 2011-06-04 05:34:35