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