Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| pwbo 2.0 | SAT (TO) | 9280 | 1800.8 | 900.699 |
| 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 ==============================[ Solver Version ]=============================== 0.00/0.00 c | | 0.00/0.00 c | pwbo: 2.0 beta - March, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3703477-1338086851.opb. 0.00/0.00 c Instance file HOME/instance-3703477-1338086851.opb 0.00/0.00 c File size is 474515 bytes. 0.00/0.04 c Cost Offset: -363860 0.00/0.04 c Highest Coefficient sum: 48451 0.00/0.04 c ============================[ Problem Statistics ]============================= 0.00/0.04 c | | 0.00/0.04 c | Parsing time: 0.05 s | 0.00/0.04 c | Number Variables: 10724 | 0.00/0.04 c | Number Clauses: 523 | 0.00/0.04 c | Number Cardinality: 1139 | 0.00/0.04 c | Number PB Constraints: 383 | 0.00/0.04 c | | 0.04/0.06 c | Problem Type: Optimization | 0.04/0.06 c | Objective Function: PB Constraint | 0.04/0.06 c | | 0.04/0.06 c =============================================================================== 1800.14/900.41 o 9503 1800.14/900.41 o 9410 1800.14/900.41 o 9407 1800.14/900.41 o 9392 1800.14/900.41 o 9390 1800.14/900.41 o 9386 1800.14/900.41 o 9351 1800.14/900.41 o 9349 1800.14/900.41 o 9346 1800.14/900.41 o 9344 1800.14/900.41 o 9338 1800.14/900.41 o 9280 1800.14/900.41 c =============================================================================== 1800.14/900.41 c Wall Clock Time: 900.41 s 1800.14/900.41 c Best Solution: 9280 1800.14/900.41 s SATISFIABLE 1800.14/900.41 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
OK 9280
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-3703477-1338086851/watcher-3703477-1338086851 -o /tmp/evaluation-result-3703477-1338086851/solver-3703477-1338086851 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703477-1338086851.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: 4.04 4.01 3.85 4/180 16562 /proc/meminfo: memFree=29441892/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=6312 CPUtime=0 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) R 16560 16562 15889 0 -1 4202496 768 0 0 0 0 0 0 0 20 0 1 0 274809864 6463488 720 33554432000 4194304 5965102 140734809119520 140734132357144 4396446 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 1578 720 163 433 0 1026 0 [startup+0.051909 s] /proc/loadavg: 4.04 4.01 3.85 4/180 16562 /proc/meminfo: memFree=29441892/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=172600 CPUtime=0.04 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 3508 0 0 0 4 0 0 0 20 0 3 0 274809864 176742400 3345 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 43150 3355 175 433 0 42714 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 172600 [startup+0.100222 s] /proc/loadavg: 4.04 4.01 3.85 4/180 16562 /proc/meminfo: memFree=29441892/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=175848 CPUtime=0.12 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 7203 0 0 0 11 1 0 0 20 0 3 0 274809864 180068352 6543 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 43962 6543 199 433 0 43526 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 175848 [startup+0.300196 s] /proc/loadavg: 4.04 4.01 3.85 4/180 16562 /proc/meminfo: memFree=29441892/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=175848 CPUtime=0.52 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 10930 0 0 0 50 2 0 0 20 0 3 0 274809864 180068352 8231 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 43962 8231 199 433 0 43526 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 175848 [startup+0.700203 s] /proc/loadavg: 4.04 4.01 3.85 4/180 16562 /proc/meminfo: memFree=29441892/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=175848 CPUtime=1.33 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 16540 0 0 0 129 4 0 0 20 0 3 0 274809864 180068352 11096 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 43962 11096 199 433 0 43526 0 Current children cumulated CPU time (s) 1.33 Current children cumulated vsize (KiB) 175848 [startup+1.50038 s] /proc/loadavg: 4.04 4.01 3.85 5/183 16565 /proc/meminfo: memFree=29391920/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=175848 CPUtime=2.93 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 24835 0 0 0 286 7 0 0 20 0 3 0 274809864 180068352 15305 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 43962 15305 199 433 0 43526 0 [pid=16562/tid=16564] ppid=16560 vsize=175848 CPUtime=1.42 cores=1,3,5,7 /proc/16562/task/16564/stat : 16564 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 19064 0 0 0 137 5 0 0 20 0 3 0 274809869 180068352 15305 33554432000 4194304 5965102 140734809119520 140018429577560 5123123 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=16562/tid=16565] ppid=16560 vsize=175848 CPUtime=1.43 cores=1,3,5,7 /proc/16562/task/16565/stat : 16565 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 2706 0 0 0 141 2 0 0 20 0 3 0 274809869 180068352 15305 33554432000 4194304 5965102 140734809119520 140018419087480 18446744073699066235 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.93 Current children cumulated vsize (KiB) 175848 [startup+3.10035 s] /proc/loadavg: 4.04 4.01 3.85 5/183 16565 /proc/meminfo: memFree=29368584/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=175848 CPUtime=6.12 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 40532 0 0 0 603 9 0 0 20 0 3 0 274809864 180068352 22503 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 43962 22504 199 433 0 43526 0 [pid=16562/tid=16564] ppid=16560 vsize=175848 CPUtime=3.02 cores=1,3,5,7 /proc/16562/task/16564/stat : 16564 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 33983 0 0 0 295 7 0 0 20 0 3 0 274809869 180068352 22504 33554432000 4194304 5965102 140734809119520 140018429577752 5123123 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=16562/tid=16565] ppid=16560 vsize=175848 CPUtime=3.03 cores=1,3,5,7 /proc/16562/task/16565/stat : 16565 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 3485 0 0 0 301 2 0 0 20 0 3 0 274809869 180068352 22504 33554432000 4194304 5965102 140734809119520 140018419087480 5137146 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.12 Current children cumulated vsize (KiB) 175848 [startup+6.3004 s] /proc/loadavg: 4.04 4.01 3.85 5/183 16565 /proc/meminfo: memFree=29317868/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=241384 CPUtime=12.52 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 68654 0 0 0 1236 16 0 0 20 0 3 0 274809864 247177216 33764 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 60346 33764 199 433 0 59910 0 [pid=16562/tid=16564] ppid=16560 vsize=241384 CPUtime=6.22 cores=1,3,5,7 /proc/16562/task/16564/stat : 16564 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 61105 0 0 0 609 13 0 0 20 0 3 0 274809869 247177216 33764 33554432000 4194304 5965102 140734809119520 140018429577752 5244999 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=16562/tid=16565] ppid=16560 vsize=241384 CPUtime=6.24 cores=1,3,5,7 /proc/16562/task/16565/stat : 16565 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 4484 0 0 0 620 4 0 0 20 0 3 0 274809869 247177216 33764 33554432000 4194304 5965102 140734809119520 140018419087480 18446744073699066235 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.52 Current children cumulated vsize (KiB) 241384 [startup+12.7004 s] /proc/loadavg: 4.03 4.01 3.85 5/183 16565 /proc/meminfo: memFree=29187568/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=373536 CPUtime=25.32 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 135377 0 0 0 2500 32 0 0 20 0 3 0 274809864 382500864 64062 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 93384 64062 200 433 0 92948 0 [pid=16562/tid=16564] ppid=16560 vsize=373536 CPUtime=12.62 cores=1,3,5,7 /proc/16562/task/16564/stat : 16564 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 113042 0 0 0 1239 23 0 0 20 0 3 0 274809869 382500864 64062 33554432000 4194304 5965102 140734809119520 140018429577752 5123123 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=16562/tid=16565] ppid=16560 vsize=373536 CPUtime=12.63 cores=1,3,5,7 /proc/16562/task/16565/stat : 16565 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 19270 0 0 0 1254 9 0 0 20 0 3 0 274809869 382500864 64062 33554432000 4194304 5965102 140734809119520 140018419087704 4389245 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.32 Current children cumulated vsize (KiB) 373536 [startup+25.5004 s] /proc/loadavg: 4.02 4.01 3.85 5/183 16565 /proc/meminfo: memFree=29070392/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=504608 CPUtime=50.91 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 227394 0 0 0 5042 49 0 0 20 0 3 0 274809864 516718592 92178 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 126152 92178 200 433 0 125716 0 [pid=16562/tid=16564] ppid=16560 vsize=504608 CPUtime=25.42 cores=1,3,5,7 /proc/16562/task/16564/stat : 16564 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 205059 0 0 0 2502 40 0 0 20 0 3 0 274809869 516718592 92178 33554432000 4194304 5965102 140734809119520 140018429578056 5123123 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=16562/tid=16565] ppid=16560 vsize=504608 CPUtime=25.43 cores=1,3,5,7 /proc/16562/task/16565/stat : 16565 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 19270 0 0 0 2534 9 0 0 20 0 3 0 274809869 516718592 92178 33554432000 4194304 5965102 140734809119520 140018419087696 4392427 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 50.91 Current children cumulated vsize (KiB) 504608 [startup+51.1004 s] /proc/loadavg: 4.02 4.01 3.86 5/183 16565 /proc/meminfo: memFree=28610224/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=968160 CPUtime=102.1 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 470494 0 0 0 10090 120 0 0 20 0 3 0 274809864 991395840 205564 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 242040 205564 200 433 0 241604 0 [pid=16562/tid=16564] ppid=16560 vsize=968160 CPUtime=51.02 cores=1,3,5,7 /proc/16562/task/16564/stat : 16564 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 378584 0 0 0 5030 72 0 0 20 0 3 0 274809869 991395840 205564 33554432000 4194304 5965102 140734809119520 140018429577560 4420260 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=16562/tid=16565] ppid=16560 vsize=968160 CPUtime=51.03 cores=1,3,5,7 /proc/16562/task/16565/stat : 16565 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 88845 0 0 0 5054 49 0 0 20 0 3 0 274809869 991395840 205564 33554432000 4194304 5965102 140734809119520 140018419087696 4390228 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.1 Current children cumulated vsize (KiB) 968160 [startup+102.307 s] /proc/loadavg: 4.00 4.00 3.86 5/183 16565 /proc/meminfo: memFree=28114152/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=1355616 CPUtime=204.48 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 790699 0 0 0 20261 187 0 0 20 0 3 0 274809864 1388150784 324348 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 338904 324348 200 433 0 338468 0 [pid=16562/tid=16564] ppid=16560 vsize=1355616 CPUtime=102.23 cores=1,3,5,7 /proc/16562/task/16564/stat : 16564 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 652508 0 0 0 10094 129 0 0 20 0 3 0 274809869 1388150784 324348 33554432000 4194304 5965102 140734809119520 140018429577752 5134981 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=16562/tid=16565] ppid=16560 vsize=1355616 CPUtime=102.23 cores=1,3,5,7 /proc/16562/task/16565/stat : 16565 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 135126 0 0 0 10162 61 0 0 20 0 3 0 274809869 1388150784 324348 33554432000 4194304 5965102 140734809119520 140018419087672 5180352 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 204.48 Current children cumulated vsize (KiB) 1355616 [startup+162.3 s] /proc/loadavg: 4.04 4.01 3.87 5/184 16609 /proc/meminfo: memFree=28002784/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=2076512 CPUtime=324.4 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 1118891 0 0 0 32166 274 0 0 20 0 3 0 274809864 2126348288 493857 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 519128 493857 200 433 0 518692 0 [pid=16562/tid=16564] ppid=16560 vsize=2076512 CPUtime=162.19 cores=1,3,5,7 /proc/16562/task/16564/stat : 16564 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 883827 0 0 0 16036 183 0 0 20 0 3 0 274809869 2126348288 493857 33554432000 4194304 5965102 140734809119520 140018429577752 4445838 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=16562/tid=16565] ppid=16560 vsize=2076512 CPUtime=162.2 cores=1,3,5,7 /proc/16562/task/16565/stat : 16565 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 231999 0 0 0 16123 97 0 0 20 0 3 0 274809869 2126348288 493857 33554432000 4194304 5965102 140734809119520 140018419087696 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 324.4 Current children cumulated vsize (KiB) 2076512 [startup+222.3 s] /proc/loadavg: 4.01 4.01 3.88 5/183 16610 /proc/meminfo: memFree=27429952/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=2666336 CPUtime=444.37 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 1349075 0 0 0 44104 333 0 0 20 0 3 0 274809864 2730328064 624886 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 666584 624886 200 433 0 666148 0 [pid=16562/tid=16564] ppid=16560 vsize=2666336 CPUtime=222.19 cores=1,3,5,7 /proc/16562/task/16564/stat : 16564 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 1040831 0 0 0 21998 221 0 0 20 0 3 0 274809869 2730328064 624886 33554432000 4194304 5965102 140734809119520 140018429577560 4376299 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=16562/tid=16565] ppid=16560 vsize=2666336 CPUtime=222.19 cores=1,3,5,7 /proc/16562/task/16565/stat : 16565 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 305179 0 0 0 22100 119 0 0 20 0 3 0 274809869 2730328064 624886 33554432000 4194304 5965102 140734809119520 140018419087704 4390591 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 444.37 Current children cumulated vsize (KiB) 2666336 [startup+282.3 s] /proc/loadavg: 4.00 4.00 3.88 5/183 16610 /proc/meminfo: memFree=27027052/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=2994016 CPUtime=564.33 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 1527282 0 0 0 56057 376 0 0 20 0 3 0 274809864 3065872384 717593 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 748504 717593 200 433 0 748068 0 [pid=16562/tid=16564] ppid=16560 vsize=2994016 CPUtime=282.19 cores=1,3,5,7 /proc/16562/task/16564/stat : 16564 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 1187778 0 0 0 27964 255 0 0 20 0 3 0 274809869 3065872384 717593 33554432000 4194304 5965102 140734809119520 140018429577752 5131498 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=16562/tid=16565] ppid=16560 vsize=2994016 CPUtime=282.17 cores=1,3,5,7 /proc/16562/task/16565/stat : 16565 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 336439 0 0 0 28087 130 0 0 20 0 3 0 274809869 3065872384 717593 33554432000 4194304 5965102 140734809119520 140018419087696 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 564.33 Current children cumulated vsize (KiB) 2994016 [startup+342.3 s] /proc/loadavg: 4.00 4.00 3.89 5/183 16610 /proc/meminfo: memFree=26634208/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=3256160 CPUtime=684.3 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 1718110 0 0 0 68011 419 0 0 20 0 3 0 274809864 3334307840 789445 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 814040 789445 200 433 0 813604 0 [pid=16562/tid=16564] ppid=16560 vsize=3256160 CPUtime=342.19 cores=1,3,5,7 /proc/16562/task/16564/stat : 16564 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 1363874 0 0 0 33925 294 0 0 20 0 3 0 274809869 3334307840 789445 33554432000 4194304 5965102 140734809119520 140018429577752 4445814 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=16562/tid=16565] ppid=16560 vsize=3256160 CPUtime=342.16 cores=1,3,5,7 /proc/16562/task/16565/stat : 16565 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 351171 0 0 0 34080 136 0 0 20 0 3 0 274809869 3334307840 789445 33554432000 4194304 5965102 140734809119520 140018419087672 4401118 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 684.3 Current children cumulated vsize (KiB) 3256160 [startup+402.3 s] /proc/loadavg: 4.00 4.00 3.90 5/183 16610 /proc/meminfo: memFree=26208368/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=3719772 CPUtime=804.25 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 1896899 0 0 0 79962 463 0 0 20 0 3 0 274809864 3809046528 886682 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 929943 886682 200 433 0 929507 0 [pid=16562/tid=16564] ppid=16560 vsize=3719772 CPUtime=402.19 cores=1,3,5,7 /proc/16562/task/16564/stat : 16564 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 1504314 0 0 0 39893 326 0 0 20 0 3 0 274809869 3809046528 886682 33554432000 4194304 5965102 140734809119520 140018429577752 5139774 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=16562/tid=16565] ppid=16560 vsize=3719772 CPUtime=402.15 cores=1,3,5,7 /proc/16562/task/16565/stat : 16565 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 389520 0 0 0 40065 150 0 0 20 0 3 0 274809869 3809046528 886682 33554432000 4194304 5965102 140734809119520 140018419087672 4404732 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 804.25 Current children cumulated vsize (KiB) 3719772 [startup+462.3 s] /proc/loadavg: 4.00 4.00 3.90 5/183 16610 /proc/meminfo: memFree=25021376/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=4833884 CPUtime=924.19 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 2284188 0 0 0 91853 566 0 0 20 0 3 0 274809864 4949897216 1166762 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 1208471 1166762 200 433 0 1208035 0 [pid=16562/tid=16564] ppid=16560 vsize=4833884 CPUtime=462.19 cores=1,3,5,7 /proc/16562/task/16564/stat : 16564 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 1662478 0 0 0 45860 359 0 0 20 0 3 0 274809869 4949897216 1166762 33554432000 4194304 5965102 140734809119520 140018429577752 5131498 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=16562/tid=16565] ppid=16560 vsize=4833884 CPUtime=462.11 cores=1,3,5,7 /proc/16562/task/16565/stat : 16565 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 618645 0 0 0 45991 220 0 0 20 0 3 0 274809869 4949897216 1166762 33554432000 4194304 5965102 140734809119520 140018419087672 4392540 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 924.19 Current children cumulated vsize (KiB) 4833884 [startup+522.3 s] /proc/loadavg: 4.00 4.00 3.91 5/183 16611 /proc/meminfo: memFree=24760036/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=4964956 CPUtime=1044.16 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 2406232 0 0 0 103822 594 0 0 20 0 3 0 274809864 5084114944 1204500 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 1241239 1204500 200 433 0 1240803 0 [pid=16562/tid=16564] ppid=16560 vsize=4964956 CPUtime=522.18 cores=1,3,5,7 /proc/16562/task/16564/stat : 16564 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 1784519 0 0 0 51831 387 0 0 20 0 3 0 274809869 5084114944 1204500 33554432000 4194304 5965102 140734809119520 140018429577752 4445838 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=16562/tid=16565] ppid=16560 vsize=4964956 CPUtime=522.11 cores=1,3,5,7 /proc/16562/task/16565/stat : 16565 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 618648 0 0 0 51989 222 0 0 20 0 3 0 274809869 5084114944 1204500 33554432000 4194304 5965102 140734809119520 140018419087704 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1044.16 Current children cumulated vsize (KiB) 4964956 [startup+582.3 s] /proc/loadavg: 4.00 4.00 3.91 5/183 16611 /proc/meminfo: memFree=24516836/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=5227100 CPUtime=1164.14 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 2538373 0 0 0 115787 627 0 0 20 0 3 0 274809864 5352550400 1260890 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 1306775 1260890 200 433 0 1306339 0 [pid=16562/tid=16564] ppid=16560 vsize=5227100 CPUtime=582.19 cores=1,3,5,7 /proc/16562/task/16564/stat : 16564 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 1916660 0 0 0 57797 422 0 0 20 0 3 0 274809869 5352550400 1260890 33554432000 4194304 5965102 140734809119520 140018429577560 4445838 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=16562/tid=16565] ppid=16560 vsize=5227100 CPUtime=582.12 cores=1,3,5,7 /proc/16562/task/16565/stat : 16565 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 618648 0 0 0 57989 223 0 0 20 0 3 0 274809869 5352550400 1260890 33554432000 4194304 5965102 140734809119520 140018419087704 4392394 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1164.14 Current children cumulated vsize (KiB) 5227100 [startup+642.3 s] /proc/loadavg: 4.00 4.00 3.91 5/183 16611 /proc/meminfo: memFree=23984536/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=5685852 CPUtime=1284.1 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 2724569 0 0 0 127735 675 0 0 20 0 3 0 274809864 5822312448 1370875 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 1421463 1370875 200 433 0 1421027 0 [pid=16562/tid=16564] ppid=16560 vsize=5685852 CPUtime=642.19 cores=1,3,5,7 /proc/16562/task/16564/stat : 16564 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 2040771 0 0 0 63765 454 0 0 20 0 3 0 274809869 5822312448 1370876 33554432000 4194304 5965102 140734809119520 140018429577560 5131498 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=16562/tid=16565] ppid=16560 vsize=5685852 CPUtime=642.1 cores=1,3,5,7 /proc/16562/task/16565/stat : 16565 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 680734 0 0 0 63970 240 0 0 20 0 3 0 274809869 5822312448 1370876 33554432000 4194304 5965102 140734809119520 140018419087192 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1284.1 Current children cumulated vsize (KiB) 5685852 [startup+702.3 s] /proc/loadavg: 4.00 4.00 3.91 5/183 16611 /proc/meminfo: memFree=23535188/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=6079068 CPUtime=1404.05 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 2890985 0 0 0 139679 726 0 0 20 0 3 0 274809864 6224965632 1474390 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 1519767 1474390 200 433 0 1519331 0 [pid=16562/tid=16564] ppid=16560 vsize=6079068 CPUtime=702.19 cores=1,3,5,7 /proc/16562/task/16564/stat : 16564 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 2154072 0 0 0 69731 488 0 0 20 0 3 0 274809869 6224965632 1474390 33554432000 4194304 5965102 140734809119520 140018429577752 4376299 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=16562/tid=16565] ppid=16560 vsize=6079068 CPUtime=702.07 cores=1,3,5,7 /proc/16562/task/16565/stat : 16565 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 733848 0 0 0 69949 258 0 0 20 0 3 0 274809869 6224965632 1474390 33554432000 4194304 5965102 140734809119520 140018419087672 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1404.05 Current children cumulated vsize (KiB) 6079068 [startup+762.307 s] /proc/loadavg: 4.00 4.00 3.91 5/184 16614 /proc/meminfo: memFree=23346860/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=6275676 CPUtime=1524.03 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 3031195 0 0 0 151645 758 0 0 20 0 3 0 274809864 6426292224 1519579 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 1568919 1519579 200 433 0 1568483 0 [pid=16562/tid=16564] ppid=16560 vsize=6275676 CPUtime=762.2 cores=1,3,5,7 /proc/16562/task/16564/stat : 16564 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 2294273 0 0 0 75698 522 0 0 20 0 3 0 274809869 6426292224 1519579 33554432000 4194304 5965102 140734809119520 140018429577752 5131650 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=16562/tid=16565] ppid=16560 vsize=6275676 CPUtime=762.08 cores=1,3,5,7 /proc/16562/task/16565/stat : 16565 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 733857 0 0 0 75949 259 0 0 20 0 3 0 274809869 6426292224 1519579 33554432000 4194304 5965102 140734809119520 140018419087704 4401127 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1524.03 Current children cumulated vsize (KiB) 6275676 [startup+822.3 s] /proc/loadavg: 4.00 4.00 3.91 5/184 16637 /proc/meminfo: memFree=23179288/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=6409176 CPUtime=1643.95 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 3078617 0 0 0 163621 774 0 0 20 0 3 0 274809864 6562996224 1542874 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 1602294 1542874 200 433 0 1601858 0 [pid=16562/tid=16564] ppid=16560 vsize=6409176 CPUtime=822.19 cores=1,3,5,7 /proc/16562/task/16564/stat : 16564 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 2341692 0 0 0 81680 539 0 0 20 0 3 0 274809869 6562996224 1542874 33554432000 4194304 5965102 140734809119520 140018429577752 5134981 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=16562/tid=16565] ppid=16560 vsize=6409176 CPUtime=822.01 cores=1,3,5,7 /proc/16562/task/16565/stat : 16565 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 733860 0 0 0 81941 260 0 0 20 0 3 0 274809869 6562996224 1542874 33554432000 4194304 5965102 140734809119520 140018419087584 4404748 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1643.95 Current children cumulated vsize (KiB) 6409176 [startup+882.3 s] /proc/loadavg: 4.00 4.00 3.91 5/183 16637 /proc/meminfo: memFree=23012504/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=6474712 CPUtime=1763.93 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 3164653 0 0 0 175599 794 0 0 20 0 3 0 274809864 6630105088 1565312 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 1618678 1565312 200 433 0 1618242 0 [pid=16562/tid=16564] ppid=16560 vsize=6474712 CPUtime=882.19 cores=1,3,5,7 /proc/16562/task/16564/stat : 16564 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 2427728 0 0 0 87659 560 0 0 20 0 3 0 274809869 6630105088 1565312 33554432000 4194304 5965102 140734809119520 140018429577752 5134981 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=16562/tid=16565] ppid=16560 vsize=6474712 CPUtime=882.02 cores=1,3,5,7 /proc/16562/task/16565/stat : 16565 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 733860 0 0 0 87941 261 0 0 20 0 3 0 274809869 6630105088 1565312 33554432000 4194304 5965102 140734809119520 140018419087584 4392822 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1763.93 Current children cumulated vsize (KiB) 6474712 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+900.4 s] /proc/loadavg: 4.00 4.00 3.91 5/183 16637 /proc/meminfo: memFree=22990696/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=6540248 CPUtime=1800.14 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) S 16560 16562 15889 0 -1 4202496 3172587 0 0 0 179217 797 0 0 20 0 3 0 274809864 6697213952 1571900 33554432000 4194304 5965102 140734809119520 140734809119040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 1635062 1571900 200 433 0 1634626 0 [pid=16562/tid=16564] ppid=16560 vsize=6540248 CPUtime=900.3 cores=1,3,5,7 /proc/16562/task/16564/stat : 16564 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 2435662 0 0 0 89467 563 0 0 20 0 3 0 274809869 6697213952 1571900 33554432000 4194304 5965102 140734809119520 140018429577752 5134981 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=16562/tid=16565] ppid=16560 vsize=6540248 CPUtime=900.12 cores=1,3,5,7 /proc/16562/task/16565/stat : 16565 (pwbo2.0) R 16560 16562 15889 0 -1 4202560 733860 0 0 0 89751 261 0 0 20 0 3 0 274809869 6697213952 1571900 33554432000 4194304 5965102 140734809119520 140018419087584 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 6540248 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+900.6 s] /proc/loadavg: 4.00 4.00 3.91 5/183 16637 /proc/meminfo: memFree=22990696/32873844 swapFree=7372/7372 [pid=16562] ppid=16560 vsize=0 CPUtime=1800.51 cores=1,3,5,7 /proc/16562/stat : 16562 (pwbo2.0) Z 16560 16562 15889 0 -1 4202508 3172589 0 0 0 179221 830 0 0 20 0 2 0 274809864 0 0 33554432000 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16562/statm: 0 0 0 0 0 0 0 [pid=16562/tid=16565] ppid=16560 vsize=0 CPUtime=900.31 cores=1,3,5,7 /proc/16562/task/16565/stat : 16565 (pwbo2.0) R 16560 16562 15889 0 -1 4203588 733860 0 0 0 89751 280 0 0 20 0 2 0 274809869 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 900.699 CPU time (s): 1800.8 CPU user time (s): 1792.25 CPU system time (s): 8.5527 CPU usage (%): 199.933 Max. virtual memory (cumulated for all children) (KiB): 6540248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.25 system time used= 8.5527 maximum resident set size= 6300420 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3172589 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= 3036 involuntary context switches= 2463 runsolver used 2.12268 second user time and 5.43217 second system time The end
Begin job on node133 at 2012-05-27 04:47:31 IDJOB=3703477 IDBENCH=1882 IDSOLVER=2279 FILE ID=node133/3703477-1338086851 RUNJOBID= node133-1338084137-15906 PBS_JOBID= 14624424 Free space on /tmp= 71724 MiB SOLVER NAME= pwbo 2.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703477-1338086851/watcher-3703477-1338086851 -o /tmp/evaluation-result-3703477-1338086851/solver-3703477-1338086851 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703477-1338086851.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2b9af9044591fd3eb9f5def12c800cff RANDOM SEED=1480467245 node133.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 : 2666.540 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 : 5333.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 : 2666.540 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.92 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 : 2666.540 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 : 2666.540 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 : 2666.540 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 : 2666.540 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.90 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 : 2666.540 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 : 5331.91 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 : 2666.540 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: 32873844 kB MemFree: 29442428 kB Buffers: 315604 kB Cached: 1664724 kB SwapCached: 104 kB Active: 1172500 kB Inactive: 1433608 kB Active(anon): 616976 kB Inactive(anon): 11368 kB Active(file): 555524 kB Inactive(file): 1422240 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67108752 kB Dirty: 5840 kB Writeback: 0 kB AnonPages: 632900 kB Mapped: 15196 kB Shmem: 212 kB Slab: 684316 kB SReclaimable: 126520 kB SUnreclaim: 557796 kB KernelStack: 1488 kB PageTables: 5236 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 192064 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 501760 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71716 MiB End job on node133 at 2012-05-27 05:02:33