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