Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
pwbo 2.02 | SAT (TO) | -22 | 1800.19 | 900.425 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_1.opb |
MD5SUM | 4142356c9f50acd7c9005938f6b31a6d |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -33 |
Best CPU time to get the best result obtained on this benchmark | 1796.84 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -32 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 12408 |
Sum of products size (including duplicates) | 24816 |
Number of different products | 6204 |
Sum of products size | 12408 |
0.00/0.00 c ==============================[ Solver Version ]=============================== 0.00/0.00 c | | 0.00/0.00 c | pwbo: 2.02 beta - May, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3726762-1338664655.opb. 0.00/0.00 c Instance file HOME/instance-3726762-1338664655.opb 0.00/0.00 c File size is 530657 bytes. 0.00/0.05 c Cost Offset: -200 0.00/0.05 c Highest Coefficient sum: 400 0.04/0.05 c ============================[ Problem Statistics ]============================= 0.04/0.05 c | | 0.04/0.05 c | Parsing time: 0.05 s | 0.04/0.05 c | Number Variables: 6604 | 0.04/0.05 c | Number Clauses: 6404 | 0.04/0.05 c | Number Cardinality: 402 | 0.04/0.05 c | Number PB Constraints: 6204 | 0.04/0.05 c | | 0.04/0.06 c | Problem Type: Optimization | 0.04/0.06 c | Objective Function: Cardinality Constraint | 0.04/0.06 c | | 0.04/0.06 c =============================================================================== 1800.19/900.41 o -1 1800.19/900.41 o -21 1800.19/900.41 o -22 1800.19/900.41 c =============================================================================== 1800.19/900.41 c Wall Clock Time: 900.41 s 1800.19/900.41 c Best Solution: -22 1800.19/900.41 s SATISFIABLE 1800.19/900.41 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 -x177 x178 -x179 x180 -x181 -x182 x183 -x184 x185 x186 -x187 x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 x325 x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 x347 x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400
OK -22
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-3726762-1338664655/watcher-3726762-1338664655 -o /tmp/evaluation-result-3726762-1338664655/solver-3726762-1338664655 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726762-1338664655.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: 1.84 1.97 1.99 2/173 30246 /proc/meminfo: memFree=26813860/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=6984 CPUtime=0 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) R 30243 30246 25747 0 -1 4202496 899 0 0 0 0 0 0 0 20 0 1 0 332589848 7151616 852 33554432000 4194304 5964478 140733559745072 140736826807896 4395406 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 1746 852 165 433 0 1180 0 [startup+0.0530851 s] /proc/loadavg: 1.84 1.97 1.99 2/173 30246 /proc/meminfo: memFree=26813860/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=13336 CPUtime=0.04 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) R 30243 30246 25747 0 -1 4202496 2670 0 0 0 4 0 0 0 20 0 1 0 332589848 13656064 2494 33554432000 4194304 5964478 140733559745072 140736826807896 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 3413 2519 168 433 0 2977 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 13336 [startup+0.10022 s] /proc/loadavg: 1.84 1.97 1.99 2/173 30246 /proc/meminfo: memFree=26813860/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=171404 CPUtime=0.13 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 5860 0 0 0 12 1 0 0 20 0 3 0 332589848 175517696 5389 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 42851 5389 204 433 0 42415 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 171404 [startup+0.300201 s] /proc/loadavg: 1.84 1.97 1.99 2/173 30246 /proc/meminfo: memFree=26813860/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=171404 CPUtime=0.53 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 6436 0 0 0 52 1 0 0 20 0 3 0 332589848 175517696 5965 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 42851 5965 205 433 0 42415 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 171404 [startup+0.700191 s] /proc/loadavg: 1.84 1.97 1.99 2/173 30246 /proc/meminfo: memFree=26813860/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=171404 CPUtime=1.33 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 6615 0 0 0 132 1 0 0 20 0 3 0 332589848 175517696 6144 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 42851 6144 205 433 0 42415 0 Current children cumulated CPU time (s) 1.33 Current children cumulated vsize (KiB) 171404 [startup+1.50033 s] /proc/loadavg: 1.84 1.97 1.99 5/181 30254 /proc/meminfo: memFree=26763576/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=171404 CPUtime=2.93 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 7696 0 0 0 291 2 0 0 20 0 3 0 332589848 175517696 7225 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 42851 7225 205 433 0 42415 0 [pid=30246/tid=30251] ppid=30243 vsize=171404 CPUtime=1.42 cores=1,3,5,7 /proc/30246/task/30251/stat : 30251 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 3517 0 0 0 141 1 0 0 20 0 3 0 332589854 175517696 7225 33554432000 4194304 5964478 140733559745072 140343300060696 4389072 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 [pid=30246/tid=30252] ppid=30243 vsize=171404 CPUtime=1.43 cores=1,3,5,7 /proc/30246/task/30252/stat : 30252 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 1232 0 0 0 143 0 0 0 20 0 3 0 332589854 175517696 7225 33554432000 4194304 5964478 140733559745072 140343289571576 4222314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.93 Current children cumulated vsize (KiB) 171404 [startup+3.10033 s] /proc/loadavg: 2.01 2.00 2.00 5/181 30254 /proc/meminfo: memFree=26748192/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=171404 CPUtime=6.13 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 9192 0 0 0 611 2 0 0 20 0 3 0 332589848 175517696 8721 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 42851 8722 205 433 0 42415 0 [pid=30246/tid=30251] ppid=30243 vsize=171404 CPUtime=3.02 cores=1,3,5,7 /proc/30246/task/30251/stat : 30251 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 4386 0 0 0 301 1 0 0 20 0 3 0 332589854 175517696 8722 33554432000 4194304 5964478 140733559745072 140343300061544 4389170 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 [pid=30246/tid=30252] ppid=30243 vsize=171404 CPUtime=3.02 cores=1,3,5,7 /proc/30246/task/30252/stat : 30252 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 1860 0 0 0 302 0 0 0 20 0 3 0 332589854 175517696 8722 33554432000 4194304 5964478 140733559745072 140343289571640 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.13 Current children cumulated vsize (KiB) 171404 [startup+6.30033 s] /proc/loadavg: 2.01 2.00 2.00 5/181 30254 /proc/meminfo: memFree=26720308/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=171404 CPUtime=12.52 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 12964 0 0 0 1248 4 0 0 20 0 3 0 332589848 175517696 12493 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 42851 12494 205 433 0 42415 0 [pid=30246/tid=30251] ppid=30243 vsize=171404 CPUtime=6.21 cores=1,3,5,7 /proc/30246/task/30251/stat : 30251 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 6697 0 0 0 619 2 0 0 20 0 3 0 332589854 175517696 12494 33554432000 4194304 5964478 140733559745072 140343300060696 4400091 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 [pid=30246/tid=30252] ppid=30243 vsize=171404 CPUtime=6.21 cores=1,3,5,7 /proc/30246/task/30252/stat : 30252 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 3321 0 0 0 620 1 0 0 20 0 3 0 332589854 175517696 12494 33554432000 4194304 5964478 140733559745072 140343289571640 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.52 Current children cumulated vsize (KiB) 171404 [startup+12.7003 s] /proc/loadavg: 2.32 2.07 2.02 5/181 30254 /proc/meminfo: memFree=26671680/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=171404 CPUtime=25.32 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 18112 0 0 0 2525 7 0 0 20 0 3 0 332589848 175517696 17641 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 42851 17641 205 433 0 42415 0 [pid=30246/tid=30251] ppid=30243 vsize=171404 CPUtime=12.59 cores=1,3,5,7 /proc/30246/task/30251/stat : 30251 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 10108 0 0 0 1255 4 0 0 20 0 3 0 332589854 175517696 17641 33554432000 4194304 5964478 140733559745072 140343300060984 4403370 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 [pid=30246/tid=30252] ppid=30243 vsize=171404 CPUtime=12.6 cores=1,3,5,7 /proc/30246/task/30252/stat : 30252 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 5057 0 0 0 1257 3 0 0 20 0 3 0 332589854 175517696 17641 33554432000 4194304 5964478 140733559745072 140343289571640 4403717 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.32 Current children cumulated vsize (KiB) 171404 [startup+25.5004 s] /proc/loadavg: 2.58 2.13 2.04 5/181 30254 /proc/meminfo: memFree=26584268/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=237752 CPUtime=50.92 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 27700 0 0 0 5075 17 0 0 20 0 3 0 332589848 243458048 27229 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 59438 27229 205 433 0 59002 0 [pid=30246/tid=30251] ppid=30243 vsize=237752 CPUtime=25.36 cores=1,3,5,7 /proc/30246/task/30251/stat : 30251 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 17018 0 0 0 2528 8 0 0 20 0 3 0 332589854 243458048 27229 33554432000 4194304 5964478 140733559745072 140343300061168 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 [pid=30246/tid=30252] ppid=30243 vsize=237752 CPUtime=25.36 cores=1,3,5,7 /proc/30246/task/30252/stat : 30252 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 7735 0 0 0 2528 8 0 0 20 0 3 0 332589854 243458048 27229 33554432000 4194304 5964478 140733559745072 140343289571400 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 50.92 Current children cumulated vsize (KiB) 237752 [startup+51.1004 s] /proc/loadavg: 3.12 2.29 2.10 5/181 30254 /proc/meminfo: memFree=26521864/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=237700 CPUtime=102.1 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 30851 0 0 0 10186 24 0 0 20 0 3 0 332589848 243404800 30304 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 59425 30304 205 433 0 58989 0 [pid=30246/tid=30251] ppid=30243 vsize=237700 CPUtime=50.88 cores=1,3,5,7 /proc/30246/task/30251/stat : 30251 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 17373 0 0 0 5080 8 0 0 20 0 3 0 332589854 243404800 30304 33554432000 4194304 5964478 140733559745072 140343300061280 4222314 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 [pid=30246/tid=30252] ppid=30243 vsize=237700 CPUtime=50.9 cores=1,3,5,7 /proc/30246/task/30252/stat : 30252 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 10531 0 0 0 5075 15 0 0 20 0 3 0 332589854 243404800 30304 33554432000 4194304 5964478 140733559745072 140343289571640 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.1 Current children cumulated vsize (KiB) 237700 [startup+102.308 s] /proc/loadavg: 3.69 2.59 2.21 5/181 30254 /proc/meminfo: memFree=26396424/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=304912 CPUtime=204.5 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 50752 0 0 0 20391 59 0 0 20 0 3 0 332589848 312229888 50205 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 76228 50205 205 433 0 75792 0 [pid=30246/tid=30251] ppid=30243 vsize=304912 CPUtime=101.95 cores=1,3,5,7 /proc/30246/task/30251/stat : 30251 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 28105 0 0 0 10179 16 0 0 20 0 3 0 332589854 312229888 50205 33554432000 4194304 5964478 140733559745072 140343300060984 4403451 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 [pid=30246/tid=30252] ppid=30243 vsize=304912 CPUtime=101.97 cores=1,3,5,7 /proc/30246/task/30252/stat : 30252 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 19700 0 0 0 10153 44 0 0 20 0 3 0 332589854 312229888 50205 33554432000 4194304 5964478 140733559745072 140343289571640 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 204.5 Current children cumulated vsize (KiB) 304912 [startup+162.3 s] /proc/loadavg: 3.88 2.85 2.32 5/182 30257 /proc/meminfo: memFree=26239848/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=371920 CPUtime=324.44 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 67804 0 0 0 32354 90 0 0 20 0 3 0 332589848 380846080 67717 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 92980 67717 205 433 0 92544 0 [pid=30246/tid=30251] ppid=30243 vsize=371920 CPUtime=161.77 cores=1,3,5,7 /proc/30246/task/30251/stat : 30251 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 37385 0 0 0 16153 24 0 0 20 0 3 0 332589854 380846080 67717 33554432000 4194304 5964478 140733559745072 140343300060984 18446744073699066235 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 [pid=30246/tid=30252] ppid=30243 vsize=371920 CPUtime=161.81 cores=1,3,5,7 /proc/30246/task/30252/stat : 30252 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 27472 0 0 0 16113 68 0 0 20 0 3 0 332589854 380846080 67717 33554432000 4194304 5964478 140733559745072 140343289571400 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 324.44 Current children cumulated vsize (KiB) 371920 [startup+222.3 s] /proc/loadavg: 3.95 3.05 2.42 5/181 30258 /proc/meminfo: memFree=26149860/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=438028 CPUtime=444.37 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 77855 0 0 0 44336 101 0 0 20 0 3 0 332589848 448540672 77500 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 109507 77500 205 433 0 109071 0 [pid=30246/tid=30251] ppid=30243 vsize=438028 CPUtime=221.58 cores=1,3,5,7 /proc/30246/task/30251/stat : 30251 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 40743 0 0 0 22129 29 0 0 20 0 3 0 332589854 448540672 77500 33554432000 4194304 5964478 140733559745072 140343300062136 4403376 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=30246/tid=30252] ppid=30243 vsize=438028 CPUtime=221.64 cores=1,3,5,7 /proc/30246/task/30252/stat : 30252 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 34165 0 0 0 22087 77 0 0 20 0 3 0 332589854 448540672 77500 33554432000 4194304 5964478 140733559745072 140343289571640 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 444.37 Current children cumulated vsize (KiB) 438028 [startup+282.3 s] /proc/loadavg: 3.98 3.21 2.51 5/181 30258 /proc/meminfo: memFree=26075860/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=438572 CPUtime=564.31 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 80830 0 0 0 56326 105 0 0 20 0 3 0 332589848 449097728 80477 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 109643 80477 205 433 0 109207 0 [pid=30246/tid=30251] ppid=30243 vsize=438572 CPUtime=281.42 cores=1,3,5,7 /proc/30246/task/30251/stat : 30251 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 40747 0 0 0 28112 30 0 0 20 0 3 0 332589854 449097728 80477 33554432000 4194304 5964478 140733559745072 140343300062136 4400401 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=30246/tid=30252] ppid=30243 vsize=438572 CPUtime=281.44 cores=1,3,5,7 /proc/30246/task/30252/stat : 30252 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 37136 0 0 0 28062 82 0 0 20 0 3 0 332589854 449097728 80477 33554432000 4194304 5964478 140733559745072 140343289571688 4400148 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 564.31 Current children cumulated vsize (KiB) 438572 [startup+342.3 s] /proc/loadavg: 3.99 3.36 2.61 5/181 30258 /proc/meminfo: memFree=26036120/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=439624 CPUtime=684.26 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 85589 0 0 0 68315 111 0 0 20 0 3 0 332589848 450174976 86186 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 109906 86186 205 433 0 109470 0 [pid=30246/tid=30251] ppid=30243 vsize=439624 CPUtime=341.24 cores=1,3,5,7 /proc/30246/task/30251/stat : 30251 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 40812 0 0 0 34093 31 0 0 20 0 3 0 332589854 450174976 86186 33554432000 4194304 5964478 140733559745072 140343300062136 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=30246/tid=30252] ppid=30243 vsize=439624 CPUtime=341.29 cores=1,3,5,7 /proc/30246/task/30252/stat : 30252 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 41830 0 0 0 34041 88 0 0 20 0 3 0 332589854 450174976 86186 33554432000 4194304 5964478 140733559745072 140343289571400 4399854 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 684.26 Current children cumulated vsize (KiB) 439624 [startup+402.3 s] /proc/loadavg: 3.99 3.47 2.68 5/181 30258 /proc/meminfo: memFree=25957056/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=440128 CPUtime=804.24 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 87930 0 0 0 80310 114 0 0 20 0 3 0 332589848 450691072 88527 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 110032 88527 205 433 0 109596 0 [pid=30246/tid=30251] ppid=30243 vsize=440128 CPUtime=401.08 cores=1,3,5,7 /proc/30246/task/30251/stat : 30251 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 40815 0 0 0 40076 32 0 0 20 0 3 0 332589854 450691072 88527 33554432000 4194304 5964478 140733559745072 140343300062136 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=30246/tid=30252] ppid=30243 vsize=440128 CPUtime=401.14 cores=1,3,5,7 /proc/30246/task/30252/stat : 30252 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 44168 0 0 0 40021 93 0 0 20 0 3 0 332589854 450691072 88527 33554432000 4194304 5964478 140733559745072 140343289571640 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 804.24 Current children cumulated vsize (KiB) 440128 [startup+462.3 s] /proc/loadavg: 3.99 3.57 2.77 5/181 30258 /proc/meminfo: memFree=25865696/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=506648 CPUtime=924.22 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 101915 0 0 0 92289 133 0 0 20 0 3 0 332589848 518807552 102512 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 126662 102512 205 433 0 126226 0 [pid=30246/tid=30251] ppid=30243 vsize=506648 CPUtime=460.93 cores=1,3,5,7 /proc/30246/task/30251/stat : 30251 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 44204 0 0 0 46057 36 0 0 20 0 3 0 332589854 518807552 102512 33554432000 4194304 5964478 140733559745072 140343300061224 4399946 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=30246/tid=30252] ppid=30243 vsize=506648 CPUtime=460.98 cores=1,3,5,7 /proc/30246/task/30252/stat : 30252 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 54764 0 0 0 45990 108 0 0 20 0 3 0 332589854 518807552 102512 33554432000 4194304 5964478 140733559745072 140343289571400 4399932 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 924.22 Current children cumulated vsize (KiB) 506648 [startup+522.3 s] /proc/loadavg: 3.99 3.64 2.84 5/181 30259 /proc/meminfo: memFree=25817896/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=506648 CPUtime=1044.2 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 102282 0 0 0 104287 133 0 0 20 0 3 0 332589848 518807552 102878 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 126662 102878 205 433 0 126226 0 [pid=30246/tid=30251] ppid=30243 vsize=506648 CPUtime=520.77 cores=1,3,5,7 /proc/30246/task/30251/stat : 30251 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 44538 0 0 0 52041 36 0 0 20 0 3 0 332589854 518807552 102878 33554432000 4194304 5964478 140733559745072 140343300060984 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=30246/tid=30252] ppid=30243 vsize=506648 CPUtime=520.83 cores=1,3,5,7 /proc/30246/task/30252/stat : 30252 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 54797 0 0 0 51974 109 0 0 20 0 3 0 332589854 518807552 102878 33554432000 4194304 5964478 140733559745072 140343289571400 4400519 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1044.2 Current children cumulated vsize (KiB) 506648 [startup+582.3 s] /proc/loadavg: 3.99 3.71 2.91 5/181 30259 /proc/meminfo: memFree=25728108/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=574568 CPUtime=1164.19 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 111811 0 0 0 116273 146 0 0 20 0 3 0 332589848 588357632 112405 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 143642 112405 205 433 0 143206 0 [pid=30246/tid=30251] ppid=30243 vsize=574568 CPUtime=580.62 cores=1,3,5,7 /proc/30246/task/30251/stat : 30251 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 53901 0 0 0 58012 50 0 0 20 0 3 0 332589854 588357632 112405 33554432000 4194304 5964478 140733559745072 140343300060984 4403698 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=30246/tid=30252] ppid=30243 vsize=574568 CPUtime=580.67 cores=1,3,5,7 /proc/30246/task/30252/stat : 30252 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 54963 0 0 0 57957 110 0 0 20 0 3 0 332589854 588357632 112405 33554432000 4194304 5964478 140733559745072 140343289571400 4400097 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1164.19 Current children cumulated vsize (KiB) 574568 [startup+642.3 s] /proc/loadavg: 3.99 3.76 2.98 5/181 30259 /proc/meminfo: memFree=25670360/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=575164 CPUtime=1284.17 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 116681 0 0 0 128265 152 0 0 20 0 3 0 332589848 588967936 117360 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 143791 117360 205 433 0 143355 0 [pid=30246/tid=30251] ppid=30243 vsize=575164 CPUtime=640.47 cores=1,3,5,7 /proc/30246/task/30251/stat : 30251 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 54707 0 0 0 63995 52 0 0 20 0 3 0 332589854 588967936 117360 33554432000 4194304 5964478 140733559745072 140343300061176 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=30246/tid=30252] ppid=30243 vsize=575164 CPUtime=640.52 cores=1,3,5,7 /proc/30246/task/30252/stat : 30252 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 59027 0 0 0 63935 117 0 0 20 0 3 0 332589854 588967936 117360 33554432000 4194304 5964478 140733559745072 140343289571688 4379296 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1284.17 Current children cumulated vsize (KiB) 575164 [startup+702.3 s] /proc/loadavg: 3.99 3.80 3.03 5/181 30259 /proc/meminfo: memFree=25634196/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=575804 CPUtime=1404.1 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 125379 0 0 0 140247 163 0 0 20 0 3 0 332589848 589623296 126332 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 143951 126332 205 433 0 143515 0 [pid=30246/tid=30251] ppid=30243 vsize=575804 CPUtime=700.27 cores=1,3,5,7 /proc/30246/task/30251/stat : 30251 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 63299 0 0 0 69964 63 0 0 20 0 3 0 332589854 589623296 126332 33554432000 4194304 5964478 140733559745072 140343300061176 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=30246/tid=30252] ppid=30243 vsize=575804 CPUtime=700.35 cores=1,3,5,7 /proc/30246/task/30252/stat : 30252 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 59133 0 0 0 69917 118 0 0 20 0 3 0 332589854 589623296 126332 33554432000 4194304 5964478 140733559745072 140343289571400 4389076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1404.1 Current children cumulated vsize (KiB) 575804 [startup+762.308 s] /proc/loadavg: 4.06 3.86 3.11 5/182 30262 /proc/meminfo: memFree=25581772/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=577432 CPUtime=1524.08 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 130316 0 0 0 152238 170 0 0 20 0 3 0 332589848 591290368 131358 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 144358 131358 205 433 0 143922 0 [pid=30246/tid=30251] ppid=30243 vsize=577432 CPUtime=760.11 cores=1,3,5,7 /proc/30246/task/30251/stat : 30251 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 63811 0 0 0 75946 65 0 0 20 0 3 0 332589854 591290368 131358 33554432000 4194304 5964478 140733559745072 140343300060984 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=30246/tid=30252] ppid=30243 vsize=577432 CPUtime=760.2 cores=1,3,5,7 /proc/30246/task/30252/stat : 30252 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 63558 0 0 0 75894 126 0 0 20 0 3 0 332589854 591290368 131358 33554432000 4194304 5964478 140733559745072 140343289571640 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1524.08 Current children cumulated vsize (KiB) 577432 [startup+822.3 s] /proc/loadavg: 4.02 3.88 3.16 5/181 30263 /proc/meminfo: memFree=25486796/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=708504 CPUtime=1644.04 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 145929 0 0 0 164215 189 0 0 20 0 3 0 332589848 725508096 146958 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 177126 146958 205 433 0 176690 0 [pid=30246/tid=30251] ppid=30243 vsize=708504 CPUtime=819.95 cores=1,3,5,7 /proc/30246/task/30251/stat : 30251 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 71897 0 0 0 81921 74 0 0 20 0 3 0 332589854 725508096 146958 33554432000 4194304 5964478 140733559745072 140343300061224 4222304 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=30246/tid=30252] ppid=30243 vsize=708504 CPUtime=820.04 cores=1,3,5,7 /proc/30246/task/30252/stat : 30252 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 71085 0 0 0 81866 138 0 0 20 0 3 0 332589854 725508096 146958 33554432000 4194304 5964478 140733559745072 140343289571672 4388228 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1644.04 Current children cumulated vsize (KiB) 708504 [startup+882.3 s] /proc/loadavg: 4.00 3.90 3.21 5/181 30263 /proc/meminfo: memFree=25465404/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=710268 CPUtime=1763.99 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 151034 0 0 0 176202 197 0 0 20 0 3 0 332589848 727314432 152134 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 177567 152134 205 433 0 177131 0 [pid=30246/tid=30251] ppid=30243 vsize=710268 CPUtime=879.79 cores=1,3,5,7 /proc/30246/task/30251/stat : 30251 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 76824 0 0 0 87897 82 0 0 20 0 3 0 332589854 727314432 152134 33554432000 4194304 5964478 140733559745072 140343300061176 4403370 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=30246/tid=30252] ppid=30243 vsize=710268 CPUtime=879.86 cores=1,3,5,7 /proc/30246/task/30252/stat : 30252 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 71263 0 0 0 87846 140 0 0 20 0 3 0 332589854 727314432 152134 33554432000 4194304 5964478 140733559745072 140343289571400 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1763.99 Current children cumulated vsize (KiB) 710268 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+900.4 s] /proc/loadavg: 4.00 3.90 3.22 3/178 30264 /proc/meminfo: memFree=26201512/32873844 swapFree=7628/7628 [pid=30246] ppid=30243 vsize=710268 CPUtime=1800.19 cores=1,3,5,7 /proc/30246/stat : 30246 (pwbo2.02) S 30243 30246 25747 0 -1 4202496 151789 0 0 0 179821 198 0 0 20 0 3 0 332589848 727314432 152889 33554432000 4194304 5964478 140733559745072 140733559744592 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/30246/statm: 177567 152889 205 433 0 177131 0 [pid=30246/tid=30251] ppid=30243 vsize=710268 CPUtime=897.85 cores=1,3,5,7 /proc/30246/task/30251/stat : 30251 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 77568 0 0 0 89702 83 0 0 20 0 3 0 332589854 727314432 152889 33554432000 4194304 5964478 140733559745072 140343300061176 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=30246/tid=30252] ppid=30243 vsize=710268 CPUtime=897.92 cores=1,3,5,7 /proc/30246/task/30252/stat : 30252 (pwbo2.02) R 30243 30246 25747 0 -1 4202560 71274 0 0 0 89652 140 0 0 20 0 3 0 332589854 727314432 152889 33554432000 4194304 5964478 140733559745072 140343289571400 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 710268 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 30246 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=607330 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=275654 # CPU time returned by wait4() is 1795.88 # while last known CPU time is 1800.19 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 900.425 CPU time (s): 1800.19 CPU user time (s): 1798.21 CPU system time (s): 1.98 CPU usage (%): 199.927 Max. virtual memory (cumulated for all children) (KiB): 710268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.61 system time used= 2.27565 maximum resident set size= 611564 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 151791 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= 757 involuntary context switches= 3687 runsolver used 2.91356 second user time and 5.11422 second system time The end
Begin job on node145 at 2012-06-02 21:17:35 IDJOB=3726762 IDBENCH=48239 IDSOLVER=2311 FILE ID=node145/3726762-1338664655 RUNJOBID= node145-1338664655-30204 PBS_JOBID= 14636435 Free space on /tmp= 70924 MiB SOLVER NAME= pwbo 2.02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_1.opb COMMAND LINE= pwbo2.02 -file-format=opb -verbosity=0 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3726762-1338664655/watcher-3726762-1338664655 -o /tmp/evaluation-result-3726762-1338664655/solver-3726762-1338664655 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726762-1338664655.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4142356c9f50acd7c9005938f6b31a6d RANDOM SEED=1960248474 node145.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.29 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 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 : 5313.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 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 : 2667.149 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.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 26815592 kB Buffers: 427020 kB Cached: 4766064 kB SwapCached: 0 kB Active: 1602844 kB Inactive: 3601484 kB Active(anon): 2524 kB Inactive(anon): 10928 kB Active(file): 1600320 kB Inactive(file): 3590556 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 11248 kB Writeback: 0 kB AnonPages: 18120 kB Mapped: 13308 kB Shmem: 200 kB Slab: 715544 kB SReclaimable: 156736 kB SUnreclaim: 558808 kB KernelStack: 1392 kB PageTables: 4544 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 103432 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3726762-1338664655.opb Free space on /tmp at the end= 70912 MiB End job on node145 at 2012-06-02 21:32:37