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