Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -19 | 1798.1 | 1798.59 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_5.opb |
MD5SUM | b1b77cfc7c7e45b216596a736ff4b926 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -27 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -29 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 12452 |
Sum of products size (including duplicates) | 24904 |
Number of different products | 6226 |
Sum of products size | 12452 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2671074-1276717249.opb 0.00/0.00 c File size is 532479 bytes. 0.03/0.09 c Highest Coefficient sum: 400 0.03/0.09 c Parsing was ok!! 0.03/0.09 c Total parsing time: 0.09 s 0.03/0.10 c Var: 6626 Constr: 13054 6426/402/6226 Lit: 51008 Watch. Lit: 44384 0.03/0.10 c Obj. Vars: 200 (3.01841 % of total variables) 9.19/9.26 c Pre-processing Time: 9.263 s 9.19/9.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.19/9.26 c 0 6626 13054 51008 3 44384 169469 0 0 9.26 9.19/9.26 c Switching off lower bounding mode. 9.19/9.27 o -1 9.19/9.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.19/9.28 c 0 6626 13055 51208 3 44387 169603 1 0 9.27 9.19/9.28 o -2 9.59/9.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.59/9.66 c 3 6626 13059 52043 3 44397 169669 5 0 9.29 9.59/9.66 c 103 6626 13159 76016 5 44597 186636 105 10 9.45 9.59/9.66 c 353 6626 13409 140379 10 45097 205300 355 36 9.64 9.59/9.66 o -3 59.47/59.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 59.47/59.59 c 401 6626 13458 150381 11 45198 169736 404 41 9.66 59.47/59.59 c 501 6626 13558 175831 12 45398 186710 504 50 9.85 59.47/59.59 c 751 6626 13808 251741 18 45898 205382 754 73 10.15 59.47/59.59 c 1226 6626 14283 394559 27 46848 225921 1229 114 10.72 59.47/59.59 c 2039 6626 15096 643691 42 48474 248514 2042 175 11.65 59.47/59.59 c 3359 6626 16416 1052119 64 51114 273366 3362 255 13.15 59.47/59.59 c 5440 6626 18497 1699859 91 55276 300703 5443 350 15.52 59.47/59.59 c 8663 6626 21720 2728649 125 61722 330774 8666 454 19.07 59.47/59.59 c 13599 6626 26656 4367357 163 71594 363852 13602 569 23.90 59.47/59.59 c 21105 6626 34162 6360362 186 86606 400238 21108 744 28.36 59.47/59.59 c 32466 6626 45523 8663462 190 109328 440262 32469 959 33.85 59.47/59.59 c 49610 6626 62667 14156524 225 143616 484289 49613 860 57.68 59.47/59.59 o -4 142.35/142.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 142.35/142.40 c 51419 6626 64477 14836100 230 147240 169803 51423 862 59.58 142.35/142.40 c 51519 6626 64577 14863538 230 147440 186784 51523 859 59.91 142.35/142.40 c 51769 6626 64827 14940795 230 147940 205463 51773 855 60.53 142.35/142.40 c 52244 6626 65302 15086073 231 148890 226010 52248 848 61.61 142.35/142.40 c 53057 6626 66115 15333912 231 150516 248612 53061 832 63.70 142.35/142.40 c 54377 6626 67435 15741965 233 153156 273474 54381 812 66.89 142.35/142.40 c 56458 6626 69516 16386851 235 157318 300822 56462 788 71.56 142.35/142.40 c 59681 6626 72739 17412231 239 163764 330905 59685 752 79.30 142.35/142.40 c 64617 6626 77675 19064813 245 173636 363996 64621 720 89.69 142.35/142.40 c 72123 6626 85181 21532502 252 188648 400396 72127 636 113.39 142.35/142.40 c 83484 6626 96542 25322909 262 211370 440436 83488 613 135.99 142.35/142.40 o -18 189.94/190.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 189.94/190.04 c 84004 6626 97063 25375604 261 212430 170469 84009 590 142.37 189.94/190.04 c 84104 6626 97163 25396866 261 212630 187516 84109 588 142.82 189.94/190.04 c 84354 6626 97413 25447586 261 213130 206268 84359 587 143.59 189.94/190.04 c 84829 6626 97888 25543836 260 214080 226895 84834 585 144.81 189.94/190.04 c 85643 6626 98702 25758767 260 215708 249585 85648 578 147.96 189.94/190.04 c 86963 6626 100022 26152407 261 218348 274544 86968 577 150.50 189.94/190.04 c 89044 6626 102103 26739454 261 222510 301999 89049 576 154.54 189.94/190.04 c 92267 6626 105326 27681102 262 228956 332199 92272 575 160.32 189.94/190.04 c 97203 6626 110262 29261620 265 238828 365419 97208 547 177.69 189.94/190.04 o -19 1797.92/1798.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.48 c 97818 6626 110878 29328836 264 240079 170469 97824 514 190.00 1797.92/1798.48 c 97918 6626 110978 29349840 264 240279 187516 97924 513 190.69 1797.92/1798.48 c 98168 6626 111228 29400498 264 240779 206268 98174 512 191.65 1797.92/1798.48 c 98643 6626 111703 29496315 264 241729 226895 98649 511 192.84 1797.92/1798.48 c 99456 6626 112516 29674214 263 243355 249585 99462 510 194.75 1797.92/1798.48 c 100776 6626 113836 29970268 263 245995 274544 100782 512 196.71 1797.92/1798.48 c 102857 6626 115917 30422178 262 250157 301999 102863 509 201.78 1797.92/1798.48 c 106080 6626 119140 31205076 261 256603 332199 106086 512 206.90 1797.92/1798.48 c 111016 6626 124076 32681048 263 266475 365419 111022 515 215.17 1797.92/1798.48 c 118522 6626 131582 34530975 262 281487 401961 118528 522 227.03 1797.92/1798.48 c 129883 6626 142943 37873036 264 304209 442158 129889 518 250.32 1797.92/1798.48 c 147027 6626 160087 43035423 268 338497 486374 147033 517 284.00 1797.92/1798.48 c 172846 6626 185906 50720921 272 390135 535012 172852 484 357.02 1797.92/1798.48 c 211678 6626 224738 62746832 279 467799 588514 211684 344 614.00 1797.92/1798.48 c Reducing formula size due to memory constraints 1797.92/1798.48 c Memory Limit: 1000.00 MB Used: 1000.57 MB 1797.92/1798.48 c 270030 6626 35301 7171636 203 88897 31797 22247 176 1526.83 1797.92/1798.48 c 357662 6626 42234 9384374 222 102763 34977 29180 208 1711.87 1797.92/1798.48 c Resources Exceeded 1797.92/1798.48 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 -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 -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 1797.92/1798.48 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.48 c 52 407348 540 431286 31932 6047541 18878 226 1798.00 1797.92/1798.48 c Objective: -19 1797.92/1798.48 s SATISFIABLE 1797.92/1798.48 c Total time: 1798 s
OK -19
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671074-1276717249/watcher-2671074-1276717249 -o /tmp/evaluation-result-2671074-1276717249/solver-2671074-1276717249 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671074-1276717249.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11319 /proc/meminfo: memFree=1695664/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=11456 CPUtime=0 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 47328652 11730944 281 1992294400 134512640 137138936 4294248656 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 2864 281 175 642 0 2090 0 [startup+0.0404399 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11319 /proc/meminfo: memFree=1695664/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=12140 CPUtime=0.03 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 579 0 0 0 3 0 0 0 20 0 1 0 47328652 12431360 498 1992294400 134512640 137138936 4294248656 18446744073709551615 136496527 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 3035 498 221 642 0 2261 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12140 [startup+0.101446 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11319 /proc/meminfo: memFree=1695664/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=14372 CPUtime=0.09 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 1335 0 0 0 9 0 0 0 20 0 1 0 47328652 14716928 1124 1992294400 134512640 137138936 4294248656 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 3593 1124 184 642 0 2949 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14372 [startup+0.301468 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11319 /proc/meminfo: memFree=1695664/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=14372 CPUtime=0.29 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 1361 0 0 0 29 0 0 0 20 0 1 0 47328652 14716928 1150 1992294400 134512640 137138936 4294248656 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 3593 1150 184 642 0 2949 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14372 [startup+0.701512 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11319 /proc/meminfo: memFree=1695664/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=14372 CPUtime=0.69 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 1361 0 0 0 69 0 0 0 20 0 1 0 47328652 14716928 1150 1992294400 134512640 137138936 4294248656 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 3593 1150 184 642 0 2949 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14372 [startup+1.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11320 /proc/meminfo: memFree=1691936/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=14372 CPUtime=1.49 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 1361 0 0 0 149 0 0 0 23 0 1 0 47328652 14716928 1150 1992294400 134512640 137138936 4294248656 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 3593 1150 184 642 0 2949 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14372 [startup+3.10078 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11320 /proc/meminfo: memFree=1691812/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=14372 CPUtime=3.09 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 1361 0 0 0 309 0 0 0 25 0 1 0 47328652 14716928 1150 1992294400 134512640 137138936 4294248656 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 3593 1150 184 642 0 2949 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14372 [startup+6.30114 s] /proc/loadavg: 1.00 1.00 1.00 3/107 11320 /proc/meminfo: memFree=1691564/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=14372 CPUtime=6.29 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 1361 0 0 0 628 1 0 0 25 0 1 0 47328652 14716928 1150 1992294400 134512640 137138936 4294248656 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 3593 1150 184 642 0 2949 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14372 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11320 /proc/meminfo: memFree=1682388/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=25956 CPUtime=12.69 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 4595 0 0 0 1264 5 0 0 25 0 1 0 47328652 26578944 4058 1992294400 134512640 137138936 4294248656 18446744073709551615 134575773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 6489 4058 191 642 0 5845 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25956 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11320 /proc/meminfo: memFree=1628324/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=79268 CPUtime=25.48 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 17906 0 0 0 2534 14 0 0 25 0 1 0 47328652 81170432 17369 1992294400 134512640 137138936 4294248656 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 19817 17369 191 642 0 19173 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 79268 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11322 /proc/meminfo: memFree=1532472/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=175264 CPUtime=51.08 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 41910 0 0 0 5074 34 0 0 25 0 1 0 47328652 179470336 41373 1992294400 134512640 137138936 4294248656 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 43816 41373 191 642 0 43172 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 175264 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11324 /proc/meminfo: memFree=1420872/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=284572 CPUtime=102.27 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 69245 0 0 0 10164 63 0 0 25 0 1 0 47328652 291401728 68708 1992294400 134512640 137138936 4294248656 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 71143 68708 191 642 0 70499 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 284572 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11324 /proc/meminfo: memFree=1326508/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=380180 CPUtime=162.25 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 93146 0 0 0 16132 93 0 0 25 0 1 0 47328652 389304320 92609 1992294400 134512640 137138936 4294248656 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 95045 92609 191 642 0 94401 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 380180 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11326 /proc/meminfo: memFree=1248388/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=456960 CPUtime=222.23 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 112345 0 0 0 22105 118 0 0 25 0 1 0 47328652 467927040 111808 1992294400 134512640 137138936 4294248656 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 114240 111808 191 642 0 113596 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 456960 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11328 /proc/meminfo: memFree=1133316/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=573520 CPUtime=282.21 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 141474 0 0 0 28073 148 0 0 25 0 1 0 47328652 587284480 140937 1992294400 134512640 137138936 4294248656 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 143380 140937 191 642 0 142736 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 573520 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11330 /proc/meminfo: memFree=1048252/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=657132 CPUtime=342.2 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 162390 0 0 0 34049 171 0 0 25 0 1 0 47328652 672903168 161853 1992294400 134512640 137138936 4294248656 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 164283 161853 191 642 0 163639 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 657132 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11330 /proc/meminfo: memFree=971868/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=733768 CPUtime=402.18 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 181534 0 0 0 40025 193 0 0 25 0 1 0 47328652 751378432 180997 1992294400 134512640 137138936 4294248656 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 183442 180997 191 642 0 182798 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 733768 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11332 /proc/meminfo: memFree=952400/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=751972 CPUtime=462.17 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 186097 0 0 0 46017 200 0 0 25 0 1 0 47328652 770019328 185560 1992294400 134512640 137138936 4294248656 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 187993 185560 191 642 0 187349 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 751972 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11334 /proc/meminfo: memFree=934172/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=770356 CPUtime=522.16 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 190687 0 0 0 52008 208 0 0 25 0 1 0 47328652 788844544 190150 1992294400 134512640 137138936 4294248656 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 192589 190150 191 642 0 191945 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 770356 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11336 /proc/meminfo: memFree=881472/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=822816 CPUtime=582.14 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 203798 0 0 0 57990 224 0 0 25 0 1 0 47328652 842563584 203261 1992294400 134512640 137138936 4294248656 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 205704 203261 191 642 0 205060 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 822816 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11338 /proc/meminfo: memFree=853076/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=850996 CPUtime=642.13 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 210850 0 0 0 63979 234 0 0 25 0 1 0 47328652 871419904 210313 1992294400 134512640 137138936 4294248656 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 212749 210313 191 642 0 212105 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 850996 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=665836/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=1036932 CPUtime=1062.01 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 257596 0 0 0 105908 293 0 0 25 0 1 0 47328652 1061818368 256804 1992294400 134512640 137138936 4294248656 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 259233 256804 191 642 0 258589 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1036932 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11350 /proc/meminfo: memFree=665836/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=1036932 CPUtime=1121.99 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 257596 0 0 0 111906 293 0 0 25 0 1 0 47328652 1061818368 256804 1992294400 134512640 137138936 4294248656 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 259233 256804 191 642 0 258589 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1036932 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11352 /proc/meminfo: memFree=665712/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=1036932 CPUtime=1181.98 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 257596 0 0 0 117905 293 0 0 25 0 1 0 47328652 1061818368 256804 1992294400 134512640 137138936 4294248656 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 259233 256804 191 642 0 258589 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1036932 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11363 /proc/meminfo: memFree=665340/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=1036932 CPUtime=1241.95 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 257596 0 0 0 123902 293 0 0 25 0 1 0 47328652 1061818368 256804 1992294400 134512640 137138936 4294248656 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 259233 256804 191 642 0 258589 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1036932 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11363 /proc/meminfo: memFree=665340/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=1036932 CPUtime=1301.94 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 257596 0 0 0 129901 293 0 0 25 0 1 0 47328652 1061818368 256804 1992294400 134512640 137138936 4294248656 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 259233 256804 191 642 0 258589 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1036932 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11365 /proc/meminfo: memFree=665464/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=1036932 CPUtime=1361.92 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 257596 0 0 0 135899 293 0 0 25 0 1 0 47328652 1061818368 256804 1992294400 134512640 137138936 4294248656 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 259233 256804 191 642 0 258589 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1036932 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11367 /proc/meminfo: memFree=665464/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=1036932 CPUtime=1421.91 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 257596 0 0 0 141898 293 0 0 25 0 1 0 47328652 1061818368 256804 1992294400 134512640 137138936 4294248656 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 259233 256804 191 642 0 258589 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1036932 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11369 /proc/meminfo: memFree=665464/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=1036932 CPUtime=1481.89 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 257596 0 0 0 147896 293 0 0 25 0 1 0 47328652 1061818368 256804 1992294400 134512640 137138936 4294248656 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 259233 256804 191 642 0 258589 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1036932 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11371 /proc/meminfo: memFree=665588/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=1036932 CPUtime=1541.87 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 257596 0 0 0 153888 299 0 0 25 0 1 0 47328652 1061818368 256804 1992294400 134512640 137138936 4294248656 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 259233 256804 191 642 0 258589 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1036932 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11371 /proc/meminfo: memFree=665588/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=1036932 CPUtime=1601.86 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 257596 0 0 0 159876 310 0 0 25 0 1 0 47328652 1061818368 256804 1992294400 134512640 137138936 4294248656 18446744073709551615 136504617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 259233 256804 191 642 0 258589 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1036932 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11373 /proc/meminfo: memFree=665588/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=1036932 CPUtime=1661.84 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 257596 0 0 0 165868 316 0 0 25 0 1 0 47328652 1061818368 256804 1992294400 134512640 137138936 4294248656 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 259233 256804 191 642 0 258589 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1036932 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11375 /proc/meminfo: memFree=665588/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=1036932 CPUtime=1721.83 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 257596 0 0 0 171855 328 0 0 25 0 1 0 47328652 1061818368 256804 1992294400 134512640 137138936 4294248656 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 259233 256804 191 642 0 258589 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1036932 [startup+1782.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 11377 /proc/meminfo: memFree=665216/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=1036932 CPUtime=1781.81 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 257596 0 0 0 177843 338 0 0 25 0 1 0 47328652 1061818368 256804 1992294400 134512640 137138936 4294248656 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 259233 256804 191 642 0 258589 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1036932 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.04 1.01 1.00 2/107 11377 /proc/meminfo: memFree=665216/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=1036932 CPUtime=1791.42 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 257596 0 0 0 178802 340 0 0 25 0 1 0 47328652 1061818368 256804 1992294400 134512640 137138936 4294248656 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 259233 256804 191 642 0 258589 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 1036932 [startup+1795.1 s] /proc/loadavg: 1.04 1.01 1.00 2/107 11377 /proc/meminfo: memFree=665216/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=1036932 CPUtime=1794.62 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 257596 0 0 0 179121 341 0 0 25 0 1 0 47328652 1061818368 256804 1992294400 134512640 137138936 4294248656 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 259233 256804 191 642 0 258589 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (KiB) 1036932 [startup+1796.7 s] /proc/loadavg: 1.03 1.01 1.00 2/107 11377 /proc/meminfo: memFree=665216/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=1036932 CPUtime=1796.21 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 257596 0 0 0 179280 341 0 0 25 0 1 0 47328652 1061818368 256804 1992294400 134512640 137138936 4294248656 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 259233 256804 191 642 0 258589 0 Current children cumulated CPU time (s) 1796.21 Current children cumulated vsize (KiB) 1036932 [startup+1797.5 s] /proc/loadavg: 1.03 1.01 1.00 2/107 11377 /proc/meminfo: memFree=665216/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=1036932 CPUtime=1797 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 257596 0 0 0 179359 341 0 0 25 0 1 0 47328652 1061818368 256804 1992294400 134512640 137138936 4294248656 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 259233 256804 191 642 0 258589 0 Current children cumulated CPU time (s) 1797 Current children cumulated vsize (KiB) 1036932 [startup+1798.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 11377 /proc/meminfo: memFree=665216/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=1036932 CPUtime=1797.81 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202496 257596 0 0 0 179439 342 0 0 25 0 1 0 47328652 1061818368 256804 1992294400 134512640 137138936 4294248656 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11319/statm: 259233 256804 191 642 0 258589 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 1036932 [startup+1798.51 s] /proc/loadavg: 1.03 1.01 1.00 2/107 11377 /proc/meminfo: memFree=665216/2059040 swapFree=4140468/4192956 [pid=11319] ppid=11317 vsize=0 CPUtime=1798.02 /proc/11319/stat : 11319 (bsolo_pb10) R 11317 11319 11098 0 -1 4202500 257597 0 0 0 179458 344 0 0 25 0 1 0 47328652 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/11319/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.02 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.59 CPU time (s): 1798.1 CPU user time (s): 1794.58 CPU system time (s): 3.52046 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 1037952 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.58 system time used= 3.52046 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 257597 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 3602 runsolver used 2.94755 second user time and 8.51171 second system time The end
Begin job on node005 at 2010-06-16 21:40:49 IDJOB=2671074 IDBENCH=48253 IDSOLVER=1163 FILE ID=node005/2671074-1276717249 PBS_JOBID= 11174174 Free space on /tmp= 62564 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_5.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671074-1276717249/watcher-2671074-1276717249 -o /tmp/evaluation-result-2671074-1276717249/solver-2671074-1276717249 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671074-1276717249.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b1b77cfc7c7e45b216596a736ff4b926 RANDOM SEED=1162974245 node005.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.246 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.49 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.246 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1696936 kB Buffers: 120288 kB Cached: 145128 kB SwapCached: 6352 kB Active: 100040 kB Inactive: 179088 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1696936 kB SwapTotal: 4192956 kB SwapFree: 4140468 kB Dirty: 4044 kB Writeback: 0 kB AnonPages: 11760 kB Mapped: 13096 kB Slab: 61236 kB PageTables: 3964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181976 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671074-1276717249.opb Free space on /tmp at the end= 62560 MiB End job on node005 at 2010-06-16 22:10:48