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