Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 780 | 1800.74 | 915.442 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb |
MD5SUM | ca3282cf347faf21ba3550ec87dd7af4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 483 |
Best CPU time to get the best result obtained on this benchmark | 1796.63 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 466 |
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 | 494728 |
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 | 494728 |
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.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.09/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.09/0.14 c See www.sat4j.org for details. 0.09/0.15 c version 2.2.0.v20100531 0.09/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.09/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.09/0.15 c java.vm.version 11.2-b01 0.09/0.15 c java.vm.vendor Sun Microsystems Inc. 0.09/0.15 c sun.arch.data.model 32 0.09/0.15 c java.version 1.6.0_12 0.09/0.15 c os.name Linux 0.09/0.15 c os.version 2.6.18-164.el5 0.09/0.15 c os.arch i386 0.09/0.15 c Free memory 1393557488 0.09/0.15 c Max memory 1395916800 0.09/0.15 c Total memory 1395916800 0.09/0.15 c Number of processors 2 0.21/0.22 c Pseudo Boolean Optimization 0.21/0.22 c ManyCore solver with 2 solvers running in parallel 0.21/0.22 c --- Begin Solver configuration --- 0.21/0.22 c Stops conflict analysis at the first Unique Implication Point 0.21/0.22 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5 0.21/0.22 c Learn all clauses as in MiniSAT 0.21/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.21/0.22 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.21/0.22 c Expensive reason simplification 0.21/0.22 c Armin Biere (Picosat) restarts strategy 0.21/0.22 c Glucose learned constraints deletion strategy 0.21/0.22 c timeout=2147483s 0.21/0.22 c DB Simplification allowed=false 0.21/0.22 c --- End Solver configuration --- 0.21/0.22 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.21/0.22 c --- Begin Solver configuration --- 0.21/0.22 c Stops conflict analysis at the first Unique Implication Point 0.21/0.22 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3 0.21/0.22 c Learn all clauses as in MiniSAT 0.21/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.21/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.21/0.22 c No reason simplification 0.21/0.22 c Armin Biere (Picosat) restarts strategy 0.21/0.22 c Glucose learned constraints deletion strategy 0.21/0.22 c timeout=2147483s 0.21/0.22 c DB Simplification allowed=false 0.21/0.22 c --- End Solver configuration --- 0.21/0.22 0.21/0.22 c solving HOME/instance-2662356-1276378918.opb 0.21/0.22 c reading problem ... 12.92/10.48 c ... done. Wall clock time 10.261s. 12.92/10.48 c #vars 10000 12.92/10.48 c #constraints 656900 12.92/10.48 c constraints type 12.92/10.48 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 12.92/10.48 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 12.92/10.48 c constraints type 12.92/10.48 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 12.92/10.48 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 16.42/12.22 c And the winner is Resolution 16.82/12.70 c SATISFIABLE 16.82/12.70 c OPTIMIZING... 16.82/12.70 c Got one! Elapsed wall clock time (in seconds):12.483 16.82/12.70 o 780 184.88/97.34 c cleaning 2495 clauses out of 5001 with flag 5001/5001 410.27/211.22 c cleaning 4240 clauses out of 8506 with flag 11001/11001 629.18/322.28 c cleaning 5626 clauses out of 11267 with flag 18002/18002 916.19/467.62 c cleaning 6818 clauses out of 13642 with flag 26003/26003 1194.29/608.51 c cleaning 7903 clauses out of 15822 with flag 35001/35001 1531.81/779.20 c cleaning 8939 clauses out of 17919 with flag 45001/45001 1800.14/915.12 c starts : 75 1800.14/915.12 c conflicts : 52498 1800.14/915.12 c decisions : 375094 1800.14/915.12 c propagations : 27966829 1800.14/915.12 c inspects : 14436231 1800.14/915.12 c learnt literals : 0 1800.14/915.12 c learnt binary clauses : 0 1800.14/915.12 c learnt ternary clauses : 0 1800.14/915.12 c learnt clauses : 52498 1800.14/915.12 c ignored clauses : 0 1800.14/915.12 c root simplifications : 0 1800.14/915.12 c removed literals (reason simplification) : 4061272 1800.14/915.12 c reason swapping (by a shorter reason) : 0 1800.14/915.12 c Calls to reduceDB : 6 1800.14/915.12 c number of reductions to clauses (during analyze) : 0 1800.14/915.12 c number of learned constraints concerned by reduction : 0 1800.14/915.12 c number of learning phase by resolution : 0 1800.14/915.12 c number of learning phase by cutting planes : 0 1800.14/915.12 c speed (assignments/second) : 30995.42275257706 1800.14/915.12 c non guided choices 0 1800.35/915.22 c learnt constraints type 1800.35/915.22 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 16479 1800.35/915.22 c constraints type 1800.35/915.22 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 1800.35/915.22 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 1800.35/915.22 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.35/915.22 c constraints type 1800.35/915.22 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 1800.35/915.22 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 1800.35/915.22 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.35/915.22 s SATISFIABLE 1800.35/915.29 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.50/915.37 c objective function=780 1800.50/915.37 c Total wall clock time (in seconds): 915.148
OK 780
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662356-1276378918/watcher-2662356-1276378918 -o /tmp/evaluation-result-2662356-1276378918/solver-2662356-1276378918 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662356-1276378918.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: 0.93 0.98 0.99 3/106 13234 /proc/meminfo: memFree=1852368/2059040 swapFree=4148192/4192956 [pid=13234] ppid=13232 vsize=248 CPUtime=0 /proc/13234/stat : 13234 (java) R 13232 13234 13209 0 -1 4194304 281 0 0 0 0 0 0 0 16 0 1 0 13493392 253952 28 1992294400 134512640 134550932 4287052848 18446744073709551615 11690580 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13234/statm: 62 28 21 10 0 23 0 [startup+0.0417761 s] /proc/loadavg: 0.93 0.98 0.99 3/106 13234 /proc/meminfo: memFree=1852368/2059040 swapFree=4148192/4192956 [pid=13234] ppid=13232 vsize=1520328 CPUtime=0.02 /proc/13234/stat : 13234 (java) S 13232 13234 13209 0 -1 4202496 3356 0 1 0 1 1 0 0 15 0 4 0 13493392 1556815872 2800 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/13234/statm: 380082 2800 945 10 0 377392 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1520328 [startup+0.100782 s] /proc/loadavg: 0.93 0.98 0.99 3/106 13234 /proc/meminfo: memFree=1852368/2059040 swapFree=4148192/4192956 [pid=13234] ppid=13232 vsize=1524180 CPUtime=0.09 /proc/13234/stat : 13234 (java) S 13232 13234 13209 0 -1 4202496 3959 0 1 0 7 2 0 0 15 0 12 0 13493392 1560760320 3399 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13234/statm: 381045 3399 1075 10 0 378348 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1524180 [startup+0.300809 s] /proc/loadavg: 0.93 0.98 0.99 3/106 13234 /proc/meminfo: memFree=1852368/2059040 swapFree=4148192/4192956 [pid=13234] ppid=13232 vsize=1526248 CPUtime=0.35 /proc/13234/stat : 13234 (java) S 13232 13234 13209 0 -1 4202496 5424 0 1 0 33 2 0 0 15 0 12 0 13493392 1562877952 4862 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13234/statm: 381562 4862 1358 10 0 378865 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 1526248 [startup+0.700864 s] /proc/loadavg: 0.93 0.98 0.99 3/106 13234 /proc/meminfo: memFree=1852368/2059040 swapFree=4148192/4192956 [pid=13234] ppid=13232 vsize=1527220 CPUtime=1.12 /proc/13234/stat : 13234 (java) S 13232 13234 13209 0 -1 4202496 7397 0 1 0 108 4 0 0 15 0 12 0 13493392 1563873280 6835 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13234/statm: 381805 6836 1401 10 0 379108 0 Current children cumulated CPU time (s) 1.12 Current children cumulated vsize (KiB) 1527220 [startup+1.50197 s] /proc/loadavg: 0.93 0.98 0.99 4/118 13246 /proc/meminfo: memFree=1811912/2059040 swapFree=4148192/4192956 [pid=13234] ppid=13232 vsize=1536340 CPUtime=2.68 /proc/13234/stat : 13234 (java) S 13232 13234 13209 0 -1 4202496 25483 0 1 0 255 13 0 0 15 0 12 0 13493392 1573212160 23915 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13234/statm: 384085 23917 1407 10 0 381388 0 [pid=13234/tid=13236] ppid=13232 vsize=1536340 CPUtime=1.46 /proc/13234/task/13236/stat : 13236 (java) R 13232 13234 13209 0 -1 4202560 20370 0 1 0 136 10 0 0 25 0 12 0 13493394 1573212160 23918 1992294400 134512640 134550932 4287052848 18446744073709551615 4109722634 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=13234/tid=13237] ppid=13232 vsize=1536340 CPUtime=0 /proc/13234/task/13237/stat : 13237 (java) S 13232 13234 13209 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 12 0 13493395 1573212160 23920 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13238] ppid=13232 vsize=1536340 CPUtime=0 /proc/13234/task/13238/stat : 13238 (java) S 13232 13234 13209 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 13493395 1573212160 23921 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13239] ppid=13232 vsize=1536340 CPUtime=0 /proc/13234/task/13239/stat : 13239 (java) S 13232 13234 13209 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 13493397 1573212160 23923 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 0 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13240] ppid=13232 vsize=1536340 CPUtime=0 /proc/13234/task/13240/stat : 13240 (java) S 13232 13234 13209 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 13493398 1573212160 23924 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13241] ppid=13232 vsize=1536340 CPUtime=0 /proc/13234/task/13241/stat : 13241 (java) S 13232 13234 13209 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 13493398 1573212160 23926 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13242] ppid=13232 vsize=1536340 CPUtime=0 /proc/13234/task/13242/stat : 13242 (java) S 13232 13234 13209 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 13493402 1573212160 23927 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13243] ppid=13232 vsize=1536340 CPUtime=0.32 /proc/13234/task/13243/stat : 13243 (java) R 13232 13234 13209 0 -1 4202560 2101 0 0 0 31 1 0 0 18 0 12 0 13493402 1573212160 23929 1992294400 134512640 134550932 4287052848 18446744073709551615 104163866 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13234/tid=13244] ppid=13232 vsize=1536340 CPUtime=0.87 /proc/13234/task/13244/stat : 13244 (java) S 13232 13234 13209 0 -1 4202560 1952 0 0 0 87 0 0 0 16 0 12 0 13493402 1573212160 23931 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13245] ppid=13232 vsize=1536340 CPUtime=0 /proc/13234/task/13245/stat : 13245 (java) S 13232 13234 13209 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 13493402 1573212160 23932 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13246] ppid=13232 vsize=1536340 CPUtime=0 /proc/13234/task/13246/stat : 13246 (java) S 13232 13234 13209 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 13493402 1573212160 23934 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.68 Current children cumulated vsize (KiB) 1536340 [startup+3.10216 s] /proc/loadavg: 0.93 0.98 0.99 2/118 13246 /proc/meminfo: memFree=1706636/2059040 swapFree=4148192/4192956 [pid=13234] ppid=13232 vsize=1534288 CPUtime=4.44 /proc/13234/stat : 13234 (java) S 13232 13234 13209 0 -1 4202496 43701 0 1 0 423 21 0 0 15 0 12 0 13493392 1571110912 41699 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13234/statm: 383572 41699 1417 10 0 380875 0 [pid=13234/tid=13236] ppid=13232 vsize=1534288 CPUtime=2.92 /proc/13234/task/13236/stat : 13236 (java) R 13232 13234 13209 0 -1 4202560 32024 0 1 0 276 16 0 0 25 0 12 0 13493394 1571110912 41699 1992294400 134512640 134550932 4287052848 18446744073709551615 4109602923 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=13234/tid=13237] ppid=13232 vsize=1534288 CPUtime=0.12 /proc/13234/task/13237/stat : 13237 (java) S 13232 13234 13209 0 -1 4202560 3109 0 0 0 12 0 0 0 16 0 12 0 13493395 1571110912 41699 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13238] ppid=13232 vsize=1534288 CPUtime=0.13 /proc/13234/task/13238/stat : 13238 (java) S 13232 13234 13209 0 -1 4202560 3419 0 0 0 12 1 0 0 16 0 12 0 13493395 1571110912 41699 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13239] ppid=13232 vsize=1534288 CPUtime=0 /proc/13234/task/13239/stat : 13239 (java) S 13232 13234 13209 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 12 0 13493397 1571110912 41699 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 0 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13240] ppid=13232 vsize=1534288 CPUtime=0 /proc/13234/task/13240/stat : 13240 (java) S 13232 13234 13209 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 12 0 13493398 1571110912 41699 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13241] ppid=13232 vsize=1534288 CPUtime=0 /proc/13234/task/13241/stat : 13241 (java) S 13232 13234 13209 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 12 0 13493398 1571110912 41699 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13242] ppid=13232 vsize=1534288 CPUtime=0 /proc/13234/task/13242/stat : 13242 (java) S 13232 13234 13209 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 13493402 1571110912 41699 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13243] ppid=13232 vsize=1534288 CPUtime=0.34 /proc/13234/task/13243/stat : 13243 (java) S 13232 13234 13209 0 -1 4202560 2124 0 0 0 33 1 0 0 18 0 12 0 13493402 1571110912 41699 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13244] ppid=13232 vsize=1534288 CPUtime=0.87 /proc/13234/task/13244/stat : 13244 (java) S 13232 13234 13209 0 -1 4202560 1952 0 0 0 87 0 0 0 16 0 12 0 13493402 1571110912 41699 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13245] ppid=13232 vsize=1534288 CPUtime=0 /proc/13234/task/13245/stat : 13245 (java) S 13232 13234 13209 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 13493402 1571110912 41699 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13246] ppid=13232 vsize=1534288 CPUtime=0 /proc/13234/task/13246/stat : 13246 (java) S 13232 13234 13209 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 13493402 1571110912 41699 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.44 Current children cumulated vsize (KiB) 1534288 [startup+6.30158 s] /proc/loadavg: 1.17 1.03 1.01 2/118 13246 /proc/meminfo: memFree=1665592/2059040 swapFree=4148192/4192956 [pid=13234] ppid=13232 vsize=1535572 CPUtime=8.02 /proc/13234/stat : 13234 (java) S 13232 13234 13209 0 -1 4202496 51769 0 1 0 777 25 0 0 15 0 12 0 13493392 1572425728 49270 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13234/statm: 383893 49270 1417 10 0 381196 0 [pid=13234/tid=13236] ppid=13232 vsize=1535572 CPUtime=5.72 /proc/13234/task/13236/stat : 13236 (java) R 13232 13234 13209 0 -1 4202560 32028 0 1 0 555 17 0 0 25 0 12 0 13493394 1572425728 49270 1992294400 134512640 134550932 4287052848 18446744073709551615 4109722179 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=13234/tid=13237] ppid=13232 vsize=1535572 CPUtime=0.52 /proc/13234/task/13237/stat : 13237 (java) S 13232 13234 13209 0 -1 4202560 7389 0 0 0 50 2 0 0 16 0 12 0 13493395 1572425728 49270 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13238] ppid=13232 vsize=1535572 CPUtime=0.52 /proc/13234/task/13238/stat : 13238 (java) S 13232 13234 13209 0 -1 4202560 7200 0 0 0 49 3 0 0 16 0 12 0 13493395 1572425728 49270 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13239] ppid=13232 vsize=1535572 CPUtime=0 /proc/13234/task/13239/stat : 13239 (java) S 13232 13234 13209 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 12 0 13493397 1572425728 49270 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 0 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13240] ppid=13232 vsize=1535572 CPUtime=0 /proc/13234/task/13240/stat : 13240 (java) S 13232 13234 13209 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 12 0 13493398 1572425728 49270 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13241] ppid=13232 vsize=1535572 CPUtime=0 /proc/13234/task/13241/stat : 13241 (java) S 13232 13234 13209 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 12 0 13493398 1572425728 49270 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13242] ppid=13232 vsize=1535572 CPUtime=0 /proc/13234/task/13242/stat : 13242 (java) S 13232 13234 13209 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 13493402 1572425728 49270 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13243] ppid=13232 vsize=1535572 CPUtime=0.34 /proc/13234/task/13243/stat : 13243 (java) S 13232 13234 13209 0 -1 4202560 2124 0 0 0 33 1 0 0 18 0 12 0 13493402 1572425728 49270 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13244] ppid=13232 vsize=1535572 CPUtime=0.87 /proc/13234/task/13244/stat : 13244 (java) S 13232 13234 13209 0 -1 4202560 1952 0 0 0 87 0 0 0 16 0 12 0 13493402 1572425728 49270 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13245] ppid=13232 vsize=1535572 CPUtime=0 /proc/13234/task/13245/stat : 13245 (java) S 13232 13234 13209 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 13493402 1572425728 49270 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13246] ppid=13232 vsize=1535572 CPUtime=0 /proc/13234/task/13246/stat : 13246 (java) S 13232 13234 13209 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 13493402 1572425728 49270 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 8.02 Current children cumulated vsize (KiB) 1535572 [startup+12.7024 s] /proc/loadavg: 1.16 1.03 1.01 5/122 13250 /proc/meminfo: memFree=1601824/2059040 swapFree=4148192/4192956 [pid=13234] ppid=13232 vsize=1536868 CPUtime=16.82 /proc/13234/stat : 13234 (java) S 13232 13234 13209 0 -1 4202496 67816 0 1 0 1645 37 0 0 15 0 14 0 13493392 1573752832 63802 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13234/statm: 384217 63802 1443 10 0 381520 0 [pid=13234/tid=13236] ppid=13232 vsize=1536868 CPUtime=9.1 /proc/13234/task/13236/stat : 13236 (java) R 13232 13234 13209 0 -1 4202560 32066 0 1 0 892 18 0 0 18 0 14 0 13493394 1573752832 63802 1992294400 134512640 134550932 4287052848 18446744073709551615 4110203332 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13234/tid=13237] ppid=13232 vsize=1536868 CPUtime=1.37 /proc/13234/task/13237/stat : 13237 (java) S 13232 13234 13209 0 -1 4202560 15665 0 0 0 129 8 0 0 15 0 14 0 13493395 1573752832 63802 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13238] ppid=13232 vsize=1536868 CPUtime=1.37 /proc/13234/task/13238/stat : 13238 (java) S 13232 13234 13209 0 -1 4202560 14765 0 0 0 130 7 0 0 16 0 14 0 13493395 1573752832 63802 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13239] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13239/stat : 13239 (java) S 13232 13234 13209 0 -1 4202560 15 0 0 0 0 0 0 0 16 0 14 0 13493397 1573752832 63802 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 0 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13240] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13240/stat : 13240 (java) S 13232 13234 13209 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 14 0 13493398 1573752832 63802 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13241] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13241/stat : 13241 (java) S 13232 13234 13209 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 14 0 13493398 1573752832 63802 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13242] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13242/stat : 13242 (java) S 13232 13234 13209 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 14 0 13493402 1573752832 63802 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13243] ppid=13232 vsize=1536868 CPUtime=1.41 /proc/13234/task/13243/stat : 13243 (java) S 13232 13234 13209 0 -1 4202560 2198 0 0 0 140 1 0 0 16 0 14 0 13493402 1573752832 63802 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13244] ppid=13232 vsize=1536868 CPUtime=1.41 /proc/13234/task/13244/stat : 13244 (java) S 13232 13234 13209 0 -1 4202560 1989 0 0 0 141 0 0 0 16 0 14 0 13493402 1573752832 63802 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13245] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13245/stat : 13245 (java) S 13232 13234 13209 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 14 0 13493402 1573752832 63802 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13246] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13246/stat : 13246 (java) S 13232 13234 13209 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 14 0 13493402 1573752832 63802 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13249] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13249/stat : 13249 (java) S 13232 13234 13209 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 14 0 13494475 1573752832 63802 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13250] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13250/stat : 13250 (java) S 13232 13234 13209 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 14 0 13494475 1573752832 63802 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 16.82 Current children cumulated vsize (KiB) 1536868 [startup+25.5021 s] /proc/loadavg: 1.41 1.09 1.03 3/122 13254 /proc/meminfo: memFree=1595500/2059040 swapFree=4148192/4192956 [pid=13234] ppid=13232 vsize=1536868 CPUtime=42.22 /proc/13234/stat : 13234 (java) S 13232 13234 13209 0 -1 4202496 69722 0 1 0 4184 38 0 0 15 0 16 0 13493392 1573752832 65348 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13234/statm: 384217 65348 1443 10 0 381520 0 [pid=13234/tid=13236] ppid=13232 vsize=1536868 CPUtime=9.18 /proc/13234/task/13236/stat : 13236 (java) S 13232 13234 13209 0 -1 4202560 32070 0 1 0 900 18 0 0 18 0 16 0 13493394 1573752832 65348 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13237] ppid=13232 vsize=1536868 CPUtime=1.41 /proc/13234/task/13237/stat : 13237 (java) S 13232 13234 13209 0 -1 4202560 16642 0 0 0 133 8 0 0 16 0 16 0 13493395 1573752832 65348 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13238] ppid=13232 vsize=1536868 CPUtime=1.44 /proc/13234/task/13238/stat : 13238 (java) S 13232 13234 13209 0 -1 4202560 15640 0 0 0 136 8 0 0 16 0 16 0 13493395 1573752832 65348 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13239] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13239/stat : 13239 (java) S 13232 13234 13209 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 16 0 13493397 1573752832 65348 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 0 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13240] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13240/stat : 13240 (java) S 13232 13234 13209 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 13493398 1573752832 65348 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13241] ppid=13232 vsize=1536868 CPUtime=0 ################ # More data... # ################ /proc/13234/statm: 384217 124772 1448 10 0 381520 0 [pid=13234/tid=13236] ppid=13232 vsize=1536868 CPUtime=9.18 /proc/13234/task/13236/stat : 13236 (java) S 13232 13234 13209 0 -1 4202560 32073 0 1 0 900 18 0 0 15 0 16 0 13493394 1573752832 124772 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13237] ppid=13232 vsize=1536868 CPUtime=6.78 /proc/13234/task/13237/stat : 13237 (java) S 13232 13234 13209 0 -1 4202560 52815 0 0 0 646 32 0 0 15 0 16 0 13493395 1573752832 124772 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13238] ppid=13232 vsize=1536868 CPUtime=6.79 /proc/13234/task/13238/stat : 13238 (java) S 13232 13234 13209 0 -1 4202560 49568 0 0 0 649 30 0 0 16 0 16 0 13493395 1573752832 124772 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13239] ppid=13232 vsize=1536868 CPUtime=5.93 /proc/13234/task/13239/stat : 13239 (java) S 13232 13234 13209 0 -1 4202560 5205 0 0 0 581 12 0 0 15 0 16 0 13493397 1573752832 124772 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 0 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13240] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13240/stat : 13240 (java) S 13232 13234 13209 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 13493398 1573752832 124772 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13241] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13241/stat : 13241 (java) S 13232 13234 13209 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 16 0 13493398 1573752832 124772 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13242] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13242/stat : 13242 (java) S 13232 13234 13209 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 13493402 1573752832 124772 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13243] ppid=13232 vsize=1536868 CPUtime=2.49 /proc/13234/task/13243/stat : 13243 (java) S 13232 13234 13209 0 -1 4202560 2247 0 0 0 248 1 0 0 16 0 16 0 13493402 1573752832 124772 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13244] ppid=13232 vsize=1536868 CPUtime=2.25 /proc/13234/task/13244/stat : 13244 (java) S 13232 13234 13209 0 -1 4202560 2020 0 0 0 225 0 0 0 15 0 16 0 13493402 1573752832 124772 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13245] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13245/stat : 13245 (java) S 13232 13234 13209 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 13493402 1573752832 124772 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13246] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13246/stat : 13246 (java) S 13232 13234 13209 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 16 0 13493402 1573752832 124772 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13249] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13249/stat : 13249 (java) S 13232 13234 13209 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 16 0 13494475 1573752832 124772 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13250] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13250/stat : 13250 (java) S 13232 13234 13209 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 13494475 1573752832 124772 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13251] ppid=13232 vsize=1536868 CPUtime=729.19 /proc/13234/task/13251/stat : 13251 (java) R 13232 13234 13209 0 -1 4202560 144 0 0 0 72909 10 0 0 25 0 16 0 13494676 1573752832 124772 1992294400 134512640 134550932 4287052848 18446744073709551615 4110078318 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=13234/tid=13252] ppid=13232 vsize=1536868 CPUtime=733.51 /proc/13234/task/13252/stat : 13252 (java) R 13232 13234 13209 0 -1 4202560 887 0 0 0 73331 20 0 0 25 0 16 0 13494676 1573752832 124772 1992294400 134512640 134550932 4287052848 18446744073709551615 4110144962 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1498.29 Current children cumulated vsize (KiB) 1536868 [startup+822.301 s] /proc/loadavg: 2.03 1.95 1.58 3/122 13274 /proc/meminfo: memFree=1352832/2059040 swapFree=4148192/4192956 [pid=13234] ppid=13232 vsize=1536868 CPUtime=1616.01 /proc/13234/stat : 13234 (java) S 13232 13234 13209 0 -1 4202496 148803 0 1 0 161467 134 0 0 15 0 16 0 13493392 1573752832 125539 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13234/statm: 384217 125539 1448 10 0 381520 0 [pid=13234/tid=13236] ppid=13232 vsize=1536868 CPUtime=9.18 /proc/13234/task/13236/stat : 13236 (java) S 13232 13234 13209 0 -1 4202560 32075 0 1 0 900 18 0 0 15 0 16 0 13493394 1573752832 125539 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13237] ppid=13232 vsize=1536868 CPUtime=7.2 /proc/13234/task/13237/stat : 13237 (java) S 13232 13234 13209 0 -1 4202560 53205 0 0 0 687 33 0 0 15 0 16 0 13493395 1573752832 125539 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13238] ppid=13232 vsize=1536868 CPUtime=7.21 /proc/13234/task/13238/stat : 13238 (java) S 13232 13234 13209 0 -1 4202560 50150 0 0 0 690 31 0 0 16 0 16 0 13493395 1573752832 125539 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13239] ppid=13232 vsize=1536868 CPUtime=7.36 /proc/13234/task/13239/stat : 13239 (java) S 13232 13234 13209 0 -1 4202560 6812 0 0 0 723 13 0 0 15 0 16 0 13493397 1573752832 125539 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 0 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13240] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13240/stat : 13240 (java) S 13232 13234 13209 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 13493398 1573752832 125539 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13241] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13241/stat : 13241 (java) S 13232 13234 13209 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 16 0 13493398 1573752832 125539 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13242] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13242/stat : 13242 (java) S 13232 13234 13209 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 13493402 1573752832 125539 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13243] ppid=13232 vsize=1536868 CPUtime=2.49 /proc/13234/task/13243/stat : 13243 (java) S 13232 13234 13209 0 -1 4202560 2247 0 0 0 248 1 0 0 16 0 16 0 13493402 1573752832 125539 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13244] ppid=13232 vsize=1536868 CPUtime=2.25 /proc/13234/task/13244/stat : 13244 (java) S 13232 13234 13209 0 -1 4202560 2020 0 0 0 225 0 0 0 15 0 16 0 13493402 1573752832 125539 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13245] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13245/stat : 13245 (java) S 13232 13234 13209 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 13493402 1573752832 125539 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13246] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13246/stat : 13246 (java) S 13232 13234 13209 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 16 0 13493402 1573752832 125539 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13249] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13249/stat : 13249 (java) S 13232 13234 13209 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 16 0 13494475 1573752832 125539 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13250] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13250/stat : 13250 (java) S 13232 13234 13209 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 13494475 1573752832 125539 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13251] ppid=13232 vsize=1536868 CPUtime=786.96 /proc/13234/task/13251/stat : 13251 (java) R 13232 13234 13209 0 -1 4202560 161 0 0 0 78685 11 0 0 25 0 16 0 13494676 1573752832 125539 1992294400 134512640 134550932 4287052848 18446744073709551615 4110282710 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=13234/tid=13252] ppid=13232 vsize=1536868 CPUtime=791.16 /proc/13234/task/13252/stat : 13252 (java) R 13232 13234 13209 0 -1 4202560 970 0 0 0 79094 22 0 0 25 0 16 0 13494676 1573752832 125539 1992294400 134512640 134550932 4287052848 18446744073709551615 4110099532 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1616.01 Current children cumulated vsize (KiB) 1536868 [startup+882.302 s] /proc/loadavg: 2.01 1.96 1.60 3/122 13276 /proc/meminfo: memFree=1325800/2059040 swapFree=4148192/4192956 [pid=13234] ppid=13232 vsize=1536868 CPUtime=1735.03 /proc/13234/stat : 13234 (java) S 13232 13234 13209 0 -1 4202496 156925 0 1 0 173361 142 0 0 15 0 16 0 13493392 1573752832 132424 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13234/statm: 384217 132424 1448 10 0 381520 0 [pid=13234/tid=13236] ppid=13232 vsize=1536868 CPUtime=9.18 /proc/13234/task/13236/stat : 13236 (java) S 13232 13234 13209 0 -1 4202560 32076 0 1 0 900 18 0 0 15 0 16 0 13493394 1573752832 132424 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13237] ppid=13232 vsize=1536868 CPUtime=7.59 /proc/13234/task/13237/stat : 13237 (java) S 13232 13234 13209 0 -1 4202560 57199 0 0 0 724 35 0 0 15 0 16 0 13493395 1573752832 132424 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13238] ppid=13232 vsize=1536868 CPUtime=7.61 /proc/13234/task/13238/stat : 13238 (java) S 13232 13234 13209 0 -1 4202560 54233 0 0 0 729 32 0 0 16 0 16 0 13493395 1573752832 132424 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13239] ppid=13232 vsize=1536868 CPUtime=7.37 /proc/13234/task/13239/stat : 13239 (java) S 13232 13234 13209 0 -1 4202560 6817 0 0 0 723 14 0 0 16 0 16 0 13493397 1573752832 132424 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 0 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13240] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13240/stat : 13240 (java) S 13232 13234 13209 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 13493398 1573752832 132424 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13241] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13241/stat : 13241 (java) S 13232 13234 13209 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 16 0 13493398 1573752832 132424 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13242] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13242/stat : 13242 (java) S 13232 13234 13209 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 13493402 1573752832 132424 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13243] ppid=13232 vsize=1536868 CPUtime=2.49 /proc/13234/task/13243/stat : 13243 (java) S 13232 13234 13209 0 -1 4202560 2247 0 0 0 248 1 0 0 16 0 16 0 13493402 1573752832 132424 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13244] ppid=13232 vsize=1536868 CPUtime=2.25 /proc/13234/task/13244/stat : 13244 (java) S 13232 13234 13209 0 -1 4202560 2020 0 0 0 225 0 0 0 15 0 16 0 13493402 1573752832 132424 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13245] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13245/stat : 13245 (java) S 13232 13234 13209 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 13493402 1573752832 132424 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13246] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13246/stat : 13246 (java) S 13232 13234 13209 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 16 0 13493402 1573752832 132424 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13249] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13249/stat : 13249 (java) S 13232 13234 13209 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 16 0 13494475 1573752832 132424 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13250] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13250/stat : 13250 (java) S 13232 13234 13209 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 13494475 1573752832 132424 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13251] ppid=13232 vsize=1536868 CPUtime=846.27 /proc/13234/task/13251/stat : 13251 (java) R 13232 13234 13209 0 -1 4202560 165 0 0 0 84615 12 0 0 25 0 16 0 13494676 1573752832 132424 1992294400 134512640 134550932 4287052848 18446744073709551615 4110296684 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13234/tid=13252] ppid=13232 vsize=1536868 CPUtime=850.07 /proc/13234/task/13252/stat : 13252 (java) R 13232 13234 13209 0 -1 4202560 1001 0 0 0 84982 25 0 0 25 0 16 0 13494676 1573752832 132424 1992294400 134512640 134550932 4287052848 18446744073709551615 4109755676 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1735.03 Current children cumulated vsize (KiB) 1536868 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+915.102 s] /proc/loadavg: 2.00 1.96 1.61 4/122 13276 /proc/meminfo: memFree=1322824/2059040 swapFree=4148192/4192956 [pid=13234] ppid=13232 vsize=1536868 CPUtime=1800.14 /proc/13234/stat : 13234 (java) S 13232 13234 13209 0 -1 4202496 157777 0 1 0 179870 144 0 0 15 0 16 0 13493392 1573752832 133167 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13234/statm: 384217 133167 1448 10 0 381520 0 [pid=13234/tid=13236] ppid=13232 vsize=1536868 CPUtime=9.18 /proc/13234/task/13236/stat : 13236 (java) S 13232 13234 13209 0 -1 4202560 32076 0 1 0 900 18 0 0 15 0 16 0 13493394 1573752832 133167 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13237] ppid=13232 vsize=1536868 CPUtime=7.64 /proc/13234/task/13237/stat : 13237 (java) S 13232 13234 13209 0 -1 4202560 57671 0 0 0 729 35 0 0 16 0 16 0 13493395 1573752832 133167 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13238] ppid=13232 vsize=1536868 CPUtime=7.66 /proc/13234/task/13238/stat : 13238 (java) S 13232 13234 13209 0 -1 4202560 54607 0 0 0 734 32 0 0 16 0 16 0 13493395 1573752832 133167 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13239] ppid=13232 vsize=1536868 CPUtime=7.37 /proc/13234/task/13239/stat : 13239 (java) S 13232 13234 13209 0 -1 4202560 6817 0 0 0 723 14 0 0 15 0 16 0 13493397 1573752832 133167 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 0 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13240] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13240/stat : 13240 (java) S 13232 13234 13209 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 13493398 1573752832 133167 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13241] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13241/stat : 13241 (java) S 13232 13234 13209 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 16 0 13493398 1573752832 133167 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13242] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13242/stat : 13242 (java) S 13232 13234 13209 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 13493402 1573752832 133167 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13243] ppid=13232 vsize=1536868 CPUtime=2.49 /proc/13234/task/13243/stat : 13243 (java) S 13232 13234 13209 0 -1 4202560 2247 0 0 0 248 1 0 0 16 0 16 0 13493402 1573752832 133167 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13244] ppid=13232 vsize=1536868 CPUtime=2.26 /proc/13234/task/13244/stat : 13244 (java) S 13232 13234 13209 0 -1 4202560 2021 0 0 0 226 0 0 0 15 0 16 0 13493402 1573752832 133167 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13245] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13245/stat : 13245 (java) S 13232 13234 13209 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 13493402 1573752832 133167 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13246] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13246/stat : 13246 (java) S 13232 13234 13209 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 16 0 13493402 1573752832 133167 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13249] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13249/stat : 13249 (java) S 13232 13234 13209 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 16 0 13494475 1573752832 133167 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 0 0 0 0 [pid=13234/tid=13250] ppid=13232 vsize=1536868 CPUtime=0 /proc/13234/task/13250/stat : 13250 (java) S 13232 13234 13209 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 13494475 1573752832 133167 1992294400 134512640 134550932 4287052848 18446744073709551615 4294960144 0 4 0 16800975 18446604437845392384 0 0 -1 1 0 0 0 [pid=13234/tid=13251] ppid=13232 vsize=1536868 CPUtime=878.52 /proc/13234/task/13251/stat : 13251 (java) R 13232 13234 13209 0 -1 4202560 167 0 0 0 87838 14 0 0 25 0 16 0 13494676 1573752832 133167 1992294400 134512640 134550932 4287052848 18446744073709551615 4110410156 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13234/tid=13252] ppid=13232 vsize=1536868 CPUtime=882.82 /proc/13234/task/13252/stat : 13252 (java) R 13232 13234 13209 0 -1 4202560 1002 0 0 0 88257 25 0 0 25 0 16 0 13494676 1573752832 133167 1992294400 134512640 134550932 4287052848 18446744073709551615 4110099433 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 1536868 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+915.402 s] /proc/loadavg: 2.00 1.96 1.61 4/122 13276 /proc/meminfo: memFree=1322824/2059040 swapFree=4148192/4192956 [pid=13234] ppid=13232 vsize=0 CPUtime=1800.69 /proc/13234/stat : 13234 (java) Z 13232 13234 13209 0 -1 4203548 157802 0 1 0 179924 145 0 0 15 0 2 0 13493392 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13234/statm: 0 0 0 0 0 0 0 [pid=13234/tid=13251] ppid=13232 vsize=0 CPUtime=878.61 /proc/13234/task/13251/stat : 13251 (java) R 13232 13234 13209 0 -1 4203588 167 0 0 0 87845 16 0 0 25 0 2 0 13494676 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.69 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 915.442 CPU time (s): 1800.74 CPU user time (s): 1799.24 CPU system time (s): 1.49577 CPU usage (%): 196.707 Max. virtual memory (cumulated for all children) (KiB): 1541996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.24 system time used= 1.49577 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 157802 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= 33651 involuntary context switches= 55721 runsolver used 4.85826 second user time and 8.47571 second system time The end
Begin job on node013 at 2010-06-12 23:41:59 IDJOB=2662356 IDBENCH=1968 IDSOLVER=1166 FILE ID=node013/2662356-1276378918 PBS_JOBID= 11173243 Free space on /tmp= 62448 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_4.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-2662356-1276378918/watcher-2662356-1276378918 -o /tmp/evaluation-result-2662356-1276378918/solver-2662356-1276378918 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662356-1276378918.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ca3282cf347faf21ba3550ec87dd7af4 RANDOM SEED=1282273822 node013.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.253 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.50 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.253 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1852764 kB Buffers: 12704 kB Cached: 112236 kB SwapCached: 2000 kB Active: 55740 kB Inactive: 85548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1852764 kB SwapTotal: 4192956 kB SwapFree: 4148192 kB Dirty: 17196 kB Writeback: 40 kB AnonPages: 14408 kB Mapped: 12916 kB Slab: 43204 kB PageTables: 3956 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181500 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= 62448 MiB End job on node013 at 2010-06-12 23:57:16