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