Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 32 | 1800.13 | 1800.83 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_004_area_delay.opb |
MD5SUM | 45c2f7ac01d7ade9fbe465857931ee2b |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 27 |
Best CPU time to get the best result obtained on this benchmark | 175.948 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 27 |
Optimality of the best value was proved | YES |
Number of variables | 5828 |
Total number of constraints | 17411 |
Number of constraints which are clauses | 17411 |
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 | 2817 |
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 | 2817 |
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 | 2817 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 0.49/0.53 c Converting 17128 PB-constraints to clauses... 0.49/0.53 c -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp 0.49/0.53 c -- Detecting intervals from adjacent constraints: ######### 0.49/0.54 c -- Clauses(.)/Splits(s): ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.49/0.58 c ---[16250]---> BDD-cost: 1 0.49/0.58 c ---[15664]---> BDD-cost: 1 0.49/0.58 c ---[15183]---> BDD-cost: 1 0.49/0.58 c ---[14766]---> BDD-cost: 1 0.49/0.58 c ---[14613]---> BDD-cost: 1 0.49/0.58 c ---[14562]---> BDD-cost: 1 0.49/0.58 c ---[14545]---> BDD-cost: 1 0.49/0.58 c ---[14540]---> BDD-cost: 1 0.49/0.58 c ---[14538]---> BDD-cost: 1 0.49/0.58 c ==================================[MINISAT+]================================== 0.49/0.58 c | Conflicts | Original | Learnt | Progress | 0.49/0.58 c | | Clauses Literals | Max Clauses Literals LPC | | 0.49/0.58 c ============================================================================== 0.49/0.58 c | 0 | 15851 38752 | 5283 0 0 nan | 0.000 % | 0.49/0.58 c ============================================================================== 0.49/0.58 c [1mFound solution: 32[0m 0.49/0.58 o 32 0.59/0.61 c ---[ 0]---> Adder-cost: 5054 maxlim: 2502 bits: 12/12 4.79/4.89 c ==================================[MINISAT+]================================== 4.79/4.89 c | Conflicts | Original | Learnt | Progress | 4.79/4.89 c | | Clauses Literals | Max Clauses Literals LPC | | 4.79/4.89 c ============================================================================== 4.79/4.89 c | 2 | 50400 163327 | 16800 1 40 40.0 | 0.000 % | 4.89/4.91 c | 102 | 50400 163327 | 18480 101 451 4.5 | 5.433 % | 4.89/4.98 c | 252 | 50251 162800 | 20328 223 891 4.0 | 5.653 % | 4.99/5.08 c | 477 | 50240 162757 | 22360 447 1686 3.8 | 5.671 % | 5.19/5.26 c | 814 | 50003 161938 | 24596 748 3208 4.3 | 6.057 % | 5.50/5.51 c | 1320 | 49859 161460 | 27056 1228 5564 4.5 | 6.314 % | 5.59/5.70 c | 2083 | 49843 161408 | 29762 1987 44052 22.2 | 6.341 % | 5.99/6.06 c | 3222 | 49843 161408 | 32738 3126 117431 37.6 | 6.341 % | 6.60/6.66 c | 4930 | 49843 161408 | 36012 4834 252949 52.3 | 6.341 % | 7.19/7.24 c | 7492 | 49843 161408 | 39613 7396 500446 67.7 | 6.341 % | 8.29/8.36 c | 11336 | 49843 161408 | 43574 11240 979317 87.1 | 6.341 % | 10.39/10.46 c | 17103 | 49843 161408 | 47932 17007 1632629 96.0 | 6.341 % | 14.89/14.92 c | 25753 | 49843 161408 | 52725 25657 2704201 105.4 | 6.341 % | 24.78/24.80 c | 38727 | 49843 161408 | 57998 38631 4529494 117.3 | 6.341 % | 46.97/47.00 c | 58190 | 49843 161408 | 63797 58094 7205692 124.0 | 6.341 % | 72.76/72.87 c | 87384 | 49843 161408 | 70177 38144 4662860 122.2 | 6.341 % | 127.24/127.34 c | 131175 | 49843 161408 | 77195 28496 3269377 114.7 | 6.341 % | 193.93/194.03 c | 196863 | 49843 161408 | 84915 33620 4267795 126.9 | 6.341 % | 365.17/365.35 c | 295389 | 49843 161408 | 93406 64600 9003978 139.4 | 6.341 % | 655.97/656.24 c | 443178 | 49843 161408 | 102747 59894 8686126 145.0 | 6.341 % | 1116.93/1117.31 c | 664867 | 49843 161408 | 113021 32522 4177448 128.4 | 6.341 % | 1701.03/1701.77 c | 997394 | 49843 161408 | 124324 83504 10246584 122.7 | 6.341 % | 1800.09/1800.80 c 1800.09/1800.80 c *** TERMINATED *** 1800.09/1800.80 s SATISFIABLE 1800.09/1800.80 v -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 1800.09/1800.80 v -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 x274 -x276 -x278 -x280 -x282 -x284 -x286 1800.09/1800.80 v -x288 -x290 -x292 -x294 -x296 -x298 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x326 1800.09/1800.80 v -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 1800.09/1800.80 v -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 1800.09/1800.80 v -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 1800.09/1800.80 v -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 1800.09/1800.80 v -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 1800.09/1800.80 v -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 1800.09/1800.80 v -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 1800.09/1800.80 v -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 1800.09/1800.80 v -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 1800.09/1800.80 v -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 x742 -x744 -x746 1800.09/1800.80 v -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 1800.09/1800.80 v x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 1800.09/1800.80 v -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 1800.09/1800.80 v -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 1800.09/1800.80 v -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 1800.09/1800.80 v -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 1800.09/1800.80 v -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 1800.09/1800.80 v -x1034 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 1800.09/1800.80 v -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 1800.09/1800.80 v -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 1800.09/1800.80 v -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 1800.09/1800.80 v -x1169 -x1171 -x1173 -x1175 -x1177 x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 1800.09/1800.80 v -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 1800.09/1800.80 v -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 1800.09/1800.80 v -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 x1297 -x1299 -x1301 -x1303 1800.09/1800.80 v -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 1800.09/1800.80 v -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 1800.09/1800.80 v -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 1800.09/1800.80 v -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 1800.09/1800.80 v -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 1800.09/1800.80 v -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 1800.09/1800.80 v -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 1800.09/1800.80 v -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 1800.09/1800.80 v -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 1800.09/1800.80 v -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 1800.09/1800.80 v -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 1800.09/1800.80 v -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 1800.09/1800.80 v -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 1800.09/1800.80 v -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 1800.09/1800.80 v -x1780 -x1782 -x1784 -x1786 -x1788 x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 1800.09/1800.80 v -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 1800.09/1800.80 v -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 1800.09/1800.80 v -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 1800.09/1800.80 v -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 1800.09/1800.80 v -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 1800.09/1800.80 v -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 x2010 -x2012 -x2014 -x2016 1800.09/1800.80 v -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 1800.09/1800.80 v -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 1800.09/1800.80 v -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 1800.09/1800.80 v -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 1800.09/1800.80 v -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 x2184 -x2186 1800.09/1800.80 v -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 1800.09/1800.80 v -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 x2254 1800.09/1800.80 v -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 1800.09/1800.80 v -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 1800.09/1800.80 v -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 1800.09/1800.80 v -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 1800.09/1800.80 v -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 1800.09/1800.80 v -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 1800.09/1800.80 v -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 x2481 -x2483 -x2485 -x2487 -x2489 -x2491 1800.09/1800.80 v -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 1800.09/1800.80 v -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 1800.09/1800.80 v -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 1800.09/1800.80 v -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 1800.09/1800.80 v -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 1800.09/1800.80 v -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 1800.09/1800.80 v -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 x2721 -x2723 -x2725 -x2727 -x2729 1800.09/1800.80 v -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 1800.09/1800.80 v -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 1800.09/1800.80 v -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 1800.09/1800.80 v -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 1800.09/1800.80 v -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 1800.09/1800.80 v -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 1800.09/1800.80 v -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 1800.09/1800.80 v -x2969 -x2971 -x2973 -x2975 -x2977 x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 1800.09/1800.80 v -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 1800.09/1800.80 v -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 1800.09/1800.80 v -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 1800.09/1800.80 v -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 1800.09/1800.80 v -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 1800.09/1800.80 v -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 1800.09/1800.80 v -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 1800.09/1800.80 v -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 1800.09/1800.80 v -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 x3305 -x3307 1800.09/1800.80 v -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 1800.09/1800.80 v -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 1800.09/1800.80 v -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 1800.09/1800.80 v -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 1800.09/1800.80 v -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 x3473 -x3475 -x3477 1800.09/1800.80 v -x3479 x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 1800.09/1800.80 v x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 1800.09/1800.80 v -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 1800.09/1800.80 v -x3581 x3583 -x3585 -x3587 -x3589 x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 1800.09/1800.80 v -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 1800.09/1800.80 v -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 1800.09/1800.80 v -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 1800.09/1800.80 v -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 1800.09/1800.80 v -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 1800.09/1800.80 v -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 1800.09/1800.80 v -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 1800.09/1800.80 v -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 1800.09/1800.80 v -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 1800.09/1800.80 v -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 1800.09/1800.80 v -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 1800.09/1800.80 v -x3990 -x3992 -x3994 x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4022 1800.09/1800.80 v -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 1800.09/1800.80 v -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4086 -x4088 -x4090 1800.09/1800.80 v -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 1800.09/1800.80 v -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 1800.09/1800.80 v -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 1800.09/1800.80 v -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 1800.09/1800.80 v -x4228 -x4230 -x4232 -x4234 -x4236 x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 1800.09/1800.80 v -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 1800.09/1800.80 v -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 1800.09/1800.80 v -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 1800.09/1800.80 v -x4364 -x4366 -x4368 -x4370 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 1800.09/1800.80 v -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 1800.09/1800.80 v -x4432 -x4434 -x4436 x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x4464 1800.09/1800.80 v -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x4498 1800.09/1800.80 v -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 x4530 -x4532 -x4534 1800.09/1800.80 v -x4536 -x4538 -x4540 -x4542 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 1800.09/1800.80 v -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 1800.09/1800.80 v -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x4620 x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 1800.09/1800.80 v -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 1800.09/1800.80 v -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 1800.09/1800.80 v -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 1800.09/1800.80 v -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x4771 1800.09/1800.80 v -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803 -x4805 1800.09/1800.80 v -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 1800.09/1800.80 v -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871 -x4873 1800.09/1800.80 v -x4875 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 -x4899 -x4901 -x4903 -x4905 -x4907 1800.09/1800.80 v -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x4933 -x4935 -x4937 -x4939 -x4941 1800.09/1800.80 v -x4943 -x4945 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -x4970 -x4972 -x4974 1800.09/1800.80 v -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x5000 -x5002 -x5004 -x5006 -x5008 1800.09/1800.80 v -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 1800.09/1800.80 v -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 -x5074 -x5076 1800.09/1800.80 v -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108 -x5110 1800.09/1800.80 v -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 -x5142 -x5144 1800.09/1800.80 v -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176 -x5178 1800.09/1800.80 v -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 -x5202 -x5204 -x5206 -x5208 -x5210 -x5212 1800.09/1800.80 v -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 1800.09/1800.80 v -x5248 -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 1800.09/1800.80 v -x5282 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 1800.09/1800.80 v -x5316 -x5318 -x5320 -x5322 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 1800.09/1800.80 v -x5350 -x5352 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 1800.09/1800.80 v -x5384 -x5386 -x5388 -x5390 x5392 -x5394 -x5396 -x5398 -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 -x5412 -x5414 -x5416 1800.09/1800.80 v -x5418 -x5420 x5422 -x5424 -x5426 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 -x5444 -x5446 -x5448 -x5450 1800.09/1800.80 v -x5452 -x5454 -x5456 -x5458 -x5460 -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 1800.09/1800.80 v -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x5500 -x5502 -x5504 -x5506 -x5508 -x5510 -x5512 -x5514 -x5516 -x5518 1800.09/1800.80 v -x5520 -x5522 -x5524 -x5526 -x5528 -x5530 -x5532 -x5534 -x5536 -x5538 -x5540 -x5542 -x5544 -x5546 -x5548 -x5550 x5552 1800.09/1800.80 v -x5554 -x5556 -x5558 -x5560 -x5562 -x5564 -x5566 -x5568 -x5570 -x5572 -x5574 -x5576 -x5578 -x5580 -x5582 -x5584 -x5586 1800.09/1800.80 v -x5588 -x5590 -x5592 -x5594 -x5596 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 1800.09/1800.80 v -x5622 -x5624 -x5626 -x5628 -x5630 -x5632 -x5634 -x5636 -x5638 -x5640 -x5642 -x5644 -x5646 -x5648 -x5650 -x5652 -x5654 1800.09/1800.80 v -x5656 -x5658 -x5660 -x5662 -x5664 -x5666 -x5668 -x5670 -x5672 -x5674 -x5676 -x5678 x5680 -x5682 -x5684 -x5686 -x5688 1800.09/1800.80 v -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 x5702 -x5704 -x5706 x5708 -x5710 -x5712 -x5714 -x5716 -x5718 -x5720 -x5722 -x5724 1800.09/1800.80 v -x5726 -x5728 -x5730 -x5732 -x5734 -x5736 -x5738 -x5740 -x5742 -x5744 -x5746 -x5748 -x5750 -x5752 -x5754 -x5756 -x5758 1800.09/1800.80 v -x5760 -x5762 -x5764 -x5766 -x5768 -x5770 -x5772 -x5774 -x5776 -x5778 -x5780 -x5782 -x5784 -x5786 -x5788 -x5790 -x5792 1800.09/1800.80 v -x5794 -x5796 -x5798 -x5800 -x5802 -x5804 -x5806 -x5808 -x5810 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 1800.09/1800.80 v x5828 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241 1800.09/1800.80 v -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 x273 -x275 -x277 -x279 -x281 -x283 1800.09/1800.80 v -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x327 1800.09/1800.80 v -x1 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 1800.09/1800.80 v -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x2 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 1800.09/1800.80 v -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 1800.09/1800.80 v -x451 -x3 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x4 -x483 -x485 -x487 1800.09/1800.80 v -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 1800.09/1800.80 v -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x5 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 1800.09/1800.80 v -x571 -x573 -x6 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x7 -x605 -x607 1800.09/1800.80 v -x609 -x611 -x613 -x615 -x617 -x8 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 1800.09/1800.80 v -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x9 -x681 -x683 -x685 -x687 1800.09/1800.80 v -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x10 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 1800.09/1800.80 v -x729 -x731 -x733 -x735 -x737 -x739 x11 x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 1800.09/1800.80 v -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 1800.09/1800.80 v -x811 -x813 -x815 -x12 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x13 -x847 1800.09/1800.80 v -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x14 -x877 -x879 -x881 -x883 -x885 -x887 1800.09/1800.80 v -x889 -x15 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x16 -x921 -x923 -x925 1800.09/1800.80 v -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x17 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x18 1800.09/1800.80 v -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x19 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x20 -x993 -x995 -x997 -x21 -x999 1800.09/1800.80 v -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 1800.09/1800.80 v -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x22 -x1060 -x1062 -x1064 -x1066 -x1068 1800.09/1800.80 v -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x23 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 1800.09/1800.80 v -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x24 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x25 -x1134 1800.09/1800.80 v -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x26 -x1164 -x1166 -x1168 1800.09/1800.80 v -x1170 -x1172 -x1174 -x1176 x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x27 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 1800.09/1800.80 v -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 1800.09/1800.80 v -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 1800.09/1800.80 v -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 x1296 -x1298 -x1300 -x1302 -x1304 1800.09/1800.80 v -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x28 -x1324 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 1800.09/1800.80 v -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 1800.09/1800.80 v -x1375 -x1377 -x1379 -x1381 -x1383 -x29 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 1800.09/1800.80 v -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 1800.09/1800.80 v -x1443 -x1445 -x30 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 1800.09/1800.80 v -x31 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 1800.09/1800.80 v -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x32 -x1539 -x1541 -x1543 1800.09/1800.80 v -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x33 -x1569 -x1571 -x1573 -x1575 -x1577 1800.09/1800.80 v -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x34 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 1800.09/1800.80 v -x35 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 1800.09/1800.80 v -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x36 -x1675 -x1677 -x1679 1800.09/1800.80 v -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x37 -x1705 -x1707 -x1709 -x1711 -x1713 1800.09/1800.80 v -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x38 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 1800.09/1800.80 v -x39 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x40 -x1779 1800.09/1800.80 v -x1781 -x1783 -x1785 -x1787 x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x41 -x1805 -x1807 -x1809 -x42 -x1811 1800.09/1800.80 v -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 1800.09/1800.80 v -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x43 -x1873 -x1875 -x1877 -x1879 1800.09/1800.80 v -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x44 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 1800.09/1800.80 v -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x45 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x46 1800.09/1800.80 v -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x47 -x1977 -x1979 1800.09/1800.80 v -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 x48 -x2007 x2009 -x2011 -x2013 1800.09/1800.80 v -x2015 -x2017 -x2019 -x49 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x50 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 1800.09/1800.80 v -x2047 -x51 -x2049 -x2051 -x2053 -x52 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 1800.09/1800.80 v -x2079 -x2081 -x2083 -x53 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x54 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 1800.09/1800.80 v -x2111 -x55 -x2113 -x2115 -x2117 -x56 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x57 -x2133 -x2135 -x2137 -x2139 1800.09/1800.80 v -x2141 -x2143 -x2145 -x58 -x2147 -x2149 -x2151 -x59 -x2153 -x2155 -x2157 -x60 -x2159 -x2161 -x2163 -x61 -x2165 -x2167 -x2169 1800.09/1800.80 v -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 1800.09/1800.80 v -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 1800.09/1800.80 v -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 1800.09/1800.80 v -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 1800.09/1800.80 v -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 1800.09/1800.80 v -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x62 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 1800.09/1800.80 v -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 1800.09/1800.80 v -x2410 -x2412 -x2414 -x63 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 1800.09/1800.80 v -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 1800.09/1800.80 v -x2478 x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x64 -x2508 -x2510 1800.09/1800.80 v -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 1800.09/1800.80 v -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x65 -x2570 -x2572 -x2574 -x2576 -x2578 1800.09/1800.80 v -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x66 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 1800.09/1800.80 v -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 1800.09/1800.80 v -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x67 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 1800.09/1800.80 v -x2682 -x2684 -x2686 -x2688 -x68 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 1800.09/1800.80 v -x2716 -x2718 x69 x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x70 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 1800.09/1800.80 v -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x71 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 1800.09/1800.80 v -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 1800.09/1800.80 v -x2816 -x2818 -x2820 -x2822 -x2824 -x72 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 1800.09/1800.80 v -x2850 -x2852 -x2854 -x73 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 1800.09/1800.80 v -x2884 -x74 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x75 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 1800.09/1800.80 v -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x76 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x77 -x2944 -x2946 1800.09/1800.80 v -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 x2978 -x2980 1800.09/1800.80 v -x2982 -x2984 -x2986 -x78 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x79 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 1800.09/1800.80 v -x3014 -x3016 -x3018 -x3020 x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 1800.09/1800.80 v -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x80 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 1800.09/1800.80 v -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x81 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 1800.09/1800.80 v -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 1800.09/1800.80 v -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x82 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 1800.09/1800.80 v -x3184 -x3186 -x83 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 1800.09/1800.80 v -x84 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x85 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 1800.09/1800.80 v -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x86 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x87 -x3276 -x3278 -x3280 1800.09/1800.80 v -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 x3304 x88 -x3306 -x3308 -x3310 -x3312 -x3314 1800.09/1800.80 v -x3316 -x3318 -x89 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x90 -x3334 -x3336 -x3338 -x91 -x3340 -x3342 -x3344 1800.09/1800.80 v -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x92 -x3370 -x3372 -x3374 -x3376 -x3378 1800.09/1800.80 v -x3380 -x3382 -x93 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x94 -x3398 -x3400 -x3402 -x95 -x3404 -x3406 -x3408 1800.09/1800.80 v -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x96 -x3434 -x3436 -x3438 -x3440 -x3442 1800.09/1800.80 v -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 x3472 -x3474 -x3476 1800.09/1800.80 v -x3478 x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x97 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x98 -x3506 -x3508 1800.09/1800.80 v -x3510 x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x99 -x3540 -x3542 1800.09/1800.80 v -x3544 -x3546 -x3548 -x3550 -x3552 -x100 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x101 -x3568 -x3570 -x3572 x102 1800.09/1800.80 v -x3574 -x3576 -x3578 -x3580 x3582 -x3584 -x3586 x103 -x3588 x3590 -x3592 -x104 -x3594 -x3596 -x3598 -x105 -x3600 -x106 1800.09/1800.80 v -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 1800.09/1800.80 v -x3636 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x107 -x3663 -x3665 -x3667 1800.09/1800.80 v -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x108 -x3693 -x3695 -x3697 -x3699 1800.09/1800.80 v -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 1800.09/1800.80 v -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x109 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 1800.09/1800.80 v -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x110 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 1800.09/1800.80 v -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x111 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x112 -x3829 1800.09/1800.80 v -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x113 -x3859 -x3861 1800.09/1800.80 v -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 1800.09/1800.80 v -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x114 -x3921 -x3923 -x3925 -x3927 1800.09/1800.80 v -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x115 -x3951 -x3953 -x3955 -x3957 -x3959 1800.09/1800.80 v -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x116 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 1800.09/1800.80 v -x3993 x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x117 -x4025 1800.09/1800.80 v -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x118 -x4055 -x4057 1800.09/1800.80 v -x4059 -x4061 -x4063 -x4065 -x4067 -x119 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 1800.09/1800.80 v -x4091 -x4093 -x4095 -x4097 -x120 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x121 -x4113 -x4115 -x4117 -x4119 -x4121 1800.09/1800.80 v -x4123 -x4125 -x122 -x4127 -x4129 -x4131 -x123 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 1800.09/1800.80 v -x4155 -x4157 -x4159 -x4161 -x124 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x125 -x4177 -x4179 -x4181 -x4183 -x4185 1800.09/1800.80 v -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x126 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 1800.09/1800.80 v -x4219 -x127 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 x4237 -x4239 -x128 -x4241 -x4243 -x4245 -x4247 -x4249 1800.09/1800.80 v -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 1800.09/1800.80 v -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x129 -x4303 -x4305 -x4307 -x4309 -x4311 -x4313 -x4315 1800.09/1800.80 v -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x130 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 1800.09/1800.80 v -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x131 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x132 -x4377 -x4379 1800.09/1800.80 v -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x133 -x4407 -x4409 -x4411 1800.09/1800.80 v -x4413 -x4415 -x4417 -x4419 -x134 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 x135 -x4435 x4437 -x4439 -x136 -x4441 1800.09/1800.80 v -x4443 -x4445 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467 -x4469 -x137 -x4471 -x4473 1800.09/1800.80 v -x4475 -x4477 -x4479 -x4481 -x4483 -x138 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x139 -x4499 -x4501 -x4503 -x4505 1800.09/1800.80 v -x4507 -x4509 x4511 -x4513 -x4515 -x4517 -x140 -x4519 -x4521 -x4523 -x141 -x4525 -x4527 x4529 x142 -x4531 -x4533 -x4535 1800.09/1800.80 v -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 1800.09/1800.80 v -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 1800.09/1800.80 v -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 1800.09/1800.80 v -x4639 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x143 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 1800.09/1800.80 v -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 1800.09/1800.80 v -x4705 -x4707 -x4709 -x4711 -x4713 -x144 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 1800.09/1800.80 v -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 1800.09/1800.80 v -x4772 -x4774 -x145 -x4776 -x4778 -x4780 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 1800.09/1800.80 v -x4804 -x146 -x4806 -x4808 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834 1800.09/1800.80 v -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x4858 -x4860 -x4862 -x4864 -x147 -x4866 1800.09/1800.80 v -x4868 -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x148 -x4896 -x4898 1800.09/1800.80 v -x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x149 -x4926 -x4928 -x4930 1800.09/1800.80 v -x4932 -x4934 -x4936 -x4938 -x150 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 1800.09/1800.80 v -x4964 -x4966 -x4968 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 1800.09/1800.80 v -x4999 -x151 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 1800.09/1800.80 v -x152 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x153 -x5061 1800.09/1800.80 v -x5063 -x5065 -x5067 -x5069 -x5071 -x5073 -x154 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 1800.09/1800.80 v -x5095 -x5097 -x5099 -x5101 -x5103 -x155 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x156 -x5119 -x5121 -x5123 -x5125 1800.09/1800.80 v -x5127 -x5129 -x5131 -x157 -x5133 -x5135 -x5137 -x158 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157 1800.09/1800.80 v -x5159 -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 1800.09/1800.80 v -x5193 -x5195 -x5197 -x5199 -x159 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x5219 -x5221 -x5223 1800.09/1800.80 v -x5225 -x5227 -x160 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x5253 -x5255 1800.09/1800.80 v -x5257 -x161 -x5259 -x5261 -x5263 -x5265 -x5267 -x5269 -x5271 -x162 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5287 1800.09/1800.80 v -x5289 -x5291 -x5293 -x5295 -x5297 -x5299 -x5301 -x163 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x164 -x5315 -x5317 -x5319 1800.09/1800.80 v -x5321 -x5323 -x5325 -x5327 -x165 -x5329 -x5331 -x5333 -x166 -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -x5351 1800.09/1800.80 v -x5353 -x5355 -x5357 -x5359 -x5361 -x5363 -x167 -x5365 -x5367 -x5369 -x5371 -x5373 -x5375 -x5377 -x168 -x5379 -x5381 -x5383 1800.09/1800.80 v -x5385 -x5387 -x5389 x5391 -x5393 -x5395 -x169 -x5397 -x5399 -x5401 -x5403 -x5405 -x5407 -x5409 -x170 -x5411 -x5413 -x5415 1800.09/1800.80 v -x171 -x5417 -x5419 x5421 x172 -x5423 -x173 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435 -x5437 -x5439 -x5441 -x5443 -x5445 1800.09/1800.80 v -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467 -x5469 -x5471 -x5473 -x5475 -x5477 -x5479 1800.09/1800.80 v -x174 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5495 -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x5509 -x175 -x5511 1800.09/1800.80 v -x5513 -x5515 -x5517 -x5519 -x5521 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535 -x5537 -x5539 x176 -x5541 -x5543 -x5545 1800.09/1800.80 v -x5547 -x5549 x5551 -x5553 -x177 -x5555 -x5557 -x5559 -x5561 -x5563 -x5565 -x5567 -x5569 -x5571 -x5573 -x5575 -x5577 -x5579 1800.09/1800.80 v -x5581 -x5583 -x178 -x5585 -x5587 -x5589 -x5591 -x5593 -x5595 -x5597 -x179 -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611 1800.09/1800.80 v -x180 -x5613 -x5615 -x5617 -x181 -x5619 -x5621 -x5623 -x5625 -x5627 -x5629 -x5631 -x5633 -x5635 -x5637 -x5639 -x5641 -x5643 1800.09/1800.80 v -x5645 -x5647 -x182 -x5649 -x5651 -x5653 -x5655 -x5657 -x5659 -x5661 -x183 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x5675 1800.09/1800.80 v -x5677 x5679 -x5681 -x184 -x5683 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x185 -x5697 -x5699 x5701 -x5703 -x5705 x5707 1800.09/1800.80 v x186 -x5709 -x187 -x5711 -x5713 -x5715 -x5717 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x5733 -x5735 -x188 -x5737 1800.09/1800.80 v -x5739 -x5741 -x5743 -x5745 -x5747 -x5749 -x189 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x190 -x5765 -x5767 -x5769 1800.09/1800.80 v -x191 -x5771 -x5773 -x5775 -x5777 -x5779 -x5781 -x5783 -x192 -x5785 -x5787 -x193 -x5789 -x5791 -x5793 -x194 -x5795 -x195 1800.09/1800.80 v -x5797 -x5799 -x5801 -x5803 -x5805 -x5807 -x196 -x5809 -x5811 -x5813 -x197 -x5815 -x5817 -x5819 -x198 -x5821 -x199 -x5823 1800.09/1800.80 v -x5825 -x200 x5827 x201 x202
OK 32
/tmp/evaluation/372463-1177098068/instance-372463-1177098068.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-372463-1177098068 -o ROOT/results/node25/solver-372463-1177098068 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372463-1177098068/minisat+ /tmp/evaluation/372463-1177098068/instance-372463-1177098068.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9544 /proc/meminfo: memFree=1623184/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=1352 CPUtime=0 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 157723875 1384448 172 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 338 172 67 215 0 120 0 [startup+0.03636 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9544 /proc/meminfo: memFree=1623184/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=1852 CPUtime=0.03 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 317 0 0 0 3 0 0 0 18 0 1 0 157723875 1896448 302 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 463 302 74 215 0 245 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1852 [startup+0.10137 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9544 /proc/meminfo: memFree=1623184/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=2636 CPUtime=0.09 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 511 0 0 0 9 0 0 0 18 0 1 0 157723875 2699264 496 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 659 496 74 215 0 441 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2636 [startup+0.301403 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9544 /proc/meminfo: memFree=1623184/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=4364 CPUtime=0.29 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 926 0 0 0 29 0 0 0 19 0 1 0 157723875 4468736 911 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 1091 911 74 215 0 873 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4364 [startup+0.701473 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9544 /proc/meminfo: memFree=1623184/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=7928 CPUtime=0.69 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 1853 0 0 0 67 2 0 0 18 0 1 0 157723875 8118272 1803 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 1982 1803 104 215 0 1764 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7928 [startup+1.50161 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9545 /proc/meminfo: memFree=1616328/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=7928 CPUtime=1.49 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 1853 0 0 0 147 2 0 0 25 0 1 0 157723875 8118272 1803 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005785 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 1982 1803 104 215 0 1764 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7928 [startup+3.10188 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9545 /proc/meminfo: memFree=1616200/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=7928 CPUtime=3.09 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 1863 0 0 0 307 2 0 0 25 0 1 0 157723875 8118272 1813 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134648424 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 1982 1813 104 215 0 1764 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7928 [startup+6.30143 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9545 /proc/meminfo: memFree=1609672/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=15508 CPUtime=6.29 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 3989 0 0 0 626 3 0 0 25 0 1 0 157723875 15880192 3606 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134589062 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 3877 3606 123 215 0 3659 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15508 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9545 /proc/meminfo: memFree=1600848/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=24296 CPUtime=12.69 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 6191 0 0 0 1264 5 0 0 25 0 1 0 157723875 24879104 5808 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 6074 5808 123 215 0 5856 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24296 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9545 /proc/meminfo: memFree=1589840/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=34856 CPUtime=25.48 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 8843 0 0 0 2539 9 0 0 25 0 1 0 157723875 35692544 8460 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 8714 8460 123 215 0 8496 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34856 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9545 /proc/meminfo: memFree=1576464/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=48248 CPUtime=51.07 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 12186 0 0 0 5095 12 0 0 25 0 1 0 157723875 49405952 11803 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 12062 11803 123 215 0 11844 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 48248 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9545 /proc/meminfo: memFree=1573712/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=50768 CPUtime=102.26 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 12785 0 0 0 10213 13 0 0 25 0 1 0 157723875 51986432 12402 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 12692 12402 123 215 0 12474 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 50768 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9545 /proc/meminfo: memFree=1568400/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=56168 CPUtime=162.23 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 14114 0 0 0 16209 14 0 0 25 0 1 0 157723875 57516032 13731 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 14042 13731 123 215 0 13824 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 56168 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9545 /proc/meminfo: memFree=1562384/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=62068 CPUtime=222.21 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 15604 0 0 0 22205 16 0 0 25 0 1 0 157723875 63557632 15221 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 15517 15221 123 215 0 15299 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 62068 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9545 /proc/meminfo: memFree=1558736/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=66000 CPUtime=282.2 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 16590 0 0 0 28203 17 0 0 25 0 1 0 157723875 67584000 16207 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 16500 16207 123 215 0 16282 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 66000 [startup+342.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9545 /proc/meminfo: memFree=1554832/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=69732 CPUtime=342.18 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 17490 0 0 0 34200 18 0 0 25 0 1 0 157723875 71405568 17107 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 17433 17107 123 215 0 17215 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 69732 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9545 /proc/meminfo: memFree=1553808/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=70992 CPUtime=402.15 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 17770 0 0 0 40197 18 0 0 25 0 1 0 157723875 72695808 17387 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 17748 17387 123 215 0 17530 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 70992 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9545 /proc/meminfo: memFree=1546576/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=78116 CPUtime=462.14 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 19538 0 0 0 46194 20 0 0 25 0 1 0 157723875 79990784 19155 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 19529 19155 123 215 0 19311 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 78116 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9545 /proc/meminfo: memFree=1545872/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=79060 CPUtime=522.12 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 19715 0 0 0 52192 20 0 0 25 0 1 0 157723875 80957440 19332 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 19765 19332 123 215 0 19547 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 79060 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9545 /proc/meminfo: memFree=1545872/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=79060 CPUtime=582.1 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 19726 0 0 0 58190 20 0 0 25 0 1 0 157723875 80957440 19343 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 19765 19343 123 215 0 19547 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 79060 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9545 /proc/meminfo: memFree=1545680/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=79220 CPUtime=642.08 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 19771 0 0 0 64188 20 0 0 25 0 1 0 157723875 81121280 19388 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 19805 19388 123 215 0 19587 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 79220 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9545 /proc/meminfo: memFree=1532368/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=93004 CPUtime=822.01 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 23083 0 0 0 82178 23 0 0 25 0 1 0 157723875 95236096 22700 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 23251 22700 123 215 0 23033 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 93004 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9545 /proc/meminfo: memFree=1531792/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=93708 CPUtime=882 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 23234 0 0 0 88176 24 0 0 25 0 1 0 157723875 95956992 22851 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 23427 22851 123 215 0 23209 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 93708 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9545 /proc/meminfo: memFree=1531408/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=94048 CPUtime=941.98 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 23328 0 0 0 94174 24 0 0 25 0 1 0 157723875 96305152 22945 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134577059 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 23512 22945 123 215 0 23294 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 94048 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9545 /proc/meminfo: memFree=1531152/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=94428 CPUtime=1001.96 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 23383 0 0 0 100172 24 0 0 25 0 1 0 157723875 96694272 23000 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 23607 23000 123 215 0 23389 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 94428 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9545 /proc/meminfo: memFree=1531152/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=94428 CPUtime=1061.94 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 23392 0 0 0 106170 24 0 0 25 0 1 0 157723875 96694272 23009 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 23607 23009 123 215 0 23389 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 94428 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9545 /proc/meminfo: memFree=1531152/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=94428 CPUtime=1121.92 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 23395 0 0 0 112167 25 0 0 25 0 1 0 157723875 96694272 23012 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 23607 23012 123 215 0 23389 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 94428 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9545 /proc/meminfo: memFree=1531024/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=94588 CPUtime=1181.9 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 23417 0 0 0 118165 25 0 0 25 0 1 0 157723875 96858112 23034 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 23647 23034 123 215 0 23429 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 94588 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/71 9721 /proc/meminfo: memFree=1529408/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=94752 CPUtime=1241.79 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 23477 0 0 0 124154 25 0 0 25 0 1 0 157723875 97026048 23094 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 23688 23094 123 215 0 23470 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 94752 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9743 /proc/meminfo: memFree=1527120/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=98252 CPUtime=1301.76 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 24345 0 0 0 130150 26 0 0 25 0 1 0 157723875 100610048 23962 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 24563 23962 123 215 0 24345 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 98252 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9743 /proc/meminfo: memFree=1526928/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=98432 CPUtime=1361.74 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 24377 0 0 0 136148 26 0 0 25 0 1 0 157723875 100794368 23994 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 24608 23994 123 215 0 24390 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 98432 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9743 /proc/meminfo: memFree=1526928/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=98432 CPUtime=1421.72 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 24377 0 0 0 142146 26 0 0 25 0 1 0 157723875 100794368 23994 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 24608 23994 123 215 0 24390 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 98432 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9743 /proc/meminfo: memFree=1526608/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=98872 CPUtime=1481.7 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 24471 0 0 0 148144 26 0 0 25 0 1 0 157723875 101244928 24088 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 24718 24088 123 215 0 24500 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 98872 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9743 /proc/meminfo: memFree=1526608/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=99012 CPUtime=1541.67 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 24486 0 0 0 154141 26 0 0 25 0 1 0 157723875 101388288 24103 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 24753 24103 123 215 0 24535 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 99012 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9743 /proc/meminfo: memFree=1526416/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=99532 CPUtime=1601.66 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 24592 0 0 0 160139 27 0 0 25 0 1 0 157723875 101920768 24209 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 24883 24209 123 215 0 24665 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 99532 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9743 /proc/meminfo: memFree=1525968/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=99672 CPUtime=1661.64 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 24657 0 0 0 166137 27 0 0 25 0 1 0 157723875 102064128 24266 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 24918 24266 123 215 0 24700 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 99672 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9743 /proc/meminfo: memFree=1525904/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=99836 CPUtime=1721.62 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 24686 0 0 0 172135 27 0 0 25 0 1 0 157723875 102232064 24295 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 24959 24295 123 215 0 24741 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 99836 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9743 /proc/meminfo: memFree=1525840/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=100048 CPUtime=1781.6 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 24715 0 0 0 178133 27 0 0 25 0 1 0 157723875 102449152 24324 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 25012 24324 123 215 0 24794 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 100048 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9743 /proc/meminfo: memFree=1525648/2055920 swapFree=4182972/4192956 [pid=9544] ppid=9542 vsize=100208 CPUtime=1800.09 /proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 24761 0 0 0 179982 27 0 0 25 0 1 0 157723875 102612992 24370 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9544/statm: 25052 24370 123 215 0 24834 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 100208 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.83 CPU time (s): 1800.13 CPU user time (s): 1799.83 CPU system time (s): 0.295955 CPU usage (%): 99.9612 Max. virtual memory (cumulated for all children) (KiB): 100208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.83 system time used= 0.295955 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24763 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= 104 involuntary context switches= 2345 runsolver used 1.27381 second user time and 3.74743 second system time The end
Begin job on node25 on Fri Apr 20 19:41:08 UTC 2007 IDJOB= 372463 IDBENCH= 24974 IDSOLVER= 156 FILE ID= node25/372463-1177098068 PBS_JOBID= 4640362 Free space on /tmp= 66366 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_004_area_delay.opb COMMAND LINE= /tmp/evaluation/372463-1177098068/minisat+ /tmp/evaluation/372463-1177098068/instance-372463-1177098068.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node25/convwatcher-372463-1177098068 -o ROOT/results/node25/conversion-372463-1177098068 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372463-1177098068/instance-372463-1177098068.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-372463-1177098068 -o ROOT/results/node25/solver-372463-1177098068 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372463-1177098068/minisat+ /tmp/evaluation/372463-1177098068/instance-372463-1177098068.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 45c2f7ac01d7ade9fbe465857931ee2b RANDOM SEED= 678293024 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1623656 kB Buffers: 75180 kB Cached: 305336 kB SwapCached: 3684 kB Active: 207248 kB Inactive: 184132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1623656 kB SwapTotal: 4192956 kB SwapFree: 4182972 kB Dirty: 2908 kB Writeback: 0 kB Mapped: 15564 kB Slab: 27024 kB Committed_AS: 4068172 kB PageTables: 1472 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= 66366 MiB End job on node25 on Fri Apr 20 20:11:11 UTC 2007