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