Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 1297 | 1800.67 | 918.707 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb |
| MD5SUM | 325852af8542a0f454599a2893f1b120 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1297 |
| Best CPU time to get the best result obtained on this benchmark | 1800.67 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 434 |
| Optimality of the best value was proved | NO |
| Number of variables | 10000 |
| Total number of constraints | 656900 |
| Number of constraints which are clauses | 656900 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 99 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 495293 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 99 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 495293 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.2.0.v20100531 0.08/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.15 c java.vm.version 11.2-b01 0.08/0.15 c java.vm.vendor Sun Microsystems Inc. 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.18-164.el5 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1393557488 0.08/0.15 c Max memory 1395916800 0.08/0.15 c Total memory 1395916800 0.08/0.15 c Number of processors 2 0.23/0.21 c Pseudo Boolean Optimization 0.23/0.21 c ManyCore solver with 2 solvers running in parallel 0.23/0.21 c --- Begin Solver configuration --- 0.23/0.21 c Stops conflict analysis at the first Unique Implication Point 0.23/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5 0.23/0.21 c Learn all clauses as in MiniSAT 0.23/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.23/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.23/0.21 c Expensive reason simplification 0.23/0.21 c Armin Biere (Picosat) restarts strategy 0.23/0.21 c Glucose learned constraints deletion strategy 0.23/0.21 c timeout=2147483s 0.23/0.21 c DB Simplification allowed=false 0.23/0.21 c --- End Solver configuration --- 0.23/0.21 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.23/0.21 c --- Begin Solver configuration --- 0.23/0.21 c Stops conflict analysis at the first Unique Implication Point 0.23/0.21 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3 0.23/0.21 c Learn all clauses as in MiniSAT 0.23/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.23/0.21 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.23/0.21 c No reason simplification 0.23/0.21 c Armin Biere (Picosat) restarts strategy 0.23/0.21 c Glucose learned constraints deletion strategy 0.23/0.21 c timeout=2147483s 0.23/0.21 c DB Simplification allowed=false 0.23/0.21 c --- End Solver configuration --- 0.23/0.21 0.23/0.21 c solving HOME/instance-2662357-1276379591.opb 0.23/0.21 c reading problem ... 12.01/9.54 c ... done. Wall clock time 9.332s. 12.01/9.54 c #vars 10000 12.01/9.54 c #constraints 656900 12.01/9.54 c constraints type 12.01/9.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 12.01/9.54 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 12.01/9.54 c constraints type 12.01/9.54 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 12.01/9.54 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 14.14/10.70 c And the winner is Resolution 14.51/11.65 c SATISFIABLE 14.51/11.65 c OPTIMIZING... 14.51/11.65 c Got one! Elapsed wall clock time (in seconds):11.437 14.51/11.65 o 1303 139.09/74.53 c cleaning 2496 clauses out of 5002 with flag 5002/5002 270.83/141.30 c And the winner is CuttingPlanes 270.99/141.55 c Got one! Elapsed wall clock time (in seconds):141.322 270.99/141.55 o 1298 275.66/143.94 c And the winner is Resolution 275.96/144.70 c Got one! Elapsed wall clock time (in seconds):144.487 275.96/144.70 o 1297 279.51/146.53 c cleaning 4245 clauses out of 8504 with flag 11000/11000 430.62/223.17 c cleaning 5627 clauses out of 11259 with flag 18000/18000 618.49/318.44 c cleaning 6802 clauses out of 13632 with flag 26000/26000 795.36/408.33 c cleaning 7909 clauses out of 15831 with flag 35001/35001 1026.46/525.38 c cleaning 8939 clauses out of 17921 with flag 45000/45000 1262.81/645.20 c cleaning 9970 clauses out of 19982 with flag 56000/56000 1468.05/749.50 c cleaning 10997 clauses out of 22015 with flag 68003/68003 1695.57/865.05 c cleaning 12002 clauses out of 24015 with flag 81000/81000 1800.15/918.42 c starts : 90 1800.15/918.42 c conflicts : 85577 1800.15/918.42 c decisions : 598390 1800.15/918.42 c propagations : 44010084 1800.15/918.42 c inspects : 29983434 1800.15/918.42 c learnt literals : 0 1800.15/918.42 c learnt binary clauses : 0 1800.15/918.42 c learnt ternary clauses : 0 1800.15/918.42 c learnt clauses : 85576 1800.15/918.42 c ignored clauses : 0 1800.15/918.42 c root simplifications : 0 1800.15/918.42 c removed literals (reason simplification) : 5412063 1800.15/918.42 c reason swapping (by a shorter reason) : 0 1800.15/918.42 c Calls to reduceDB : 9 1800.15/918.42 c number of reductions to clauses (during analyze) : 0 1800.15/918.42 c number of learned constraints concerned by reduction : 0 1800.15/918.42 c number of learning phase by resolution : 0 1800.15/918.42 c number of learning phase by cutting planes : 0 1800.15/918.42 c speed (assignments/second) : 56884.97391646029 1800.15/918.42 c non guided choices 0 1800.38/918.53 c learnt constraints type 1800.38/918.53 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 16594 1800.38/918.53 c constraints type 1800.38/918.53 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 1800.38/918.53 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 1800.38/918.53 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.38/918.53 c constraints type 1800.38/918.53 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 1800.38/918.53 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 1800.38/918.53 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.38/918.53 s SATISFIABLE 1800.38/918.57 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 1800.51/918.64 c objective function=1297 1800.51/918.64 c Total wall clock time (in seconds): 918.427
OK 1297
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662357-1276379591/watcher-2662357-1276379591 -o /tmp/evaluation-result-2662357-1276379591/solver-2662357-1276379591 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662357-1276379591.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12527 /proc/meminfo: memFree=1542508/2059040 swapFree=4192956/4192956 [pid=12527] ppid=12525 vsize=248 CPUtime=0 /proc/12527/stat : 12527 (java) R 12525 12527 12268 0 -1 4194304 283 0 0 0 0 0 0 0 19 0 1 0 13562652 253952 28 1992294400 134512640 134550932 4290018112 18446744073709551615 2474462 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12527/statm: 62 28 21 10 0 23 0 [startup+0.0322401 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12527 /proc/meminfo: memFree=1542508/2059040 swapFree=4192956/4192956 [pid=12527] ppid=12525 vsize=1518368 CPUtime=0.01 /proc/12527/stat : 12527 (java) S 12525 12527 12268 0 -1 4202496 2796 0 1 0 0 1 0 0 18 0 4 0 13562652 1554808832 2238 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/12527/statm: 379592 2238 519 10 0 377303 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1518368 [startup+0.101404 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12527 /proc/meminfo: memFree=1542508/2059040 swapFree=4192956/4192956 [pid=12527] ppid=12525 vsize=1524180 CPUtime=0.08 /proc/12527/stat : 12527 (java) S 12525 12527 12268 0 -1 4202496 3967 0 1 0 6 2 0 0 18 0 12 0 13562652 1560760320 3405 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12527/statm: 381045 3405 1075 10 0 378348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524180 [startup+0.301706 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12527 /proc/meminfo: memFree=1542508/2059040 swapFree=4192956/4192956 [pid=12527] ppid=12525 vsize=1526828 CPUtime=0.39 /proc/12527/stat : 12527 (java) S 12525 12527 12268 0 -1 4202496 5520 0 1 0 35 4 0 0 18 0 12 0 13562652 1563471872 4954 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12527/statm: 381707 4954 1362 10 0 379010 0 Current children cumulated CPU time (s) 0.39 Current children cumulated vsize (KiB) 1526828 [startup+0.700701 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12527 /proc/meminfo: memFree=1542508/2059040 swapFree=4192956/4192956 [pid=12527] ppid=12525 vsize=1527516 CPUtime=1.13 /proc/12527/stat : 12527 (java) S 12525 12527 12268 0 -1 4202496 7547 0 1 0 108 5 0 0 18 0 12 0 13562652 1564176384 6981 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12527/statm: 381879 6981 1401 10 0 379182 0 Current children cumulated CPU time (s) 1.13 Current children cumulated vsize (KiB) 1527516 [startup+1.50169 s] /proc/loadavg: 1.00 1.00 1.00 5/119 12540 /proc/meminfo: memFree=1500864/2059040 swapFree=4192956/4192956 [pid=12527] ppid=12525 vsize=1535792 CPUtime=2.67 /proc/12527/stat : 12527 (java) S 12525 12527 12268 0 -1 4202496 26488 0 1 0 254 13 0 0 18 0 12 0 13562652 1572651008 24383 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12527/statm: 383948 24383 1407 10 0 381251 0 [pid=12527/tid=12529] ppid=12525 vsize=1535792 CPUtime=1.44 /proc/12527/task/12529/stat : 12529 (java) R 12525 12527 12268 0 -1 4202560 20852 0 1 0 134 10 0 0 18 0 12 0 13562653 1572651008 24383 1992294400 134512640 134550932 4290018112 18446744073709551615 4109868075 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12527/tid=12530] ppid=12525 vsize=1535792 CPUtime=0 /proc/12527/task/12530/stat : 12530 (java) S 12525 12527 12268 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 12 0 13562655 1572651008 24383 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12531] ppid=12525 vsize=1535792 CPUtime=0 /proc/12527/task/12531/stat : 12531 (java) S 12525 12527 12268 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 12 0 13562655 1572651008 24383 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12532] ppid=12525 vsize=1535792 CPUtime=0 /proc/12527/task/12532/stat : 12532 (java) S 12525 12527 12268 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 12 0 13562656 1572651008 24383 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 0 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12533] ppid=12525 vsize=1535792 CPUtime=0 /proc/12527/task/12533/stat : 12533 (java) S 12525 12527 12268 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 12 0 13562657 1572651008 24383 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12534] ppid=12525 vsize=1535792 CPUtime=0 /proc/12527/task/12534/stat : 12534 (java) S 12525 12527 12268 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 12 0 13562657 1572651008 24383 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12535] ppid=12525 vsize=1535792 CPUtime=0 /proc/12527/task/12535/stat : 12535 (java) S 12525 12527 12268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 13562661 1572651008 24383 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12536] ppid=12525 vsize=1535792 CPUtime=0.76 /proc/12527/task/12536/stat : 12536 (java) S 12525 12527 12268 0 -1 4202560 1391 0 0 0 76 0 0 0 16 0 12 0 13562661 1572651008 24383 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12537] ppid=12525 vsize=1535792 CPUtime=0.43 /proc/12527/task/12537/stat : 12537 (java) S 12525 12527 12268 0 -1 4202560 3177 0 0 0 42 1 0 0 18 0 12 0 13562661 1572651008 24383 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12538] ppid=12525 vsize=1535792 CPUtime=0 /proc/12527/task/12538/stat : 12538 (java) S 12525 12527 12268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 13562661 1572651008 24383 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12539] ppid=12525 vsize=1535792 CPUtime=0 /proc/12527/task/12539/stat : 12539 (java) S 12525 12527 12268 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 13562661 1572651008 24383 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.67 Current children cumulated vsize (KiB) 1535792 [startup+3.10067 s] /proc/loadavg: 1.00 1.00 1.00 2/118 12541 /proc/meminfo: memFree=1395348/2059040 swapFree=4192956/4192956 [pid=12527] ppid=12525 vsize=1535792 CPUtime=4.41 /proc/12527/stat : 12527 (java) S 12525 12527 12268 0 -1 4202496 44203 0 1 0 419 22 0 0 18 0 12 0 13562652 1572651008 42035 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12527/statm: 383948 42035 1417 10 0 381251 0 [pid=12527/tid=12529] ppid=12525 vsize=1535792 CPUtime=2.89 /proc/12527/task/12529/stat : 12529 (java) R 12525 12527 12268 0 -1 4202560 32016 0 1 0 274 15 0 0 18 0 12 0 13562653 1572651008 42035 1992294400 134512640 134550932 4290018112 18446744073709551615 4109858502 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12527/tid=12530] ppid=12525 vsize=1535792 CPUtime=0.13 /proc/12527/task/12530/stat : 12530 (java) S 12525 12527 12268 0 -1 4202560 3085 0 0 0 12 1 0 0 16 0 12 0 13562655 1572651008 42035 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12531] ppid=12525 vsize=1535792 CPUtime=0.13 /proc/12527/task/12531/stat : 12531 (java) S 12525 12527 12268 0 -1 4202560 3458 0 0 0 11 2 0 0 16 0 12 0 13562655 1572651008 42035 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12532] ppid=12525 vsize=1535792 CPUtime=0 /proc/12527/task/12532/stat : 12532 (java) S 12525 12527 12268 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 12 0 13562656 1572651008 42035 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 0 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12533] ppid=12525 vsize=1535792 CPUtime=0 /proc/12527/task/12533/stat : 12533 (java) S 12525 12527 12268 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 12 0 13562657 1572651008 42035 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12534] ppid=12525 vsize=1535792 CPUtime=0 /proc/12527/task/12534/stat : 12534 (java) S 12525 12527 12268 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 12 0 13562657 1572651008 42035 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12535] ppid=12525 vsize=1535792 CPUtime=0 /proc/12527/task/12535/stat : 12535 (java) S 12525 12527 12268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 13562661 1572651008 42035 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12536] ppid=12525 vsize=1535792 CPUtime=0.76 /proc/12527/task/12536/stat : 12536 (java) S 12525 12527 12268 0 -1 4202560 1391 0 0 0 76 0 0 0 16 0 12 0 13562661 1572651008 42035 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12537] ppid=12525 vsize=1535792 CPUtime=0.43 /proc/12527/task/12537/stat : 12537 (java) S 12525 12527 12268 0 -1 4202560 3177 0 0 0 42 1 0 0 18 0 12 0 13562661 1572651008 42035 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12538] ppid=12525 vsize=1535792 CPUtime=0 /proc/12527/task/12538/stat : 12538 (java) S 12525 12527 12268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 13562661 1572651008 42035 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12539] ppid=12525 vsize=1535792 CPUtime=0 /proc/12527/task/12539/stat : 12539 (java) S 12525 12527 12268 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 13562661 1572651008 42035 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.41 Current children cumulated vsize (KiB) 1535792 [startup+6.30163 s] /proc/loadavg: 1.00 1.00 1.00 2/118 12541 /proc/meminfo: memFree=1351204/2059040 swapFree=4192956/4192956 [pid=12527] ppid=12525 vsize=1534004 CPUtime=8.12 /proc/12527/stat : 12527 (java) S 12525 12527 12268 0 -1 4202496 54574 0 1 0 785 27 0 0 18 0 12 0 13562652 1570820096 50738 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12527/statm: 383501 50738 1417 10 0 380804 0 [pid=12527/tid=12529] ppid=12525 vsize=1534004 CPUtime=5.52 /proc/12527/task/12529/stat : 12529 (java) R 12525 12527 12268 0 -1 4202560 32021 0 1 0 536 16 0 0 18 0 12 0 13562653 1570820096 50738 1992294400 134512640 134550932 4290018112 18446744073709551615 4109846164 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12527/tid=12530] ppid=12525 vsize=1534004 CPUtime=0.67 /proc/12527/task/12530/stat : 12530 (java) S 12525 12527 12268 0 -1 4202560 8304 0 0 0 63 4 0 0 16 0 12 0 13562655 1570820096 50738 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12531] ppid=12525 vsize=1534004 CPUtime=0.68 /proc/12527/task/12531/stat : 12531 (java) S 12525 12527 12268 0 -1 4202560 8603 0 0 0 65 3 0 0 16 0 12 0 13562655 1570820096 50738 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12532] ppid=12525 vsize=1534004 CPUtime=0 /proc/12527/task/12532/stat : 12532 (java) S 12525 12527 12268 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 12 0 13562656 1570820096 50738 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 0 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12533] ppid=12525 vsize=1534004 CPUtime=0 /proc/12527/task/12533/stat : 12533 (java) S 12525 12527 12268 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 12 0 13562657 1570820096 50738 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12534] ppid=12525 vsize=1534004 CPUtime=0 /proc/12527/task/12534/stat : 12534 (java) S 12525 12527 12268 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 12 0 13562657 1570820096 50738 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12535] ppid=12525 vsize=1534004 CPUtime=0 /proc/12527/task/12535/stat : 12535 (java) S 12525 12527 12268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 13562661 1570820096 50738 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12536] ppid=12525 vsize=1534004 CPUtime=0.76 /proc/12527/task/12536/stat : 12536 (java) S 12525 12527 12268 0 -1 4202560 1391 0 0 0 76 0 0 0 16 0 12 0 13562661 1570820096 50738 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12537] ppid=12525 vsize=1534004 CPUtime=0.43 /proc/12527/task/12537/stat : 12537 (java) S 12525 12527 12268 0 -1 4202560 3177 0 0 0 42 1 0 0 18 0 12 0 13562661 1570820096 50738 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12538] ppid=12525 vsize=1534004 CPUtime=0 /proc/12527/task/12538/stat : 12538 (java) S 12525 12527 12268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 13562661 1570820096 50738 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12539] ppid=12525 vsize=1534004 CPUtime=0 /proc/12527/task/12539/stat : 12539 (java) S 12525 12527 12268 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 13562661 1570820096 50738 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 8.12 Current children cumulated vsize (KiB) 1534004 [startup+12.7016 s] /proc/loadavg: 1.16 1.03 1.01 6/122 12547 /proc/meminfo: memFree=1290288/2059040 swapFree=4192956/4192956 [pid=12527] ppid=12525 vsize=1538372 CPUtime=16.63 /proc/12527/stat : 12527 (java) S 12525 12527 12268 0 -1 4202496 69832 0 1 0 1627 36 0 0 18 0 16 0 13562652 1575292928 64165 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12527/statm: 384593 64165 1443 10 0 381896 0 [pid=12527/tid=12529] ppid=12525 vsize=1538372 CPUtime=8.28 /proc/12527/task/12529/stat : 12529 (java) S 12525 12527 12268 0 -1 4202560 32064 0 1 0 811 17 0 0 17 0 16 0 13562653 1575292928 64165 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12530] ppid=12525 vsize=1538372 CPUtime=1.37 /proc/12527/task/12530/stat : 12530 (java) S 12525 12527 12268 0 -1 4202560 15188 0 0 0 130 7 0 0 16 0 16 0 13562655 1575292928 64165 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12531] ppid=12525 vsize=1538372 CPUtime=1.39 /proc/12527/task/12531/stat : 12531 (java) S 12525 12527 12268 0 -1 4202560 15120 0 0 0 132 7 0 0 16 0 16 0 13562655 1575292928 64165 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12532] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12532/stat : 12532 (java) S 12525 12527 12268 0 -1 4202560 14 0 0 0 0 0 0 0 16 0 16 0 13562656 1575292928 64165 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 0 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12533] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12533/stat : 12533 (java) S 12525 12527 12268 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 13562657 1575292928 64165 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12534] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12534/stat : 12534 (java) S 12525 12527 12268 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 13562657 1575292928 64165 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12535] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12535/stat : 12535 (java) S 12525 12527 12268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 13562661 1575292928 64165 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12536] ppid=12525 vsize=1538372 CPUtime=1.97 /proc/12527/task/12536/stat : 12536 (java) S 12525 12527 12268 0 -1 4202560 2334 0 0 0 197 0 0 0 15 0 16 0 13562661 1575292928 64165 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12537] ppid=12525 vsize=1538372 CPUtime=1.43 /proc/12527/task/12537/stat : 12537 (java) S 12525 12527 12268 0 -1 4202560 3992 0 0 0 141 2 0 0 15 0 16 0 13562661 1575292928 64165 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12538] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12538/stat : 12538 (java) S 12525 12527 12268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 13562661 1575292928 64165 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12539] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12539/stat : 12539 (java) S 12525 12527 12268 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 13562661 1575292928 64165 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12544] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12544/stat : 12544 (java) S 12525 12527 12268 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 13563644 1575292928 64165 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12545] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12545/stat : 12545 (java) S 12525 12527 12268 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 13563644 1575292928 64165 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12546] ppid=12525 vsize=1538372 CPUtime=0.72 /proc/12527/task/12546/stat : 12546 (java) R 12525 12527 12268 0 -1 4202560 1 0 0 0 72 0 0 0 18 0 16 0 13563830 1575292928 64165 1992294400 134512640 134550932 4290018112 18446744073709551615 4110287188 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12527/tid=12547] ppid=12525 vsize=1538372 CPUtime=0.5 /proc/12527/task/12547/stat : 12547 (java) R 12525 12527 12268 0 -1 4202560 0 0 0 0 50 0 0 0 19 0 16 0 13563830 1575292928 64165 1992294400 134512640 134550932 4290018112 18446744073709551615 4110374646 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.63 Current children cumulated vsize (KiB) 1538372 [startup+25.5014 s] /proc/loadavg: 1.29 1.06 1.02 3/122 12547 /proc/meminfo: memFree=1284336/2059040 swapFree=4192956/4192956 [pid=12527] ppid=12525 vsize=1538372 CPUtime=42 /proc/12527/stat : 12527 (java) S 12525 12527 12268 0 -1 4202496 71710 0 1 0 4162 38 0 0 18 0 16 0 13562652 1575292928 65665 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12527/statm: 384593 65665 1443 10 0 381896 0 [pid=12527/tid=12529] ppid=12525 vsize=1538372 CPUtime=8.28 /proc/12527/task/12529/stat : 12529 (java) S 12525 12527 12268 0 -1 4202560 32065 0 1 0 811 17 0 0 15 0 16 0 13562653 1575292928 65665 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12530] ppid=12525 vsize=1538372 CPUtime=1.42 /proc/12527/task/12530/stat : 12530 (java) S 12525 12527 12268 0 -1 4202560 16165 0 0 0 134 8 0 0 16 0 16 0 13562655 1575292928 65665 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12531] ppid=12525 vsize=1538372 CPUtime=1.44 /proc/12527/task/12531/stat : 12531 (java) S 12525 12527 12268 0 -1 4202560 16011 0 0 0 137 7 0 0 16 0 16 0 13562655 1575292928 65665 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12532] ppid=12525 vsize=1538372 CPUtime=0 ################ # More data... # ################ /proc/12527/statm: 384593 136627 1452 10 0 381896 0 [pid=12527/tid=12529] ppid=12525 vsize=1538372 CPUtime=8.55 /proc/12527/task/12529/stat : 12529 (java) S 12525 12527 12268 0 -1 4202560 32074 0 1 0 838 17 0 0 15 0 16 0 13562653 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12530] ppid=12525 vsize=1538372 CPUtime=8.75 /proc/12527/task/12530/stat : 12530 (java) R 12525 12527 12268 0 -1 4202560 58492 0 0 0 835 40 0 0 15 0 16 0 13562655 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12527/tid=12531] ppid=12525 vsize=1538372 CPUtime=8.74 /proc/12527/task/12531/stat : 12531 (java) S 12525 12527 12268 0 -1 4202560 56374 0 0 0 838 36 0 0 15 0 16 0 13562655 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12532] ppid=12525 vsize=1538372 CPUtime=10.59 /proc/12527/task/12532/stat : 12532 (java) S 12525 12527 12268 0 -1 4202560 8398 0 0 0 1047 12 0 0 15 0 16 0 13562656 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 0 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12533] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12533/stat : 12533 (java) S 12525 12527 12268 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 13562657 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12534] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12534/stat : 12534 (java) S 12525 12527 12268 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 13562657 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12535] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12535/stat : 12535 (java) S 12525 12527 12268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 13562661 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12536] ppid=12525 vsize=1538372 CPUtime=2.49 /proc/12527/task/12536/stat : 12536 (java) S 12525 12527 12268 0 -1 4202560 2353 0 0 0 249 0 0 0 15 0 16 0 13562661 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12537] ppid=12525 vsize=1538372 CPUtime=2.36 /proc/12527/task/12537/stat : 12537 (java) S 12525 12527 12268 0 -1 4202560 4044 0 0 0 234 2 0 0 15 0 16 0 13562661 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12538] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12538/stat : 12538 (java) S 12525 12527 12268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 13562661 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12539] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12539/stat : 12539 (java) S 12525 12527 12268 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 16 0 13562661 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12544] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12544/stat : 12544 (java) S 12525 12527 12268 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 13563644 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12545] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12545/stat : 12545 (java) S 12525 12527 12268 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 13563644 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12552] ppid=12525 vsize=1538372 CPUtime=654.5 /proc/12527/task/12552/stat : 12552 (java) S 12525 12527 12268 0 -1 4202560 291 0 0 0 65433 17 0 0 25 0 16 0 13577128 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12553] ppid=12525 vsize=1538372 CPUtime=656.85 /proc/12527/task/12553/stat : 12553 (java) S 12525 12527 12268 0 -1 4202560 704 0 0 0 65673 12 0 0 25 0 16 0 13577128 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1610.87 Current children cumulated vsize (KiB) 1538372 [startup+882.302 s] /proc/loadavg: 2.11 2.00 1.62 3/122 12582 /proc/meminfo: memFree=998020/2059040 swapFree=4192956/4192956 [pid=12527] ppid=12525 vsize=1538372 CPUtime=1728.51 /proc/12527/stat : 12527 (java) S 12525 12527 12268 0 -1 4202496 165981 0 1 0 172699 152 0 0 18 0 16 0 13562652 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12527/statm: 384593 136627 1452 10 0 381896 0 [pid=12527/tid=12529] ppid=12525 vsize=1538372 CPUtime=8.55 /proc/12527/task/12529/stat : 12529 (java) S 12525 12527 12268 0 -1 4202560 32074 0 1 0 838 17 0 0 15 0 16 0 13562653 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12530] ppid=12525 vsize=1538372 CPUtime=9.28 /proc/12527/task/12530/stat : 12530 (java) S 12525 12527 12268 0 -1 4202560 58492 0 0 0 888 40 0 0 16 0 16 0 13562655 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12531] ppid=12525 vsize=1538372 CPUtime=9.28 /proc/12527/task/12531/stat : 12531 (java) S 12525 12527 12268 0 -1 4202560 56374 0 0 0 891 37 0 0 16 0 16 0 13562655 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12532] ppid=12525 vsize=1538372 CPUtime=12.12 /proc/12527/task/12532/stat : 12532 (java) S 12525 12527 12268 0 -1 4202560 10327 0 0 0 1198 14 0 0 15 0 16 0 13562656 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 0 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12533] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12533/stat : 12533 (java) S 12525 12527 12268 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 13562657 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12534] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12534/stat : 12534 (java) S 12525 12527 12268 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 13562657 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12535] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12535/stat : 12535 (java) S 12525 12527 12268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 13562661 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12536] ppid=12525 vsize=1538372 CPUtime=2.49 /proc/12527/task/12536/stat : 12536 (java) S 12525 12527 12268 0 -1 4202560 2353 0 0 0 249 0 0 0 15 0 16 0 13562661 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12537] ppid=12525 vsize=1538372 CPUtime=2.36 /proc/12527/task/12537/stat : 12537 (java) S 12525 12527 12268 0 -1 4202560 4044 0 0 0 234 2 0 0 15 0 16 0 13562661 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12538] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12538/stat : 12538 (java) S 12525 12527 12268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 13562661 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12539] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12539/stat : 12539 (java) S 12525 12527 12268 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 16 0 13562661 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12544] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12544/stat : 12544 (java) S 12525 12527 12268 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 13563644 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12545] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12545/stat : 12545 (java) S 12525 12527 12268 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 13563644 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12552] ppid=12525 vsize=1538372 CPUtime=711.94 /proc/12527/task/12552/stat : 12552 (java) R 12525 12527 12268 0 -1 4202560 315 0 0 0 71176 18 0 0 25 0 16 0 13577128 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4110322538 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12527/tid=12553] ppid=12525 vsize=1538372 CPUtime=714.46 /proc/12527/task/12553/stat : 12553 (java) R 12525 12527 12268 0 -1 4202560 787 0 0 0 71433 13 0 0 20 0 16 0 13577128 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4110428262 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1728.51 Current children cumulated vsize (KiB) 1538372 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+918.402 s] /proc/loadavg: 2.06 2.00 1.64 4/122 12584 /proc/meminfo: memFree=998020/2059040 swapFree=4192956/4192956 [pid=12527] ppid=12525 vsize=1538372 CPUtime=1800.15 /proc/12527/stat : 12527 (java) S 12525 12527 12268 0 -1 4202496 166054 0 1 0 179858 157 0 0 18 0 16 0 13562652 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12527/statm: 384593 136627 1452 10 0 381896 0 [pid=12527/tid=12529] ppid=12525 vsize=1538372 CPUtime=8.55 /proc/12527/task/12529/stat : 12529 (java) S 12525 12527 12268 0 -1 4202560 32075 0 1 0 838 17 0 0 15 0 16 0 13562653 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12530] ppid=12525 vsize=1538372 CPUtime=9.61 /proc/12527/task/12530/stat : 12530 (java) S 12525 12527 12268 0 -1 4202560 58492 0 0 0 920 41 0 0 15 0 16 0 13562655 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12531] ppid=12525 vsize=1538372 CPUtime=9.6 /proc/12527/task/12531/stat : 12531 (java) S 12525 12527 12268 0 -1 4202560 56374 0 0 0 923 37 0 0 16 0 16 0 13562655 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12532] ppid=12525 vsize=1538372 CPUtime=12.15 /proc/12527/task/12532/stat : 12532 (java) S 12525 12527 12268 0 -1 4202560 10329 0 0 0 1200 15 0 0 15 0 16 0 13562656 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 0 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12533] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12533/stat : 12533 (java) S 12525 12527 12268 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 13562657 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12534] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12534/stat : 12534 (java) S 12525 12527 12268 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 13562657 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12535] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12535/stat : 12535 (java) S 12525 12527 12268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 13562661 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12536] ppid=12525 vsize=1538372 CPUtime=2.49 /proc/12527/task/12536/stat : 12536 (java) S 12525 12527 12268 0 -1 4202560 2353 0 0 0 249 0 0 0 15 0 16 0 13562661 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12537] ppid=12525 vsize=1538372 CPUtime=2.36 /proc/12527/task/12537/stat : 12537 (java) S 12525 12527 12268 0 -1 4202560 4044 0 0 0 234 2 0 0 15 0 16 0 13562661 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12538] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12538/stat : 12538 (java) S 12525 12527 12268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 13562661 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12539] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12539/stat : 12539 (java) R 12525 12527 12268 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 16 0 13562661 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12527/tid=12544] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12544/stat : 12544 (java) S 12525 12527 12268 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 13563644 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12545] ppid=12525 vsize=1538372 CPUtime=0 /proc/12527/task/12545/stat : 12545 (java) S 12525 12527 12268 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 13563644 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12552] ppid=12525 vsize=1538372 CPUtime=747.26 /proc/12527/task/12552/stat : 12552 (java) R 12525 12527 12268 0 -1 4202560 334 0 0 0 74706 20 0 0 25 0 16 0 13577128 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4110322786 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12527/tid=12553] ppid=12525 vsize=1538372 CPUtime=750.11 /proc/12527/task/12553/stat : 12553 (java) R 12525 12527 12268 0 -1 4202560 836 0 0 0 74997 14 0 0 25 0 16 0 13577128 1575292928 136627 1992294400 134512640 134550932 4290018112 18446744073709551615 4110428256 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 1538372 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+918.602 s] /proc/loadavg: 2.06 2.00 1.64 4/122 12584 /proc/meminfo: memFree=998020/2059040 swapFree=4192956/4192956 [pid=12527] ppid=12525 vsize=1539020 CPUtime=1800.51 /proc/12527/stat : 12527 (java) S 12525 12527 12268 0 -1 4202496 166079 0 1 0 179894 157 0 0 18 0 18 0 13562652 1575956480 136652 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12527/statm: 384755 136652 1452 10 0 382058 0 [pid=12527/tid=12529] ppid=12525 vsize=1539020 CPUtime=8.55 /proc/12527/task/12529/stat : 12529 (java) S 12525 12527 12268 0 -1 4202560 32075 0 1 0 838 17 0 0 15 0 18 0 13562653 1575956480 136652 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12530] ppid=12525 vsize=1539020 CPUtime=9.61 /proc/12527/task/12530/stat : 12530 (java) S 12525 12527 12268 0 -1 4202560 58492 0 0 0 920 41 0 0 15 0 18 0 13562655 1575956480 136652 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12531] ppid=12525 vsize=1539020 CPUtime=9.6 /proc/12527/task/12531/stat : 12531 (java) S 12525 12527 12268 0 -1 4202560 56374 0 0 0 923 37 0 0 16 0 18 0 13562655 1575956480 136652 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12532] ppid=12525 vsize=1539020 CPUtime=12.15 /proc/12527/task/12532/stat : 12532 (java) S 12525 12527 12268 0 -1 4202560 10329 0 0 0 1200 15 0 0 15 0 18 0 13562656 1575956480 136652 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 0 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12533] ppid=12525 vsize=1539020 CPUtime=0 /proc/12527/task/12533/stat : 12533 (java) S 12525 12527 12268 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 18 0 13562657 1575956480 136652 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12534] ppid=12525 vsize=1539020 CPUtime=0 /proc/12527/task/12534/stat : 12534 (java) S 12525 12527 12268 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 18 0 13562657 1575956480 136652 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12535] ppid=12525 vsize=1539020 CPUtime=0 /proc/12527/task/12535/stat : 12535 (java) S 12525 12527 12268 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 13562661 1575956480 136652 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12536] ppid=12525 vsize=1539020 CPUtime=2.52 /proc/12527/task/12536/stat : 12536 (java) S 12525 12527 12268 0 -1 4202560 2354 0 0 0 252 0 0 0 16 0 18 0 13562661 1575956480 136652 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12537] ppid=12525 vsize=1539020 CPUtime=2.44 /proc/12527/task/12537/stat : 12537 (java) S 12525 12527 12268 0 -1 4202560 4051 0 0 0 242 2 0 0 15 0 18 0 13562661 1575956480 136652 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12538] ppid=12525 vsize=1539020 CPUtime=0 /proc/12527/task/12538/stat : 12538 (java) S 12525 12527 12268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 13562661 1575956480 136652 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12539] ppid=12525 vsize=1539020 CPUtime=0 /proc/12527/task/12539/stat : 12539 (java) S 12525 12527 12268 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 18 0 13562661 1575956480 136652 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 0 0 0 0 [pid=12527/tid=12544] ppid=12525 vsize=1539020 CPUtime=0 /proc/12527/task/12544/stat : 12544 (java) S 12525 12527 12268 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 18 0 13563644 1575956480 136652 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12545] ppid=12525 vsize=1539020 CPUtime=0 /proc/12527/task/12545/stat : 12545 (java) S 12525 12527 12268 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 18 0 13563644 1575956480 136652 1992294400 134512640 134550932 4290018112 18446744073709551615 4294960144 0 4 0 16800975 18446604437822662656 0 0 -1 1 0 0 0 [pid=12527/tid=12552] ppid=12525 vsize=1539020 CPUtime=747.33 /proc/12527/task/12552/stat : 12552 (java) R 12525 12527 12268 0 -1 4202560 334 0 0 0 74713 20 0 0 25 0 18 0 13577128 1575956480 136652 1992294400 134512640 134550932 4290018112 18446744073709551615 4110688524 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12527/tid=12553] ppid=12525 vsize=1539020 CPUtime=750.25 /proc/12527/task/12553/stat : 12553 (java) R 12525 12527 12268 0 -1 4202560 836 0 0 0 75011 14 0 0 25 0 18 0 13577128 1575956480 136652 1992294400 134512640 134550932 4290018112 18446744073709551615 4110557574 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (KiB) 1539020 [startup+918.703 s] /proc/loadavg: 2.06 2.00 1.64 4/122 12584 /proc/meminfo: memFree=998020/2059040 swapFree=4192956/4192956 [pid=12527] ppid=12525 vsize=0 CPUtime=1800.66 /proc/12527/stat : 12527 (java) Z 12525 12527 12268 0 -1 4203548 166085 0 1 0 179904 162 0 0 15 0 2 0 13562652 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12527/statm: 0 0 0 0 0 0 0 [pid=12527/tid=12552] ppid=12525 vsize=0 CPUtime=747.4 /proc/12527/task/12552/stat : 12552 (java) R 12525 12527 12268 0 -1 4203588 334 0 0 0 74715 25 0 0 25 0 2 0 13577128 0 0 1992294400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 918.707 CPU time (s): 1800.67 CPU user time (s): 1799.04 CPU system time (s): 1.63075 CPU usage (%): 196.001 Max. virtual memory (cumulated for all children) (KiB): 1543500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.04 system time used= 1.63075 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 166085 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 34080 involuntary context switches= 55591 runsolver used 4.91125 second user time and 7.64684 second system time The end
Begin job on node007 at 2010-06-12 23:53:12 IDJOB=2662357 IDBENCH=1969 IDSOLVER=1166 FILE ID=node007/2662357-1276379591 PBS_JOBID= 11173235 Free space on /tmp= 62440 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662357-1276379591/watcher-2662357-1276379591 -o /tmp/evaluation-result-2662357-1276379591/solver-2662357-1276379591 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662357-1276379591.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 325852af8542a0f454599a2893f1b120 RANDOM SEED=1123859052 node007.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1542904 kB Buffers: 145452 kB Cached: 239700 kB SwapCached: 0 kB Active: 160044 kB Inactive: 284380 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1542904 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 17228 kB Writeback: 0 kB AnonPages: 59300 kB Mapped: 15380 kB Slab: 49936 kB PageTables: 4012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181952 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62440 MiB End job on node007 at 2010-06-13 00:08:32