Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | -110 | 1800.05 | 1800.63 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_2.opb |
MD5SUM | fc8bff78845ab9a14b2d06ab749e4dc4 |
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 | -137 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -137 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 12656 |
Sum of products size (including duplicates) | 25312 |
Number of different products | 6328 |
Sum of products size | 12656 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459795-1178660386/instance-459795-1178660386.opb ...... 6.29/6.35 c done parsing opb. 6.29/6.35 o 410 6.59/6.68 o 409 8.28/8.37 o 408 9.19/9.23 o 405 10.48/10.56 o 404 15.39/15.45 o 398 21.79/21.82 o 397 23.98/24.09 o 396 24.79/24.80 o 395 40.68/40.73 o 394 78.07/78.12 o 393 421.18/421.33 o 392 723.10/723.30 o 391 1341.44/1341.93 o 390 1800.02/1800.61 s SATISFIABLE 1800.02/1800.61 v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 1800.02/1800.61 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 1800.02/1800.61 v -x103 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 x1045 1800.02/1800.61 v -x1046 -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 1800.02/1800.61 v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 1800.02/1800.61 v -x1078 -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 1800.02/1800.61 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1800.02/1800.61 v -x111 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.02/1800.61 v -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 1800.02/1800.61 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 1800.02/1800.61 v -x1158 -x1159 x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 1800.02/1800.61 v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 1800.02/1800.61 v -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 1800.02/1800.61 v -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x122 -x1220 1800.02/1800.61 v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 1800.02/1800.61 v -x1237 -x1238 -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 1800.02/1800.61 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 1800.02/1800.61 v -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 1800.02/1800.61 v -x1285 -x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 1800.02/1800.61 v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 1800.02/1800.61 v -x1316 -x1317 -x1318 -x1319 x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x133 -x1330 -x1331 1800.02/1800.61 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1800.02/1800.61 v -x1348 -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 x136 -x1360 -x1361 -x1362 -x1363 1800.02/1800.61 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1800.02/1800.61 v x138 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 1800.02/1800.61 v -x1396 -x1397 -x1398 -x1399 x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 1800.02/1800.61 v -x1411 -x1412 -x1413 -x1414 x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 1800.02/1800.61 v -x1428 -x1429 -x143 -x1430 -x1431 x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 1800.02/1800.61 v -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 1800.02/1800.61 v -x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 1800.02/1800.61 v -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 -x1491 1800.02/1800.61 v x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 1800.02/1800.61 v -x1508 -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 1800.02/1800.61 v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 1800.02/1800.61 v x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 1800.02/1800.61 v -x1556 -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x157 -x1570 -x1571 1800.02/1800.61 v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 1800.02/1800.61 v -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x16 -x160 -x1600 -x1601 -x1602 -x1603 1800.02/1800.61 v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 1800.02/1800.61 v x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 1800.02/1800.61 v -x1636 -x1637 -x1638 x1639 x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x165 -x1650 -x1651 1800.02/1800.61 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1800.02/1800.61 v -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681 -x1682 -x1683 -x1684 1800.02/1800.61 v -x1685 -x1686 -x1687 -x1688 -x1689 x169 -x1690 -x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x17 x170 1800.02/1800.61 v -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 1800.02/1800.61 v -x1716 -x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 -x1730 -x1731 1800.02/1800.61 v -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 1800.02/1800.61 v -x1748 -x1749 -x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761 -x1762 -x1763 1800.02/1800.61 v -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x178 1800.02/1800.61 v -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 1800.02/1800.61 v -x1796 -x1797 -x1798 -x1799 -x18 -x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x181 -x1810 1800.02/1800.61 v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 1800.02/1800.61 v -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841 -x1842 -x1843 1800.02/1800.61 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x186 1800.02/1800.61 v -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 1800.02/1800.61 v -x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x189 -x1890 -x1891 1800.02/1800.61 v -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 1800.02/1800.61 v -x1908 -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x192 -x1920 -x1921 -x1922 -x1923 1800.02/1800.61 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 1800.02/1800.61 v -x194 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 x195 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 1800.02/1800.61 v -x1956 -x1957 -x1958 -x1959 x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 -x1970 -x1971 1800.02/1800.61 v -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 1800.02/1800.61 v -x1988 -x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2 -x20 -x200 -x2000 -x2001 -x2002 1800.02/1800.61 v -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 1800.02/1800.61 v -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 x203 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 1800.02/1800.61 v -x2036 -x2037 -x2038 -x2039 x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x205 -x2050 -x2051 1800.02/1800.61 v -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 x2063 -x2064 -x2065 -x2066 -x2067 -x2068 1800.02/1800.61 v -x2069 -x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 -x2080 -x2081 -x2082 -x2083 -x2084 1800.02/1800.61 v -x2085 -x2086 -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x21 -x210 1800.02/1800.61 v -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 x211 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 1800.02/1800.61 v -x2117 -x2118 -x2119 -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x213 -x2130 -x2131 -x2132 1800.02/1800.61 v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 1800.02/1800.61 v -x2149 -x215 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 1800.02/1800.61 v -x2165 -x2166 -x2167 -x2168 -x2169 x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 x2179 -x218 -x2180 1800.02/1800.61 v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 1800.02/1800.61 v -x2197 -x2198 -x2199 -x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x221 -x2210 -x2211 1800.02/1800.61 v -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 1800.02/1800.61 v -x2228 -x2229 x223 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 -x2242 -x2243 1800.02/1800.61 v -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 1800.02/1800.61 v -x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 1800.02/1800.61 v -x2276 -x2277 -x2278 -x2279 -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x229 -x2290 -x2291 1800.02/1800.61 v -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 1800.02/1800.61 v -x2308 -x2309 x231 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 1800.02/1800.61 v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x234 1800.02/1800.61 v -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x235 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 1800.02/1800.61 v -x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 1800.02/1800.61 v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 1800.02/1800.61 v -x2388 -x2389 -x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x24 x240 -x2400 -x2401 -x2402 1800.02/1800.61 v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x241 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 1800.02/1800.61 v -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 x2427 -x2428 -x2429 -x243 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 1800.02/1800.61 v -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x245 -x2450 -x2451 1800.02/1800.61 v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x246 -x2460 -x2461 -x2462 x2463 -x2464 -x2465 -x2466 -x2467 -x2468 1800.02/1800.61 v -x2469 -x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x248 -x2480 -x2481 -x2482 -x2483 -x2484 1800.02/1800.61 v -x2485 -x2486 -x2487 -x2488 -x2489 x249 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x25 -x250 1800.02/1800.61 v -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 1800.02/1800.61 v -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 x253 -x2530 -x2531 1800.02/1800.61 v -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 x254 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 1800.02/1800.61 v -x2549 -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564 1800.02/1800.61 v -x2565 -x2566 -x2567 -x2568 -x2569 x257 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x258 -x2580 1800.02/1800.61 v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 1800.02/1800.61 v -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x261 -x2610 -x2611 1800.02/1800.61 v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x262 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 1800.02/1800.61 v -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x264 -x2640 -x2641 -x2642 -x2643 1800.02/1800.61 v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 1800.02/1800.61 v -x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x267 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 1800.02/1800.61 v -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 x2686 -x2687 -x2688 -x2689 -x269 -x2690 -x2691 1800.02/1800.61 v -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x27 x270 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 1800.02/1800.61 v -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x272 -x2720 -x2721 -x2722 -x2723 1800.02/1800.61 v -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x273 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x274 1800.02/1800.61 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 1800.02/1800.61 v -x2756 -x2757 -x2758 -x2759 x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 x277 -x2770 -x2771 1800.02/1800.61 v -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 x278 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 1800.02/1800.61 v -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x28 x280 -x2800 -x2801 -x2802 -x2803 1800.02/1800.61 v -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x281 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 1800.02/1800.61 v -x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x283 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 1800.02/1800.61 v -x2836 -x2837 -x2838 -x2839 -x284 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x285 -x2850 -x2851 1800.02/1800.61 v -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x286 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 1800.02/1800.61 v -x2868 -x2869 -x287 -x2870 -x2871 -x2872 x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x288 -x2880 -x2881 -x2882 -x2883 1800.02/1800.61 v -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x289 x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x29 1800.02/1800.61 v -x290 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x291 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 1800.02/1800.61 v -x2916 -x2917 -x2918 -x2919 x292 -x2920 -x2921 -x2922 x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x293 -x2930 -x2931 1800.02/1800.61 v -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 x294 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 1800.02/1800.61 v -x2949 -x295 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x296 -x2960 -x2961 -x2962 -x2963 -x2964 1800.02/1800.61 v -x2965 -x2966 -x2967 -x2968 -x2969 x297 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 x298 -x2980 1800.02/1800.61 v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x299 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 1800.02/1800.61 v -x2997 -x2998 -x2999 -x3 -x30 -x300 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x301 -x3010 -x3011 1800.02/1800.61 v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 x3019 -x302 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 1800.02/1800.61 v -x3029 x303 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x304 -x3040 -x3041 -x3042 -x3043 -x3044 1800.02/1800.61 v -x3045 -x3046 -x3047 -x3048 -x3049 -x305 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 x3059 -x306 -x3060 1800.02/1800.61 v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x307 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 1800.02/1800.61 v -x3077 -x3078 -x3079 x308 -x3080 x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x309 -x3090 -x3091 -x3092 1800.02/1800.61 v -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x31 x310 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 1800.02/1800.61 v -x3109 -x311 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 x312 -x3120 -x3121 -x3122 -x3123 -x3124 1800.02/1800.61 v -x3125 -x3126 -x3127 -x3128 x3129 -x313 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x314 -x3140 1800.02/1800.61 v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x315 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 1800.02/1800.61 v -x3157 -x3158 -x3159 -x316 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 x317 -x3170 -x3171 -x3172 1800.02/1800.61 v -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x318 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 1800.02/1800.61 v -x3189 -x319 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 x3196 -x3197 -x3198 -x3199 -x32 -x320 -x3200 -x3201 -x3202 -x3203 1800.02/1800.61 v -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x321 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 1800.02/1800.61 v -x322 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 x323 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 1800.02/1800.61 v -x3236 -x3237 -x3238 -x3239 -x324 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x325 -x3250 -x3251 1800.02/1800.61 v -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x326 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 1800.02/1800.61 v -x3268 -x3269 -x327 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x328 -x3280 -x3281 -x3282 -x3283 1800.02/1800.61 v -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x329 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 1800.02/1800.61 v -x33 -x330 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x331 -x3310 -x3311 -x3312 -x3313 -x3314 1800.02/1800.61 v -x3315 -x3316 -x3317 -x3318 -x3319 x332 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 x333 -x3330 1800.02/1800.61 v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x334 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 1800.02/1800.61 v -x3347 -x3348 -x3349 x335 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x336 -x3360 -x3361 -x3362 1800.02/1800.61 v -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 x337 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 1800.02/1800.61 v -x338 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x339 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 1800.02/1800.61 v -x3396 -x3397 -x3398 -x3399 -x34 -x340 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x341 -x3410 1800.02/1800.61 v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 x342 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 1800.02/1800.61 v -x3428 -x3429 x343 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x344 -x3440 -x3441 -x3442 -x3443 1800.02/1800.61 v -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x345 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 1800.02/1800.61 v x346 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x347 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 1800.02/1800.61 v -x3476 -x3477 -x3478 -x3479 -x348 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 x349 -x3490 -x3491 1800.02/1800.61 v -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 x35 -x350 x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 1800.02/1800.61 v -x3508 -x3509 -x351 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x352 -x3520 -x3521 -x3522 -x3523 1800.02/1800.61 v -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x353 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 1800.02/1800.61 v -x354 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x355 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 1800.02/1800.61 v -x3556 -x3557 -x3558 -x3559 -x356 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x357 -x3570 -x3571 1800.02/1800.61 v -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x358 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 1800.02/1800.61 v -x3588 -x3589 -x359 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x36 x360 -x3600 -x3601 -x3602 1800.02/1800.61 v -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x361 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 1800.02/1800.61 v -x3619 -x362 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x363 -x3630 -x3631 -x3632 -x3633 -x3634 1800.02/1800.61 v -x3635 x3636 -x3637 -x3638 -x3639 -x364 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x365 -x3650 1800.02/1800.61 v -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x366 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 1800.02/1800.61 v -x3667 -x3668 -x3669 -x367 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x368 -x3680 -x3681 -x3682 1800.02/1800.61 v -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x369 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 1800.02/1800.61 v -x3699 -x37 -x370 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 x371 -x3710 -x3711 -x3712 -x3713 1800.02/1800.61 v -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x372 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 1800.02/1800.61 v -x373 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x374 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 1800.02/1800.61 v -x3746 -x3747 -x3748 -x3749 -x375 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x376 -x3760 -x3761 1800.02/1800.61 v -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x377 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 1800.02/1800.61 v -x3778 -x3779 x378 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x379 -x3790 -x3791 -x3792 -x3793 1800.02/1800.61 v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x38 -x380 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 x3807 -x3808 -x3809 1800.02/1800.61 v x381 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x382 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 1800.02/1800.61 v -x3826 -x3827 -x3828 -x3829 -x383 x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x384 -x3840 -x3841 1800.02/1800.61 v -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x385 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 1800.02/1800.61 v -x3858 -x3859 -x386 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 x387 -x3870 -x3871 -x3872 -x3873 1800.02/1800.61 v -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x388 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 1800.02/1800.61 v x389 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 x39 -x390 -x3900 -x3901 -x3902 -x3903 -x3904 1800.02/1800.61 v -x3905 -x3906 x3907 -x3908 -x3909 -x391 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 x392 -x3920 1800.02/1800.61 v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x393 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 1800.02/1800.61 v -x3937 -x3938 -x3939 x394 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x395 -x3950 -x3951 -x3952 1800.02/1800.61 v -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x396 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 1800.02/1800.61 v -x3969 -x397 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x398 -x3980 -x3981 -x3982 -x3983 -x3984 1800.02/1800.61 v -x3985 -x3986 -x3987 -x3988 -x3989 x399 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4 -x40 1800.02/1800.61 v -x400 -x4000 -x4001 -x4002 -x4003 x4004 -x4005 -x4006 -x4007 -x4008 -x4009 x401 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 1800.02/1800.61 v -x4016 -x4017 -x4018 -x4019 -x402 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x403 -x4030 -x4031 1800.02/1800.61 v -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x404 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 1800.02/1800.61 v -x4048 -x4049 x405 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x406 -x4060 -x4061 -x4062 -x4063 1800.02/1800.61 v -x4064 -x4065 x4066 -x4067 -x4068 -x4069 -x407 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x408 1800.02/1800.61 v -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x409 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 1800.02/1800.61 v -x4096 -x4097 -x4098 -x4099 -x41 -x410 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x411 -x4110 1800.02/1800.61 v -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x412 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 1800.02/1800.61 v -x4127 -x4128 -x4129 x413 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x414 -x4140 -x4141 -x4142 1800.02/1800.61 v -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x415 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 1800.02/1800.61 v x4159 -x416 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 x417 -x4170 -x4171 -x4172 -x4173 -x4174 1800.02/1800.61 v -x4175 -x4176 -x4177 -x4178 -x4179 -x418 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x419 -x4190 1800.02/1800.61 v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x42 -x420 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 1800.02/1800.61 v -x4207 -x4208 -x4209 x421 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x422 -x4220 -x4221 -x4222 1800.02/1800.61 v -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 x423 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 1800.02/1800.61 v x424 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x425 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 1800.02/1800.61 v -x4256 -x4257 -x4258 -x4259 x426 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 x427 -x4270 -x4271 1800.02/1800.61 v -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x428 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 1800.02/1800.61 v -x4288 -x4289 -x429 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x43 -x430 -x4300 -x4301 -x4302 1800.02/1800.61 v -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x431 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 1800.02/1800.61 v -x4319 -x432 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x433 -x4330 -x4331 -x4332 -x4333 -x4334 1800.02/1800.61 v -x4335 -x4336 -x4337 -x4338 -x4339 -x434 -x4340 x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x435 -x4350 1800.02/1800.61 v -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x436 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 1800.02/1800.61 v -x4367 -x4368 -x4369 -x437 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x438 -x4380 -x4381 -x4382 1800.02/1800.61 v -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x439 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 1800.02/1800.61 v -x4399 -x44 -x440 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 x4407 -x4408 -x4409 -x441 -x4410 -x4411 -x4412 -x4413 1800.02/1800.61 v -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x442 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 1800.02/1800.61 v x443 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x444 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 1800.02/1800.61 v -x4446 -x4447 -x4448 -x4449 -x445 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 x4458 -x4459 x446 -x4460 -x4461 1800.02/1800.61 v -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x447 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 1800.02/1800.61 v -x4478 -x4479 x448 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x449 -x4490 -x4491 -x4492 -x4493 1800.02/1800.61 v -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x45 -x450 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 1800.02/1800.61 v x451 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 x452 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 1800.02/1800.61 v -x4526 -x4527 -x4528 -x4529 -x453 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x454 -x4540 -x4541 1800.02/1800.61 v -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x455 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 1800.02/1800.61 v -x4558 -x4559 -x456 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x457 -x4570 -x4571 -x4572 -x4573 1800.02/1800.61 v -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 x458 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 x459 1800.02/1800.61 v -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x46 -x460 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 1800.02/1800.61 v -x4606 -x4607 -x4608 -x4609 -x461 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x462 -x4620 -x4621 1800.02/1800.61 v -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x463 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 1800.02/1800.61 v -x4638 -x4639 -x464 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x465 -x4650 -x4651 -x4652 -x4653 1800.02/1800.61 v -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x466 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 1800.02/1800.61 v -x467 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x468 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 1800.02/1800.61 v -x4686 -x4687 -x4688 -x4689 -x469 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x47 -x470 -x4700 1800.02/1800.61 v -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x471 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 1800.02/1800.61 v -x4717 -x4718 -x4719 x472 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x473 -x4730 -x4731 -x4732 1800.02/1800.61 v -x4733 x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x474 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 1800.02/1800.61 v x475 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x476 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 1800.02/1800.61 v -x4766 -x4767 -x4768 -x4769 -x477 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x478 -x4780 -x4781 1800.02/1800.61 v -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x479 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 1800.02/1800.61 v -x4798 -x4799 -x48 -x480 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x481 -x4810 -x4811 -x4812 1800.02/1800.61 v -x4813 x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x482 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 1800.02/1800.61 v -x483 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 x484 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 1800.02/1800.61 v -x4846 -x4847 -x4848 -x4849 x485 -x4850 -x4851 -x4852 -x4853 -x4854 x4855 -x4856 -x4857 -x4858 -x4859 x486 -x4860 -x4861 1800.02/1800.61 v -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 x487 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 1800.02/1800.61 v x4879 x488 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 x489 -x4890 -x4891 -x4892 -x4893 -x4894 1800.02/1800.61 v -x4895 -x4896 -x4897 -x4898 -x4899 -x49 -x490 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x491 1800.02/1800.61 v -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x492 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 1800.02/1800.61 v -x4926 -x4927 -x4928 -x4929 -x493 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x494 -x4940 -x4941 1800.02/1800.61 v -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x495 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 1800.02/1800.61 v -x4958 -x4959 -x496 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 x497 -x4970 -x4971 -x4972 -x4973 1800.02/1800.61 v -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 x498 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x499 1800.02/1800.61 v -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5 -x50 -x500 -x5000 -x5001 -x5002 -x5003 -x5004 1800.02/1800.61 v -x5005 -x5006 -x5007 -x5008 -x5009 -x501 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x502 -x5020 1800.02/1800.61 v -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x503 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 1800.02/1800.61 v -x5037 -x5038 -x5039 -x504 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x505 -x5050 -x5051 -x5052 1800.02/1800.61 v -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x506 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 1800.02/1800.61 v -x5069 -x507 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x508 -x5080 -x5081 -x5082 -x5083 -x5084 1800.02/1800.61 v -x5085 -x5086 -x5087 -x5088 -x5089 -x509 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x51 -x510 1800.02/1800.61 v -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x511 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 1800.02/1800.61 v -x5116 -x5117 -x5118 -x5119 -x512 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 x513 -x5130 -x5131 1800.02/1800.61 v -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x514 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 1800.02/1800.61 v -x5148 -x5149 -x515 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x516 -x5160 -x5161 -x5162 -x5163 1800.02/1800.61 v -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x517 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 1800.02/1800.61 v -x518 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x519 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 1800.02/1800.61 v -x5196 -x5197 -x5198 -x5199 -x52 x520 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x521 -x5210 1800.02/1800.61 v -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 x522 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 1800.02/1800.61 v -x5228 -x5229 x523 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x524 -x5240 -x5241 -x5242 -x5243 1800.02/1800.61 v -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x525 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 x5258 -x5259 -x526 1800.02/1800.61 v -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x527 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 1800.02/1800.61 v -x5276 -x5277 -x5278 -x5279 -x528 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 x529 -x5290 -x5291 1800.02/1800.61 v -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x53 -x530 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 1800.02/1800.61 v -x5308 -x5309 -x531 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x532 -x5320 -x5321 -x5322 -x5323 1800.02/1800.61 v -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 x533 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x534 1800.02/1800.61 v -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x535 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 1800.02/1800.61 v -x5356 -x5357 -x5358 -x5359 -x536 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x537 -x5370 -x5371 1800.02/1800.61 v -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x538 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 1800.02/1800.61 v -x5388 -x5389 -x539 -x5390 -x5391 -x5392 -x5393 x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x54 -x540 -x5400 -x5401 -x5402 1800.02/1800.61 v -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 x541 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 1800.02/1800.61 v -x542 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 x543 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 1800.02/1800.61 v -x5436 -x5437 -x5438 -x5439 -x544 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 x545 -x5450 -x5451 1800.02/1800.61 v -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x546 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 1800.02/1800.61 v -x5468 -x5469 x547 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 x548 -x5480 -x5481 -x5482 -x5483 1800.02/1800.61 v -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x549 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 1800.02/1800.61 v x55 -x550 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x551 -x5510 -x5511 -x5512 -x5513 -x5514 1800.02/1800.61 v -x5515 -x5516 x5517 -x5518 -x5519 -x552 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x553 -x5530 1800.02/1800.61 v -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x554 x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 1800.02/1800.61 v -x5548 -x5549 -x555 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x556 -x5560 -x5561 -x5562 -x5563 1800.02/1800.61 v -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 x557 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 x558 1800.02/1800.61 v -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x559 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 1800.02/1800.61 v x5596 -x5597 -x5598 -x5599 -x56 -x560 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x561 -x5610 1800.02/1800.61 v -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x562 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 1800.02/1800.61 v -x5627 -x5628 -x5629 -x563 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 x564 -x5640 -x5641 -x5642 1800.02/1800.61 v -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 x565 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 1800.02/1800.61 v x566 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x567 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 1800.02/1800.61 v -x5676 -x5677 -x5678 -x5679 -x568 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x569 -x5690 -x5691 1800.02/1800.61 v -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x57 -x570 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 1800.02/1800.61 v -x5708 -x5709 x571 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 x572 -x5720 -x5721 -x5722 -x5723 1800.02/1800.61 v -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 x573 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 x574 1800.02/1800.61 v -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x575 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 1800.02/1800.61 v -x5756 -x5757 -x5758 -x5759 -x576 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x577 -x5770 -x5771 1800.02/1800.61 v -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x578 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 1800.02/1800.61 v -x5788 -x5789 x579 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 x5799 -x58 -x580 -x5800 -x5801 -x5802 1800.02/1800.61 v -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x581 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 1800.02/1800.61 v -x5819 -x582 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x583 -x5830 -x5831 -x5832 -x5833 -x5834 1800.02/1800.61 v -x5835 -x5836 -x5837 -x5838 -x5839 x584 -x5840 -x5841 -x5842 -x5843 x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x585 -x5850 1800.02/1800.61 v -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x586 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 1800.02/1800.61 v -x5867 -x5868 -x5869 -x587 x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x588 -x5880 -x5881 -x5882 1800.02/1800.61 v -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x589 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 1800.02/1800.61 v -x5899 x59 -x590 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x591 -x5910 -x5911 -x5912 -x5913 1800.02/1800.61 v -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 x592 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 x5928 -x5929 -x593 1800.02/1800.61 v -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x594 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 1800.02/1800.61 v -x5946 -x5947 -x5948 -x5949 x595 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x596 -x5960 -x5961 1800.02/1800.61 v -x5962 -x5963 -x5964 x5965 -x5966 -x5967 -x5968 -x5969 x597 -x5970 -x5971 -x5972 -x5973 -x5974 x5975 -x5976 -x5977 -x5978 1800.02/1800.61 v -x5979 -x598 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x599 -x5990 -x5991 -x5992 -x5993 -x5994 1800.02/1800.61 v x5995 -x5996 -x5997 -x5998 -x5999 -x6 -x60 -x600 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 1800.02/1800.61 v x601 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x602 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 1800.02/1800.61 v -x6026 -x6027 -x6028 -x6029 -x603 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 x604 -x6040 -x6041 1800.02/1800.61 v -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 x605 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 1800.02/1800.61 v -x6059 -x606 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x607 -x6070 -x6071 -x6072 -x6073 -x6074 1800.02/1800.61 v -x6075 -x6076 -x6077 -x6078 -x6079 x608 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 x609 -x6090 1800.02/1800.61 v -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 x6098 -x6099 -x61 x610 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 1800.02/1800.61 v -x6107 -x6108 -x6109 -x611 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x612 -x6120 -x6121 -x6122 1800.02/1800.61 v -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 x613 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 1800.02/1800.61 v -x614 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 x615 -x6150 -x6151 -x6152 x6153 -x6154 -x6155 1800.02/1800.61 v -x6156 -x6157 -x6158 -x6159 -x616 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 x6169 -x617 -x6170 -x6171 1800.02/1800.61 v -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x618 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 1800.02/1800.61 v -x6188 -x6189 -x619 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x62 -x620 -x6200 -x6201 -x6202 1800.02/1800.61 v -x6203 -x6204 -x6205 -x6206 -x6207 x6208 -x6209 -x621 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 1800.02/1800.61 v -x622 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x623 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 1800.02/1800.61 v -x6236 -x6237 -x6238 -x6239 x624 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x625 -x6250 -x6251 1800.02/1800.61 v -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x626 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 1800.02/1800.61 v -x6268 -x6269 x627 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x628 -x6280 -x6281 -x6282 -x6283 1800.02/1800.61 v -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 x629 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x63 1800.02/1800.61 v -x630 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x631 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 1800.02/1800.61 v -x6316 -x6317 -x6318 -x6319 -x632 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x633 -x6330 -x6331 1800.02/1800.61 v -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 x634 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 1800.02/1800.61 v -x6349 x635 -x6350 -x6351 -x6352 -x6353 x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x636 -x6360 -x6361 -x6362 -x6363 -x6364 1800.02/1800.61 v -x6365 -x6366 -x6367 -x6368 -x6369 -x637 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x638 -x6380 1800.02/1800.61 v -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x639 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 1800.02/1800.61 v -x6397 -x6398 -x6399 -x64 x640 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x641 -x6410 -x6411 1800.02/1800.61 v -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x642 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 1800.02/1800.61 v -x6428 -x6429 -x643 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x644 -x6440 -x6441 -x6442 -x6443 1800.02/1800.61 v -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x645 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 1800.02/1800.61 v -x646 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x647 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 1800.02/1800.61 v -x6476 -x6477 -x6478 -x6479 -x648 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x649 -x6490 -x6491 1800.02/1800.61 v -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x65 -x650 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 1800.02/1800.61 v -x6508 -x6509 -x651 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x652 -x6520 -x6521 -x6522 -x6523 1800.02/1800.61 v -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 x653 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x654 1800.02/1800.61 v -x6540 -x6541 -x6542 x6543 -x6544 x6545 -x6546 -x6547 -x6548 -x6549 -x655 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 1800.02/1800.61 v -x6557 -x6558 -x6559 -x656 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x657 -x6570 -x6571 -x6572 1800.02/1800.61 v -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x658 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 1800.02/1800.61 v -x6589 -x659 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x66 x660 x6600 -x6601 -x6602 -x6603 1800.02/1800.61 v -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x661 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 1800.02/1800.61 v -x662 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x663 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 1800.02/1800.61 v -x6636 -x6637 -x6638 -x6639 -x664 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x665 -x6650 -x6651 1800.02/1800.61 v -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x666 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 1800.02/1800.61 v -x6668 -x6669 -x667 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 x668 -x6680 -x6681 -x6682 -x6683 1800.02/1800.61 v -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x669 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 1800.02/1800.61 v -x67 -x670 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x671 -x6710 -x6711 -x6712 -x6713 -x6714 1800.02/1800.61 v -x6715 -x6716 -x6717 x6718 -x6719 -x672 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x673 -x6730 1800.02/1800.61 v -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x674 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 1800.02/1800.61 v -x6747 -x6748 -x6749 -x675 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x676 -x6760 -x6761 -x6762 1800.02/1800.61 v -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x677 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 1800.02/1800.61 v -x6779 -x678 -x6780 -x6781 -x6782 x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x679 -x6790 -x6791 -x6792 -x6793 -x6794 1800.02/1800.61 v -x6795 -x6796 -x6797 -x6798 -x6799 x68 -x680 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x681 1800.02/1800.61 v -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x682 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 1800.02/1800.61 v -x6826 -x6827 -x6828 -x6829 -x683 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 x684 -x6840 -x6841 1800.02/1800.61 v -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x685 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 x6857 -x6858 1800.02/1800.61 v -x6859 -x686 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x687 -x6870 -x6871 -x6872 x6873 -x6874 1800.02/1800.61 v -x6875 -x6876 -x6877 x6878 -x6879 x688 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x689 -x6890 1800.02/1800.61 v -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x69 -x690 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 1800.02/1800.61 v -x6907 -x6908 -x6909 -x691 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x692 -x6920 -x6921 -x6922 1800.02/1800.61 v -x6923 -x6924 x6925 -x6926 -x6927 -x6928 -x6929 -x693 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 1800.02/1800.61 v -x694 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x695 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 1800.02/1800.61 v -x6956 -x6957 -x6958 -x6959 -x696 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x697 -x6970 -x6971 1800.02/1800.61 v -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x698 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 1800.02/1800.61 v -x6988 -x6989 -x699 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 x6997 -x6998 -x6999 -x7 x70 -x700 x7000 -x7001 -x7002 1800.02/1800.61 v -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 x701 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 1800.02/1800.61 v -x702 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x703 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 1800.02/1800.61 v -x7036 -x7037 -x7038 -x7039 -x704 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 x7047 -x7048 -x7049 x705 -x7050 -x7051 1800.02/1800.61 v -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x706 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 1800.02/1800.61 v -x7068 -x7069 x707 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 x708 -x7080 -x7081 -x7082 -x7083 1800.02/1800.61 v -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x709 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 x7097 -x7098 -x7099 -x71 1800.02/1800.61 v -x710 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x711 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 1800.02/1800.61 v -x7116 -x7117 -x7118 -x7119 -x712 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 x713 -x7130 -x7131 1800.02/1800.61 v -x7132 -x7133 -x7134 x7135 -x7136 -x7137 -x7138 -x7139 x714 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 x7148 1800.02/1800.61 v -x7149 -x715 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x716 -x7160 -x7161 -x7162 -x7163 -x7164 1800.02/1800.61 v -x7165 -x7166 -x7167 -x7168 -x7169 -x717 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 x718 -x7180 1800.02/1800.61 v x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x719 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 1800.02/1800.61 v -x7198 -x7199 -x72 -x720 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x721 -x7210 -x7211 -x7212 1800.02/1800.61 v -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x722 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 1800.02/1800.61 v -x7229 -x723 -x7230 x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x724 x7240 -x7241 -x7242 -x7243 -x7244 1800.02/1800.61 v -x7245 -x7246 -x7247 -x7248 -x7249 x725 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x726 -x7260 1800.02/1800.61 v -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x727 -x7270 -x7271 x7272 -x7273 -x7274 -x7275 -x7276 -x7277 1800.02/1800.61 v -x7278 -x7279 x728 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x729 -x7290 -x7291 -x7292 -x7293 1800.02/1800.61 v -x7294 x7295 -x7296 -x7297 -x7298 -x7299 -x73 x730 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 1800.02/1800.61 v -x731 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x732 -x7320 -x7321 -x7322 -x7323 -x7324 x7325 1800.02/1800.61 v -x7326 -x7327 -x7328 -x733 -x734 -x735 x736 -x737 x738 -x739 -x74 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 1800.02/1800.61 v x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 x76 -x760 -x761 x762 -x763 x764 -x765 -x766 x767 -x768 -x769 1800.02/1800.61 v x77 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 x782 -x783 -x784 x785 -x786 -x787 -x788 x789 1800.02/1800.61 v -x79 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 1800.02/1800.61 v -x809 -x81 -x810 -x811 -x812 -x813 x814 x815 x816 -x817 -x818 x819 x82 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 1800.02/1800.61 v -x829 -x83 -x830 x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 x839 -x84 -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 1800.02/1800.61 v -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 1800.02/1800.61 v -x868 -x869 -x87 x870 -x871 x872 -x873 x874 -x875 -x876 x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 1800.02/1800.61 v x888 -x889 -x89 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x9 -x90 -x900 -x901 -x902 x903 -x904 -x905 x906 1800.02/1800.61 v -x907 -x908 -x909 x91 -x910 x911 x912 -x913 -x914 -x915 x916 -x917 x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 1800.02/1800.61 v -x927 -x928 -x929 -x93 -x930 x931 -x932 x933 x934 x935 x936 x937 -x938 -x939 -x94 -x940 x941 -x942 -x943 -x944 -x945 -x946 1800.02/1800.61 v -x947 -x948 -x949 -x95 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 x961 x962 -x963 -x964 -x965 -x966 1800.02/1800.61 v -x967 -x968 -x969 -x97 -x970 x971 -x972 x973 -x974 -x975 x976 -x977 x978 -x979 -x98 -x980 -x981 -x982 x983 -x984 -x985 -x986 1800.02/1800.61 v -x987 -x988 -x989 -x99 x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 x999
OK -110
Linearizing /tmp/evaluation/459795-1178660386/instance-459795-1178660386.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node9/watcher-459795-1178660386 -o ROOT/results/node9/solver-459795-1178660386 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459795-1178660386/instance-459795-1178660386.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.92 0.98 0.92 3/77 6210 /proc/meminfo: memFree=1897568/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=2320 CPUtime=0 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 342076176 2375680 349 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 580 350 85 219 0 357 0 [startup+0.0228961 s] /proc/loadavg: 0.92 0.98 0.92 3/77 6210 /proc/meminfo: memFree=1897568/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=2588 CPUtime=0.02 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 437 0 0 0 2 0 0 0 18 0 1 0 342076176 2650112 419 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 647 421 86 219 0 424 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2588 [startup+0.101906 s] /proc/loadavg: 0.92 0.98 0.92 3/77 6210 /proc/meminfo: memFree=1897568/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=3808 CPUtime=0.09 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 716 0 0 0 9 0 0 0 18 0 1 0 342076176 3899392 698 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 952 698 86 219 0 729 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3808 [startup+0.301927 s] /proc/loadavg: 0.92 0.98 0.92 3/77 6210 /proc/meminfo: memFree=1897568/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=4432 CPUtime=0.29 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 1020 0 0 0 29 0 0 0 19 0 1 0 342076176 4538368 937 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557396 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 1108 937 90 219 0 885 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4432 [startup+0.701973 s] /proc/loadavg: 0.92 0.98 0.92 3/77 6210 /proc/meminfo: memFree=1897568/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=4432 CPUtime=0.69 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 1020 0 0 0 69 0 0 0 22 0 1 0 342076176 4538368 937 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 1108 937 90 219 0 885 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4432 [startup+1.50106 s] /proc/loadavg: 0.92 0.98 0.92 2/78 6211 /proc/meminfo: memFree=1894168/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=4432 CPUtime=1.49 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 1020 0 0 0 149 0 0 0 25 0 1 0 342076176 4538368 937 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 1108 937 90 219 0 885 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4432 [startup+3.10124 s] /proc/loadavg: 0.92 0.98 0.92 2/78 6211 /proc/meminfo: memFree=1893976/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=4564 CPUtime=3.09 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 1028 0 0 0 309 0 0 0 25 0 1 0 342076176 4673536 945 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 1141 945 90 219 0 918 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4564 [startup+6.30161 s] /proc/loadavg: 0.93 0.98 0.92 2/78 6211 /proc/meminfo: memFree=1893784/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=4700 CPUtime=6.29 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 1072 0 0 0 629 0 0 0 25 0 1 0 342076176 4812800 989 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 1175 989 90 219 0 952 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 4700 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 0.92 2/78 6211 /proc/meminfo: memFree=1890976/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=7904 CPUtime=12.69 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 1834 0 0 0 1264 5 0 0 25 0 1 0 342076176 8093696 1702 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 1976 1702 102 219 0 1753 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 7904 [startup+25.5018 s] /proc/loadavg: 0.95 0.98 0.92 2/78 6211 /proc/meminfo: memFree=1886240/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=15524 CPUtime=25.48 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 3018 0 0 0 2534 14 0 0 25 0 1 0 342076176 15896576 2886 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 3881 2886 102 219 0 3658 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15524 [startup+51.1017 s] /proc/loadavg: 0.96 0.98 0.92 2/78 6211 /proc/meminfo: memFree=1882080/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=24348 CPUtime=51.07 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 4020 0 0 0 5088 19 0 0 25 0 1 0 342076176 24932352 3888 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 6087 3888 102 219 0 5864 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 24348 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.92 2/78 6211 /proc/meminfo: memFree=1879968/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=25568 CPUtime=102.26 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 4660 0 0 0 10195 31 0 0 25 0 1 0 342076176 26181632 4431 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 6392 4431 102 219 0 6169 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 25568 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6211 /proc/meminfo: memFree=1876512/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=27124 CPUtime=162.25 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 5720 0 0 0 16167 58 0 0 25 0 1 0 342076176 27774976 5298 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 6781 5298 102 219 0 6558 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 27124 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6211 /proc/meminfo: memFree=1875680/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=27484 CPUtime=222.23 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 5922 0 0 0 22149 74 0 0 25 0 1 0 342076176 28143616 5500 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 6871 5500 102 219 0 6648 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 27484 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6211 /proc/meminfo: memFree=1874592/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=29720 CPUtime=282.21 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 6578 0 0 0 28121 100 0 0 25 0 1 0 342076176 30433280 5771 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 7430 5771 102 219 0 7207 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 29720 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6211 /proc/meminfo: memFree=1872160/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=30140 CPUtime=342.2 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 7185 0 0 0 34105 115 0 0 25 0 1 0 342076176 30863360 6378 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 7535 6378 102 219 0 7312 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 30140 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6211 /proc/meminfo: memFree=1871584/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=30504 CPUtime=402.18 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 7334 0 0 0 40090 128 0 0 25 0 1 0 342076176 31236096 6527 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 7626 6527 102 219 0 7403 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 30504 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6211 /proc/meminfo: memFree=1871136/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=30756 CPUtime=462.17 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 7448 0 0 0 46078 139 0 0 25 0 1 0 342076176 31494144 6641 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 7689 6641 102 219 0 7466 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 30756 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6211 /proc/meminfo: memFree=1869984/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=31336 CPUtime=522.15 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 7747 0 0 0 52061 154 0 0 25 0 1 0 342076176 32088064 6940 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 7834 6940 102 219 0 7611 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 31336 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6211 /proc/meminfo: memFree=1867680/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=31808 CPUtime=582.14 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 8298 0 0 0 58044 170 0 0 25 0 1 0 342076176 32571392 7491 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 7952 7491 102 219 0 7729 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 31808 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6211 /proc/meminfo: memFree=1866400/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=31996 CPUtime=642.12 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 8616 0 0 0 64032 180 0 0 25 0 1 0 342076176 32763904 7809 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 7999 7809 102 219 0 7776 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 31996 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6211 /proc/meminfo: memFree=1856736/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=52456 CPUtime=822.07 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 11792 0 0 0 81996 211 0 0 25 0 1 0 342076176 53714944 10216 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 13114 10216 102 219 0 12891 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 52456 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6211 /proc/meminfo: memFree=1850336/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=52544 CPUtime=882.06 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 13378 0 0 0 87987 219 0 0 25 0 1 0 342076176 53805056 11802 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 13136 11802 102 219 0 12913 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 52544 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6211 /proc/meminfo: memFree=1849888/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=52784 CPUtime=942.04 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 13479 0 0 0 93980 224 0 0 25 0 1 0 342076176 54050816 11903 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 13196 11903 102 219 0 12973 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 52784 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6211 /proc/meminfo: memFree=1849440/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=53196 CPUtime=1002.03 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 13596 0 0 0 99974 229 0 0 25 0 1 0 342076176 54472704 12020 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 13299 12020 102 219 0 13076 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 53196 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.92 3/78 6211 /proc/meminfo: memFree=1838304/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=86160 CPUtime=1062.01 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 16376 0 0 0 105966 235 0 0 25 0 1 0 342076176 88227840 14800 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550340 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 21540 14800 102 219 0 21317 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 86160 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6211 /proc/meminfo: memFree=1832416/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=86804 CPUtime=1121.99 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 17834 0 0 0 111958 241 0 0 25 0 1 0 342076176 88887296 16258 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 21701 16258 102 219 0 21478 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 86804 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6211 /proc/meminfo: memFree=1831968/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=87228 CPUtime=1181.97 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 17944 0 0 0 117951 246 0 0 25 0 1 0 342076176 89321472 16368 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557514 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 21807 16368 102 219 0 21584 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 87228 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6211 /proc/meminfo: memFree=1827680/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=87532 CPUtime=1241.96 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 18998 0 0 0 123945 251 0 0 25 0 1 0 342076176 89632768 17422 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 21883 17422 102 219 0 21660 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 87532 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.92 2/84 6349 /proc/meminfo: memFree=1824216/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=89104 CPUtime=1301.89 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 19490 0 0 0 129934 255 0 0 25 0 1 0 342076176 91242496 17914 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 22276 17914 102 219 0 22053 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 89104 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.92 3/78 6408 /proc/meminfo: memFree=1824480/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=89724 CPUtime=1361.83 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 19732 0 0 0 135923 260 0 0 25 0 1 0 342076176 91877376 18156 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 22431 18156 102 219 0 22208 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 89724 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6408 /proc/meminfo: memFree=1824224/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=89724 CPUtime=1421.82 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 19791 0 0 0 141918 264 0 0 25 0 1 0 342076176 91877376 18215 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 22431 18215 102 219 0 22208 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 89724 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6408 /proc/meminfo: memFree=1821408/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=90428 CPUtime=1481.8 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 20689 0 0 0 147913 267 0 0 25 0 1 0 342076176 92598272 19113 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 22607 19113 102 219 0 22384 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 90428 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6408 /proc/meminfo: memFree=1808608/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=92908 CPUtime=1541.78 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 23694 0 0 0 153906 272 0 0 25 0 1 0 342076176 95137792 22118 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 23227 22118 102 219 0 23004 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 92908 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6408 /proc/meminfo: memFree=1808096/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=99560 CPUtime=1601.77 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 25357 0 0 0 159900 277 0 0 25 0 1 0 342076176 101949440 22244 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 24890 22244 102 219 0 24667 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 99560 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6408 /proc/meminfo: memFree=1805728/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=101768 CPUtime=1661.75 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 25993 0 0 0 165893 282 0 0 25 0 1 0 342076176 104210432 22880 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 25442 22880 102 219 0 25219 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 101768 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6408 /proc/meminfo: memFree=1801824/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=102572 CPUtime=1721.74 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 26996 0 0 0 171887 287 0 0 25 0 1 0 342076176 105033728 23883 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 25643 23883 102 219 0 25420 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 102572 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6408 /proc/meminfo: memFree=1801312/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=102572 CPUtime=1781.71 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 27084 0 0 0 177880 291 0 0 25 0 1 0 342076176 105033728 23971 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550340 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 25643 23971 102 219 0 25420 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 102572 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.92 2/78 6408 /proc/meminfo: memFree=1801184/2055920 swapFree=4145464/4192956 [pid=6210] ppid=6208 vsize=102572 CPUtime=1800.02 /proc/6210/stat : 6210 (PBS4_SAT07v2) R 6208 6210 4561 0 -1 4194304 27108 0 0 0 179709 293 0 0 25 0 1 0 342076176 105033728 23995 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6210/statm: 25643 23995 102 219 0 25420 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 102572 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.63 CPU time (s): 1800.05 CPU user time (s): 1797.1 CPU system time (s): 2.94955 CPU usage (%): 99.9678 Max. virtual memory (cumulated for all children) (KiB): 102572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.1 system time used= 2.94955 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27111 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= 10 involuntary context switches= 1251 runsolver used 1.39979 second user time and 3.84542 second system time The end
Begin job on node9 on Tue May 8 21:39:46 UTC 2007 IDJOB= 459795 IDBENCH= 48256 IDSOLVER= 200 FILE ID= node9/459795-1178660386 PBS_JOBID= 5217835 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/bsg/normalized-bsg_500_10_2.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459795-1178660386/instance-459795-1178660386.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node9/convwatcher-459795-1178660386 -o ROOT/results/node9/conversion-459795-1178660386 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459795-1178660386/instance-459795-1178660386.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-459795-1178660386 -o ROOT/results/node9/solver-459795-1178660386 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459795-1178660386/instance-459795-1178660386.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= fc8bff78845ab9a14b2d06ab749e4dc4 RANDOM SEED= 807845734 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node9.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.221 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.221 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: 1898040 kB Buffers: 27016 kB Cached: 44460 kB SwapCached: 15360 kB Active: 55864 kB Inactive: 38772 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1898040 kB SwapTotal: 4192956 kB SwapFree: 4145464 kB Dirty: 2900 kB Writeback: 0 kB Mapped: 30328 kB Slab: 48780 kB Committed_AS: 8878640 kB PageTables: 1788 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 node9 on Tue May 8 22:09:49 UTC 2007