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