Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 35 | 1800.63 | 925.249 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_026_area_delay.opb |
| MD5SUM | 4c21c441bf9f3f3be8f0cdb52c39f9b4 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 28 |
| Best CPU time to get the best result obtained on this benchmark | 23.6794 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 30 |
| Optimality of the best value was proved | NO |
| Number of variables | 12852 |
| Total number of constraints | 41686 |
| Number of constraints which are clauses | 41686 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 6267 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 6267 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 6267 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.2.v20120418 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c c --- End Solver configuration --- 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3688436-1337877652.opb 0.09/0.12 c reading problem ... 1.92/0.80 c ... done. Wall clock time 0.681s. 1.92/0.80 c declared #vars 12852 1.92/0.80 c #constraints 41686 1.92/0.80 c constraints type 1.92/0.80 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6595 1.92/0.80 c org.sat4j.minisat.constraints.cnf.UnitClause => 1194 1.92/0.80 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 33897 1.92/0.80 c 41686 constraints processed. 1.92/0.80 c constraints type 1.92/0.80 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 33897 1.92/0.80 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6595 1.92/0.80 c org.sat4j.pb.constraints.pb.UnitClausePB => 1194 1.92/0.80 c 41686 constraints processed. 1.92/0.80 c objective function length is 6267 literals 2.32/0.98 c And the winner is solver1 2.66/1.31 c SATISFIABLE 2.66/1.31 c OPTIMIZING... 2.66/1.31 c Got one! Elapsed wall clock time (in seconds):1.191 2.66/1.31 o 38 11.55/5.43 c And the winner is solver1 11.66/5.83 c Got one! Elapsed wall clock time (in seconds):5.716 11.66/5.83 o 37 13.21/6.70 c cleaning 2631 clauses out of 5272 with flag 1000/5273 24.57/12.24 c cleaning 4321 clauses out of 8641 with flag 7000/11273 37.70/18.85 c cleaning 5660 clauses out of 11320 with flag 14000/18273 52.61/26.32 c cleaning 6824 clauses out of 13660 with flag 22000/26273 69.31/34.72 c cleaning 7902 clauses out of 15836 with flag 31000/35273 87.50/43.86 c cleaning 8954 clauses out of 17934 with flag 41000/45273 107.07/53.70 c cleaning 9954 clauses out of 19980 with flag 52000/56273 129.31/64.76 c cleaning 10998 clauses out of 22026 with flag 64000/68273 153.12/76.84 c cleaning 11989 clauses out of 24028 with flag 77000/81273 172.46/86.68 c And the winner is solver1 172.63/86.78 c Got one! Elapsed wall clock time (in seconds):86.668 172.63/86.78 o 36 181.79/91.38 c cleaning 13859 clauses out of 27717 with flag 5001/96951 193.84/97.50 c cleaning 9910 clauses out of 19857 with flag 11000/102950 207.32/104.41 c cleaning 8468 clauses out of 16947 with flag 18000/109950 222.36/112.22 c cleaning 8226 clauses out of 16479 with flag 26000/117950 239.18/120.84 c cleaning 8586 clauses out of 17254 with flag 35001/126951 257.79/130.38 c cleaning 9295 clauses out of 18667 with flag 45000/136950 278.20/140.74 c cleaning 10184 clauses out of 20374 with flag 56002/147952 300.55/152.29 c cleaning 11086 clauses out of 22188 with flag 68000/159950 324.18/164.28 c cleaning 12047 clauses out of 24102 with flag 81000/172950 349.88/177.37 c cleaning 13010 clauses out of 26055 with flag 95000/186950 377.15/191.20 c cleaning 14020 clauses out of 28046 with flag 110001/201951 400.90/203.52 c And the winner is solver1 400.95/203.65 c Got one! Elapsed wall clock time (in seconds):203.535 400.95/203.65 o 35 410.03/208.24 c cleaning 15923 clauses out of 31863 with flag 5000/219788 421.67/214.34 c cleaning 10970 clauses out of 21941 with flag 11001/225789 434.48/221.04 c cleaning 8972 clauses out of 17970 with flag 18000/232788 449.27/228.73 c cleaning 8491 clauses out of 17000 with flag 26002/240790 465.61/237.50 c cleaning 8749 clauses out of 17507 with flag 35000/249788 483.52/246.78 c cleaning 9360 clauses out of 18758 with flag 45000/259788 502.80/256.77 c cleaning 10177 clauses out of 20399 with flag 56001/270789 523.66/267.53 c cleaning 11100 clauses out of 22224 with flag 68003/282791 545.91/279.28 c cleaning 12059 clauses out of 24124 with flag 81003/295791 569.95/291.64 c cleaning 13012 clauses out of 26062 with flag 95000/309788 595.73/304.91 c cleaning 13986 clauses out of 28050 with flag 110000/324788 624.36/320.38 c cleaning 15021 clauses out of 30064 with flag 126000/340788 654.43/335.63 c cleaning 15999 clauses out of 32043 with flag 143000/357788 685.99/351.82 c cleaning 17012 clauses out of 34046 with flag 161002/375790 719.42/368.91 c cleaning 17999 clauses out of 36032 with flag 180000/394788 755.00/387.43 c cleaning 19005 clauses out of 38033 with flag 200000/414788 792.47/406.65 c cleaning 19988 clauses out of 40029 with flag 221001/435789 831.53/426.68 c cleaning 21012 clauses out of 42041 with flag 243001/457789 873.53/448.11 c cleaning 22006 clauses out of 44028 with flag 266000/480788 917.37/470.81 c cleaning 23005 clauses out of 46022 with flag 290000/504788 964.16/495.48 c cleaning 23982 clauses out of 48017 with flag 315000/529788 1011.42/519.55 c cleaning 24979 clauses out of 50035 with flag 341000/555788 1061.26/545.42 c cleaning 26006 clauses out of 52056 with flag 368000/582788 1111.64/571.25 c cleaning 27011 clauses out of 54050 with flag 396000/610788 1164.98/598.58 c cleaning 28009 clauses out of 56039 with flag 425000/639788 1219.54/626.43 c cleaning 29010 clauses out of 58032 with flag 455002/669790 1277.09/656.28 c cleaning 30001 clauses out of 60023 with flag 486003/700791 1332.19/684.43 c cleaning 30993 clauses out of 62019 with flag 518000/732788 1388.88/713.40 c cleaning 32002 clauses out of 64026 with flag 551000/765788 1450.72/745.00 c cleaning 32982 clauses out of 66024 with flag 585000/799788 1514.02/777.83 c cleaning 34003 clauses out of 68042 with flag 620000/834788 1578.59/810.85 c cleaning 35007 clauses out of 70039 with flag 656000/870788 1643.07/843.85 c cleaning 35999 clauses out of 72032 with flag 693000/907788 1709.52/877.82 c cleaning 37012 clauses out of 74033 with flag 731000/945788 1782.98/915.83 c cleaning 38011 clauses out of 76024 with flag 770003/984791 1800.19/925.21 c starts : 14 1800.19/925.21 c conflicts : 1429 1800.19/925.21 c decisions : 240209 1800.19/925.21 c propagations : 2073973 1800.19/925.21 c inspects : 9587686 1800.19/925.21 c shortcuts : 0 1800.19/925.21 c learnt literals : 0 1800.19/925.21 c learnt binary clauses : 0 1800.19/925.21 c learnt ternary clauses : 0 1800.19/925.21 c learnt constraints : 1428 1800.19/925.21 c ignored constraints : 0 1800.19/925.21 c root simplifications : 0 1800.19/925.21 c removed literals (reason simplification) : 0 1800.19/925.21 c reason swapping (by a shorter reason) : 0 1800.19/925.21 c Calls to reduceDB : 0 1800.19/925.21 c number of reductions to clauses (during analyze) : 0 1800.19/925.21 c number of learned constraints concerned by reduction : 0 1800.19/925.21 c number of learning phase by resolution : 0 1800.19/925.21 c number of learning phase by cutting planes : 0 1800.19/925.21 c speed (assignments/second) : 2243.814014174944 1800.19/925.21 c non guided choices 0 1800.19/925.21 c learnt constraints type 1800.19/925.21 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 37 1800.19/925.21 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 54 1800.19/925.21 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1337 1800.19/925.21 c constraints type 1800.19/925.21 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6595 1800.19/925.21 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.19/925.21 c org.sat4j.minisat.constraints.cnf.UnitClause => 1194 1800.19/925.21 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 33897 1800.19/925.21 c 41687 constraints processed. 1800.19/925.21 c constraints type 1800.19/925.21 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 33897 1800.19/925.21 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6595 1800.19/925.21 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.19/925.21 c org.sat4j.pb.constraints.pb.UnitClausePB => 1194 1800.19/925.21 c 41687 constraints processed. 1800.19/925.21 s SATISFIABLE 1800.19/925.22 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 x316 -x317 -x318 x319 -x320 x321 x322 x323 x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 x1518 x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 x1868 x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 x2735 x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 x3599 x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 x4693 x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 x4719 x4720 -x4721 -x4722 -x4723 x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 x5699 x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 x7133 x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 x7607 x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 x7763 x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 x7983 x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 x8570 x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 x8840 x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 x10250 x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 x10282 x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 -x11137 -x11138 -x11139 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 -x11150 -x11151 -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 -x11161 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11204 -x11205 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11249 -x11250 -x11251 -x11252 -x11253 -x11254 -x11255 -x11256 -x11257 -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11265 -x11266 -x11267 -x11268 -x11269 -x11270 -x11271 -x11272 -x11273 -x11274 x11275 x11276 -x11277 -x11278 -x11279 -x11280 -x11281 -x11282 -x11283 -x11284 x11285 x11286 -x11287 -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11295 -x11296 -x11297 -x11298 -x11299 -x11300 -x11301 -x11302 -x11303 -x11304 -x11305 -x11306 -x11307 -x11308 -x11309 -x11310 -x11311 -x11312 -x11313 -x11314 -x11315 -x11316 -x11317 -x11318 -x11319 -x11320 -x11321 -x11322 -x11323 -x11324 -x11325 -x11326 -x11327 -x11328 -x11329 -x11330 -x11331 -x11332 -x11333 -x11334 -x11335 -x11336 -x11337 -x11338 -x11339 -x11340 -x11341 -x11342 -x11343 -x11344 -x11345 -x11346 -x11347 -x11348 -x11349 -x11350 -x11351 -x11352 -x11353 -x11354 -x11355 -x11356 -x11357 -x11358 -x11359 -x11360 -x11361 -x11362 -x11363 -x11364 -x11365 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11373 -x11374 -x11375 -x11376 -x11377 -x11378 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 -x11386 -x11387 -x11388 -x11389 -x11390 -x11391 -x11392 -x11393 -x11394 -x11395 -x11396 -x11397 -x11398 -x11399 -x11400 -x11401 -x11402 -x11403 -x11404 -x11405 -x11406 -x11407 -x11408 -x11409 -x11410 -x11411 -x11412 -x11413 -x11414 -x11415 -x11416 -x11417 -x11418 -x11419 -x11420 -x11421 -x11422 -x11423 -x11424 -x11425 -x11426 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11434 -x11435 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11442 -x11443 -x11444 -x11445 -x11446 -x11447 -x11448 -x11449 -x11450 -x11451 -x11452 -x11453 -x11454 -x11455 -x11456 -x11457 -x11458 -x11459 -x11460 -x11461 -x11462 -x11463 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11472 -x11473 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11483 -x11484 -x11485 -x11486 -x11487 -x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11501 -x11502 -x11503 -x11504 -x11505 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 -x11515 -x11516 -x11517 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11527 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11538 -x11539 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11549 -x11550 -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11560 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 -x11571 -x11572 -x11573 -x11574 -x11575 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 -x11583 -x11584 -x11585 -x11586 -x11587 -x11588 -x11589 -x11590 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11597 -x11598 -x11599 -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11608 -x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617 -x11618 -x11619 -x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 -x11630 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11637 -x11638 -x11639 -x11640 -x11641 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11652 -x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x11661 -x11662 -x11663 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673 -x11674 -x11675 -x11676 -x11677 -x11678 -x11679 -x11680 -x11681 -x11682 -x11683 -x11684 -x11685 -x11686 -x11687 -x11688 -x11689 -x11690 -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11700 -x11701 -x11702 -x11703 -x11704 -x11705 -x11706 -x11707 -x11708 -x11709 -x11710 -x11711 -x11712 -x11713 -x11714 x11715 x11716 -x11717 -x11718 -x11719 -x11720 -x11721 -x11722 -x11723 -x11724 -x11725 -x11726 -x11727 -x11728 -x11729 -x11730 -x11731 -x11732 -x11733 -x11734 -x11735 -x11736 -x11737 -x11738 -x11739 -x11740 -x11741 -x11742 -x11743 -x11744 -x11745 -x11746 -x11747 -x11748 -x11749 -x11750 -x11751 -x11752 -x11753 -x11754 -x11755 -x11756 -x11757 -x11758 -x11759 -x11760 -x11761 -x11762 -x11763 -x11764 -x11765 -x11766 -x11767 -x11768 -x11769 -x11770 -x11771 -x11772 -x11773 -x11774 -x11775 -x11776 -x11777 -x11778 -x11779 -x11780 -x11781 -x11782 -x11783 -x11784 -x11785 -x11786 -x11787 -x11788 -x11789 -x11790 -x11791 -x11792 -x11793 -x11794 -x11795 -x11796 -x11797 -x11798 -x11799 -x11800 -x11801 -x11802 -x11803 -x11804 -x11805 -x11806 -x11807 -x11808 -x11809 -x11810 -x11811 -x11812 -x11813 -x11814 -x11815 -x11816 -x11817 -x11818 -x11819 -x11820 -x11821 -x11822 -x11823 -x11824 -x11825 -x11826 -x11827 -x11828 -x11829 -x11830 -x11831 -x11832 -x11833 -x11834 -x11835 -x11836 -x11837 -x11838 -x11839 -x11840 -x11841 -x11842 -x11843 -x11844 -x11845 -x11846 -x11847 -x11848 -x11849 -x11850 -x11851 -x11852 -x11853 -x11854 -x11855 -x11856 -x11857 -x11858 -x11859 -x11860 -x11861 -x11862 -x11863 -x11864 -x11865 -x11866 -x11867 -x11868 -x11869 -x11870 -x11871 -x11872 x11873 x11874 -x11875 -x11876 -x11877 -x11878 -x11879 -x11880 x11881 x11882 -x11883 -x11884 -x11885 -x11886 -x11887 -x11888 -x11889 -x11890 -x11891 -x11892 -x11893 -x11894 -x11895 -x11896 -x11897 -x11898 -x11899 -x11900 -x11901 -x11902 -x11903 -x11904 -x11905 -x11906 -x11907 -x11908 -x11909 -x11910 -x11911 -x11912 -x11913 -x11914 -x11915 -x11916 -x11917 -x11918 -x11919 -x11920 -x11921 -x11922 -x11923 -x11924 -x11925 -x11926 -x11927 -x11928 -x11929 -x11930 -x11931 -x11932 -x11933 -x11934 -x11935 -x11936 -x11937 -x11938 -x11939 -x11940 -x11941 -x11942 -x11943 -x11944 -x11945 -x11946 -x11947 -x11948 -x11949 -x11950 -x11951 -x11952 -x11953 -x11954 -x11955 -x11956 -x11957 -x11958 -x11959 -x11960 -x11961 -x11962 -x11963 -x11964 -x11965 -x11966 -x11967 -x11968 -x11969 -x11970 -x11971 -x11972 -x11973 -x11974 -x11975 -x11976 -x11977 -x11978 -x11979 -x11980 -x11981 -x11982 -x11983 -x11984 -x11985 -x11986 -x11987 -x11988 -x11989 -x11990 -x11991 -x11992 -x11993 -x11994 -x11995 -x11996 -x11997 -x11998 -x11999 -x12000 -x12001 -x12002 -x12003 -x12004 -x12005 -x12006 -x12007 -x12008 -x12009 -x12010 -x12011 -x12012 -x12013 -x12014 -x12015 -x12016 -x12017 -x12018 -x12019 -x12020 -x12021 -x12022 -x12023 -x12024 -x12025 -x12026 -x12027 -x12028 -x12029 -x12030 -x12031 -x12032 -x12033 -x12034 -x12035 -x12036 -x12037 -x12038 -x12039 -x12040 -x12041 -x12042 -x12043 -x12044 -x12045 -x12046 -x12047 -x12048 -x12049 -x12050 -x12051 -x12052 -x12053 -x12054 -x12055 -x12056 -x12057 -x12058 -x12059 -x12060 -x12061 -x12062 -x12063 -x12064 -x12065 -x12066 -x12067 -x12068 -x12069 -x12070 -x12071 -x12072 -x12073 -x12074 -x12075 -x12076 -x12077 -x12078 -x12079 -x12080 -x12081 -x12082 -x12083 -x12084 -x12085 -x12086 -x12087 -x12088 -x12089 -x12090 -x12091 -x12092 -x12093 -x12094 -x12095 -x12096 -x12097 -x12098 -x12099 -x12100 -x12101 -x12102 -x12103 -x12104 -x12105 -x12106 -x12107 -x12108 -x12109 -x12110 -x12111 -x12112 -x12113 -x12114 -x12115 -x12116 -x12117 -x12118 -x12119 -x12120 -x12121 -x12122 -x12123 -x12124 -x12125 -x12126 -x12127 -x12128 -x12129 -x12130 -x12131 -x12132 -x12133 -x12134 -x12135 -x12136 -x12137 -x12138 -x12139 -x12140 -x12141 -x12142 -x12143 -x12144 -x12145 -x12146 -x12147 -x12148 -x12149 -x12150 -x12151 -x12152 -x12153 -x12154 -x12155 -x12156 -x12157 -x12158 -x12159 -x12160 -x12161 -x12162 -x12163 -x12164 -x12165 -x12166 -x12167 -x12168 -x12169 -x12170 -x12171 -x12172 -x12173 -x12174 -x12175 -x12176 -x12177 -x12178 -x12179 -x12180 -x12181 -x12182 -x12183 -x12184 -x12185 -x12186 -x12187 -x12188 -x12189 -x12190 -x12191 -x12192 -x12193 -x12194 -x12195 -x12196 -x12197 -x12198 -x12199 -x12200 -x12201 -x12202 -x12203 -x12204 -x12205 -x12206 -x12207 -x12208 -x12209 -x12210 -x12211 -x12212 -x12213 -x12214 -x12215 -x12216 -x12217 -x12218 -x12219 -x12220 -x12221 -x12222 -x12223 -x12224 -x12225 -x12226 -x12227 -x12228 -x12229 -x12230 -x12231 -x12232 -x12233 -x12234 -x12235 -x12236 -x12237 -x12238 -x12239 -x12240 -x12241 -x12242 -x12243 -x12244 x12245 x12246 -x12247 -x12248 -x12249 -x12250 -x12251 -x12252 -x12253 -x12254 -x12255 -x12256 -x12257 -x12258 -x12259 -x12260 -x12261 -x12262 -x12263 -x12264 -x12265 -x12266 -x12267 -x12268 -x12269 -x12270 -x12271 -x12272 -x12273 -x12274 -x12275 -x12276 -x12277 -x12278 -x12279 -x12280 -x12281 -x12282 -x12283 -x12284 -x12285 -x12286 -x12287 -x12288 -x12289 -x12290 -x12291 -x12292 -x12293 -x12294 -x12295 -x12296 -x12297 -x12298 -x12299 -x12300 -x12301 -x12302 -x12303 -x12304 -x12305 -x12306 -x12307 -x12308 -x12309 -x12310 -x12311 -x12312 -x12313 -x12314 -x12315 -x12316 -x12317 -x12318 -x12319 -x12320 -x12321 -x12322 -x12323 -x12324 -x12325 -x12326 -x12327 -x12328 -x12329 -x12330 -x12331 -x12332 -x12333 -x12334 -x12335 -x12336 -x12337 -x12338 x12339 x12340 -x12341 -x12342 -x12343 -x12344 -x12345 -x12346 -x12347 -x12348 -x12349 -x12350 -x12351 -x12352 -x12353 -x12354 -x12355 -x12356 -x12357 -x12358 -x12359 -x12360 -x12361 -x12362 -x12363 -x12364 -x12365 -x12366 -x12367 -x12368 -x12369 -x12370 x12371 x12372 -x12373 -x12374 -x12375 -x12376 -x12377 -x12378 -x12379 -x12380 -x12381 -x12382 -x12383 -x12384 -x12385 -x12386 -x12387 -x12388 -x12389 -x12390 -x12391 -x12392 -x12393 -x12394 -x12395 -x12396 -x12397 -x12398 -x12399 -x12400 -x12401 -x12402 -x12403 -x12404 -x12405 -x12406 -x12407 -x12408 -x12409 -x12410 -x12411 -x12412 -x12413 -x12414 -x12415 -x12416 -x12417 -x12418 -x12419 -x12420 -x12421 -x12422 -x12423 -x12424 -x12425 -x12426 -x12427 -x12428 -x12429 -x12430 -x12431 -x12432 -x12433 -x12434 -x12435 -x12436 -x12437 -x12438 -x12439 -x12440 -x12441 -x12442 -x12443 -x12444 -x12445 -x12446 -x12447 -x12448 -x12449 -x12450 -x12451 -x12452 -x12453 -x12454 -x12455 -x12456 -x12457 -x12458 -x12459 -x12460 -x12461 -x12462 -x12463 -x12464 -x12465 -x12466 -x12467 -x12468 -x12469 -x12470 -x12471 -x12472 -x12473 -x12474 -x12475 -x12476 -x12477 -x12478 -x12479 -x12480 -x12481 -x12482 -x12483 -x12484 -x12485 -x12486 -x12487 -x12488 -x12489 -x12490 -x12491 -x12492 -x12493 -x12494 -x12495 -x12496 -x12497 -x12498 -x12499 -x12500 -x12501 -x12502 -x12503 -x12504 -x12505 -x12506 -x12507 -x12508 -x12509 -x12510 -x12511 -x12512 -x12513 -x12514 -x12515 -x12516 -x12517 -x12518 -x12519 -x12520 -x12521 -x12522 -x12523 -x12524 -x12525 -x12526 -x12527 -x12528 -x12529 -x12530 -x12531 -x12532 -x12533 -x12534 -x12535 -x12536 -x12537 -x12538 -x12539 -x12540 -x12541 -x12542 -x12543 -x12544 -x12545 -x12546 -x12547 -x12548 -x12549 -x12550 -x12551 -x12552 -x12553 -x12554 -x12555 -x12556 -x12557 -x12558 -x12559 -x12560 -x12561 -x12562 -x12563 -x12564 -x12565 -x12566 -x12567 -x12568 x12569 x12570 -x12571 -x12572 -x12573 -x12574 -x12575 -x12576 -x12577 -x12578 -x12579 -x12580 -x12581 -x12582 -x12583 -x12584 -x12585 -x12586 -x12587 -x12588 -x12589 -x12590 -x12591 -x12592 -x12593 -x12594 -x12595 -x12596 -x12597 -x12598 -x12599 -x12600 -x12601 -x12602 -x12603 -x12604 -x12605 -x12606 -x12607 -x12608 -x12609 -x12610 -x12611 -x12612 -x12613 -x12614 -x12615 -x12616 -x12617 -x12618 -x12619 -x12620 -x12621 -x12622 -x12623 -x12624 -x12625 -x12626 x12627 x12628 -x12629 -x12630 -x12631 -x12632 -x12633 -x12634 -x12635 -x12636 -x12637 -x12638 -x12639 -x12640 -x12641 -x12642 -x12643 -x12644 -x12645 -x12646 -x12647 -x12648 -x12649 -x12650 -x12651 -x12652 -x12653 -x12654 -x12655 -x12656 -x12657 -x12658 -x12659 -x12660 -x12661 -x12662 -x12663 -x12664 -x12665 -x12666 -x12667 -x12668 -x12669 -x12670 -x12671 -x12672 -x12673 -x12674 -x12675 -x12676 x12677 x12678 -x12679 -x12680 -x12681 -x12682 -x12683 -x12684 -x12685 -x12686 -x12687 -x12688 -x12689 -x12690 -x12691 -x12692 -x12693 -x12694 -x12695 -x12696 -x12697 -x12698 -x12699 -x12700 -x12701 -x12702 -x12703 -x12704 -x12705 -x12706 -x12707 -x12708 -x12709 -x12710 -x12711 -x12712 -x12713 -x12714 -x12715 -x12716 -x12717 -x12718 -x12719 -x12720 -x12721 -x12722 -x12723 -x12724 -x12725 -x12726 -x12727 -x12728 -x12729 -x12730 -x12731 -x12732 -x12733 -x12734 -x12735 -x12736 -x12737 -x12738 -x12739 -x12740 -x12741 -x12742 -x12743 -x12744 -x12745 -x12746 -x12747 -x12748 -x12749 -x12750 -x12751 -x12752 -x12753 -x12754 -x12755 -x12756 -x12757 -x12758 -x12759 -x12760 -x12761 -x12762 -x12763 -x12764 -x12765 -x12766 x12767 x12768 -x12769 -x12770 -x12771 -x12772 -x12773 -x12774 -x12775 -x12776 -x12777 -x12778 x12779 x12780 -x12781 -x12782 -x12783 -x12784 -x12785 -x12786 -x12787 -x12788 -x12789 -x12790 -x12791 -x12792 -x12793 -x12794 -x12795 -x12796 -x12797 -x12798 -x12799 -x12800 -x12801 -x12802 -x12803 -x12804 -x12805 -x12806 -x12807 -x12808 -x12809 -x12810 -x12811 -x12812 -x12813 -x12814 -x12815 -x12816 x12817 x12818 -x12819 -x12820 x12821 x12822 -x12823 -x12824 -x12825 -x12826 -x12827 -x12828 -x12829 -x12830 -x12831 -x12832 -x12833 -x12834 -x12835 -x12836 -x12837 -x12838 -x12839 -x12840 -x12841 -x12842 x12843 x12844 -x12845 -x12846 -x12847 -x12848 x12849 x12850 x12851 x12852 1800.19/925.23 c objective function=35 1800.19/925.23 c Total wall clock time (in seconds): 925.118
OK 35
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688436-1337877652/watcher-3688436-1337877652 -o /tmp/evaluation-result-3688436-1337877652/solver-3688436-1337877652 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688436-1337877652.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.81 3.88 3.82 4/198 24504 /proc/meminfo: memFree=28692128/32873844 swapFree=7100/7100 [pid=24504] ppid=24502 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/24504/stat : 24504 (java) R 24502 24504 21308 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253893750 9515008 183 33554432000 1073741824 1073778376 140733225955904 140733225946936 247064247989 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/24504/statm: 2323 183 140 9 0 71 0 [startup+0.0134881 s] /proc/loadavg: 3.81 3.88 3.82 4/198 24504 /proc/meminfo: memFree=28692128/32873844 swapFree=7100/7100 [pid=24504] ppid=24502 vsize=96260 CPUtime=0 cores=1,3,5,7 /proc/24504/stat : 24504 (java) S 24502 24504 21308 0 -1 4202496 1276 0 0 0 0 0 0 0 20 0 2 0 253893750 98570240 977 33554432000 1073741824 1073778376 140734755412336 140734755403472 247067607101 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/24504/statm: 24065 977 743 9 0 16771 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 96260 [startup+0.100242 s] /proc/loadavg: 3.81 3.88 3.82 4/198 24504 /proc/meminfo: memFree=28692128/32873844 swapFree=7100/7100 [pid=24504] ppid=24502 vsize=9558412 CPUtime=0.09 cores=1,3,5,7 /proc/24504/stat : 24504 (java) S 24502 24504 21308 0 -1 4202496 4289 0 1 0 8 1 0 0 20 0 18 0 253893750 9787813888 5479 33554432000 1073741824 1073778376 140734755412336 140734755403472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/24504/statm: 2389603 5479 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.300245 s] /proc/loadavg: 3.81 3.88 3.82 4/198 24504 /proc/meminfo: memFree=28692128/32873844 swapFree=7100/7100 [pid=24504] ppid=24502 vsize=9558412 CPUtime=0.49 cores=1,3,5,7 /proc/24504/stat : 24504 (java) S 24502 24504 21308 0 -1 4202496 5646 0 1 0 48 1 0 0 20 0 18 0 253893750 9787813888 8838 33554432000 1073741824 1073778376 140734755412336 140734755403472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/24504/statm: 2389603 8838 2218 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558412 [startup+0.700257 s] /proc/loadavg: 3.81 3.88 3.82 4/198 24504 /proc/meminfo: memFree=28692128/32873844 swapFree=7100/7100 [pid=24504] ppid=24502 vsize=9558412 CPUtime=1.66 cores=1,3,5,7 /proc/24504/stat : 24504 (java) S 24502 24504 21308 0 -1 4202496 19409 0 1 0 160 6 0 0 20 0 18 0 253893750 9787813888 35191 33554432000 1073741824 1073778376 140734755412336 140734755403472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/24504/statm: 2389603 35191 2238 9 0 2380296 0 Current children cumulated CPU time (s) 1.66 Current children cumulated vsize (KiB) 9558412 [startup+1.50071 s] /proc/loadavg: 3.75 3.86 3.82 3/217 24526 /proc/meminfo: memFree=28530524/32873844 swapFree=7100/7100 [pid=24504] ppid=24502 vsize=9824668 CPUtime=3.29 cores=1,3,5,7 /proc/24504/stat : 24504 (java) S 24502 24504 21308 0 -1 4202496 22803 0 1 0 320 9 0 0 20 0 22 0 253893750 10060460032 45039 33554432000 1073741824 1073778376 140734755412336 140734755403472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/24504/statm: 2456167 45039 2255 9 0 2446860 0 [pid=24504/tid=24506] ppid=24502 vsize=9824668 CPUtime=0.8 cores=1,3,5,7 /proc/24504/task/24506/stat : 24506 (java) S 24502 24504 21308 0 -1 4202560 2502 0 1 0 77 3 0 0 20 0 22 0 253893751 10060460032 45039 33554432000 1073741824 1073778376 140734755412336 140551347885048 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24507] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24507/stat : 24507 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893752 10060460032 45039 33554432000 1073741824 1073778376 140734755412336 140551336946728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24508] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24508/stat : 24508 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893752 10060460032 45039 33554432000 1073741824 1073778376 140734755412336 140551335893928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24509] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24509/stat : 24509 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893752 10060460032 45039 33554432000 1073741824 1073778376 140734755412336 140551334841128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24504/tid=24510] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24510/stat : 24510 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893752 10060460032 45039 33554432000 1073741824 1073778376 140734755412336 140551333788328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24511] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24511/stat : 24511 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893752 10060460032 45039 33554432000 1073741824 1073778376 140734755412336 140551332735528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24512] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24512/stat : 24512 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893752 10060460032 45039 33554432000 1073741824 1073778376 140734755412336 140551331682728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24513] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24513/stat : 24513 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893752 10060460032 45039 33554432000 1073741824 1073778376 140734755412336 140551330629928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24514] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24514/stat : 24514 (java) S 24502 24504 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253893753 10060460032 45039 33554432000 1073741824 1073778376 140734755412336 140551329577128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24515] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24515/stat : 24515 (java) S 24502 24504 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253893754 10060460032 45039 33554432000 1073741824 1073778376 140734755412336 140551171992552 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24516] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24516/stat : 24516 (java) S 24502 24504 21308 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253893754 10060460032 45039 33554432000 1073741824 1073778376 140734755412336 140551170938616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24517] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24517/stat : 24517 (java) S 24502 24504 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253893754 10060460032 45039 33554432000 1073741824 1073778376 140734755412336 140551169885704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24518] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24518/stat : 24518 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893756 10060460032 45039 33554432000 1073741824 1073778376 140734755412336 140551168834192 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24519] ppid=24502 vsize=9824668 CPUtime=0.87 cores=1,3,5,7 /proc/24504/task/24519/stat : 24519 (java) S 24502 24504 21308 0 -1 4202560 10111 0 0 0 84 3 0 0 20 0 22 0 253893756 10060460032 45039 33554432000 1073741824 1073778376 140734755412336 140551167781304 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24520] ppid=24502 vsize=9824668 CPUtime=0.89 cores=1,3,5,7 /proc/24504/task/24520/stat : 24520 (java) S 24502 24504 21308 0 -1 4202560 8871 0 0 0 87 2 0 0 20 0 22 0 253893756 10060460032 45039 33554432000 1073741824 1073778376 140734755412336 140551166728504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24521] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24521/stat : 24521 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893756 10060460032 45039 33554432000 1073741824 1073778376 140734755412336 140551165675896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24522] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24522/stat : 24522 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893756 10060460032 45039 33554432000 1073741824 1073778376 140734755412336 140551164623304 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24526] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24526/stat : 24526 (java) S 24502 24504 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253893841 10060460032 45039 33554432000 1073741824 1073778376 140734755412336 140551160411432 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.29 Current children cumulated vsize (KiB) 9824668 [startup+3.1006 s] /proc/loadavg: 3.75 3.86 3.82 5/220 24529 /proc/meminfo: memFree=28515676/32873844 swapFree=7100/7100 [pid=24504] ppid=24502 vsize=9824668 CPUtime=6.73 cores=1,3,5,7 /proc/24504/stat : 24504 (java) S 24502 24504 21308 0 -1 4202496 22814 0 1 0 664 9 0 0 20 0 22 0 253893750 10060460032 47604 33554432000 1073741824 1073778376 140734755412336 140734755403472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/24504/statm: 2456167 47604 2259 9 0 2446860 0 [pid=24504/tid=24506] ppid=24502 vsize=9824668 CPUtime=0.8 cores=1,3,5,7 /proc/24504/task/24506/stat : 24506 (java) S 24502 24504 21308 0 -1 4202560 2502 0 1 0 77 3 0 0 20 0 22 0 253893751 10060460032 47604 33554432000 1073741824 1073778376 140734755412336 140551347885048 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24507] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24507/stat : 24507 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893752 10060460032 47604 33554432000 1073741824 1073778376 140734755412336 140551336946728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24508] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24508/stat : 24508 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893752 10060460032 47604 33554432000 1073741824 1073778376 140734755412336 140551335893928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24509] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24509/stat : 24509 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893752 10060460032 47604 33554432000 1073741824 1073778376 140734755412336 140551334841128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24504/tid=24510] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24510/stat : 24510 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893752 10060460032 47604 33554432000 1073741824 1073778376 140734755412336 140551333788328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24511] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24511/stat : 24511 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893752 10060460032 47604 33554432000 1073741824 1073778376 140734755412336 140551332735528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24512] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24512/stat : 24512 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893752 10060460032 47604 33554432000 1073741824 1073778376 140734755412336 140551331682728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24513] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24513/stat : 24513 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893752 10060460032 47604 33554432000 1073741824 1073778376 140734755412336 140551330629928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24514] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24514/stat : 24514 (java) S 24502 24504 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253893753 10060460032 47604 33554432000 1073741824 1073778376 140734755412336 140551329577128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24515] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24515/stat : 24515 (java) S 24502 24504 21308 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253893754 10060460032 47604 33554432000 1073741824 1073778376 140734755412336 140551171992552 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24516] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24516/stat : 24516 (java) S 24502 24504 21308 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253893754 10060460032 47604 33554432000 1073741824 1073778376 140734755412336 140551170938616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24517] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24517/stat : 24517 (java) S 24502 24504 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253893754 10060460032 47604 33554432000 1073741824 1073778376 140734755412336 140551169885704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24518] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24518/stat : 24518 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893756 10060460032 47604 33554432000 1073741824 1073778376 140734755412336 140551168834192 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24519] ppid=24502 vsize=9824668 CPUtime=1.04 cores=1,3,5,7 /proc/24504/task/24519/stat : 24519 (java) S 24502 24504 21308 0 -1 4202560 10115 0 0 0 101 3 0 0 20 0 22 0 253893756 10060460032 47604 33554432000 1073741824 1073778376 140734755412336 140551167781304 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24520] ppid=24502 vsize=9824668 CPUtime=1 cores=1,3,5,7 /proc/24504/task/24520/stat : 24520 (java) S 24502 24504 21308 0 -1 4202560 8871 0 0 0 98 2 0 0 20 0 22 0 253893756 10060460032 47604 33554432000 1073741824 1073778376 140734755412336 140551166728504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24521] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24521/stat : 24521 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893756 10060460032 47604 33554432000 1073741824 1073778376 140734755412336 140551165675896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24522] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24522/stat : 24522 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893756 10060460032 47604 33554432000 1073741824 1073778376 140734755412336 140551164623304 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24526] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24526/stat : 24526 (java) S 24502 24504 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253893841 10060460032 47604 33554432000 1073741824 1073778376 140734755412336 140551160411432 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24527] ppid=24502 vsize=9824668 CPUtime=1.73 cores=1,3,5,7 /proc/24504/task/24527/stat : 24527 (java) R 24502 24504 21308 0 -1 4202560 8 0 0 0 173 0 0 0 20 0 22 0 253893884 10060460032 47604 33554432000 1073741824 1073778376 140734755412336 140551163568744 140551211964020 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=24504/tid=24528] ppid=24502 vsize=9824668 CPUtime=1.75 cores=1,3,5,7 /proc/24504/task/24528/stat : 24528 (java) R 24502 24504 21308 0 -1 4202560 65 0 0 0 175 0 0 0 20 0 22 0 253893884 10060460032 47604 33554432000 1073741824 1073778376 140734755412336 140551162513728 140551212192085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24529] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24529/stat : 24529 (java) S 24502 24504 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253893884 10060460032 47604 33554432000 1073741824 1073778376 140734755412336 140551161463720 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.73 Current children cumulated vsize (KiB) 9824668 [startup+6.30067 s] /proc/loadavg: 3.77 3.86 3.82 5/220 24529 /proc/meminfo: memFree=28486508/32873844 swapFree=7100/7100 [pid=24504] ppid=24502 vsize=9824668 CPUtime=12.6 cores=1,3,5,7 /proc/24504/stat : 24504 (java) S 24502 24504 21308 0 -1 4202496 22883 0 1 0 1247 13 0 0 20 0 22 0 253893750 10060460032 51191 33554432000 1073741824 1073778376 140734755412336 140734755403472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/24504/statm: 2456167 51191 2275 9 0 2446860 0 [pid=24504/tid=24506] ppid=24502 vsize=9824668 CPUtime=0.81 cores=1,3,5,7 /proc/24504/task/24506/stat : 24506 (java) S 24502 24504 21308 0 -1 4202560 2502 0 1 0 78 3 0 0 20 0 22 0 253893751 10060460032 51191 33554432000 1073741824 1073778376 140734755412336 140551347885048 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24507] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24507/stat : 24507 (java) S 24502 24504 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253893752 10060460032 51191 33554432000 1073741824 1073778376 140734755412336 140551336946728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24508] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24508/stat : 24508 (java) S 24502 24504 21308 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253893752 10060460032 51191 33554432000 1073741824 1073778376 140734755412336 140551335893928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24504/tid=24509] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24509/stat : 24509 (java) S 24502 24504 21308 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253893752 10060460032 51191 33554432000 1073741824 1073778376 140734755412336 140551334841128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24504/tid=24510] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24510/stat : 24510 (java) S 24502 24504 21308 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253893752 10060460032 51191 33554432000 1073741824 1073778376 140734755412336 140551333788328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24504/tid=24511] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24511/stat : 24511 (java) S 24502 24504 21308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253893752 10060460032 51191 33554432000 1073741824 1073778376 140734755412336 140551332735528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24504/tid=24512] ppid=24502 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/24504/task/24512/stat : 24512 (java) S 24502 24504 21308 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 253893752 10060460032 51191 33554432000 1073741824 1073778376 140734755412336 140551331682728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24513] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24513/stat : 24513 (java) S 24502 24504 21308 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253893752 10060460032 51191 33554432000 1073741824 1073778376 140734755412336 140551330629928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24514] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24514/stat : 24514 (java) S 24502 24504 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253893753 10060460032 51191 33554432000 1073741824 1073778376 140734755412336 140551329577128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24515] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24515/stat : 24515 (java) S 24502 24504 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253893754 10060460032 51191 33554432000 1073741824 1073778376 140734755412336 140551171992552 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24516] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24516/stat : 24516 (java) S 24502 24504 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253893754 10060460032 51191 33554432000 1073741824 1073778376 140734755412336 140551170938616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24517] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24517/stat : 24517 (java) S 24502 24504 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253893754 10060460032 51191 33554432000 1073741824 1073778376 140734755412336 140551169885704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24518] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24518/stat : 24518 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893756 10060460032 51191 33554432000 1073741824 1073778376 140734755412336 140551168834192 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24519] ppid=24502 vsize=9824668 CPUtime=1.13 cores=1,3,5,7 /proc/24504/task/24519/stat : 24519 (java) S 24502 24504 21308 0 -1 4202560 10118 0 0 0 110 3 0 0 20 0 22 0 253893756 10060460032 51191 33554432000 1073741824 1073778376 140734755412336 140551167781304 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24520] ppid=24502 vsize=9824668 CPUtime=1.16 cores=1,3,5,7 /proc/24504/task/24520/stat : 24520 (java) S 24502 24504 21308 0 -1 4202560 8871 0 0 0 114 2 0 0 20 0 22 0 253893756 10060460032 51191 33554432000 1073741824 1073778376 140734755412336 140551166728504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24521] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24521/stat : 24521 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893756 10060460032 51191 33554432000 1073741824 1073778376 140734755412336 140551165675896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24522] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24522/stat : 24522 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893756 10060460032 51191 33554432000 1073741824 1073778376 140734755412336 140551164623304 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 ################ # More data... # ################ [pid=24504/tid=24539] ppid=24502 vsize=9824668 CPUtime=519.6 cores=1,3,5,7 /proc/24504/task/24539/stat : 24539 (java) R 24502 24504 21308 0 -1 4202560 12 0 0 0 51953 7 0 0 20 0 22 0 253914116 10060460032 306294 33554432000 1073741824 1073778376 140734755412336 140551163568496 140551212131574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24540] ppid=24502 vsize=9824668 CPUtime=519.57 cores=1,3,5,7 /proc/24504/task/24540/stat : 24540 (java) R 24502 24504 21308 0 -1 4202560 10 0 0 0 51950 7 0 0 20 0 22 0 253914116 10060460032 306294 33554432000 1073741824 1073778376 140734755412336 140551162513520 140551212151558 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24541] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24541/stat : 24541 (java) S 24502 24504 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253914117 10060460032 306294 33554432000 1073741824 1073778376 140734755412336 140551161463592 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1482.97 Current children cumulated vsize (KiB) 9824668 [startup+822.301 s] /proc/loadavg: 3.66 3.74 3.78 4/219 24561 /proc/meminfo: memFree=26206044/32873844 swapFree=7100/7100 [pid=24504] ppid=24502 vsize=9824668 CPUtime=1600.01 cores=1,3,5,7 /proc/24504/stat : 24504 (java) S 24502 24504 21308 0 -1 4202496 28009 0 1 0 159911 90 0 0 20 0 22 0 253893750 10060460032 325911 33554432000 1073741824 1073778376 140734755412336 140734755403472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/24504/statm: 2456167 325911 2288 9 0 2446860 0 [pid=24504/tid=24506] ppid=24502 vsize=9824668 CPUtime=0.86 cores=1,3,5,7 /proc/24504/task/24506/stat : 24506 (java) S 24502 24504 21308 0 -1 4202560 2540 0 1 0 82 4 0 0 20 0 22 0 253893751 10060460032 325911 33554432000 1073741824 1073778376 140734755412336 140551347885048 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24507] ppid=24502 vsize=9824668 CPUtime=1.08 cores=1,3,5,7 /proc/24504/task/24507/stat : 24507 (java) S 24502 24504 21308 0 -1 4202560 269 0 0 0 101 7 0 0 20 0 22 0 253893752 10060460032 325911 33554432000 1073741824 1073778376 140734755412336 140551336946728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24504/tid=24508] ppid=24502 vsize=9824668 CPUtime=1.16 cores=1,3,5,7 /proc/24504/task/24508/stat : 24508 (java) S 24502 24504 21308 0 -1 4202560 386 0 0 0 111 5 0 0 20 0 22 0 253893752 10060460032 325911 33554432000 1073741824 1073778376 140734755412336 140551335893928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24509] ppid=24502 vsize=9824668 CPUtime=1.02 cores=1,3,5,7 /proc/24504/task/24509/stat : 24509 (java) S 24502 24504 21308 0 -1 4202560 666 0 0 0 96 6 0 0 20 0 22 0 253893752 10060460032 325911 33554432000 1073741824 1073778376 140734755412336 140551334841128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24510] ppid=24502 vsize=9824668 CPUtime=0.98 cores=1,3,5,7 /proc/24504/task/24510/stat : 24510 (java) S 24502 24504 21308 0 -1 4202560 351 0 0 0 93 5 0 0 20 0 22 0 253893752 10060460032 325911 33554432000 1073741824 1073778376 140734755412336 140551333788328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24511] ppid=24502 vsize=9824668 CPUtime=0.83 cores=1,3,5,7 /proc/24504/task/24511/stat : 24511 (java) S 24502 24504 21308 0 -1 4202560 106 0 0 0 78 5 0 0 20 0 22 0 253893752 10060460032 325911 33554432000 1073741824 1073778376 140734755412336 140551332735528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24512] ppid=24502 vsize=9824668 CPUtime=1.11 cores=1,3,5,7 /proc/24504/task/24512/stat : 24512 (java) S 24502 24504 21308 0 -1 4202560 457 0 0 0 104 7 0 0 20 0 22 0 253893752 10060460032 325911 33554432000 1073741824 1073778376 140734755412336 140551331682728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24513] ppid=24502 vsize=9824668 CPUtime=0.94 cores=1,3,5,7 /proc/24504/task/24513/stat : 24513 (java) S 24502 24504 21308 0 -1 4202560 254 0 0 0 89 5 0 0 20 0 22 0 253893752 10060460032 325911 33554432000 1073741824 1073778376 140734755412336 140551330629928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24514] ppid=24502 vsize=9824668 CPUtime=1.03 cores=1,3,5,7 /proc/24504/task/24514/stat : 24514 (java) S 24502 24504 21308 0 -1 4202560 387 0 0 0 97 6 0 0 20 0 22 0 253893753 10060460032 325911 33554432000 1073741824 1073778376 140734755412336 140551329577128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24504/tid=24515] ppid=24502 vsize=9824668 CPUtime=48.45 cores=1,3,5,7 /proc/24504/task/24515/stat : 24515 (java) S 24502 24504 21308 0 -1 4202560 1996 0 0 0 4829 16 0 0 20 0 22 0 253893754 10060460032 325911 33554432000 1073741824 1073778376 140734755412336 140551171992552 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24516] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24516/stat : 24516 (java) S 24502 24504 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253893754 10060460032 325911 33554432000 1073741824 1073778376 140734755412336 140551170938616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24517] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24517/stat : 24517 (java) S 24502 24504 21308 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253893754 10060460032 325911 33554432000 1073741824 1073778376 140734755412336 140551169885704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24518] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24518/stat : 24518 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893756 10060460032 325911 33554432000 1073741824 1073778376 140734755412336 140551168834192 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24519] ppid=24502 vsize=9824668 CPUtime=1.57 cores=1,3,5,7 /proc/24504/task/24519/stat : 24519 (java) S 24502 24504 21308 0 -1 4202560 10136 0 0 0 154 3 0 0 20 0 22 0 253893756 10060460032 325911 33554432000 1073741824 1073778376 140734755412336 140551167781304 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24520] ppid=24502 vsize=9824668 CPUtime=1.52 cores=1,3,5,7 /proc/24504/task/24520/stat : 24520 (java) S 24502 24504 21308 0 -1 4202560 8945 0 0 0 150 2 0 0 20 0 22 0 253893756 10060460032 325911 33554432000 1073741824 1073778376 140734755412336 140551166728504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24521] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24521/stat : 24521 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893756 10060460032 325911 33554432000 1073741824 1073778376 140734755412336 140551165675896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24522] ppid=24502 vsize=9824668 CPUtime=0.15 cores=1,3,5,7 /proc/24504/task/24522/stat : 24522 (java) S 24502 24504 21308 0 -1 4202560 47 0 0 0 8 7 0 0 20 0 22 0 253893756 10060460032 325911 33554432000 1073741824 1073778376 140734755412336 140551164623304 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24526] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24526/stat : 24526 (java) S 24502 24504 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253893841 10060460032 325911 33554432000 1073741824 1073778376 140734755412336 140551160411432 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24539] ppid=24502 vsize=9824668 CPUtime=576.17 cores=1,3,5,7 /proc/24504/task/24539/stat : 24539 (java) R 24502 24504 21308 0 -1 4202560 16 0 0 0 57609 8 0 0 20 0 22 0 253914116 10060460032 325911 33554432000 1073741824 1073778376 140734755412336 140551163568496 140551212131439 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24540] ppid=24502 vsize=9824668 CPUtime=576.13 cores=1,3,5,7 /proc/24504/task/24540/stat : 24540 (java) R 24502 24504 21308 0 -1 4202560 10 0 0 0 57605 8 0 0 20 0 22 0 253914116 10060460032 325911 33554432000 1073741824 1073778376 140734755412336 140551162513520 140551211857804 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24541] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24541/stat : 24541 (java) S 24502 24504 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253914117 10060460032 325911 33554432000 1073741824 1073778376 140734755412336 140551161463592 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1600.01 Current children cumulated vsize (KiB) 9824668 [startup+882.301 s] /proc/loadavg: 3.67 3.72 3.77 5/219 24561 /proc/meminfo: memFree=26137152/32873844 swapFree=7100/7100 [pid=24504] ppid=24502 vsize=9824668 CPUtime=1715.94 cores=1,3,5,7 /proc/24504/stat : 24504 (java) S 24502 24504 21308 0 -1 4202496 28100 0 1 0 171503 91 0 0 20 0 22 0 253893750 10060460032 327520 33554432000 1073741824 1073778376 140734755412336 140734755403472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/24504/statm: 2456167 327520 2288 9 0 2446860 0 [pid=24504/tid=24506] ppid=24502 vsize=9824668 CPUtime=0.86 cores=1,3,5,7 /proc/24504/task/24506/stat : 24506 (java) S 24502 24504 21308 0 -1 4202560 2542 0 1 0 82 4 0 0 20 0 22 0 253893751 10060460032 327520 33554432000 1073741824 1073778376 140734755412336 140551347885048 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24507] ppid=24502 vsize=9824668 CPUtime=1.18 cores=1,3,5,7 /proc/24504/task/24507/stat : 24507 (java) S 24502 24504 21308 0 -1 4202560 269 0 0 0 111 7 0 0 20 0 22 0 253893752 10060460032 327520 33554432000 1073741824 1073778376 140734755412336 140551336946728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24508] ppid=24502 vsize=9824668 CPUtime=1.22 cores=1,3,5,7 /proc/24504/task/24508/stat : 24508 (java) S 24502 24504 21308 0 -1 4202560 406 0 0 0 117 5 0 0 20 0 22 0 253893752 10060460032 327520 33554432000 1073741824 1073778376 140734755412336 140551335893928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24504/tid=24509] ppid=24502 vsize=9824668 CPUtime=1.08 cores=1,3,5,7 /proc/24504/task/24509/stat : 24509 (java) S 24502 24504 21308 0 -1 4202560 678 0 0 0 102 6 0 0 20 0 22 0 253893752 10060460032 327520 33554432000 1073741824 1073778376 140734755412336 140551334841128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24504/tid=24510] ppid=24502 vsize=9824668 CPUtime=1.02 cores=1,3,5,7 /proc/24504/task/24510/stat : 24510 (java) S 24502 24504 21308 0 -1 4202560 354 0 0 0 97 5 0 0 20 0 22 0 253893752 10060460032 327520 33554432000 1073741824 1073778376 140734755412336 140551333788328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24511] ppid=24502 vsize=9824668 CPUtime=0.9 cores=1,3,5,7 /proc/24504/task/24511/stat : 24511 (java) S 24502 24504 21308 0 -1 4202560 143 0 0 0 85 5 0 0 20 0 22 0 253893752 10060460032 327520 33554432000 1073741824 1073778376 140734755412336 140551332735528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24512] ppid=24502 vsize=9824668 CPUtime=1.15 cores=1,3,5,7 /proc/24504/task/24512/stat : 24512 (java) S 24502 24504 21308 0 -1 4202560 457 0 0 0 108 7 0 0 20 0 22 0 253893752 10060460032 327520 33554432000 1073741824 1073778376 140734755412336 140551331682728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24513] ppid=24502 vsize=9824668 CPUtime=0.98 cores=1,3,5,7 /proc/24504/task/24513/stat : 24513 (java) S 24502 24504 21308 0 -1 4202560 254 0 0 0 93 5 0 0 20 0 22 0 253893752 10060460032 327520 33554432000 1073741824 1073778376 140734755412336 140551330629928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24514] ppid=24502 vsize=9824668 CPUtime=1.08 cores=1,3,5,7 /proc/24504/task/24514/stat : 24514 (java) S 24502 24504 21308 0 -1 4202560 387 0 0 0 102 6 0 0 20 0 22 0 253893753 10060460032 327520 33554432000 1073741824 1073778376 140734755412336 140551329577128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24515] ppid=24502 vsize=9824668 CPUtime=52.72 cores=1,3,5,7 /proc/24504/task/24515/stat : 24515 (java) S 24502 24504 21308 0 -1 4202560 2004 0 0 0 5256 16 0 0 20 0 22 0 253893754 10060460032 327520 33554432000 1073741824 1073778376 140734755412336 140551171992552 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24516] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24516/stat : 24516 (java) S 24502 24504 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253893754 10060460032 327520 33554432000 1073741824 1073778376 140734755412336 140551170938616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24517] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24517/stat : 24517 (java) S 24502 24504 21308 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253893754 10060460032 327520 33554432000 1073741824 1073778376 140734755412336 140551169885704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24518] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24518/stat : 24518 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893756 10060460032 327520 33554432000 1073741824 1073778376 140734755412336 140551168834192 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24519] ppid=24502 vsize=9824668 CPUtime=1.58 cores=1,3,5,7 /proc/24504/task/24519/stat : 24519 (java) S 24502 24504 21308 0 -1 4202560 10137 0 0 0 155 3 0 0 20 0 22 0 253893756 10060460032 327520 33554432000 1073741824 1073778376 140734755412336 140551167781304 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24520] ppid=24502 vsize=9824668 CPUtime=1.52 cores=1,3,5,7 /proc/24504/task/24520/stat : 24520 (java) S 24502 24504 21308 0 -1 4202560 8945 0 0 0 150 2 0 0 20 0 22 0 253893756 10060460032 327520 33554432000 1073741824 1073778376 140734755412336 140551166728504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24521] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24521/stat : 24521 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893756 10060460032 327520 33554432000 1073741824 1073778376 140734755412336 140551165675896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24522] ppid=24502 vsize=9824668 CPUtime=0.16 cores=1,3,5,7 /proc/24504/task/24522/stat : 24522 (java) S 24502 24504 21308 0 -1 4202560 51 0 0 0 8 8 0 0 20 0 22 0 253893756 10060460032 327520 33554432000 1073741824 1073778376 140734755412336 140551164623304 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24526] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24526/stat : 24526 (java) S 24502 24504 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253893841 10060460032 327520 33554432000 1073741824 1073778376 140734755412336 140551160411432 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24539] ppid=24502 vsize=9824668 CPUtime=631.78 cores=1,3,5,7 /proc/24504/task/24539/stat : 24539 (java) R 24502 24504 21308 0 -1 4202560 18 0 0 0 63169 9 0 0 20 0 22 0 253914116 10060460032 327520 33554432000 1073741824 1073778376 140734755412336 140551163568496 140551211457702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24540] ppid=24502 vsize=9824668 CPUtime=631.72 cores=1,3,5,7 /proc/24504/task/24540/stat : 24540 (java) R 24502 24504 21308 0 -1 4202560 12 0 0 0 63163 9 0 0 20 0 22 0 253914116 10060460032 327520 33554432000 1073741824 1073778376 140734755412336 140551162513520 140551211858748 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24541] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24541/stat : 24541 (java) S 24502 24504 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253914117 10060460032 327520 33554432000 1073741824 1073778376 140734755412336 140551161463592 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1715.94 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+925.201 s] /proc/loadavg: 3.83 3.75 3.78 5/219 24627 /proc/meminfo: memFree=26792532/32873844 swapFree=7100/7100 [pid=24504] ppid=24502 vsize=9824668 CPUtime=1800.19 cores=1,3,5,7 /proc/24504/stat : 24504 (java) S 24502 24504 21308 0 -1 4202496 28119 0 1 0 179927 92 0 0 20 0 22 0 253893750 10060460032 329064 33554432000 1073741824 1073778376 140734755412336 140734755403472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/24504/statm: 2456167 329064 2288 9 0 2446860 0 [pid=24504/tid=24506] ppid=24502 vsize=9824668 CPUtime=0.86 cores=1,3,5,7 /proc/24504/task/24506/stat : 24506 (java) S 24502 24504 21308 0 -1 4202560 2543 0 1 0 82 4 0 0 20 0 22 0 253893751 10060460032 329064 33554432000 1073741824 1073778376 140734755412336 140551347885048 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24507] ppid=24502 vsize=9824668 CPUtime=1.22 cores=1,3,5,7 /proc/24504/task/24507/stat : 24507 (java) S 24502 24504 21308 0 -1 4202560 274 0 0 0 115 7 0 0 20 0 22 0 253893752 10060460032 329064 33554432000 1073741824 1073778376 140734755412336 140551336946728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24508] ppid=24502 vsize=9824668 CPUtime=1.26 cores=1,3,5,7 /proc/24504/task/24508/stat : 24508 (java) S 24502 24504 21308 0 -1 4202560 406 0 0 0 121 5 0 0 20 0 22 0 253893752 10060460032 329064 33554432000 1073741824 1073778376 140734755412336 140551335893928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24509] ppid=24502 vsize=9824668 CPUtime=1.12 cores=1,3,5,7 /proc/24504/task/24509/stat : 24509 (java) S 24502 24504 21308 0 -1 4202560 681 0 0 0 106 6 0 0 20 0 22 0 253893752 10060460032 329064 33554432000 1073741824 1073778376 140734755412336 140551334841128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24510] ppid=24502 vsize=9824668 CPUtime=1.06 cores=1,3,5,7 /proc/24504/task/24510/stat : 24510 (java) S 24502 24504 21308 0 -1 4202560 355 0 0 0 101 5 0 0 20 0 22 0 253893752 10060460032 329064 33554432000 1073741824 1073778376 140734755412336 140551333788328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24511] ppid=24502 vsize=9824668 CPUtime=0.91 cores=1,3,5,7 /proc/24504/task/24511/stat : 24511 (java) S 24502 24504 21308 0 -1 4202560 143 0 0 0 86 5 0 0 20 0 22 0 253893752 10060460032 329064 33554432000 1073741824 1073778376 140734755412336 140551332735528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24504/tid=24512] ppid=24502 vsize=9824668 CPUtime=1.16 cores=1,3,5,7 /proc/24504/task/24512/stat : 24512 (java) S 24502 24504 21308 0 -1 4202560 457 0 0 0 109 7 0 0 20 0 22 0 253893752 10060460032 329064 33554432000 1073741824 1073778376 140734755412336 140551331682728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24504/tid=24513] ppid=24502 vsize=9824668 CPUtime=1.02 cores=1,3,5,7 /proc/24504/task/24513/stat : 24513 (java) S 24502 24504 21308 0 -1 4202560 254 0 0 0 97 5 0 0 20 0 22 0 253893752 10060460032 329064 33554432000 1073741824 1073778376 140734755412336 140551330629928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24514] ppid=24502 vsize=9824668 CPUtime=1.1 cores=1,3,5,7 /proc/24504/task/24514/stat : 24514 (java) S 24502 24504 21308 0 -1 4202560 388 0 0 0 104 6 0 0 20 0 22 0 253893753 10060460032 329064 33554432000 1073741824 1073778376 140734755412336 140551329577128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24515] ppid=24502 vsize=9824668 CPUtime=54.39 cores=1,3,5,7 /proc/24504/task/24515/stat : 24515 (java) S 24502 24504 21308 0 -1 4202560 2009 0 0 0 5422 17 0 0 20 0 22 0 253893754 10060460032 329064 33554432000 1073741824 1073778376 140734755412336 140551171992552 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24516] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24516/stat : 24516 (java) S 24502 24504 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253893754 10060460032 329064 33554432000 1073741824 1073778376 140734755412336 140551170938616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24517] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24517/stat : 24517 (java) S 24502 24504 21308 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253893754 10060460032 329064 33554432000 1073741824 1073778376 140734755412336 140551169885704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24518] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24518/stat : 24518 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893756 10060460032 329064 33554432000 1073741824 1073778376 140734755412336 140551168834192 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24519] ppid=24502 vsize=9824668 CPUtime=1.58 cores=1,3,5,7 /proc/24504/task/24519/stat : 24519 (java) S 24502 24504 21308 0 -1 4202560 10137 0 0 0 155 3 0 0 20 0 22 0 253893756 10060460032 329064 33554432000 1073741824 1073778376 140734755412336 140551167781304 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24520] ppid=24502 vsize=9824668 CPUtime=1.52 cores=1,3,5,7 /proc/24504/task/24520/stat : 24520 (java) S 24502 24504 21308 0 -1 4202560 8945 0 0 0 150 2 0 0 20 0 22 0 253893756 10060460032 329064 33554432000 1073741824 1073778376 140734755412336 140551166728504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24521] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24521/stat : 24521 (java) S 24502 24504 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253893756 10060460032 329064 33554432000 1073741824 1073778376 140734755412336 140551165675896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24522] ppid=24502 vsize=9824668 CPUtime=0.17 cores=1,3,5,7 /proc/24504/task/24522/stat : 24522 (java) S 24502 24504 21308 0 -1 4202560 53 0 0 0 9 8 0 0 20 0 22 0 253893756 10060460032 329064 33554432000 1073741824 1073778376 140734755412336 140551164623304 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24526] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24526/stat : 24526 (java) S 24502 24504 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253893841 10060460032 329064 33554432000 1073741824 1073778376 140734755412336 140551160411432 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24504/tid=24539] ppid=24502 vsize=9824668 CPUtime=672.94 cores=1,3,5,7 /proc/24504/task/24539/stat : 24539 (java) R 24502 24504 21308 0 -1 4202560 18 0 0 0 67284 10 0 0 20 0 22 0 253914116 10060460032 329064 33554432000 1073741824 1073778376 140734755412336 140551163568496 140551211457653 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=24504/tid=24540] ppid=24502 vsize=9824668 CPUtime=672.89 cores=1,3,5,7 /proc/24504/task/24540/stat : 24540 (java) R 24502 24504 21308 0 -1 4202560 13 0 0 0 67279 10 0 0 20 0 22 0 253914116 10060460032 329064 33554432000 1073741824 1073778376 140734755412336 140551162513760 140551211857946 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24504/tid=24541] ppid=24502 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/24504/task/24541/stat : 24541 (java) S 24502 24504 21308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253914117 10060460032 329064 33554432000 1073741824 1073778376 140734755412336 140551161463592 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 9824668 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): 925.249 CPU time (s): 1800.63 CPU user time (s): 1799.32 CPU system time (s): 1.3128 CPU usage (%): 194.611 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.32 system time used= 1.3128 maximum resident set size= 1316372 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28151 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1016 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23873 involuntary context switches= 28991 runsolver used 3.63245 second user time and 8.27274 second system time The end
Begin job on node103 at 2012-05-24 18:40:52 IDJOB=3688436 IDBENCH=25001 IDSOLVER=2268 FILE ID=node103/3688436-1337877652 RUNJOBID= node103-1337871881-21325 PBS_JOBID= 14620101 Free space on /tmp= 71712 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_026_area_delay.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688436-1337877652/watcher-3688436-1337877652 -o /tmp/evaluation-result-3688436-1337877652/solver-3688436-1337877652 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688436-1337877652.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4c21c441bf9f3f3be8f0cdb52c39f9b4 RANDOM SEED=386900185 node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.37 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5411.36 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28692664 kB Buffers: 205248 kB Cached: 2657412 kB SwapCached: 0 kB Active: 1207388 kB Inactive: 2187984 kB Active(anon): 535232 kB Inactive(anon): 0 kB Active(file): 672156 kB Inactive(file): 2187984 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1364 kB Writeback: 0 kB AnonPages: 558588 kB Mapped: 22664 kB Shmem: 200 kB Slab: 626316 kB SReclaimable: 68696 kB SUnreclaim: 557620 kB KernelStack: 1632 kB PageTables: 5400 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 858628 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 483328 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71712 MiB End job on node103 at 2012-05-24 18:56:19