Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 26 | 1800.01 | 1800.73 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_009_area_delay.opb |
MD5SUM | 2aa6eb5ee09e1484657dfe3626167241 |
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 | 24 |
Best CPU time to get the best result obtained on this benchmark | 35.0187 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | YES |
Number of variables | 6148 |
Total number of constraints | 19000 |
Number of constraints which are clauses | 19000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 2987 |
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 | 2987 |
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 | 2987 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/372708-1177124722/instance-372708-1177124722.opb 0.00/0.00 c File size is 556371 bytes. 0.09/0.10 c Highest Coefficient sum: 2987 0.09/0.10 c Parsing was ok!! 0.09/0.10 c Total parsing time: 0.102 s 0.09/0.11 c Var: 6148 Constr: 19000 19000/0/0 Lit: 45741 Watch. Lit: 37513 0.09/0.11 c Obj. Vars: 2987 (48.5849 % of total variables) 0.19/0.25 c Pre-processing Time: 0.247 s 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 0 5162 15520 38219 2 31040 5173 0 0 0.25 0.19/0.25 c Switching off LPR mode. 0.19/0.25 o 27 0.255 482.92/483.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 482.92/483.18 c 1 5162 15522 40743 2 33517 6173 2 3 0.26 482.92/483.18 c 101 5162 15622 44771 2 33717 6791 102 276 0.36 482.92/483.18 c 351 5162 15872 52860 3 34217 7471 352 585 0.60 482.92/483.18 c 826 5162 16347 74993 4 35167 8219 827 691 1.20 482.92/483.18 c 1640 5162 17161 107306 6 36795 9041 1641 783 2.09 482.92/483.18 c 2961 5162 18482 173705 9 39437 9946 2962 914 3.24 482.92/483.18 c 5046 5162 20567 292453 14 43607 10941 5047 792 6.37 482.92/483.18 c 8269 5162 23790 482179 20 50053 12036 8270 879 9.40 482.92/483.18 c 13205 5162 21539 378421 17 45551 13240 6019 817 16.15 482.92/483.18 c 20711 5162 29045 735224 25 60563 14565 13525 759 27.28 482.92/483.18 c 32072 5162 22804 319759 14 48081 16022 7284 758 42.28 482.92/483.18 c 49216 5162 29534 1040460 35 61541 17625 14014 752 65.43 482.92/483.18 c 75036 5162 33593 919708 27 69659 19388 18073 676 110.85 482.92/483.18 c 113868 5162 25215 471650 18 52903 21327 9695 587 193.68 482.92/483.18 c 172220 5162 32342 820226 25 67157 23460 16822 555 310.30 482.92/483.18 c 259853 5162 31871 954333 29 66215 25807 16351 551 471.48 482.92/483.18 o 26 483.008 1799.95/1800.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.95/1800.64 c 265117 5162 37136 1206103 32 79219 6173 21616 548 483.01 1799.95/1800.64 c 265219 5162 18710 194606 10 39894 6791 3190 546 485.18 1799.95/1800.64 c 265470 5162 18961 204623 10 40396 7471 3441 546 485.52 1799.95/1800.64 c 265945 5162 19436 226918 11 41346 8219 3916 547 485.96 1799.95/1800.64 c 266758 5162 20249 277230 13 42972 9041 4729 548 486.40 1799.95/1800.64 c 268079 5162 21570 343559 15 45614 9946 6050 549 488.05 1799.95/1800.64 c 270161 5162 23652 446152 18 49778 10941 8132 550 491.00 1799.95/1800.64 c 273388 5162 26879 609166 22 56232 12036 11359 551 495.64 1799.95/1800.64 c 278325 5162 23753 508832 21 49980 13240 8233 554 501.65 1799.95/1800.64 c 285832 5162 22527 464637 20 47528 14565 7007 558 511.39 1799.95/1800.64 c 297194 5162 24439 526561 21 51352 16022 8919 565 525.81 1799.95/1800.64 c 314338 5162 31412 1049788 33 65298 17625 15892 580 541.48 1799.95/1800.64 c 340158 5162 24334 493165 20 51142 19388 8814 572 594.39 1799.95/1800.64 c 378992 5162 26585 662903 24 55644 21327 11065 601 630.52 1799.95/1800.64 c 437344 5162 34214 732298 21 70902 23460 18694 564 774.07 1799.95/1800.64 c 524976 5162 34634 1055352 30 71742 25807 19114 590 889.05 1799.95/1800.64 c 656528 5162 29263 732154 25 61000 28388 13743 596 1101.27 1799.95/1800.64 c 853961 5162 31938 913175 28 66350 31227 16418 581 1467.50 1799.95/1800.64 c Resources Exceeded 1799.95/1800.64 v -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 1799.95/1800.64 v -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 1799.95/1800.64 v -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 1799.95/1800.64 v -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 1799.95/1800.64 v -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 1799.95/1800.64 v -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 1799.95/1800.64 v -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 1799.95/1800.64 v -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 1799.95/1800.64 v -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 1799.95/1800.64 v -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 1799.95/1800.64 v -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 1799.95/1800.64 v -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 1799.95/1800.64 v -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 1799.95/1800.64 v -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 1799.95/1800.64 v -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x807 -x809 -x811 -x813 -x815 -x817 -x819 1799.95/1800.64 v -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 1799.95/1800.64 v -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 1799.95/1800.64 v -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 1799.95/1800.64 v -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 1799.95/1800.64 v -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 1799.95/1800.64 v -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 1799.95/1800.64 v -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 1799.95/1800.64 v -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 1799.95/1800.64 v -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 1799.95/1800.64 v -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 1799.95/1800.64 v -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 1799.95/1800.64 v -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 1799.95/1800.64 v -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 x1290 -x1292 -x1294 1799.95/1800.64 v -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 1799.95/1800.64 v -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 1799.95/1800.64 v -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 1799.95/1800.64 v -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 1799.95/1800.64 v -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 1799.95/1800.64 v -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 1799.95/1800.64 v -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 1799.95/1800.64 v -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 1799.95/1800.64 v -x1568 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 1799.95/1800.64 v -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 1799.95/1800.64 v -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 1799.95/1800.64 v -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 1799.95/1800.64 v -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 1799.95/1800.64 v -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 1799.95/1800.64 v -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 1799.95/1800.64 v -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 1799.95/1800.64 v -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1864 -x1866 -x1868 -x1870 1799.95/1800.64 v -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 1799.95/1800.64 v -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 1799.95/1800.64 v -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 1799.95/1800.64 v -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 1799.95/1800.64 v -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 1799.95/1800.64 v -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 1799.95/1800.64 v -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 1799.95/1800.64 v -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 1799.95/1800.64 v -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 1799.95/1800.64 v -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 1799.95/1800.64 v -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 1799.95/1800.64 v -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 1799.95/1800.64 v -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 1799.95/1800.64 v -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 1799.95/1800.64 v -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 1799.95/1800.64 v -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 1799.95/1800.64 v -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 1799.95/1800.64 v -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 1799.95/1800.64 v -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 1799.95/1800.64 v -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 1799.95/1800.64 v -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 1799.95/1800.64 v -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 1799.95/1800.64 v -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 x2648 -x2650 1799.95/1800.64 v -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 1799.95/1800.64 v -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 1799.95/1800.64 v -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 1799.95/1800.64 v -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 x2786 1799.95/1800.64 v -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 1799.95/1800.64 v -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 1799.95/1800.64 v -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 1799.95/1800.64 v -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 1799.95/1800.64 v -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 1799.95/1800.64 v -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 1799.95/1800.64 v -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 1799.95/1800.64 v -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 1799.95/1800.64 v -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 1799.95/1800.64 v -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 x3120 -x3122 -x3124 -x3126 1799.95/1800.64 v -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 1799.95/1800.64 v -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 1799.95/1800.64 v -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 1799.95/1800.64 v -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 1799.95/1800.64 v -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 1799.95/1800.64 v -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 1799.95/1800.64 v -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 1799.95/1800.64 v -x3366 -x3368 -x3370 -x3372 -x3374 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 1799.95/1800.64 v -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 1799.95/1800.64 v -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 1799.95/1800.64 v -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 1799.95/1800.64 v -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 1799.95/1800.64 v -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 1799.95/1800.64 v -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 1799.95/1800.64 v -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 1799.95/1800.64 v -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 1799.95/1800.64 v -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 1799.95/1800.64 v -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 1799.95/1800.64 v -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 1799.95/1800.64 v -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 1799.95/1800.64 v -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 1799.95/1800.64 v -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 1799.95/1800.64 v -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 1799.95/1800.64 v -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 1799.95/1800.64 v -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 1799.95/1800.64 v -x3976 -x3978 -x3980 x3982 -x3984 -x3986 -x3988 x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 1799.95/1800.64 v -x4012 -x4014 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 1799.95/1800.64 v -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 1799.95/1800.64 v -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 1799.95/1800.64 v -x4113 x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 1799.95/1800.64 v -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4179 1799.95/1800.64 v -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 1799.95/1800.64 v -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 1799.95/1800.64 v -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 x4271 -x4273 -x4275 -x4277 -x4279 -x4281 1799.95/1800.64 v -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x4311 -x4313 x4315 1799.95/1800.64 v -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 1799.95/1800.64 v -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 1799.95/1800.64 v -x4385 -x4387 -x4389 -x4391 x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 x4415 -x4417 -x4419 1799.95/1800.64 v -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x4447 -x4449 -x4451 -x4453 1799.95/1800.64 v -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 -x4485 -x4487 1799.95/1800.64 v -x4489 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x4519 -x4521 1799.95/1800.64 v -x4523 -x4525 -x4527 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 1799.95/1800.64 v -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589 1799.95/1800.64 v -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 1799.95/1800.64 v -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 -x4639 -x4641 x4643 -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 1799.95/1800.64 v -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 1799.95/1800.64 v -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 1799.95/1800.64 v -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759 1799.95/1800.64 v -x4761 -x4763 -x4765 -x4767 -x4769 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 1799.95/1800.64 v -x4795 -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 1799.95/1800.64 v -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 1799.95/1800.64 v -x4863 -x4865 -x4867 -x4869 -x4871 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 1799.95/1800.64 v -x4897 -x4899 -x4901 -x4903 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 1799.95/1800.64 v -x4931 -x4933 -x4935 -x4937 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 1799.95/1800.64 v -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 1799.95/1800.64 v -x4998 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 1799.95/1800.64 v -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 1799.95/1800.64 v -x5066 -x5068 -x5070 -x5072 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095 -x5097 1799.95/1800.64 v -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 1799.95/1800.64 v -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157 -x5159 -x5161 -x5163 -x5165 1799.95/1800.64 v -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5178 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 x5194 -x5196 -x5198 1799.95/1800.64 v -x5200 -x5202 -x5204 -x5206 -x5208 -x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x5228 -x5230 -x5232 1799.95/1800.64 v -x5234 -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 -x5248 -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 1799.95/1800.64 v -x5268 -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x5299 1799.95/1800.64 v -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x5329 -x5331 -x5333 1799.95/1800.64 v -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 -x5363 -x5365 -x5367 1799.95/1800.64 v -x5369 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 -x5391 -x5393 -x5395 -x5397 -x5399 -x5401 1799.95/1800.64 v -x5403 -x5405 -x5407 -x5409 -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435 1799.95/1800.64 v -x5437 -x5439 -x5441 -x5443 -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467 -x5469 1799.95/1800.64 v -x5471 -x5473 -x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5494 -x5496 -x5498 -x5500 -x5502 1799.95/1800.64 v -x5504 -x5506 -x5508 -x5510 -x5512 -x5514 -x5516 -x5518 -x5520 -x5522 -x5524 -x5526 -x5528 -x5530 -x5532 -x5534 -x5536 1799.95/1800.64 v -x5538 -x5540 -x5542 -x5544 -x5546 -x5548 -x5550 -x5552 -x5554 -x5556 -x5558 -x5560 -x5562 -x5564 -x5566 -x5568 -x5570 1799.95/1800.64 v -x5572 -x5574 -x5576 -x5578 -x5580 -x5582 x5584 -x5586 -x5588 -x5590 -x5592 -x5594 -x5596 -x5598 -x5600 -x5602 -x5604 1799.95/1800.64 v -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x5628 -x5630 -x5632 -x5634 -x5636 -x5638 1799.95/1800.64 v -x5640 -x5642 -x5644 -x5646 -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5660 -x5662 -x5664 -x5666 -x5668 -x5670 -x5672 1799.95/1800.64 v -x5674 -x5676 -x5678 -x5680 -x5682 -x5684 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 -x5702 -x5704 -x5706 1799.95/1800.64 v -x5708 -x5710 -x5712 -x5714 -x5716 -x5718 -x5720 -x5722 -x5724 -x5726 -x5728 -x5730 -x5732 -x5734 -x5736 -x5738 -x5740 1799.95/1800.64 v x5742 -x5744 -x5746 -x5748 -x5750 -x5752 -x5754 -x5756 -x5758 -x5760 -x5762 -x5764 -x5766 -x5768 -x5770 -x5772 -x5774 1799.95/1800.64 v -x5776 -x5777 -x5779 -x5781 -x5783 -x5785 -x5787 -x5789 -x5791 -x5793 -x5794 -x5796 -x5798 -x5800 -x5802 -x5804 -x5806 1799.95/1800.64 v -x5808 -x5810 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 -x5834 -x5836 -x5838 -x5840 1799.95/1800.64 v -x5842 -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x5856 -x5858 -x5860 -x5862 -x5864 -x5866 -x5868 -x5870 -x5872 -x5874 1799.95/1800.64 v -x5876 -x5878 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 -x5904 -x5906 x5908 1799.95/1800.64 v -x5910 -x5912 -x5914 -x5916 -x5918 -x5920 -x5922 -x5924 -x5926 -x5928 -x5930 -x5932 -x5934 -x5936 -x5938 -x5940 -x5942 1799.95/1800.64 v -x5944 -x5946 -x5948 -x5950 -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x5964 -x5966 -x5968 -x5970 -x5972 -x5974 -x5976 1799.95/1800.64 v -x5978 -x5980 -x5982 -x5984 -x5986 -x5988 -x5990 -x5992 -x5994 -x5996 -x5998 -x6000 -x6002 x6004 -x6006 -x6008 -x6010 1799.95/1800.64 v -x6012 -x6014 x6016 -x6018 -x6020 -x6022 x6024 -x6026 -x6028 -x6030 -x6032 -x6034 -x6036 -x6038 -x6040 -x6042 -x6044 -x6046 1799.95/1800.64 v -x6048 -x6050 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6068 -x6070 -x6072 -x6074 -x6076 -x6078 -x6080 1799.95/1800.64 v -x6082 -x6084 -x6086 -x6088 -x6090 -x6092 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106 -x6108 -x6110 -x6112 x6114 1799.95/1800.64 v -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x6128 -x6130 -x6132 -x6134 -x6136 -x6138 x6140 -x6142 x6144 -x6146 x6148 -x191 1799.95/1800.64 v -x193 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 1799.95/1800.64 v -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 1799.95/1800.64 v -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 1799.95/1800.64 v -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 1799.95/1800.64 v -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 1799.95/1800.64 v -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 1799.95/1800.64 v -x445 -x1 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 1799.95/1800.64 v -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 1799.95/1800.64 v -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 1799.95/1800.64 v -x569 -x571 -x2 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 1799.95/1800.64 v -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 1799.95/1800.64 v -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 1799.95/1800.64 v -x693 -x695 -x697 -x3 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 1799.95/1800.64 v -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x4 -x761 -x763 -x765 -x767 -x769 -x771 1799.95/1800.64 v -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x808 -x810 -x812 -x814 1799.95/1800.64 v -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 1799.95/1800.64 v -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x5 -x886 -x888 -x890 -x892 -x894 -x896 1799.95/1800.64 v -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 1799.95/1800.64 v -x940 -x942 -x944 -x946 -x6 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 1799.95/1800.64 v -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x7 -x1010 -x1012 -x1014 1799.95/1800.64 v -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x8 -x1040 -x1042 -x1044 -x1046 -x1048 1799.95/1800.64 v -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 1799.95/1800.64 v -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 1799.95/1800.64 v -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 1799.95/1800.64 v -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x9 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 1799.95/1800.64 v -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 1799.95/1800.64 v -x1220 -x1222 -x1224 -x1226 -x10 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 1799.95/1800.64 v -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 1799.95/1800.64 v -x1288 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 1799.95/1800.64 v -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x11 -x1351 -x1353 -x1355 1799.95/1800.64 v -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x12 -x1381 -x1383 -x1385 -x1387 -x1389 1799.95/1800.64 v -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 1799.95/1800.64 v -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x13 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 1799.95/1800.64 v -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x14 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 1799.95/1800.64 v -x1493 -x1495 -x1497 -x1499 -x1501 -x15 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 1799.95/1800.64 v -x1527 -x1529 -x1531 -x16 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x17 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 1799.95/1800.64 v -x1559 -x1561 -x1563 -x1565 -x1567 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 1799.95/1800.64 v -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 1799.95/1800.64 v -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 1799.95/1800.64 v -x1662 -x1664 -x1666 -x1668 -x18 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 1799.95/1800.64 v -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 1799.95/1800.64 v -x1730 -x19 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 1799.95/1800.64 v -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x20 -x1794 -x1796 1799.95/1800.64 v -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x21 -x1824 -x1826 -x1828 -x1830 1799.95/1800.64 v -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1865 1799.95/1800.64 v -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x22 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 1799.95/1800.64 v -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x23 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 1799.95/1800.64 v -x1935 -x1937 -x1939 -x1941 -x1943 -x24 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x25 -x1959 -x1961 -x1963 -x1965 1799.95/1800.64 v -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 1799.95/1800.64 v -x2001 -x2003 -x2005 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x26 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 1799.95/1800.64 v -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x27 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 1799.95/1800.64 v -x2070 -x2072 -x2074 -x2076 -x2078 -x28 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 1799.95/1800.64 v -x2104 -x2106 -x2108 -x29 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x30 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 1799.95/1800.64 v -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x31 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x32 1799.95/1800.64 v -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x33 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x34 -x2196 -x2198 1799.95/1800.64 v -x2200 -x35 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 1799.95/1800.64 v -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 1799.95/1800.64 v -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2299 -x2301 1799.95/1800.64 v -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x36 -x2327 -x2329 -x2331 -x2333 -x2335 1799.95/1800.64 v -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 1799.95/1800.64 v -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x37 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 1799.95/1800.64 v -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 1799.95/1800.64 v -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x38 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 1799.95/1800.64 v -x2473 -x2475 -x2477 -x2479 -x39 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 1799.95/1800.64 v -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 1799.95/1800.64 v -x2541 -x40 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x41 1799.95/1800.64 v -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x42 -x2603 -x2605 1799.95/1800.64 v -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 1799.95/1800.64 v -x2641 -x2643 -x2645 x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 1799.95/1800.64 v -x2675 -x2677 -x43 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 1799.95/1800.64 v -x44 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x45 -x2739 1799.95/1800.64 v -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x46 -x2769 -x2771 -x2773 1799.95/1800.64 v -x2775 -x2777 -x2779 -x2781 -x2783 x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 1799.95/1800.64 v -x2809 -x2811 -x47 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x48 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 1799.95/1800.64 v -x49 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x50 -x2855 -x2857 -x2859 -x51 -x2861 -x2863 -x2865 -x2867 -x2869 1799.95/1800.64 v -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 1799.95/1800.64 v -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x52 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 1799.95/1800.64 v -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x53 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 1799.95/1800.64 v -x2973 -x2975 -x2977 -x2979 -x2981 -x54 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x55 -x2997 -x2999 -x3001 -x3003 1799.95/1800.64 v -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x56 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 1799.95/1800.64 v -x3039 -x57 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x58 -x3053 -x3055 -x3057 -x59 -x3059 -x3061 -x3063 -x3065 -x3067 1799.95/1800.64 v -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x60 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 1799.95/1800.64 v -x61 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x62 -x3131 -x3133 1799.95/1800.64 v -x3135 -x63 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x64 -x3151 -x3153 -x3155 -x65 -x3157 -x3159 -x3161 -x66 -x3163 1799.95/1800.64 v -x3165 -x3167 -x67 -x3169 -x68 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 1799.95/1800.64 v -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 1799.95/1800.64 v -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 1799.95/1800.64 v -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x69 -x3297 1799.95/1800.64 v -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 1799.95/1800.64 v -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x70 -x3359 -x3361 -x3363 -x3365 1799.95/1800.64 v -x3367 -x3369 -x3371 -x3373 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x3400 1799.95/1800.64 v -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x71 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 1799.95/1800.64 v -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x72 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 1799.95/1800.64 v -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 1799.95/1800.64 v -x3504 -x3506 -x3508 -x3510 -x73 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 1799.95/1800.64 v -x3538 -x3540 -x74 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 1799.95/1800.64 v -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 1799.95/1800.64 v -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3623 -x3625 -x3627 -x3629 -x75 -x3631 -x3633 -x3635 -x3637 -x3639 1799.95/1800.64 v -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x76 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 1799.95/1800.64 v -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x77 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x78 -x3705 1799.95/1800.64 v -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 1799.95/1800.64 v -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x79 -x3767 -x3769 -x3771 -x3773 1799.95/1800.64 v -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x80 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 1799.95/1800.64 v -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x81 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 1799.95/1800.64 v -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x82 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x83 -x3871 -x3873 1799.95/1800.64 v -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x84 -x3901 -x3903 -x3905 -x3907 1799.95/1800.64 v -x3909 -x3911 -x3913 -x85 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x86 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 1799.95/1800.64 v -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x87 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 1799.95/1800.64 v -x3975 -x3977 -x3979 x3981 -x3983 -x3985 x88 -x3987 x3989 -x3991 -x89 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 1799.95/1800.64 v -x4007 -x4009 -x4011 -x4013 -x4016 -x4018 -x4020 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 1799.95/1800.64 v -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x90 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 1799.95/1800.64 v -x4076 -x4078 -x4080 -x4082 -x91 -x4084 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 1799.95/1800.64 v -x4110 -x4112 x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 1799.95/1800.64 v -x92 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x93 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 1799.95/1800.64 v -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x94 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x95 -x4202 -x4204 -x4206 1799.95/1800.64 v -x4208 -x4210 -x4212 -x4214 -x96 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240 1799.95/1800.64 v -x4242 -x4244 -x97 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 x4270 -x4272 -x98 1799.95/1800.64 v -x4274 -x4276 -x4278 -x99 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 1799.95/1800.64 v -x4308 x100 -x4310 -x4312 x4314 -x4316 -x4318 -x4320 -x4322 -x101 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x102 1799.95/1800.64 v -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x103 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x104 -x4366 -x4368 1799.95/1800.64 v -x4370 -x105 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x106 -x4386 -x4388 -x4390 x4392 -x4394 -x107 -x4396 -x4398 1799.95/1800.64 v -x4400 -x4402 -x4404 -x4406 -x4408 -x108 -x4410 -x4412 x4414 x109 -x4416 -x4418 -x4420 -x110 -x4422 -x111 -x4424 -x4426 1799.95/1800.64 v -x4428 -x4430 -x4432 -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 1799.95/1800.64 v -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x112 -x4486 -x4488 -x4490 -x4492 1799.95/1800.64 v -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x113 -x4516 -x4518 -x4520 -x4522 -x4524 1799.95/1800.64 v -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x114 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 1799.95/1800.64 v -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x115 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 1799.95/1800.64 v -x116 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x117 -x4620 1799.95/1800.64 v -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 x4642 -x4644 -x4646 -x118 -x4648 -x4650 -x4652 -x4654 1799.95/1800.64 v -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x119 -x4678 -x4680 -x4682 -x4684 -x4686 1799.95/1800.64 v -x4688 -x4690 -x120 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x121 -x4706 -x4708 -x4710 -x122 -x4712 -x4714 -x4716 1799.95/1800.64 v -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x123 -x4742 -x4744 -x4746 -x4748 1799.95/1800.64 v -x4750 -x4752 -x4754 -x124 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x125 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 1799.95/1800.64 v -x4782 -x126 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x127 -x4798 -x4800 -x4802 x128 -x4804 -x4806 -x4808 -x4810 1799.95/1800.64 v -x4812 x4814 -x4816 -x129 -x4818 -x4820 -x4822 -x130 -x4824 -x4826 -x4828 -x131 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 1799.95/1800.64 v -x4842 -x132 -x4844 -x4846 -x4848 -x133 -x4850 -x4852 -x4854 -x134 -x4856 -x135 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 1799.95/1800.64 v -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x4898 -x4900 -x4902 1799.95/1800.64 v -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 1799.95/1800.64 v -x4939 -x4941 -x4943 -x4945 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -x4971 1799.95/1800.64 v -x4973 -x4975 -x136 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003 1799.95/1800.64 v -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 1799.95/1800.64 v -x137 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x5069 1799.95/1800.64 v -x5071 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x138 -x5100 -x5102 1799.95/1800.64 v -x5104 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x139 -x5130 -x5132 -x5134 1799.95/1800.64 v -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 1799.95/1800.64 v -x5170 -x5172 -x5174 -x5176 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 x5193 -x5195 -x5197 -x5199 -x5201 -x5203 1799.95/1800.64 v -x5205 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x140 -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x5231 -x5233 -x5235 1799.95/1800.64 v -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x141 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x142 -x5263 -x5265 -x5267 1799.95/1800.64 v -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5282 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 1799.95/1800.64 v -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x143 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334 1799.95/1800.64 v -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x144 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 1799.95/1800.64 v -x5368 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 -x145 -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 -x146 -x5398 1799.95/1800.64 v -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x147 -x5428 -x5430 1799.95/1800.64 v -x5432 -x5434 -x5436 -x5438 -x5440 -x148 -x5442 -x5444 -x5446 -x5448 -x5450 -x5452 -x5454 -x149 -x5456 -x5458 -x5460 -x150 1799.95/1800.64 v -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5495 1799.95/1800.64 v -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x5509 -x5511 -x5513 -x5515 -x5517 -x5519 -x5521 -x151 -x5523 -x5525 -x5527 1799.95/1800.64 v -x5529 -x5531 -x5533 -x5535 -x5537 -x5539 -x5541 -x5543 -x5545 -x5547 -x5549 -x152 -x5551 -x5553 -x5555 -x5557 -x5559 1799.95/1800.64 v -x5561 -x5563 -x5565 -x5567 -x5569 -x5571 -x5573 -x5575 -x5577 -x5579 -x5581 x5583 -x5585 -x5587 -x5589 -x5591 -x5593 1799.95/1800.64 v -x153 -x5595 -x5597 -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611 -x5613 -x5615 -x5617 -x5619 -x5621 -x5623 -x154 -x5625 1799.95/1800.64 v -x5627 -x5629 -x5631 -x5633 -x5635 -x155 -x5637 -x5639 -x5641 -x5643 -x5645 -x5647 -x5649 -x156 -x5651 -x5653 -x5655 -x157 1799.95/1800.64 v -x5657 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x5675 -x5677 -x5679 -x5681 -x5683 -x5685 -x158 -x5687 1799.95/1800.64 v -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x159 -x5701 -x5703 -x5705 -x5707 -x5709 -x5711 -x5713 -x160 -x5715 -x5717 -x161 1799.95/1800.64 v -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x162 -x5733 -x5735 -x5737 -x5739 x5741 -x5743 -x163 -x5745 -x164 -x5747 1799.95/1800.64 v -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x5765 -x5767 -x5769 -x5771 -x5773 -x5775 -x5778 -x5780 -x5782 1799.95/1800.64 v -x5784 -x5786 -x5788 -x5790 -x5792 -x5795 -x5797 -x5799 -x165 -x5801 -x5803 -x5805 -x5807 -x5809 -x5811 -x5813 -x5815 1799.95/1800.64 v -x5817 -x5819 -x5821 -x5823 -x5825 -x5827 -x5829 -x166 -x5831 -x5833 -x5835 -x5837 -x5839 -x5841 -x5843 -x5845 -x5847 1799.95/1800.64 v -x5849 -x5851 -x5853 -x5855 -x5857 -x5859 -x167 -x5861 -x5863 -x5865 -x5867 -x5869 -x5871 -x5873 -x168 -x5875 -x5877 -x5879 1799.95/1800.64 v -x5881 -x5883 -x5885 -x5887 -x5889 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 -x5903 -x5905 x5907 -x5909 -x5911 -x5913 1799.95/1800.64 v -x5915 -x5917 -x169 -x5919 -x5921 -x5923 -x5925 -x5927 -x5929 -x5931 -x170 -x5933 -x5935 -x5937 -x171 -x5939 -x5941 -x5943 1799.95/1800.64 v -x5945 -x5947 -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 -x5965 -x5967 -x172 -x5969 -x5971 -x5973 -x5975 1799.95/1800.64 v -x5977 -x5979 -x5981 -x173 -x5983 -x5985 -x5987 -x5989 -x5991 -x5993 -x5995 -x174 -x5997 -x5999 -x6001 x6003 -x6005 -x6007 1799.95/1800.64 v -x6009 -x6011 -x6013 x6015 -x6017 -x6019 -x6021 x6023 -x6025 -x6027 -x175 -x6029 -x176 -x6031 -x6033 -x6035 -x6037 -x6039 1799.95/1800.64 v -x6041 -x6043 -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x177 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 -x178 -x6071 1799.95/1800.64 v -x6073 -x6075 -x6077 -x6079 -x6081 -x6083 -x179 -x6085 -x6087 -x6089 -x180 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 1799.95/1800.64 v -x181 -x6105 -x6107 -x182 -x6109 -x6111 x6113 x183 -x6115 -x184 -x6117 -x6119 -x6121 -x6123 -x6125 -x6127 -x185 -x6129 1799.95/1800.64 v -x6131 -x6133 -x186 -x6135 -x6137 x6139 x187 -x6141 x6143 -x6145 -x188 x6147 x189 x190 1799.95/1800.65 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.65 c 34 984159 656453 4241788 32877 923147 17357 546 1800.00 1799.95/1800.65 c Objective: 26 1799.95/1800.65 s SATISFIABLE 1799.95/1800.65 c Total time: 1800 s
OK 26
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node33/watcher-372708-1177124722 -o ROOT/results/node33/solver-372708-1177124722 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372708-1177124722/instance-372708-1177124722.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17572 /proc/meminfo: memFree=1702720/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=12280 CPUtime=0 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 370 0 0 0 0 0 0 0 18 0 1 0 160387677 12574720 338 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 3070 338 281 324 0 2003 0 [startup+0.0636511 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17572 /proc/meminfo: memFree=1702720/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=5884 CPUtime=0.05 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 806 0 0 0 5 0 0 0 18 0 1 0 160387677 6025216 774 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134525337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 1471 774 361 324 0 404 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5884 [startup+0.101658 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17572 /proc/meminfo: memFree=1702720/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=6708 CPUtime=0.09 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 1055 0 0 0 9 0 0 0 18 0 1 0 160387677 6868992 1023 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 1677 1024 412 324 0 610 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6708 [startup+0.301699 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17572 /proc/meminfo: memFree=1702720/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=7764 CPUtime=0.29 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 1513 0 0 0 26 3 0 0 19 0 1 0 160387677 7950336 1324 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 1941 1324 313 324 0 1010 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7764 [startup+0.70278 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17572 /proc/meminfo: memFree=1702720/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=7896 CPUtime=0.69 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 1521 0 0 0 66 3 0 0 22 0 1 0 160387677 8085504 1332 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 1974 1332 313 324 0 1043 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7896 [startup+1.50195 s] /proc/loadavg: 0.92 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1698360/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=8272 CPUtime=1.49 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 1639 0 0 0 146 3 0 0 25 0 1 0 160387677 8470528 1450 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 2068 1450 313 324 0 1137 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8272 [startup+3.10127 s] /proc/loadavg: 0.92 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1697784/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=9292 CPUtime=3.09 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 1885 0 0 0 305 4 0 0 25 0 1 0 160387677 9515008 1696 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 2323 1696 313 324 0 1392 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9292 [startup+6.30193 s] /proc/loadavg: 0.93 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1695608/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=11164 CPUtime=6.28 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 2334 0 0 0 623 5 0 0 25 0 1 0 160387677 11431936 2145 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 2791 2145 313 324 0 1860 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 11164 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1690424/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=16248 CPUtime=12.68 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 3604 0 0 0 1260 8 0 0 25 0 1 0 160387677 16637952 3415 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 4062 3415 313 324 0 3131 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 16248 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1688056/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=18104 CPUtime=25.48 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 4079 0 0 0 2536 12 0 0 25 0 1 0 160387677 18538496 3890 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 4526 3890 313 324 0 3595 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18104 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1686264/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=19868 CPUtime=51.07 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 4523 0 0 0 5088 19 0 0 25 0 1 0 160387677 20344832 4334 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11376513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 4967 4334 313 324 0 4036 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19868 [startup+102.307 s] /proc/loadavg: 0.98 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1680440/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=25724 CPUtime=102.26 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 5998 0 0 0 10197 29 0 0 25 0 1 0 160387677 26341376 5809 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 6431 5809 313 324 0 5500 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 25724 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1680440/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=25732 CPUtime=162.23 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 6000 0 0 0 16184 39 0 0 25 0 1 0 160387677 26349568 5811 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 6433 5811 313 324 0 5502 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 25732 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1679608/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=26560 CPUtime=222.21 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 6203 0 0 0 22170 51 0 0 25 0 1 0 160387677 27197440 6014 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11386597 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 6640 6014 313 324 0 5709 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 26560 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1679608/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=26556 CPUtime=282.19 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 6203 0 0 0 28157 62 0 0 25 0 1 0 160387677 27193344 6014 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11378529 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 6639 6014 313 324 0 5708 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 26556 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1677560/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=28800 CPUtime=342.17 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 6753 0 0 0 34144 73 0 0 25 0 1 0 160387677 29491200 6564 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11386580 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 7200 6564 313 324 0 6269 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 28800 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1673208/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=32892 CPUtime=402.15 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 7788 0 0 0 40131 84 0 0 25 0 1 0 160387677 33681408 7599 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 8223 7599 313 324 0 7292 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 32892 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1671416/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=34668 CPUtime=462.12 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 8238 0 0 0 46116 96 0 0 25 0 1 0 160387677 35500032 8049 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 8667 8049 313 324 0 7736 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 34668 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1671416/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=34644 CPUtime=522.1 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 8238 0 0 0 52101 109 0 0 25 0 1 0 160387677 35475456 8044 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572879 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 8661 8044 313 324 0 7730 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 34644 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1671480/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=34380 CPUtime=582.09 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 8238 0 0 0 58088 121 0 0 25 0 1 0 160387677 35205120 7978 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 8595 7978 313 324 0 7664 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 34380 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1671480/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=34372 CPUtime=642.06 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 8238 0 0 0 64066 140 0 0 25 0 1 0 160387677 35196928 7976 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 8593 7976 313 324 0 7662 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 34372 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1671544/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=34544 CPUtime=881.97 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 8609 0 0 0 87999 198 0 0 25 0 1 0 160387677 35373056 8014 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 8636 8014 313 324 0 7705 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 34544 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1671480/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=34552 CPUtime=941.96 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 8611 0 0 0 93988 208 0 0 25 0 1 0 160387677 35381248 8016 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 8638 8016 313 324 0 7707 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 34552 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1670520/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=35492 CPUtime=1001.93 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 8847 0 0 0 99969 224 0 0 25 0 1 0 160387677 36343808 8252 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551846 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 8873 8252 313 324 0 7942 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 35492 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1669368/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=36720 CPUtime=1061.91 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 9155 0 0 0 105948 243 0 0 25 0 1 0 160387677 37601280 8560 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 9180 8560 313 324 0 8249 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 36720 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1669368/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=36732 CPUtime=1121.89 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 9157 0 0 0 111931 258 0 0 25 0 1 0 160387677 37613568 8562 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 9183 8562 313 324 0 8252 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 36732 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1669560/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=36732 CPUtime=1181.86 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 9157 0 0 0 117919 267 0 0 25 0 1 0 160387677 37613568 8562 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 9183 8562 313 324 0 8252 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 36732 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1669432/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=36568 CPUtime=1241.85 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 9158 0 0 0 123909 276 0 0 25 0 1 0 160387677 37445632 8525 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11062388 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 9142 8525 313 324 0 8211 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 36568 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1669432/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=36568 CPUtime=1301.83 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 9158 0 0 0 129892 291 0 0 25 0 1 0 160387677 37445632 8525 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11378320 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 9142 8525 313 324 0 8211 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 36568 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1669432/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=36568 CPUtime=1361.8 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 9158 0 0 0 135876 304 0 0 25 0 1 0 160387677 37445632 8525 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 9142 8525 313 324 0 8211 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 36568 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1669432/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=36568 CPUtime=1421.79 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 9158 0 0 0 141861 318 0 0 25 0 1 0 160387677 37445632 8525 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 9142 8525 313 324 0 8211 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 36568 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1669432/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=36568 CPUtime=1481.76 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 9158 0 0 0 147844 332 0 0 25 0 1 0 160387677 37445632 8525 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11386600 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 9142 8525 313 324 0 8211 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 36568 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17573 /proc/meminfo: memFree=1669432/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=36576 CPUtime=1541.74 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 9160 0 0 0 153834 340 0 0 25 0 1 0 160387677 37453824 8527 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 9144 8527 313 324 0 8213 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 36576 [startup+1602.3 s] /proc/loadavg: 1.05 1.00 1.00 2/78 17573 /proc/meminfo: memFree=1669432/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=36576 CPUtime=1601.72 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 9160 0 0 0 159821 351 0 0 25 0 1 0 160387677 37453824 8527 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11376499 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 9144 8527 313 324 0 8213 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 36576 [startup+1662.3 s] /proc/loadavg: 1.02 1.00 1.00 2/78 17573 /proc/meminfo: memFree=1663992/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=42196 CPUtime=1661.7 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 10554 0 0 0 165811 359 0 0 25 0 1 0 160387677 43208704 9921 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 10549 9921 313 324 0 9618 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 42196 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17573 /proc/meminfo: memFree=1661880/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=44220 CPUtime=1721.67 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 11074 0 0 0 171797 370 0 0 25 0 1 0 160387677 45281280 10408 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 11055 10408 313 324 0 10124 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 44220 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17573 /proc/meminfo: memFree=1661880/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=44220 CPUtime=1781.65 /proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 11107 0 0 0 177787 378 0 0 25 0 1 0 160387677 45281280 10408 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17572/statm: 11055 10408 313 324 0 10124 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 44220 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/77 17573 /proc/meminfo: memFree=1702208/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=0 CPUtime=1800.01 /proc/17572/stat : 17572 (bsolo3.0.16) D 17570 17572 16360 0 -1 4194308 11141 0 0 0 179619 382 0 0 15 0 1 0 160387677 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 1 0 0 /proc/17572/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/77 17573 /proc/meminfo: memFree=1702208/2055920 swapFree=4180512/4192956 [pid=17572] ppid=17570 vsize=0 CPUtime=1800.01 /proc/17572/stat : 17572 (bsolo3.0.16) D 17570 17572 16360 0 -1 4194308 11141 0 0 0 179619 382 0 0 15 0 1 0 160387677 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 1 0 0 /proc/17572/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.01 CPU user time (s): 1796.19 CPU system time (s): 3.82042 CPU usage (%): 99.9599 Max. virtual memory (cumulated for all children) (KiB): 44220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.19 system time used= 3.82042 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11141 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= 18 involuntary context switches= 4098 runsolver used 2.16467 second user time and 4.36234 second system time The end
Begin job on node33 on Sat Apr 21 03:05:22 UTC 2007 IDJOB= 372708 IDBENCH= 24991 IDSOLVER= 163 FILE ID= node33/372708-1177124722 PBS_JOBID= 4640488 Free space on /tmp= 66473 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_009_area_delay.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372708-1177124722/instance-372708-1177124722.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-372708-1177124722 -o ROOT/results/node33/solver-372708-1177124722 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372708-1177124722/instance-372708-1177124722.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 2aa6eb5ee09e1484657dfe3626167241 RANDOM SEED= 894252905 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node33.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.272 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.272 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1703128 kB Buffers: 40400 kB Cached: 213888 kB SwapCached: 2276 kB Active: 212268 kB Inactive: 86496 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1703128 kB SwapTotal: 4192956 kB SwapFree: 4180512 kB Dirty: 5004 kB Writeback: 0 kB Mapped: 59388 kB Slab: 39332 kB Committed_AS: 1732744 kB PageTables: 1992 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66473 MiB End job on node33 on Sat Apr 21 03:35:23 UTC 2007