Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2 2024-07-05 | OPT | 33456 | 648.458 | 659.323 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir06_trarea_ac.opb |
| MD5SUM | 80638e9ab302f8cbcb0fef344ba23b43 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 33456 |
| Best CPU time to get the best result obtained on this benchmark | 0.261171 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 4360 |
| Total number of constraints | 8610 |
| Number of constraints which are clauses | 8610 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 163 |
| Number of terms in the objective function | 2173 |
| Biggest coefficient in the objective function | 2124 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 3653850 |
| Number of bits of the sum of numbers in the objective function | 22 |
| Biggest number in a constraint | 2124 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 3653850 |
| Number of bits of the biggest sum of numbers | 22 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.09/0.16 o 2119622 9.36/9.47 o 2117966 9.46/9.53 o 2116150 9.46/9.59 o 2114494 9.56/9.65 o 2112832 9.66/9.71 o 2111170 9.66/9.77 o 2109203 9.76/9.83 o 2107663 9.76/9.89 o 2106375 9.86/9.95 o 2104869 9.96/10.01 o 2103026 9.96/10.07 o 2101764 10.06/10.13 o 2099890 10.06/10.19 o 2097908 10.16/10.25 o 2096290 10.26/10.31 o 2094540 10.26/10.37 o 2094130 10.36/10.44 o 2092139 10.45/10.51 o 2090459 10.45/10.57 o 2089223 10.55/10.63 o 2087270 10.55/10.69 o 2085617 10.65/10.75 o 2083987 10.75/10.80 o 2082357 10.75/10.86 o 2080454 10.85/10.93 o 2078870 10.85/10.99 o 2077144 10.96/11.04 o 2075856 11.06/11.10 o 2074490 11.06/11.16 o 2072680 11.15/11.22 o 2071062 11.15/11.28 o 2069504 11.25/11.33 o 2067818 11.25/11.39 o 2065979 11.35/11.45 o 2063962 11.45/11.51 o 2061980 11.45/11.57 o 2060170 11.55/11.62 o 2058176 11.55/11.68 o 2056618 11.65/11.74 o 2055356 11.75/11.80 o 2053978 11.75/11.86 o 2052548 11.85/11.92 o 2050722 11.85/11.98 o 2048963 11.96/12.04 o 2047437 11.96/12.09 o 2045726 12.06/12.15 o 2044200 12.15/12.21 o 2042154 12.15/12.27 o 2040466 12.25/12.32 o 2039230 12.25/12.38 o 2037730 12.35/12.44 o 2036004 12.45/12.50 o 2034254 12.45/12.56 o 2032696 12.55/12.61 o 2030857 12.55/12.67 o 2029020 12.65/12.73 o 2027758 12.65/12.79 o 2026264 12.75/12.85 o 2024718 12.85/12.91 o 2022844 12.85/12.97 o 2022838 12.95/13.03 o 2022772 12.95/13.08 o 2021112 13.05/13.14 o 2019618 13.05/13.19 o 2018312 13.14/13.25 o 2017810 13.24/13.30 o 2016652 13.24/13.35 o 2014964 13.34/13.41 o 2013241 13.34/13.46 o 2011311 13.44/13.51 o 2009701 13.44/13.56 o 2007887 13.54/13.62 o 2006012 13.54/13.67 o 2004550 13.64/13.72 o 2004406 13.64/13.78 o 2003184 13.74/13.83 o 2002078 13.74/13.88 o 2000425 13.84/13.94 o 1998628 13.84/13.99 o 1997045 13.95/14.05 o 1995583 13.95/14.10 o 1993872 14.05/14.15 o 1992494 14.14/14.21 o 1990620 14.14/14.26 o 1988827 14.24/14.32 o 1987411 14.24/14.37 o 1985728 14.34/14.42 o 1985554 14.34/14.49 o 1984176 14.44/14.56 o 1982558 14.55/14.62 o 1981192 14.55/14.69 o 1980871 14.65/14.76 o 1979218 14.75/14.83 o 1977878 14.85/14.90 o 1976251 14.85/14.99 o 1974853 14.95/15.07 o 1974789 15.05/15.13 o 1974775 15.05/15.18 o 1973423 15.15/15.25 o 1971805 15.25/15.31 o 1970169 15.25/15.39 o 1970123 15.35/15.44 o 1969926 15.45/15.51 o 1968400 15.45/15.59 o 1967086 15.55/15.66 o 1965592 15.65/15.75 o 1963956 15.74/15.86 o 1962494 15.84/15.95 o 1961110 15.94/16.04 o 1959770 16.04/16.13 o 1958430 16.14/16.21 o 1958337 16.14/16.27 o 1958310 16.23/16.32 o 1958125 16.23/16.38 o 1956727 16.33/16.46 o 1956475 16.44/16.52 o 1956435 16.44/16.57 o 1955109 16.54/16.66 o 1953435 16.64/16.73 o 1952005 16.74/16.81 o 1950575 16.84/16.92 o 1949209 16.94/17.01 o 1947715 17.04/17.15 o 1946175 17.13/17.25 o 1945935 17.23/17.30 o 1944557 17.34/17.40 o 1942718 17.44/17.52 o 1941172 17.54/17.62 o 1939542 17.64/17.71 o 1937924 46.68/47.41 o 1936334 46.78/47.58 o 1934602 46.98/47.75 o 1933076 47.18/47.93 o 1931814 47.39/48.14 o 1929988 47.58/48.31 o 1929936 47.68/48.47 o 1928462 47.88/48.63 o 1927226 47.98/48.79 o 1925285 48.18/48.95 o 1923518 48.39/49.11 o 1923294 48.48/49.27 o 1923216 48.68/49.45 o 1921438 48.88/49.62 o 1919848 48.98/49.79 o 1918612 49.19/49.96 o 1917350 49.39/50.13 o 1917306 49.59/50.39 o 1917178 49.89/50.66 o 1917170 50.08/50.81 o 1915525 50.18/50.99 o 1913863 50.48/51.21 o 1912421 50.58/51.39 o 1910889 50.78/51.55 o 1909601 50.98/51.72 o 1908107 51.08/51.89 o 1906535 51.28/52.06 o 1905061 51.48/52.23 o 1903338 51.58/52.39 o 1901734 51.78/52.56 o 1900011 51.98/52.72 o 1898581 52.08/52.89 o 1897003 52.29/53.06 o 1895300 52.48/53.23 o 1895190 52.58/53.38 o 1893612 52.78/53.54 o 1892298 52.98/53.71 o 1892083 53.08/53.86 o 1891759 53.28/54.01 o 1890653 53.38/54.18 o 1890635 53.58/54.33 o 1889295 53.67/54.49 o 1887555 53.87/54.65 o 1885814 54.07/54.81 o 1884300 54.17/54.98 o 1884204 54.38/55.13 o 1884152 54.47/55.28 o 1884100 54.67/55.49 o 1882606 54.96/55.71 o 1880761 55.16/55.96 o 1879421 55.38/56.16 o 1877901 55.57/56.39 o 1876439 55.87/56.61 o 1875285 55.97/56.76 o 1874986 56.16/56.94 o 1873388 56.37/57.13 o 1871990 56.56/57.33 o 1870516 56.76/57.53 o 1868793 56.96/57.72 o 1866925 57.16/57.92 o 1865237 57.37/58.11 o 1863496 57.56/58.30 o 1861866 57.66/58.48 o 1861367 57.86/58.64 o 1860027 58.06/58.83 o 1858444 58.26/59.02 o 1856703 58.46/59.23 o 1855337 58.66/59.42 o 1853719 58.86/59.62 o 1852048 59.06/59.80 o 1850337 59.16/59.99 o 1848457 59.36/60.18 o 1846963 59.55/60.36 o 1845533 59.75/60.53 o 1843915 59.95/60.72 o 1843753 60.05/60.86 o 1842375 60.26/61.04 o 1840559 60.45/61.23 o 1839129 60.65/61.40 o 1837342 60.75/61.60 o 1835630 60.95/61.78 o 1834058 61.15/61.96 o 1832564 61.35/62.14 o 1831198 61.55/62.31 o 1830984 61.65/62.46 o 1829580 61.85/62.67 o 1829473 62.05/62.81 o 1829458 62.15/62.96 o 1827770 62.35/63.15 o 1826296 62.54/63.34 o 1824584 62.74/63.52 o 1822771 62.94/63.71 o 1821126 63.14/63.91 o 1819508 63.25/64.09 o 1819213 63.44/64.29 o 1817560 63.64/64.48 o 1815889 63.84/64.67 o 1814235 64.04/64.87 o 1812581 64.28/65.22 o 1810884 64.48/65.41 o 1809161 64.68/65.60 o 1807687 64.78/65.78 o 1805964 64.98/65.97 o 1805866 65.18/66.12 o 1804241 65.38/66.31 o 1802715 65.57/66.50 o 1801267 65.67/66.67 o 1799979 65.87/66.85 o 1798343 66.08/67.02 o 1796785 66.27/67.20 o 1795259 66.37/67.39 o 1793733 66.57/67.58 o 1792227 66.77/67.77 o 1790469 67.08/68.01 o 1788833 67.27/68.20 o 1787223 67.47/68.41 o 1785500 67.67/68.63 o 1784070 67.87/68.82 o 1782329 68.08/69.09 o 1780835 68.27/69.29 o 1779263 68.47/69.47 o 1779069 68.67/69.62 o 1777575 68.77/69.79 o 1776127 68.97/69.96 o 1774523 69.17/70.12 o 1772800 69.27/70.29 o 1771059 69.47/70.46 o 1769455 69.67/70.63 o 1767723 69.77/70.79 o 1766293 69.97/70.96 o 1764639 70.17/71.15 o 1763325 70.36/71.31 o 1761993 70.56/71.51 o 1760653 70.76/71.71 o 1759023 70.96/71.90 o 1757303 71.06/72.09 o 1755963 71.26/72.29 o 1754243 71.46/72.48 o 1752607 71.66/72.67 o 1751043 71.86/72.87 o 1749659 72.06/73.06 o 1748197 72.25/73.25 o 1746787 72.46/73.46 o 1746671 72.66/73.60 o 1746471 72.76/73.79 o 1745453 72.96/73.98 o 1745209 73.16/74.12 o 1745061 73.35/74.31 o 1743489 73.55/74.51 o 1742149 73.75/74.72 o 1740461 73.95/74.92 o 1738738 74.16/75.12 o 1737340 74.35/75.31 o 1735408 74.55/75.50 o 1733502 74.85/75.82 o 1731541 75.05/76.02 o 1729762 75.26/76.22 o 1728004 75.45/76.42 o 1726664 75.65/76.61 o 1725002 75.85/76.80 o 1723244 76.06/77.01 o 1721558 76.25/77.21 o 1721485 76.35/77.35 o 1719902 76.65/77.67 o 1718123 76.85/77.88 o 1716540 77.05/78.08 o 1715142 77.24/78.27 o 1713802 77.45/78.48 o 1713792 77.65/78.62 o 1713720 77.75/78.75 o 1712174 77.95/78.96 o 1712018 78.15/79.10 o 1710744 78.34/79.30 o 1709186 78.44/79.49 o 1707498 78.84/79.81 o 1705992 79.04/80.01 o 1705656 79.14/80.15 o 1704304 79.34/80.35 o 1702430 79.54/80.55 o 1701000 79.74/80.73 o 1699570 79.94/80.91 o 1697940 80.15/81.11 o 1696130 80.34/81.31 o 1695878 80.44/81.44 o 1694500 80.64/81.63 o 1693134 80.84/81.82 o 1691286 81.04/82.02 o 1689319 81.23/82.21 o 1687605 81.43/82.41 o 1685728 81.63/82.60 o 1683825 81.83/82.80 o 1681951 82.04/83.00 o 1680295 82.24/83.20 o 1678380 82.54/83.52 o 1676477 82.74/83.71 o 1674763 82.93/83.91 o 1672860 83.14/84.11 o 1671021 83.33/84.32 o 1669089 83.53/84.52 o 1667369 83.73/84.72 o 1665681 83.93/84.91 o 1664135 84.14/85.12 o 1662139 84.43/85.44 o 1660198 84.62/85.64 o 1658399 84.82/85.83 o 1656711 85.04/86.02 o 1655171 85.23/86.21 o 1653553 85.33/86.39 o 1651699 85.53/86.59 o 1650193 85.73/86.77 o 1648563 85.93/86.96 o 1646805 86.22/87.27 o 1644995 86.42/87.46 o 1643077 86.62/87.65 o 1641409 86.82/87.85 o 1639535 87.03/88.04 o 1637925 114.88/116.78 o 1636167 115.08/116.93 o 1634235 115.19/117.07 o 1632617 115.38/117.20 o 1631187 115.48/117.34 o 1629603 115.58/117.48 o 1627789 115.78/117.62 o 1626449 115.88/117.76 o 1625051 116.08/117.90 o 1623043 116.19/118.05 o 1621503 116.29/118.19 o 1619654 116.48/118.33 o 1617812 116.58/118.47 o 1615900 116.78/118.61 o 1614232 116.88/118.74 o 1612329 116.98/118.88 o 1610963 117.19/119.02 o 1609469 117.29/119.16 o 1607943 117.48/119.30 o 1606449 117.58/119.44 o 1605083 117.68/119.58 o 1603577 117.88/119.72 o 1602019 117.98/119.86 o 1600287 118.08/120.00 o 1598506 118.28/120.14 o 1597218 118.38/120.28 o 1595796 118.58/120.42 o 1594108 118.68/120.56 o 1592382 118.87/120.70 o 1590636 118.97/120.84 o 1588756 119.07/120.98 o 1587094 119.28/121.12 o 1585150 119.37/121.26 o 1583276 119.47/121.39 o 1581297 119.67/121.52 o 1579370 119.77/121.66 o 1577752 119.97/121.80 o 1575889 120.07/121.94 o 1574395 120.18/122.07 o 1573107 120.37/122.20 o 1571503 120.47/122.34 o 1569933 120.57/122.47 o 1568593 120.77/122.60 o 1566931 120.87/122.73 o 1565153 120.97/122.87 o 1563317 121.17/123.00 o 1561399 121.27/123.14 o 1559653 121.37/123.27 o 1557817 121.57/123.40 o 1555987 121.67/123.54 o 1554194 121.77/123.67 o 1552448 121.97/123.80 o 1550702 122.07/123.94 o 1548900 122.17/124.07 o 1547154 122.36/124.20 o 1545207 122.46/124.34 o 1543405 122.56/124.47 o 1542079 122.76/124.61 o 1540217 122.86/124.74 o 1538439 122.96/124.88 o 1536577 123.17/125.01 o 1534715 123.27/125.14 o 1532841 123.36/125.28 o 1531083 123.56/125.41 o 1529409 123.66/125.54 o 1527787 123.76/125.68 o 1526157 123.96/125.82 o 1524457 124.06/125.95 o 1522631 124.17/126.09 o 1520649 124.36/126.22 o 1519283 124.46/126.36 o 1517505 124.65/127.84 o 1515675 124.71/127.98 o 1513849 124.91/128.11 o 1511870 125.00/128.24 o 1510144 125.10/128.37 o 1508766 125.30/128.50 o 1506940 125.40/128.63 o 1505114 125.50/128.76 o 1503364 125.70/128.90 o 1501884 125.81/129.05 o 1501849 125.91/129.19 o 1499975 126.31/129.50 o 1499723 126.41/129.66 o 1499709 126.51/129.78 o 1499683 126.71/129.91 o 1498357 126.81/130.09 o 1496695 127.01/130.28 o 1494975 127.21/130.47 o 1493449 127.40/130.65 o 1491839 127.60/130.84 o 1490089 127.81/131.03 o 1488401 128.00/131.22 o 1486971 128.10/131.39 o 1485431 128.30/131.55 o 1483577 128.50/131.73 o 1481866 128.70/131.91 o 1480294 128.80/132.09 o 1478469 129.00/132.28 o 1477103 129.19/132.44 o 1475673 129.40/132.63 o 1473923 129.60/132.81 o 1472305 129.70/132.99 o 1472212 129.91/133.12 o 1471963 130.00/133.24 o 1470559 130.20/133.42 o 1468656 130.40/133.61 o 1466724 130.50/133.79 o 1465218 130.70/133.97 o 1463460 130.90/134.16 o 1463295 131.00/134.28 o 1463201 131.19/134.40 o 1461583 131.29/134.58 o 1459965 131.49/134.77 o 1458215 131.69/134.96 o 1456457 131.90/135.14 o 1454699 132.09/135.33 o 1452796 132.29/135.52 o 1451075 132.49/135.71 o 1449337 132.69/135.90 o 1447463 132.89/136.18 o 1447271 133.10/136.30 o 1445618 133.20/136.47 o 1443965 133.39/136.66 o 1442285 133.59/136.84 o 1440895 133.69/137.00 o 1439102 133.90/137.19 o 1437414 134.09/137.38 o 1435505 134.39/137.67 o 1433915 134.59/137.83 o 1432227 134.79/138.00 o 1430564 134.98/138.20 o 1428841 135.08/138.39 o 1428713 135.28/138.51 o 1427207 135.49/138.70 o 1425449 135.59/138.89 o 1423891 135.99/139.20 o 1422269 136.09/139.39 o 1421883 136.29/139.50 o 1420673 136.49/139.71 o 1419115 136.68/139.90 o 1417447 136.79/140.09 o 1415654 137.09/140.31 o 1414064 137.19/140.49 o 1412396 137.39/140.68 o 1410838 137.59/140.86 o 1409300 137.79/141.04 o 1407542 138.08/141.31 o 1406280 138.18/141.49 o 1404565 138.48/141.71 o 1404313 138.58/141.82 o 1402839 138.88/142.14 o 1401197 139.07/142.35 o 1399561 139.28/142.55 o 1397965 139.48/142.79 o 1396439 139.68/143.00 o 1394829 140.07/143.36 o 1393271 140.27/143.56 o 1391809 140.48/143.75 o 1390283 140.68/143.93 o 1388803 140.88/144.12 o 1387341 141.07/144.33 o 1386940 141.17/144.44 o 1385652 141.57/144.80 o 1385522 141.67/144.92 o 1384158 141.88/145.18 o 1382844 142.07/145.37 o 1381092 142.27/145.59 o 1379284 190.17/193.86 o 1377569 190.28/194.00 o 1376281 190.49/194.13 o 1374558 190.58/194.26 o 1373000 190.78/194.40 o 1371097 190.88/194.53 o 1369551 190.98/194.66 o 1367479 191.18/194.80 o 1365576 191.28/194.92 o 1363701 191.38/195.05 o 1361981 191.48/195.18 o 1360267 191.68/195.30 o 1358337 191.78/195.43 o 1356907 191.88/195.56 o 1355187 191.98/195.68 o 1353821 192.17/195.81 o 1352153 192.27/195.94 o 1350145 192.38/196.07 o 1348178 192.48/196.19 o 1346525 192.67/196.32 o 1344624 192.77/196.45 o 1342659 192.87/196.57 o 1340913 193.07/196.70 o 1339190 193.17/196.82 o 1337402 193.27/196.95 o 1335449 193.38/197.08 o 1333831 193.57/197.21 o 1332046 193.67/197.33 o 1330404 193.77/197.46 o 1328846 193.87/197.58 o 1327256 194.07/197.71 o 1325614 194.17/197.83 o 1324244 194.27/197.96 o 1322407 194.37/198.09 o 1320619 194.57/198.21 o 1319189 194.67/198.34 o 1317536 194.77/198.47 o 1315940 194.87/198.59 o 1315688 195.07/198.72 o 1314070 195.17/198.86 o 1312704 195.27/198.99 o 1311051 195.47/199.11 o 1309479 195.56/199.24 o 1307861 195.66/199.37 o 1306243 195.76/199.49 o 1304877 195.96/199.62 o 1303447 196.06/199.74 o 1301621 196.16/199.87 o 1299863 196.26/199.99 o 1299741 196.47/200.12 o 1299471 196.56/200.25 o 1299431 196.66/200.37 o 1298105 196.76/200.48 o 1296843 196.96/200.60 o 1295357 197.06/200.72 o 1294069 197.16/200.84 o 1292781 197.26/200.96 o 1292549 197.36/201.07 o 1291127 197.46/201.19 o 1289441 197.66/201.31 o 1288127 197.76/201.43 o 1286330 197.86/201.55 o 1284900 197.96/201.66 o 1282985 198.05/201.78 o 1281134 198.25/201.90 o 1279411 198.36/202.02 o 1277723 198.46/202.13 o 1275628 198.55/202.25 o 1273632 198.65/202.37 o 1271700 198.75/202.48 o 1269890 198.95/202.60 o 1267795 199.05/202.72 o 1266072 199.15/202.83 o 1264288 199.25/202.95 o 1262634 199.36/203.07 o 1260946 199.46/203.18 o 1259318 199.65/203.30 o 1257507 199.75/203.41 o 1255714 199.85/203.53 o 1254052 199.95/203.64 o 1252294 200.05/203.76 o 1250704 200.15/203.87 o 1249016 200.25/203.99 o 1247296 200.45/204.12 o 1245770 200.55/204.24 o 1244218 200.65/204.36 o 1242530 200.75/204.48 o 1240984 200.94/204.60 o 1239516 201.04/204.72 o 1237970 201.24/204.90 o 1237918 201.34/205.03 o 1237790 201.44/205.14 o 1237712 201.54/205.27 o 1236476 201.75/205.45 o 1234880 201.94/205.69 o 1233113 202.24/205.90 o 1231451 202.34/206.07 o 1230993 202.44/206.18 o 1229783 202.64/206.37 o 1228289 202.84/206.56 o 1228037 202.94/206.67 o 1227909 203.04/206.79 o 1226673 203.24/207.00 o 1224894 203.53/207.25 o 1223316 203.83/207.51 o 1221822 203.93/207.67 o 1219939 204.14/207.87 o 1218213 204.34/208.08 o 1216545 204.54/208.28 o 1215051 204.83/208.51 o 1213223 205.03/208.70 o 1211477 205.13/208.89 o 1209899 205.34/209.09 o 1208469 205.53/209.27 o 1206827 205.83/209.56 o 1205165 206.04/209.74 o 1203413 206.23/209.90 o 1201661 206.34/210.05 o 1199999 206.44/210.19 o 1198377 206.63/210.33 o 1196773 206.73/210.47 o 1195299 206.93/210.61 o 1193611 207.12/210.82 o 1191917 207.22/210.97 o 1190603 207.44/211.18 o 1189031 207.73/211.40 o 1187279 207.93/211.65 o 1185527 208.23/211.93 o 1183923 208.43/212.11 o 1182493 208.62/212.30 o 1180752 208.92/212.61 o 1179322 209.12/212.81 o 1177572 209.43/213.12 o 1175910 209.62/213.36 o 1174143 209.92/213.63 o 1172481 210.12/213.81 o 1171167 210.22/213.98 o 1169737 210.42/214.18 o 1169388 210.62/214.32 o 1168074 210.91/214.63 o 1166296 211.11/214.82 o 1164956 211.21/214.98 o 1163360 211.51/215.20 o 1161738 211.61/215.37 o 1160380 211.81/215.54 o 1158613 212.11/215.81 o 1157041 212.32/216.05 o 1155701 212.51/216.21 o 1155564 212.71/216.47 o 1153908 212.91/216.68 o 1152568 213.21/216.93 o 1151170 213.42/217.19 o 1150936 213.61/217.30 o 1149353 213.81/217.54 o 1147565 214.11/217.88 o 1147383 214.21/217.99 o 1146135 214.41/218.19 o 1144133 214.80/218.59 o 1142329 215.18/218.94 o 1140609 215.58/219.34 o 1138895 215.88/219.63 o 1137305 216.08/219.86 o 1135538 216.38/220.18 o 1133942 216.77/220.51 o 1132512 216.97/220.70 o 1130478 217.27/221.03 o 1128674 217.57/221.32 o 1126643 217.78/221.57 o 1125025 218.07/221.84 o 1123595 218.38/222.10 o 1121807 218.57/222.39 o 1120249 218.97/222.76 o 1118883 219.17/222.99 o 1117195 219.47/223.26 o 1115507 219.77/223.53 o 1114141 220.06/223.89 o 1112353 220.47/224.26 o 1110723 220.77/224.50 o 1109345 221.07/224.81 o 1109015 221.17/224.91 o 1107727 221.37/225.14 o 1106297 221.56/225.33 o 1104875 221.76/225.51 o 1102922 221.97/225.71 o 1101269 222.16/225.90 o 1099639 222.27/226.09 o 1097829 222.46/226.28 o 1095850 222.76/226.50 o 1093947 222.86/226.70 o 1092073 223.06/226.89 o 1090695 223.36/227.15 o 1089007 223.66/227.42 o 1087481 223.86/227.60 o 1085528 224.05/227.87 o 1083840 224.27/228.07 o 1081966 224.46/228.27 o 1080310 224.66/228.47 o 1078622 224.86/228.66 o 1076812 225.06/228.88 o 1075318 225.26/229.07 o 1075204 225.36/229.17 o 1075007 225.45/229.28 o 1074929 225.55/229.39 o 1074769 225.65/229.49 o 1074743 225.95/229.76 o 1073313 226.15/229.95 o 1072883 226.25/230.05 o 1072805 226.35/230.16 o 1072645 226.45/230.27 o 1071383 226.66/230.48 o 1069439 226.95/230.77 o 1069427 227.15/230.90 o 1069187 227.26/231.02 o 1067899 227.55/231.31 o 1066773 227.65/231.41 o 1066581 227.85/231.69 o 1064625 228.44/232.29 o 1063085 228.75/232.52 o 1061432 229.25/233.08 o 1059595 229.85/233.66 o 1058229 230.25/234.03 o 1056611 230.65/234.45 o 1054993 231.04/234.89 o 1053101 231.54/235.36 o 1051607 231.95/235.76 o 1050229 232.14/235.99 o 1048683 232.74/236.54 o 1047317 233.03/236.82 o 1045745 233.35/237.18 o 1044127 233.64/237.41 o 1042339 234.14/237.97 o 1040767 234.43/238.25 o 1039403 234.73/238.58 o 1037999 235.24/239.01 o 1036029 235.83/239.65 o 1033998 236.34/240.17 o 1032194 236.73/240.59 o 1030227 237.03/240.89 o 1028605 237.53/241.31 o 1026571 238.02/241.84 o 1024825 238.43/242.28 o 1023395 238.72/242.53 o 1021457 239.52/243.33 o 1019885 239.92/243.76 o 1018139 240.52/244.32 o 1016521 241.32/245.19 o 1015117 241.62/245.43 o 1013115 242.02/245.89 o 1011401 242.42/246.28 o 1009681 242.81/246.64 o 1009646 242.91/246.75 o 1009328 243.01/246.85 o 1009264 243.11/246.98 o 1007512 243.32/247.11 o 1005667 243.41/247.25 o 1003879 243.51/247.38 o 1003607 243.71/247.51 o 1002371 243.81/247.67 o 1002315 244.01/247.83 o 1000452 244.32/248.14 o 998758 244.71/248.51 o 998155 244.91/248.73 o 997195 245.01/248.84 o 997177 245.11/248.97 o 996989 245.21/249.08 o 996911 245.55/249.46 o 996861 245.65/249.57 o 996621 245.86/249.70 o 995321 246.16/250.02 o 995199 246.26/250.19 o 995135 246.45/250.36 o 995103 246.65/250.52 o 993971 247.05/250.93 o 992183 247.35/251.22 o 990877 247.55/251.44 o 989003 248.16/252.00 o 987381 248.55/252.43 o 985379 249.04/252.97 o 983620 249.54/253.42 o 981615 250.24/254.16 o 979892 250.64/254.55 o 978412 250.94/254.85 o 976653 251.14/255.00 o 976461 251.34/255.27 o 976426 251.84/255.77 o 974808 252.14/256.02 o 974391 252.83/256.74 o 974172 253.03/256.90 o 972936 253.34/257.29 o 972768 253.73/257.63 o 972732 253.93/257.80 o 970887 254.53/258.47 o 968943 255.23/259.11 o 967321 255.42/259.38 o 965345 256.02/259.93 o 963929 256.32/260.28 o 962199 257.42/261.33 o 962025 257.52/261.43 o 961793 257.72/261.64 o 961741 257.82/261.77 o 960609 258.32/262.22 o 958921 258.52/262.45 o 957154 258.92/262.89 o 955271 259.22/263.14 o 953333 260.71/264.65 o 951645 260.81/264.79 o 949915 261.50/265.43 o 948122 261.71/265.60 o 946242 262.30/266.23 o 944469 263.00/266.90 o 942781 263.70/267.67 o 941058 277.17/281.17 o 938995 277.27/281.25 o 936897 277.37/281.32 o 934831 277.47/281.40 o 932797 277.47/281.47 o 930702 277.57/281.55 o 928607 277.67/281.62 o 926541 277.77/281.70 o 924715 277.77/281.77 o 923097 277.87/281.84 o 921374 277.96/281.92 o 921209 277.96/281.99 o 919392 278.07/282.07 o 917326 278.17/282.14 o 915257 278.26/282.22 o 913498 278.26/282.29 o 911672 278.36/282.36 o 909870 278.46/282.44 o 907836 278.56/282.51 o 905869 278.56/282.57 o 904251 278.66/282.64 o 902185 278.76/282.71 o 901918 278.76/282.78 o 901448 278.86/282.86 o 899794 278.96/282.94 o 898462 279.07/283.00 o 898301 279.07/283.07 o 896648 279.17/283.14 o 894925 279.26/283.21 o 893128 279.26/283.27 o 891283 279.36/283.34 o 889243 279.46/283.41 o 887206 279.46/283.47 o 885140 279.56/283.54 o 883343 279.66/283.61 o 883283 279.66/283.67 o 883122 279.76/283.74 o 881469 279.86/283.81 o 879711 279.86/283.87 o 877935 279.96/283.94 o 875956 280.06/284.05 o 874334 280.16/284.17 o 872387 280.26/284.26 o 870559 280.36/284.35 o 868743 280.55/284.58 o 868464 280.65/284.64 o 867042 280.85/284.80 o 865284 281.06/285.04 o 863517 281.25/285.28 o 861634 281.55/285.52 o 861548 281.55/285.59 o 861356 281.66/285.65 o 859876 281.85/285.89 o 858109 282.16/286.12 o 856571 282.55/286.51 o 854778 282.65/286.68 o 853324 282.85/286.81 o 853298 282.95/286.91 o 852281 283.15/287.18 o 850659 283.35/287.30 o 849031 283.64/287.67 o 847525 284.05/288.02 o 847415 284.05/288.09 o 847119 284.15/288.15 o 845857 284.54/288.57 o 844299 284.64/288.67 o 842497 285.15/289.17 o 841003 285.24/289.27 o 839445 285.44/289.47 o 837687 285.64/289.68 o 836097 286.14/290.17 o 834539 286.54/290.56 o 833277 286.93/290.92 o 833047 286.93/290.99 o 831553 287.63/291.62 o 830265 287.73/291.75 o 828463 288.04/292.08 o 826835 288.33/292.38 o 825181 288.93/292.91 o 825175 288.93/292.97 o 824929 289.13/293.14 o 824645 289.23/293.21 o 824613 325.06/329.40 o 823273 325.06/329.46 o 821733 325.16/329.51 o 819870 325.16/329.57 o 818138 325.26/329.62 o 816240 325.26/329.68 o 814220 325.36/329.73 o 812410 325.36/329.78 o 810625 325.46/329.84 o 808780 325.46/329.89 o 806917 325.56/329.95 o 805054 325.56/330.00 o 803191 325.66/330.05 o 801781 325.76/330.11 o 800209 325.76/330.16 o 798637 325.86/330.22 o 796827 325.86/330.27 o 795127 325.96/330.32 o 793310 325.96/330.38 o 791430 326.06/330.43 o 789884 326.06/330.48 o 788160 326.16/330.54 o 786542 326.16/330.59 o 785176 326.26/330.64 o 783824 326.26/330.69 o 783350 326.46/330.82 o 781920 326.46/330.87 o 780110 326.56/330.93 o 778380 326.56/330.98 o 776560 326.66/331.04 o 776309 326.66/331.09 o 774879 326.76/331.14 o 773091 326.85/331.21 o 773065 326.85/331.26 o 772865 326.95/331.31 o 771391 326.95/331.37 o 771149 327.16/331.58 o 770207 327.36/331.78 o 768649 327.86/332.26 o 766806 328.36/332.72 o 765228 328.55/332.98 o 763478 329.25/333.63 o 761952 329.55/333.93 o 760452 330.05/334.48 o 758729 330.55/334.93 o 757119 330.75/335.17 o 755665 331.05/335.47 o 753971 331.55/335.93 o 752213 332.05/336.43 o 750269 332.35/336.76 o 748633 332.75/337.14 o 747005 333.14/337.52 o 745227 333.55/337.90 o 743434 334.14/338.58 o 741760 334.34/338.77 o 740066 334.75/339.15 o 738282 335.14/339.52 o 736524 335.54/339.90 o 734710 335.84/340.21 o 732926 336.14/340.54 o 731232 336.44/340.80 o 729622 336.64/341.05 o 727928 336.83/341.28 o 726306 337.25/341.90 o 724359 337.84/342.53 o 722749 338.04/342.78 o 721243 338.54/343.27 o 719955 338.74/343.44 o 718229 339.14/343.83 o 716453 339.35/344.07 o 714991 339.54/344.29 o 713297 339.84/344.56 o 711643 340.14/344.84 o 710021 340.35/345.09 o 708301 340.94/345.67 o 706807 341.24/345.96 o 705081 341.53/346.24 o 703271 341.74/346.46 o 701461 342.03/346.70 o 700147 342.23/346.91 o 698757 342.54/347.27 o 696955 342.84/347.52 o 695203 343.03/347.77 o 693410 343.44/348.13 o 691632 343.73/348.42 o 689854 344.44/349.17 o 688046 344.83/349.59 o 687930 344.93/349.70 o 687756 345.03/349.75 o 687745 345.13/349.80 o 687706 345.34/350.02 o 685960 345.83/350.50 o 684182 346.22/350.92 o 682578 346.62/351.33 o 682224 346.72/351.46 o 682163 346.83/351.51 o 682148 346.83/351.57 o 681090 346.93/351.63 o 680939 347.03/351.71 o 680869 347.22/351.97 o 679091 347.43/352.19 o 677777 347.82/352.57 o 677658 348.02/352.79 o 676344 348.43/353.12 o 676168 348.43/353.16 o 674714 349.71/354.49 o 672936 350.42/355.17 o 672860 350.51/355.22 o 672838 350.61/355.33 o 672632 350.61/355.37 o 672492 350.71/355.48 o 672402 350.81/355.57 o 672387 350.91/355.66 o 671213 351.01/355.72 o 671193 351.21/355.90 o 669447 351.42/356.14 o 668017 351.71/356.40 o 666587 351.91/356.62 o 665273 352.42/357.18 o 663643 352.71/357.46 o 662060 353.11/357.81 o 660192 353.41/358.11 o 658562 353.61/358.39 o 657222 354.10/358.84 o 655499 354.91/359.62 o 653517 355.41/360.12 o 653338 355.41/360.16 o 651755 356.31/361.06 o 649657 356.90/361.62 o 648029 357.20/361.99 o 645992 358.19/362.93 o 644409 358.79/363.56 o 642579 359.40/364.12 o 640516 359.99/364.74 o 638601 360.39/365.19 o 636541 360.99/365.75 o 635201 361.40/366.15 o 633138 362.18/366.97 o 631142 363.09/367.81 o 629480 363.48/368.21 o 627356 363.98/368.77 o 625412 364.58/369.38 o 623561 365.29/370.09 o 621838 365.78/370.50 o 619871 366.28/371.02 o 617840 366.67/371.46 o 616082 368.33/373.24 o 614684 368.73/373.68 o 612908 368.83/373.76 o 611053 369.33/374.25 o 609121 383.59/388.56 o 607343 383.69/388.60 o 605629 383.69/388.64 o 603627 383.69/388.68 o 602037 383.79/388.72 o 600311 383.79/388.76 o 598675 383.89/388.80 o 597007 383.89/388.84 o 595397 383.89/388.88 o 593787 383.99/388.93 o 591805 383.99/388.98 o 590543 384.10/389.02 o 590243 384.10/389.05 o 588590 384.10/389.09 o 586623 384.20/389.13 o 584621 384.20/389.18 o 582895 384.29/389.22 o 580893 384.29/389.26 o 579399 384.39/389.30 o 577711 384.39/389.34 o 575709 384.39/389.38 o 573959 384.49/389.41 o 572401 384.49/389.45 o 570573 384.49/389.49 o 568539 384.59/389.52 o 566735 384.59/389.56 o 565009 384.69/389.60 o 563619 384.69/389.63 o 563436 384.69/389.67 o 563398 384.79/389.70 o 563338 384.79/389.74 o 563170 384.79/389.77 o 563106 384.89/389.81 o 561780 384.89/389.85 o 561559 384.89/389.88 o 561235 384.99/389.92 o 561209 384.99/389.95 o 560977 384.99/389.99 o 559871 385.10/390.03 o 558165 385.10/390.06 o 556186 385.10/390.10 o 554480 385.20/390.14 o 552754 385.20/390.17 o 550880 385.29/390.21 o 548950 385.29/390.24 o 547224 385.29/390.28 o 545315 385.39/390.32 o 543653 385.39/390.35 o 541709 385.39/390.39 o 539765 385.49/390.42 o 537856 385.49/390.46 o 537724 385.49/390.49 o 536071 385.59/390.53 o 535850 385.59/390.56 o 535746 385.69/390.60 o 535714 385.69/390.63 o 534092 385.69/390.67 o 532382 385.79/390.70 o 530452 385.79/390.74 o 528578 385.79/390.77 o 526916 385.89/390.81 o 525242 385.89/390.84 o 523844 385.89/390.88 o 522144 385.99/390.91 o 520386 385.99/390.94 o 518718 385.99/390.98 o 516687 386.09/391.02 o 514685 386.09/391.05 o 512677 386.09/391.08 o 510710 386.20/391.12 o 508932 386.20/391.15 o 506927 386.20/391.19 o 505088 386.29/391.22 o 503164 386.29/391.26 o 501098 386.29/391.29 o 499387 386.39/391.32 o 497420 386.39/391.36 o 495429 386.39/391.39 o 493491 386.49/391.42 o 491524 386.49/391.46 o 489804 386.49/391.49 o 487773 386.59/391.52 o 485806 386.59/391.56 o 484188 386.59/391.59 o 482157 386.69/391.63 o 480489 386.69/391.66 o 478487 386.69/391.69 o 476993 386.79/391.72 o 475641 386.79/391.75 o 474037 386.79/391.78 o 472697 386.89/391.81 o 471267 386.89/391.84 o 469721 386.89/391.88 o 468215 387.00/391.91 o 466443 387.00/391.94 o 464615 387.00/391.97 o 462843 387.10/392.00 o 461225 387.10/392.04 o 459191 387.10/392.07 o 457224 387.10/392.10 o 455446 387.20/392.13 o 453415 387.20/392.16 o 451622 387.20/392.19 o 449850 387.30/392.22 o 449700 387.30/392.25 o 448117 387.30/392.29 o 446199 387.40/392.32 o 444261 387.40/392.35 o 442346 387.40/392.38 o 440472 387.50/392.41 o 438525 387.50/392.44 o 436674 387.50/392.47 o 434881 387.60/392.50 o 432876 387.60/392.53 o 431118 387.60/392.56 o 429316 387.60/392.59 o 427337 387.69/392.62 o 425684 387.69/392.65 o 423746 387.69/392.68 o 422124 387.79/392.71 o 420116 387.79/392.74 o 419768 387.79/392.77 o 418558 387.89/392.80 o 416756 387.89/392.83 o 414963 387.89/392.86 o 412958 387.89/392.89 o 411388 387.99/392.92 o 409770 387.99/392.95 o 408002 387.99/392.98 o 406374 388.10/393.01 o 404572 388.10/393.03 o 402918 388.10/393.06 o 401237 388.10/393.09 o 399435 388.20/393.12 o 397517 388.20/393.15 o 395480 388.20/393.18 o 393702 388.29/393.21 o 391668 388.29/393.23 o 389573 388.39/393.30 o 387847 388.39/393.36 o 386011 388.49/393.41 o 384233 388.69/393.63 o 382461 388.98/394.00 o 380372 389.29/394.21 o 378579 389.59/394.55 o 376724 390.19/395.10 o 376368 390.19/395.13 o 376247 390.48/395.46 o 375790 390.48/395.49 o 374392 391.28/396.29 o 373804 391.38/396.32 o 373688 391.38/396.34 o 372530 391.68/396.63 o 370464 392.28/397.22 o 368846 392.48/397.48 o 366751 394.08/399.02 o 365123 394.28/399.27 o 363693 394.77/399.71 o 362031 395.08/400.03 o 360205 395.47/400.42 o 358839 395.57/400.59 o 357013 395.77/400.73 o 355325 395.87/400.83 o 354989 395.87/400.85 o 353637 396.37/401.31 o 352079 396.87/401.83 o 349984 397.86/402.83 o 347918 398.63/403.94 o 345823 399.22/404.58 o 343754 399.92/405.25 o 342066 400.32/405.69 o 340262 400.72/406.00 o 338504 400.92/406.28 o 336816 401.31/406.67 o 334954 434.33/439.74 o 333298 434.33/439.76 o 331668 434.33/439.79 o 329980 434.42/439.82 o 327989 434.42/439.84 o 326371 434.42/439.87 o 324496 434.52/439.90 o 322543 434.52/439.92 o 321017 434.52/439.95 o 319114 434.52/439.98 o 317568 434.63/440.00 o 316138 434.63/440.03 o 314684 434.63/440.05 o 312996 434.63/440.08 o 311308 434.73/440.10 o 309291 434.73/440.13 o 307318 434.73/440.15 o 305888 434.73/440.18 o 304042 434.82/440.21 o 302270 434.82/440.23 o 300408 434.82/440.25 o 298604 434.82/440.28 o 296951 434.92/440.30 o 295013 434.92/440.33 o 293203 434.92/440.35 o 291341 434.92/440.38 o 289537 435.02/440.40 o 287675 435.02/440.42 o 285873 435.02/440.45 o 284095 435.02/440.47 o 282691 435.12/440.50 o 280660 435.12/440.52 o 279294 435.12/440.54 o 277263 435.12/440.57 o 275345 435.12/440.59 o 273717 435.22/440.61 o 271843 435.22/440.63 o 269928 435.22/440.66 o 267894 435.22/440.68 o 266276 435.32/440.70 o 264553 435.32/440.73 o 262691 435.42/440.81 o 261133 436.42/441.84 o 259703 436.62/442.01 o 257637 437.12/442.54 o 256285 437.31/442.74 o 254481 438.21/443.60 o 252853 438.42/443.88 o 251487 438.62/444.10 o 249661 439.71/445.11 o 248031 440.10/445.50 o 246653 440.10/445.56 o 244881 440.61/446.06 o 242890 441.40/446.89 o 241112 442.10/447.52 o 239014 442.60/448.10 o 237396 442.80/448.29 o 235301 443.29/448.77 o 233497 443.40/448.83 o 231431 443.60/449.10 o 229647 444.00/449.41 o 227843 444.00/449.48 o 225981 444.09/449.55 o 224119 444.19/449.62 o 222497 444.19/449.68 o 220771 444.39/449.89 o 218909 444.50/449.96 o 217105 444.60/450.03 o 215010 445.49/450.92 o 213206 445.79/451.29 o 211204 446.19/451.64 o 209109 446.59/452.02 o 207043 447.09/452.54 o 205026 447.59/453.02 o 202902 448.09/453.57 o 201098 448.48/453.95 o 199314 449.18/454.64 o 197510 449.78/455.26 o 195450 450.28/455.72 o 193419 450.58/456.09 o 191557 451.07/456.54 o 190031 451.47/456.93 o 188169 451.97/457.40 o 186359 452.67/458.17 o 184601 453.07/458.58 o 182913 453.47/458.97 o 180847 454.06/459.53 o 178749 454.57/460.07 o 176887 455.16/460.63 o 175115 455.66/461.18 o 173311 455.96/461.44 o 171251 456.26/461.73 o 169458 456.56/462.02 o 167732 457.06/462.53 o 166186 457.45/462.90 o 164408 457.96/463.47 o 162377 458.45/463.95 o 160755 458.75/464.23 o 159099 459.37/465.10 o 157285 459.97/465.61 o 155649 460.46/466.10 o 153839 461.06/466.74 o 151805 461.56/467.29 o 149995 462.16/467.81 o 148193 462.96/468.67 o 146467 463.36/469.01 o 144462 463.85/469.50 o 142588 465.15/470.87 o 140900 465.65/471.32 o 138805 465.84/471.57 o 136797 467.75/473.42 o 136453 469.84/475.56 o 135087 472.83/478.55 o 133053 475.23/480.93 o 131019 475.43/481.16 o 129525 477.02/482.70 o 129397 478.02/483.71 o 129040 479.12/484.88 o 128269 538.33/546.19 o 126807 538.43/546.21 o 125014 538.43/546.22 o 123700 538.43/546.24 o 121889 538.43/546.26 o 120363 538.43/546.27 o 118785 538.43/546.29 o 117213 538.53/546.34 o 115873 539.62/547.42 o 115863 539.93/547.70 o 114433 540.42/548.20 o 112815 541.22/549.05 o 111275 542.12/549.91 o 109449 542.82/550.68 o 109334 542.91/550.70 o 107546 543.12/550.92 o 105823 543.22/551.03 o 104100 543.32/551.13 o 102342 544.21/552.03 o 100549 544.81/552.66 o 98979 545.21/553.03 o 98803 545.61/553.44 o 98542 545.70/553.51 o 97272 546.21/554.00 o 95482 546.61/554.49 o 93796 547.10/554.98 o 92136 547.59/555.42 o 91884 547.59/555.44 o 90346 548.20/556.04 o 88588 550.06/558.29 o 86760 550.35/558.58 o 84778 554.05/562.27 o 82962 554.35/562.55 o 81210 556.85/565.03 o 79716 556.95/565.19 o 77906 560.23/568.45 o 77442 560.23/568.47 o 77256 560.23/568.49 o 77178 560.63/568.89 o 77159 561.03/569.28 o 76755 566.02/574.24 o 76160 566.12/574.31 o 76096 566.12/574.33 o 76030 567.32/575.59 o 74440 567.62/575.82 o 72798 575.70/583.94 o 71144 577.70/585.94 o 69328 577.80/586.04 o 67491 578.19/586.41 o 65849 578.19/586.47 o 64181 578.29/586.55 o 62423 578.39/586.66 o 60737 579.35/588.31 o 58787 579.75/588.72 o 57061 580.65/589.66 o 55271 581.34/590.36 o 53733 581.44/590.45 o 51923 583.15/592.11 o 50255 586.53/595.58 o 48444 587.82/596.82 o 47182 588.04/597.09 o 45449 590.03/599.03 o 45416 590.72/599.74 o 43670 596.40/605.47 o 43613 596.40/605.48 o 43535 596.70/605.75 o 43533 597.11/606.14 o 43419 597.11/606.15 o 43405 598.00/607.05 o 43247 600.59/609.67 o 42787 600.69/609.71 o 42572 600.69/609.71 o 42566 606.47/615.57 o 41026 609.33/619.29 o 39698 611.23/621.10 o 38488 616.71/626.62 o 38474 616.71/626.63 o 38352 616.81/626.78 o 38224 621.51/631.47 o 37340 628.28/638.25 o 36182 636.87/646.83 o 35050 643.22/653.98 o 33456 648.32/659.09 s OPTIMUM FOUND 648.32/659.09 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 x2206 x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 x2662 x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 x2908 x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 x4356 x4357 -x4358 x4359 -x4360
OK 33456
-- time out --
-- time out --
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (26907 MiB free)
memory of node 1: 64510 MiB (55118 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441208-1721803850/watcher-4441208-1721803850 -o /tmp/evaluation-result-4441208-1721803850/solver-4441208-1721803850 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721801549-173047 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441208-1721803850 --seed=1938885705 HOME/instance-4441208-1721803850.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=174668, runsolver pid=174665
Current StackSize limit: 8192 KiB
[startup+0.100526 s]*
/proc/loadavg: 4.44 4.27 4.05 5/262 174669
/proc/meminfo: memFree=83974444/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=43000 memory=22388 CPUtime=0.09 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 4853 0 0 0 9 0 0 0 20 0 1 0 16914234 44032000 5597 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 10750 5597 1059 1006 0 9511 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43000 KiB
Current children cumulated memory: 22388 KiB
[startup+0.205612 s]*
/proc/loadavg: 4.44 4.27 4.05 5/262 174669
/proc/meminfo: memFree=83971084/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=44544 memory=24176 CPUtime=0.2 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 5348 0 0 0 19 1 0 0 20 0 1 0 16914234 45613056 6044 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 11136 6044 1123 1006 0 9897 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44544 KiB
Current children cumulated memory: 24176 KiB
[startup+0.305398 s]*
/proc/loadavg: 4.44 4.27 4.05 5/262 174669
/proc/meminfo: memFree=83966380/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=46440 memory=25760 CPUtime=0.3 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 5774 0 0 0 29 1 0 0 20 0 1 0 16914234 47554560 6440 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 11610 6440 1123 1006 0 10371 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46440 KiB
Current children cumulated memory: 25760 KiB
[startup+0.700212 s]
/proc/loadavg: 4.44 4.27 4.05 5/262 174669
/proc/meminfo: memFree=83955364/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=53532 memory=36508 CPUtime=0.68 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 7418 0 0 0 66 2 0 0 20 0 1 0 16914234 54816768 9127 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 13383 9127 1139 1006 0 12144 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 53532 KiB
Current children cumulated memory: 36508 KiB
[startup+1.50021 s]
/proc/loadavg: 4.44 4.27 4.05 5/262 174669
/proc/meminfo: memFree=83935872/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=55452 memory=40460 CPUtime=1.48 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 7851 0 0 0 145 3 0 0 20 0 1 0 16914234 56782848 10115 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 13863 10115 1155 1006 0 12624 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 55452 KiB
Current children cumulated memory: 40460 KiB
[startup+3.10586 s]
/proc/loadavg: 4.40 4.26 4.05 5/262 174669
/proc/meminfo: memFree=83871208/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=63880 memory=53504 CPUtime=3.09 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 10074 0 0 0 303 6 0 0 20 0 1 0 16914234 65413120 13376 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 15970 13376 1155 1006 0 14731 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 63880 KiB
Current children cumulated memory: 53504 KiB
[startup+6.3002 s]
/proc/loadavg: 4.40 4.26 4.05 5/262 174669
/proc/meminfo: memFree=83784712/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=88728 memory=77804 CPUtime=6.27 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 13358 0 0 0 617 10 0 0 20 0 1 0 16914234 90857472 19451 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 22182 19451 1155 1006 0 20943 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 88728 KiB
Current children cumulated memory: 77804 KiB
[startup+12.7002 s]
/proc/loadavg: 4.34 4.26 4.05 5/262 174671
/proc/meminfo: memFree=83689580/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=94740 memory=87648 CPUtime=12.65 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 14819 0 0 0 1254 11 0 0 20 0 1 0 16914234 97013760 21912 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 23685 21912 1155 1006 0 22446 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 94740 KiB
Current children cumulated memory: 87648 KiB
[startup+25.5002 s]
/proc/loadavg: 4.29 4.25 4.05 5/262 174675
/proc/meminfo: memFree=83423828/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=188452 memory=143516 CPUtime=25.41 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 23024 0 0 0 2514 27 0 0 20 0 1 0 16914234 192974848 35879 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 47113 35879 1155 1006 0 45874 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 188452 KiB
Current children cumulated memory: 143516 KiB
[startup+51.1059 s]
/proc/loadavg: 4.25 4.24 4.05 5/260 174680
/proc/meminfo: memFree=82673568/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=206448 memory=193712 CPUtime=50.39 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 27973 0 0 0 4995 44 0 0 20 0 1 0 16914234 211402752 48428 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 56 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 51612 48428 1155 1006 0 50373 0
Current children cumulated CPU time: 50.39 s
Current children cumulated vsize: 206448 KiB
Current children cumulated memory: 193712 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.20 4.04 5/260 174689
/proc/meminfo: memFree=81866384/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=328048 memory=272988 CPUtime=100.52 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 40489 0 0 0 9982 70 0 0 20 0 1 0 16914234 335921152 68247 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 149 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 82012 68247 1155 1006 0 80773 0
Current children cumulated CPU time: 100.52 s
Current children cumulated vsize: 328048 KiB
Current children cumulated memory: 272988 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.19 4.05 5/260 174699
/proc/meminfo: memFree=80507424/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=342960 memory=322828 CPUtime=158.75 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 44578 0 0 0 15773 102 0 0 20 0 1 0 16914234 351191040 80707 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 313 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 85740 80707 1155 1006 0 84501 0
Current children cumulated CPU time: 158.75 s
Current children cumulated vsize: 342960 KiB
Current children cumulated memory: 322828 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.17 4.05 5/259 174711
/proc/meminfo: memFree=79284412/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=385400 memory=349472 CPUtime=218.57 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 51433 0 0 0 21734 123 0 0 20 0 1 0 16914234 394649600 87368 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 315 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 96350 87368 1155 1006 0 95111 0
Current children cumulated CPU time: 218.57 s
Current children cumulated vsize: 385400 KiB
Current children cumulated memory: 349472 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.15 4.05 5/261 175107
/proc/meminfo: memFree=77956416/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=540056 memory=399632 CPUtime=278.36 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 59090 0 0 0 27664 172 0 0 20 0 1 0 16914234 553017344 99908 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 321 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 135014 99908 1155 1006 0 133775 0
Current children cumulated CPU time: 278.36 s
Current children cumulated vsize: 540056 KiB
Current children cumulated memory: 399632 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 4.17 4.06 5/262 175119
/proc/meminfo: memFree=76484948/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=543808 memory=402368 CPUtime=337.65 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 59861 0 0 0 33541 224 0 0 20 0 1 0 16914234 556859392 100592 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 377 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 135952 100592 1155 1006 0 134713 0
Current children cumulated CPU time: 337.65 s
Current children cumulated vsize: 543808 KiB
Current children cumulated memory: 402368 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 4.18 4.07 5/262 175131
/proc/meminfo: memFree=75315076/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=543808 memory=402384 CPUtime=397.37 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 59989 0 0 0 39455 282 0 0 20 0 1 0 16914234 556859392 100596 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 391 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 135952 100596 1155 1006 0 134713 0
Current children cumulated CPU time: 397.37 s
Current children cumulated vsize: 543808 KiB
Current children cumulated memory: 402384 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.18 4.08 5/264 175312
/proc/meminfo: memFree=74075252/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=543808 memory=402392 CPUtime=456.86 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 60043 0 0 0 45345 341 0 0 20 0 1 0 16914234 556859392 100598 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 425 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 135952 100598 1155 1006 0 134713 0
Current children cumulated CPU time: 456.86 s
Current children cumulated vsize: 543808 KiB
Current children cumulated memory: 402392 KiB
[startup+522.3 s]
/proc/loadavg: 4.07 4.14 4.07 5/264 175324
/proc/meminfo: memFree=72210964/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=549808 memory=408480 CPUtime=515.08 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 61684 0 0 0 51112 396 0 0 20 0 1 0 16914234 563003392 102120 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 589 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 137452 102120 1155 1006 0 136213 0
Current children cumulated CPU time: 515.08 s
Current children cumulated vsize: 549808 KiB
Current children cumulated memory: 408480 KiB
[startup+582.3 s]
/proc/loadavg: 4.22 4.17 4.09 5/263 175338
/proc/meminfo: memFree=70872840/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=551856 memory=411060 CPUtime=574.11 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 62424 0 0 0 56952 459 0 0 20 0 1 0 16914234 565100544 102765 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 672 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 137964 102765 1155 1006 0 136725 0
Current children cumulated CPU time: 574.11 s
Current children cumulated vsize: 551856 KiB
Current children cumulated memory: 411060 KiB
[startup+642.3 s]
/proc/loadavg: 4.18 4.17 4.09 5/263 175361
/proc/meminfo: memFree=68736244/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=567088 memory=426228 CPUtime=632.38 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 64241 0 0 0 62707 531 0 0 20 0 1 0 16914234 580698112 106557 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 829 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 141772 106557 1155 1006 0 140533 0
Current children cumulated CPU time: 632.38 s
Current children cumulated vsize: 567088 KiB
Current children cumulated memory: 426228 KiB
[startup+659.323 s]
# the end of solver process 174668 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=642.927 s, system=5.53087 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+652.8 s]
/proc/loadavg: 4.15 4.17 4.09 5/263 175362
/proc/meminfo: memFree=68143640/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=567088 memory=426228 CPUtime=642.13 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 64244 0 0 0 63670 543 0 0 20 0 1 0 16914234 580698112 106557 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 902 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 141772 106557 1155 1006 0 140533 0
Current children cumulated CPU time: 642.13 s
Current children cumulated vsize: 567088 KiB
Current children cumulated memory: 426228 KiB
[startup+656 s]*
/proc/loadavg: 4.15 4.17 4.09 5/263 175362
/proc/meminfo: memFree=68086648/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=567088 memory=426228 CPUtime=645.32 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 64244 0 0 0 63986 546 0 0 20 0 1 0 16914234 580698112 106557 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 902 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 141772 106557 1155 1006 0 140533 0
Current children cumulated CPU time: 645.32 s
Current children cumulated vsize: 567088 KiB
Current children cumulated memory: 426228 KiB
[startup+657.6 s]
/proc/loadavg: 4.14 4.16 4.09 5/263 175362
/proc/meminfo: memFree=68061372/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=567088 memory=426228 CPUtime=646.91 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 64244 0 0 0 64144 547 0 0 20 0 1 0 16914234 580698112 106557 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 902 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 141772 106557 1155 1006 0 140533 0
Current children cumulated CPU time: 646.91 s
Current children cumulated vsize: 567088 KiB
Current children cumulated memory: 426228 KiB
[startup+658.4 s]
/proc/loadavg: 4.14 4.16 4.09 5/263 175364
/proc/meminfo: memFree=68032468/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=567088 memory=426228 CPUtime=647.71 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 64244 0 0 0 64223 548 0 0 20 0 1 0 16914234 580698112 106557 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 902 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 141772 106557 1155 1006 0 140533 0
Current children cumulated CPU time: 647.71 s
Current children cumulated vsize: 567088 KiB
Current children cumulated memory: 426228 KiB
[startup+658.8 s]
/proc/loadavg: 4.14 4.16 4.09 5/263 175364
/proc/meminfo: memFree=68032468/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=567088 memory=426228 CPUtime=648.11 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) R 174665 174668 173035 0 -1 4194304 64244 0 0 0 64263 548 0 0 20 0 1 0 16914234 580698112 106557 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 902 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 141772 106557 1155 1006 0 140533 0
Current children cumulated CPU time: 648.11 s
Current children cumulated vsize: 567088 KiB
Current children cumulated memory: 426228 KiB
[startup+659.2 s]
/proc/loadavg: 4.14 4.16 4.09 5/263 175364
/proc/meminfo: memFree=67991800/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=279236 memory=252116 CPUtime=648.44 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) D 174665 174668 173035 0 -1 4194304 64244 0 0 0 64292 552 0 0 20 0 1 0 16914234 285937664 63029 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 916 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 69809 63029 1155 1006 0 68570 0
Current children cumulated CPU time: 648.44 s
Current children cumulated vsize: 279236 KiB
Current children cumulated memory: 252116 KiB
[startup+659.3 s]
/proc/loadavg: 4.14 4.16 4.09 5/263 175364
/proc/meminfo: memFree=67991800/131524600 swapFree=131065036/131071996
[pid=174668] ppid=174665 vsize=279236 memory=252116 CPUtime=648.44 cores=1,3
/proc/174668/stat : 174668 (Exact_veripb2) D 174665 174668 173035 0 -1 4194304 64244 0 0 0 64292 552 0 0 20 0 1 0 16914234 285937664 63029 134679101440 4194304 8311665 140723310641104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 933 0 0 9173656 9252184 34369536 140723310646088 140723310646368 140723310646368 140723310653383 0
/proc/174668/statm: 69809 63029 1155 1006 0 68570 0
Current children cumulated CPU time: 648.44 s
Current children cumulated vsize: 279236 KiB
Current children cumulated memory: 252116 KiB
Child status: 30
Real time (s): 659.323
CPU time (s): 648.458
CPU user time (s): 642.927
CPU system time (s): 5.53087
CPU usage (%): 98.3521
Max. virtual memory (cumulated for all children) (KiB): 701884
Max. memory (cumulated for all children) (KiB): 518200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 642.927
system time used= 5.53087
maximum resident set size= 555064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64245
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11814336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3878
involuntary context switches= 838
# summary of solver processes directly reported to runsolver:
# pid: 174668
# total CPU time (s): 648.458
# total CPU user time (s): 642.927
# total CPU system time (s): 5.53087
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.1703 second user time and 3.24844 second system time
The end
Begin job on nodeC023 at 2024-07-24 08:50:50 IDJOB=4441208 IDBENCH=148147 IDSOLVER=3081 FILE ID=nodeC023/4441208-1721803850 RUNJOBID= nodeC023-1721801549-173047 SLURM_JOB_ID= 7770692 Free space on /tmp= 890052 MiB SOLVER NAME= Exact_veripb2 2024-07-05 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir06_trarea_ac.opb COMMAND LINE= HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441208-1721803850/watcher-4441208-1721803850 -o /tmp/evaluation-result-4441208-1721803850/solver-4441208-1721803850 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721801549-173047 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441208-1721803850 --seed=1938885705 HOME/instance-4441208-1721803850.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 80638e9ab302f8cbcb0fef344ba23b43 RANDOM SEED=1938885705 nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3675.871 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3660.861 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.098 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3660.462 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3675.892 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3685.680 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.948 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3674.881 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 83994124 kB MemAvailable: 127992912 kB Buffers: 236120 kB Cached: 44491640 kB SwapCached: 1032 kB Active: 2450900 kB Inactive: 44260200 kB Active(anon): 1648 kB Inactive(anon): 2035504 kB Active(file): 2449252 kB Inactive(file): 42224696 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131065036 kB Dirty: 102120 kB Writeback: 4 kB AnonPages: 1982128 kB Mapped: 120492 kB Shmem: 53748 kB KReclaimable: 328972 kB Slab: 456444 kB SReclaimable: 328972 kB SUnreclaim: 127472 kB KernelStack: 4244 kB PageTables: 12952 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2752556 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21536 kB HardwareCorrupted: 0 kB AnonHugePages: 1781760 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 398036 kB DirectMap2M: 57047040 kB DirectMap1G: 78643200 kB Free space on /tmp at the end= 890044 MiB End job on nodeC023 at 2024-07-24 09:01:49