Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -23 | 1798.1 | 1798.69 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_1.opb |
MD5SUM | 4142356c9f50acd7c9005938f6b31a6d |
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.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -32 |
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) | 12408 |
Sum of products size (including duplicates) | 24816 |
Number of different products | 6204 |
Sum of products size | 12408 |
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: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2671045-1276716255.opb 0.00/0.00 c File size is 530657 bytes. 0.07/0.09 c Highest Coefficient sum: 400 0.07/0.09 c Parsing was ok!! 0.07/0.09 c Total parsing time: 0.089 s 0.07/0.10 c Var: 6604 Constr: 13010 6404/402/6204 Lit: 50832 Watch. Lit: 44230 0.07/0.10 c Obj. Vars: 200 (3.02847 % of total variables) 9.19/9.22 c Pre-processing Time: 9.22 s 9.19/9.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.19/9.22 c 0 6604 13010 50832 3 44230 168265 0 0 9.22 9.19/9.22 c Switching off lower bounding mode. 9.19/9.23 o -1 9.19/9.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.19/9.25 c 0 6604 13011 51032 3 44233 168398 1 0 9.23 9.19/9.25 o -2 9.19/9.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.19/9.27 c 1 6604 13014 51632 3 44242 168465 4 0 9.25 9.19/9.27 o -3 9.19/9.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.19/9.29 c 2 6604 13017 52266 4 44253 168531 7 0 9.27 9.19/9.29 o -4 9.28/9.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.28/9.30 c 4 6604 13021 52903 4 44268 168598 11 0 9.29 9.28/9.30 o -5 9.28/9.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.28/9.32 c 7 6604 13026 53970 4 44287 168665 16 0 9.31 9.28/9.32 o -6 9.28/9.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.28/9.34 c 15 6604 13036 55241 4 44318 168731 26 1 9.33 9.28/9.34 o -7 9.28/9.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.28/9.36 c 23 6604 13046 57299 4 44351 168798 36 2 9.35 9.28/9.36 o -8 9.28/9.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.28/9.38 c 31 6604 13056 59158 4 44386 168865 46 3 9.37 9.28/9.38 o -9 9.38/9.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.38/9.40 c 44 6604 13071 59893 4 44433 168931 61 4 9.38 9.38/9.40 o -10 9.38/9.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.38/9.42 c 52 6604 13081 61553 4 44472 168998 71 5 9.40 9.38/9.42 o -11 9.38/9.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.38/9.44 c 67 6604 13098 63265 4 44527 169065 88 7 9.43 9.38/9.44 o -12 9.38/9.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.38/9.47 c 76 6604 13109 64954 4 44572 169131 99 8 9.44 9.38/9.47 o -13 9.38/9.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.38/9.49 c 108 6604 13143 68559 5 44665 169198 133 11 9.47 9.38/9.49 o -14 9.48/9.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.48/9.52 c 142 6604 13179 69394 5 44764 169265 169 14 9.49 9.48/9.52 o -15 10.28/10.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.28/10.39 c 161 6604 13200 70195 5 44835 169265 190 16 9.52 10.28/10.39 c 261 6604 13300 76594 5 45035 186192 290 26 9.95 10.28/10.39 o -18 10.38/10.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.38/10.47 c 443 6604 13483 101890 7 45419 169265 473 42 10.39 10.38/10.47 o -19 10.38/10.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.38/10.49 c 514 6604 13556 114461 8 45602 169265 546 49 10.47 10.38/10.49 o -20 10.48/10.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.48/10.52 c 524 6604 13568 116314 8 45665 169265 558 49 10.49 10.48/10.52 o -21 10.48/10.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.48/10.54 c 548 6604 13594 119445 8 45758 169265 584 52 10.52 10.48/10.54 o -22 10.48/10.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.48/10.57 c 572 6604 13620 123804 9 45853 169265 610 54 10.54 10.48/10.57 o -23 1797.91/1798.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.59 c 584 6604 13634 124782 9 45926 169265 624 55 10.57 1797.91/1798.59 c 684 6604 13735 126024 9 46151 186192 725 64 10.60 1797.91/1798.59 c 934 6604 14003 165601 11 46687 204812 993 85 10.94 1797.91/1798.59 c 1409 6604 14493 256873 17 47667 225294 1483 122 11.52 1797.91/1798.59 c 2222 6604 15307 403613 26 49295 247824 2297 176 12.59 1797.91/1798.59 c 3542 6604 16639 558005 33 51963 272607 3629 260 13.61 1797.91/1798.59 c 5623 6604 18772 955532 50 56284 299868 5762 350 16.04 1797.91/1798.59 c 8846 6604 22084 1640136 74 62994 329855 9074 433 20.39 1797.91/1798.59 c 13782 6604 27194 2759162 101 73598 362841 14184 496 27.78 1797.91/1798.59 c 21288 6604 35006 4471100 127 89569 399126 21996 506 42.05 1797.91/1798.59 c 32649 6604 46879 7160705 152 113787 439039 33869 472 69.06 1797.91/1798.59 c 49793 6604 64820 11340757 174 150231 482943 51810 388 128.04 1797.91/1798.59 c 75614 6604 91862 17849430 194 205745 531238 78852 333 226.72 1797.91/1798.59 c 114446 6604 132500 27378479 206 287927 584362 119490 285 401.30 1797.91/1798.59 c 172798 6604 194203 40992695 211 412639 642799 181193 231 745.02 1797.91/1798.59 c 260431 6604 285702 61531834 215 596959 707079 272692 179 1450.85 1797.91/1798.59 c Resources Exceeded 1797.91/1798.59 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 -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.91/1798.59 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.59 c 37 292741 98939 528011 320112 69841252 307102 162 1798.01 1797.91/1798.59 c Objective: -23 1797.91/1798.59 s SATISFIABLE 1797.91/1798.59 c Total time: 1798.01 s
OK -23
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671045-1276716255/watcher-2671045-1276716255 -o /tmp/evaluation-result-2671045-1276716255/solver-2671045-1276716255 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671045-1276716255.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.09 1.03 1.00 3/106 12049 /proc/meminfo: memFree=1834260/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=11460 CPUtime=0 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 47226885 11735040 278 1992294400 134512640 137138936 4286973680 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 2865 278 174 642 0 2091 0 [startup+0.0784021 s] /proc/loadavg: 1.09 1.03 1.00 3/106 12049 /proc/meminfo: memFree=1834260/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=12964 CPUtime=0.07 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 824 0 0 0 7 0 0 0 21 0 1 0 47226885 13275136 743 1992294400 134512640 137138936 4286973680 18446744073709551615 134529755 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 3241 743 275 642 0 2467 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 12964 [startup+0.101406 s] /proc/loadavg: 1.09 1.03 1.00 3/106 12049 /proc/meminfo: memFree=1834260/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=14272 CPUtime=0.09 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 1332 0 0 0 9 0 0 0 21 0 1 0 47226885 14614528 1121 1992294400 134512640 137138936 4286973680 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 3568 1121 184 642 0 2924 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14272 [startup+0.30144 s] /proc/loadavg: 1.09 1.03 1.00 3/106 12049 /proc/meminfo: memFree=1834260/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=14404 CPUtime=0.29 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 1356 0 0 0 29 0 0 0 21 0 1 0 47226885 14749696 1145 1992294400 134512640 137138936 4286973680 18446744073709551615 134566363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 3601 1145 184 642 0 2957 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14404 [startup+0.701508 s] /proc/loadavg: 1.09 1.03 1.00 3/106 12049 /proc/meminfo: memFree=1834260/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=14404 CPUtime=0.69 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 1356 0 0 0 69 0 0 0 22 0 1 0 47226885 14749696 1145 1992294400 134512640 137138936 4286973680 18446744073709551615 134543203 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 3601 1145 184 642 0 2957 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14404 [startup+1.50065 s] /proc/loadavg: 1.09 1.03 1.00 2/107 12050 /proc/meminfo: memFree=1830532/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=14404 CPUtime=1.49 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 1356 0 0 0 149 0 0 0 25 0 1 0 47226885 14749696 1145 1992294400 134512640 137138936 4286973680 18446744073709551615 134566244 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 3601 1145 184 642 0 2957 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14404 [startup+3.10092 s] /proc/loadavg: 1.09 1.03 1.00 2/107 12050 /proc/meminfo: memFree=1830408/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=14404 CPUtime=3.09 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 1356 0 0 0 309 0 0 0 25 0 1 0 47226885 14749696 1145 1992294400 134512640 137138936 4286973680 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 3601 1145 184 642 0 2957 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14404 [startup+6.30047 s] /proc/loadavg: 1.09 1.03 1.00 2/107 12050 /proc/meminfo: memFree=1830160/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=14404 CPUtime=6.29 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 1356 0 0 0 628 1 0 0 25 0 1 0 47226885 14749696 1145 1992294400 134512640 137138936 4286973680 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 3601 1145 184 642 0 2957 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14404 [startup+12.7006 s] /proc/loadavg: 1.08 1.03 1.00 3/107 12050 /proc/meminfo: memFree=1826440/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=19460 CPUtime=12.68 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 2956 0 0 0 1261 7 0 0 25 0 1 0 47226885 19927040 2420 1992294400 134512640 137138936 4286973680 18446744073709551615 134618206 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 4865 2420 192 642 0 4221 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19460 [startup+25.5018 s] /proc/loadavg: 1.06 1.02 1.00 2/107 12050 /proc/meminfo: memFree=1798912/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=46272 CPUtime=25.48 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 9659 0 0 0 2535 13 0 0 25 0 1 0 47226885 47382528 9123 1992294400 134512640 137138936 4286973680 18446744073709551615 134551913 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 11568 9123 192 642 0 10924 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 46272 [startup+51.1012 s] /proc/loadavg: 1.04 1.02 1.00 2/107 12050 /proc/meminfo: memFree=1758116/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=87500 CPUtime=51.07 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 19981 0 0 0 5082 25 0 0 25 0 1 0 47226885 89600000 19445 1992294400 134512640 137138936 4286973680 18446744073709551615 136520924 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 21875 19445 192 642 0 21231 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 87500 [startup+102.309 s] /proc/loadavg: 1.02 1.02 1.00 2/107 12052 /proc/meminfo: memFree=1702564/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=141936 CPUtime=102.26 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 33575 0 0 0 10183 43 0 0 25 0 1 0 47226885 145342464 33039 1992294400 134512640 137138936 4286973680 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 35484 33039 192 642 0 34840 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 141936 [startup+162.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 12054 /proc/meminfo: memFree=1651352/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=193276 CPUtime=162.24 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 46410 0 0 0 16161 63 0 0 25 0 1 0 47226885 197914624 45874 1992294400 134512640 137138936 4286973680 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 48319 45874 192 642 0 47675 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 193276 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 12056 /proc/meminfo: memFree=1598280/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=245796 CPUtime=222.22 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 59546 0 0 0 22141 81 0 0 25 0 1 0 47226885 251695104 59010 1992294400 134512640 137138936 4286973680 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 61449 59010 192 642 0 60805 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 245796 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12056 /proc/meminfo: memFree=1553144/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=291396 CPUtime=282.2 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 70940 0 0 0 28121 99 0 0 25 0 1 0 47226885 298389504 70404 1992294400 134512640 137138936 4286973680 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 72849 70404 192 642 0 72205 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 291396 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12058 /proc/meminfo: memFree=1509000/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=334908 CPUtime=342.18 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 81828 0 0 0 34103 115 0 0 25 0 1 0 47226885 342945792 81292 1992294400 134512640 137138936 4286973680 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 83727 81292 192 642 0 83083 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 334908 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12060 /proc/meminfo: memFree=1467832/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=376380 CPUtime=402.16 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 92194 0 0 0 40087 129 0 0 25 0 1 0 47226885 385413120 91658 1992294400 134512640 137138936 4286973680 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 94095 91658 192 642 0 93451 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 376380 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12062 /proc/meminfo: memFree=1433980/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=409804 CPUtime=462.14 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 100558 0 0 0 46072 142 0 0 25 0 1 0 47226885 419639296 100022 1992294400 134512640 137138936 4286973680 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 102451 100022 192 642 0 101807 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 409804 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12064 /proc/meminfo: memFree=1398516/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=445472 CPUtime=522.12 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 109467 0 0 0 52057 155 0 0 25 0 1 0 47226885 456163328 108931 1992294400 134512640 137138936 4286973680 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 111368 108931 192 642 0 110724 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 445472 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12064 /proc/meminfo: memFree=1367640/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=475900 CPUtime=582.1 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 117076 0 0 0 58041 169 0 0 25 0 1 0 47226885 487321600 116540 1992294400 134512640 137138936 4286973680 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 118975 116540 192 642 0 118331 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 475900 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12066 /proc/meminfo: memFree=1338128/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=505068 CPUtime=642.08 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 124375 0 0 0 64028 180 0 0 25 0 1 0 47226885 517189632 123839 1992294400 134512640 137138936 4286973680 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 126267 123839 192 642 0 125623 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 505068 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1129312/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=713468 CPUtime=1121.93 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 176474 0 0 0 111925 268 0 0 25 0 1 0 47226885 730591232 175938 1992294400 134512640 137138936 4286973680 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 178367 175938 192 642 0 177723 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 713468 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12080 /proc/meminfo: memFree=1110216/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=732680 CPUtime=1181.91 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 181269 0 0 0 117915 276 0 0 25 0 1 0 47226885 750264320 180733 1992294400 134512640 137138936 4286973680 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 183170 180733 192 642 0 182526 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 732680 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12082 /proc/meminfo: memFree=1088640/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=754064 CPUtime=1241.88 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 186607 0 0 0 123903 285 0 0 25 0 1 0 47226885 772161536 186071 1992294400 134512640 137138936 4286973680 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 188516 186071 192 642 0 187872 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 754064 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12084 /proc/meminfo: memFree=1066320/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=776068 CPUtime=1301.88 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 192127 0 0 0 129894 294 0 0 25 0 1 0 47226885 794693632 191591 1992294400 134512640 137138936 4286973680 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 194017 191591 192 642 0 193373 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 776068 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12086 /proc/meminfo: memFree=1045736/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=796764 CPUtime=1361.84 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 197282 0 0 0 135882 302 0 0 25 0 1 0 47226885 815886336 196746 1992294400 134512640 137138936 4286973680 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 199191 196746 192 642 0 198547 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 796764 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12088 /proc/meminfo: memFree=1024904/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=817376 CPUtime=1421.83 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 202451 0 0 0 141871 312 0 0 25 0 1 0 47226885 836993024 201915 1992294400 134512640 137138936 4286973680 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 204344 201915 192 642 0 203700 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 817376 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12088 /proc/meminfo: memFree=1004196/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=838132 CPUtime=1481.8 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 207630 0 0 0 147859 321 0 0 25 0 1 0 47226885 858247168 207094 1992294400 134512640 137138936 4286973680 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 209533 207094 192 642 0 208889 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 838132 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12090 /proc/meminfo: memFree=983736/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=858492 CPUtime=1541.79 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 212720 0 0 0 153850 329 0 0 25 0 1 0 47226885 879095808 212184 1992294400 134512640 137138936 4286973680 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 214623 212184 192 642 0 213979 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 858492 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12092 /proc/meminfo: memFree=962656/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=879788 CPUtime=1601.76 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 218046 0 0 0 159840 336 0 0 25 0 1 0 47226885 900902912 217510 1992294400 134512640 137138936 4286973680 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 219947 217510 192 642 0 219303 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 879788 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12094 /proc/meminfo: memFree=940584/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=901552 CPUtime=1661.74 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 223492 0 0 0 165830 344 0 0 25 0 1 0 47226885 923189248 222956 1992294400 134512640 137138936 4286973680 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 225388 222956 192 642 0 224744 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 901552 [startup+1722.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 12096 /proc/meminfo: memFree=923100/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=919044 CPUtime=1721.73 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 227856 0 0 0 171821 352 0 0 25 0 1 0 47226885 941101056 227320 1992294400 134512640 137138936 4286973680 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 229761 227320 192 642 0 229117 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 919044 [startup+1782.3 s] /proc/loadavg: 1.05 1.02 1.00 2/107 12096 /proc/meminfo: memFree=908840/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=933088 CPUtime=1781.71 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 231368 0 0 0 177811 360 0 0 25 0 1 0 47226885 955482112 230832 1992294400 134512640 137138936 4286973680 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 233272 230832 192 642 0 232628 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 933088 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.11 1.04 1.00 2/107 12098 /proc/meminfo: memFree=906360/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=935488 CPUtime=1791.31 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 231967 0 0 0 178770 361 0 0 25 0 1 0 47226885 957939712 231431 1992294400 134512640 137138936 4286973680 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 233872 231431 192 642 0 233228 0 Current children cumulated CPU time (s) 1791.31 Current children cumulated vsize (KiB) 935488 [startup+1795.1 s] /proc/loadavg: 1.10 1.04 1.00 2/107 12098 /proc/meminfo: memFree=905492/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=936316 CPUtime=1794.51 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 232188 0 0 0 179089 362 0 0 25 0 1 0 47226885 958787584 231652 1992294400 134512640 137138936 4286973680 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 234079 231652 192 642 0 233435 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (KiB) 936316 [startup+1796.7 s] /proc/loadavg: 1.10 1.04 1.00 2/107 12098 /proc/meminfo: memFree=905244/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=936728 CPUtime=1796.1 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 232290 0 0 0 179248 362 0 0 25 0 1 0 47226885 959209472 231754 1992294400 134512640 137138936 4286973680 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 234182 231754 192 642 0 233538 0 Current children cumulated CPU time (s) 1796.1 Current children cumulated vsize (KiB) 936728 [startup+1797.5 s] /proc/loadavg: 1.10 1.04 1.00 2/107 12098 /proc/meminfo: memFree=904872/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=936992 CPUtime=1796.9 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 232347 0 0 0 179328 362 0 0 25 0 1 0 47226885 959479808 231811 1992294400 134512640 137138936 4286973680 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 234248 231811 192 642 0 233604 0 Current children cumulated CPU time (s) 1796.9 Current children cumulated vsize (KiB) 936992 [startup+1798.3 s] /proc/loadavg: 1.10 1.04 1.00 2/107 12098 /proc/meminfo: memFree=904872/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=937200 CPUtime=1797.7 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 232395 0 0 0 179408 362 0 0 25 0 1 0 47226885 959692800 231859 1992294400 134512640 137138936 4286973680 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 234300 231859 192 642 0 233656 0 Current children cumulated CPU time (s) 1797.7 Current children cumulated vsize (KiB) 937200 [startup+1798.51 s] /proc/loadavg: 1.10 1.04 1.00 2/107 12098 /proc/meminfo: memFree=904624/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=937200 CPUtime=1797.91 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202496 232407 0 0 0 179429 362 0 0 25 0 1 0 47226885 959692800 231871 1992294400 134512640 137138936 4286973680 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12049/statm: 234300 231871 192 642 0 233656 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 937200 [startup+1798.6 s] /proc/loadavg: 1.10 1.04 1.00 2/107 12098 /proc/meminfo: memFree=904624/2059040 swapFree=4136116/4192956 [pid=12049] ppid=12047 vsize=0 CPUtime=1798.01 /proc/12049/stat : 12049 (bsolo_pb10) R 12047 12049 11914 0 -1 4202500 232413 0 0 0 179438 363 0 0 25 0 1 0 47226885 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/12049/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.01 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.69 CPU time (s): 1798.1 CPU user time (s): 1794.38 CPU system time (s): 3.71644 CPU usage (%): 99.9673 Max. virtual memory (cumulated for all children) (KiB): 937200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.38 system time used= 3.71643 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 232413 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= 1878 runsolver used 3.06753 second user time and 8.38872 second system time The end
Begin job on node014 at 2010-06-16 21:24:15 IDJOB=2671045 IDBENCH=48239 IDSOLVER=1162 FILE ID=node014/2671045-1276716255 PBS_JOBID= 11174186 Free space on /tmp= 62572 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_1.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671045-1276716255/watcher-2671045-1276716255 -o /tmp/evaluation-result-2671045-1276716255/solver-2671045-1276716255 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671045-1276716255.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4142356c9f50acd7c9005938f6b31a6d RANDOM SEED=1248151611 node014.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.258 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.51 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.258 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: 1835408 kB Buffers: 23376 kB Cached: 113648 kB SwapCached: 10544 kB Active: 88424 kB Inactive: 62716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1835408 kB SwapTotal: 4192956 kB SwapFree: 4136116 kB Dirty: 4136 kB Writeback: 0 kB AnonPages: 12540 kB Mapped: 9244 kB Slab: 50644 kB PageTables: 3996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184032 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-2671045-1276716255.opb Free space on /tmp at the end= 62568 MiB End job on node014 at 2010-06-16 21:54:14