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