Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 28 | 1798.01 | 1798.52 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_002_area_delay.opb |
MD5SUM | d6135de924aeb400fc0f7d1c419e5860 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 6.30604 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | YES |
Number of variables | 6080 |
Total number of constraints | 18113 |
Number of constraints which are clauses | 18113 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 125 |
Number of terms in the objective function | 2975 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2975 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2975 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.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: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656345-1276635760.opb 0.00/0.00 c File size is 529932 bytes. 0.00/0.08 c Highest Coefficient sum: 2975 0.00/0.08 c Parsing was ok!! 0.00/0.08 c Total parsing time: 0.081 s 0.08/0.09 c Var: 6080 Constr: 18113 18113/0/0 Lit: 43286 Watch. Lit: 35739 0.08/0.09 c Obj. Vars: 2975 (48.9309 % of total variables) 0.19/0.21 c Pre-processing Time: 0.212 s 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 0 5118 15605 38070 2 31210 5201 0 0 0.21 0.19/0.21 c Switching off lower bounding mode. 0.19/0.22 o 29 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 0 5118 15606 40558 2 33671 6201 1 0 0.22 0.19/0.24 o 28 1798.00/1798.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.00/1798.51 c 5 5118 15612 43290 2 36143 6201 7 20 0.24 1798.00/1798.51 c 105 5118 15781 45953 2 36481 6822 176 269 0.39 1798.00/1798.51 c 355 5118 16111 55559 3 37141 7505 506 310 1.14 1798.00/1798.51 c 831 5118 16643 76995 4 38205 8256 1038 298 2.79 1798.00/1798.51 c 1644 5118 17463 105006 6 39845 9082 1858 291 5.64 1798.00/1798.51 c 2964 5118 18858 182357 9 42635 9991 3253 279 10.62 1798.00/1798.51 c 5045 5118 20990 305072 14 51798 10991 5385 260 19.34 1798.00/1798.51 c 8268 5118 24371 511978 21 58560 12091 8766 254 32.50 1798.00/1798.51 c 13204 5118 21652 424174 19 48213 13301 6047 255 51.77 1798.00/1798.51 c 20710 5118 29506 1112809 37 66368 14632 13901 234 88.22 1798.00/1798.51 c 32071 5118 22922 678134 29 53208 16096 7317 225 142.45 1798.00/1798.51 c 49215 5118 30046 823430 27 65010 17706 14441 217 226.51 1798.00/1798.51 c 75034 5118 33588 848460 25 69636 19477 17983 222 337.51 1798.00/1798.51 c 113867 5118 25345 616779 24 53150 21425 9740 217 524.54 1798.00/1798.51 c 172220 5118 31727 829592 26 65914 23568 16122 214 801.19 1798.00/1798.51 c 259852 5118 37702 1411410 37 82778 25925 22097 214 1209.03 1798.00/1798.51 c Resources Exceeded 1798.00/1798.51 v -x192 -x194 x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 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 -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 -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 -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 -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 -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 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -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 -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 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -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 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -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 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -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 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2087 -x2089 -x2091 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2253 -x2255 -x2257 -x2259 -x2261 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2279 -x2281 -x2283 -x2285 -x2287 x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -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 -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 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -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 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -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 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -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 x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 x3291 -x3293 -x3295 -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 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3388 -x3390 -x3392 -x3394 -x3396 x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -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 -x3512 -x3514 -x3516 x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -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 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -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 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -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 -x4016 -x4018 -x4020 -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 -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 -x4144 -x4146 -x4148 -x4150 -x4152 -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 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x4386 -x4388 -x4390 -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 -x4460 -x4462 -x4464 -x4466 -x4468 -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 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -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 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -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 -x4939 -x4941 -x4943 -x4945 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -x4971 -x4973 -x4975 -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 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 -x5201 -x5203 -x5204 -x5206 -x5208 -x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x5227 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 -x5282 -x5284 -x5286 -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 -x5394 -x5396 -x5398 -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 -x5444 -x5446 -x5448 -x5450 -x5452 -x5454 -x5456 -x5458 x5460 -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -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 -x5567 -x5569 -x5571 -x5573 -x5575 -x5577 -x5579 -x5581 -x5583 -x5585 -x5587 -x5589 -x5591 -x5593 -x5595 -x5597 -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611 -x5613 -x5615 -x5617 -x5619 -x5621 -x5623 -x5625 -x5627 -x5629 -x5631 -x5633 -x5634 -x5636 -x5638 -x5640 -x5642 -x5644 -x5646 -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 x5671 -x5673 -x5675 -x5677 -x5679 -x5681 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 -x5737 -x5739 -x5741 -x5743 -x5745 x5746 -x5748 -x5750 -x5752 -x5754 -x5756 -x5758 -x5760 -x5762 -x5764 -x5766 -x5768 -x5770 -x5772 -x5774 -x5776 -x5778 -x5780 -x5782 -x5784 -x5786 -x5788 -x5790 -x5792 -x5793 -x5795 -x5797 -x5799 x5801 -x5803 -x5805 -x5807 -x5809 -x5811 -x5813 -x5815 -x5817 -x5819 -x5821 -x5823 -x5825 -x5827 -x5829 -x5831 -x5833 -x5835 -x5837 -x5839 -x5841 -x5843 -x5845 -x5847 -x5849 -x5851 -x5853 -x5855 -x5857 -x5859 -x5861 -x5863 -x5865 -x5867 -x5869 -x5871 -x5873 -x5875 -x5877 -x5879 -x5881 -x5883 -x5885 -x5887 -x5889 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 -x5903 -x5905 -x5907 -x5909 -x5911 -x5913 -x5915 -x5917 -x5919 -x5921 -x5923 -x5925 -x5927 -x5929 -x5931 -x5933 -x5935 -x5937 -x5939 -x5941 -x5943 -x5945 -x5947 -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 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 x6049 -x6051 -x6053 -x6055 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 x6071 -x6073 x6074 -x6076 -x6078 x6079 x6080 -x191 -x193 x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x1 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x2 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 x286 -x288 -x290 -x292 -x3 -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 -x4 -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 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x5 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -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 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x6 -x801 -x803 -x805 -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 -x7 -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 -x976 -x978 -x980 -x982 -x984 -x986 -x8 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x9 -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 -x10 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x11 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -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 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x12 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x13 -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 -x1381 -x1383 -x1385 -x1387 -x1389 -x14 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x15 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x16 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x17 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x18 -x1543 -x1545 -x1548 -x1550 -x1552 -x1554 -x19 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -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 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x20 -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 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x21 -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 -x1794 -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 -x22 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x23 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x24 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x25 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x26 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x27 -x2046 -x2048 -x2050 -x2052 -x2055 -x2057 -x28 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2088 -x2090 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x29 -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 -x30 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x31 -x2209 -x2211 -x2213 -x2215 -x2217 -x2220 -x32 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x33 -x2251 -x2254 -x2256 -x2258 -x2260 -x34 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x35 -x2277 -x2280 -x2282 -x2284 -x2286 x2288 -x2290 -x2292 -x2294 -x36 -x2296 -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 -x37 -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 -x38 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x39 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x40 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x41 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x42 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x43 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x44 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x45 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x46 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x47 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x48 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x49 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x50 -x2887 -x2890 -x2892 -x2894 -x2896 -x2898 -x51 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x52 -x2914 -x2916 -x2918 -x53 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x54 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x55 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x56 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x57 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x58 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x59 -x3114 -x3116 -x3118 -x3120 -x3123 -x3125 -x60 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x61 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x62 -x3155 -x3157 -x3159 -x63 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x64 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x65 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x66 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x67 -x3233 -x3235 -x3237 -x68 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x69 -x3253 -x3255 -x3257 -x70 -x3259 -x3261 -x3263 -x71 -x3265 -x3267 x72 -x3270 -x73 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x74 -x3286 -x3288 x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x75 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x76 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3389 -x3391 -x3393 -x3395 x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x77 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x78 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x79 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x80 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x81 -x3540 -x3542 -x3544 -x3546 -x3548 -x3551 -x82 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x83 -x3567 -x3569 -x3571 -x84 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x85 -x3587 -x3589 -x3591 -x86 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x87 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x88 -x3637 -x3639 -x3641 -x3644 -x3646 -x3648 -x89 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x90 -x3664 -x3666 -x91 -x3668 -x3670 -x3672 -x92 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x93 -x3688 -x3690 -x3692 -x94 -x3694 -x3696 -x95 -x3699 -x96 -x3701 -x3703 -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 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x97 -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 -x98 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x99 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x100 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x101 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x102 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x103 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x104 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x105 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x106 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x107 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x108 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x109 -x4292 -x4294 -x4296 -x4299 -x4301 -x4303 -x110 -x4305 -x4307 -x4309 -x111 -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 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x112 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4461 -x4463 -x4465 -x4467 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x113 -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x114 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x115 -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 -x116 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x117 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x118 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x119 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x120 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x4810 -x121 -x4812 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x122 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x123 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871 -x4873 -x4875 -x4878 -x4880 -x4882 -x124 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 x4896 -x4898 -x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x125 -x4912 -x4914 -x4916 -x126 -x4918 -x4920 -x4922 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4977 -x4979 -x4981 -x4983 x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x127 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 x128 x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x129 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x5069 -x5071 -x5073 -x5075 -x5077 -x5079 -x5081 -x130 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095 -x131 -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x132 -x5111 -x5113 -x5115 -x133 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x134 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157 -x5159 -x135 -x5161 -x5163 -x5166 -x5168 -x5170 -x5172 -x136 -x5174 -x5176 -x5178 -x137 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x138 -x5194 -x5196 -x5198 -x139 -x5200 -x5202 -x140 -x5205 -x141 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x5219 -x5221 -x5223 -x5225 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 -x5248 -x5250 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265 -x142 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5288 -x5290 -x5292 -x5294 -x143 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x5324 -x144 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x5354 -x5356 -x5358 -x5360 x5362 -x5364 -x5366 -x5368 -x145 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 -x146 -x5384 -x5386 -x5388 -x5390 -x5392 -x5395 -x147 -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 -x148 -x5465 -x5467 -x5469 -x5471 -x5473 -x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x149 -x5493 -x5495 -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x5509 -x5511 -x5513 -x5515 -x5517 -x5519 -x5521 x150 x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535 -x151 -x5537 -x5539 -x5541 -x5543 -x5545 -x5547 -x5549 -x5551 -x5553 -x5555 -x5557 -x5559 -x5561 -x5563 -x5565 -x152 -x5568 -x5570 -x5572 -x5574 -x5576 -x153 -x5578 -x5580 -x5582 -x5584 -x5586 -x5588 -x5590 -x154 -x5592 -x5594 -x5596 -x155 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x156 -x5628 -x5630 -x5632 -x5635 -x5637 -x5639 -x157 -x5641 -x5643 -x5645 -x5647 -x5649 -x5651 -x5653 -x158 -x5655 -x5657 -x159 -x5660 -x5662 -x5664 -x5666 -x5668 x5670 -x5672 -x5674 -x5676 -x160 -x5678 -x5680 x161 -x5683 -x162 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x5701 -x5703 -x5705 -x5707 -x5709 -x5711 -x5713 -x5715 -x5717 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x5733 -x5735 -x5738 -x5740 -x5742 -x5744 -x5747 -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x5765 -x5767 -x163 -x5769 -x5771 -x5773 -x5775 -x5777 -x5779 -x5781 -x5783 -x5785 -x5787 -x5789 -x5791 -x5794 -x5796 -x5798 x5800 -x5802 -x5804 -x5806 -x5808 -x5810 -x164 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 -x5834 -x5836 -x5838 -x5840 -x165 -x5842 -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x166 -x5856 -x5858 -x5860 -x5862 -x5864 -x5866 -x5868 -x167 -x5870 -x5872 -x5874 -x168 -x5876 -x5878 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 -x5904 -x169 -x5906 -x5908 -x5910 -x5912 -x5914 -x5916 -x5918 -x170 -x5920 -x5922 -x5924 -x5926 -x5928 -x5930 -x5932 -x171 -x5934 -x5936 -x5938 -x172 -x5940 -x5942 -x5944 -x5946 -x5948 -x5950 -x5952 -x173 -x5954 -x5956 -x5958 -x174 -x5960 -x5962 x175 -x5965 -x176 -x5967 -x5969 -x5971 -x5973 -x5975 -x5977 -x5979 -x5981 -x5983 -x5985 -x5987 -x5989 -x5991 -x177 -x5993 -x5995 -x5997 -x5999 -x6001 -x6003 -x6005 -x178 -x6007 -x6009 -x6011 -x6013 -x6015 -x6017 -x6019 -x179 -x6021 -x6023 -x6025 -x180 -x6027 -x6029 -x6031 -x6033 -x6035 -x6037 -x6039 -x181 -x6041 -x6043 -x182 -x6045 -x6047 x183 -x6050 -x184 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x185 -x6064 -x6066 -x6068 x186 x6070 -x6072 x187 -x6075 -x188 -x6077 x189 x190 1798.00/1798.51 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.00/1798.51 c 17 365330 222997 1290562 28434 1173116 12829 203 1798.01 1798.00/1798.51 c Objective: 28 1798.00/1798.51 s SATISFIABLE 1798.00/1798.51 c Total time: 1798.01 s
OK 28
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656345-1276635760/watcher-2656345-1276635760 -o /tmp/evaluation-result-2656345-1276635760/solver-2656345-1276635760 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656345-1276635760.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 2/105 11517 /proc/meminfo: memFree=1792020/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=11456 CPUtime=0 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 377 0 0 0 0 0 0 0 25 0 1 0 4869821 11730944 296 1992294400 134512640 137138936 4289372528 18446744073709551615 134517643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 2864 297 177 642 0 2090 0 [startup+0.0897879 s] /proc/loadavg: 1.00 1.00 1.00 2/105 11517 /proc/meminfo: memFree=1792020/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=14320 CPUtime=0.08 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 1323 0 0 0 8 0 0 0 25 0 1 0 4869821 14663680 1112 1992294400 134512640 137138936 4289372528 18446744073709551615 134550300 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 3580 1112 182 642 0 2936 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 14320 [startup+0.101788 s] /proc/loadavg: 1.00 1.00 1.00 2/105 11517 /proc/meminfo: memFree=1792020/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=14320 CPUtime=0.09 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 1330 0 0 0 9 0 0 0 25 0 1 0 4869821 14663680 1119 1992294400 134512640 137138936 4289372528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 3580 1119 184 642 0 2936 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14320 [startup+0.301808 s] /proc/loadavg: 1.00 1.00 1.00 2/105 11517 /proc/meminfo: memFree=1792020/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=14456 CPUtime=0.3 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 1460 0 0 0 27 3 0 0 25 0 1 0 4869821 14802944 1193 1992294400 134512640 137138936 4289372528 18446744073709551615 134599769 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 3614 1193 192 642 0 2970 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 14456 [startup+0.701847 s] /proc/loadavg: 1.00 1.00 1.00 2/105 11517 /proc/meminfo: memFree=1792020/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=14568 CPUtime=0.7 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 1468 0 0 0 66 4 0 0 25 0 1 0 4869821 14917632 1201 1992294400 134512640 137138936 4289372528 18446744073709551615 134573452 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 3642 1201 192 642 0 2998 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 14568 [startup+1.50193 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11518 /proc/meminfo: memFree=1787920/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=14568 CPUtime=1.49 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 1554 0 0 0 145 4 0 0 25 0 1 0 4869821 14917632 1225 1992294400 134512640 137138936 4289372528 18446744073709551615 134543241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 3642 1225 192 642 0 2998 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14568 [startup+3.10108 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11518 /proc/meminfo: memFree=1787548/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=14976 CPUtime=3.09 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 5132 0 0 0 304 5 0 0 25 0 1 0 4869821 15335424 1302 1992294400 134512640 137138936 4289372528 18446744073709551615 134602746 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 3744 1302 192 642 0 3100 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14976 [startup+6.3014 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11518 /proc/meminfo: memFree=1786804/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=15364 CPUtime=6.29 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 14369 0 0 0 618 11 0 0 25 0 1 0 4869821 15732736 1424 1992294400 134512640 137138936 4289372528 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 3841 1424 192 642 0 3197 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15364 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11518 /proc/meminfo: memFree=1785316/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=16852 CPUtime=12.68 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 29110 0 0 0 1251 17 0 0 25 0 1 0 4869821 17256448 1795 1992294400 134512640 137138936 4289372528 18446744073709551615 134543039 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 4213 1795 192 642 0 3569 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 16852 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11518 /proc/meminfo: memFree=1782340/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=19736 CPUtime=25.48 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 50690 0 0 0 2518 30 0 0 25 0 1 0 4869821 20209664 2517 1992294400 134512640 137138936 4289372528 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 4934 2517 192 642 0 4290 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19736 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11518 /proc/meminfo: memFree=1776140/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=26040 CPUtime=51.08 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 100762 0 0 0 5049 59 0 0 25 0 1 0 4869821 26664960 4093 1992294400 134512640 137138936 4289372528 18446744073709551615 134618015 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 6510 4093 192 642 0 5866 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 26040 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11520 /proc/meminfo: memFree=1768204/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=33752 CPUtime=102.26 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 144318 0 0 0 10135 91 0 0 25 0 1 0 4869821 34562048 6021 1992294400 134512640 137138936 4289372528 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 8438 6021 192 642 0 7794 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 33752 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11522 /proc/meminfo: memFree=1766840/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=34880 CPUtime=162.24 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 151624 0 0 0 16120 104 0 0 25 0 1 0 4869821 35717120 6303 1992294400 134512640 137138936 4289372528 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 8720 6303 192 642 0 8076 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 34880 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11524 /proc/meminfo: memFree=1766840/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=34888 CPUtime=222.22 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 151626 0 0 0 22111 111 0 0 25 0 1 0 4869821 35725312 6305 1992294400 134512640 137138936 4289372528 18446744073709551615 134542643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 8722 6305 192 642 0 8078 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 34888 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11526 /proc/meminfo: memFree=1766840/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=34896 CPUtime=282.21 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 151628 0 0 0 28102 119 0 0 25 0 1 0 4869821 35733504 6307 1992294400 134512640 137138936 4289372528 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 8724 6307 192 642 0 8080 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 34896 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11526 /proc/meminfo: memFree=1766716/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=34892 CPUtime=342.19 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 151628 0 0 0 34090 129 0 0 25 0 1 0 4869821 35729408 6306 1992294400 134512640 137138936 4289372528 18446744073709551615 136520958 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 8723 6306 192 642 0 8079 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 34892 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11528 /proc/meminfo: memFree=1766716/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=34900 CPUtime=402.17 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 151630 0 0 0 40082 135 0 0 25 0 1 0 4869821 35737600 6308 1992294400 134512640 137138936 4289372528 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 8725 6308 192 642 0 8081 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 34900 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11530 /proc/meminfo: memFree=1766716/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=34900 CPUtime=462.15 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 151630 0 0 0 46072 143 0 0 25 0 1 0 4869821 35737600 6308 1992294400 134512640 137138936 4289372528 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 8725 6308 192 642 0 8081 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 34900 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11532 /proc/meminfo: memFree=1766592/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=34900 CPUtime=522.14 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 151630 0 0 0 52064 150 0 0 25 0 1 0 4869821 35737600 6308 1992294400 134512640 137138936 4289372528 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 8725 6308 192 642 0 8081 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 34900 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11534 /proc/meminfo: memFree=1766468/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=34904 CPUtime=582.13 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 151631 0 0 0 58052 161 0 0 25 0 1 0 4869821 35741696 6309 1992294400 134512640 137138936 4289372528 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 8726 6309 192 642 0 8082 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 34904 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11534 /proc/meminfo: memFree=1766468/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=35068 CPUtime=642.11 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 152934 0 0 0 64043 168 0 0 25 0 1 0 4869821 35909632 6350 1992294400 134512640 137138936 4289372528 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 8767 6350 192 642 0 8123 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 35068 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1764980/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=36368 CPUtime=1061.99 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 172109 0 0 0 105959 240 0 0 25 0 1 0 4869821 37240832 6675 1992294400 134512640 137138936 4289372528 18446744073709551615 134599706 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 9092 6675 192 642 0 8448 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 36368 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11548 /proc/meminfo: memFree=1764856/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=36352 CPUtime=1121.98 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 172262 0 0 0 111948 250 0 0 25 0 1 0 4869821 37224448 6671 1992294400 134512640 137138936 4289372528 18446744073709551615 134607623 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 9088 6671 192 642 0 8444 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 36352 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11550 /proc/meminfo: memFree=1764608/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=36560 CPUtime=1181.95 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 189439 0 0 0 117920 275 0 0 25 0 1 0 4869821 37437440 6723 1992294400 134512640 137138936 4289372528 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 9140 6723 192 642 0 8496 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 36560 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11550 /proc/meminfo: memFree=1760268/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=40604 CPUtime=1241.95 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 215336 0 0 0 123894 301 0 0 25 0 1 0 4869821 41578496 7733 1992294400 134512640 137138936 4289372528 18446744073709551615 136504086 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 10151 7733 192 642 0 9507 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 40604 [startup+1302.3 s] /proc/loadavg: 1.11 1.03 1.01 2/106 11552 /proc/meminfo: memFree=1760020/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=40740 CPUtime=1301.93 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 215599 0 0 0 129885 308 0 0 25 0 1 0 4869821 41717760 7767 1992294400 134512640 137138936 4289372528 18446744073709551615 134607589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 10185 7767 192 642 0 9541 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 40740 [startup+1362.3 s] /proc/loadavg: 1.04 1.02 1.00 2/106 11554 /proc/meminfo: memFree=1754688/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=46092 CPUtime=1361.91 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 245755 0 0 0 135858 333 0 0 25 0 1 0 4869821 47198208 9106 1992294400 134512640 137138936 4289372528 18446744073709551615 134551924 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 11523 9106 192 642 0 10879 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 46092 [startup+1422.31 s] /proc/loadavg: 1.06 1.03 1.00 2/106 11556 /proc/meminfo: memFree=1754688/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=46092 CPUtime=1421.9 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 245755 0 0 0 141851 339 0 0 25 0 1 0 4869821 47198208 9106 1992294400 134512640 137138936 4289372528 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 11523 9106 192 642 0 10879 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 46092 [startup+1482.3 s] /proc/loadavg: 1.06 1.04 1.00 2/106 11558 /proc/meminfo: memFree=1754688/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=46092 CPUtime=1481.87 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 245755 0 0 0 147843 344 0 0 25 0 1 0 4869821 47198208 9106 1992294400 134512640 137138936 4289372528 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 11523 9106 192 642 0 10879 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 46092 [startup+1542.3 s] /proc/loadavg: 1.06 1.04 1.00 2/106 11558 /proc/meminfo: memFree=1754688/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=46084 CPUtime=1541.86 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 245755 0 0 0 153836 350 0 0 25 0 1 0 4869821 47190016 9104 1992294400 134512640 137138936 4289372528 18446744073709551615 134606623 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 11521 9104 192 642 0 10877 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 46084 [startup+1602.3 s] /proc/loadavg: 1.05 1.05 1.00 2/106 11560 /proc/meminfo: memFree=1754564/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=46084 CPUtime=1601.84 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 245755 0 0 0 159826 358 0 0 25 0 1 0 4869821 47190016 9104 1992294400 134512640 137138936 4289372528 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 11521 9104 192 642 0 10877 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 46084 [startup+1662.3 s] /proc/loadavg: 1.13 1.07 1.01 2/106 11562 /proc/meminfo: memFree=1754440/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=46084 CPUtime=1661.83 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 245755 0 0 0 165818 365 0 0 25 0 1 0 4869821 47190016 9104 1992294400 134512640 137138936 4289372528 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 11521 9104 192 642 0 10877 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 46084 [startup+1722.3 s] /proc/loadavg: 1.17 1.08 1.01 2/106 11564 /proc/meminfo: memFree=1754316/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=46076 CPUtime=1721.81 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 245755 0 0 0 171810 371 0 0 25 0 1 0 4869821 47181824 9102 1992294400 134512640 137138936 4289372528 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 11519 9102 192 642 0 10875 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 46076 [startup+1782.3 s] /proc/loadavg: 1.06 1.06 1.00 2/106 11566 /proc/meminfo: memFree=1753572/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=46844 CPUtime=1781.79 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 248623 0 0 0 177800 379 0 0 25 0 1 0 4869821 47968256 9294 1992294400 134512640 137138936 4289372528 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 11711 9294 192 642 0 11067 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 46844 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.05 1.06 1.00 2/106 11566 /proc/meminfo: memFree=1751960/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=48496 CPUtime=1791.39 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 254682 0 0 0 178756 383 0 0 25 0 1 0 4869821 49659904 9707 1992294400 134512640 137138936 4289372528 18446744073709551615 134540821 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 12124 9707 192 642 0 11480 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (KiB) 48496 [startup+1795.1 s] /proc/loadavg: 1.05 1.06 1.00 2/106 11566 /proc/meminfo: memFree=1751960/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=48496 CPUtime=1794.59 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 254682 0 0 0 179076 383 0 0 25 0 1 0 4869821 49659904 9707 1992294400 134512640 137138936 4289372528 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 12124 9707 192 642 0 11480 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (KiB) 48496 [startup+1796.7 s] /proc/loadavg: 1.05 1.06 1.00 2/106 11566 /proc/meminfo: memFree=1751960/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=48496 CPUtime=1796.19 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 254682 0 0 0 179235 384 0 0 25 0 1 0 4869821 49659904 9707 1992294400 134512640 137138936 4289372528 18446744073709551615 134618004 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 12124 9707 192 642 0 11480 0 Current children cumulated CPU time (s) 1796.19 Current children cumulated vsize (KiB) 48496 [startup+1797.5 s] /proc/loadavg: 1.05 1.06 1.00 2/106 11566 /proc/meminfo: memFree=1751960/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=48496 CPUtime=1796.99 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 254682 0 0 0 179315 384 0 0 25 0 1 0 4869821 49659904 9707 1992294400 134512640 137138936 4289372528 18446744073709551615 134576115 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 12124 9707 192 642 0 11480 0 Current children cumulated CPU time (s) 1796.99 Current children cumulated vsize (KiB) 48496 [startup+1798.3 s] /proc/loadavg: 1.05 1.06 1.00 2/106 11566 /proc/meminfo: memFree=1751960/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=48496 CPUtime=1797.79 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 254682 0 0 0 179395 384 0 0 25 0 1 0 4869821 49659904 9707 1992294400 134512640 137138936 4289372528 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 12124 9707 192 642 0 11480 0 Current children cumulated CPU time (s) 1797.79 Current children cumulated vsize (KiB) 48496 [startup+1798.51 s] /proc/loadavg: 1.05 1.06 1.00 2/106 11566 /proc/meminfo: memFree=1751960/2059040 swapFree=4164948/4192956 [pid=11517] ppid=11515 vsize=48496 CPUtime=1798 /proc/11517/stat : 11517 (bsolo_pb10) R 11515 11517 11143 0 -1 4202496 254682 0 0 0 179416 384 0 0 25 0 1 0 4869821 49659904 9707 1992294400 134512640 137138936 4289372528 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11517/statm: 12124 9707 192 642 0 11480 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 48496 Child status: 0 Real time (s): 1798.52 CPU time (s): 1798.01 CPU user time (s): 1794.17 CPU system time (s): 3.84642 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (KiB): 48496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.17 system time used= 3.84641 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 254683 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= 4627 runsolver used 2.90456 second user time and 8.5527 second system time The end
Begin job on node084 at 2010-06-15 23:02:40 IDJOB=2656345 IDBENCH=24996 IDSOLVER=1162 FILE ID=node084/2656345-1276635760 PBS_JOBID= 11172363 Free space on /tmp= 62512 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_002_area_delay.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656345-1276635760/watcher-2656345-1276635760 -o /tmp/evaluation-result-2656345-1276635760/solver-2656345-1276635760 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656345-1276635760.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d6135de924aeb400fc0f7d1c419e5860 RANDOM SEED=1341224827 node084.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.229 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.45 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.229 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 : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1792672 kB Buffers: 55044 kB Cached: 113840 kB SwapCached: 1440 kB Active: 91420 kB Inactive: 110888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1792672 kB SwapTotal: 4192956 kB SwapFree: 4164948 kB Dirty: 4488 kB Writeback: 0 kB AnonPages: 31960 kB Mapped: 15216 kB Slab: 42384 kB PageTables: 3996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180752 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= 62508 MiB End job on node084 at 2010-06-15 23:32:38