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