Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 30 | 1800.01 | 1800.77 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_014_area_delay.opb |
MD5SUM | 525408a019e1cf8f47f95fb4bdf20c0f |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 30 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 30 |
Optimality of the best value was proved | NO |
Number of variables | 5256 |
Total number of constraints | 15614 |
Number of constraints which are clauses | 15614 |
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 | 63 |
Number of terms in the objective function | 2531 |
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 | 2531 |
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 | 2531 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/372820-1177138348/instance-372820-1177138348.opb 0.00/0.00 c File size is 462714 bytes. 0.00/0.08 c Highest Coefficient sum: 2531 0.00/0.08 c Parsing was ok!! 0.00/0.08 c Total parsing time: 0.084 s 0.00/0.09 c Var: 5256 Constr: 15614 15614/0/0 Lit: 38247 Watch. Lit: 31006 0.00/0.09 c Obj. Vars: 2531 (48.1545 % of total variables) 0.19/0.20 c Pre-processing Time: 0.204 s 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 0 4802 13650 34006 2 27300 4549 0 0 0.20 0.19/0.20 c Switching off LPR mode. 0.19/0.21 o 31 0.212 896.06/896.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 896.06/896.53 c 8 4802 13659 36478 2 29596 5549 9 37 0.21 896.06/896.53 c 108 4802 13759 41229 2 29796 6104 109 426 0.25 896.06/896.53 c 359 4802 14010 50520 3 30298 6715 360 957 0.38 896.06/896.53 c 835 4802 14486 77537 5 31250 7387 836 1227 0.68 896.06/896.53 c 1648 4802 15299 127367 8 32876 8126 1649 1446 1.14 896.06/896.53 c 2968 4802 16619 215672 12 35516 8939 2969 1695 1.75 896.06/896.53 c 5050 4802 18701 319651 17 39680 9833 5051 1113 4.53 896.06/896.53 c 8273 4802 21924 553073 25 46126 10817 8274 1345 6.15 896.06/896.53 c 13209 4802 19247 387593 20 40772 11899 5597 1360 9.71 896.06/896.53 c 20716 4802 19601 400588 20 41480 13089 5951 1054 19.64 896.06/896.53 c 32077 4802 22327 579098 25 46932 14398 8677 1138 28.17 896.06/896.53 c 49221 4802 20850 671638 32 43978 15838 7200 992 49.58 896.06/896.53 c 75042 4802 26438 956120 36 55154 17422 12788 952 78.80 896.06/896.53 c 113874 4802 22362 961218 42 47002 19165 8712 993 114.63 896.06/896.53 c 172226 4802 23234 718940 30 48746 21082 9584 914 188.28 896.06/896.53 c 259861 4802 34662 1971668 56 71602 23191 21012 832 312.08 896.06/896.53 c 391413 4802 24689 858522 34 51656 25511 11039 775 504.99 896.06/896.53 c 588845 4802 28124 1180876 41 58526 28063 14474 762 772.06 896.06/896.53 o 30 896.11 1799.94/1800.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.94/1800.75 c 678176 4802 41545 2699775 64 87647 5549 27895 756 896.11 1799.94/1800.75 c 678276 4802 16526 295561 17 35331 6104 2876 754 898.83 1799.94/1800.75 c 678526 4802 16776 312009 18 35831 6715 3126 754 898.98 1799.94/1800.75 c 679002 4802 17252 331686 19 36783 7387 3602 755 899.25 1799.94/1800.75 c 679815 4802 18065 371793 20 38409 8126 4415 755 899.84 1799.94/1800.75 c 681135 4802 19385 459223 23 41049 8939 5735 756 900.36 1799.94/1800.75 c 683217 4802 21467 616881 28 45213 9833 7817 758 901.26 1799.94/1800.75 c 686440 4802 18568 408702 22 39415 10817 4918 760 902.88 1799.94/1800.75 c 691376 4802 23504 753232 32 49287 11899 9854 763 905.40 1799.94/1800.75 c 698882 4802 22772 738501 32 47823 13089 9122 767 910.43 1799.94/1800.75 c 710243 4802 25598 1056802 41 53475 14398 11948 767 925.84 1799.94/1800.75 c 727387 4802 25214 1044269 41 52707 15838 11564 775 938.38 1799.94/1800.75 c 753206 4802 21570 619281 28 45419 17422 7920 779 966.44 1799.94/1800.75 c 792038 4802 29017 1315037 45 60313 19165 15367 788 1004.59 1799.94/1800.75 c 850392 4802 29458 1319254 44 61195 21082 15808 801 1060.48 1799.94/1800.75 c 938025 4802 29386 1295707 44 61051 23191 15736 804 1165.58 1799.94/1800.75 c 1069577 4802 35526 2130059 59 73331 25511 21876 757 1412.31 1799.94/1800.75 c 1267010 4802 24974 850063 34 52227 28063 11324 743 1704.01 1799.94/1800.75 c Resources Exceeded 1799.94/1800.75 v -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 x236 1799.94/1800.75 v -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 1799.94/1800.75 v -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 1799.94/1800.75 v -x322 -x324 -x326 -x328 -x330 -x332 x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 1799.94/1800.75 v -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 1799.94/1800.75 v -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 1799.94/1800.75 v -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 1799.94/1800.75 v -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 1799.94/1800.75 v -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 1799.94/1800.75 v -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 1799.94/1800.75 v -x616 x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 1799.94/1800.75 v -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 1799.94/1800.75 v -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 1799.94/1800.75 v -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 1799.94/1800.75 v -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 1799.94/1800.75 v -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 1799.94/1800.75 v -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 1799.94/1800.75 v -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 1799.94/1800.75 v -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 1799.94/1800.75 v -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 1799.94/1800.75 v -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 1799.94/1800.75 v -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 1799.94/1800.75 v -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 1799.94/1800.75 v -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 1799.94/1800.75 v -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 1799.94/1800.75 v -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 1799.94/1800.75 v -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 1799.94/1800.75 v -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 1799.94/1800.75 v -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 1799.94/1800.75 v -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 1799.94/1800.75 v -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 1799.94/1800.75 v -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 1799.94/1800.75 v -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 1799.94/1800.75 v -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 1799.94/1800.75 v -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 1799.94/1800.75 v -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 1799.94/1800.75 v -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 1799.94/1800.75 v -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 1799.94/1800.75 v -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 1799.94/1800.75 v -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 1799.94/1800.75 v -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 1799.94/1800.75 v -x1744 -x1746 x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 x1764 -x1766 -x1768 -x1770 -x1772 -x1774 x1776 -x1778 1799.94/1800.75 v -x1780 -x1782 -x1784 -x1786 -x1788 x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 1799.94/1800.75 v -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 1799.94/1800.75 v -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 1799.94/1800.75 v -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 1799.94/1800.75 v -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 x1948 1799.94/1800.75 v -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 1799.94/1800.75 v -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 1799.94/1800.75 v -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 1799.94/1800.75 v -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 1799.94/1800.75 v -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 1799.94/1800.75 v -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 1799.94/1800.75 v -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 1799.94/1800.75 v -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 1799.94/1800.75 v -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 1799.94/1800.75 v -x2256 -x2258 -x2260 -x2262 -x2264 x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 1799.94/1800.75 v -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 1799.94/1800.75 v -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 1799.94/1800.75 v -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 1799.94/1800.75 v -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 1799.94/1800.75 v -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 1799.94/1800.75 v -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 1799.94/1800.75 v -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 1799.94/1800.75 v -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 1799.94/1800.75 v -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 1799.94/1800.75 v -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 1799.94/1800.75 v -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 1799.94/1800.75 v -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 1799.94/1800.75 v -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 1799.94/1800.75 v -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 1799.94/1800.75 v -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 1799.94/1800.75 v -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 1799.94/1800.75 v -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 1799.94/1800.75 v -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 1799.94/1800.75 v -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 1799.94/1800.75 v -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 1799.94/1800.75 v -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 1799.94/1800.75 v -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 1799.94/1800.75 v -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 1799.94/1800.75 v -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 1799.94/1800.75 v -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 1799.94/1800.75 v -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 x3168 -x3170 -x3172 1799.94/1800.75 v -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 1799.94/1800.75 v -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 1799.94/1800.75 v -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 1799.94/1800.75 v -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 1799.94/1800.75 v -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 1799.94/1800.75 v -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 1799.94/1800.75 v -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 1799.94/1800.75 v -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 1799.94/1800.75 v -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 1799.94/1800.75 v -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 1799.94/1800.75 v -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 1799.94/1800.75 v -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 1799.94/1800.75 v -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 1799.94/1800.75 v -x3616 -x3618 -x3620 -x3622 -x3624 x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 1799.94/1800.75 v -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 1799.94/1800.75 v -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 1799.94/1800.75 v -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 1799.94/1800.75 v -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 1799.94/1800.75 v -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 1799.94/1800.75 v -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 1799.94/1800.75 v -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 1799.94/1800.75 v -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 1799.94/1800.75 v -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 1799.94/1800.75 v -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 1799.94/1800.75 v -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4022 1799.94/1800.75 v -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 1799.94/1800.75 v -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4086 -x4088 -x4090 1799.94/1800.75 v -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 1799.94/1800.75 v -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 1799.94/1800.75 v -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 x4190 -x4192 1799.94/1800.75 v -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 1799.94/1800.75 v -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 1799.94/1800.75 v -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 1799.94/1800.75 v -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 1799.94/1800.75 v -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 x4360 -x4362 -x4364 1799.94/1800.75 v -x4366 -x4368 -x4370 -x4372 -x4374 -x4376 -x4378 x4380 -x4382 -x4384 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 1799.94/1800.75 v -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 1799.94/1800.75 v -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 x4464 -x4466 1799.94/1800.75 v -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x4494 x4496 -x4498 -x4500 1799.94/1800.75 v -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 x4526 -x4528 -x4530 -x4532 -x4534 1799.94/1800.75 v -x4536 -x4538 -x4540 -x4542 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 1799.94/1800.75 v -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 1799.94/1800.75 v -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 1799.94/1800.75 v -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 1799.94/1800.75 v -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 1799.94/1800.75 v -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 1799.94/1800.75 v -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 1799.94/1800.75 v -x4774 -x4776 -x4778 -x4780 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 1799.94/1800.75 v -x4808 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 1799.94/1800.75 v -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 1799.94/1800.75 v -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x4898 -x4900 -x4902 -x4904 -x4906 -x4908 1799.94/1800.75 v -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x4940 -x4942 1799.94/1800.75 v -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4976 1799.94/1800.75 v -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 x4994 -x4996 -x4998 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 1799.94/1800.75 v -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 1799.94/1800.75 v -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 -x5068 x5070 -x5072 -x5074 -x5076 -x5078 1799.94/1800.75 v -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108 -x5110 -x5112 1799.94/1800.75 v -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 1799.94/1800.75 v -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 x5176 -x5178 -x5180 1799.94/1800.75 v -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 -x5202 -x5204 -x5206 -x5208 -x5210 -x5212 -x5214 1799.94/1800.75 v -x5216 -x5218 -x5220 x5222 -x5224 -x5226 -x5228 -x5230 -x5232 -x5234 x5236 -x5238 -x5240 -x5242 -x5244 -x5246 x5248 -x5250 1799.94/1800.75 v -x5252 -x5254 -x5256 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 1799.94/1800.75 v -x229 -x231 -x233 x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x1 -x259 -x261 -x263 -x265 -x267 1799.94/1800.75 v -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 1799.94/1800.75 v -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x2 1799.94/1800.75 v -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x3 -x381 -x383 -x385 -x387 -x389 1799.94/1800.75 v -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x4 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 1799.94/1800.75 v -x431 -x433 -x435 -x437 -x439 -x5 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x6 -x455 -x457 -x459 -x461 -x463 -x465 -x467 1799.94/1800.75 v -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x7 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 1799.94/1800.75 v -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 1799.94/1800.75 v -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 1799.94/1800.75 v -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 x617 -x619 -x621 -x623 -x8 -x625 -x627 -x629 -x631 1799.94/1800.75 v -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 1799.94/1800.75 v -x675 -x677 -x679 -x681 -x683 -x685 -x9 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 1799.94/1800.75 v -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x10 -x749 -x751 -x753 1799.94/1800.75 v -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x11 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 1799.94/1800.75 v -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 1799.94/1800.75 v -x837 -x839 -x12 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x13 -x871 -x873 1799.94/1800.75 v -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x14 -x901 -x903 -x905 -x907 -x909 -x911 -x913 1799.94/1800.75 v -x15 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 1799.94/1800.75 v -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x16 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 1799.94/1800.75 v -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 1799.94/1800.75 v -x1031 -x1033 -x1035 -x17 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x18 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 1799.94/1800.75 v -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x19 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x20 1799.94/1800.75 v -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x21 -x1109 -x1111 -x1113 -x22 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 1799.94/1800.75 v -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x23 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 1799.94/1800.75 v -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 1799.94/1800.75 v -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 x1217 -x1219 -x24 -x1221 -x1223 -x1225 -x1227 1799.94/1800.75 v -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x25 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 1799.94/1800.75 v -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x26 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 1799.94/1800.75 v -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x27 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x28 -x1325 -x1327 1799.94/1800.75 v -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x29 -x1355 -x1357 -x1359 -x1361 1799.94/1800.75 v -x1363 -x1365 -x1367 -x30 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x31 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 1799.94/1800.75 v -x1395 -x32 -x1397 -x1399 -x1401 -x33 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x34 -x1417 -x1419 -x1421 -x35 -x1423 1799.94/1800.75 v -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x36 -x1453 -x1455 -x1457 1799.94/1800.75 v -x1459 -x1461 -x1463 -x1465 -x37 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 1799.94/1800.75 v -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 1799.94/1800.75 v -x1527 -x38 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x39 1799.94/1800.75 v -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x40 -x1589 -x1591 1799.94/1800.75 v -x1593 -x1595 -x1597 -x1599 -x1601 -x41 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 1799.94/1800.75 v -x1627 -x1629 -x1631 -x42 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x43 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 1799.94/1800.75 v -x1659 -x44 -x1661 -x1663 -x1665 -x45 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x46 -x1681 -x1683 -x1685 -x47 -x1687 1799.94/1800.75 v -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x48 -x1717 -x1719 -x1721 1799.94/1800.75 v -x1723 -x1725 -x1727 -x1729 -x49 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 x50 -x1745 x1747 -x1749 -x51 -x1751 -x1753 1799.94/1800.75 v -x1755 -x1757 -x1759 -x1761 x1763 -x1765 -x1767 -x1769 -x52 -x1771 -x1773 x1775 x53 -x1777 -x1779 -x1781 -x1783 -x1785 1799.94/1800.75 v -x1787 x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x54 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 1799.94/1800.75 v -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x55 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 1799.94/1800.75 v -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 1799.94/1800.75 v -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 1799.94/1800.75 v -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 x1947 -x1949 -x1951 -x1953 -x1955 1799.94/1800.75 v -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x56 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 1799.94/1800.75 v -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 1799.94/1800.75 v -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x57 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 1799.94/1800.75 v -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 1799.94/1800.75 v -x2093 -x2095 -x2097 -x2099 -x2101 -x58 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 1799.94/1800.75 v -x2127 -x2129 -x2131 -x59 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 1799.94/1800.75 v -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 1799.94/1800.75 v -x60 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x61 -x2225 1799.94/1800.75 v -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 x62 -x2255 -x2257 -x2259 1799.94/1800.75 v -x2261 -x2263 x2265 -x2267 -x63 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 1799.94/1800.75 v -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 1799.94/1800.75 v -x2329 -x64 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x65 1799.94/1800.75 v -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x66 -x2391 -x2393 1799.94/1800.75 v -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x67 -x2419 -x2421 -x2423 -x2425 -x2427 1799.94/1800.75 v -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x68 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 1799.94/1800.75 v -x69 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x70 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 1799.94/1800.75 v -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 1799.94/1800.75 v -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 1799.94/1800.75 v -x2563 -x2565 -x2567 -x2569 -x2571 x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 1799.94/1800.75 v -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x71 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 1799.94/1800.75 v -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 1799.94/1800.75 v -x2665 -x2667 -x2669 -x72 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 1799.94/1800.75 v -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 1799.94/1800.75 v -x73 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x74 -x2763 1799.94/1800.75 v -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 1799.94/1800.75 v -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x75 -x2825 -x2827 -x2829 -x2831 1799.94/1800.75 v -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x76 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 1799.94/1800.75 v -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x77 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 1799.94/1800.75 v -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 1799.94/1800.75 v -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 x2953 -x2955 -x2957 -x2959 -x78 -x2961 -x2963 -x2965 -x2967 1799.94/1800.75 v -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 1799.94/1800.75 v -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 1799.94/1800.75 v -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x79 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 1799.94/1800.75 v -x3071 -x3073 -x3075 -x3077 -x80 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 1799.94/1800.75 v -x3105 -x3107 -x81 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x82 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 1799.94/1800.75 v -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 x3167 -x3169 1799.94/1800.75 v -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x83 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x84 -x3197 -x3199 -x3201 1799.94/1800.75 v -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x85 -x3227 -x3229 -x3231 -x3233 -x3235 1799.94/1800.75 v -x3237 -x3239 -x86 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x87 -x3255 -x3257 -x3259 -x88 -x3261 -x3263 -x3265 1799.94/1800.75 v -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 1799.94/1800.75 v -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x89 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 1799.94/1800.75 v -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x90 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 1799.94/1800.75 v -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x91 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x92 -x3397 -x3399 1799.94/1800.75 v -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 1799.94/1800.75 v -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x93 -x3459 -x3461 -x3463 -x3465 -x3467 1799.94/1800.75 v -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x94 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 1799.94/1800.75 v -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x95 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x96 -x3533 1799.94/1800.75 v -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x97 -x3563 -x3565 -x3567 1799.94/1800.75 v -x3569 -x3571 -x3573 -x3575 -x98 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x99 -x3591 -x3593 -x3595 -x100 -x3597 1799.94/1800.75 v -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 x3625 x101 -x3627 -x3629 -x3631 1799.94/1800.75 v -x3633 -x3635 -x3637 -x3639 -x102 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 1799.94/1800.75 v -x3665 -x3667 -x3669 -x103 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x104 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 1799.94/1800.75 v -x3697 -x105 -x3699 -x3701 -x106 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 1799.94/1800.75 v -x3729 -x3731 -x107 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x108 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 1799.94/1800.75 v -x109 -x3761 -x3763 -x3765 -x110 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x111 -x3781 -x3783 -x3785 -x112 -x3787 1799.94/1800.75 v -x3789 -x3791 -x113 -x3793 -x114 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 1799.94/1800.75 v -x3821 -x3823 -x115 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x116 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 1799.94/1800.75 v -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 1799.94/1800.75 v -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x117 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 1799.94/1800.75 v -x3919 -x3921 -x3923 -x3925 -x3927 -x118 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 1799.94/1800.75 v -x3951 -x3953 -x3955 -x3957 -x119 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x120 -x3973 -x3975 -x3977 -x3979 -x3981 1799.94/1800.75 v -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x121 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 1799.94/1800.75 v -x4015 -x122 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x123 -x4031 -x4033 -x4035 -x124 -x4037 -x4039 -x4041 -x4043 1799.94/1800.75 v -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 1799.94/1800.75 v -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x125 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 1799.94/1800.75 v -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x126 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 1799.94/1800.75 v -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 1799.94/1800.75 v -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 1799.94/1800.75 v -x4211 -x4213 -x4215 -x4217 -x4219 -x127 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 1799.94/1800.75 v -x4243 -x4245 -x4247 -x4249 -x128 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x129 -x4265 -x4267 -x4269 -x4271 -x4273 1799.94/1800.75 v -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x130 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 1799.94/1800.75 v -x4307 -x131 -x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 1799.94/1800.75 v -x4339 -x4341 x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 x4359 -x4361 -x4363 -x4365 -x132 -x4367 -x4369 -x4371 1799.94/1800.75 v -x4373 -x4375 -x4377 x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x133 -x4403 -x4405 1799.94/1800.75 v -x4407 -x4409 -x4411 -x4413 -x4415 -x134 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 1799.94/1800.75 v -x4439 -x4441 -x4443 -x4445 -x135 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 x136 -x4461 x4463 -x4465 -x4467 -x4469 1799.94/1800.75 v -x4471 -x4473 -x137 -x4475 -x4477 -x4479 -x138 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 x139 x4495 -x4497 -x4499 1799.94/1800.75 v -x140 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 -x141 -x4515 -x4517 -x4519 -x142 -x4521 -x4523 x4525 x143 -x4527 1799.94/1800.75 v -x144 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 1799.94/1800.75 v -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x145 -x4589 -x4591 1799.94/1800.75 v -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x146 -x4619 -x4621 -x4623 1799.94/1800.75 v -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x147 -x4649 -x4651 -x4653 -x4655 1799.94/1800.75 v -x4657 -x4659 -x4661 -x148 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 1799.94/1800.75 v -x4689 -x4691 -x149 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x150 -x4707 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 1799.94/1800.75 v -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x151 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x152 -x4751 1799.94/1800.75 v -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x153 -x4765 -x4767 -x4769 -x154 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 1799.94/1800.75 v -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x155 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 1799.94/1800.75 v -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x156 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x157 -x4843 -x4845 -x4847 1799.94/1800.75 v -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871 -x158 -x4873 -x4875 -x4877 -x4879 1799.94/1800.75 v -x4881 -x4883 -x159 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 -x160 -x4899 -x4901 -x4903 -x161 -x4905 -x4907 -x4909 1799.94/1800.75 v -x4911 -x4913 -x4915 -x4917 -x162 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x163 -x4933 -x4935 -x164 -x4937 -x4939 1799.94/1800.75 v -x4941 -x4943 -x4945 -x4947 -x4949 -x165 -x4951 -x4953 -x4955 -x166 -x4957 -x4959 -x4961 -x167 -x4963 -x168 -x4965 -x4967 1799.94/1800.75 v -x4969 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 x4993 -x4995 -x4997 -x4999 -x5001 1799.94/1800.75 v -x5003 -x5005 -x5007 -x169 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 1799.94/1800.75 v -x5035 -x5037 -x170 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x171 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 1799.94/1800.75 v x172 -x5067 x5069 -x5071 -x173 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095 -x5097 1799.94/1800.75 v -x5099 -x5101 -x174 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x175 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 1799.94/1800.75 v -x176 -x5131 -x5133 -x5135 -x177 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x178 -x5151 -x5153 -x5155 -x179 -x5157 1799.94/1800.75 v -x5159 -x5161 -x180 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 x5175 -x5177 -x181 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 1799.94/1800.75 v -x5191 -x182 -x5193 -x5195 -x5197 -x183 -x5199 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x184 -x5213 -x5215 -x185 -x5217 1799.94/1800.75 v -x5219 x5221 x186 -x5223 -x187 -x5225 -x5227 -x5229 -x5231 -x5233 x5235 x188 -x5237 -x5239 -x5241 -x189 -x5243 -x5245 x5247 1799.94/1800.75 v x190 -x5249 -x191 -x5251 -x5253 -x192 -x5255 -x193 x194 1799.94/1800.75 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.94/1800.75 c 36 1330939 747710 4323942 32892 1721002 19242 739 1800.00 1799.94/1800.75 c Objective: 30 1799.94/1800.75 s SATISFIABLE 1799.94/1800.75 c Total time: 1800 s
OK 30
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node33/watcher-372820-1177138348 -o ROOT/results/node33/solver-372820-1177138348 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372820-1177138348/instance-372820-1177138348.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.10 1.06 1.00 3/77 18393 /proc/meminfo: memFree=1701696/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=12188 CPUtime=0 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 161750292 12480512 336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 3047 337 281 324 0 2003 0 [startup+0.00701995 s] /proc/loadavg: 1.10 1.06 1.00 3/77 18393 /proc/meminfo: memFree=1701696/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=12324 CPUtime=0 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 392 0 0 0 0 0 0 0 18 0 1 0 161750292 12619776 360 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134538841 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 3081 360 284 324 0 2037 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12324 [startup+0.101039 s] /proc/loadavg: 1.10 1.06 1.00 3/77 18393 /proc/meminfo: memFree=1701696/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=7016 CPUtime=0.09 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 1269 0 0 0 9 0 0 0 18 0 1 0 161750292 7184384 1124 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 1754 1124 305 324 0 823 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7016 [startup+0.30108 s] /proc/loadavg: 1.10 1.06 1.00 3/77 18393 /proc/meminfo: memFree=1701696/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=7304 CPUtime=0.29 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 1386 0 0 0 27 2 0 0 19 0 1 0 161750292 7479296 1198 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 1826 1198 313 324 0 895 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7304 [startup+0.701163 s] /proc/loadavg: 1.10 1.06 1.00 3/77 18393 /proc/meminfo: memFree=1701696/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=7564 CPUtime=0.68 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 1457 0 0 0 66 2 0 0 22 0 1 0 161750292 7745536 1269 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 1891 1269 313 324 0 960 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 7564 [startup+1.50133 s] /proc/loadavg: 1.10 1.06 1.00 2/78 18394 /proc/meminfo: memFree=1697336/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=9108 CPUtime=1.49 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 1836 0 0 0 146 3 0 0 25 0 1 0 161750292 9326592 1648 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 2277 1648 313 324 0 1346 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9108 [startup+3.10165 s] /proc/loadavg: 1.09 1.06 1.00 2/78 18394 /proc/meminfo: memFree=1695544/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=10144 CPUtime=3.09 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 2094 0 0 0 305 4 0 0 25 0 1 0 161750292 10387456 1906 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134552276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 2536 1906 313 324 0 1605 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10144 [startup+6.30131 s] /proc/loadavg: 1.09 1.06 1.00 2/78 18394 /proc/meminfo: memFree=1692608/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=14612 CPUtime=6.29 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 3208 0 0 0 622 7 0 0 25 0 1 0 161750292 14962688 3020 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 3653 3020 313 324 0 2722 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14612 [startup+12.7016 s] /proc/loadavg: 1.08 1.06 1.00 2/78 18394 /proc/meminfo: memFree=1686080/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=18968 CPUtime=12.69 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 4311 0 0 0 1259 10 0 0 25 0 1 0 161750292 19423232 4123 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11379152 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 4742 4123 313 324 0 3811 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18968 [startup+25.5012 s] /proc/loadavg: 1.07 1.06 1.00 2/78 18394 /proc/meminfo: memFree=1685760/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=19612 CPUtime=25.48 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 4472 0 0 0 2533 15 0 0 25 0 1 0 161750292 20082688 4284 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 4903 4284 313 324 0 3972 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19612 [startup+51.1015 s] /proc/loadavg: 1.04 1.05 1.00 2/78 18394 /proc/meminfo: memFree=1678016/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=27060 CPUtime=51.07 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 6323 0 0 0 5083 24 0 0 25 0 1 0 161750292 27709440 6135 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 6765 6135 313 324 0 5834 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 27060 [startup+102.306 s] /proc/loadavg: 1.02 1.04 1.00 2/78 18394 /proc/meminfo: memFree=1670272/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=34964 CPUtime=102.25 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 8287 0 0 0 10187 38 0 0 25 0 1 0 161750292 35803136 8099 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 8741 8099 313 324 0 7810 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 34964 [startup+162.301 s] /proc/loadavg: 1.00 1.03 1.00 2/78 18394 /proc/meminfo: memFree=1669888/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=35160 CPUtime=162.23 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 8358 0 0 0 16171 52 0 0 25 0 1 0 161750292 36003840 8170 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 8790 8170 313 324 0 7859 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 35160 [startup+222.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 18394 /proc/meminfo: memFree=1669888/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=35164 CPUtime=222.21 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 8360 0 0 0 22153 68 0 0 25 0 1 0 161750292 36007936 8172 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11378558 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 8791 8172 313 324 0 7860 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 35164 [startup+282.302 s] /proc/loadavg: 1.00 1.02 1.00 3/78 18394 /proc/meminfo: memFree=1665280/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=39708 CPUtime=282.19 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 9501 0 0 0 28141 78 0 0 25 0 1 0 161750292 40660992 9313 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 9927 9313 313 324 0 8996 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 39708 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 18394 /proc/meminfo: memFree=1665280/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=39744 CPUtime=342.16 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 9504 0 0 0 34126 90 0 0 25 0 1 0 161750292 40697856 9316 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 9936 9316 313 324 0 9005 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 39744 [startup+402.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 18394 /proc/meminfo: memFree=1665280/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=39736 CPUtime=402.15 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 9504 0 0 0 40110 105 0 0 25 0 1 0 161750292 40689664 9316 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 9934 9316 313 324 0 9003 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 39736 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18394 /proc/meminfo: memFree=1660544/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=44688 CPUtime=462.13 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 10720 0 0 0 46097 116 0 0 25 0 1 0 161750292 45760512 10532 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 11172 10532 313 324 0 10241 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 44688 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/84 18466 /proc/meminfo: memFree=1657032/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=46700 CPUtime=522.07 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 11243 0 0 0 52077 130 0 0 25 0 1 0 161750292 47820800 11055 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 11675 11055 313 324 0 10744 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 46700 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18592 /proc/meminfo: memFree=1657984/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=46684 CPUtime=581.97 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 11243 0 0 0 58053 144 0 0 25 0 1 0 161750292 47804416 11055 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 11671 11055 313 324 0 10740 0 Current children cumulated CPU time (s) 581.97 Current children cumulated vsize (KiB) 46684 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18592 /proc/meminfo: memFree=1657984/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=46684 CPUtime=641.96 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 11243 0 0 0 64041 155 0 0 25 0 1 0 161750292 47804416 11055 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 11671 11055 313 324 0 10740 0 Current children cumulated CPU time (s) 641.96 Current children cumulated vsize (KiB) 46684 ################ # More data... # ################ /proc/meminfo: memFree=1658176/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=46632 CPUtime=1061.8 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 11246 0 0 0 105928 252 0 0 25 0 1 0 161750292 47751168 11044 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 11658 11044 313 324 0 10727 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 46632 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18592 /proc/meminfo: memFree=1658176/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=46632 CPUtime=1121.78 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 11246 0 0 0 111910 268 0 0 25 0 1 0 161750292 47751168 11044 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546306 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 11658 11044 313 324 0 10727 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 46632 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18592 /proc/meminfo: memFree=1658176/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=46632 CPUtime=1181.76 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 11246 0 0 0 117895 281 0 0 25 0 1 0 161750292 47751168 11044 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 11658 11044 313 324 0 10727 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 46632 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18592 /proc/meminfo: memFree=1651712/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=53744 CPUtime=1241.74 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 13004 0 0 0 123885 289 0 0 25 0 1 0 161750292 55033856 12802 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11374661 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 13436 12802 313 324 0 12505 0 Current children cumulated CPU time (s) 1241.74 Current children cumulated vsize (KiB) 53744 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18592 /proc/meminfo: memFree=1642240/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=62656 CPUtime=1301.72 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 129874 298 0 0 25 0 1 0 161750292 64159744 15044 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 15664 15044 313 324 0 14733 0 Current children cumulated CPU time (s) 1301.72 Current children cumulated vsize (KiB) 62656 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18592 /proc/meminfo: memFree=1642240/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=62648 CPUtime=1361.69 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 135863 306 0 0 25 0 1 0 161750292 64151552 15044 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551516 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 15662 15044 313 324 0 14731 0 Current children cumulated CPU time (s) 1361.69 Current children cumulated vsize (KiB) 62648 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18592 /proc/meminfo: memFree=1642304/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=62408 CPUtime=1421.68 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 141852 316 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 15602 14988 313 324 0 14671 0 Current children cumulated CPU time (s) 1421.68 Current children cumulated vsize (KiB) 62408 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18592 /proc/meminfo: memFree=1642368/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=62408 CPUtime=1481.65 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 147835 330 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 15602 14988 313 324 0 14671 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 62408 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18592 /proc/meminfo: memFree=1642368/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=62408 CPUtime=1541.63 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 153822 341 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 15602 14988 313 324 0 14671 0 Current children cumulated CPU time (s) 1541.63 Current children cumulated vsize (KiB) 62408 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18592 /proc/meminfo: memFree=1642368/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=62408 CPUtime=1601.62 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 159809 353 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160527336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 15602 14988 313 324 0 14671 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 62408 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18592 /proc/meminfo: memFree=1642432/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=62408 CPUtime=1661.59 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 165794 365 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 15602 14988 313 324 0 14671 0 Current children cumulated CPU time (s) 1661.59 Current children cumulated vsize (KiB) 62408 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18592 /proc/meminfo: memFree=1642432/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=62408 CPUtime=1721.57 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 171777 380 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 15602 14988 313 324 0 14671 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 62408 [startup+1782.3 s] /proc/loadavg: 1.15 1.03 1.01 2/78 18592 /proc/meminfo: memFree=1642432/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=62408 CPUtime=1781.55 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 177763 392 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 15602 14988 313 324 0 14671 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 62408 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.13 1.03 1.01 2/78 18592 /proc/meminfo: memFree=1642432/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=62408 CPUtime=1791.15 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 178722 393 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 15602 14988 313 324 0 14671 0 Current children cumulated CPU time (s) 1791.15 Current children cumulated vsize (KiB) 62408 [startup+1795.1 s] /proc/loadavg: 1.13 1.03 1.01 2/78 18592 /proc/meminfo: memFree=1642432/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=62408 CPUtime=1794.34 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 179041 393 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 15602 14988 313 324 0 14671 0 Current children cumulated CPU time (s) 1794.34 Current children cumulated vsize (KiB) 62408 [startup+1798.3 s] /proc/loadavg: 1.12 1.03 1.01 2/78 18592 /proc/meminfo: memFree=1642432/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=62408 CPUtime=1797.54 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 179360 394 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134574771 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 15602 14988 313 324 0 14671 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (KiB) 62408 [startup+1799.9 s] /proc/loadavg: 1.12 1.03 1.01 2/78 18592 /proc/meminfo: memFree=1642432/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=62408 CPUtime=1799.14 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 179520 394 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 15602 14988 313 324 0 14671 0 Current children cumulated CPU time (s) 1799.14 Current children cumulated vsize (KiB) 62408 [startup+1800.3 s] /proc/loadavg: 1.12 1.03 1.01 2/78 18592 /proc/meminfo: memFree=1642432/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=62408 CPUtime=1799.54 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 179560 394 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 15602 14988 313 324 0 14671 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (KiB) 62408 [startup+1800.71 s] /proc/loadavg: 1.12 1.03 1.01 2/78 18592 /proc/meminfo: memFree=1642432/2055920 swapFree=4180512/4192956 [pid=18393] ppid=18391 vsize=62408 CPUtime=1799.94 /proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 179600 394 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18393/statm: 15602 14988 313 324 0 14671 0 Current children cumulated CPU time (s) 1799.94 Current children cumulated vsize (KiB) 62408 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.01 CPU user time (s): 1796.06 CPU system time (s): 3.9564 CPU usage (%): 99.9581 Max. virtual memory (cumulated for all children) (KiB): 62760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.06 system time used= 3.9564 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15247 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16 involuntary context switches= 4443 runsolver used 2.09068 second user time and 4.40833 second system time The end
Begin job on node33 on Sat Apr 21 06:52:28 UTC 2007 IDJOB= 372820 IDBENCH= 24999 IDSOLVER= 163 FILE ID= node33/372820-1177138348 PBS_JOBID= 4648803 Free space on /tmp= 66473 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_014_area_delay.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372820-1177138348/instance-372820-1177138348.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-372820-1177138348 -o ROOT/results/node33/solver-372820-1177138348 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372820-1177138348/instance-372820-1177138348.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f RANDOM SEED= 196855001 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node33.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.272 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.272 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: 1702104 kB Buffers: 40516 kB Cached: 214928 kB SwapCached: 2276 kB Active: 212492 kB Inactive: 87396 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1702104 kB SwapTotal: 4192956 kB SwapFree: 4180512 kB Dirty: 4924 kB Writeback: 0 kB Mapped: 59396 kB Slab: 39236 kB Committed_AS: 1737756 kB PageTables: 1992 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= 66473 MiB End job on node33 on Sat Apr 21 07:22:29 UTC 2007