Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 28 | 1798.02 | 1798.65 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_019_area_delay.opb |
MD5SUM | 0b594d74f3df9901bfa97fac996b1847 |
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 | 8.16276 |
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 | 7437 |
Total number of constraints | 23270 |
Number of constraints which are clauses | 23270 |
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 | 3612 |
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 | 3612 |
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 | 3612 |
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.1 - 13/04/2009 : 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 Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1878322-1245181918.opb 0.00/0.00 c File size is 684785 bytes. 0.09/0.10 c Highest Coefficient sum: 3612 0.09/0.10 c Parsing was ok!! 0.09/0.10 c Total parsing time: 0.101 s 0.09/0.11 c Var: 7437 Constr: 23270 23270/0/0 Lit: 56135 Watch. Lit: 45944 0.09/0.11 c Obj. Vars: 3612 (48.568 % of total variables) 0.19/0.29 c Pre-processing Time: 0.292 s 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 0 6234 19132 47204 2 38264 6377 0 0 0.29 0.19/0.29 c Switching off lower bounding mode. 0.29/0.30 o 31 0.39/0.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.44 c 9 6234 19142 50382 2 41269 7377 10 29 0.31 0.39/0.44 o 30 7.48/7.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.48/7.56 c 88 6234 19222 57041 2 44415 7377 90 195 0.45 7.48/7.56 c 188 6234 19322 60429 3 44615 8115 190 316 0.59 7.48/7.56 c 438 6234 19572 66432 3 45115 8927 440 468 0.94 7.48/7.56 c 914 6234 20048 80421 4 46067 9820 916 550 1.66 7.48/7.56 c 1727 6234 20861 112438 5 47693 10803 1729 559 3.09 7.48/7.56 c 3047 6234 22181 168922 7 50333 11884 3049 525 5.79 7.48/7.56 o 29 82.26/82.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 82.26/82.32 c 4028 6234 23163 214477 9 55284 7377 4031 532 7.57 82.26/82.32 c 4128 6234 23263 217853 9 55484 8115 4131 531 7.76 82.26/82.32 c 4378 6234 23513 228635 9 55984 8927 4381 533 8.20 82.26/82.32 c 4853 6234 23988 251569 10 56934 9820 4856 531 9.13 82.26/82.32 c 5666 6234 24801 284021 11 58560 10803 5669 525 10.78 82.26/82.32 c 6987 6234 26122 349698 13 61202 11884 6990 519 13.44 82.26/82.32 c 9069 6234 28204 430834 15 65366 13073 9072 516 17.55 82.26/82.32 c 12292 6234 31427 630758 20 71812 14381 12295 506 24.27 82.26/82.32 c 17229 6234 26324 469167 17 55635 15820 7192 470 36.64 82.26/82.32 c 24735 6234 33830 990457 29 70647 17403 14698 462 53.49 82.26/82.32 c 36096 6234 33214 794122 23 69415 19144 14082 441 81.84 82.26/82.32 o 28 1797.96/1798.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.64 c 36291 6234 33410 803616 24 72795 7377 14278 440 82.30 1797.96/1798.64 c 36391 6234 22922 209763 9 48832 8115 3790 440 82.60 1797.96/1798.64 c 36641 6234 23172 219261 9 49332 8927 4040 441 83.05 1797.96/1798.64 c 37117 6234 23648 239683 10 50284 9820 4516 441 84.09 1797.96/1798.64 c 37930 6234 24461 274762 11 51910 10803 5329 442 85.74 1797.96/1798.64 c 39251 6234 25782 340718 13 54552 11884 6650 444 88.31 1797.96/1798.64 c 41332 6234 27863 429263 15 58714 13073 8731 448 92.13 1797.96/1798.64 c 44557 6234 31088 588176 18 65164 14381 11956 451 98.71 1797.96/1798.64 c 49495 6234 26324 429581 16 55636 15820 7192 452 109.40 1797.96/1798.64 c 57001 6234 33830 887052 26 70648 17403 14698 452 125.95 1797.96/1798.64 c 68362 6234 33098 963856 29 69184 19144 13966 446 153.19 1797.96/1798.64 c 85506 6234 37465 1057393 28 77918 21059 18333 444 192.24 1797.96/1798.64 c 111325 6234 36207 1123742 31 75402 23165 17075 437 254.50 1797.96/1798.64 c 150158 6234 30174 610429 20 63336 25482 11042 423 354.15 1797.96/1798.64 c 208510 6234 37658 994258 26 78304 28031 18526 401 519.08 1797.96/1798.64 c 296142 6234 44988 1321170 29 92964 30835 25856 387 764.37 1797.96/1798.64 c 427694 6234 39964 1652286 41 82916 33919 20832 367 1162.28 1797.96/1798.64 c Resources Exceeded 1797.96/1798.64 v -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 -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 -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 -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 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -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 -x976 -x978 -x980 -x982 -x984 -x986 -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 -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 -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 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -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 -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 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -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 -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 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -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 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -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 -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 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -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 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -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 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -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 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -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 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -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 -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 -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 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -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 -x3699 -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 -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 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -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 -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 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -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 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -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 -x4486 -x4488 -x4490 -x4492 -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 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -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 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -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 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x4810 -x4812 -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 -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 -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 -x5069 -x5071 -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 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x5299 -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -x5320 -x5322 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 -x5384 -x5386 -x5388 -x5390 -x5392 -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 -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 -x5778 -x5780 -x5782 -x5784 -x5786 -x5788 -x5790 -x5792 -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 -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 -x5965 -x5967 -x5969 -x5971 -x5973 -x5975 -x5977 -x5979 -x5981 -x5983 -x5985 -x5987 -x5989 -x5991 -x5993 -x5995 -x5997 -x5999 -x6001 -x6003 -x6005 -x6007 -x6009 -x6011 -x6013 -x6015 -x6017 -x6019 -x6021 -x6023 -x6025 -x6027 -x6029 -x6031 -x6033 -x6035 -x6037 -x6039 -x6041 -x6043 -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 -x6071 -x6073 -x6075 -x6077 -x6079 -x6081 -x6083 -x6085 -x6087 -x6089 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 -x6105 -x6107 -x6109 -x6111 -x6113 -x6115 -x6117 -x6119 -x6121 -x6123 -x6125 -x6127 -x6129 -x6131 -x6133 x6135 -x6137 -x6139 -x6141 -x6143 -x6145 -x6147 -x6149 -x6151 -x6153 -x6155 -x6157 -x6159 -x6161 -x6163 -x6165 -x6167 -x6169 -x6171 -x6173 -x6175 -x6177 -x6179 -x6181 -x6183 -x6185 -x6187 -x6189 -x6191 -x6193 -x6195 -x6197 -x6199 -x6201 -x6203 -x6205 -x6207 -x6209 -x6211 -x6213 -x6215 -x6217 -x6219 -x6221 -x6223 -x6225 -x6227 -x6229 -x6231 -x6233 -x6235 -x6237 -x6239 -x6241 -x6243 -x6245 -x6247 -x6249 -x6251 -x6253 -x6255 -x6257 -x6259 -x6261 -x6263 -x6265 -x6267 -x6269 -x6271 -x6273 -x6275 -x6277 -x6279 -x6281 -x6283 -x6285 -x6287 -x6289 -x6291 -x6293 -x6295 -x6297 -x6299 -x6301 -x6303 -x6305 -x6307 -x6309 -x6311 -x6313 -x6315 -x6317 -x6319 -x6321 -x6323 -x6325 -x6327 -x6329 -x6331 -x6333 -x6335 -x6337 -x6339 -x6341 -x6343 -x6345 -x6347 -x6349 -x6351 -x6353 -x6355 -x6357 -x6359 -x6361 -x6363 -x6365 -x6367 -x6369 -x6371 -x6373 -x6375 -x6377 -x6379 -x6381 -x6383 -x6385 -x6387 -x6389 -x6391 -x6393 -x6395 -x6397 -x6399 -x6401 -x6403 -x6405 -x6407 -x6409 -x6411 -x6413 -x6415 -x6417 -x6419 -x6421 -x6423 -x6425 -x6427 -x6429 -x6431 -x6433 x6435 -x6437 -x6439 -x6441 -x6443 -x6445 -x6447 -x6449 -x6451 -x6453 -x6455 -x6457 -x6459 -x6461 -x6463 -x6464 -x6466 -x6468 -x6470 -x6472 -x6474 -x6476 -x6478 -x6480 -x6482 -x6484 -x6486 -x6488 -x6490 -x6492 -x6494 -x6496 -x6498 -x6500 -x6502 x6504 -x6506 -x6508 -x6510 -x6512 -x6514 -x6516 -x6518 -x6520 -x6522 -x6524 -x6526 -x6528 -x6530 -x6532 -x6534 -x6536 -x6538 -x6540 -x6542 -x6544 -x6546 -x6548 -x6550 -x6552 -x6554 -x6556 -x6558 -x6560 -x6562 -x6564 -x6566 -x6568 -x6570 -x6572 -x6574 -x6576 -x6578 -x6580 -x6582 -x6584 -x6586 -x6588 -x6590 -x6592 -x6594 -x6596 -x6598 -x6600 -x6602 -x6604 -x6606 -x6608 -x6610 -x6612 -x6614 -x6616 -x6618 -x6620 -x6622 -x6624 -x6626 -x6628 -x6630 -x6632 -x6634 -x6636 -x6638 -x6640 -x6642 -x6644 -x6646 -x6648 -x6650 -x6652 -x6654 -x6656 -x6658 -x6660 -x6662 -x6664 -x6666 -x6668 -x6670 -x6672 -x6674 -x6676 -x6678 -x6680 -x6682 -x6684 -x6686 -x6688 -x6690 -x6692 -x6694 -x6696 -x6698 -x6700 -x6702 -x6704 -x6706 -x6708 -x6710 -x6712 -x6714 -x6716 -x6718 -x6720 -x6722 -x6724 -x6726 -x6728 -x6730 -x6732 -x6734 -x6736 -x6738 -x6740 -x6742 -x6744 x6746 -x6748 -x6750 -x6752 -x6754 -x6756 -x6758 -x6760 -x6762 -x6764 -x6766 -x6768 -x6770 -x6772 -x6774 -x6776 -x6778 -x6780 -x6782 -x6784 -x6786 -x6788 -x6790 -x6792 -x6794 -x6796 -x6798 -x6800 -x6802 -x6804 -x6806 -x6808 -x6810 -x6812 -x6814 -x6816 -x6818 -x6820 -x6822 x6824 -x6826 -x6828 -x6830 -x6832 -x6834 -x6836 -x6838 -x6840 -x6842 -x6844 -x6846 -x6848 -x6850 -x6852 x6854 -x6856 -x6858 -x6860 -x6862 -x6864 -x6866 -x6868 -x6870 -x6872 -x6874 -x6876 -x6878 -x6880 -x6882 -x6884 -x6886 -x6888 -x6890 -x6892 -x6894 -x6896 -x6898 -x6900 -x6902 -x6904 -x6906 -x6908 -x6910 -x6912 -x6914 -x6916 -x6918 -x6920 -x6922 -x6924 -x6926 -x6928 -x6930 -x6932 -x6934 -x6936 -x6938 -x6940 -x6942 -x6944 -x6946 -x6948 -x6950 -x6952 -x6954 -x6956 -x6958 -x6960 -x6962 -x6964 -x6966 -x6968 -x6970 -x6972 -x6974 -x6976 -x6978 -x6980 -x6982 -x6984 -x6986 -x6988 -x6990 -x6992 -x6994 -x6996 -x6998 -x7000 -x7002 -x7004 -x7006 -x7008 -x7010 -x7012 -x7014 x7016 -x7018 -x7020 -x7022 -x7024 -x7026 -x7028 x7030 x7032 -x7034 -x7036 -x7038 -x7040 -x7042 -x7044 -x7046 -x7048 -x7050 -x7052 -x7054 -x7056 -x7058 -x7060 -x7062 -x7064 -x7066 -x7068 -x7070 -x7072 -x7074 -x7076 -x7078 -x7080 -x7082 -x7083 -x7085 -x7087 -x7089 -x7091 -x7093 -x7095 -x7097 -x7099 -x7101 -x7103 -x7105 -x7107 -x7109 -x7111 -x7113 -x7115 -x7117 -x7119 -x7121 -x7123 -x7125 -x7127 -x7129 -x7131 -x7133 -x7135 -x7137 -x7139 -x7141 -x7143 -x7145 -x7147 -x7149 -x7151 -x7153 -x7155 -x7157 -x7159 -x7161 -x7163 -x7165 -x7167 -x7169 -x7171 -x7173 -x7175 -x7177 -x7179 -x7181 -x7183 -x7185 -x7187 -x7189 -x7191 -x7193 -x7195 -x7197 -x7199 -x7201 -x7203 -x7205 -x7207 -x7209 -x7211 -x7213 -x7215 -x7217 -x7219 -x7221 -x7223 -x7225 -x7227 -x7229 -x7231 -x7233 -x7235 -x7237 -x7239 -x7241 -x7243 -x7245 -x7247 -x7249 -x7251 -x7253 -x7255 -x7257 -x7259 -x7261 -x7263 -x7265 -x7267 -x7269 -x7271 -x7273 -x7275 -x7277 -x7279 -x7281 -x7283 -x7285 -x7287 -x7289 -x7291 -x7293 -x7295 x7297 -x7299 -x7301 -x7303 -x7305 -x7307 -x7309 -x7311 -x7313 -x7315 -x7317 -x7319 -x7321 -x7323 -x7325 -x7327 -x7329 -x7331 -x7333 -x7335 -x7337 -x7339 -x7341 -x7343 -x7345 -x7347 -x7349 -x7351 -x7353 -x7355 -x7357 -x7359 -x7361 -x7363 -x7365 -x7367 -x7369 -x7371 -x7373 -x7375 -x7377 -x7379 x7381 -x7383 -x7385 -x7387 -x7389 -x7391 -x7393 -x7395 -x7397 -x7399 -x7401 -x7403 -x7405 -x7407 -x7409 -x7411 -x7413 -x7415 -x7417 -x7419 -x7421 -x7423 -x7425 -x7427 -x7429 -x7431 x7433 -x7435 x7437 -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 -x1 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x2 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x3 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x4 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x5 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x6 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x7 -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 -x8 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x9 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 x544 x10 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 x566 -x568 -x570 -x572 -x11 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x12 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x13 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x14 -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 -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 -x15 -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 -x16 -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 -x17 -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 -x18 -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 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x19 -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 -x20 -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 -x21 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x22 -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 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x23 -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 -x24 -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 -x25 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x26 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x27 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x28 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x29 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x30 -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 -x31 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x32 -x2086 -x2088 -x2090 -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 -x33 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x34 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x35 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x36 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x37 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x38 -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 -x39 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x40 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x41 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x42 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x43 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x44 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x45 -x2506 -x2508 -x2510 -x46 -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 -x47 -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 -x48 -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 -x49 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x50 -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 -x51 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x52 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x53 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x54 -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 -x55 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x56 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x57 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x58 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x59 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x60 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 x3120 x61 -x3122 -x3124 -x3126 -x62 -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 -x63 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x64 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x65 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x66 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x67 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x68 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x69 -x3322 -x3324 -x3326 -x70 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x71 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x3370 -x72 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x73 -x3386 -x3388 -x3390 -x74 -x3392 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x75 -x3406 -x3408 -x3410 -x76 -x3412 -x3414 x3416 x77 -x3418 x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x78 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x79 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x80 -x3478 -x3480 x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -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 -x81 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -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 -x82 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x83 -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 -x84 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x85 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x86 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x87 -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 -x88 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x89 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x90 -x4012 -x4014 -x4016 -x4018 -x4020 -x4022 -x4024 -x91 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x92 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x93 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x94 -x4084 -x4086 -x4088 -x95 -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 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x96 -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 -x97 -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 -x98 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 -x99 -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 -x100 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x101 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 -x4485 -x4487 -x4489 -x102 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x103 -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 -x104 -x4567 -x4569 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x105 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x106 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 x4665 -x4667 -x4669 -x107 -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x108 -x4685 -x4687 -x4689 -x4691 -x4693 -x4695 -x4697 -x109 -x4699 -x4701 -x4703 -x110 -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 -x111 -x4767 -x4769 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x112 -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x113 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x114 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x115 -x4871 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x116 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 -x117 -x4899 -x4901 -x118 -x4903 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x119 -x4933 -x4935 -x4937 -x4939 -x4941 -x4943 -x4945 -x120 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 -x121 -x4961 -x4963 -x4965 x122 -x4967 -x4969 -x4971 -x4973 x4975 -x4977 -x4979 x123 -x4981 x4983 -x4985 -x124 -x4987 -x4989 -x4991 -x125 -x4993 -x4995 x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -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 -x126 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176 -x5178 -x5180 -x127 -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 -x128 -x5244 -x5246 -x5248 -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x129 -x5274 -x5276 -x5278 -x5280 -x5282 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5321 -x5323 -x5325 -x5327 -x5329 -x5331 -x130 -x5333 -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 -x131 -x5363 -x5365 -x5367 -x5369 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 -x5391 -x5393 -x5395 -x5397 -x5399 -x5401 x5403 -x5405 -x132 -x5407 -x5409 -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435 -x133 -x5437 -x5439 -x5441 -x5443 -x5445 -x5447 -x5449 -x134 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467 -x5469 -x5471 -x5473 -x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5495 -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x5509 -x5511 -x135 -x5513 -x5515 -x5517 -x5519 -x5521 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535 -x5537 -x5539 -x5541 -x136 -x5543 -x5545 -x5547 -x5549 -x5551 -x5553 -x5555 -x5557 -x5559 -x5561 -x5563 -x5565 -x5567 -x5569 -x5571 -x137 -x5573 -x5575 -x5577 -x5579 -x5581 -x5583 -x5585 -x138 -x5587 -x5589 -x5591 -x5593 -x5595 -x5597 -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611 -x5613 -x5615 -x139 -x5617 -x5619 -x5621 -x5623 -x5625 -x5627 -x5629 -x140 -x5631 -x5633 -x5635 -x5637 -x5639 -x5641 -x5643 -x141 -x5645 -x5647 -x5649 -x142 -x5651 -x5653 -x5655 -x5657 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x5675 -x5677 -x5679 -x5681 -x5683 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x5701 -x5703 -x5705 -x5707 -x5709 -x5711 -x143 -x5713 -x5715 -x5717 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x5733 -x5735 -x5737 -x5739 -x5741 -x144 -x5743 -x5745 -x5747 -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x5765 -x5767 -x5769 -x5771 -x145 -x5773 -x5775 -x5777 -x5779 -x5781 -x5783 -x5785 -x146 -x5787 -x5789 -x5791 -x5793 -x5795 -x5797 -x5799 -x5801 -x5803 -x5805 -x5807 -x5809 -x5811 -x5813 -x5815 -x147 -x5817 -x5819 -x5821 -x5823 -x5825 -x5827 -x5829 -x148 -x5831 -x5833 -x5835 -x5837 -x5839 -x5841 -x5843 -x149 -x5845 -x5847 -x5849 -x150 -x5851 -x5853 -x5855 -x5857 -x5859 -x5861 -x5863 -x5865 -x5867 -x5869 -x5871 -x5873 -x5875 -x5877 -x5879 -x5881 -x5883 -x5885 -x5887 -x5889 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 -x5904 -x5906 -x5908 -x5910 -x151 -x5912 -x5914 -x5916 -x5918 -x5920 -x5922 -x5924 -x5926 -x5928 -x5930 -x5932 -x5934 -x5936 -x5938 -x5940 -x152 -x5942 -x5944 -x5946 -x5948 -x5950 -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x5964 -x5966 -x5968 -x5970 -x153 -x5972 -x5974 -x5976 -x5978 -x5980 -x5982 -x5984 -x154 -x5986 -x5988 -x5990 -x5992 -x5994 -x5996 -x5998 -x6000 -x6002 -x6004 -x6006 -x6008 -x6010 -x6012 -x6014 -x155 -x6016 -x6018 -x6020 -x6022 -x6024 -x6026 -x6028 -x156 -x6030 -x6032 -x6034 -x6036 -x6038 -x6040 -x6042 -x157 -x6044 -x6046 -x6048 -x158 -x6050 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6068 -x6070 -x6072 -x6074 -x6076 -x6078 -x159 -x6080 -x6082 -x6084 -x6086 -x6088 -x6090 -x6092 -x160 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106 -x161 -x6108 -x6110 -x6112 -x162 -x6114 -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x163 -x6128 -x6130 -x6132 x6134 -x6136 -x6138 -x164 -x6140 -x165 -x6142 -x6144 -x6146 -x6148 -x6150 -x6152 -x6154 -x6156 -x6158 -x6160 -x6162 -x6164 -x6166 -x6168 -x6170 -x6172 -x6174 -x6176 -x6178 -x6180 -x6182 -x6184 -x6186 -x6188 -x6190 -x6192 -x6194 -x6196 -x6198 -x6200 -x6202 -x6204 -x6206 -x6208 -x6210 -x6212 -x6214 -x6216 -x6218 -x6220 -x6222 -x6224 -x6226 -x6228 -x6230 -x6232 -x6234 -x6236 -x6238 -x6240 -x6242 -x6244 -x6246 -x6248 -x6250 -x6252 -x6254 -x6256 -x6258 -x6260 -x166 -x6262 -x6264 -x6266 -x6268 -x6270 -x6272 -x6274 -x6276 -x6278 -x6280 -x6282 -x6284 -x6286 -x6288 -x6290 -x6292 -x6294 -x6296 -x6298 -x6300 -x6302 -x6304 -x6306 -x6308 -x6310 -x6312 -x6314 -x6316 -x6318 -x6320 -x6322 -x167 -x6324 -x6326 -x6328 -x6330 -x6332 -x6334 -x6336 -x6338 -x6340 -x6342 -x6344 -x6346 -x6348 -x6350 -x6352 -x6354 -x6356 -x6358 -x6360 -x6362 -x6364 -x6366 -x6368 -x6370 -x6372 -x6374 -x6376 -x6378 -x6380 -x6382 -x6384 -x168 -x6386 -x6388 -x6390 -x6392 -x6394 -x6396 -x6398 -x6400 -x6402 -x6404 -x6406 -x6408 -x6410 -x6412 -x6414 -x6416 -x6418 -x6420 -x6422 -x6424 -x6426 -x6428 -x6430 -x6432 x6434 -x6436 -x6438 -x6440 -x6442 -x6444 -x6446 -x6448 -x6450 -x6452 -x6454 -x6456 -x6458 -x6460 -x6462 -x6465 -x6467 -x6469 -x6471 -x6473 -x169 -x6475 -x6477 -x6479 -x6481 -x6483 -x6485 -x6487 -x6489 -x6491 -x6493 -x6495 -x6497 -x6499 -x6501 x6503 -x6505 -x6507 -x6509 -x6511 -x6513 -x6515 -x6517 -x6519 -x6521 -x6523 -x6525 -x6527 -x6529 -x6531 -x6533 -x170 -x6535 -x6537 -x6539 -x6541 -x6543 -x6545 -x6547 -x171 -x6549 -x6551 -x6553 -x6555 -x6557 -x6559 -x6561 -x6563 -x6565 -x6567 -x6569 -x6571 -x6573 -x6575 -x6577 -x6579 -x6581 -x6583 -x6585 -x6587 -x6589 -x6591 -x6593 -x6595 -x6597 -x6599 -x6601 -x6603 -x6605 -x6607 -x6609 -x172 -x6611 -x6613 -x6615 -x6617 -x6619 -x6621 -x6623 -x6625 -x6627 -x6629 -x6631 -x6633 -x6635 -x6637 -x6639 -x173 -x6641 -x6643 -x6645 -x6647 -x6649 -x6651 -x6653 -x6655 -x6657 -x6659 -x6661 -x6663 -x6665 -x6667 -x6669 -x174 -x6671 -x6673 -x6675 -x6677 -x6679 -x6681 -x6683 -x175 -x6685 -x6687 -x6689 -x6691 -x6693 -x6695 -x6697 -x6699 -x6701 -x6703 -x6705 -x6707 -x6709 -x6711 -x6713 -x176 -x6715 -x6717 -x6719 -x6721 -x6723 -x6725 -x6727 -x177 -x6729 -x6731 -x6733 -x6735 -x6737 -x6739 -x6741 x178 -x6743 x6745 -x6747 -x179 -x6749 -x6751 -x6753 -x6755 -x6757 -x6759 -x6761 -x6763 -x6765 -x6767 -x6769 -x6771 -x6773 -x6775 -x6777 -x6779 -x6781 -x6783 -x6785 -x6787 -x6789 -x6791 -x6793 -x6795 -x6797 -x6799 -x6801 -x6803 -x6805 -x6807 -x6809 -x6811 -x6813 -x6815 -x6817 -x6819 -x6821 x6823 -x6825 -x6827 -x6829 -x6831 -x6833 -x6835 -x6837 -x6839 -x6841 -x6843 -x6845 -x6847 -x6849 -x6851 x6853 -x6855 -x6857 -x6859 -x6861 -x6863 -x6865 -x6867 -x180 -x6869 -x6871 -x6873 -x6875 -x6877 -x6879 -x6881 -x181 -x6883 -x6885 -x6887 -x6889 -x6891 -x6893 -x6895 -x6897 -x6899 -x6901 -x6903 -x6905 -x6907 -x6909 -x6911 -x182 -x6913 -x6915 -x6917 -x6919 -x6921 -x6923 -x183 -x6925 -x6927 -x6929 -x6931 -x6933 -x6935 -x6937 -x184 -x6939 -x6941 -x6943 -x185 -x6945 -x6947 -x6949 -x6951 -x6953 -x6955 -x6957 -x6959 -x6961 -x6963 -x6965 -x6967 -x6969 -x6971 -x6973 -x186 -x6975 -x6977 -x6979 -x6981 -x6983 -x6985 -x6987 -x187 -x6989 -x6991 -x6993 -x6995 -x6997 -x6999 -x7001 -x188 -x7003 -x7005 x189 -x7007 -x7009 -x7011 -x7013 x7015 -x7017 -x7019 -x190 -x7021 -x7023 -x7025 x191 -x7027 x7029 x7031 x192 -x7033 -x193 -x7035 -x7037 -x7039 -x7041 -x7043 -x7045 -x7047 -x7049 -x7051 -x7053 -x7055 -x7057 -x7059 -x7061 -x7063 -x7065 -x7067 -x7069 -x7071 -x7073 -x7075 -x7077 -x7079 -x7081 -x7084 -x7086 -x7088 -x194 -x7090 -x7092 -x7094 -x7096 -x7098 -x7100 -x7102 -x7104 -x7106 -x7108 -x7110 -x7112 -x7114 -x7116 -x7118 -x195 -x7120 -x7122 -x7124 -x7126 -x7128 -x7130 -x7132 -x7134 -x7136 -x7138 -x7140 -x7142 -x7144 -x7146 -x7148 -x196 -x7150 -x7152 -x7154 -x7156 -x7158 -x7160 -x7162 -x197 -x7164 -x7166 -x7168 -x7170 -x7172 -x7174 -x7176 -x7178 -x7180 -x7182 -x7184 -x7186 -x7188 -x7190 -x7192 -x198 -x7194 -x7196 -x7198 -x7200 -x7202 -x7204 -x7206 -x199 -x7208 -x7210 -x7212 -x7214 -x7216 -x7218 -x7220 -x200 -x7222 -x7224 -x7226 -x201 -x7228 -x7230 -x7232 -x7234 -x7236 -x7238 -x7240 -x7242 -x7244 -x7246 -x7248 -x7250 -x7252 -x7254 -x7256 -x202 -x7258 -x7260 -x7262 -x7264 -x7266 -x7268 -x7270 -x203 -x7272 -x7274 -x7276 -x7278 -x7280 -x7282 -x7284 -x204 -x7286 -x7288 -x7290 -x7292 -x7294 x7296 -x7298 -x7300 -x7302 -x7304 -x205 -x7306 -x7308 -x7310 -x206 -x7312 -x7314 -x7316 -x207 -x7318 -x208 -x7320 -x7322 -x7324 -x7326 -x7328 -x7330 -x7332 -x7334 -x7336 -x7338 -x7340 -x7342 -x7344 -x209 -x7346 -x7348 -x7350 -x7352 -x7354 -x7356 -x7358 -x210 -x7360 -x7362 -x7364 -x7366 -x7368 -x7370 -x7372 -x211 -x7374 -x7376 -x7378 x7380 -x7382 -x7384 -x7386 -x7388 -x7390 -x7392 -x212 -x7394 -x7396 -x213 -x7398 -x7400 -x7402 -x214 -x7404 -x215 -x7406 -x7408 -x7410 -x7412 -x7414 -x7416 -x216 -x7418 -x7420 -x7422 -x217 -x7424 -x7426 -x7428 -x218 -x7430 x7432 -x7434 -x219 x7436 x220 x221 1797.96/1798.64 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.64 c 35 605618 373396 2421411 42395 1597720 23263 336 1798.01 1797.96/1798.64 c Objective: 28 1797.96/1798.64 s SATISFIABLE 1797.96/1798.64 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-1878322-1245181918/watcher-1878322-1245181918 -o /tmp/evaluation-result-1878322-1245181918/solver-1878322-1245181918 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878322-1245181918.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.07 1.01 1.00 3/64 8685 /proc/meminfo: memFree=1904408/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=19200 CPUtime=0 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 70924813 19660800 246 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 4800 247 173 640 0 3988 0 [startup+0.0387959 s] /proc/loadavg: 1.07 1.01 1.00 3/64 8685 /proc/meminfo: memFree=1904408/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=12576 CPUtime=0.03 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 598 0 0 0 3 0 0 0 18 0 1 0 70924813 12877824 582 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 3144 583 231 640 0 2332 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12576 [startup+0.101808 s] /proc/loadavg: 1.07 1.01 1.00 3/64 8685 /proc/meminfo: memFree=1904408/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=14088 CPUtime=0.09 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 1099 0 0 0 9 0 0 0 18 0 1 0 70924813 14426112 1083 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 3522 1083 335 640 0 2710 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14088 [startup+0.301848 s] /proc/loadavg: 1.07 1.01 1.00 3/64 8685 /proc/meminfo: memFree=1904408/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=15448 CPUtime=0.29 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 1637 0 0 0 26 3 0 0 19 0 1 0 70924813 15818752 1415 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 3862 1415 197 640 0 3218 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15448 [startup+0.701926 s] /proc/loadavg: 1.07 1.01 1.00 3/64 8685 /proc/meminfo: memFree=1904408/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=15448 CPUtime=0.69 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 1657 0 0 0 65 4 0 0 23 0 1 0 70924813 15818752 1435 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 3862 1435 198 640 0 3218 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15448 [startup+1.50109 s] /proc/loadavg: 1.07 1.01 1.00 2/65 8686 /proc/meminfo: memFree=1899472/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=15540 CPUtime=1.49 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 1695 0 0 0 143 6 0 0 25 0 1 0 70924813 15912960 1471 1992294400 134512640 137136520 4294956256 18446744073709551615 136502148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 3885 1471 198 640 0 3241 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15540 [startup+3.10141 s] /proc/loadavg: 1.07 1.01 1.00 2/65 8686 /proc/meminfo: memFree=1899088/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=16020 CPUtime=3.09 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 1812 0 0 0 302 7 0 0 25 0 1 0 70924813 16404480 1585 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 4005 1585 198 640 0 3361 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16020 [startup+6.30105 s] /proc/loadavg: 1.06 1.01 1.00 2/65 8686 /proc/meminfo: memFree=1897872/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=17072 CPUtime=6.28 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 2095 0 0 0 621 7 0 0 25 0 1 0 70924813 17481728 1837 1992294400 134512640 137136520 4294956256 18446744073709551615 136518911 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 4268 1837 198 640 0 3624 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 17072 [startup+12.7013 s] /proc/loadavg: 1.06 1.01 1.00 2/65 8686 /proc/meminfo: memFree=1895376/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=19448 CPUtime=12.69 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 2711 0 0 0 1260 9 0 0 25 0 1 0 70924813 19914752 2434 1992294400 134512640 137136520 4294956256 18446744073709551615 134573633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 4862 2434 198 640 0 4218 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19448 [startup+25.5019 s] /proc/loadavg: 1.04 1.01 1.00 2/65 8686 /proc/meminfo: memFree=1890256/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=24332 CPUtime=25.49 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 4164 0 0 0 2537 12 0 0 25 0 1 0 70924813 24915968 3669 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 6083 3669 198 640 0 5439 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 24332 [startup+51.102 s] /proc/loadavg: 1.03 1.01 1.00 2/65 8686 /proc/meminfo: memFree=1886480/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=28072 CPUtime=51.07 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 5356 0 0 0 5089 18 0 0 25 0 1 0 70924813 28745728 4604 1992294400 134512640 137136520 4294956256 18446744073709551615 136509117 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 7018 4604 198 640 0 6374 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 28072 [startup+102.305 s] /proc/loadavg: 1.01 1.00 1.00 2/65 8686 /proc/meminfo: memFree=1881552/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=33000 CPUtime=102.26 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 6718 0 0 0 10194 32 0 0 25 0 1 0 70924813 33792000 5828 1992294400 134512640 137136520 4294956256 18446744073709551615 136501953 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 8250 5828 198 640 0 7606 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 33000 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8688 /proc/meminfo: memFree=1881040/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=33312 CPUtime=162.24 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 6823 0 0 0 16179 45 0 0 25 0 1 0 70924813 34111488 5911 1992294400 134512640 137136520 4294956256 18446744073709551615 136518911 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 8328 5911 198 640 0 7684 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 33312 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8688 /proc/meminfo: memFree=1879312/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=35084 CPUtime=222.21 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 7440 0 0 0 22166 55 0 0 25 0 1 0 70924813 35926016 6357 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 8771 6357 198 640 0 8127 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 35084 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8688 /proc/meminfo: memFree=1876560/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=37808 CPUtime=282.19 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 8127 0 0 0 28153 66 0 0 25 0 1 0 70924813 38715392 7032 1992294400 134512640 137136520 4294956256 18446744073709551615 134573532 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 9452 7032 198 640 0 8808 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 37808 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8688 /proc/meminfo: memFree=1876560/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=37808 CPUtime=342.17 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 8127 0 0 0 34139 78 0 0 25 0 1 0 70924813 38715392 7032 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 9452 7032 198 640 0 8808 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 37808 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8688 /proc/meminfo: memFree=1876560/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=37756 CPUtime=402.15 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 8129 0 0 0 40126 89 0 0 25 0 1 0 70924813 38662144 7025 1992294400 134512640 137136520 4294956256 18446744073709551615 134544411 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 9439 7025 198 640 0 8795 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 37756 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8688 /proc/meminfo: memFree=1876560/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=37752 CPUtime=462.13 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 8129 0 0 0 46114 99 0 0 25 0 1 0 70924813 38658048 7024 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 9438 7024 198 640 0 8794 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 37752 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8688 /proc/meminfo: memFree=1876560/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=37752 CPUtime=522.11 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 8129 0 0 0 52100 111 0 0 25 0 1 0 70924813 38658048 7024 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 9438 7024 198 640 0 8794 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 37752 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8694 /proc/meminfo: memFree=1875216/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=39016 CPUtime=582.09 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 8541 0 0 0 58087 122 0 0 25 0 1 0 70924813 39952384 7340 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 9754 7340 198 640 0 9110 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 39016 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8694 /proc/meminfo: memFree=1874960/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=39232 CPUtime=642.07 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 8599 0 0 0 64078 129 0 0 25 0 1 0 70924813 40173568 7393 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 9808 7393 198 640 0 9164 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 39232 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1860752/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=53412 CPUtime=1121.89 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 12212 0 0 0 111999 190 0 0 25 0 1 0 70924813 54693888 10939 1992294400 134512640 137136520 4294956256 18446744073709551615 136498241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 13353 10939 198 640 0 12709 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 53412 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8694 /proc/meminfo: memFree=1860688/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=53412 CPUtime=1181.87 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 12212 0 0 0 117990 197 0 0 25 0 1 0 70924813 54693888 10939 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 13353 10939 198 640 0 12709 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 53412 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8694 /proc/meminfo: memFree=1860496/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=53416 CPUtime=1241.85 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 12248 0 0 0 123980 205 0 0 25 0 1 0 70924813 54697984 10940 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 13354 10940 198 640 0 12710 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 53416 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8694 /proc/meminfo: memFree=1860432/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=53420 CPUtime=1301.83 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 12285 0 0 0 129966 217 0 0 25 0 1 0 70924813 54702080 10941 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 13355 10941 198 640 0 12711 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 53420 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8694 /proc/meminfo: memFree=1860432/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=53420 CPUtime=1361.81 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 12285 0 0 0 135952 229 0 0 25 0 1 0 70924813 54702080 10941 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 13355 10941 198 640 0 12711 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 53420 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8694 /proc/meminfo: memFree=1860432/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=53420 CPUtime=1421.79 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 12285 0 0 0 141938 241 0 0 25 0 1 0 70924813 54702080 10941 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 13355 10941 198 640 0 12711 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 53420 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8694 /proc/meminfo: memFree=1860432/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=53420 CPUtime=1481.77 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 12285 0 0 0 147927 250 0 0 25 0 1 0 70924813 54702080 10941 1992294400 134512640 137136520 4294956256 18446744073709551615 134573439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 13355 10941 198 640 0 12711 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 53420 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8694 /proc/meminfo: memFree=1860432/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=53420 CPUtime=1541.74 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 12285 0 0 0 153916 258 0 0 25 0 1 0 70924813 54702080 10941 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 13355 10941 198 640 0 12711 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 53420 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8694 /proc/meminfo: memFree=1860496/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=53420 CPUtime=1601.72 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 12285 0 0 0 159904 268 0 0 25 0 1 0 70924813 54702080 10941 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 13355 10941 198 640 0 12711 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 53420 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8694 /proc/meminfo: memFree=1860432/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=53420 CPUtime=1661.71 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 12285 0 0 0 165894 277 0 0 25 0 1 0 70924813 54702080 10941 1992294400 134512640 137136520 4294956256 18446744073709551615 136503535 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 13355 10941 198 640 0 12711 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 53420 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8694 /proc/meminfo: memFree=1860432/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=53420 CPUtime=1721.68 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 12285 0 0 0 171882 286 0 0 25 0 1 0 70924813 54702080 10941 1992294400 134512640 137136520 4294956256 18446744073709551615 134545035 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 13355 10941 198 640 0 12711 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 53420 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8694 /proc/meminfo: memFree=1860368/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=53420 CPUtime=1781.66 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 12285 0 0 0 177873 293 0 0 25 0 1 0 70924813 54702080 10941 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 13355 10941 198 640 0 12711 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 53420 Solver just ended. Dumping a history of the last processes samples [startup+1791.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8694 /proc/meminfo: memFree=1860368/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=53420 CPUtime=1791.26 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 12285 0 0 0 178832 294 0 0 25 0 1 0 70924813 54702080 10941 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 13355 10941 198 640 0 12711 0 Current children cumulated CPU time (s) 1791.26 Current children cumulated vsize (KiB) 53420 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8694 /proc/meminfo: memFree=1860368/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=53420 CPUtime=1794.46 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 12285 0 0 0 179151 295 0 0 25 0 1 0 70924813 54702080 10941 1992294400 134512640 137136520 4294956256 18446744073709551615 134544338 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 13355 10941 198 640 0 12711 0 Current children cumulated CPU time (s) 1794.46 Current children cumulated vsize (KiB) 53420 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8694 /proc/meminfo: memFree=1860368/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=53420 CPUtime=1796.06 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 12285 0 0 0 179311 295 0 0 25 0 1 0 70924813 54702080 10941 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 13355 10941 198 640 0 12711 0 Current children cumulated CPU time (s) 1796.06 Current children cumulated vsize (KiB) 53420 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8694 /proc/meminfo: memFree=1860368/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=53420 CPUtime=1796.86 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 12285 0 0 0 179390 296 0 0 25 0 1 0 70924813 54702080 10941 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 13355 10941 198 640 0 12711 0 Current children cumulated CPU time (s) 1796.86 Current children cumulated vsize (KiB) 53420 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8694 /proc/meminfo: memFree=1860368/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=53420 CPUtime=1797.66 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 12285 0 0 0 179470 296 0 0 25 0 1 0 70924813 54702080 10941 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 13355 10941 198 640 0 12711 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (KiB) 53420 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8694 /proc/meminfo: memFree=1860368/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=53420 CPUtime=1797.87 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 12285 0 0 0 179491 296 0 0 25 0 1 0 70924813 54702080 10941 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 13355 10941 198 640 0 12711 0 Current children cumulated CPU time (s) 1797.87 Current children cumulated vsize (KiB) 53420 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8694 /proc/meminfo: memFree=1860368/2055920 swapFree=4191900/4192956 [pid=8685] ppid=8683 vsize=53420 CPUtime=1797.96 /proc/8685/stat : 8685 (bsolo) R 8683 8685 8344 0 -1 4194304 12285 0 0 0 179500 296 0 0 25 0 1 0 70924813 54702080 10941 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8685/statm: 13355 10941 198 640 0 12711 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 53420 Child status: 0 Real time (s): 1798.65 CPU time (s): 1798.02 CPU user time (s): 1795.05 CPU system time (s): 2.96755 CPU usage (%): 99.9646 Max. virtual memory (cumulated for all children) (KiB): 53556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.05 system time used= 2.96755 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12287 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= 15 involuntary context switches= 4075 runsolver used 1.41078 second user time and 3.74643 second system time The end
Begin job on node33 at 2009-06-16 21:51:58 IDJOB=1878322 IDBENCH=24984 IDSOLVER=700 FILE ID=node33/1878322-1245181918 PBS_JOBID= 9363907 Free space on /tmp= 65952 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_019_area_delay.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878322-1245181918/watcher-1878322-1245181918 -o /tmp/evaluation-result-1878322-1245181918/solver-1878322-1245181918 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878322-1245181918.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0b594d74f3df9901bfa97fac996b1847 RANDOM SEED=1645346510 node33.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1904888 kB Buffers: 37560 kB Cached: 58752 kB SwapCached: 384 kB Active: 60320 kB Inactive: 49392 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1904888 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 4620 kB Writeback: 0 kB Mapped: 21808 kB Slab: 27320 kB Committed_AS: 124340 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878322-1245181918.opb Free space on /tmp at the end= 65948 MiB End job on node33 at 2009-06-16 22:21:57