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

OK	7689

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: 63837 MiB (63250 MiB free)
  memory of node 1: 64465 MiB (63792 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522052-1751595442/watcher-4522052-1751595442 -o /tmp/evaluation-result-4522052-1751595442/solver-4522052-1751595442 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751595442-85917 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4522052-1751595442.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=85959, runsolver pid=85951

[startup+0.100078 s]*
/proc/loadavg: 0.71 2.77 3.59 2/251 85967
/proc/meminfo: memFree=130078308/131382112 swapFree=33002444/33010684
[pid=85959] ppid=85951 vsize=226740 memory=11008 CPUtime=0.01 cores=5,7
/proc/85959/stat : 85959 (java) S 85951 85959 85904 0 -1 4194304 661 0 32 0 0 1 0 0 20 0 2 0 75223628 232181760 2752 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 0 0 16784588 0 0 0 17 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
/proc/85959/statm: 56685 2752 2368 1 0 597 0
[pid=85959/tid=85966] ppid=85951 vsize=226700 memory=4026532361 CPUtime=0 cores=5,7
/proc/85959/task/85966/stat : 85966 (java) R 85951 85959 85904 0 -1 4194368 108 0 1 0 0 0 0 0 20 0 2 0 75223638 232140800 2752 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 0 0 16784588 0 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 226740 KiB
Current children cumulated memory: 11008 KiB

[startup+0.214359 s]*
/proc/loadavg: 0.71 2.77 3.59 5/268 85984
/proc/meminfo: memFree=130056272/131382112 swapFree=33002444/33010684
[pid=85959] ppid=85951 vsize=18130736 memory=29916 CPUtime=0.03 cores=5,7
/proc/85959/stat : 85959 (java) S 85951 85959 85904 0 -1 4194304 3832 0 149 0 0 3 0 0 20 0 7 0 75223628 18565873664 7479 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 0 0 16784588 0 0 0 17 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
/proc/85959/statm: 4532684 7479 3360 1 0 540973 0
[pid=85959/tid=85966] ppid=85951 vsize=18130736 memory=3472328132922703991 CPUtime=0.02 cores=5,7
/proc/85959/task/85966/stat : 85966 (java) D 85951 85959 85904 0 -1 4194368 3262 0 118 0 0 2 0 0 20 0 7 0 75223638 18565873664 7479 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16784588 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 18130736 KiB
Current children cumulated memory: 29916 KiB

[startup+0.31881 s]*
/proc/loadavg: 0.71 2.77 3.59 3/301 86022
/proc/meminfo: memFree=130012540/131382112 swapFree=33002444/33010684
[pid=85959] ppid=85951 vsize=18930384 memory=49044 CPUtime=0.11 cores=5,7
/proc/85959/stat : 85959 (java) S 85951 85959 85904 0 -1 4194304 5558 0 177 0 6 5 0 0 20 0 18 0 75223628 19384713216 12261 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
/proc/85959/statm: 4732596 12261 5074 1 0 546907 0
[pid=85959/tid=85966] ppid=85951 vsize=18930384 memory=-6656715414236664163 CPUtime=0.06 cores=5,7
/proc/85959/task/85966/stat : 85966 (java) D 85951 85959 85904 0 -1 4194368 4475 0 145 0 3 3 0 0 20 0 18 0 75223638 19384713216 12261 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=85998] ppid=85951 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/85959/task/85998/stat : 85998 (Finalizer) S 85951 85959 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75223655 19384713216 12261 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86020] ppid=85951 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/85959/task/86020/stat : 86020 (Common-Cleaner) S 85951 85959 85904 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 75223657 19384713216 12261 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49044 KiB

[startup+0.700389 s]
/proc/loadavg: 0.71 2.77 3.59 8/322 86043
/proc/meminfo: memFree=129990672/131382112 swapFree=33002444/33010684
[pid=85959] ppid=85951 vsize=18930384 memory=60520 CPUtime=0.51 cores=5,7
/proc/85959/stat : 85959 (java) S 85951 85959 85904 0 -1 4194304 6569 0 178 0 44 7 0 0 20 0 18 0 75223628 19384713216 15130 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
/proc/85959/statm: 4732596 15130 5426 1 0 547771 0
[pid=85959/tid=85966] ppid=85951 vsize=18930384 memory=0 CPUtime=0.3 cores=5,7
/proc/85959/task/85966/stat : 85966 (java) R 85951 85959 85904 0 -1 4194368 5104 0 146 0 25 5 0 0 20 0 18 0 75223638 19384713216 15130 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=85998] ppid=85951 vsize=18930384 memory=11136 CPUtime=0 cores=5,7
/proc/85959/task/85998/stat : 85998 (Finalizer) S 85951 85959 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75223655 19384713216 15130 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86020] ppid=85951 vsize=18930384 memory=19456 CPUtime=0 cores=5,7
/proc/85959/task/86020/stat : 86020 (Common-Cleaner) S 85951 85959 85904 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 75223657 19384713216 15130 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60520 KiB

[startup+1.50034 s]
/proc/loadavg: 0.71 2.77 3.59 9/323 86044
/proc/meminfo: memFree=129480568/131382112 swapFree=33002444/33010684
[pid=85959] ppid=85951 vsize=19063512 memory=175440 CPUtime=2.07 cores=5,7
/proc/85959/stat : 85959 (java) S 85951 85959 85904 0 -1 4194304 14043 0 178 0 193 14 0 0 20 0 20 0 75223628 19521036288 43860 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
/proc/85959/statm: 4765878 43860 5490 1 0 553952 0
[pid=85959/tid=85966] ppid=85951 vsize=19063512 memory=0 CPUtime=0.97 cores=5,7
/proc/85959/task/85966/stat : 85966 (java) R 85951 85959 85904 0 -1 4194368 5338 0 146 0 89 8 0 0 20 0 20 0 75223638 19521036288 43860 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=85998] ppid=85951 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/85959/task/85998/stat : 85998 (Finalizer) S 85951 85959 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223655 19521036288 43860 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86020] ppid=85951 vsize=19063512 memory=33 CPUtime=0 cores=5,7
/proc/85959/task/86020/stat : 86020 (Common-Cleaner) S 85951 85959 85904 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 75223657 19521036288 43860 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
Current children cumulated CPU time: 2.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175440 KiB

[startup+3.10601 s]
/proc/loadavg: 0.71 2.77 3.59 7/328 86049
/proc/meminfo: memFree=128153348/131382112 swapFree=33002444/33010684
[pid=85959] ppid=85951 vsize=19063512 memory=180176 CPUtime=5.24 cores=5,7
/proc/85959/stat : 85959 (java) S 85951 85959 85904 0 -1 4194304 23408 0 178 0 508 16 0 0 20 0 20 0 75223628 19521036288 45044 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
/proc/85959/statm: 4765878 45044 5522 1 0 554825 0
[pid=85959/tid=85966] ppid=85951 vsize=19063512 memory=198340509722 CPUtime=2.52 cores=5,7
/proc/85959/task/85966/stat : 85966 (java) R 85951 85959 85904 0 -1 4194368 7029 0 146 0 243 9 0 0 20 0 20 0 75223638 19521036288 45044 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=85998] ppid=85951 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/85959/task/85998/stat : 85998 (Finalizer) S 85951 85959 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223655 19521036288 45044 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86020] ppid=85951 vsize=19063512 memory=179920 CPUtime=0 cores=5,7
/proc/85959/task/86020/stat : 86020 (Common-Cleaner) S 85951 85959 85904 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 75223657 19521036288 45044 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86048] ppid=85951 vsize=19063512 memory=19456 CPUtime=0 cores=5,7
/proc/85959/task/86048/stat : 86048 (Timer-0) S 85951 85959 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75223744 19521036288 45044 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
Current children cumulated CPU time: 5.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180176 KiB

[startup+6.30044 s]
/proc/loadavg: 1.05 2.81 3.60 5/328 86049
/proc/meminfo: memFree=127003556/131382112 swapFree=33002444/33010684
[pid=85959] ppid=85951 vsize=19063512 memory=225060 CPUtime=9.47 cores=5,7
/proc/85959/stat : 85959 (java) S 85951 85959 85904 0 -1 4194304 24422 0 178 0 929 18 0 0 20 0 20 0 75223628 19521036288 56265 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
/proc/85959/statm: 4765878 56265 5554 1 0 554943 0
[pid=85959/tid=85966] ppid=85951 vsize=19063512 memory=0 CPUtime=5.56 cores=5,7
/proc/85959/task/85966/stat : 85966 (java) R 85951 85959 85904 0 -1 4194368 7068 0 146 0 547 9 0 0 20 0 20 0 75223638 19521036288 56265 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=85998] ppid=85951 vsize=19063512 memory=225060 CPUtime=0 cores=5,7
/proc/85959/task/85998/stat : 85998 (Finalizer) S 85951 85959 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223655 19521036288 56265 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86020] ppid=85951 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/85959/task/86020/stat : 86020 (Common-Cleaner) S 85951 85959 85904 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 75223657 19521036288 56265 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86048] ppid=85951 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/85959/task/86048/stat : 86048 (Timer-0) S 85951 85959 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75223744 19521036288 56265 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
Current children cumulated CPU time: 9.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 225060 KiB

[startup+12.7004 s]
/proc/loadavg: 1.37 2.84 3.61 6/328 86050
/proc/meminfo: memFree=124462092/131382112 swapFree=33002444/33010684
[pid=85959] ppid=85951 vsize=19063512 memory=479608 CPUtime=16.14 cores=5,7
/proc/85959/stat : 85959 (java) S 85951 85959 85904 0 -1 4194304 25226 0 178 0 1591 23 0 0 20 0 20 0 75223628 19521036288 119902 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
/proc/85959/statm: 4765878 119902 5554 1 0 554943 0
[pid=85959/tid=85966] ppid=85951 vsize=19063512 memory=185476 CPUtime=11.5 cores=5,7
/proc/85959/task/85966/stat : 85966 (java) R 85951 85959 85904 0 -1 4194368 7422 0 146 0 1140 10 0 0 20 0 20 0 75223638 19521036288 119902 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=85998] ppid=85951 vsize=19063512 memory=313368 CPUtime=0 cores=5,7
/proc/85959/task/85998/stat : 85998 (Finalizer) S 85951 85959 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223655 19521036288 119902 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86020] ppid=85951 vsize=19063512 memory=-6000919502771021671 CPUtime=0 cores=5,7
/proc/85959/task/86020/stat : 86020 (Common-Cleaner) S 85951 85959 85904 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 75223657 19521036288 119902 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86048] ppid=85951 vsize=19063512 memory=33 CPUtime=0 cores=5,7
/proc/85959/task/86048/stat : 86048 (Timer-0) S 85951 85959 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75223744 19521036288 119902 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
Current children cumulated CPU time: 16.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 479608 KiB

[startup+25.5005 s]
/proc/loadavg: 2.03 2.92 3.62 5/329 86051
/proc/meminfo: memFree=121931000/131382112 swapFree=33002444/33010684
[pid=85959] ppid=85951 vsize=19063512 memory=1193196 CPUtime=29.6 cores=5,7
/proc/85959/stat : 85959 (java) S 85951 85959 85904 0 -1 4194304 28842 0 178 0 2922 38 0 0 20 0 20 0 75223628 19521036288 298299 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
/proc/85959/statm: 4765878 298299 5554 1 0 974799 0
[pid=85959/tid=85966] ppid=85951 vsize=19063512 memory=1082388 CPUtime=23.56 cores=5,7
/proc/85959/task/85966/stat : 85966 (java) R 85951 85959 85904 0 -1 4194368 8350 0 146 0 2343 13 0 0 20 0 20 0 75223638 19521036288 298299 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=85998] ppid=85951 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/85959/task/85998/stat : 85998 (Finalizer) S 85951 85959 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223655 19521036288 298299 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86020] ppid=85951 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/85959/task/86020/stat : 86020 (Common-Cleaner) S 85951 85959 85904 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 75223657 19521036288 298299 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86048] ppid=85951 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/85959/task/86048/stat : 86048 (Timer-0) S 85951 85959 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75223744 19521036288 298299 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
Current children cumulated CPU time: 29.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1193196 KiB

[startup+51.1057 s]
/proc/loadavg: 2.76 3.02 3.64 6/330 86052
/proc/meminfo: memFree=118892276/131382112 swapFree=33002444/33010684
[pid=85959] ppid=85951 vsize=19063512 memory=2385276 CPUtime=56.23 cores=5,7
/proc/85959/stat : 85959 (java) S 85951 85959 85904 0 -1 4194304 31739 0 178 0 5558 65 0 0 20 0 20 0 75223628 19521036288 596319 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
/proc/85959/statm: 4765878 596319 5554 1 0 1177422 0
[pid=85959/tid=85966] ppid=85951 vsize=19063512 memory=2200956 CPUtime=47.52 cores=5,7
/proc/85959/task/85966/stat : 85966 (java) R 85951 85959 85904 0 -1 4194368 9326 0 146 0 4736 16 0 0 20 0 20 0 75223638 19521036288 596319 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=85998] ppid=85951 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/85959/task/85998/stat : 85998 (Finalizer) S 85951 85959 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223655 19521036288 596319 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86020] ppid=85951 vsize=19063512 memory=2200956 CPUtime=0 cores=5,7
/proc/85959/task/86020/stat : 86020 (Common-Cleaner) S 85951 85959 85904 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 75223657 19521036288 596319 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86048] ppid=85951 vsize=19063512 memory=5744 CPUtime=0 cores=5,7
/proc/85959/task/86048/stat : 86048 (Timer-0) S 85951 85959 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75223744 19521036288 596319 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
Current children cumulated CPU time: 56.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2385276 KiB

[startup+102.3 s]
/proc/loadavg: 3.77 3.26 3.69 5/330 86124
/proc/meminfo: memFree=114769604/131382112 swapFree=33002444/33010684
[pid=85959] ppid=85951 vsize=19063512 memory=3917260 CPUtime=111.76 cores=5,7

################
# More data... #
################

/proc/meminfo: memFree=75712492/131382112 swapFree=33002444/33010684
[pid=85959] ppid=85951 vsize=19063512 memory=15707536 CPUtime=3341.68 cores=5,7
/proc/85959/stat : 85959 (java) S 85951 85959 85904 0 -1 4194304 363382 0 178 0 333564 604 0 0 20 0 20 0 75223628 19521036288 3926884 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
/proc/85959/statm: 4765878 3926884 5554 1 0 4084352 0
[pid=85959/tid=85966] ppid=85951 vsize=19063512 memory=14848 CPUtime=2951.62 cores=5,7
/proc/85959/task/85966/stat : 85966 (java) R 85951 85959 85904 0 -1 4194368 144809 0 146 0 295040 122 0 0 20 0 20 0 75223638 19521036288 3926884 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=85998] ppid=85951 vsize=19063512 memory=15705472 CPUtime=0 cores=5,7
/proc/85959/task/85998/stat : 85998 (Finalizer) S 85951 85959 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223655 19521036288 3926884 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86020] ppid=85951 vsize=19063512 memory=15705472 CPUtime=0 cores=5,7
/proc/85959/task/86020/stat : 86020 (Common-Cleaner) S 85951 85959 85904 0 -1 4194368 2044 0 0 0 0 0 0 0 20 0 20 0 75223657 19521036288 3926884 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86048] ppid=85951 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/85959/task/86048/stat : 86048 (Timer-0) S 85951 85959 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75223744 19521036288 3926884 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
Current children cumulated CPU time: 3341.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15707536 KiB

[startup+3162.3 s]
/proc/loadavg: 4.26 4.34 4.29 6/326 86273
/proc/meminfo: memFree=75415036/131382112 swapFree=33002444/33010684
[pid=85959] ppid=85951 vsize=19063512 memory=15773316 CPUtime=3407.12 cores=5,7
/proc/85959/stat : 85959 (java) S 85951 85959 85904 0 -1 4194304 371003 0 178 0 340101 611 0 0 20 0 20 0 75223628 19521036288 3943329 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
/proc/85959/statm: 4765878 3943329 5554 1 0 4084409 0
[pid=85959/tid=85966] ppid=85951 vsize=19063512 memory=14848 CPUtime=3008.32 cores=5,7
/proc/85959/task/85966/stat : 85966 (java) R 85951 85959 85904 0 -1 4194368 148253 0 146 0 300709 123 0 0 20 0 20 0 75223638 19521036288 3943329 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=85998] ppid=85951 vsize=19063512 memory=15705472 CPUtime=0 cores=5,7
/proc/85959/task/85998/stat : 85998 (Finalizer) S 85951 85959 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223655 19521036288 3943329 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86020] ppid=85951 vsize=19063512 memory=15705472 CPUtime=0 cores=5,7
/proc/85959/task/86020/stat : 86020 (Common-Cleaner) S 85951 85959 85904 0 -1 4194368 2044 0 0 0 0 0 0 0 20 0 20 0 75223657 19521036288 3943329 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86048] ppid=85951 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/85959/task/86048/stat : 86048 (Timer-0) S 85951 85959 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75223744 19521036288 3943329 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
Current children cumulated CPU time: 3407.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15773316 KiB

[startup+3222.3 s]
/proc/loadavg: 4.31 4.34 4.29 6/326 86275
/proc/meminfo: memFree=74862436/131382112 swapFree=33002444/33010684
[pid=85959] ppid=85951 vsize=19063512 memory=16277596 CPUtime=3469.51 cores=5,7
/proc/85959/stat : 85959 (java) S 85951 85959 85904 0 -1 4194304 376610 0 178 0 346327 624 0 0 20 0 20 0 75223628 19521036288 4069399 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
/proc/85959/statm: 4765878 4069399 5554 1 0 4084409 0
[pid=85959/tid=85966] ppid=85951 vsize=19063512 memory=14848 CPUtime=3065.3 cores=5,7
/proc/85959/task/85966/stat : 85966 (java) R 85951 85959 85904 0 -1 4194368 151180 0 146 0 306406 124 0 0 20 0 20 0 75223638 19521036288 4069399 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=85998] ppid=85951 vsize=19063512 memory=15705472 CPUtime=0 cores=5,7
/proc/85959/task/85998/stat : 85998 (Finalizer) S 85951 85959 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223655 19521036288 4069399 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86020] ppid=85951 vsize=19063512 memory=16207684 CPUtime=0 cores=5,7
/proc/85959/task/86020/stat : 86020 (Common-Cleaner) S 85951 85959 85904 0 -1 4194368 2081 0 0 0 0 0 0 0 20 0 20 0 75223657 19521036288 4069399 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86048] ppid=85951 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/85959/task/86048/stat : 86048 (Timer-0) S 85951 85959 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75223744 19521036288 4069399 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
Current children cumulated CPU time: 3469.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16277596 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.30 4.28 6/326 86279
/proc/meminfo: memFree=74861812/131382112 swapFree=33002444/33010684
[pid=85959] ppid=85951 vsize=19063512 memory=16280412 CPUtime=3541.1 cores=5,7
/proc/85959/stat : 85959 (java) S 85951 85959 85904 0 -1 4194304 388927 0 178 0 353482 628 0 0 20 0 20 0 75223628 19521036288 4070103 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
/proc/85959/statm: 4765878 4070103 5554 1 0 4085027 0
[pid=85959/tid=85966] ppid=85951 vsize=19063512 memory=16280412 CPUtime=3113.06 cores=5,7
/proc/85959/task/85966/stat : 85966 (java) R 85951 85959 85904 0 -1 4194368 154004 0 146 0 311182 124 0 0 20 0 20 0 75223638 19521036288 4070103 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=85998] ppid=85951 vsize=19063512 memory=16280412 CPUtime=0 cores=5,7
/proc/85959/task/85998/stat : 85998 (Finalizer) S 85951 85959 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223655 19521036288 4070103 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86020] ppid=85951 vsize=19063512 memory=16280412 CPUtime=0 cores=5,7
/proc/85959/task/86020/stat : 86020 (Common-Cleaner) S 85951 85959 85904 0 -1 4194368 2086 0 0 0 0 0 0 0 20 0 20 0 75223657 19521036288 4070103 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86048] ppid=85951 vsize=19063512 memory=2760 CPUtime=0 cores=5,7
/proc/85959/task/86048/stat : 86048 (Timer-0) S 85951 85959 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75223744 19521036288 4070103 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
Current children cumulated CPU time: 3541.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16280412 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3338.5 s]
/proc/loadavg: 4.25 4.30 4.28 7/326 86281
/proc/meminfo: memFree=74862136/131382112 swapFree=33002444/33010684
[pid=85959] ppid=85951 vsize=19063512 memory=16280412 CPUtime=3600.01 cores=5,7
/proc/85959/stat : 85959 (java) S 85951 85959 85904 0 -1 4194304 393923 0 178 0 359368 633 0 0 20 0 20 0 75223628 19521036288 4070103 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
/proc/85959/statm: 4765878 4070103 5554 1 0 4085027 0
[pid=85959/tid=85966] ppid=85951 vsize=19063512 memory=16280412 CPUtime=3166.24 cores=5,7
/proc/85959/task/85966/stat : 85966 (java) S 85951 85959 85904 0 -1 4194368 156502 0 146 0 316500 124 0 0 20 0 20 0 75223638 19521036288 4070103 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=85998] ppid=85951 vsize=19063512 memory=16280412 CPUtime=0 cores=5,7
/proc/85959/task/85998/stat : 85998 (Finalizer) S 85951 85959 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223655 19521036288 4070103 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86020] ppid=85951 vsize=19063512 memory=46592 CPUtime=0 cores=5,7
/proc/85959/task/86020/stat : 86020 (Common-Cleaner) S 85951 85959 85904 0 -1 4194368 2129 0 0 0 0 0 0 0 20 0 20 0 75223657 19521036288 4070103 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86048] ppid=85951 vsize=19063512 memory=16280412 CPUtime=0 cores=5,7
/proc/85959/task/86048/stat : 86048 (Timer-0) S 85951 85959 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75223744 19521036288 4070103 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16280412 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3339.19 s]
# the end of solver process 85959 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3594.87 s, system=6.40626 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3338.8 s]
/proc/loadavg: 4.25 4.30 4.28 7/326 86281
/proc/meminfo: memFree=74862136/131382112 swapFree=33002444/33010684
[pid=85959] ppid=85951 vsize=19063512 memory=16280412 CPUtime=3600.6 cores=5,7
/proc/85959/stat : 85959 (java) S 85951 85959 85904 0 -1 4194304 394214 0 178 0 359427 633 0 0 20 0 20 0 75223628 19521036288 4070103 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
/proc/85959/statm: 4765878 4070103 5554 1 0 4085027 0
[pid=85959/tid=85966] ppid=85951 vsize=19063512 memory=245635481903 CPUtime=3166.24 cores=5,7
/proc/85959/task/85966/stat : 85966 (java) S 85951 85959 85904 0 -1 4194368 156502 0 146 0 316500 124 0 0 20 0 20 0 75223638 19521036288 4070103 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=85998] ppid=85951 vsize=19063512 memory=54113165640434 CPUtime=0 cores=5,7
/proc/85959/task/85998/stat : 85998 (Finalizer) S 85951 85959 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75223655 19521036288 4070103 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86020] ppid=85951 vsize=19063512 memory=361384 CPUtime=0 cores=5,7
/proc/85959/task/86020/stat : 86020 (Common-Cleaner) S 85951 85959 85904 0 -1 4194368 2129 0 0 0 0 0 0 0 20 0 20 0 75223657 19521036288 4070103 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86048] ppid=85951 vsize=19063512 memory=736537078169721049 CPUtime=0 cores=5,7
/proc/85959/task/86048/stat : 86048 (Timer-0) S 85951 85959 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75223744 19521036288 4070103 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
Current children cumulated CPU time: 3600.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16280412 KiB

[startup+3339 s]*
/proc/loadavg: 4.25 4.30 4.28 8/327 86284
/proc/meminfo: memFree=74860372/131382112 swapFree=33002444/33010684
[pid=85959] ppid=85951 vsize=19263204 memory=16281052 CPUtime=3601 cores=5,7
/proc/85959/stat : 85959 (java) S 85951 85959 85904 0 -1 4194304 397551 0 178 0 359466 634 0 0 20 0 21 0 75223628 19725520896 4070263 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
/proc/85959/statm: 4815801 4070263 5586 1 0 4085935 0
[pid=85959/tid=85966] ppid=85951 vsize=19263204 memory=-6000919507150399079 CPUtime=3166.39 cores=5,7
/proc/85959/task/85966/stat : 85966 (java) R 85951 85959 85904 0 -1 4194368 157193 0 146 0 316515 124 0 0 20 0 21 0 75223638 19725520896 4070263 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=85998] ppid=85951 vsize=19263204 memory=2432 CPUtime=0 cores=5,7
/proc/85959/task/85998/stat : 85998 (Finalizer) S 85951 85959 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 75223655 19725520896 4070263 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86020] ppid=85951 vsize=19263204 memory=3456 CPUtime=0 cores=5,7
/proc/85959/task/86020/stat : 86020 (Common-Cleaner) S 85951 85959 85904 0 -1 4194368 2129 0 0 0 0 0 0 0 20 0 21 0 75223657 19725520896 4070263 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86284] ppid=85951 vsize=19263204 memory=1792 CPUtime=0.05 cores=5,7
/proc/85959/task/86284/stat : 86284 (Thread-0) R 85951 85959 85904 0 -1 4194368 956 0 0 0 5 0 0 0 20 0 21 0 75557515 19725520896 4070263 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
Current children cumulated CPU time: 3601 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 16281052 KiB

[startup+3339.11 s]
/proc/loadavg: 4.25 4.30 4.28 8/327 86284
/proc/meminfo: memFree=74860372/131382112 swapFree=33002444/33010684
[pid=85959] ppid=85951 vsize=19263204 memory=16281180 CPUtime=3601.21 cores=5,7
/proc/85959/stat : 85959 (java) S 85951 85959 85904 0 -1 4194304 398070 0 178 0 359486 635 0 0 20 0 21 0 75223628 19725520896 4070295 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
/proc/85959/statm: 4815801 4070295 5586 1 0 4085951 0
[pid=85959/tid=85966] ppid=85951 vsize=19263204 memory=16280412 CPUtime=3166.49 cores=5,7
/proc/85959/task/85966/stat : 85966 (java) R 85951 85959 85904 0 -1 4194368 157193 0 146 0 316525 124 0 0 20 0 21 0 75223638 19725520896 4070295 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=85998] ppid=85951 vsize=19263204 memory=16280412 CPUtime=0 cores=5,7
/proc/85959/task/85998/stat : 85998 (Finalizer) S 85951 85959 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 75223655 19725520896 4070295 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86020] ppid=85951 vsize=19263204 memory=14848 CPUtime=0 cores=5,7
/proc/85959/task/86020/stat : 86020 (Common-Cleaner) S 85951 85959 85904 0 -1 4194368 2129 0 0 0 0 0 0 0 20 0 21 0 75223657 19725520896 4070295 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
[pid=85959/tid=86284] ppid=85951 vsize=19263204 memory=16280412 CPUtime=0.1 cores=5,7
/proc/85959/task/86284/stat : 86284 (Thread-0) R 85951 85959 85904 0 -1 4194368 1453 0 0 0 10 0 0 0 20 0 21 0 75557515 19725520896 4070295 18446744073709551615 93860905906176 93860905909872 140726786785648 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860905917688 93860905918480 93860906827776 140726786791809 140726786791910 140726786791910 140726786797512 0
Current children cumulated CPU time: 3601.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 16281180 KiB

Child status: 143

Real time (s): 3339.19
CPU time (s): 3601.28
CPU user time (s): 3594.87
CPU system time (s): 6.40626
CPU usage (%): 107.849
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 16281180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.87
system time used= 6.40626
maximum resident set size= 16281308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 398241
page faults= 178
swaps= 0
block input operations= 8360
block output operations= 4352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110478
involuntary context switches= 22021


# summary of solver processes directly reported to runsolver:
#   pid: 85959
#   total CPU time (s): 3601.28
#   total CPU user time (s): 3594.87
#   total CPU system time (s): 6.40626

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5029 second user time and 32.774 second system time

The end

Begin job on nodeC005 at 2025-07-04 04:17:22
IDJOB=4522052
IDBENCH=178564
IDSOLVER=3363
FILE ID=nodeC005/4522052-1751595442
RUNJOBID= nodeC005-1751595442-85917
SLURM_JOB_ID= 9598861
Free space on /tmp= 429484 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib3/normalized-mitre.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522052-1751595442/watcher-4522052-1751595442 -o /tmp/evaluation-result-4522052-1751595442/solver-4522052-1751595442 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751595442-85917 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4522052-1751595442.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= ef3ff3fe247f050efe42854747d2eb97
RANDOM SEED=553044581

nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.241
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
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		: 1196.758
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
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.285
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
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.241
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
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.292
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
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.246
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
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.221
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
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.189
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        130096928 kB
MemAvailable:   129911108 kB
Buffers:              12 kB
Cached:           601688 kB
SwapCached:          240 kB
Active:           316700 kB
Inactive:         357308 kB
Active(anon):      44336 kB
Inactive(anon):    40840 kB
Active(file):     272364 kB
Inactive(file):   316468 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33002444 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              9116 kB
Writeback:             0 kB
AnonPages:         74948 kB
Mapped:            98436 kB
Shmem:             12868 kB
KReclaimable:     129948 kB
Slab:             216892 kB
SReclaimable:     129948 kB
SUnreclaim:        86944 kB
KernelStack:        3968 kB
PageTables:         3008 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     349292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149304 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429464 MiB
End job on nodeC005 at 2025-07-04 05:13:02