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