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