Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Partial RoundingSAT 2024 2024-07-12 | SAT (TO) | -10422 | 3600.44 | 3491.13 |
| Name | PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_400_008.opb |
| MD5SUM | 5b15f8b0103f862f2083963c79e8ca36 |
| 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 | -12612 |
| Best CPU time to get the best result obtained on this benchmark | 0.387698 |
| 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 | 9905 |
| Total number of constraints | 313 |
| Number of constraints which are clauses | 25 |
| Number of constraints which are cardinality constraints (but not clauses) | 288 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2375 |
| Number of terms in the objective function | 9905 |
| Biggest coefficient in the objective function | 257 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 1124116 |
| Number of bits of the sum of numbers in the objective function | 21 |
| Biggest number in a constraint | 257 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 1124116 |
| Number of bits of the biggest sum of numbers | 21 |
| 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.10 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.10 c See www.sat4j.org for details. 0.00/0.11 c version CUSTOM.v20240707 0.13/0.14 c java.runtime.name OpenJDK Runtime Environment 0.13/0.14 c java.vm.name OpenJDK 64-Bit Server VM 0.13/0.14 c java.vm.version 22.0.1+8-16 0.13/0.14 c java.vm.vendor Oracle Corporation 0.13/0.14 c sun.arch.data.model 64 0.13/0.14 c java.version 22.0.1 0.13/0.14 c os.name Linux 0.13/0.14 c os.version 4.18.0-301.1.el8.x86_64 0.13/0.14 c os.arch amd64 0.13/0.14 c Free memory 2115194816 0.13/0.14 c Max memory 16282288128 0.13/0.14 c Total memory 2122317824 0.13/0.14 c Number of processors 2 0.13/0.21 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.13/0.21 - never skip resolution steps 0.13/0.21 - Auto-division on coefficients is disabled 0.13/0.21 - No postprocessing 0.13/0.21 - Conflict is considered as is when resolving 0.13/0.21 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.13/0.21 - Weaken first using unassigned literals 0.13/0.21 - Bump strategy: ALWAYS_ONE 0.13/0.21 - Bumper: ASSIGNED 0.13/0.21 --- Begin Solver configuration --- 0.13/0.21 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.13/0.21 Learn all clauses as in MiniSAT 0.13/0.21 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.21 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.13/0.21 No reason simplification 0.13/0.21 Armin Biere (Picosat) restarts strategy 0.13/0.21 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.13/0.21 timeout=2147483s 0.13/0.21 DB Simplification allowed=false 0.13/0.21 Listener: none 0.13/0.21 --- End Solver configuration --- 0.13/0.21 c Pseudo Boolean Optimization by upper bound 0.13/0.21 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.13/0.21 c - never skip resolution steps 0.13/0.21 c - Auto-division on coefficients is disabled 0.13/0.21 c - No postprocessing 0.13/0.21 c - Conflict is considered as is when resolving 0.13/0.21 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.13/0.21 c - Weaken first using unassigned literals 0.13/0.21 c - Bump strategy: ALWAYS_ONE 0.13/0.21 c - Bumper: ASSIGNED 0.13/0.21 c --- Begin Solver configuration --- 0.13/0.21 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.13/0.21 c Learn all clauses as in MiniSAT 0.13/0.21 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.21 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.13/0.21 c No reason simplification 0.13/0.21 c Armin Biere (Picosat) restarts strategy 0.13/0.21 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.13/0.21 c timeout=2147483s 0.13/0.21 c DB Simplification allowed=false 0.13/0.21 c Listener: none 0.13/0.21 c --- End Solver configuration --- 0.13/0.21 c solving HOME/instance-4462435-1722243600.opb 0.13/0.21 c reading problem ... 0.13/0.21 c objective function found 0.70/0.46 c ... done. Wall clock time 0.241s. 0.70/0.46 c declared #vars 9905 0.70/0.46 c #constraints 313 0.70/0.46 c constraints type 0.70/0.46 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 25 0.70/0.46 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 288 0.70/0.46 c 313 constraints processed. 0.70/0.46 c objective function length is 9905 literals 0.70/0.52 c SATISFIABLE 0.70/0.52 c OPTIMIZING... 0.70/0.52 c Got one! Elapsed wall clock time (in seconds):0.307 0.70/0.52 o -10249 2.00/1.11 c Got one! Elapsed wall clock time (in seconds):0.891 2.00/1.11 o -10363 2.00/1.17 c Got one! Elapsed wall clock time (in seconds):0.965 2.00/1.18 o -10365 5.30/2.86 c Got one! Elapsed wall clock time (in seconds):2.651 5.30/2.87 o -10390 5.70/3.00 c Got one! Elapsed wall clock time (in seconds):2.791 5.70/3.00 o -10422 928.91/896.98 c cleaning 2532 clauses out of 5099 with flag 0/5099 2429.12/2355.84 c cleaning 4271 clauses out of 8568 with flag 0/11100 3600.07/3490.92 c starts : 48 3600.07/3490.98 c conflicts : 15958 3600.07/3490.98 c decisions : 276925 3600.07/3490.98 c propagations : 2569831 3600.07/3490.98 c inspects : 66133882 3600.07/3490.98 c shortcuts : 0 3600.07/3490.98 c learnt literals : 0 3600.07/3490.98 c learnt binary clauses : 0 3600.07/3490.98 c learnt ternary clauses : 0 3600.07/3490.98 c learnt constraints : 15958 3600.07/3490.98 c ignored constraints : 0 3600.07/3490.98 c root simplifications : 0 3600.07/3490.98 c removed literals (reason simplification) : 0 3600.07/3490.98 c reason swapping (by a shorter reason) : 0 3600.07/3490.98 c Calls to reduceDB : 2 3600.07/3490.98 c Number of update (reduction) of LBD : 0 3600.07/3490.98 c Imported unit clauses : 0 3600.07/3490.98 c No decision after first conflict : false 3600.07/3490.98 c number of reductions to clauses (during analyze) : 0 3600.07/3490.98 c number of learned constraints concerned by reduction : 0 3600.07/3490.98 c number of learning phase by resolution : 0 3600.07/3490.98 c number of learning phase by cutting planes : 0 3600.07/3490.98 c number of rounding to 1 operations : 50426 3600.07/3490.98 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.07/3490.99 c number of reductions of the coefficients by power 2 : 0 3600.07/3490.99 c number of right shift for reduction by power 2 : 0 3600.07/3490.99 c number of reductions of the coefficients by GCD over coefficients : 0 3600.07/3490.99 c number of ending skipping : 0 3600.07/3490.99 c number of internal skipping : 0 3600.07/3490.99 c number of derivation steps : 69317 3600.07/3490.99 c number of skipped derivation steps : 0 3600.07/3490.99 c number of remaining unassigned : 43244 3600.07/3490.99 c number of remaining assigned : 197927307 3600.07/3490.99 c number of falsified literals weakened from reason : 0 3600.07/3490.99 c number of falsified literals weakened from conflict : 0 3600.07/3490.99 c time for arithmetic operations : 8757501958 3600.07/3490.99 c minimum degree of deleted constraints : 32839 3600.07/3490.99 c maximum degree of deleted constraints : 1625306168 3600.07/3490.99 c number of deleted constraints : 6803 3600.07/3491.00 c speed (assignments/second) : 736.231986198037 3600.07/3491.00 c non guided choices : 0 3600.29/3491.03 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 7 3600.29/3491.03 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 9148 3600.29/3491.03 s SATISFIABLE 3600.29/3491.03 c Found 5 solution(s) 3600.29/3491.04 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 3600.29/3491.08 c objective function=-10422 3600.29/3491.08 c Total wall clock time (in seconds): 3490.864
OK -10422
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: 64096 MiB (51333 MiB free)
memory of node 1: 64473 MiB (55000 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462435-1722243600/watcher-4462435-1722243600 -o /tmp/evaluation-result-4462435-1722243600/solver-4462435-1722243600 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722236577-449740 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4462435-1722243600.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=453890, runsolver pid=453887
[startup+0.10007 s]*
/proc/loadavg: 4.74 4.52 4.37 7/317 453908
/proc/meminfo: memFree=108847832/131655788 swapFree=131061684/131071996
[pid=453890] ppid=453887 vsize=18993908 memory=59300 CPUtime=0.13 cores=5,7
/proc/453890/stat : 453890 (java) S 453887 453890 449727 0 -1 1077936128 6666 0 0 0 10 3 0 0 20 0 18 0 60349834 19449761792 14825 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
/proc/453890/statm: 4748477 14825 5814 1 0 551029 0
[pid=453890/tid=453892] ppid=453887 vsize=18993908 memory=4026561586 CPUtime=0.1 cores=5,7
/proc/453890/task/453892/stat : 453892 (java) R 453887 453890 449727 0 -1 1077936192 5630 0 0 0 7 3 0 0 20 0 18 0 60349835 19449761792 14825 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453901] ppid=453887 vsize=18993908 memory=232851243367 CPUtime=0 cores=5,7
/proc/453890/task/453901/stat : 453901 (Finalizer) S 453887 453890 449727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 60349840 19449761792 14825 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453908] ppid=453887 vsize=18993908 memory=2813128 CPUtime=0 cores=5,7
/proc/453890/task/453908/stat : 453908 (Common-Cleaner) S 453887 453890 449727 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 60349841 19449761792 14825 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 59300 KiB
[startup+0.224574 s]*
/proc/loadavg: 4.74 4.52 4.37 8/317 453908
/proc/meminfo: memFree=108836000/131655788 swapFree=131061684/131071996
[pid=453890] ppid=453887 vsize=18993908 memory=71652 CPUtime=0.35 cores=5,7
/proc/453890/stat : 453890 (java) S 453887 453890 449727 0 -1 1077936128 7529 0 0 0 31 4 0 0 20 0 18 0 60349834 19449761792 17913 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
/proc/453890/statm: 4748477 17913 5988 1 0 551744 0
[pid=453890/tid=453892] ppid=453887 vsize=18993908 memory=4782652875487838339 CPUtime=0.21 cores=5,7
/proc/453890/task/453892/stat : 453892 (java) R 453887 453890 449727 0 -1 4194368 6023 0 0 0 18 3 0 0 20 0 18 0 60349835 19449761792 17913 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453901] ppid=453887 vsize=18993908 memory=2371268 CPUtime=0 cores=5,7
/proc/453890/task/453901/stat : 453901 (Finalizer) S 453887 453890 449727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 60349840 19449761792 17913 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453908] ppid=453887 vsize=18993908 memory=2611984 CPUtime=0 cores=5,7
/proc/453890/task/453908/stat : 453908 (Common-Cleaner) S 453887 453890 449727 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 60349841 19449761792 17913 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 71652 KiB
[startup+0.317903 s]*
/proc/loadavg: 4.74 4.52 4.37 7/317 453908
/proc/meminfo: memFree=108826996/131655788 swapFree=131061684/131071996
[pid=453890] ppid=453887 vsize=18993908 memory=84664 CPUtime=0.51 cores=5,7
/proc/453890/stat : 453890 (java) S 453887 453890 449727 0 -1 1077936128 7658 0 0 0 47 4 0 0 20 0 18 0 60349834 19449761792 21166 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
/proc/453890/statm: 4748477 21166 6077 1 0 551816 0
[pid=453890/tid=453892] ppid=453887 vsize=18993908 memory=-8670944862450328252 CPUtime=0.28 cores=5,7
/proc/453890/task/453892/stat : 453892 (java) R 453887 453890 449727 0 -1 4194368 6058 0 0 0 25 3 0 0 20 0 18 0 60349835 19449761792 21166 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453901] ppid=453887 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/453890/task/453901/stat : 453901 (Finalizer) S 453887 453890 449727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 60349840 19449761792 21166 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453908] ppid=453887 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/453890/task/453908/stat : 453908 (Common-Cleaner) S 453887 453890 449727 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 60349841 19449761792 21166 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 84664 KiB
[startup+0.7009 s]
/proc/loadavg: 4.74 4.52 4.37 7/318 453909
/proc/meminfo: memFree=108752260/131655788 swapFree=131061684/131071996
[pid=453890] ppid=453887 vsize=19127296 memory=182148 CPUtime=1.21 cores=5,7
/proc/453890/stat : 453890 (java) S 453887 453890 449727 0 -1 1077936128 13739 0 0 0 113 8 0 0 20 0 20 0 60349834 19586351104 45537 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
/proc/453890/statm: 4781824 45537 6147 1 0 556770 0
[pid=453890/tid=453892] ppid=453887 vsize=19127296 memory=5672 CPUtime=0.62 cores=5,7
/proc/453890/task/453892/stat : 453892 (java) S 453887 453890 449727 0 -1 1077936192 6263 0 0 0 57 5 0 0 20 0 20 0 60349835 19586351104 45537 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453901] ppid=453887 vsize=19127296 memory=12312 CPUtime=0 cores=5,7
/proc/453890/task/453901/stat : 453901 (Finalizer) S 453887 453890 449727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 60349840 19586351104 45537 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453908] ppid=453887 vsize=19127296 memory=4977 CPUtime=0 cores=5,7
/proc/453890/task/453908/stat : 453908 (Common-Cleaner) S 453887 453890 449727 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 60349841 19586351104 45537 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453909] ppid=453887 vsize=19127296 memory=2244 CPUtime=0 cores=5,7
/proc/453890/task/453909/stat : 453909 (Timer-0) S 453887 453890 449727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 60349882 19586351104 45537 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 19127296 KiB
Current children cumulated memory: 182148 KiB
[startup+1.50089 s]
/proc/loadavg: 4.74 4.52 4.37 7/319 453910
/proc/meminfo: memFree=108718992/131655788 swapFree=131061684/131071996
[pid=453890] ppid=453887 vsize=19127036 memory=196020 CPUtime=2.78 cores=5,7
/proc/453890/stat : 453890 (java) S 453887 453890 449727 0 -1 1077936128 18289 0 0 0 269 9 0 0 20 0 20 0 60349834 19586084864 49005 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
/proc/453890/statm: 4781759 49005 6163 1 0 558196 0
[pid=453890/tid=453892] ppid=453887 vsize=19127036 memory=12312 CPUtime=1.36 cores=5,7
/proc/453890/task/453892/stat : 453892 (java) R 453887 453890 449727 0 -1 4194368 6327 0 0 0 131 5 0 0 20 0 20 0 60349835 19586084864 49005 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453901] ppid=453887 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/453890/task/453901/stat : 453901 (Finalizer) S 453887 453890 449727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 60349840 19586084864 49005 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453908] ppid=453887 vsize=19127036 memory=2378414 CPUtime=0 cores=5,7
/proc/453890/task/453908/stat : 453908 (Common-Cleaner) S 453887 453890 449727 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 60349841 19586084864 49005 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453909] ppid=453887 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/453890/task/453909/stat : 453909 (Timer-0) S 453887 453890 449727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 60349882 19586084864 49005 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 196020 KiB
[startup+3.11489 s]
/proc/loadavg: 4.84 4.54 4.37 7/319 453910
/proc/meminfo: memFree=108182076/131655788 swapFree=131061684/131071996
[pid=453890] ppid=453887 vsize=19127036 memory=724932 CPUtime=5.92 cores=5,7
/proc/453890/stat : 453890 (java) S 453887 453890 449727 0 -1 1077936128 25202 0 0 0 573 19 0 0 20 0 20 0 60349834 19586084864 181233 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
/proc/453890/statm: 4781759 181233 6163 1 0 934229 0
[pid=453890/tid=453892] ppid=453887 vsize=19127036 memory=0 CPUtime=2.77 cores=5,7
/proc/453890/task/453892/stat : 453892 (java) R 453887 453890 449727 0 -1 4194368 8616 0 0 0 265 12 0 0 20 0 20 0 60349835 19586084864 181233 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453901] ppid=453887 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/453890/task/453901/stat : 453901 (Finalizer) S 453887 453890 449727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 60349840 19586084864 181233 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453908] ppid=453887 vsize=19127036 memory=12312 CPUtime=0 cores=5,7
/proc/453890/task/453908/stat : 453908 (Common-Cleaner) S 453887 453890 449727 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 60349841 19586084864 181233 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453909] ppid=453887 vsize=19127036 memory=11564 CPUtime=0 cores=5,7
/proc/453890/task/453909/stat : 453909 (Timer-0) S 453887 453890 449727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 60349882 19586084864 181233 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
Current children cumulated CPU time: 5.92 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 724932 KiB
[startup+6.30045 s]
/proc/loadavg: 4.84 4.54 4.37 8/321 453913
/proc/meminfo: memFree=107625080/131655788 swapFree=131061684/131071996
[pid=453890] ppid=453887 vsize=19127036 memory=1294564 CPUtime=10.29 cores=5,7
/proc/453890/stat : 453890 (java) S 453887 453890 449727 0 -1 1077936128 29893 0 0 0 997 32 0 0 20 0 20 0 60349834 19586084864 323641 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
/proc/453890/statm: 4781759 323641 6163 1 0 1309197 0
[pid=453890/tid=453892] ppid=453887 vsize=19127036 memory=12312 CPUtime=5.79 cores=5,7
/proc/453890/task/453892/stat : 453892 (java) R 453887 453890 449727 0 -1 4194368 8850 0 0 0 556 23 0 0 20 0 20 0 60349835 19586084864 323641 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453901] ppid=453887 vsize=19127036 memory=766256 CPUtime=0 cores=5,7
/proc/453890/task/453901/stat : 453901 (Finalizer) S 453887 453890 449727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 60349840 19586084864 323641 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453908] ppid=453887 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/453890/task/453908/stat : 453908 (Common-Cleaner) S 453887 453890 449727 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 60349841 19586084864 323641 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453909] ppid=453887 vsize=19127036 memory=-8670944862450328252 CPUtime=0 cores=5,7
/proc/453890/task/453909/stat : 453909 (Timer-0) S 453887 453890 449727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 60349882 19586084864 323641 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
Current children cumulated CPU time: 10.29 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1294564 KiB
[startup+12.7004 s]
/proc/loadavg: 4.69 4.52 4.37 4/294 453950
/proc/meminfo: memFree=112212276/131655788 swapFree=131061684/131071996
[pid=453890] ppid=453887 vsize=19127036 memory=2533608 CPUtime=16.76 cores=5,7
/proc/453890/stat : 453890 (java) S 453887 453890 449727 0 -1 1077936128 30779 0 0 0 1616 60 0 0 20 0 20 0 60349834 19586084864 633402 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
/proc/453890/statm: 4781759 633402 6163 1 0 1309197 0
[pid=453890/tid=453892] ppid=453887 vsize=19127036 memory=-8670944862450328252 CPUtime=12.18 cores=5,7
/proc/453890/task/453892/stat : 453892 (java) R 453887 453890 449727 0 -1 4194368 9713 0 0 0 1168 50 0 0 20 0 20 0 60349835 19586084864 633402 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453901] ppid=453887 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/453890/task/453901/stat : 453901 (Finalizer) S 453887 453890 449727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 60349840 19586084864 633402 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453908] ppid=453887 vsize=19127036 memory=2361576 CPUtime=0 cores=5,7
/proc/453890/task/453908/stat : 453908 (Common-Cleaner) S 453887 453890 449727 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 60349841 19586084864 633402 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453909] ppid=453887 vsize=19127036 memory=-8670944862450328252 CPUtime=0 cores=5,7
/proc/453890/task/453909/stat : 453909 (Timer-0) S 453887 453890 449727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 60349882 19586084864 633402 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
Current children cumulated CPU time: 16.76 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2533608 KiB
[startup+25.5005 s]
/proc/loadavg: 4.24 4.43 4.34 3/268 453985
/proc/meminfo: memFree=115188808/131655788 swapFree=131061684/131071996
[pid=453890] ppid=453887 vsize=19127036 memory=3509012 CPUtime=30 cores=5,7
/proc/453890/stat : 453890 (java) S 453887 453890 449727 0 -1 1077936128 37448 0 0 0 2920 80 0 0 20 0 20 0 60349834 19586084864 877253 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
/proc/453890/statm: 4781759 877253 6163 1 0 1309211 0
[pid=453890/tid=453892] ppid=453887 vsize=19127036 memory=3351124 CPUtime=24.64 cores=5,7
/proc/453890/task/453892/stat : 453892 (java) R 453887 453890 449727 0 -1 4194368 11566 0 0 0 2400 64 0 0 20 0 20 0 60349835 19586084864 877253 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453901] ppid=453887 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/453890/task/453901/stat : 453901 (Finalizer) S 453887 453890 449727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 60349840 19586084864 877253 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453908] ppid=453887 vsize=19127036 memory=12312 CPUtime=0 cores=5,7
/proc/453890/task/453908/stat : 453908 (Common-Cleaner) S 453887 453890 449727 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 60349841 19586084864 877253 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453909] ppid=453887 vsize=19127036 memory=3509012 CPUtime=0 cores=5,7
/proc/453890/task/453909/stat : 453909 (Timer-0) S 453887 453890 449727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 60349882 19586084864 877253 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
Current children cumulated CPU time: 30 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3509012 KiB
[startup+51.1127 s]
/proc/loadavg: 3.54 4.25 4.28 3/266 453990
/proc/meminfo: memFree=114554428/131655788 swapFree=131061684/131071996
[pid=453890] ppid=453887 vsize=19127036 memory=3703824 CPUtime=56.55 cores=5,7
/proc/453890/stat : 453890 (java) S 453887 453890 449727 0 -1 1077936128 44683 0 0 0 5569 86 0 0 20 0 20 0 60349834 19586084864 925956 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
/proc/453890/statm: 4781759 925956 6163 1 0 1309212 0
[pid=453890/tid=453892] ppid=453887 vsize=19127036 memory=3703824 CPUtime=49.62 cores=5,7
/proc/453890/task/453892/stat : 453892 (java) R 453887 453890 449727 0 -1 4194368 13493 0 0 0 4898 64 0 0 20 0 20 0 60349835 19586084864 925956 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453901] ppid=453887 vsize=19127036 memory=2549992 CPUtime=0 cores=5,7
/proc/453890/task/453901/stat : 453901 (Finalizer) S 453887 453890 449727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 60349840 19586084864 925956 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
################
# More data... #
################
/proc/meminfo: memFree=97467532/131655788 swapFree=131061684/131071996
[pid=453890] ppid=453887 vsize=19193600 memory=10160384 CPUtime=3262.05 cores=5,7
/proc/453890/stat : 453890 (java) S 453887 453890 449727 0 -1 1077936128 459306 0 0 0 325761 444 0 0 20 0 21 0 60349834 19654246400 2540096 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
/proc/453890/statm: 4798400 2540096 6176 1 0 2560008 0
[pid=453890/tid=453892] ppid=453887 vsize=19193600 memory=10171248 CPUtime=3124.72 cores=5,7
/proc/453890/task/453892/stat : 453892 (java) R 453887 453890 449727 0 -1 4194368 156652 0 0 0 312293 179 0 0 20 0 21 0 60349835 19654246400 2540096 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453901] ppid=453887 vsize=19193600 memory=10160384 CPUtime=0 cores=5,7
/proc/453890/task/453901/stat : 453901 (Finalizer) S 453887 453890 449727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 60349840 19654246400 2540096 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453908] ppid=453887 vsize=19193600 memory=10160384 CPUtime=0 cores=5,7
/proc/453890/task/453908/stat : 453908 (Common-Cleaner) S 453887 453890 449727 0 -1 1077936192 2041 0 0 0 0 0 0 0 20 0 21 0 60349841 19654246400 2540096 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453909] ppid=453887 vsize=19193600 memory=80408 CPUtime=0 cores=5,7
/proc/453890/task/453909/stat : 453909 (Timer-0) S 453887 453890 449727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 60349882 19654246400 2540096 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
Current children cumulated CPU time: 3262.05 s
Current children cumulated vsize: 19193600 KiB
Current children cumulated memory: 10160384 KiB
[startup+3222.3 s]
/proc/loadavg: 2.36 2.37 2.36 3/266 455191
/proc/meminfo: memFree=97462956/131655788 swapFree=131061684/131071996
[pid=453890] ppid=453887 vsize=19193600 memory=10160384 CPUtime=3322.23 cores=5,7
/proc/453890/stat : 453890 (java) S 453887 453890 449727 0 -1 1077936128 460571 0 0 0 331776 447 0 0 20 0 21 0 60349834 19654246400 2540096 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
/proc/453890/statm: 4798400 2540096 6176 1 0 2560008 0
[pid=453890/tid=453892] ppid=453887 vsize=19193600 memory=10171248 CPUtime=3184.29 cores=5,7
/proc/453890/task/453892/stat : 453892 (java) R 453887 453890 449727 0 -1 4194368 157793 0 0 0 318250 179 0 0 20 0 21 0 60349835 19654246400 2540096 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453901] ppid=453887 vsize=19193600 memory=10160384 CPUtime=0 cores=5,7
/proc/453890/task/453901/stat : 453901 (Finalizer) S 453887 453890 449727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 60349840 19654246400 2540096 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453908] ppid=453887 vsize=19193600 memory=10160384 CPUtime=0 cores=5,7
/proc/453890/task/453908/stat : 453908 (Common-Cleaner) S 453887 453890 449727 0 -1 1077936192 2041 0 0 0 0 0 0 0 20 0 21 0 60349841 19654246400 2540096 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453909] ppid=453887 vsize=19193600 memory=10160384 CPUtime=0 cores=5,7
/proc/453890/task/453909/stat : 453909 (Timer-0) S 453887 453890 449727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 60349882 19654246400 2540096 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
Current children cumulated CPU time: 3322.23 s
Current children cumulated vsize: 19193600 KiB
Current children cumulated memory: 10160384 KiB
[startup+3282.3 s]
/proc/loadavg: 2.22 2.33 2.35 3/266 455201
/proc/meminfo: memFree=97462624/131655788 swapFree=131061684/131071996
[pid=453890] ppid=453887 vsize=19193600 memory=10160384 CPUtime=3382.45 cores=5,7
/proc/453890/stat : 453890 (java) S 453887 453890 449727 0 -1 1077936128 464071 0 0 0 337795 450 0 0 20 0 21 0 60349834 19654246400 2540096 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
/proc/453890/statm: 4798400 2540096 6176 1 0 2560008 0
[pid=453890/tid=453892] ppid=453887 vsize=19193600 memory=10160384 CPUtime=3243.81 cores=5,7
/proc/453890/task/453892/stat : 453892 (java) R 453887 453890 449727 0 -1 4194368 160828 0 0 0 324202 179 0 0 20 0 21 0 60349835 19654246400 2540096 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453901] ppid=453887 vsize=19193600 memory=10160384 CPUtime=0 cores=5,7
/proc/453890/task/453901/stat : 453901 (Finalizer) S 453887 453890 449727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 60349840 19654246400 2540096 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453908] ppid=453887 vsize=19193600 memory=80408 CPUtime=0 cores=5,7
/proc/453890/task/453908/stat : 453908 (Common-Cleaner) S 453887 453890 449727 0 -1 1077936192 2041 0 0 0 0 0 0 0 20 0 21 0 60349841 19654246400 2540096 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453909] ppid=453887 vsize=19193600 memory=10160384 CPUtime=0 cores=5,7
/proc/453890/task/453909/stat : 453909 (Timer-0) S 453887 453890 449727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 60349882 19654246400 2540096 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
Current children cumulated CPU time: 3382.45 s
Current children cumulated vsize: 19193600 KiB
Current children cumulated memory: 10160384 KiB
[startup+3342.3 s]
/proc/loadavg: 1.56 2.13 2.28 2/239 455629
/proc/meminfo: memFree=113778444/131655788 swapFree=131061684/131071996
[pid=453890] ppid=453887 vsize=19193600 memory=10162648 CPUtime=3443.92 cores=5,7
/proc/453890/stat : 453890 (java) S 453887 453890 449727 0 -1 1077936128 474663 0 0 0 343938 454 0 0 20 0 21 0 60349834 19654246400 2540662 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
/proc/453890/statm: 4798400 2540662 6176 1 0 2560357 0
[pid=453890/tid=453892] ppid=453887 vsize=19193600 memory=10160384 CPUtime=3303.3 cores=5,7
/proc/453890/task/453892/stat : 453892 (java) R 453887 453890 449727 0 -1 4194368 163847 0 0 0 330150 180 0 0 20 0 21 0 60349835 19654246400 2540662 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453901] ppid=453887 vsize=19193600 memory=12312 CPUtime=0 cores=5,7
/proc/453890/task/453901/stat : 453901 (Finalizer) S 453887 453890 449727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 60349840 19654246400 2540662 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453908] ppid=453887 vsize=19193600 memory=10162648 CPUtime=0 cores=5,7
/proc/453890/task/453908/stat : 453908 (Common-Cleaner) S 453887 453890 449727 0 -1 1077936192 2130 0 0 0 0 0 0 0 20 0 21 0 60349841 19654246400 2540662 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453909] ppid=453887 vsize=19193600 memory=10162648 CPUtime=0 cores=5,7
/proc/453890/task/453909/stat : 453909 (Timer-0) S 453887 453890 449727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 60349882 19654246400 2540662 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
Current children cumulated CPU time: 3443.92 s
Current children cumulated vsize: 19193600 KiB
Current children cumulated memory: 10162648 KiB
[startup+3402.3 s]
/proc/loadavg: 1.57 2.02 2.23 3/239 455640
/proc/meminfo: memFree=113778628/131655788 swapFree=131061684/131071996
[pid=453890] ppid=453887 vsize=19193600 memory=10162648 CPUtime=3507.82 cores=5,7
/proc/453890/stat : 453890 (java) S 453887 453890 449727 0 -1 1077936128 487387 0 0 0 350323 459 0 0 20 0 21 0 60349834 19654246400 2540662 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
/proc/453890/statm: 4798400 2540662 6176 1 0 2560357 0
[pid=453890/tid=453892] ppid=453887 vsize=19193600 memory=10162648 CPUtime=3362.87 cores=5,7
/proc/453890/task/453892/stat : 453892 (java) R 453887 453890 449727 0 -1 4194368 165340 0 0 0 336106 181 0 0 20 0 21 0 60349835 19654246400 2540662 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453901] ppid=453887 vsize=19193600 memory=10162648 CPUtime=0 cores=5,7
/proc/453890/task/453901/stat : 453901 (Finalizer) S 453887 453890 449727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 60349840 19654246400 2540662 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453908] ppid=453887 vsize=19193600 memory=10162648 CPUtime=0 cores=5,7
/proc/453890/task/453908/stat : 453908 (Common-Cleaner) S 453887 453890 449727 0 -1 1077936192 2130 0 0 0 0 0 0 0 20 0 21 0 60349841 19654246400 2540662 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453909] ppid=453887 vsize=19193600 memory=7828 CPUtime=0 cores=5,7
/proc/453890/task/453909/stat : 453909 (Timer-0) S 453887 453890 449727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 60349882 19654246400 2540662 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
Current children cumulated CPU time: 3507.82 s
Current children cumulated vsize: 19193600 KiB
Current children cumulated memory: 10162648 KiB
[startup+3462.3 s]
/proc/loadavg: 1.85 2.04 2.22 2/239 455650
/proc/meminfo: memFree=113477688/131655788 swapFree=131061684/131071996
[pid=453890] ppid=453887 vsize=19193600 memory=10462932 CPUtime=3571.34 cores=5,7
/proc/453890/stat : 453890 (java) S 453887 453890 449727 0 -1 1077936128 505412 0 0 0 356662 472 0 0 20 0 21 0 60349834 19654246400 2615733 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
/proc/453890/statm: 4798400 2615733 6192 1 0 2635556 0
[pid=453890/tid=453892] ppid=453887 vsize=19193600 memory=10162648 CPUtime=3422.41 cores=5,7
/proc/453890/task/453892/stat : 453892 (java) R 453887 453890 449727 0 -1 4194368 170029 0 0 0 342053 188 0 0 20 0 21 0 60349835 19654246400 2615733 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453901] ppid=453887 vsize=19193600 memory=10162648 CPUtime=0 cores=5,7
/proc/453890/task/453901/stat : 453901 (Finalizer) S 453887 453890 449727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 60349840 19654246400 2615733 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453908] ppid=453887 vsize=19193600 memory=10462848 CPUtime=0 cores=5,7
/proc/453890/task/453908/stat : 453908 (Common-Cleaner) S 453887 453890 449727 0 -1 1077936192 2131 0 0 0 0 0 0 0 20 0 21 0 60349841 19654246400 2615733 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453909] ppid=453887 vsize=19193600 memory=-8670944862450328252 CPUtime=0 cores=5,7
/proc/453890/task/453909/stat : 453909 (Timer-0) S 453887 453890 449727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 60349882 19654246400 2615733 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
Current children cumulated CPU time: 3571.34 s
Current children cumulated vsize: 19193600 KiB
Current children cumulated memory: 10462932 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3490.9 s]
/proc/loadavg: 1.58 1.95 2.19 2/239 455824
/proc/meminfo: memFree=113477344/131655788 swapFree=131061684/131071996
[pid=453890] ppid=453887 vsize=19193600 memory=10462932 CPUtime=3600.07 cores=5,7
/proc/453890/stat : 453890 (java) S 453887 453890 449727 0 -1 1077936128 506792 0 0 0 359533 474 0 0 20 0 21 0 60349834 19654246400 2615733 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
/proc/453890/statm: 4798400 2615733 6192 1 0 2635556 0
[pid=453890/tid=453892] ppid=453887 vsize=19193600 memory=33 CPUtime=3450.78 cores=5,7
/proc/453890/task/453892/stat : 453892 (java) R 453887 453890 449727 0 -1 4194368 171108 0 0 0 344890 188 0 0 20 0 21 0 60349835 19654246400 2615733 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453901] ppid=453887 vsize=19193600 memory=10462932 CPUtime=0 cores=5,7
/proc/453890/task/453901/stat : 453901 (Finalizer) S 453887 453890 449727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 60349840 19654246400 2615733 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453908] ppid=453887 vsize=19193600 memory=10462932 CPUtime=0 cores=5,7
/proc/453890/task/453908/stat : 453908 (Common-Cleaner) S 453887 453890 449727 0 -1 1077936192 2183 0 0 0 0 0 0 0 20 0 21 0 60349841 19654246400 2615733 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453909] ppid=453887 vsize=19193600 memory=7879437240875902825 CPUtime=0 cores=5,7
/proc/453890/task/453909/stat : 453909 (Timer-0) S 453887 453890 449727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 60349882 19654246400 2615733 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19193600 KiB
Current children cumulated memory: 10462932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3491.13 s]
# the end of solver process 453890 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.65 s, system=4.78293 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3491 s]*
/proc/loadavg: 1.58 1.95 2.19 6/240 455827
/proc/meminfo: memFree=113477036/131655788 swapFree=131061684/131071996
[pid=453890] ppid=453887 vsize=19393292 memory=10463620 CPUtime=3600.29 cores=5,7
/proc/453890/stat : 453890 (java) S 453887 453890 449727 0 -1 1077936128 509310 0 0 0 359555 474 0 0 20 0 22 0 60349834 19858731008 2615905 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
/proc/453890/statm: 4848323 2615905 6191 1 0 2636491 0
[pid=453890/tid=453892] ppid=453887 vsize=19393292 memory=-8670944862450328252 CPUtime=3450.89 cores=5,7
/proc/453890/task/453892/stat : 453892 (java) R 453887 453890 449727 0 -1 4194368 171432 0 0 0 344901 188 0 0 20 0 22 0 60349835 19858731008 2615905 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453901] ppid=453887 vsize=19393292 memory=4414546666558723170 CPUtime=0 cores=5,7
/proc/453890/task/453901/stat : 453901 (Finalizer) S 453887 453890 449727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 22 0 60349840 19858731008 2615905 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=453908] ppid=453887 vsize=19393292 memory=14552 CPUtime=0 cores=5,7
/proc/453890/task/453908/stat : 453908 (Common-Cleaner) S 453887 453890 449727 0 -1 1077936192 2183 0 0 0 0 0 0 0 20 0 22 0 60349841 19858731008 2615905 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
[pid=453890/tid=455826] ppid=453887 vsize=19393292 memory=2660 CPUtime=0.04 cores=5,7
/proc/453890/task/455826/stat : 455826 (Thread-0) R 453887 453890 449727 0 -1 4194368 433 0 0 0 4 0 0 0 20 0 22 0 60698926 19858731008 2615905 134679101440 94064294023168 94064294026864 140727484889584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94064294034680 94064294035472 94064305209344 140727484896243 140727484896356 140727484896356 140727484903368 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19393292 KiB
Current children cumulated memory: 10463620 KiB
Child status: 143
Real time (s): 3491.13
CPU time (s): 3600.44
CPU user time (s): 3595.65
CPU system time (s): 4.78293
CPU usage (%): 103.131
Max. virtual memory (cumulated for all children) (KiB): 19393292
Max. memory (cumulated for all children) (KiB): 10463620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.65
system time used= 4.78293
maximum resident set size= 10464764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509839
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113338
involuntary context switches= 10811
# summary of solver processes directly reported to runsolver:
# pid: 453890
# total CPU time (s): 3600.44
# total CPU user time (s): 3595.65
# total CPU system time (s): 4.78293
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4337 second user time and 35.7905 second system time
The end
Begin job on nodeC011 at 2024-07-29 11:00:00 IDJOB=4462435 IDBENCH=178886 IDSOLVER=3046 FILE ID=nodeC011/4462435-1722243600 RUNJOBID= nodeC011-1722236577-449740 SLURM_JOB_ID= 8248780 Free space on /tmp= 723776 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_400_008.opb COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462435-1722243600/watcher-4462435-1722243600 -o /tmp/evaluation-result-4462435-1722243600/solver-4462435-1722243600 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722236577-449740 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4462435-1722243600.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5b15f8b0103f862f2083963c79e8ca36 RANDOM SEED=1035681517 nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 0xb00001f cpu MHz : 3649.112 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.36 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 : 0xb00001f cpu MHz : 3638.581 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 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 : 0xb00001f cpu MHz : 1197.460 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.36 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 : 0xb00001f cpu MHz : 1197.381 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 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 : 0xb00001f cpu MHz : 3492.181 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.36 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 : 0xb00001f cpu MHz : 3492.210 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 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 : 0xb00001f cpu MHz : 1197.440 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.36 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 : 0xb00001f cpu MHz : 1297.101 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 108885540 kB MemAvailable: 114905592 kB Buffers: 397808 kB Cached: 6435284 kB SwapCached: 48 kB Active: 2014444 kB Inactive: 20126312 kB Active(anon): 2176 kB Inactive(anon): 15366820 kB Active(file): 2012268 kB Inactive(file): 4759492 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131061684 kB Dirty: 1136 kB Writeback: 0 kB AnonPages: 15305892 kB Mapped: 121096 kB Shmem: 61028 kB KReclaimable: 176984 kB Slab: 287060 kB SReclaimable: 176984 kB SUnreclaim: 110076 kB KernelStack: 4816 kB PageTables: 40408 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 19174644 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 12160 kB HardwareCorrupted: 0 kB AnonHugePages: 14913536 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 424776 kB DirectMap2M: 46665728 kB DirectMap1G: 89128960 kB Free space on /tmp at the end= 723780 MiB End job on nodeC011 at 2024-07-29 11:58:11