Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2025-06-06 | SAT (TO) | -16798 | 3600.62 | 3276.76 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/profit_ceiling/ normalized-knapPI_15_2000_1000_5_-50838.opb |
| MD5SUM | b64c15565e2e2abc4a6ec3aecc6a0814 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -17191 |
| Best CPU time to get the best result obtained on this benchmark | 0.173537 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 10000 |
| Total number of constraints | 1 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 10000 |
| Maximum length of a constraint | 10000 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 334 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 1678816 |
| Number of bits of the sum of numbers in the objective function | 21 |
| Biggest number in a constraint | 50251 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 5076550 |
| Number of bits of the biggest sum of numbers | 23 |
| 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.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version PB25.v20250606 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.08 c os.arch amd64 0.00/0.09 c Free memory 2104792832 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.12/0.13 c Pseudo Boolean Optimization by upper bound 0.12/0.13 c --- Begin Solver configuration --- 0.12/0.13 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.12/0.13 c Learn all clauses as in MiniSAT 0.12/0.13 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.13 c Expensive reason simplification 0.12/0.13 c Glucose 2.1 dynamic restart strategy 0.12/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.12/0.13 c timeout=2147483s 0.12/0.13 c DB Simplification allowed=false 0.12/0.13 c Listener: none 0.12/0.13 c --- End Solver configuration --- 0.12/0.13 c solving HOME/instance-4518142-1751542626.opb 0.12/0.13 c reading problem ... 0.12/0.13 c objective function found 0.32/0.23 c ... done. Wall clock time 0.101s. 0.32/0.23 c declared #vars 10000 0.32/0.23 c #constraints 1 0.32/0.23 c constraints type 0.32/0.23 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 0.32/0.23 c 1 constraints processed. 0.32/0.25 c objective function length is 10000 literals 0.32/0.29 c SATISFIABLE 0.32/0.29 c OPTIMIZING... 0.32/0.30 c Got one! Elapsed wall clock time (in seconds):0.169 0.32/0.30 o -16776 0.70/0.45 c Got one! Elapsed wall clock time (in seconds):0.328 0.70/0.45 o -16777 0.90/0.58 c Got one! Elapsed wall clock time (in seconds):0.453 0.90/0.58 o -16778 1.08/0.69 c Got one! Elapsed wall clock time (in seconds):0.561 1.08/0.69 o -16779 1.20/0.79 c Got one! Elapsed wall clock time (in seconds):0.666 1.20/0.79 o -16780 1.47/0.90 c Got one! Elapsed wall clock time (in seconds):0.772 1.47/0.90 o -16781 1.47/1.00 c Got one! Elapsed wall clock time (in seconds):0.87 1.47/1.00 o -16782 1.59/1.09 c Got one! Elapsed wall clock time (in seconds):0.962 1.59/1.09 o -16783 1.69/1.18 c Got one! Elapsed wall clock time (in seconds):1.051 1.69/1.18 o -16784 1.79/1.27 c Got one! Elapsed wall clock time (in seconds):1.139 1.79/1.27 o -16785 1.93/1.35 c Got one! Elapsed wall clock time (in seconds):1.228 1.93/1.35 o -16786 2.07/1.44 c Got one! Elapsed wall clock time (in seconds):1.318 2.07/1.44 o -16787 2.23/1.53 c Got one! Elapsed wall clock time (in seconds):1.406 2.23/1.53 o -16788 2.41/1.62 c Got one! Elapsed wall clock time (in seconds):1.495 2.41/1.62 o -16789 2.56/1.71 c Got one! Elapsed wall clock time (in seconds):1.583 2.56/1.71 o -16790 2.71/1.80 c Got one! Elapsed wall clock time (in seconds):1.67 2.71/1.80 o -16791 2.91/1.91 c Got one! Elapsed wall clock time (in seconds):1.788 2.91/1.91 o -16792 3.10/2.00 c Got one! Elapsed wall clock time (in seconds):1.878 3.10/2.00 o -16793 3.10/2.10 c Got one! Elapsed wall clock time (in seconds):1.972 3.10/2.10 o -16794 3.27/2.19 c Got one! Elapsed wall clock time (in seconds):2.062 3.27/2.19 o -16795 3.37/2.29 c Got one! Elapsed wall clock time (in seconds):2.163 3.37/2.29 o -16796 3.47/2.39 c Got one! Elapsed wall clock time (in seconds):2.263 3.47/2.39 o -16797 5.61/4.21 c Got one! Elapsed wall clock time (in seconds):4.088 5.61/4.21 o -16798 24.94/22.55 c cleaning 2800 clauses out of 5602 with flag 10029/5602 55.87/49.65 c cleaning 4400 clauses out of 8802 with flag 22050/11602 100.59/90.47 c cleaning 5701 clauses out of 11401 with flag 36053/18601 135.16/119.16 c cleaning 6850 clauses out of 13701 with flag 52059/26602 172.89/155.23 c cleaning 7928 clauses out of 15856 with flag 70079/35607 225.54/202.17 c cleaning 8966 clauses out of 17932 with flag 90110/45611 282.15/256.64 c cleaning 9978 clauses out of 19956 with flag 112110/56601 360.02/327.64 c cleaning 10989 clauses out of 21979 with flag 136132/68602 439.54/404.63 c cleaning 11992 clauses out of 23991 with flag 162178/81603 536.67/491.42 c cleaning 12998 clauses out of 25998 with flag 190224/95602 622.72/574.74 c cleaning 14004 clauses out of 28009 with flag 220286/110611 719.39/658.31 c cleaning 14989 clauses out of 29995 with flag 252305/126601 817.83/753.42 c cleaning 15998 clauses out of 32007 with flag 286338/143602 937.86/860.80 c cleaning 17006 clauses out of 34011 with flag 322395/161604 1080.53/1000.07 c cleaning 18000 clauses out of 36003 with flag 360435/180602 1209.97/1117.75 c cleaning 18992 clauses out of 38002 with flag 400479/200601 1378.17/1269.08 c cleaning 20007 clauses out of 40013 with flag 442552/221604 1527.49/1414.38 c cleaning 21007 clauses out of 42013 with flag 486621/243611 1702.53/1576.19 c cleaning 21993 clauses out of 43997 with flag 532669/266602 1896.24/1752.75 c cleaning 23005 clauses out of 46011 with flag 580770/290609 2084.61/1920.76 c cleaning 24001 clauses out of 48001 with flag 630834/315604 2286.66/2109.41 c cleaning 24998 clauses out of 50003 with flag 682913/341607 2493.14/2299.65 c cleaning 25990 clauses out of 51999 with flag 736997/368601 2713.10/2501.94 c cleaning 26995 clauses out of 54009 with flag 793097/396601 2930.84/2700.37 c cleaning 28005 clauses out of 56017 with flag 851234/425604 3185.41/2919.67 c cleaning 29003 clauses out of 58012 with flag 911386/455604 3395.12/3111.16 c cleaning 29997 clauses out of 60012 with flag 973455/486607 3600.17/3276.56 c starts : 31 3600.17/3276.56 c conflicts : 511609 3600.17/3276.56 c decisions : 639794 3600.17/3276.56 c propagations : 5672065 3600.17/3276.56 c inspects : 498169476 3600.17/3276.56 c shortcuts : 0 3600.17/3276.56 c learnt literals : 0 3600.17/3276.56 c learnt binary clauses : 0 3600.17/3276.56 c learnt ternary clauses : 0 3600.17/3276.56 c learnt constraints : 511609 3600.17/3276.56 c ignored constraints : 0 3600.17/3276.56 c root simplifications : 0 3600.17/3276.56 c removed literals (reason simplification) : 23650211 3600.17/3276.56 c reason swapping (by a shorter reason) : 0 3600.17/3276.56 c Calls to reduceDB : 27 3600.17/3276.56 c Number of update (reduction) of LBD : 1494 3600.17/3276.56 c Imported unit clauses : 0 3600.17/3276.57 c No decision after first conflict : false 3600.17/3276.57 c number of reductions to clauses (during analyze) : 0 3600.17/3276.57 c number of learned constraints concerned by reduction : 0 3600.17/3276.57 c number of learning phase by resolution : 0 3600.17/3276.57 c number of learning phase by cutting planes : 0 3600.17/3276.57 c number of rounding to 1 operations : 0 3600.17/3276.57 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.17/3276.57 c number of reductions of the coefficients by power 2 : 0 3600.17/3276.57 c number of right shift for reduction by power 2 : 0 3600.17/3276.57 c number of reductions of the coefficients by GCD over coefficients : 0 3600.17/3276.57 c number of ending skipping : 0 3600.17/3276.57 c number of internal skipping : 0 3600.17/3276.57 c number of derivation steps : 0 3600.17/3276.57 c number of skipped derivation steps : 0 3600.17/3276.57 c number of remaining unassigned : 0 3600.17/3276.57 c number of remaining assigned : 0 3600.17/3276.57 c number of falsified literals weakened from reason : 0 3600.17/3276.57 c number of falsified literals weakened from conflict : 0 3600.17/3276.57 c time for arithmetic operations : 0 3600.17/3276.57 c minimum degree of deleted constraints : null 3600.17/3276.57 c maximum degree of deleted constraints : null 3600.17/3276.57 c number of deleted constraints : 0 3600.17/3276.57 c speed (assignments/second) : 1731.2346931549864 3600.17/3276.57 c non guided choices : 0 3600.37/3276.67 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 55017 3600.37/3276.67 s SATISFIABLE 3600.37/3276.67 c Found 23 solution(s) 3600.37/3276.67 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 3600.37/3276.68 c objective function=-16798 3600.37/3276.68 c Total wall clock time (in seconds): 3276.552
OK -16798
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (50681 MiB free)
memory of node 1: 64465 MiB (55576 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518142-1751542626/watcher-4518142-1751542626 -o /tmp/evaluation-result-4518142-1751542626/solver-4518142-1751542626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751542626-77713 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4518142-1751542626.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=77742, runsolver pid=77739
[startup+0.100059 s]*
/proc/loadavg: 0.16 0.31 1.92 2/267 77760
/proc/meminfo: memFree=108781428/131249988 swapFree=33010416/33010684
[pid=77742] ppid=77739 vsize=18930384 memory=57832 CPUtime=0.12 cores=4,6
/proc/77742/stat : 77742 (java) S 77739 77742 77585 0 -1 4194304 6584 0 0 0 10 2 0 0 20 0 18 0 69941191 19384713216 14458 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
/proc/77742/statm: 4732596 14458 5353 1 0 547639 0
[pid=77742/tid=77744] ppid=77739 vsize=18930384 memory=4026532029 CPUtime=0.07 cores=4,6
/proc/77742/task/77744/stat : 77744 (java) R 77739 77742 77585 0 -1 4194368 5091 0 0 0 6 1 0 0 20 0 18 0 69941192 19384713216 14458 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77753] ppid=77739 vsize=18930384 memory=232800911689 CPUtime=0 cores=4,6
/proc/77742/task/77753/stat : 77753 (Finalizer) S 77739 77742 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69941195 19384713216 14458 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77760] ppid=77739 vsize=18930384 memory=56282157697662 CPUtime=0 cores=4,6
/proc/77742/task/77760/stat : 77760 (Common-Cleaner) S 77739 77742 77585 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69941195 19384713216 14458 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57832 KiB
[startup+0.205432 s]*
/proc/loadavg: 0.16 0.31 1.92 3/267 77760
/proc/meminfo: memFree=108765108/131249988 swapFree=33010416/33010684
[pid=77742] ppid=77739 vsize=18930384 memory=72836 CPUtime=0.32 cores=4,6
/proc/77742/stat : 77742 (java) S 77739 77742 77585 0 -1 4194304 7317 0 0 0 29 3 0 0 20 0 18 0 69941191 19384713216 18209 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
/proc/77742/statm: 4732596 18209 5417 1 0 548138 0
[pid=77742/tid=77744] ppid=77739 vsize=18930384 memory=32758254098972917 CPUtime=0.17 cores=4,6
/proc/77742/task/77744/stat : 77744 (java) R 77739 77742 77585 0 -1 4194368 5240 0 0 0 16 1 0 0 20 0 18 0 69941192 19384713216 18209 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77753] ppid=77739 vsize=18930384 memory=15129 CPUtime=0 cores=4,6
/proc/77742/task/77753/stat : 77753 (Finalizer) S 77739 77742 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69941195 19384713216 18209 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77760] ppid=77739 vsize=18930384 memory=61788288975733 CPUtime=0 cores=4,6
/proc/77742/task/77760/stat : 77760 (Common-Cleaner) S 77739 77742 77585 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69941195 19384713216 18209 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 72836 KiB
[startup+0.305389 s]*
/proc/loadavg: 0.16 0.31 1.92 3/268 77761
/proc/meminfo: memFree=108758240/131249988 swapFree=33010416/33010684
[pid=77742] ppid=77739 vsize=18996948 memory=83288 CPUtime=0.5 cores=4,6
/proc/77742/stat : 77742 (java) S 77739 77742 77585 0 -1 4194304 8822 0 0 0 47 3 0 0 20 0 19 0 69941191 19452874752 20822 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
/proc/77742/statm: 4749237 20822 5449 1 0 549363 0
[pid=77742/tid=77744] ppid=77739 vsize=18996948 memory=-6000919468444968296 CPUtime=0.25 cores=4,6
/proc/77742/task/77744/stat : 77744 (java) R 77739 77742 77585 0 -1 4194368 5372 0 0 0 23 2 0 0 20 0 19 0 69941192 19452874752 20822 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77753] ppid=77739 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/77742/task/77753/stat : 77753 (Finalizer) S 77739 77742 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 69941195 19452874752 20822 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77760] ppid=77739 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/77742/task/77760/stat : 77760 (Common-Cleaner) S 77739 77742 77585 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 69941195 19452874752 20822 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77761] ppid=77739 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/77742/task/77761/stat : 77761 (Timer-0) S 77739 77742 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 69941218 19452874752 20822 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83288 KiB
[startup+0.700192 s]
/proc/loadavg: 0.16 0.31 1.92 2/268 77761
/proc/meminfo: memFree=108750048/131249988 swapFree=33010416/33010684
[pid=77742] ppid=77739 vsize=18996948 memory=99840 CPUtime=1.2 cores=4,6
/proc/77742/stat : 77742 (java) S 77739 77742 77585 0 -1 4194304 9624 0 0 0 116 4 0 0 20 0 19 0 69941191 19452874752 24448 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
/proc/77742/statm: 4749237 24448 5481 1 0 549741 0
[pid=77742/tid=77744] ppid=77739 vsize=18996948 memory=18432 CPUtime=0.61 cores=4,6
/proc/77742/task/77744/stat : 77744 (java) R 77739 77742 77585 0 -1 4194368 5392 0 0 0 59 2 0 0 20 0 19 0 69941192 19452874752 24960 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77753] ppid=77739 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/77742/task/77753/stat : 77753 (Finalizer) S 77739 77742 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 69941195 19452874752 24960 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77760] ppid=77739 vsize=18996948 memory=23860 CPUtime=0 cores=4,6
/proc/77742/task/77760/stat : 77760 (Common-Cleaner) S 77739 77742 77585 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 69941195 19452874752 24960 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77761] ppid=77739 vsize=18996948 memory=4352 CPUtime=0 cores=4,6
/proc/77742/task/77761/stat : 77761 (Timer-0) S 77739 77742 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 69941218 19452874752 24960 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 99840 KiB
[startup+1.50019 s]
/proc/loadavg: 0.16 0.31 1.92 2/268 77761
/proc/meminfo: memFree=108732652/131249988 swapFree=33010416/33010684
[pid=77742] ppid=77739 vsize=18996948 memory=129784 CPUtime=2.23 cores=4,6
/proc/77742/stat : 77742 (java) S 77739 77742 77585 0 -1 4194304 13379 0 0 0 218 5 0 0 20 0 19 0 69941191 19452874752 32446 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
/proc/77742/statm: 4749237 32446 5481 1 0 549976 0
[pid=77742/tid=77744] ppid=77739 vsize=18996948 memory=10752 CPUtime=1.41 cores=4,6
/proc/77742/task/77744/stat : 77744 (java) R 77739 77742 77585 0 -1 4194368 5973 0 0 0 138 3 0 0 20 0 19 0 69941192 19452874752 32446 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77753] ppid=77739 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/77742/task/77753/stat : 77753 (Finalizer) S 77739 77742 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 69941195 19452874752 32446 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77760] ppid=77739 vsize=18996948 memory=23860 CPUtime=0 cores=4,6
/proc/77742/task/77760/stat : 77760 (Common-Cleaner) S 77739 77742 77585 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 69941195 19452874752 32446 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77761] ppid=77739 vsize=18996948 memory=4352 CPUtime=0 cores=4,6
/proc/77742/task/77761/stat : 77761 (Timer-0) S 77739 77742 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 69941218 19452874752 32446 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
Current children cumulated CPU time: 2.23 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 129784 KiB
[startup+3.10527 s]
/proc/loadavg: 0.16 0.31 1.92 2/269 77762
/proc/meminfo: memFree=108677324/131249988 swapFree=33010416/33010684
[pid=77742] ppid=77739 vsize=19063512 memory=172472 CPUtime=4.29 cores=4,6
/proc/77742/stat : 77742 (java) S 77739 77742 77585 0 -1 4194304 15565 0 0 0 423 6 0 0 20 0 20 0 69941191 19521036288 43118 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
/proc/77742/statm: 4765878 43118 5513 1 0 550501 0
[pid=77742/tid=77744] ppid=77739 vsize=19063512 memory=10752 CPUtime=3 cores=4,6
/proc/77742/task/77744/stat : 77744 (java) R 77739 77742 77585 0 -1 4194368 6329 0 0 0 297 3 0 0 20 0 20 0 69941192 19521036288 43118 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77753] ppid=77739 vsize=19063512 memory=-6000919468444968296 CPUtime=0 cores=4,6
/proc/77742/task/77753/stat : 77753 (Finalizer) S 77739 77742 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69941195 19521036288 43118 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77760] ppid=77739 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/77742/task/77760/stat : 77760 (Common-Cleaner) S 77739 77742 77585 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 69941195 19521036288 43118 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77761] ppid=77739 vsize=19063512 memory=-6000919468444968296 CPUtime=0 cores=4,6
/proc/77742/task/77761/stat : 77761 (Timer-0) S 77739 77742 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69941218 19521036288 43118 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
Current children cumulated CPU time: 4.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172472 KiB
[startup+6.30024 s]
/proc/loadavg: 0.22 0.32 1.91 2/268 77762
/proc/meminfo: memFree=108438892/131249988 swapFree=33010416/33010684
[pid=77742] ppid=77739 vsize=19063512 memory=494384 CPUtime=7.93 cores=4,6
/proc/77742/stat : 77742 (java) S 77739 77742 77585 0 -1 4194304 16156 0 0 0 780 13 0 0 20 0 20 0 69941191 19521036288 123596 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
/proc/77742/statm: 4765878 123596 5513 1 0 550723 0
[pid=77742/tid=77744] ppid=77739 vsize=19063512 memory=0 CPUtime=5.89 cores=4,6
/proc/77742/task/77744/stat : 77744 (java) R 77739 77742 77585 0 -1 4194368 6338 0 0 0 586 3 0 0 20 0 20 0 69941192 19521036288 123596 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77753] ppid=77739 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/77742/task/77753/stat : 77753 (Finalizer) S 77739 77742 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69941195 19521036288 123596 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77760] ppid=77739 vsize=19063512 memory=7956567938598522987 CPUtime=0 cores=4,6
/proc/77742/task/77760/stat : 77760 (Common-Cleaner) S 77739 77742 77585 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 69941195 19521036288 123596 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77761] ppid=77739 vsize=19063512 memory=134008 CPUtime=0 cores=4,6
/proc/77742/task/77761/stat : 77761 (Timer-0) S 77739 77742 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69941218 19521036288 123596 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
Current children cumulated CPU time: 7.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 494384 KiB
[startup+12.7002 s]
/proc/loadavg: 0.29 0.34 1.91 2/268 77762
/proc/meminfo: memFree=107922752/131249988 swapFree=33010416/33010684
[pid=77742] ppid=77739 vsize=19063512 memory=924292 CPUtime=14.53 cores=4,6
/proc/77742/stat : 77742 (java) S 77739 77742 77585 0 -1 4194304 17113 0 0 0 1431 22 0 0 20 0 20 0 69941191 19521036288 231073 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
/proc/77742/statm: 4765878 231073 5513 1 0 966399 0
[pid=77742/tid=77744] ppid=77739 vsize=19063512 memory=134008 CPUtime=12.07 cores=4,6
/proc/77742/task/77744/stat : 77744 (java) R 77739 77742 77585 0 -1 4194368 6673 0 0 0 1200 7 0 0 20 0 20 0 69941192 19521036288 231073 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77753] ppid=77739 vsize=19063512 memory=655968 CPUtime=0 cores=4,6
/proc/77742/task/77753/stat : 77753 (Finalizer) S 77739 77742 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69941195 19521036288 231073 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77760] ppid=77739 vsize=19063512 memory=172472 CPUtime=0 cores=4,6
/proc/77742/task/77760/stat : 77760 (Common-Cleaner) S 77739 77742 77585 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 69941195 19521036288 231073 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77761] ppid=77739 vsize=19063512 memory=924292 CPUtime=0 cores=4,6
/proc/77742/task/77761/stat : 77761 (Timer-0) S 77739 77742 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69941218 19521036288 231073 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
Current children cumulated CPU time: 14.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 924292 KiB
[startup+25.5002 s]
/proc/loadavg: 0.52 0.39 1.90 2/268 77762
/proc/meminfo: memFree=106881548/131249988 swapFree=33010416/33010684
[pid=77742] ppid=77739 vsize=19063512 memory=1962336 CPUtime=28.13 cores=4,6
/proc/77742/stat : 77742 (java) S 77739 77742 77585 0 -1 4194304 25013 0 0 0 2770 43 0 0 20 0 20 0 69941191 19521036288 490584 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
/proc/77742/statm: 4765878 490584 5513 1 0 1104546 0
[pid=77742/tid=77744] ppid=77739 vsize=19063512 memory=14344 CPUtime=24.06 cores=4,6
/proc/77742/task/77744/stat : 77744 (java) R 77739 77742 77585 0 -1 4194368 8791 0 0 0 2395 11 0 0 20 0 20 0 69941192 19521036288 490584 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77753] ppid=77739 vsize=19063512 memory=1438692 CPUtime=0 cores=4,6
/proc/77742/task/77753/stat : 77753 (Finalizer) S 77739 77742 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69941195 19521036288 490584 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77760] ppid=77739 vsize=19063512 memory=18432 CPUtime=0 cores=4,6
/proc/77742/task/77760/stat : 77760 (Common-Cleaner) S 77739 77742 77585 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 69941195 19521036288 490584 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77761] ppid=77739 vsize=19063512 memory=1256084 CPUtime=0 cores=4,6
/proc/77742/task/77761/stat : 77761 (Timer-0) S 77739 77742 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69941218 19521036288 490584 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
Current children cumulated CPU time: 28.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1962336 KiB
[startup+51.1053 s]
/proc/loadavg: 0.83 0.47 1.89 2/266 77763
/proc/meminfo: memFree=105460692/131249988 swapFree=33010416/33010684
[pid=77742] ppid=77739 vsize=19063512 memory=3379756 CPUtime=57.6 cores=4,6
/proc/77742/stat : 77742 (java) S 77739 77742 77585 0 -1 4194304 41209 0 0 0 5686 74 0 0 20 0 20 0 69941191 19521036288 844939 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
/proc/77742/statm: 4765878 844939 5513 1 0 1384610 0
[pid=77742/tid=77744] ppid=77739 vsize=19063512 memory=18432 CPUtime=48.31 cores=4,6
/proc/77742/task/77744/stat : 77744 (java) R 77739 77742 77585 0 -1 4194368 9950 0 0 0 4815 16 0 0 20 0 20 0 69941192 19521036288 844939 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77753] ppid=77739 vsize=19063512 memory=924292 CPUtime=0 cores=4,6
################
# More data... #
################
Current children cumulated memory: 16284700 KiB
[startup+2982.3 s]
/proc/loadavg: 1.47 1.29 1.22 2/264 77910
/proc/meminfo: memFree=92533252/131249988 swapFree=33010416/33010684
[pid=77742] ppid=77739 vsize=19063512 memory=16284700 CPUtime=3263.07 cores=4,6
/proc/77742/stat : 77742 (java) S 77739 77742 77585 0 -1 4194304 382144 0 1 0 325773 534 0 0 20 0 20 0 69941191 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
/proc/77742/statm: 4765878 4071175 5545 1 0 4083107 0
[pid=77742/tid=77744] ppid=77739 vsize=19063512 memory=4760 CPUtime=2857.94 cores=4,6
/proc/77742/task/77744/stat : 77744 (java) R 77739 77742 77585 0 -1 4194368 195415 0 0 0 285679 115 0 0 20 0 20 0 69941192 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77753] ppid=77739 vsize=19063512 memory=14344 CPUtime=0 cores=4,6
/proc/77742/task/77753/stat : 77753 (Finalizer) S 77739 77742 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69941195 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77760] ppid=77739 vsize=19063512 memory=16284700 CPUtime=0 cores=4,6
/proc/77742/task/77760/stat : 77760 (Common-Cleaner) S 77739 77742 77585 0 -1 4194368 1940 0 0 0 0 0 0 0 20 0 20 0 69941195 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77761] ppid=77739 vsize=19063512 memory=18432 CPUtime=0 cores=4,6
/proc/77742/task/77761/stat : 77761 (Timer-0) S 77739 77742 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69941218 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
Current children cumulated CPU time: 3263.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16284700 KiB
[startup+3042.3 s]
/proc/loadavg: 1.27 1.27 1.21 2/264 77912
/proc/meminfo: memFree=92533108/131249988 swapFree=33010416/33010684
[pid=77742] ppid=77739 vsize=19063512 memory=16284700 CPUtime=3325.02 cores=4,6
/proc/77742/stat : 77742 (java) S 77739 77742 77585 0 -1 4194304 391099 0 1 0 331965 537 0 0 20 0 20 0 69941191 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
/proc/77742/statm: 4765878 4071175 5545 1 0 4083107 0
[pid=77742/tid=77744] ppid=77739 vsize=19063512 memory=16284700 CPUtime=2915.4 cores=4,6
/proc/77742/task/77744/stat : 77744 (java) R 77739 77742 77585 0 -1 4194368 200654 0 0 0 291424 116 0 0 20 0 20 0 69941192 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77753] ppid=77739 vsize=19063512 memory=16284700 CPUtime=0 cores=4,6
/proc/77742/task/77753/stat : 77753 (Finalizer) S 77739 77742 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69941195 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77760] ppid=77739 vsize=19063512 memory=16284700 CPUtime=0 cores=4,6
/proc/77742/task/77760/stat : 77760 (Common-Cleaner) S 77739 77742 77585 0 -1 4194368 1940 0 0 0 0 0 0 0 20 0 20 0 69941195 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77761] ppid=77739 vsize=19063512 memory=-6000919468444968296 CPUtime=0 cores=4,6
/proc/77742/task/77761/stat : 77761 (Timer-0) S 77739 77742 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69941218 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
Current children cumulated CPU time: 3325.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16284700 KiB
[startup+3102.3 s]
/proc/loadavg: 1.21 1.25 1.21 2/265 77915
/proc/meminfo: memFree=92532712/131249988 swapFree=33010416/33010684
[pid=77742] ppid=77739 vsize=19063512 memory=16284700 CPUtime=3385.76 cores=4,6
/proc/77742/stat : 77742 (java) S 77739 77742 77585 0 -1 4194304 397162 0 1 0 338036 540 0 0 20 0 20 0 69941191 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
/proc/77742/statm: 4765878 4071175 5545 1 0 4083107 0
[pid=77742/tid=77744] ppid=77739 vsize=19063512 memory=16284700 CPUtime=2973.83 cores=4,6
/proc/77742/task/77744/stat : 77744 (java) R 77739 77742 77585 0 -1 4194368 203920 0 0 0 297267 116 0 0 20 0 20 0 69941192 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77753] ppid=77739 vsize=19063512 memory=18432 CPUtime=0 cores=4,6
/proc/77742/task/77753/stat : 77753 (Finalizer) S 77739 77742 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69941195 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77760] ppid=77739 vsize=19063512 memory=16284700 CPUtime=0 cores=4,6
/proc/77742/task/77760/stat : 77760 (Common-Cleaner) S 77739 77742 77585 0 -1 4194368 2015 0 0 0 0 0 0 0 20 0 20 0 69941195 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77761] ppid=77739 vsize=19063512 memory=18432 CPUtime=0 cores=4,6
/proc/77742/task/77761/stat : 77761 (Timer-0) S 77739 77742 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69941218 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
Current children cumulated CPU time: 3385.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16284700 KiB
[startup+3162.3 s]
/proc/loadavg: 1.34 1.28 1.22 2/265 77917
/proc/meminfo: memFree=92533296/131249988 swapFree=33010416/33010684
[pid=77742] ppid=77739 vsize=19063512 memory=16284700 CPUtime=3467.67 cores=4,6
/proc/77742/stat : 77742 (java) S 77739 77742 77585 0 -1 4194304 420826 0 1 0 346218 549 0 0 20 0 20 0 69941191 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
/proc/77742/statm: 4765878 4071175 5545 1 0 4083107 0
[pid=77742/tid=77744] ppid=77739 vsize=19063512 memory=18432 CPUtime=3021.27 cores=4,6
/proc/77742/task/77744/stat : 77744 (java) R 77739 77742 77585 0 -1 4194368 211142 0 0 0 302009 118 0 0 20 0 20 0 69941192 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77753] ppid=77739 vsize=19063512 memory=16284700 CPUtime=0 cores=4,6
/proc/77742/task/77753/stat : 77753 (Finalizer) S 77739 77742 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69941195 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77760] ppid=77739 vsize=19063512 memory=16284700 CPUtime=0 cores=4,6
/proc/77742/task/77760/stat : 77760 (Common-Cleaner) S 77739 77742 77585 0 -1 4194368 2069 0 0 0 0 0 0 0 20 0 20 0 69941195 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77761] ppid=77739 vsize=19063512 memory=16284700 CPUtime=0 cores=4,6
/proc/77742/task/77761/stat : 77761 (Timer-0) S 77739 77742 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69941218 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
Current children cumulated CPU time: 3467.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16284700 KiB
[startup+3222.3 s]
/proc/loadavg: 1.17 1.24 1.21 2/265 77921
/proc/meminfo: memFree=92533992/131249988 swapFree=33010416/33010684
[pid=77742] ppid=77739 vsize=19063512 memory=16284700 CPUtime=3529.74 cores=4,6
/proc/77742/stat : 77742 (java) S 77739 77742 77585 0 -1 4194304 427470 0 1 0 352421 553 0 0 20 0 20 0 69941191 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
/proc/77742/statm: 4765878 4071175 5545 1 0 4083107 0
[pid=77742/tid=77744] ppid=77739 vsize=19063512 memory=16284700 CPUtime=3078.92 cores=4,6
/proc/77742/task/77744/stat : 77744 (java) R 77739 77742 77585 0 -1 4194368 214190 0 0 0 307773 119 0 0 20 0 20 0 69941192 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77753] ppid=77739 vsize=19063512 memory=16284700 CPUtime=0 cores=4,6
/proc/77742/task/77753/stat : 77753 (Finalizer) S 77739 77742 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69941195 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77760] ppid=77739 vsize=19063512 memory=16284700 CPUtime=0 cores=4,6
/proc/77742/task/77760/stat : 77760 (Common-Cleaner) S 77739 77742 77585 0 -1 4194368 2156 0 0 0 0 0 0 0 20 0 20 0 69941195 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77761] ppid=77739 vsize=19063512 memory=16284700 CPUtime=0 cores=4,6
/proc/77742/task/77761/stat : 77761 (Timer-0) S 77739 77742 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69941218 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
Current children cumulated CPU time: 3529.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16284700 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3276.5 s]
/proc/loadavg: 1.46 1.30 1.23 3/264 77923
/proc/meminfo: memFree=92534160/131249988 swapFree=33010416/33010684
[pid=77742] ppid=77739 vsize=19063512 memory=16284700 CPUtime=3600.17 cores=4,6
/proc/77742/stat : 77742 (java) S 77739 77742 77585 0 -1 4194304 445820 0 1 0 359454 563 0 0 20 0 20 0 69941191 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
/proc/77742/statm: 4765878 4071175 5545 1 0 4083107 0
[pid=77742/tid=77744] ppid=77739 vsize=19063512 memory=16284700 CPUtime=3131.82 cores=4,6
/proc/77742/task/77744/stat : 77744 (java) R 77739 77742 77585 0 -1 4194368 220053 0 0 0 313061 121 0 0 20 0 20 0 69941192 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77753] ppid=77739 vsize=19063512 memory=18432 CPUtime=0 cores=4,6
/proc/77742/task/77753/stat : 77753 (Finalizer) S 77739 77742 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69941195 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77760] ppid=77739 vsize=19063512 memory=18432 CPUtime=0 cores=4,6
/proc/77742/task/77760/stat : 77760 (Common-Cleaner) S 77739 77742 77585 0 -1 4194368 2239 0 0 0 0 0 0 0 20 0 20 0 69941195 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77761] ppid=77739 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/77742/task/77761/stat : 77761 (Timer-0) S 77739 77742 77585 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69941218 19521036288 4071175 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16284700 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3276.76 s]
# the end of solver process 77742 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.94 s, system=5.68185 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3276.6 s]
/proc/loadavg: 1.46 1.30 1.23 3/264 77923
/proc/meminfo: memFree=92534160/131249988 swapFree=33010416/33010684
[pid=77742] ppid=77739 vsize=19263204 memory=16285468 CPUtime=3600.37 cores=4,6
/proc/77742/stat : 77742 (java) S 77739 77742 77585 0 -1 4194304 447792 0 1 0 359474 563 0 0 20 0 21 0 69941191 19725520896 4071367 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
/proc/77742/statm: 4815801 4071367 5577 1 0 4084019 0
[pid=77742/tid=77744] ppid=77739 vsize=19263204 memory=18432 CPUtime=3131.89 cores=4,6
/proc/77742/task/77744/stat : 77744 (java) R 77739 77742 77585 0 -1 4194368 220137 0 0 0 313068 121 0 0 20 0 21 0 69941192 19725520896 4071367 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77753] ppid=77739 vsize=19263204 memory=10752 CPUtime=0 cores=4,6
/proc/77742/task/77753/stat : 77753 (Finalizer) S 77739 77742 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 69941195 19725520896 4071367 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77760] ppid=77739 vsize=19263204 memory=5632 CPUtime=0 cores=4,6
/proc/77742/task/77760/stat : 77760 (Common-Cleaner) S 77739 77742 77585 0 -1 4194368 2239 0 0 0 0 0 0 0 20 0 21 0 69941195 19725520896 4071367 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
Current children cumulated CPU time: 3600.37 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 16285468 KiB
[startup+3276.7 s]
/proc/loadavg: 1.46 1.30 1.23 3/264 77923
/proc/meminfo: memFree=92534160/131249988 swapFree=33010416/33010684
[pid=77742] ppid=77739 vsize=19263188 memory=16285596 CPUtime=3600.57 cores=4,6
/proc/77742/stat : 77742 (java) S 77739 77742 77585 0 -1 4194304 448242 0 1 0 359493 564 0 0 20 0 21 0 69941191 19725504512 4071399 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
/proc/77742/statm: 4815801 4071399 5577 1 0 4084050 0
[pid=77742/tid=77744] ppid=77739 vsize=19263204 memory=18432 CPUtime=3131.94 cores=4,6
/proc/77742/task/77744/stat : 77744 (java) R 77739 77742 77585 0 -1 4194368 220137 0 0 0 313073 121 0 0 20 0 20 0 69941192 19725520896 4071399 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77753] ppid=77739 vsize=19263204 memory=16284700 CPUtime=0 cores=4,6
/proc/77742/task/77753/stat : 77753 (Finalizer) S 77739 77742 77585 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69941195 19725520896 4071399 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
[pid=77742/tid=77760] ppid=77739 vsize=19263204 memory=0 CPUtime=0 cores=4,6
/proc/77742/task/77760/stat : 77760 (Common-Cleaner) S 77739 77742 77585 0 -1 4194368 2239 0 0 0 0 0 0 0 20 0 20 0 69941195 19725520896 4071399 18446744073709551615 94175504699392 94175504703088 140736539460656 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94175504710904 94175504711696 94175528751104 140736539462017 140736539462118 140736539462118 140736539467720 0
Current children cumulated CPU time: 3600.57 s
Current children cumulated vsize: 19263188 KiB
Current children cumulated memory: 16285596 KiB
Child status: 143
Real time (s): 3276.76
CPU time (s): 3600.62
CPU user time (s): 3594.94
CPU system time (s): 5.68185
CPU usage (%): 109.884
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 16285596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.94
system time used= 5.68185
maximum resident set size= 16285724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 448274
page faults= 1
swaps= 0
block input operations= 0
block output operations= 14496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107737
involuntary context switches= 27651
# summary of solver processes directly reported to runsolver:
# pid: 77742
# total CPU time (s): 3600.62
# total CPU user time (s): 3594.94
# total CPU system time (s): 5.68185
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.29601 second user time and 15.1089 second system time
The end
Begin job on nodeC031 at 2025-07-03 13:37:06 IDJOB=4518142 IDBENCH=176392 IDSOLVER=3363 FILE ID=nodeC031/4518142-1751542626 RUNJOBID= nodeC031-1751542626-77713 SLURM_JOB_ID= 9598706 Free space on /tmp= 432096 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/profit_ceiling/normalized-knapPI_15_2000_1000_5_-50838.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518142-1751542626/watcher-4518142-1751542626 -o /tmp/evaluation-result-4518142-1751542626/solver-4518142-1751542626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751542626-77713 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4518142-1751542626.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b64c15565e2e2abc4a6ec3aecc6a0814 RANDOM SEED=164386368 nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3594.261 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.954 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.297 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1200.031 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.882 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1199.858 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 108808760 kB MemAvailable: 129626256 kB Buffers: 2128 kB Cached: 21501848 kB SwapCached: 12 kB Active: 487788 kB Inactive: 21095144 kB Active(anon): 86540 kB Inactive(anon): 10468 kB Active(file): 401248 kB Inactive(file): 21084676 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 972 kB Writeback: 0 kB AnonPages: 82008 kB Mapped: 103620 kB Shmem: 18052 kB KReclaimable: 341624 kB Slab: 434060 kB SReclaimable: 341624 kB SUnreclaim: 92436 kB KernelStack: 4052 kB PageTables: 2572 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 346764 kB VmallocTotal: 34359738367 kB VmallocUsed: 150360 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 26624 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191188 kB DirectMap2M: 9017344 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432096 MiB End job on nodeC031 at 2025-07-03 14:31:43