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