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