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