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