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