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