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