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