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