Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 14 | 38.1172 | 38.1357 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir05_area_delay.opb |
MD5SUM | b0c7ff7d1fa11c8e15b9d528879223a9 |
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 | 14 |
Best CPU time to get the best result obtained on this benchmark | 10.0265 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 14 |
Optimality of the best value was proved | YES |
Number of variables | 3659 |
Total number of constraints | 9385 |
Number of constraints which are clauses | 9385 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 1787 |
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 | 1787 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1787 |
Number of bits of the biggest sum of numbers | 11 |
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/433720-1177962574/instance-433720-1177962574.opb 0.00/0.00 c File size is 284407 bytes. 0.00/0.05 c Highest Coefficient sum: 1787 0.00/0.05 c Parsing was ok!! 0.00/0.05 c Total parsing time: 0.055 s 0.00/0.06 c Var: 3659 Constr: 9385 9385/0/0 Lit: 23994 Watch. Lit: 18668 0.00/0.06 c Obj. Vars: 1787 (48.8385 % of total variables) 0.10/0.13 c Formula reductions applied at preprocessing 0.10/0.13 c Pre-processing Time: 0.128 s 1.39/1.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.48 c 0 3303 7867 20718 2 15734 2622 0 0 0.13 1.39/1.48 c Initial Lower Bound: 13 1.39/1.48 c Initial Path Cost: 1 1.39/1.48 o 18 1.48 1.90/1.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.90/1.97 c 1 3303 7869 22410 2 17407 3622 2 0 1.48 1.90/1.97 o 14 1.975 * 38.08/38.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 38.08/38.13 c 1 3303 7870 24096 3 19082 3622 3 0 1.98 38.08/38.13 v -x196 -x198 -x200 -x202 x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 38.08/38.13 v -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 38.08/38.13 v -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 38.08/38.13 v -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 38.08/38.13 v -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 38.08/38.13 v -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 38.08/38.13 v -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 38.08/38.13 v -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 38.08/38.13 v -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x571 38.08/38.13 v -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 38.08/38.13 v -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 38.08/38.13 v -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 38.08/38.13 v -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 38.08/38.13 v -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 38.08/38.13 v -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 38.08/38.13 v -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 38.08/38.13 v -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x903 -x905 38.08/38.13 v -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 38.08/38.13 v -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x988 38.08/38.13 v -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 38.08/38.13 v -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 38.08/38.13 v -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 38.08/38.13 v -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 38.08/38.13 v -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 38.08/38.13 v -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 38.08/38.13 v -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 38.08/38.13 v -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1255 -x1257 -x1259 -x1261 38.08/38.13 v -x1263 -x1265 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 38.08/38.13 v -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 38.08/38.13 v -x1329 -x1331 -x1333 -x1335 -x1337 -x1338 -x1340 -x1342 -x1344 -x1346 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 38.08/38.13 v -x1361 -x1363 -x1365 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 38.08/38.13 v -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1405 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 38.08/38.13 v -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 38.08/38.13 v -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 38.08/38.13 v -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 38.08/38.13 v -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 38.08/38.13 v -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 38.08/38.13 v -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 38.08/38.13 v -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 38.08/38.13 v -x1663 -x1665 -x1667 -x1669 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 38.08/38.13 v -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1721 -x1723 -x1725 -x1727 38.08/38.13 v -x1729 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1743 -x1745 -x1747 x1749 -x1751 -x1753 -x1755 -x1757 -x1759 38.08/38.13 v -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 38.08/38.13 v -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 38.08/38.13 v -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 x1859 38.08/38.13 v -x1861 -x1863 -x1865 -x1867 -x1869 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 x1889 -x1891 38.08/38.13 v -x1893 -x1895 -x1897 -x1899 -x1901 -x1902 -x1904 -x1906 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 38.08/38.13 v -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 38.08/38.13 v -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 38.08/38.13 v -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 38.08/38.13 v -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 38.08/38.13 v -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 38.08/38.13 v -x2094 -x2096 -x2098 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 38.08/38.13 v x2127 -x2129 -x2131 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 38.08/38.13 v -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 38.08/38.13 v -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2208 -x2210 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2222 38.08/38.13 v -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 38.08/38.13 v -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 38.08/38.13 v -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2320 -x2322 38.08/38.13 v -x2324 -x2326 -x2328 -x2330 -x2332 -x2333 -x2335 -x2336 -x2338 -x2340 -x2342 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 38.08/38.13 v -x2355 -x2357 -x2359 -x2360 -x2362 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 x2374 -x2376 -x2378 -x2380 -x2382 -x2384 38.08/38.13 v -x2386 -x2388 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 38.08/38.13 v -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 38.08/38.13 v -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2484 38.08/38.13 v -x2486 -x2488 -x2490 -x2492 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2506 -x2508 -x2510 -x2511 -x2513 -x2515 38.08/38.13 v x2516 -x2518 -x2520 -x2521 -x2523 x2525 -x2526 x2528 x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 38.08/38.13 v -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 38.08/38.13 v -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 38.08/38.13 v -x2617 -x2619 -x2621 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 38.08/38.13 v -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 38.08/38.13 v -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 38.08/38.13 v -x2717 -x2719 -x2721 -x2723 -x2725 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 38.08/38.13 v -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 38.08/38.13 v -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 38.08/38.13 v -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 38.08/38.13 v -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 38.08/38.13 v -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 38.08/38.13 v -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 38.08/38.13 v -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2981 38.08/38.13 v -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3014 38.08/38.13 v -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 38.08/38.13 v -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 38.08/38.13 v -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 38.08/38.13 v -x3117 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 38.08/38.13 v -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 38.08/38.13 v -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 38.08/38.13 v -x3215 -x3217 -x3219 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 38.08/38.13 v -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 38.08/38.13 v -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3291 -x3293 -x3295 -x3297 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 38.08/38.13 v -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3328 -x3330 -x3332 -x3334 -x3336 -x3337 -x3339 -x3340 38.08/38.13 v -x3342 -x3344 -x3346 -x3348 -x3350 -x3351 -x3353 -x3355 -x3357 -x3359 -x3360 -x3361 -x3363 -x3364 -x3366 -x3367 x3369 38.08/38.13 v -x3370 -x3372 -x3374 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3394 -x3396 -x3398 -x3399 38.08/38.13 v -x3401 -x3403 -x3405 x3407 -x3409 -x3411 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 38.08/38.13 v -x3434 -x3436 -x3438 -x3440 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3452 -x3454 -x3456 -x3458 -x3459 -x3461 -x3463 38.08/38.13 v -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3493 -x3495 38.08/38.13 v -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 38.08/38.13 v -x3531 -x3533 -x3535 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3547 -x3549 -x3551 -x3552 -x3554 -x3556 -x3558 -x3560 38.08/38.13 v -x3562 -x3564 -x3565 -x3566 -x3568 -x3570 -x3571 x3572 -x3573 -x3575 -x3576 -x3577 -x3579 -x3581 -x3583 -x3584 -x3585 38.08/38.13 v -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3615 -x3616 38.08/38.13 v -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3631 -x3632 -x3634 -x3636 -x3638 -x3640 -x3641 -x3642 -x3644 -x3646 38.08/38.13 v x3647 -x3649 -x3651 -x3652 -x3654 -x3655 -x3657 -x3658 -x3659 -x195 -x197 -x199 -x201 x203 -x205 -x207 -x209 -x211 -x213 38.08/38.13 v -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 38.08/38.13 v -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 38.08/38.13 v -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 38.08/38.13 v -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 38.08/38.13 v -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 38.08/38.13 v -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x1 -x451 -x453 -x455 -x457 -x459 -x461 -x463 38.08/38.13 v -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 38.08/38.13 v -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 38.08/38.13 v -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x572 -x574 -x2 -x576 -x578 -x580 -x582 -x584 -x586 -x588 38.08/38.13 v -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 38.08/38.13 v -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 38.08/38.13 v -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x3 -x700 -x702 -x704 -x706 -x708 -x710 -x712 38.08/38.13 v -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 38.08/38.13 v -x757 -x759 -x4 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 38.08/38.13 v -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 38.08/38.13 v -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 38.08/38.13 v -x881 -x5 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 38.08/38.13 v -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x6 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 38.08/38.13 v -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x989 -x991 -x993 -x995 -x997 -x999 -x7 -x1001 38.08/38.13 v -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x8 -x1031 -x1033 -x1035 38.08/38.13 v -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 38.08/38.13 v -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 38.08/38.13 v -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 38.08/38.13 v -x1139 -x1141 -x1143 -x1145 -x9 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 38.08/38.13 v -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x10 -x1203 -x1205 38.08/38.13 v -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 38.08/38.13 v -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1256 -x1258 -x11 -x1260 -x1262 -x1264 -x1267 -x1269 -x1271 -x1273 -x1275 38.08/38.13 v -x1277 -x1279 -x1282 -x1284 -x12 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 38.08/38.13 v -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1339 -x13 -x1341 -x1343 -x1345 38.08/38.13 v -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x14 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 38.08/38.13 v -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x15 -x1395 -x1397 -x1399 -x1401 -x1403 -x16 -x1407 -x1409 -x1411 -x1413 -x1415 38.08/38.13 v -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 38.08/38.13 v -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 38.08/38.13 v -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 38.08/38.13 v -x1519 -x1521 -x1523 -x17 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 38.08/38.13 v -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1574 -x1576 -x18 -x1578 -x1580 -x1582 -x1584 -x1586 38.08/38.13 v -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 38.08/38.13 v -x1622 -x1624 -x1626 -x1628 -x19 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 38.08/38.13 v -x20 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 38.08/38.13 v -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x21 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1722 -x1724 38.08/38.13 v -x1726 -x1728 -x1731 -x22 -x1733 -x1735 -x1737 -x1739 -x1741 -x1744 -x1746 x1748 x23 -x1750 -x1752 -x1754 -x1756 -x1758 38.08/38.13 v -x1760 -x24 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 38.08/38.13 v -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x25 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 38.08/38.13 v -x1828 -x1830 -x1832 -x26 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1847 -x1849 -x1851 x27 -x1853 -x1855 -x1857 -x1860 38.08/38.13 v -x28 -x1862 -x1864 -x1866 -x1868 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 x29 -x1885 -x1887 -x1890 -x1892 -x1894 38.08/38.13 v -x30 -x1896 -x1898 -x1900 -x1903 -x31 -x1905 -x1908 -x32 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 38.08/38.13 v -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 38.08/38.13 v -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1993 -x1995 38.08/38.13 v -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x33 -x2023 -x2025 -x2027 -x2029 38.08/38.13 v -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 38.08/38.13 v -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x34 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 38.08/38.13 v -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 x2126 -x2128 -x2130 -x2133 38.08/38.13 v -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x35 -x2151 -x2153 -x2155 -x2157 -x2160 -x2162 -x2164 -x2166 -x2168 38.08/38.13 v -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x36 -x2198 -x2200 -x2202 38.08/38.13 v -x2204 -x2206 -x2209 -x2212 -x2214 -x2216 -x37 -x2218 -x2220 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x38 -x2238 38.08/38.13 v -x2240 -x2242 -x2244 -x2246 -x39 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 38.08/38.13 v -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x40 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 38.08/38.13 v -x2308 -x2310 -x41 -x2312 -x2314 -x2316 -x2318 -x2321 -x2323 -x2325 -x2327 -x2329 -x42 -x2331 -x2334 -x2337 -x43 -x2339 38.08/38.13 v -x2341 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x44 -x2356 -x2358 -x2361 -x45 -x2364 -x2366 -x2368 -x2370 -x2372 x46 38.08/38.13 v -x47 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 38.08/38.13 v -x2410 -x2412 -x2414 -x2416 -x2418 -x48 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x49 -x2436 -x2438 -x2440 38.08/38.13 v -x2442 -x2444 -x2446 -x2448 -x2450 -x50 -x2452 -x2454 -x2456 -x51 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 38.08/38.13 v -x2474 -x52 -x2476 -x2478 -x2480 -x2482 x53 -x2485 -x54 -x55 -x2487 -x2489 -x2491 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 38.08/38.13 v -x56 -x2507 -x2509 -x57 -x2512 -x2514 x58 -x2517 -x2519 x59 -x2522 x2524 x60 x2527 -x61 x62 -x2530 -x63 -x2532 -x2534 -x2536 38.08/38.13 v -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 38.08/38.13 v -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 38.08/38.13 v -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x64 -x2639 38.08/38.13 v -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 38.08/38.13 v -x2675 -x2677 -x2679 -x2681 -x2683 -x65 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2700 -x2702 -x2704 -x2706 -x2708 38.08/38.13 v -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x66 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x67 -x2739 -x2741 38.08/38.13 v -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 38.08/38.13 v -x2778 -x68 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x69 -x2794 -x2796 -x2798 -x2800 -x2802 -x2805 -x2807 x70 38.08/38.13 v -x2809 -x2811 -x2813 -x2815 -x71 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 38.08/38.13 v -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 38.08/38.13 v -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 38.08/38.13 v -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x72 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 38.08/38.13 v -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2963 -x2965 -x2967 -x2969 -x73 -x2971 -x2973 -x2975 -x2977 -x2979 38.08/38.13 v -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x74 -x3008 -x3010 -x3012 -x3015 38.08/38.13 v -x3017 -x3019 -x75 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 38.08/38.13 v -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x76 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x77 -x3077 -x3079 -x3081 38.08/38.13 v -x3083 -x3085 x78 -x3087 -x3089 -x79 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3106 -x3108 -x3110 -x3112 -x3114 38.08/38.13 v -x3116 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3132 -x3134 -x80 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 38.08/38.13 v -x3152 -x3154 -x3156 -x3158 -x3160 -x81 -x3162 -x3164 -x3166 -x3168 -x82 -x3171 -x3173 -x3175 -x3177 -x83 -x3179 -x3181 38.08/38.13 v -x3183 -x3185 x84 -x85 -x3187 -x3189 -x3191 -x3193 -x3196 -x86 -x3198 -x3200 -x3202 x87 -x3204 -x88 -x89 -x3206 -x90 -x3208 38.08/38.13 v -x91 -x3210 -x3212 -x3214 -x3216 -x3218 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 38.08/38.13 v -x3245 -x3248 -x3250 -x92 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x93 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x94 38.08/38.13 v -x3277 -x3279 -x95 -x3281 -x3283 -x3285 -x3287 -x3289 -x3292 -x96 -x3294 -x97 -x3296 x98 -x99 -x3299 -x3301 -x3303 -x3305 38.08/38.13 v -x3307 -x3309 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3329 -x3331 -x3333 -x3335 -x100 -x3338 -x3341 38.08/38.13 v -x3343 -x3345 -x3347 -x3349 -x101 -x3352 -x3354 -x3356 -x102 -x3358 -x103 -x3362 -x3365 x104 x3368 x105 x106 -x107 -x3371 38.08/38.13 v -x3373 -x3376 -x3378 -x3380 -x108 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x109 -x110 x111 x112 -x113 -x3395 -x3397 -x114 38.08/38.13 v -x3400 -x115 x116 -x117 x118 -x3402 -x3404 x3406 -x3408 -x3410 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 38.08/38.13 v -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3442 -x3444 -x3446 -x3448 -x3450 -x119 -x3453 -x3455 -x3457 -x3460 -x3462 38.08/38.13 v -x120 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 x121 -x3477 -x122 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3494 38.08/38.13 v -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x123 -x3514 -x3516 -x3518 -x124 -x3520 -x3522 -x3524 x125 38.08/38.13 v -x126 -x3526 x127 -x128 x129 -x3528 -x3530 -x3532 -x3534 -x3537 -x3539 -x130 -x131 -x3541 x132 -x3543 -x133 -x3545 -x3548 38.08/38.13 v -x3550 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3567 x134 -x3569 -x135 -x3574 -x136 -x137 -x3578 -x3580 -x3582 -x138 38.08/38.13 v x139 -x140 -x141 -x3587 -x3589 -x3591 -x3593 -x3595 -x142 -x3597 -x143 x144 x145 -x146 x147 -x148 x149 x150 x151 -x152 -x3599 38.08/38.13 v -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3617 -x153 -x3619 -x154 -x3621 -x3623 x155 -x156 -x3625 -x3627 -x157 38.08/38.13 v -x3629 x158 -x159 -x3633 -x3635 -x160 -x3637 x161 -x3639 -x162 -x163 x164 x165 -x3643 x166 -x167 x168 x169 x170 x171 x172 38.08/38.13 v x173 -x174 x175 -x3645 x176 -x177 -x178 -x3648 -x3650 -x179 -x180 x181 -x3653 -x3656 -x182 x183 -x184 x185 -x186 x187 -x188 38.08/38.13 v -x189 x190 -x191 x192 -x193 x194 38.08/38.13 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 38.08/38.13 c 2 94 4 1532 8056 28189 189 2 38.11 38.08/38.13 c Objective: 14 38.08/38.13 s OPTIMUM FOUND 38.08/38.13 c Total time: 38.112 s
OK 14
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-433720-1177962574 -o ROOT/results/node24/solver-433720-1177962574 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433720-1177962574/instance-433720-1177962574.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.91 0.95 0.96 3/77 22111 /proc/meminfo: memFree=1855624/2055920 swapFree=4143580/4192956 [pid=22111] ppid=22109 vsize=12016 CPUtime=0 /proc/22111/stat : 22111 (bsolo3.0.17) R 22109 22111 21549 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 244175449 12304384 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22111/statm: 3004 333 279 324 0 2004 0 [startup+0.0982871 s] /proc/loadavg: 0.91 0.95 0.96 3/77 22111 /proc/meminfo: memFree=1855624/2055920 swapFree=4143580/4192956 [pid=22111] ppid=22109 vsize=6112 CPUtime=0.08 /proc/22111/stat : 22111 (bsolo3.0.17) R 22109 22111 21549 0 -1 4194304 985 0 0 0 8 0 0 0 18 0 1 0 244175449 6258688 885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22111/statm: 1528 885 305 324 0 598 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6112 [startup+0.101287 s] /proc/loadavg: 0.91 0.95 0.96 3/77 22111 /proc/meminfo: memFree=1855624/2055920 swapFree=4143580/4192956 [pid=22111] ppid=22109 vsize=6112 CPUtime=0.1 /proc/22111/stat : 22111 (bsolo3.0.17) R 22109 22111 21549 0 -1 4194304 985 0 0 0 9 1 0 0 18 0 1 0 244175449 6258688 885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3036465 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22111/statm: 1528 885 305 324 0 598 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 6112 [startup+0.301309 s] /proc/loadavg: 0.91 0.95 0.96 3/77 22111 /proc/meminfo: memFree=1855624/2055920 swapFree=4143580/4192956 [pid=22111] ppid=22109 vsize=6576 CPUtime=0.29 /proc/22111/stat : 22111 (bsolo3.0.17) R 22109 22111 21549 0 -1 4194304 1200 0 0 0 27 2 0 0 19 0 1 0 244175449 6733824 1043 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22111/statm: 1644 1043 335 324 0 714 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6576 [startup+0.701352 s] /proc/loadavg: 0.91 0.95 0.96 3/77 22111 /proc/meminfo: memFree=1855624/2055920 swapFree=4143580/4192956 [pid=22111] ppid=22109 vsize=6924 CPUtime=0.69 /proc/22111/stat : 22111 (bsolo3.0.17) R 22109 22111 21549 0 -1 4194304 4391 0 0 0 66 3 0 0 23 0 1 0 244175449 7090176 1130 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22111/statm: 1731 1130 335 324 0 801 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6924 [startup+1.50144 s] /proc/loadavg: 0.91 0.95 0.96 2/78 22112 /proc/meminfo: memFree=1852160/2055920 swapFree=4143580/4192956 [pid=22111] ppid=22109 vsize=13504 CPUtime=1.49 /proc/22111/stat : 22111 (bsolo3.0.17) R 22109 22111 21549 0 -1 4194304 59515 0 0 0 128 21 0 0 25 0 1 0 244175449 13828096 2046 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135267449 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22111/statm: 3376 2046 395 324 0 2446 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13504 [startup+3.10161 s] /proc/loadavg: 0.91 0.95 0.96 2/78 22112 /proc/meminfo: memFree=1848832/2055920 swapFree=4143580/4192956 [pid=22111] ppid=22109 vsize=7504 CPUtime=3.09 /proc/22111/stat : 22111 (bsolo3.0.17) R 22109 22111 21549 0 -1 4194304 75408 0 0 0 280 29 0 0 25 0 1 0 244175449 7684096 1318 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447564 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22111/statm: 1876 1325 395 324 0 946 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7504 [startup+6.30196 s] /proc/loadavg: 0.92 0.95 0.96 2/78 22112 /proc/meminfo: memFree=1849088/2055920 swapFree=4143580/4192956 [pid=22111] ppid=22109 vsize=14888 CPUtime=6.29 /proc/22111/stat : 22111 (bsolo3.0.17) R 22109 22111 21549 0 -1 4194304 103476 0 0 0 585 44 0 0 25 0 1 0 244175449 15245312 2264 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135324394 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22111/statm: 3722 2264 395 324 0 2792 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14888 [startup+12.7016 s] /proc/loadavg: 0.93 0.95 0.96 2/78 22112 /proc/meminfo: memFree=1848768/2055920 swapFree=4143580/4192956 [pid=22111] ppid=22109 vsize=14836 CPUtime=12.69 /proc/22111/stat : 22111 (bsolo3.0.17) R 22109 22111 21549 0 -1 4194304 137173 0 0 0 1210 59 0 0 25 0 1 0 244175449 15192064 2077 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135226873 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22111/statm: 3709 2077 395 324 0 2779 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14836 [startup+25.501 s] /proc/loadavg: 0.94 0.96 0.96 2/78 22112 /proc/meminfo: memFree=1850048/2055920 swapFree=4143580/4192956 [pid=22111] ppid=22109 vsize=14812 CPUtime=25.48 /proc/22111/stat : 22111 (bsolo3.0.17) R 22109 22111 21549 0 -1 4194304 202488 0 0 0 2460 88 0 0 25 0 1 0 244175449 15167488 1975 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135332130 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22111/statm: 3703 1975 395 324 0 2773 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14812 Solver just ended. Dumping a history of the last processes samples [startup+31.9057 s] /proc/loadavg: 0.95 0.96 0.96 2/78 22112 /proc/meminfo: memFree=1849344/2055920 swapFree=4143580/4192956 [pid=22111] ppid=22109 vsize=14836 CPUtime=31.89 /proc/22111/stat : 22111 (bsolo3.0.17) R 22109 22111 21549 0 -1 4194304 240896 0 0 0 3081 108 0 0 25 0 1 0 244175449 15192064 2109 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135324390 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22111/statm: 3709 2109 395 324 0 2779 0 Current children cumulated CPU time (s) 31.89 Current children cumulated vsize (KiB) 14836 [startup+35.1011 s] /proc/loadavg: 0.95 0.96 0.96 2/78 22112 /proc/meminfo: memFree=1849088/2055920 swapFree=4143580/4192956 [pid=22111] ppid=22109 vsize=14744 CPUtime=35.08 /proc/22111/stat : 22111 (bsolo3.0.17) R 22109 22111 21549 0 -1 4194304 257840 0 0 0 3393 115 0 0 25 0 1 0 244175449 15097856 2029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135184504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22111/statm: 3686 2029 395 324 0 2756 0 Current children cumulated CPU time (s) 35.08 Current children cumulated vsize (KiB) 14744 [startup+36.7012 s] /proc/loadavg: 0.95 0.96 0.96 2/78 22112 /proc/meminfo: memFree=1848640/2055920 swapFree=4143580/4192956 [pid=22111] ppid=22109 vsize=14748 CPUtime=36.68 /proc/22111/stat : 22111 (bsolo3.0.17) R 22109 22111 21549 0 -1 4194304 265940 0 0 0 3549 119 0 0 25 0 1 0 244175449 15101952 2044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135314080 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22111/statm: 3687 2044 395 324 0 2757 0 Current children cumulated CPU time (s) 36.68 Current children cumulated vsize (KiB) 14748 [startup+37.5013 s] /proc/loadavg: 0.95 0.96 0.96 2/78 22112 /proc/meminfo: memFree=1849152/2055920 swapFree=4143580/4192956 [pid=22111] ppid=22109 vsize=14644 CPUtime=37.47 /proc/22111/stat : 22111 (bsolo3.0.17) R 22109 22111 21549 0 -1 4194304 272051 0 0 0 3626 121 0 0 25 0 1 0 244175449 14995456 2118 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135324207 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22111/statm: 3661 2118 395 324 0 2731 0 Current children cumulated CPU time (s) 37.47 Current children cumulated vsize (KiB) 14644 [startup+37.9014 s] /proc/loadavg: 0.95 0.96 0.96 2/78 22112 /proc/meminfo: memFree=1849152/2055920 swapFree=4143580/4192956 [pid=22111] ppid=22109 vsize=14620 CPUtime=37.87 /proc/22111/stat : 22111 (bsolo3.0.17) R 22109 22111 21549 0 -1 4194304 275595 0 0 0 3665 122 0 0 25 0 1 0 244175449 14970880 1947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134948455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22111/statm: 3655 1947 395 324 0 2725 0 Current children cumulated CPU time (s) 37.87 Current children cumulated vsize (KiB) 14620 [startup+38.1014 s] /proc/loadavg: 0.95 0.96 0.96 2/78 22112 /proc/meminfo: memFree=1849152/2055920 swapFree=4143580/4192956 [pid=22111] ppid=22109 vsize=14648 CPUtime=38.08 /proc/22111/stat : 22111 (bsolo3.0.17) R 22109 22111 21549 0 -1 4194304 276676 0 0 0 3685 123 0 0 25 0 1 0 244175449 14999552 1954 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331669 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22111/statm: 3662 1954 395 324 0 2732 0 Current children cumulated CPU time (s) 38.08 Current children cumulated vsize (KiB) 14648 Child status: 0 Real time (s): 38.1357 CPU time (s): 38.1172 CPU user time (s): 36.8784 CPU system time (s): 1.23881 CPU usage (%): 99.9514 Max. virtual memory (cumulated for all children) (KiB): 14944 getrusage(RUSAGE_CHILDREN,...) data: user time used= 36.8784 system time used= 1.23881 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277095 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14 involuntary context switches= 779 runsolver used 0.035994 second user time and 0.083987 second system time The end
Begin job on node24 on Mon Apr 30 19:49:34 UTC 2007 IDJOB= 433720 IDBENCH= 25007 IDSOLVER= 199 FILE ID= node24/433720-1177962574 PBS_JOBID= 4727744 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir05_area_delay.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433720-1177962574/instance-433720-1177962574.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-433720-1177962574 -o ROOT/results/node24/solver-433720-1177962574 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433720-1177962574/instance-433720-1177962574.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= b0c7ff7d1fa11c8e15b9d528879223a9 RANDOM SEED= 90592851 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node24.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1856096 kB Buffers: 31604 kB Cached: 83932 kB SwapCached: 17132 kB Active: 54960 kB Inactive: 83684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1856096 kB SwapTotal: 4192956 kB SwapFree: 4143580 kB Dirty: 7028 kB Writeback: 0 kB Mapped: 30100 kB Slab: 46640 kB Committed_AS: 3883716 kB PageTables: 1808 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 node24 on Mon Apr 30 19:50:13 UTC 2007