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