Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J PB Resolution 2.2.1 | MSAT (TO) | 1800.19 | 1795.48 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo |
| MD5SUM | 5089c419eb4145debb9fb5e7fd1214f5 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.559913 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 10500 |
| Total number of constraints | 205 |
| Number of soft constraints | 132 |
| Number of constraints which are clauses | 105 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 100 |
| Maximum length of a constraint | 105 |
| Top cost | 6845 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 6844 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 106 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.02/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.02/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.07 c See www.sat4j.org for details. 0.02/0.08 c version 2.2.1.v20100705 0.02/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.08 c java.vm.name Java HotSpot(TM) Server VM 0.02/0.08 c java.vm.version 11.2-b01 0.02/0.08 c java.vm.vendor Sun Microsystems Inc. 0.02/0.08 c sun.arch.data.model 32 0.02/0.08 c java.version 1.6.0_12 0.02/0.08 c os.name Linux 0.02/0.08 c os.version 2.6.18-164.el5 0.02/0.08 c os.arch i386 0.02/0.08 c Free memory 1393557488 0.02/0.08 c Max memory 1395916800 0.02/0.08 c Total memory 1395916800 0.02/0.08 c Number of processors 8 0.02/0.10 c Pseudo Boolean Optimization 0.02/0.10 c --- Begin Solver configuration --- 0.02/0.10 c Stops conflict analysis at the first Unique Implication Point 0.02/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@15a3d6b 0.02/0.10 c Learn all clauses as in MiniSAT 0.02/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.02/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.02/0.10 c Expensive reason simplification 0.02/0.10 c Armin Biere (Picosat) restarts strategy 0.02/0.10 c Glucose learned constraints deletion strategy 0.02/0.10 c timeout=2147483s 0.02/0.10 c DB Simplification allowed=false 0.02/0.10 c --- End Solver configuration --- 0.02/0.10 c solving HOME/instance-2698280-1278325517.wbo 0.02/0.10 c reading problem ... 0.60/0.33 c ... done. Wall clock time 0.231s. 0.60/0.33 c #vars 10632 0.60/0.33 c #constraints 205 0.60/0.33 c constraints type 0.60/0.33 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 105 0.60/0.33 c org.sat4j.minisat.constraints.card.MinWatchCard => 35 0.60/0.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 65 1.72/0.70 c SATISFIABLE 1.72/0.70 c OPTIMIZING... 1.72/0.70 c Got one! Elapsed wall clock time (in seconds):0.606 1.72/0.70 o 82 1.85/0.85 c Got one! Elapsed wall clock time (in seconds):0.758 1.85/0.85 o 77 2.07/1.05 c Got one! Elapsed wall clock time (in seconds):0.956 2.07/1.05 o 52 2.58/1.54 c Got one! Elapsed wall clock time (in seconds):1.447 2.58/1.54 o 44 2.78/1.79 c Got one! Elapsed wall clock time (in seconds):1.694 2.78/1.79 o 40 3.49/2.40 c Got one! Elapsed wall clock time (in seconds):2.304 3.49/2.40 o 6 4.99/3.95 c cleaning 2496 clauses out of 5004 with flag 5004/5004 5.82/4.77 c Got one! Elapsed wall clock time (in seconds):4.67 5.82/4.77 o 3 12.07/11.00 c cleaning 4216 clauses out of 8506 with flag 11002/11002 20.07/18.98 c cleaning 5602 clauses out of 11289 with flag 18001/18001 29.59/28.47 c cleaning 6842 clauses out of 13686 with flag 26000/26000 40.94/39.75 c cleaning 7870 clauses out of 15844 with flag 35000/35000 56.35/55.19 c cleaning 8948 clauses out of 17974 with flag 45000/45000 71.87/70.60 c cleaning 9473 clauses out of 19028 with flag 55002/55002 85.91/84.61 c cleaning 9740 clauses out of 19558 with flag 65005/65005 116.32/115.03 c cleaning 9873 clauses out of 19813 with flag 75000/75000 129.67/128.33 c cleaning 9920 clauses out of 19941 with flag 85001/85001 144.59/143.22 c cleaning 9978 clauses out of 20022 with flag 95002/95002 170.42/169.05 c cleaning 9979 clauses out of 20042 with flag 105000/105000 213.57/212.13 c cleaning 10030 clauses out of 20063 with flag 115000/115000 228.26/226.70 c cleaning 9993 clauses out of 20037 with flag 125004/125004 249.69/248.18 c cleaning 9990 clauses out of 20040 with flag 135000/135000 282.03/280.50 c cleaning 9983 clauses out of 20050 with flag 145000/145000 316.77/315.17 c cleaning 9968 clauses out of 20070 with flag 155003/155003 349.24/347.60 c cleaning 9979 clauses out of 20100 with flag 165001/165001 374.87/373.19 c cleaning 10024 clauses out of 20122 with flag 175002/175002 389.42/387.63 c cleaning 10022 clauses out of 20096 with flag 185000/185000 408.24/406.49 c cleaning 10014 clauses out of 20076 with flag 195002/195002 434.28/432.46 c cleaning 10000 clauses out of 20060 with flag 205000/205000 461.72/459.86 c cleaning 9981 clauses out of 20063 with flag 215003/215003 491.48/489.53 c cleaning 9992 clauses out of 20079 with flag 225000/225000 516.11/514.10 c cleaning 10010 clauses out of 20087 with flag 235000/235000 536.14/534.11 c cleaning 10007 clauses out of 20077 with flag 245000/245000 558.97/556.98 c cleaning 10007 clauses out of 20074 with flag 255004/255004 573.60/571.57 c cleaning 10004 clauses out of 20064 with flag 265001/265001 589.65/587.58 c cleaning 9989 clauses out of 20059 with flag 275000/275000 607.07/604.97 c cleaning 10007 clauses out of 20075 with flag 285005/285005 635.99/633.88 c cleaning 10005 clauses out of 20064 with flag 295001/295001 663.53/661.32 c cleaning 9980 clauses out of 20059 with flag 305001/305001 704.01/701.72 c cleaning 10001 clauses out of 20080 with flag 315002/315002 725.56/723.25 c cleaning 9990 clauses out of 20078 with flag 325001/325001 752.90/750.56 c cleaning 10005 clauses out of 20087 with flag 335000/335000 783.97/781.53 c cleaning 10007 clauses out of 20087 with flag 345005/345005 795.91/793.46 c cleaning 10016 clauses out of 20075 with flag 355000/355000 811.53/809.01 c cleaning 10010 clauses out of 20059 with flag 365000/365000 828.66/826.13 c cleaning 10005 clauses out of 20052 with flag 375003/375003 843.88/841.36 c cleaning 9998 clauses out of 20044 with flag 385000/385000 859.01/856.48 c cleaning 9976 clauses out of 20046 with flag 395000/395000 875.67/873.01 c cleaning 10000 clauses out of 20071 with flag 405001/405001 900.80/898.11 c cleaning 10005 clauses out of 20070 with flag 415000/415000 933.65/930.99 c cleaning 9992 clauses out of 20065 with flag 425000/425000 961.00/958.22 c cleaning 10001 clauses out of 20073 with flag 435000/435000 988.84/986.01 c cleaning 9997 clauses out of 20074 with flag 445002/445002 1016.28/1013.49 c cleaning 9995 clauses out of 20075 with flag 455000/455000 1053.13/1050.28 c cleaning 10013 clauses out of 20081 with flag 465001/465001 1086.49/1083.53 c cleaning 9975 clauses out of 20067 with flag 475000/475000 1104.55/1101.57 c cleaning 10002 clauses out of 20096 with flag 485004/485004 1123.39/1120.34 c cleaning 10003 clauses out of 20093 with flag 495003/495003 1145.12/1142.06 c cleaning 9991 clauses out of 20088 with flag 505001/505001 1168.87/1165.70 c cleaning 10001 clauses out of 20096 with flag 515000/515000 1187.62/1184.46 c cleaning 10011 clauses out of 20098 with flag 525003/525003 1205.06/1201.87 c cleaning 10000 clauses out of 20084 with flag 535000/535000 1221.20/1217.90 c cleaning 9997 clauses out of 20085 with flag 545001/545001 1242.84/1239.57 c cleaning 10005 clauses out of 20090 with flag 555003/555003 1263.58/1260.28 c cleaning 9996 clauses out of 20083 with flag 565001/565001 1285.13/1281.79 c cleaning 10006 clauses out of 20088 with flag 575002/575002 1308.18/1304.70 c cleaning 9999 clauses out of 20082 with flag 585002/585002 1321.83/1318.30 c cleaning 10017 clauses out of 20083 with flag 595002/595002 1336.70/1333.16 c cleaning 10032 clauses out of 20065 with flag 605001/605001 1354.92/1351.32 c cleaning 9968 clauses out of 20033 with flag 615001/615001 1390.26/1386.67 c cleaning 9983 clauses out of 20065 with flag 625001/625001 1418.73/1415.04 c cleaning 9985 clauses out of 20081 with flag 635000/635000 1449.28/1445.59 c cleaning 9994 clauses out of 20097 with flag 645001/645001 1474.74/1470.90 c cleaning 10018 clauses out of 20102 with flag 655000/655000 1504.00/1500.12 c cleaning 10014 clauses out of 20089 with flag 665005/665005 1530.36/1526.42 c cleaning 10001 clauses out of 20070 with flag 675000/675000 1552.59/1548.67 c cleaning 10002 clauses out of 20069 with flag 685000/685000 1580.45/1576.47 c cleaning 10002 clauses out of 20068 with flag 695001/695001 1607.61/1603.57 c cleaning 9986 clauses out of 20066 with flag 705001/705001 1632.37/1628.22 c cleaning 10011 clauses out of 20082 with flag 715003/715003 1650.74/1646.60 c cleaning 10008 clauses out of 20072 with flag 725004/725004 1672.38/1668.13 c cleaning 9991 clauses out of 20062 with flag 735002/735002 1693.94/1689.68 c cleaning 10002 clauses out of 20072 with flag 745003/745003 1714.08/1709.71 c cleaning 10008 clauses out of 20071 with flag 755004/755004 1736.63/1732.20 c cleaning 10004 clauses out of 20060 with flag 765001/765001 1754.68/1750.23 c cleaning 9994 clauses out of 20056 with flag 775001/775001 1777.82/1773.33 c cleaning 10000 clauses out of 20061 with flag 785000/785000 1792.28/1787.74 c cleaning 10000 clauses out of 20063 with flag 795002/795002 1800.02/1795.41 c starts : 178 1800.02/1795.41 c conflicts : 801119 1800.02/1795.41 c decisions : 2224478 1800.02/1795.41 c propagations : 50859536 1800.02/1795.41 c inspects : 850712555 1800.02/1795.41 c learnt literals : 0 1800.02/1795.41 c learnt binary clauses : 0 1800.02/1795.41 c learnt ternary clauses : 0 1800.02/1795.41 c learnt clauses : 801119 1800.02/1795.41 c ignored clauses : 0 1800.02/1795.41 c root simplifications : 0 1800.02/1795.41 c removed literals (reason simplification) : 2793518 1800.02/1795.41 c reason swapping (by a shorter reason) : 0 1800.02/1795.41 c Calls to reduceDB : 81 1800.02/1795.41 c number of reductions to clauses (during analyze) : 0 1800.02/1795.41 c number of learned constraints concerned by reduction : 0 1800.02/1795.41 c number of learning phase by resolution : 0 1800.02/1795.41 c number of learning phase by cutting planes : 0 1800.02/1795.41 c speed (assignments/second) : 28402.941956669245 1800.02/1795.41 c non guided choices 474150 1800.02/1795.42 c learnt constraints type 1800.02/1795.42 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 16185 1800.02/1795.42 c constraints type 1800.02/1795.42 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 105 1800.02/1795.42 c org.sat4j.minisat.constraints.card.MinWatchCard => 35 1800.02/1795.42 c org.sat4j.pb.constraints.pb.MaxWatchPb => 66 1800.02/1795.42 s SATISFIABLE 1800.02/1795.43 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 1800.02/1795.44 c objective function=3 1800.02/1795.44 c Total wall clock time (in seconds): 1795.345
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698280-1278325517/watcher-2698280-1278325517 -o /tmp/evaluation-result-2698280-1278325517/solver-2698280-1278325517 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698280-1278325517.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 1.97 1.70 3/196 3988 /proc/meminfo: memFree=32381696/32951124 swapFree=67111528/67111528 [pid=3988] ppid=3986 vsize=1752 CPUtime=0 /proc/3988/stat : 3988 (java) R 3986 3988 3824 0 -1 4194304 317 0 0 0 0 0 0 0 21 0 1 0 766685 1794048 63 4089446400 134512640 134550932 4291543056 18446744073709551615 11534242 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/3988/statm: 438 76 60 10 0 30 0 [startup+0.0377019 s] /proc/loadavg: 1.93 1.97 1.70 3/196 3988 /proc/meminfo: memFree=32381696/32951124 swapFree=67111528/67111528 [pid=3988] ppid=3986 vsize=1525308 CPUtime=0.02 /proc/3988/stat : 3988 (java) S 3986 3988 3824 0 -1 4202496 3790 0 1 0 2 0 0 0 21 0 13 0 766685 1561915392 3231 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0 /proc/3988/statm: 381327 3231 1038 10 0 378637 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1525308 [startup+0.103743 s] /proc/loadavg: 1.93 1.97 1.70 3/196 3988 /proc/meminfo: memFree=32381696/32951124 swapFree=67111528/67111528 [pid=3988] ppid=3986 vsize=1529884 CPUtime=0.11 /proc/3988/stat : 3988 (java) S 3986 3988 3824 0 -1 4202496 5288 0 1 0 11 0 0 0 21 0 18 0 766685 1566601216 4725 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/3988/statm: 382471 4725 1347 10 0 379774 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529884 [startup+0.30074 s] /proc/loadavg: 1.93 1.97 1.70 3/196 3988 /proc/meminfo: memFree=32381696/32951124 swapFree=67111528/67111528 [pid=3988] ppid=3986 vsize=1533400 CPUtime=0.6 /proc/3988/stat : 3988 (java) S 3986 3988 3824 0 -1 4202496 8541 0 1 0 59 1 0 0 21 0 18 0 766685 1570201600 7845 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/3988/statm: 383350 7845 1413 10 0 380653 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 1533400 [startup+0.700615 s] /proc/loadavg: 1.93 1.97 1.70 3/196 3988 /proc/meminfo: memFree=32381696/32951124 swapFree=67111528/67111528 [pid=3988] ppid=3986 vsize=1544780 CPUtime=1.72 /proc/3988/stat : 3988 (java) S 3986 3988 3824 0 -1 4202496 16212 0 1 0 170 2 0 0 21 0 19 0 766685 1581854720 13298 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/3988/statm: 386195 13298 1423 10 0 383498 0 Current children cumulated CPU time (s) 1.72 Current children cumulated vsize (KiB) 1544780 [startup+1.50146 s] /proc/loadavg: 1.93 1.97 1.70 3/215 4007 /proc/meminfo: memFree=32330644/32951124 swapFree=67111528/67111528 [pid=3988] ppid=3986 vsize=1544780 CPUtime=2.58 /proc/3988/stat : 3988 (java) S 3986 3988 3824 0 -1 4202496 18522 0 1 0 256 2 0 0 21 0 19 0 766685 1581854720 15607 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/3988/statm: 386195 15607 1427 10 0 383498 0 [pid=3988/tid=3990] ppid=3986 vsize=1544780 CPUtime=1.48 /proc/3988/task/3990/stat : 3990 (java) R 3986 3988 3824 0 -1 4202560 10663 0 1 0 146 2 0 0 18 0 19 0 766686 1581854720 15607 4089446400 134512640 134550932 4291543056 18446744073709551615 4109648365 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=3988/tid=3991] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/3991/stat : 3991 (java) S 3986 3988 3824 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 19 0 766686 1581854720 15607 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=3992] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/3992/stat : 3992 (java) S 3986 3988 3824 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 766686 1581854720 15607 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=3993] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/3993/stat : 3993 (java) S 3986 3988 3824 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766686 1581854720 15607 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=3994] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/3994/stat : 3994 (java) S 3986 3988 3824 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766686 1581854720 15607 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=3995] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/3995/stat : 3995 (java) S 3986 3988 3824 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 766686 1581854720 15608 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=3996] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/3996/stat : 3996 (java) S 3986 3988 3824 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 766686 1581854720 15609 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=3997] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/3997/stat : 3997 (java) S 3986 3988 3824 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766686 1581854720 15609 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=3998] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/3998/stat : 3998 (java) S 3986 3988 3824 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766686 1581854720 15609 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 2 0 0 0 [pid=3988/tid=3999] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/3999/stat : 3999 (java) S 3986 3988 3824 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 766687 1581854720 15609 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 0 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 [pid=3988/tid=4000] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/4000/stat : 4000 (java) S 3986 3988 3824 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 19 0 766687 1581854720 15609 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4001] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/4001/stat : 4001 (java) S 3986 3988 3824 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 766687 1581854720 15609 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4002] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/4002/stat : 4002 (java) S 3986 3988 3824 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766690 1581854720 15609 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4003] ppid=3986 vsize=1544780 CPUtime=0.55 /proc/3988/task/4003/stat : 4003 (java) S 3986 3988 3824 0 -1 4202560 4123 0 0 0 55 0 0 0 20 0 19 0 766690 1581854720 15609 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 [pid=3988/tid=4004] ppid=3986 vsize=1544780 CPUtime=0.53 /proc/3988/task/4004/stat : 4004 (java) S 3986 3988 3824 0 -1 4202560 2662 0 0 0 53 0 0 0 15 0 19 0 766690 1581854720 15609 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 5 0 0 0 [pid=3988/tid=4005] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/4005/stat : 4005 (java) S 3986 3988 3824 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 766690 1581854720 15609 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4006] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/4006/stat : 4006 (java) S 3986 3988 3824 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 766690 1581854720 15609 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 6 0 0 0 [pid=3988/tid=4007] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/4007/stat : 4007 (java) S 3986 3988 3824 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 766720 1581854720 15609 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.58 Current children cumulated vsize (KiB) 1544780 [startup+3.10117 s] /proc/loadavg: 1.94 1.97 1.70 3/215 4007 /proc/meminfo: memFree=32319980/32951124 swapFree=67111528/67111528 [pid=3988] ppid=3986 vsize=1544780 CPUtime=4.19 /proc/3988/stat : 3988 (java) S 3986 3988 3824 0 -1 4202496 21892 0 1 0 416 3 0 0 21 0 19 0 766685 1581854720 18976 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/3988/statm: 386195 18976 1427 10 0 383498 0 [pid=3988/tid=3990] ppid=3986 vsize=1544780 CPUtime=3.08 /proc/3988/task/3990/stat : 3990 (java) R 3986 3988 3824 0 -1 4202560 14032 0 1 0 306 2 0 0 22 0 19 0 766686 1581854720 18976 4089446400 134512640 134550932 4291543056 18446744073709551615 4109650802 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=3988/tid=3991] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/3991/stat : 3991 (java) S 3986 3988 3824 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 19 0 766686 1581854720 18976 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=3992] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/3992/stat : 3992 (java) S 3986 3988 3824 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 766686 1581854720 18976 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=3993] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/3993/stat : 3993 (java) S 3986 3988 3824 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766686 1581854720 18976 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=3994] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/3994/stat : 3994 (java) S 3986 3988 3824 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766686 1581854720 18976 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=3995] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/3995/stat : 3995 (java) S 3986 3988 3824 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 766686 1581854720 18976 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=3996] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/3996/stat : 3996 (java) S 3986 3988 3824 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 766686 1581854720 18976 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=3997] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/3997/stat : 3997 (java) S 3986 3988 3824 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766686 1581854720 18976 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=3998] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/3998/stat : 3998 (java) S 3986 3988 3824 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766686 1581854720 18976 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 2 0 0 0 [pid=3988/tid=3999] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/3999/stat : 3999 (java) S 3986 3988 3824 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 766687 1581854720 18976 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 0 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 [pid=3988/tid=4000] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/4000/stat : 4000 (java) S 3986 3988 3824 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 19 0 766687 1581854720 18976 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4001] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/4001/stat : 4001 (java) S 3986 3988 3824 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 766687 1581854720 18976 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4002] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/4002/stat : 4002 (java) S 3986 3988 3824 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766690 1581854720 18976 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4003] ppid=3986 vsize=1544780 CPUtime=0.56 /proc/3988/task/4003/stat : 4003 (java) S 3986 3988 3824 0 -1 4202560 4124 0 0 0 56 0 0 0 17 0 19 0 766690 1581854720 18976 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 [pid=3988/tid=4004] ppid=3986 vsize=1544780 CPUtime=0.53 /proc/3988/task/4004/stat : 4004 (java) S 3986 3988 3824 0 -1 4202560 2662 0 0 0 53 0 0 0 15 0 19 0 766690 1581854720 18976 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 5 0 0 0 [pid=3988/tid=4005] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/4005/stat : 4005 (java) S 3986 3988 3824 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 766690 1581854720 18976 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4006] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/4006/stat : 4006 (java) S 3986 3988 3824 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 766690 1581854720 18976 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 6 0 0 0 [pid=3988/tid=4007] ppid=3986 vsize=1544780 CPUtime=0 /proc/3988/task/4007/stat : 4007 (java) S 3986 3988 3824 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 766720 1581854720 18976 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.19 Current children cumulated vsize (KiB) 1544780 [startup+6.30059 s] /proc/loadavg: 1.94 1.97 1.70 3/215 4007 /proc/meminfo: memFree=32287792/32951124 swapFree=67111528/67111528 [pid=3988] ppid=3986 vsize=1544000 CPUtime=7.42 /proc/3988/stat : 3988 (java) S 3986 3988 3824 0 -1 4202496 28302 0 1 0 738 4 0 0 21 0 19 0 766685 1581056000 25184 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/3988/statm: 386000 25184 1441 10 0 383303 0 [pid=3988/tid=3990] ppid=3986 vsize=1544000 CPUtime=6.26 /proc/3988/task/3990/stat : 3990 (java) R 3986 3988 3824 0 -1 4202560 14951 0 1 0 623 3 0 0 25 0 19 0 766686 1581056000 25184 4089446400 134512640 134550932 4291543056 18446744073709551615 4109584499 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=3988/tid=3991] ppid=3986 vsize=1544000 CPUtime=0 /proc/3988/task/3991/stat : 3991 (java) S 3986 3988 3824 0 -1 4202560 437 0 0 0 0 0 0 0 18 0 19 0 766686 1581056000 25184 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=3992] ppid=3986 vsize=1544000 CPUtime=0 /proc/3988/task/3992/stat : 3992 (java) S 3986 3988 3824 0 -1 4202560 806 0 0 0 0 0 0 0 18 0 19 0 766686 1581056000 25184 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 6 0 0 0 [pid=3988/tid=3993] ppid=3986 vsize=1544000 CPUtime=0 /proc/3988/task/3993/stat : 3993 (java) S 3986 3988 3824 0 -1 4202560 995 0 0 0 0 0 0 0 18 0 19 0 766686 1581056000 25184 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 2 0 0 0 [pid=3988/tid=3994] ppid=3986 vsize=1544000 CPUtime=0 /proc/3988/task/3994/stat : 3994 (java) S 3986 3988 3824 0 -1 4202560 253 0 0 0 0 0 0 0 18 0 19 0 766686 1581056000 25184 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 1 0 0 0 [pid=3988/tid=3995] ppid=3986 vsize=1544000 CPUtime=0 /proc/3988/task/3995/stat : 3995 (java) S 3986 3988 3824 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 766686 1581056000 25184 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=3996] ppid=3986 vsize=1544000 CPUtime=0 /proc/3988/task/3996/stat : 3996 (java) S 3986 3988 3824 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 766686 1581056000 25184 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=3997] ppid=3986 vsize=1544000 CPUtime=0 /proc/3988/task/3997/stat : 3997 (java) S 3986 3988 3824 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 766686 1581056000 25184 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=3998] ppid=3986 vsize=1544000 CPUtime=0 /proc/3988/task/3998/stat : 3998 (java) S 3986 3988 3824 0 -1 4202560 358 0 0 0 0 0 0 0 18 0 19 0 766686 1581056000 25184 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 6 0 0 0 [pid=3988/tid=3999] ppid=3986 vsize=1544000 CPUtime=0.01 /proc/3988/task/3999/stat : 3999 (java) S 3986 3988 3824 0 -1 4202560 2641 0 0 0 1 0 0 0 15 0 19 0 766687 1581056000 25184 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 0 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 [pid=3988/tid=4000] ppid=3986 vsize=1544000 CPUtime=0 /proc/3988/task/4000/stat : 4000 (java) S 3986 3988 3824 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 766687 1581056000 25184 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4001] ppid=3986 vsize=1544000 CPUtime=0 /proc/3988/task/4001/stat : 4001 (java) S 3986 3988 3824 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 766687 1581056000 25184 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4002] ppid=3986 vsize=1544000 CPUtime=0 /proc/3988/task/4002/stat : 4002 (java) S 3986 3988 3824 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766690 1581056000 25184 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4003] ppid=3986 vsize=1544000 CPUtime=0.57 /proc/3988/task/4003/stat : 4003 (java) S 3986 3988 3824 0 -1 4202560 4127 0 0 0 57 0 0 0 15 0 19 0 766690 1581056000 25184 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 [pid=3988/tid=4004] ppid=3986 vsize=1544000 CPUtime=0.54 /proc/3988/task/4004/stat : 4004 (java) S 3986 3988 3824 0 -1 4202560 2666 0 0 0 54 0 0 0 15 0 19 0 766690 1581056000 25184 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 5 0 0 0 [pid=3988/tid=4005] ppid=3986 vsize=1544000 CPUtime=0 /proc/3988/task/4005/stat : 4005 (java) S 3986 3988 3824 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 766690 1581056000 25184 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4006] ppid=3986 vsize=1544000 CPUtime=0 /proc/3988/task/4006/stat : 4006 (java) S 3986 3988 3824 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 766690 1581056000 25184 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 6 0 0 0 [pid=3988/tid=4007] ppid=3986 vsize=1544000 CPUtime=0 /proc/3988/task/4007/stat : 4007 (java) S 3986 3988 3824 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 766720 1581056000 25184 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.42 Current children cumulated vsize (KiB) 1544000 [startup+12.7015 s] /proc/loadavg: 1.87 1.95 1.70 3/215 4055 /proc/meminfo: memFree=32284768/32951124 swapFree=67111528/67111528 [pid=3988] ppid=3986 vsize=1543312 CPUtime=13.87 /proc/3988/stat : 3988 (java) S 3986 3988 3824 0 -1 4202496 36471 0 1 0 1382 5 0 0 21 0 19 0 766685 1580351488 33027 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/3988/statm: 385828 33027 1441 10 0 383131 0 [pid=3988/tid=3990] ppid=3986 vsize=1543312 CPUtime=12.62 /proc/3988/task/3990/stat : 3990 (java) R 3986 3988 3824 0 -1 4202560 14953 0 1 0 1259 3 0 0 25 0 19 0 766686 1580351488 33027 4089446400 134512640 134550932 4291543056 18446744073709551615 4109584440 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3988/tid=3991] ppid=3986 vsize=1543312 CPUtime=0 /proc/3988/task/3991/stat : 3991 (java) S 3986 3988 3824 0 -1 4202560 437 0 0 0 0 0 0 0 18 0 19 0 766686 1580351488 33027 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 5 0 0 0 ################ # More data... # ################ [pid=3988/tid=3996] ppid=3986 vsize=1544336 CPUtime=0.46 /proc/3988/task/3996/stat : 3996 (java) S 3986 3988 3824 0 -1 4202560 5290 0 0 0 43 3 0 0 16 0 19 0 766686 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 [pid=3988/tid=3997] ppid=3986 vsize=1544336 CPUtime=0.44 /proc/3988/task/3997/stat : 3997 (java) S 3986 3988 3824 0 -1 4202560 4843 0 0 0 42 2 0 0 16 0 19 0 766686 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 [pid=3988/tid=3998] ppid=3986 vsize=1544336 CPUtime=0.49 /proc/3988/task/3998/stat : 3998 (java) S 3986 3988 3824 0 -1 4202560 4618 0 0 0 47 2 0 0 15 0 19 0 766686 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 2 0 0 0 [pid=3988/tid=3999] ppid=3986 vsize=1544336 CPUtime=2.84 /proc/3988/task/3999/stat : 3999 (java) S 3986 3988 3824 0 -1 4202560 10044 0 0 0 282 2 0 0 15 0 19 0 766687 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 0 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4000] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4000/stat : 4000 (java) S 3986 3988 3824 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 766687 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4001] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4001/stat : 4001 (java) S 3986 3988 3824 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 766687 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4002] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4002/stat : 4002 (java) S 3986 3988 3824 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766690 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4003] ppid=3986 vsize=1544336 CPUtime=0.64 /proc/3988/task/4003/stat : 4003 (java) S 3986 3988 3824 0 -1 4202560 4139 0 0 0 64 0 0 0 15 0 19 0 766690 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 [pid=3988/tid=4004] ppid=3986 vsize=1544336 CPUtime=0.57 /proc/3988/task/4004/stat : 4004 (java) S 3986 3988 3824 0 -1 4202560 2670 0 0 0 57 0 0 0 15 0 19 0 766690 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 5 0 0 0 [pid=3988/tid=4005] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4005/stat : 4005 (java) S 3986 3988 3824 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 766690 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4006] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4006/stat : 4006 (java) S 3986 3988 3824 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 766690 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 2 0 0 0 [pid=3988/tid=4007] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4007/stat : 4007 (java) S 3986 3988 3824 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 766720 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1666.58 Current children cumulated vsize (KiB) 1544336 [startup+1722.3 s] /proc/loadavg: 2.04 2.07 1.95 3/215 4101 /proc/meminfo: memFree=31874716/32951124 swapFree=67111528/67111528 [pid=3988] ppid=3986 vsize=1544336 CPUtime=1726.73 /proc/3988/stat : 3988 (java) S 3986 3988 3824 0 -1 4202496 92623 0 1 0 172640 33 0 0 21 0 19 0 766685 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/3988/statm: 386084 81694 1441 10 0 383387 0 [pid=3988/tid=3990] ppid=3986 vsize=1544336 CPUtime=1718.56 /proc/3988/task/3990/stat : 3990 (java) R 3986 3988 3824 0 -1 4202560 30659 0 1 0 171849 7 0 0 25 0 19 0 766686 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4109674442 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=3988/tid=3991] ppid=3986 vsize=1544336 CPUtime=0.46 /proc/3988/task/3991/stat : 3991 (java) S 3986 3988 3824 0 -1 4202560 5141 0 0 0 44 2 0 0 15 0 19 0 766686 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 3 0 0 0 [pid=3988/tid=3992] ppid=3986 vsize=1544336 CPUtime=0.49 /proc/3988/task/3992/stat : 3992 (java) S 3986 3988 3824 0 -1 4202560 6175 0 0 0 47 2 0 0 16 0 19 0 766686 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 6 0 0 0 [pid=3988/tid=3993] ppid=3986 vsize=1544336 CPUtime=0.49 /proc/3988/task/3993/stat : 3993 (java) S 3986 3988 3824 0 -1 4202560 8227 0 0 0 47 2 0 0 15 0 19 0 766686 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 1 0 0 0 [pid=3988/tid=3994] ppid=3986 vsize=1544336 CPUtime=0.49 /proc/3988/task/3994/stat : 3994 (java) S 3986 3988 3824 0 -1 4202560 5194 0 0 0 46 3 0 0 15 0 19 0 766686 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 7 0 0 0 [pid=3988/tid=3995] ppid=3986 vsize=1544336 CPUtime=0.46 /proc/3988/task/3995/stat : 3995 (java) S 3986 3988 3824 0 -1 4202560 4368 0 0 0 44 2 0 0 15 0 19 0 766686 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 1 0 0 0 [pid=3988/tid=3996] ppid=3986 vsize=1544336 CPUtime=0.49 /proc/3988/task/3996/stat : 3996 (java) S 3986 3988 3824 0 -1 4202560 5290 0 0 0 46 3 0 0 16 0 19 0 766686 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 [pid=3988/tid=3997] ppid=3986 vsize=1544336 CPUtime=0.46 /proc/3988/task/3997/stat : 3997 (java) S 3986 3988 3824 0 -1 4202560 4843 0 0 0 44 2 0 0 16 0 19 0 766686 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 [pid=3988/tid=3998] ppid=3986 vsize=1544336 CPUtime=0.52 /proc/3988/task/3998/stat : 3998 (java) S 3986 3988 3824 0 -1 4202560 4618 0 0 0 50 2 0 0 16 0 19 0 766686 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 2 0 0 0 [pid=3988/tid=3999] ppid=3986 vsize=1544336 CPUtime=2.98 /proc/3988/task/3999/stat : 3999 (java) S 3986 3988 3824 0 -1 4202560 10132 0 0 0 296 2 0 0 15 0 19 0 766687 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 0 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4000] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4000/stat : 4000 (java) S 3986 3988 3824 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 766687 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4001] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4001/stat : 4001 (java) S 3986 3988 3824 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 766687 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4002] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4002/stat : 4002 (java) S 3986 3988 3824 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766690 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4003] ppid=3986 vsize=1544336 CPUtime=0.64 /proc/3988/task/4003/stat : 4003 (java) S 3986 3988 3824 0 -1 4202560 4139 0 0 0 64 0 0 0 15 0 19 0 766690 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 [pid=3988/tid=4004] ppid=3986 vsize=1544336 CPUtime=0.57 /proc/3988/task/4004/stat : 4004 (java) S 3986 3988 3824 0 -1 4202560 2670 0 0 0 57 0 0 0 15 0 19 0 766690 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 5 0 0 0 [pid=3988/tid=4005] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4005/stat : 4005 (java) S 3986 3988 3824 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 766690 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4006] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4006/stat : 4006 (java) S 3986 3988 3824 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 766690 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 2 0 0 0 [pid=3988/tid=4007] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4007/stat : 4007 (java) S 3986 3988 3824 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 766720 1581400064 81694 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1726.73 Current children cumulated vsize (KiB) 1544336 [startup+1782.3 s] /proc/loadavg: 2.01 2.05 1.95 3/215 4102 /proc/meminfo: memFree=31874248/32951124 swapFree=67111528/67111528 [pid=3988] ppid=3986 vsize=1544336 CPUtime=1786.88 /proc/3988/stat : 3988 (java) S 3986 3988 3824 0 -1 4202496 92723 0 1 0 178655 33 0 0 21 0 19 0 766685 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/3988/statm: 386084 81701 1441 10 0 383387 0 [pid=3988/tid=3990] ppid=3986 vsize=1544336 CPUtime=1778.39 /proc/3988/task/3990/stat : 3990 (java) R 3986 3988 3824 0 -1 4202560 30662 0 1 0 177832 7 0 0 25 0 19 0 766686 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4109674490 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=3988/tid=3991] ppid=3986 vsize=1544336 CPUtime=0.48 /proc/3988/task/3991/stat : 3991 (java) S 3986 3988 3824 0 -1 4202560 5142 0 0 0 46 2 0 0 16 0 19 0 766686 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 3 0 0 0 [pid=3988/tid=3992] ppid=3986 vsize=1544336 CPUtime=0.52 /proc/3988/task/3992/stat : 3992 (java) S 3986 3988 3824 0 -1 4202560 6176 0 0 0 50 2 0 0 16 0 19 0 766686 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 6 0 0 0 [pid=3988/tid=3993] ppid=3986 vsize=1544336 CPUtime=0.5 /proc/3988/task/3993/stat : 3993 (java) S 3986 3988 3824 0 -1 4202560 8230 0 0 0 48 2 0 0 15 0 19 0 766686 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 1 0 0 0 [pid=3988/tid=3994] ppid=3986 vsize=1544336 CPUtime=0.52 /proc/3988/task/3994/stat : 3994 (java) S 3986 3988 3824 0 -1 4202560 5195 0 0 0 49 3 0 0 16 0 19 0 766686 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 7 0 0 0 [pid=3988/tid=3995] ppid=3986 vsize=1544336 CPUtime=0.48 /proc/3988/task/3995/stat : 3995 (java) S 3986 3988 3824 0 -1 4202560 4369 0 0 0 46 2 0 0 16 0 19 0 766686 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 2 0 0 0 [pid=3988/tid=3996] ppid=3986 vsize=1544336 CPUtime=0.52 /proc/3988/task/3996/stat : 3996 (java) S 3986 3988 3824 0 -1 4202560 5290 0 0 0 49 3 0 0 16 0 19 0 766686 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 [pid=3988/tid=3997] ppid=3986 vsize=1544336 CPUtime=0.48 /proc/3988/task/3997/stat : 3997 (java) S 3986 3988 3824 0 -1 4202560 4843 0 0 0 46 2 0 0 15 0 19 0 766686 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 2 0 0 0 [pid=3988/tid=3998] ppid=3986 vsize=1544336 CPUtime=0.54 /proc/3988/task/3998/stat : 3998 (java) S 3986 3988 3824 0 -1 4202560 4618 0 0 0 52 2 0 0 16 0 19 0 766686 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 2 0 0 0 [pid=3988/tid=3999] ppid=3986 vsize=1544336 CPUtime=3.13 /proc/3988/task/3999/stat : 3999 (java) S 3986 3988 3824 0 -1 4202560 10220 0 0 0 311 2 0 0 15 0 19 0 766687 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 0 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4000] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4000/stat : 4000 (java) S 3986 3988 3824 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 766687 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4001] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4001/stat : 4001 (java) S 3986 3988 3824 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 766687 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4002] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4002/stat : 4002 (java) S 3986 3988 3824 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766690 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4003] ppid=3986 vsize=1544336 CPUtime=0.64 /proc/3988/task/4003/stat : 4003 (java) S 3986 3988 3824 0 -1 4202560 4139 0 0 0 64 0 0 0 15 0 19 0 766690 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 [pid=3988/tid=4004] ppid=3986 vsize=1544336 CPUtime=0.57 /proc/3988/task/4004/stat : 4004 (java) S 3986 3988 3824 0 -1 4202560 2670 0 0 0 57 0 0 0 15 0 19 0 766690 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 5 0 0 0 [pid=3988/tid=4005] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4005/stat : 4005 (java) S 3986 3988 3824 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 766690 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4006] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4006/stat : 4006 (java) S 3986 3988 3824 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 766690 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 2 0 0 0 [pid=3988/tid=4007] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4007/stat : 4007 (java) S 3986 3988 3824 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 766720 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1786.88 Current children cumulated vsize (KiB) 1544336 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.4 s] /proc/loadavg: 2.01 2.05 1.95 3/215 4103 /proc/meminfo: memFree=31874080/32951124 swapFree=67111528/67111528 [pid=3988] ppid=3986 vsize=1544336 CPUtime=1800.02 /proc/3988/stat : 3988 (java) S 3986 3988 3824 0 -1 4202496 92754 0 1 0 179969 33 0 0 21 0 19 0 766685 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/3988/statm: 386084 81701 1441 10 0 383387 0 [pid=3988/tid=3990] ppid=3986 vsize=1544336 CPUtime=1791.44 /proc/3988/task/3990/stat : 3990 (java) R 3986 3988 3824 0 -1 4202560 30663 0 1 0 179137 7 0 0 25 0 19 0 766686 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4109675134 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=3988/tid=3991] ppid=3986 vsize=1544336 CPUtime=0.48 /proc/3988/task/3991/stat : 3991 (java) S 3986 3988 3824 0 -1 4202560 5142 0 0 0 46 2 0 0 15 0 19 0 766686 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 3 0 0 0 [pid=3988/tid=3992] ppid=3986 vsize=1544336 CPUtime=0.53 /proc/3988/task/3992/stat : 3992 (java) S 3986 3988 3824 0 -1 4202560 6176 0 0 0 51 2 0 0 15 0 19 0 766686 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 6 0 0 0 [pid=3988/tid=3993] ppid=3986 vsize=1544336 CPUtime=0.5 /proc/3988/task/3993/stat : 3993 (java) S 3986 3988 3824 0 -1 4202560 8230 0 0 0 48 2 0 0 15 0 19 0 766686 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 1 0 0 0 [pid=3988/tid=3994] ppid=3986 vsize=1544336 CPUtime=0.52 /proc/3988/task/3994/stat : 3994 (java) S 3986 3988 3824 0 -1 4202560 5195 0 0 0 49 3 0 0 15 0 19 0 766686 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 7 0 0 0 [pid=3988/tid=3995] ppid=3986 vsize=1544336 CPUtime=0.49 /proc/3988/task/3995/stat : 3995 (java) S 3986 3988 3824 0 -1 4202560 4369 0 0 0 47 2 0 0 15 0 19 0 766686 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 2 0 0 0 [pid=3988/tid=3996] ppid=3986 vsize=1544336 CPUtime=0.52 /proc/3988/task/3996/stat : 3996 (java) S 3986 3988 3824 0 -1 4202560 5290 0 0 0 49 3 0 0 15 0 19 0 766686 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 [pid=3988/tid=3997] ppid=3986 vsize=1544336 CPUtime=0.49 /proc/3988/task/3997/stat : 3997 (java) S 3986 3988 3824 0 -1 4202560 4843 0 0 0 47 2 0 0 16 0 19 0 766686 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 [pid=3988/tid=3998] ppid=3986 vsize=1544336 CPUtime=0.54 /proc/3988/task/3998/stat : 3998 (java) S 3986 3988 3824 0 -1 4202560 4618 0 0 0 52 2 0 0 15 0 19 0 766686 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 2 0 0 0 [pid=3988/tid=3999] ppid=3986 vsize=1544336 CPUtime=3.17 /proc/3988/task/3999/stat : 3999 (java) S 3986 3988 3824 0 -1 4202560 10248 0 0 0 315 2 0 0 15 0 19 0 766687 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 0 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4000] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4000/stat : 4000 (java) S 3986 3988 3824 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 766687 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4001] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4001/stat : 4001 (java) S 3986 3988 3824 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 766687 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4002] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4002/stat : 4002 (java) S 3986 3988 3824 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766690 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4003] ppid=3986 vsize=1544336 CPUtime=0.64 /proc/3988/task/4003/stat : 4003 (java) S 3986 3988 3824 0 -1 4202560 4139 0 0 0 64 0 0 0 15 0 19 0 766690 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 [pid=3988/tid=4004] ppid=3986 vsize=1544336 CPUtime=0.57 /proc/3988/task/4004/stat : 4004 (java) S 3986 3988 3824 0 -1 4202560 2670 0 0 0 57 0 0 0 15 0 19 0 766690 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 5 0 0 0 [pid=3988/tid=4005] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4005/stat : 4005 (java) S 3986 3988 3824 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 766690 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 4 0 0 0 [pid=3988/tid=4006] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4006/stat : 4006 (java) S 3986 3988 3824 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 766690 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 2 0 0 0 [pid=3988/tid=4007] ppid=3986 vsize=1544336 CPUtime=0 /proc/3988/task/4007/stat : 4007 (java) S 3986 3988 3824 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 766720 1581400064 81701 4089446400 134512640 134550932 4291543056 18446744073709551615 4294960144 0 4 0 16800975 18446604471142184832 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1544336 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1795.48 CPU time (s): 1800.19 CPU user time (s): 1799.85 CPU system time (s): 0.343947 CPU usage (%): 100.262 Max. virtual memory (cumulated for all children) (KiB): 1545368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.85 system time used= 0.343947 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 92784 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= 39076 involuntary context switches= 78448 runsolver used 3.2855 second user time and 6.38203 second system time The end
Begin job on node106 at 2010-07-05 12:25:18 IDJOB=2698280 IDBENCH=78726 IDSOLVER=1211 FILE ID=node106/2698280-1278325517 PBS_JOBID= 11207483 Free space on /tmp= 74188 MiB SOLVER NAME= SAT4J PB Resolution 2.2.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698280-1278325517/watcher-2698280-1278325517 -o /tmp/evaluation-result-2698280-1278325517/solver-2698280-1278325517 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698280-1278325517.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5089c419eb4145debb9fb5e7fd1214f5 RANDOM SEED=1983986818 node106.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.814 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.62 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.814 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.814 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.76 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.814 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.77 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.814 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.82 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.814 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.814 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.814 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 32381968 kB Buffers: 31048 kB Cached: 298564 kB SwapCached: 0 kB Active: 230588 kB Inactive: 236600 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 32381968 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 712 kB Writeback: 0 kB AnonPages: 137624 kB Mapped: 20332 kB Slab: 36320 kB PageTables: 4956 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1639328 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= 74188 MiB End job on node106 at 2010-07-05 12:55:15