Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2024 2024-07-07 | OPT cert. | 46877 | 1422.66 | 1426.27 |
Name | PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__256.opb |
MD5SUM | 88337e6e5493c2d9c389f064d6ad9b51 |
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 | 46877 |
Best CPU time to get the best result obtained on this benchmark | 0.087608 |
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 | 10258 |
Total number of constraints | 60 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 42 |
Number of constraints which are nor clauses,nor cardinality constraints | 18 |
Minimum length of a constraint | 256 |
Maximum length of a constraint | 2049 |
Number of terms in the objective function | 10240 |
Biggest coefficient in the objective function | 94409 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 446607872 |
Number of bits of the sum of numbers in the objective function | 29 |
Biggest number in a constraint | 94409 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 446607872 |
Number of bits of the biggest sum of numbers | 29 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.22/0.34 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.22/0.34 c This is free software under the dual EPL/GNU LGPL licenses. 0.22/0.34 c See www.sat4j.org for details. 0.22/0.36 c version CUSTOM.v20240707 0.22/0.39 c java.runtime.name OpenJDK Runtime Environment 0.22/0.39 c java.vm.name OpenJDK 64-Bit Server VM 0.22/0.39 c java.vm.version 22.0.1+8-16 0.22/0.39 c java.vm.vendor Oracle Corporation 0.22/0.39 c sun.arch.data.model 64 0.22/0.39 c java.version 22.0.1 0.22/0.39 c os.name Linux 0.22/0.39 c os.version 4.18.0-301.1.el8.x86_64 0.22/0.39 c os.arch amd64 0.22/0.40 c Free memory 2115194816 0.22/0.40 c Max memory 16282288128 0.22/0.40 c Total memory 2122317824 0.22/0.41 c Number of processors 2 0.37/0.51 --- Begin Solver configuration --- 0.37/0.51 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.37/0.51 Learn all clauses as in MiniSAT 0.37/0.51 LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.37/0.51 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.37/0.51 Expensive reason simplification 0.37/0.51 Glucose 2.1 dynamic restart strategy 0.37/0.51 Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.37/0.51 timeout=2147483s 0.37/0.51 DB Simplification allowed=false 0.37/0.51 Listener: none 0.37/0.51 --- End Solver configuration --- 0.37/0.52 c Pseudo Boolean Optimization by upper bound 0.37/0.52 c --- Begin Solver configuration --- 0.37/0.52 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.37/0.52 c Learn all clauses as in MiniSAT 0.37/0.52 c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.37/0.52 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.37/0.52 c Expensive reason simplification 0.37/0.52 c Glucose 2.1 dynamic restart strategy 0.37/0.52 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.37/0.52 c timeout=2147483s 0.37/0.52 c DB Simplification allowed=false 0.37/0.52 c Listener: none 0.37/0.52 c --- End Solver configuration --- 0.37/0.52 c solving HOME/instance-4440417-1721820325.opb 0.37/0.52 c reading problem ... 0.37/0.53 c using VERIPB proof format 0.53/0.53 c objective function found 1.05/0.87 c ... done. Wall clock time 0.342s. 1.05/0.87 c declared #vars 10258 1.05/0.87 c #constraints 80 1.05/0.87 c constraints type 1.05/0.87 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 42 1.05/0.87 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 36 1.05/0.87 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2 1.05/0.87 c 80 constraints processed. 1.05/0.90 c objective function length is 10240 literals 2.44/1.58 c SATISFIABLE 2.44/1.58 c OPTIMIZING... 2.44/1.58 c Got one! Elapsed wall clock time (in seconds):1.06 2.44/1.58 o 46877 21.12/16.29 c cleaning 2642 clauses out of 5284 with flag 17913/5289 61.17/54.96 c cleaning 4191 clauses out of 8670 with flag 40739/11324 86.43/79.79 c cleaning 5770 clauses out of 11540 with flag 65853/18392 119.64/112.47 c cleaning 6830 clauses out of 13659 with flag 91561/26289 149.77/142.40 c cleaning 7850 clauses out of 15791 with flag 122018/35256 185.51/178.16 c cleaning 8962 clauses out of 17932 with flag 162014/45258 219.67/212.20 c cleaning 9987 clauses out of 19974 with flag 202167/56271 264.66/257.28 c cleaning 11047 clauses out of 22093 with flag 241295/68388 310.84/303.38 c cleaning 11927 clauses out of 23918 with flag 292933/81266 355.74/347.98 c cleaning 12861 clauses out of 25976 with flag 356014/95264 407.72/399.71 c cleaning 13950 clauses out of 28087 with flag 418736/110256 467.55/459.57 c cleaning 14977 clauses out of 30136 with flag 492890/126268 532.64/534.64 c cleaning 15897 clauses out of 32124 with flag 568548/143256 585.59/587.67 c cleaning 17092 clauses out of 34208 with flag 630285/161256 647.33/649.31 c cleaning 18053 clauses out of 36105 with flag 697368/180260 708.95/710.84 c cleaning 19013 clauses out of 38031 with flag 770177/200260 775.74/777.64 c cleaning 19987 clauses out of 39991 with flag 844340/221256 845.72/848.77 c cleaning 20989 clauses out of 41980 with flag 922010/243256 922.75/925.41 c cleaning 21978 clauses out of 43974 with flag 1003438/266256 1001.53/1004.21 c cleaning 22982 clauses out of 45973 with flag 1087877/290256 1084.08/1086.85 c cleaning 23917 clauses out of 47965 with flag 1175849/315256 1171.32/1175.15 c cleaning 25024 clauses out of 50047 with flag 1271303/341284 1251.97/1255.76 c cleaning 25962 clauses out of 51962 with flag 1364246/368256 1339.92/1343.60 c cleaning 26974 clauses out of 53962 with flag 1459311/396256 1422.46/1426.16 c starts : 923 1422.46/1426.18 c conflicts : 423497 1422.46/1426.18 c decisions : 11567744 1422.46/1426.18 c propagations : 313679367 1422.46/1426.18 c inspects : 1885337648 1422.46/1426.18 c shortcuts : 0 1422.46/1426.18 c learnt literals : 459 1422.46/1426.18 c learnt binary clauses : 1258 1422.46/1426.18 c learnt ternary clauses : 1837 1422.46/1426.18 c learnt constraints : 423037 1422.46/1426.18 c ignored constraints : 0 1422.46/1426.18 c root simplifications : 0 1422.46/1426.18 c removed literals (reason simplification) : 16170633 1422.46/1426.18 c reason swapping (by a shorter reason) : 0 1422.46/1426.18 c Calls to reduceDB : 24 1422.46/1426.18 c Number of update (reduction) of LBD : 231358 1422.46/1426.19 c Imported unit clauses : 0 1422.46/1426.19 c No decision after first conflict : false 1422.46/1426.19 c number of reductions to clauses (during analyze) : 0 1422.46/1426.19 c number of learned constraints concerned by reduction : 0 1422.46/1426.19 c number of learning phase by resolution : 0 1422.46/1426.19 c number of learning phase by cutting planes : 0 1422.46/1426.19 c number of rounding to 1 operations : 0 1422.46/1426.19 c number of easy rounding to 1 operations (no literal elimination needed) : 0 1422.46/1426.19 c number of reductions of the coefficients by power 2 : 0 1422.57/1426.21 c number of right shift for reduction by power 2 : 0 1422.57/1426.21 c number of reductions of the coefficients by GCD over coefficients : 0 1422.57/1426.21 c number of ending skipping : 0 1422.57/1426.21 c number of internal skipping : 0 1422.57/1426.21 c number of derivation steps : 0 1422.57/1426.21 c number of skipped derivation steps : 0 1422.57/1426.21 c number of remaining unassigned : 0 1422.57/1426.21 c number of remaining assigned : 0 1422.57/1426.21 c number of falsified literals weakened from reason : 0 1422.57/1426.21 c number of falsified literals weakened from conflict : 0 1422.57/1426.21 c time for arithmetic operations : 0 1422.57/1426.21 c minimum degree of deleted constraints : null 1422.57/1426.21 c maximum degree of deleted constraints : null 1422.57/1426.21 c number of deleted constraints : 0 1422.57/1426.21 c speed (assignments/second) : 220081.23755954055 1422.57/1426.21 c non guided choices : 0 1422.57/1426.21 s OPTIMUM FOUND 1422.57/1426.21 c Found 1 solution(s) 1422.57/1426.23 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 x10246 -x10247 -x10248 -x10249 x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 1422.57/1426.24 c objective function=46877 1422.57/1426.24 c Total wall clock time (in seconds): 1425.717
OK 46877
Running VeriPB version 2.2.1 s VERIFIED BOUNDS 46877 <= obj <= 46877 Verification succeeded.
-- time out --
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 (59464 MiB free) memory of node 1: 64473 MiB (62835 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440417-1721820325/watcher-4440417-1721820325 -o /tmp/evaluation-result-4440417-1721820325/solver-4440417-1721820325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721820325-166386 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440417-1721820325 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440417-1721820325.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=166421, runsolver pid=166416 [startup+0.100069 s]* /proc/loadavg: 0.12 0.10 0.09 1/252 166455 /proc/meminfo: memFree=125183764/131655788 swapFree=131062208/131071996 [pid=166421] ppid=166416 vsize=16995924 memory=24480 CPUtime=0.02 cores=5,7 /proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 1705 0 87 0 0 2 0 0 20 0 5 0 18021967 17403826176 6120 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16784588 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 /proc/166421/statm: 4248981 6120 3796 1 0 540786 0 [pid=166421/tid=166440] ppid=166416 vsize=16995924 memory=4026531971 CPUtime=0.01 cores=5,7 /proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 1205 0 56 0 0 1 0 0 20 0 5 0 18021972 17403826176 6697 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16784588 0 0 0 -1 5 0 0 3 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166464] ppid=166416 vsize=16995924 memory=1699107 CPUtime=0 cores=5,7 /proc/166421/task/166464/stat : 166464 (java) R 166416 166421 166372 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 5 0 18021978 17403826176 6697 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16784588 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 Current children cumulated CPU time: 0.02 s Current children cumulated vsize: 16995924 KiB Current children cumulated memory: 24480 KiB [startup+0.215591 s]* /proc/loadavg: 0.12 0.10 0.09 6/280 166483 /proc/meminfo: memFree=125083488/131655788 swapFree=131062208/131071996 [pid=166421] ppid=166416 vsize=18594536 memory=48228 CPUtime=0.07 cores=5,7 /proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 5858 0 111 0 3 4 0 0 20 0 13 0 18021967 19040804864 12057 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 /proc/166421/statm: 4648634 12057 4702 1 0 548981 0 [pid=166421/tid=166440] ppid=166416 vsize=18594536 memory=8737651120394928259 CPUtime=0.06 cores=5,7 /proc/166421/task/166440/stat : 166440 (java) S 166416 166421 166372 0 -1 1077936192 5235 0 80 0 3 3 0 0 20 0 13 0 18021972 19040804864 12057 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166488] ppid=166416 vsize=18594536 memory=1699107 CPUtime=0 cores=5,7 /proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 13 0 18021989 19040804864 12057 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166505] ppid=166416 vsize=18594536 memory=3978987682432076123 CPUtime=0 cores=5,7 /proc/166421/task/166505/stat : 166505 (java) R 166416 166421 166372 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 13 0 18021990 19040804864 12057 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 Current children cumulated CPU time: 0.07 s Current children cumulated vsize: 18594536 KiB Current children cumulated memory: 48228 KiB [startup+0.317332 s]* /proc/loadavg: 0.12 0.10 0.09 7/316 166519 /proc/meminfo: memFree=125056328/131655788 swapFree=131062208/131071996 [pid=166421] ppid=166416 vsize=18993908 memory=57248 CPUtime=0.22 cores=5,7 /proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 6733 0 111 0 16 6 0 0 20 0 18 0 18021967 19449761792 14312 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 /proc/166421/statm: 4748477 14312 5836 1 0 550940 0 [pid=166421/tid=166440] ppid=166416 vsize=18993908 memory=-8527959959426343612 CPUtime=0.14 cores=5,7 /proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 5604 0 80 0 10 4 0 0 20 0 18 0 18021972 19449761792 14312 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166488] ppid=166416 vsize=18993908 memory=0 CPUtime=0 cores=5,7 /proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18021989 19449761792 14346 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166518] ppid=166416 vsize=18993908 memory=0 CPUtime=0 cores=5,7 /proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 18021992 19449761792 14346 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 Current children cumulated CPU time: 0.22 s Current children cumulated vsize: 18993908 KiB Current children cumulated memory: 57248 KiB [startup+0.702784 s] /proc/loadavg: 0.12 0.10 0.09 16/316 166519 /proc/meminfo: memFree=125014064/131655788 swapFree=131062208/131071996 [pid=166421] ppid=166416 vsize=18993908 memory=79192 CPUtime=0.86 cores=5,7 /proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 8810 0 111 0 77 9 0 0 20 0 18 0 18021967 19449761792 19798 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 /proc/166421/statm: 4748477 19798 6053 1 0 552487 0 [pid=166421/tid=166440] ppid=166416 vsize=18993908 memory=5724 CPUtime=0.46 cores=5,7 /proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 6075 0 80 0 41 5 0 0 20 0 18 0 18021972 19449761792 19798 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166488] ppid=166416 vsize=18993908 memory=2216 CPUtime=0 cores=5,7 /proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18021989 19449761792 19798 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166518] ppid=166416 vsize=18993908 memory=232784134201 CPUtime=0 cores=5,7 /proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 18021992 19449761792 19798 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 Current children cumulated CPU time: 0.86 s Current children cumulated vsize: 18993908 KiB Current children cumulated memory: 79192 KiB [startup+1.50877 s] /proc/loadavg: 0.12 0.10 0.09 13/319 166522 /proc/meminfo: memFree=124845796/131655788 swapFree=131062208/131071996 [pid=166421] ppid=166416 vsize=19127036 memory=176808 CPUtime=2.44 cores=5,7 /proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 14280 0 111 0 230 14 0 0 20 0 20 0 18021967 19586084864 44202 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 /proc/166421/statm: 4781759 44202 6160 1 0 554370 0 [pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=0 CPUtime=1.2 cores=5,7 /proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 6677 0 80 0 111 9 0 0 20 0 20 0 18021972 19586084864 44202 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=26440 CPUtime=0 cores=5,7 /proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 44202 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=104 CPUtime=0 cores=5,7 /proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 44202 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=0 CPUtime=0 cores=5,7 /proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 44202 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 Current children cumulated CPU time: 2.44 s Current children cumulated vsize: 19127036 KiB Current children cumulated memory: 176808 KiB [startup+3.10592 s] /proc/loadavg: 0.91 0.26 0.14 7/324 166527 /proc/meminfo: memFree=123984568/131655788 swapFree=131062208/131071996 [pid=166421] ppid=166416 vsize=19127036 memory=203532 CPUtime=5.4 cores=5,7 /proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 25422 0 111 0 522 18 0 0 20 0 20 0 18021967 19586084864 50883 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 /proc/166421/statm: 4781759 50883 6161 1 0 558452 0 [pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=0 CPUtime=2.75 cores=5,7 /proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 7576 0 80 0 266 9 0 0 20 0 20 0 18021972 19586084864 50883 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=11616 CPUtime=0 cores=5,7 /proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 50883 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=0 CPUtime=0 cores=5,7 /proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 50883 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=164 CPUtime=0 cores=5,7 /proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 50883 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 Current children cumulated CPU time: 5.4 s Current children cumulated vsize: 19127036 KiB Current children cumulated memory: 203532 KiB [startup+6.30025 s] /proc/loadavg: 0.91 0.26 0.14 8/326 166531 /proc/meminfo: memFree=123159260/131655788 swapFree=131062208/131071996 [pid=166421] ppid=166416 vsize=19127036 memory=214280 CPUtime=10.03 cores=5,7 /proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 26032 0 111 0 984 19 0 0 20 0 20 0 18021967 19586084864 53570 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 /proc/166421/statm: 4781759 53570 6169 1 0 558457 0 [pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=0 CPUtime=5.84 cores=5,7 /proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 7622 0 80 0 574 10 0 0 20 0 20 0 18021972 19586084864 53570 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=280504448404352 CPUtime=0 cores=5,7 /proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 53570 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=0 CPUtime=0 cores=5,7 /proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 53570 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=185312 CPUtime=0 cores=5,7 /proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 53570 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 Current children cumulated CPU time: 10.03 s Current children cumulated vsize: 19127036 KiB Current children cumulated memory: 214280 KiB [startup+12.7004 s] /proc/loadavg: 1.46 0.40 0.19 5/299 166631 /proc/meminfo: memFree=123123904/131655788 swapFree=131062208/131071996 [pid=166421] ppid=166416 vsize=19127036 memory=322188 CPUtime=17.28 cores=5,7 /proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 33493 0 111 0 1703 25 0 0 20 0 20 0 18021967 19586084864 80547 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 /proc/166421/statm: 4781759 80547 6169 1 0 558457 0 [pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=246236 CPUtime=12.04 cores=5,7 /proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 8612 0 80 0 1191 13 0 0 20 0 20 0 18021972 19586084864 80547 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=0 CPUtime=0 cores=5,7 /proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 80547 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=0 CPUtime=0 cores=5,7 /proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 80547 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=0 CPUtime=0 cores=5,7 /proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 80547 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 Current children cumulated CPU time: 17.28 s Current children cumulated vsize: 19127036 KiB Current children cumulated memory: 322188 KiB [startup+25.5004 s] /proc/loadavg: 2.00 0.56 0.24 5/324 166804 /proc/meminfo: memFree=122373648/131655788 swapFree=131062208/131071996 [pid=166421] ppid=166416 vsize=19127036 memory=347144 CPUtime=31.21 cores=5,7 /proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 48305 0 111 0 3090 31 0 0 20 0 20 0 18021967 19586084864 86786 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 /proc/166421/statm: 4781759 86786 6182 1 0 558489 0 [pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=0 CPUtime=24.66 cores=5,7 /proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 11412 0 80 0 2452 14 0 0 20 0 20 0 18021972 19586084864 86786 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=0 CPUtime=0 cores=5,7 /proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 86786 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=355224 CPUtime=0 cores=5,7 /proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 89 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 86786 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=59456 CPUtime=0 cores=5,7 /proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 86786 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 Current children cumulated CPU time: 31.21 s Current children cumulated vsize: 19127036 KiB Current children cumulated memory: 347144 KiB [startup+51.1137 s] /proc/loadavg: 2.93 0.90 0.37 5/324 166807 /proc/meminfo: memFree=121293976/131655788 swapFree=131062208/131071996 [pid=166421] ppid=166416 vsize=19127036 memory=511220 CPUtime=57.39 cores=5,7 /proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 62198 0 111 0 5700 39 0 0 20 0 20 0 18021967 19586084864 127805 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 /proc/166421/statm: 4781759 127805 6182 1 0 558555 0 [pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=511220 CPUtime=49.67 cores=5,7 /proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 13035 0 80 0 4950 17 0 0 20 0 20 0 18021972 19586084864 127805 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=511220 CPUtime=0 cores=5,7 /proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 127805 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=0 CPUtime=0 cores=5,7 /proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 89 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 127805 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=482548 CPUtime=0 cores=5,7 /proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 127805 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 ################ # More data... # ################ /proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 910 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 651513 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=11616 CPUtime=0 cores=5,7 /proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 651513 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 Current children cumulated CPU time: 1178.62 s Current children cumulated vsize: 19127036 KiB Current children cumulated memory: 2606052 KiB [startup+1242.3 s] /proc/loadavg: 4.12 4.08 3.14 5/317 167526 /proc/meminfo: memFree=93158932/131655788 swapFree=131062208/131071996 [pid=166421] ppid=166416 vsize=19127036 memory=2606064 CPUtime=1238.54 cores=5,7 /proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 137721 0 111 0 123621 233 0 0 20 0 20 0 18021967 19586084864 651516 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 /proc/166421/statm: 4781759 651516 6228 1 0 666705 0 [pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=59632 CPUtime=1217.35 cores=5,7 /proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 37110 0 80 0 121603 132 0 0 20 0 20 0 18021972 19586084864 651516 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1454 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=1470206954874831193 CPUtime=0 cores=5,7 /proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 651516 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=2606064 CPUtime=0 cores=5,7 /proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 984 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 651516 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=59632 CPUtime=0 cores=5,7 /proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 651516 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 Current children cumulated CPU time: 1238.54 s Current children cumulated vsize: 19127036 KiB Current children cumulated memory: 2606064 KiB [startup+1302.3 s] /proc/loadavg: 4.17 4.10 3.21 5/317 167536 /proc/meminfo: memFree=92829472/131655788 swapFree=131062208/131071996 [pid=166421] ppid=166416 vsize=19127036 memory=2606092 CPUtime=1298.65 cores=5,7 /proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 138681 0 111 0 129626 239 0 0 20 0 20 0 18021967 19586084864 651523 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 /proc/166421/statm: 4781759 651523 6228 1 0 666705 0 [pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=2606088 CPUtime=1276.8 cores=5,7 /proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 37454 0 80 0 127544 136 0 0 20 0 20 0 18021972 19586084864 651523 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1456 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=-8744977166470259388 CPUtime=0 cores=5,7 /proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 651523 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=11616 CPUtime=0 cores=5,7 /proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 984 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 651523 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=2606088 CPUtime=0 cores=5,7 /proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 651523 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 Current children cumulated CPU time: 1298.65 s Current children cumulated vsize: 19127036 KiB Current children cumulated memory: 2606092 KiB [startup+1362.3 s] /proc/loadavg: 4.18 4.11 3.27 5/317 167546 /proc/meminfo: memFree=92412368/131655788 swapFree=131062208/131071996 [pid=166421] ppid=166416 vsize=19127036 memory=2606092 CPUtime=1358.68 cores=5,7 /proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 139300 0 111 0 135622 246 0 0 20 0 20 0 18021967 19586084864 651523 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 /proc/166421/statm: 4781759 651523 6228 1 0 666705 0 [pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=-8744977166470259388 CPUtime=1336.3 cores=5,7 /proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 37968 0 80 0 133490 140 0 0 20 0 20 0 18021972 19586084864 651523 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1459 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=2606088 CPUtime=0 cores=5,7 /proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 651523 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=2606092 CPUtime=0 cores=5,7 /proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 987 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 651523 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=2606092 CPUtime=0 cores=5,7 /proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 651523 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 Current children cumulated CPU time: 1358.68 s Current children cumulated vsize: 19127036 KiB Current children cumulated memory: 2606092 KiB [startup+1422.3 s] /proc/loadavg: 4.06 4.09 3.32 5/317 167556 /proc/meminfo: memFree=92021540/131655788 swapFree=131062208/131071996 [pid=166421] ppid=166416 vsize=19127036 memory=2606112 CPUtime=1418.63 cores=5,7 /proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 141279 0 111 0 141610 253 0 0 20 0 20 0 18021967 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 /proc/166421/statm: 4781759 651528 6228 1 0 666705 0 [pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=-8744977166470259388 CPUtime=1396.04 cores=5,7 /proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 38744 0 80 0 139459 145 0 0 20 0 20 0 18021972 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1460 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=2606092 CPUtime=0 cores=5,7 /proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=2606112 CPUtime=0 cores=5,7 /proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 1069 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=4588496 CPUtime=0 cores=5,7 /proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 Current children cumulated CPU time: 1418.63 s Current children cumulated vsize: 19127036 KiB Current children cumulated memory: 2606112 KiB [startup+1426.27 s] # the end of solver process 166421 was just reported to runsolver # Child status: 30 # cumulated CPU time of all completed processes: user=1420.09 s, system=2.57073 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1424 s]* /proc/loadavg: 4.06 4.09 3.32 5/317 167557 /proc/meminfo: memFree=92007208/131655788 swapFree=131062208/131071996 [pid=166421] ppid=166416 vsize=19127036 memory=2606112 CPUtime=1420.34 cores=5,7 /proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 141305 0 111 0 141781 253 0 0 20 0 20 0 18021967 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 /proc/166421/statm: 4781759 651528 6228 1 0 666705 0 [pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=-9175919749565817532 CPUtime=1397.75 cores=5,7 /proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 38770 0 80 0 139630 145 0 0 20 0 20 0 18021972 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1460 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=4852 CPUtime=0 cores=5,7 /proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=4588496 CPUtime=0 cores=5,7 /proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 1069 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=2712 CPUtime=0 cores=5,7 /proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 Current children cumulated CPU time: 1420.34 s Current children cumulated vsize: 19127036 KiB Current children cumulated memory: 2606112 KiB [startup+1425.6 s] /proc/loadavg: 4.06 4.09 3.32 5/317 167557 /proc/meminfo: memFree=92001248/131655788 swapFree=131062208/131071996 [pid=166421] ppid=166416 vsize=19127036 memory=2606112 CPUtime=1421.92 cores=5,7 /proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 141307 0 111 0 141939 253 0 0 20 0 20 0 18021967 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 /proc/166421/statm: 4781759 651528 6228 1 0 666705 0 [pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=18416 CPUtime=1399.33 cores=5,7 /proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 38772 0 80 0 139788 145 0 0 20 0 20 0 18021972 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1460 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=2216 CPUtime=0 cores=5,7 /proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=25760 CPUtime=0 cores=5,7 /proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 1069 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=11616 CPUtime=0 cores=5,7 /proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 Current children cumulated CPU time: 1421.92 s Current children cumulated vsize: 19127036 KiB Current children cumulated memory: 2606112 KiB [startup+1426 s]* /proc/loadavg: 4.06 4.09 3.32 5/317 167557 /proc/meminfo: memFree=91995624/131655788 swapFree=131062208/131071996 [pid=166421] ppid=166416 vsize=19127036 memory=2606144 CPUtime=1422.34 cores=5,7 /proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 141910 0 111 0 141981 253 0 0 20 0 20 0 18021967 19586084864 651536 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 /proc/166421/statm: 4781759 651536 6228 1 0 666705 0 [pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=-9175919749565817532 CPUtime=1399.74 cores=5,7 /proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 39205 0 80 0 139829 145 0 0 20 0 20 0 18021972 19586084864 651536 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1460 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=1470206954874831193 CPUtime=0 cores=5,7 /proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 651536 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=59632 CPUtime=0 cores=5,7 /proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 1069 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 651536 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=12368 CPUtime=0 cores=5,7 /proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 651536 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 Current children cumulated CPU time: 1422.34 s Current children cumulated vsize: 19127036 KiB Current children cumulated memory: 2606144 KiB [startup+1426.2 s] /proc/loadavg: 4.06 4.09 3.32 5/317 167557 /proc/meminfo: memFree=91995624/131655788 swapFree=131062208/131071996 [pid=166421] ppid=166416 vsize=19260164 memory=2607012 CPUtime=1422.57 cores=5,7 /proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 146333 0 111 0 142003 254 0 0 20 0 20 0 18021967 19722407936 651753 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 /proc/166421/statm: 4815041 651753 6229 1 0 667455 0 [pid=166421/tid=166440] ppid=166416 vsize=19260164 memory=-8744977166470259388 CPUtime=1399.86 cores=5,7 /proc/166421/task/166440/stat : 166440 (java) S 166416 166421 166372 0 -1 1077936192 40695 0 80 0 139840 146 0 0 20 0 20 0 18021972 19722407936 651753 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1462 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166488] ppid=166416 vsize=19260164 memory=1690645 CPUtime=0 cores=5,7 /proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19722407936 651753 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 [pid=166421/tid=166518] ppid=166416 vsize=19260164 memory=1699318 CPUtime=0 cores=5,7 /proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 1069 0 0 0 0 0 0 0 20 0 20 0 18021992 19722407936 651753 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0 Current children cumulated CPU time: 1422.57 s Current children cumulated vsize: 19260164 KiB Current children cumulated memory: 2607012 KiB Child status: 30 Real time (s): 1426.27 CPU time (s): 1422.66 CPU user time (s): 1420.09 CPU system time (s): 2.57073 CPU usage (%): 99.7468 Max. virtual memory (cumulated for all children) (KiB): 19260164 Max. memory (cumulated for all children) (KiB): 2607012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1420.09 system time used= 2.57073 maximum resident set size= 2608020 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 147012 page faults= 111 swaps= 0 block input operations= 20744 block output operations= 1864648 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 45952 involuntary context switches= 3145 # summary of solver processes directly reported to runsolver: # pid: 166421 # total CPU time (s): 1422.66 # total CPU user time (s): 1420.09 # total CPU system time (s): 2.57073 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.0463 second user time and 14.999 second system time The end
Begin job on nodeC007 at 2024-07-24 13:25:25 IDJOB=4440417 IDBENCH=148744 IDSOLVER=3079 FILE ID=nodeC007/4440417-1721820325 RUNJOBID= nodeC007-1721820325-166386 SLURM_JOB_ID= 7891455 Free space on /tmp= 723784 MiB SOLVER NAME= Sat4j Resolution 2024 2024-07-07 BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__256.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440417-1721820325/watcher-4440417-1721820325 -o /tmp/evaluation-result-4440417-1721820325/solver-4440417-1721820325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721820325-166386 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440417-1721820325 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440417-1721820325.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 88337e6e5493c2d9c389f064d6ad9b51 RANDOM SEED=1968991675 nodeC007.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 : 1197.207 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 : 6983.67 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 : 1197.226 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.37 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.210 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 : 6983.67 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.227 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.37 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 : 1197.229 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 : 6983.67 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 : 1197.198 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.37 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.215 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 : 6983.67 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 : 1197.208 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 125239296 kB MemAvailable: 129909164 kB Buffers: 248532 kB Cached: 5112116 kB SwapCached: 160 kB Active: 1666268 kB Inactive: 3941144 kB Active(anon): 1720 kB Inactive(anon): 290392 kB Active(file): 1664548 kB Inactive(file): 3650752 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131062208 kB Dirty: 1836 kB Writeback: 0 kB AnonPages: 246652 kB Mapped: 87784 kB Shmem: 45352 kB KReclaimable: 389532 kB Slab: 501268 kB SReclaimable: 389532 kB SUnreclaim: 111736 kB KernelStack: 3572 kB PageTables: 9560 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 611308 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14336 kB HardwareCorrupted: 0 kB AnonHugePages: 135168 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: 437064 kB DirectMap2M: 60284928 kB DirectMap1G: 75497472 kB Free space on /tmp at the end= 723540 MiB End job on nodeC007 at 2024-07-24 13:49:12