Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 29 | 1798.01 | 1798.5 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_004_area_delay.opb |
MD5SUM | 45c2f7ac01d7ade9fbe465857931ee2b |
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 | 27 |
Best CPU time to get the best result obtained on this benchmark | 5.35619 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 27 |
Optimality of the best value was proved | YES |
Number of variables | 5828 |
Total number of constraints | 17411 |
Number of constraints which are clauses | 17411 |
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 | 63 |
Number of terms in the objective function | 2817 |
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 | 2817 |
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 | 2817 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657248-1276630432.opb 0.00/0.00 c File size is 515072 bytes. 0.01/0.08 c Highest Coefficient sum: 2817 0.01/0.08 c Parsing was ok!! 0.01/0.08 c Total parsing time: 0.084 s 0.01/0.09 c Var: 5828 Constr: 17411 17411/0/0 Lit: 42410 Watch. Lit: 34539 0.01/0.09 c Obj. Vars: 2817 (48.3356 % of total variables) 0.19/0.21 c Pre-processing Time: 0.218 s 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 5239 15056 37310 2 30112 5018 0 0 0.22 0.19/0.22 c Switching off lower bounding mode. 0.19/0.22 o 31 30.99/31.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.99/31.04 c 2 5239 15059 39875 2 32621 6018 3 8 0.23 30.99/31.04 c 102 5239 15159 46161 3 32821 6620 103 293 0.35 30.99/31.04 c 352 5239 15409 53591 3 33321 7283 353 566 0.62 30.99/31.04 c 827 5239 15884 71913 4 34271 8012 828 673 1.23 30.99/31.04 c 1640 5239 16697 111540 6 35897 8814 1641 704 2.33 30.99/31.04 c 2960 5239 18017 170178 9 38537 9696 2961 724 4.08 30.99/31.04 c 5041 5239 20098 275471 13 42699 10666 5042 724 6.96 30.99/31.04 c 8264 5239 23321 452738 19 49145 11733 8265 719 11.49 30.99/31.04 c 13201 5239 20924 328289 15 44351 12907 5868 669 19.71 30.99/31.04 o 30 727.60/727.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 727.60/727.83 c 20335 5239 28059 777322 27 61125 6018 13003 655 31.04 727.60/727.83 c 20435 5239 18166 265010 14 38836 6620 3110 651 31.34 727.60/727.83 c 20685 5239 18416 277150 15 39336 7283 3360 652 31.72 727.60/727.83 c 21160 5239 18891 298662 15 40286 8012 3835 649 32.57 727.60/727.83 c 21973 5239 19704 338053 17 41912 8814 4648 650 33.79 727.60/727.83 c 23293 5239 21024 424628 20 44552 9696 5968 648 35.90 727.60/727.83 c 25374 5239 23105 500746 21 48714 10666 8049 636 39.85 727.60/727.83 c 28597 5239 20390 258045 12 43284 11733 5334 623 45.85 727.60/727.83 c 33533 5239 25326 495172 19 53156 12907 10270 623 53.76 727.60/727.83 c 41039 5239 24043 711214 29 50590 14198 8987 607 67.53 727.60/727.83 c 52400 5239 26061 690001 26 54626 15618 11005 591 88.63 727.60/727.83 c 69544 5239 23393 526094 22 49290 17180 8337 573 121.36 727.60/727.83 c 95365 5239 27733 780994 28 57970 18899 12677 521 182.76 727.60/727.83 c 134197 5239 31152 1092346 35 64808 20789 16096 528 254.12 727.60/727.83 c 192549 5239 28187 503310 17 58878 22868 13131 462 416.59 727.60/727.83 c 280181 5239 31338 1252555 39 65180 25155 16282 458 610.62 727.60/727.83 o 29 1797.91/1798.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.49 c 329036 5239 30684 1164113 37 66377 6018 15628 452 727.65 1797.91/1798.49 c 329136 5239 18166 239374 13 38837 6620 3110 451 728.28 1797.91/1798.49 c 329386 5239 18416 247660 13 39337 7283 3360 452 728.69 1797.91/1798.49 c 329862 5239 18892 268420 14 40289 8012 3836 452 729.51 1797.91/1798.49 c 330675 5239 19705 304512 15 41915 8814 4649 452 731.03 1797.91/1798.49 c 331995 5239 21025 370119 17 44555 9696 5969 452 733.14 1797.91/1798.49 c 334076 5239 23106 484789 20 48717 10666 8050 453 736.73 1797.91/1798.49 c 337299 5239 20390 318152 15 43285 11733 5334 454 742.59 1797.91/1798.49 c 342236 5239 25327 533674 21 53159 12907 10271 455 750.53 1797.91/1798.49 c 349743 5239 24632 588828 23 51769 14198 9576 457 765.00 1797.91/1798.49 c 361106 5239 26632 616615 23 55769 15618 11576 458 787.61 1797.91/1798.49 c 378250 5239 23705 504438 21 49915 17180 8649 461 819.18 1797.91/1798.49 c 404069 5239 28288 614728 21 59081 18899 13232 464 869.96 1797.91/1798.49 c 442903 5239 31281 1322221 42 65067 20789 16225 466 949.02 1797.91/1798.49 c 501255 5239 26561 676964 25 55627 22868 11505 467 1072.99 1797.91/1798.49 c 588887 5239 30413 887898 29 63331 25155 15357 465 1264.03 1797.91/1798.49 c 720441 5239 33013 1726203 52 68531 27671 17957 459 1568.05 1797.91/1798.49 c Resources Exceeded 1797.91/1798.49 v -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -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 -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 -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 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -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 -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 -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 -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 -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 -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 -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 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -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 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -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 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 -x4899 -x4901 -x4903 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x4933 -x4935 -x4937 -x4939 -x4941 -x4943 -x4945 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 -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 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176 -x5178 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 -x5202 -x5204 -x5206 -x5208 -x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 -x5248 -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 -x5282 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -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 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x327 -x1 -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 -x2 -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 -x3 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x4 -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 -x5 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x6 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x7 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x8 -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 -x9 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x10 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x11 -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 -x12 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x13 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x14 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x15 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x16 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x17 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x18 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x19 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x20 -x993 -x995 -x997 -x21 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x22 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x23 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x24 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x25 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x26 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 x1188 -x1190 -x27 -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 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x28 -x1324 -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 -x29 -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 -x30 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x31 -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 -x32 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x33 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x34 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x35 -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 -x36 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x37 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x38 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x39 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x40 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x41 -x1805 -x1807 -x1809 -x42 -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 -x43 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x44 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x45 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x46 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x47 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x48 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x49 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x50 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x51 -x2049 -x2051 -x2053 -x52 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x53 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x54 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x55 -x2113 -x2115 -x2117 -x56 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x57 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x58 -x2147 -x2149 -x2151 -x59 -x2153 -x2155 -x2157 -x60 -x2159 -x2161 -x2163 -x61 -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 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x62 -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 -x63 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 x2498 -x2500 -x2502 -x2504 -x2506 -x64 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x65 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x66 -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 -x67 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x68 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x69 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x70 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x71 -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 -x72 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x73 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x74 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x75 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x76 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x77 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 x2982 -x2984 -x2986 -x78 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x79 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x80 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x81 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x82 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x83 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x84 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x85 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x86 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x87 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 x88 -x3306 -x3308 -x3310 -x3312 x3314 -x3316 -x3318 -x89 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x90 -x3334 -x3336 -x3338 -x91 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x92 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x93 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x94 -x3398 -x3400 -x3402 -x95 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x96 -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 -x97 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x98 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x99 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x100 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x101 -x3568 -x3570 -x3572 -x102 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x103 -x3588 -x3590 -x3592 -x104 -x3594 -x3596 -x3598 -x105 -x3600 -x106 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x107 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x108 -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 -x109 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x110 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x111 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x112 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x113 -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 -x114 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x115 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x116 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x117 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x118 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x119 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x120 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x121 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x122 -x4127 -x4129 -x4131 -x123 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x124 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x125 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x126 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4219 -x127 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 x4235 -x4237 -x4239 -x128 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x129 -x4303 -x4305 -x4307 -x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x130 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x131 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x132 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x133 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x134 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x135 -x4435 -x4437 -x4439 -x136 -x4441 -x4443 -x4445 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467 -x4469 -x137 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 -x138 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x139 -x4499 -x4501 -x4503 x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x140 -x4519 -x4521 -x4523 -x141 -x4525 -x4527 -x4529 -x142 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x143 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x4709 -x4711 -x4713 -x144 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x145 -x4776 -x4778 -x4780 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x146 -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 -x147 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x148 -x4896 -x4898 -x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x149 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x150 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x151 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x152 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x153 -x5061 -x5063 -x5065 -x5067 -x5069 -x5071 -x5073 -x154 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095 -x5097 -x5099 -x5101 -x5103 -x155 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x156 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 x157 x5133 -x5135 -x5137 -x158 -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 -x159 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x5219 -x5221 -x5223 -x5225 -x5227 -x160 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x5253 -x5255 -x5257 -x161 -x5259 -x5261 -x5263 -x5265 -x5267 -x5269 -x5271 -x162 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x5299 -x5301 -x163 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x164 -x5315 -x5317 -x5319 -x5321 -x5323 -x5325 x5327 x165 -x5329 -x5331 -x5333 -x166 -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 -x5363 -x167 -x5365 -x5367 -x5369 -x5371 -x5373 -x5375 -x5377 -x168 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 x5391 -x5393 -x5395 -x169 -x5397 -x5399 -x5401 -x5403 -x5405 -x5407 x5409 x170 -x5411 -x5413 -x5415 -x171 -x5417 -x5419 x5421 x172 -x5423 -x173 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435 -x5437 -x5439 -x5441 -x5443 -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467 -x5469 -x5471 -x5473 -x5475 -x5477 -x5479 -x174 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5495 -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x5509 -x175 -x5511 -x5513 -x5515 -x5517 -x5519 -x5521 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535 -x5537 -x5539 -x176 -x5541 -x5543 -x5545 -x5547 -x5549 -x5551 -x5553 -x177 -x5555 -x5557 -x5559 -x5561 -x5563 -x5565 -x5567 -x5569 -x5571 -x5573 -x5575 -x5577 -x5579 -x5581 -x5583 -x178 -x5585 -x5587 -x5589 -x5591 -x5593 -x5595 -x5597 x179 -x5599 x5601 -x5603 -x5605 -x5607 -x5609 -x5611 -x180 -x5613 -x5615 -x5617 -x181 -x5619 -x5621 -x5623 -x5625 -x5627 -x5629 -x5631 -x5633 -x5635 -x5637 -x5639 -x5641 -x5643 -x5645 -x5647 -x182 -x5649 -x5651 -x5653 -x5655 -x5657 -x5659 -x5661 -x183 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x5675 x5677 -x5679 -x5681 -x184 -x5683 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x185 -x5697 -x5699 -x5701 x5703 -x5705 -x5707 -x186 -x5709 -x187 -x5711 -x5713 -x5715 -x5717 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x5733 -x5735 -x188 -x5737 -x5739 -x5741 -x5743 -x5745 -x5747 -x5749 -x189 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 x5763 x190 -x5765 -x5767 -x5769 -x191 -x5771 -x5773 -x5775 -x5777 -x5779 -x5781 -x5783 -x192 -x5785 -x5787 -x193 -x5789 -x5791 x5793 x194 -x5795 -x195 -x5797 -x5799 -x5801 -x5803 -x5805 -x5807 -x196 -x5809 -x5811 -x5813 -x197 -x5815 -x5817 -x5819 -x198 -x5821 -x199 -x5823 x5825 x200 -x5827 -x201 x202 1797.91/1798.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.49 c 42 816937 502542 3059116 37119 1112868 22063 454 1798.00 1797.91/1798.49 c Objective: 29 1797.91/1798.49 s SATISFIABLE 1797.91/1798.49 c Total time: 1798 s
OK 29
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657248-1276630432/watcher-2657248-1276630432 -o /tmp/evaluation-result-2657248-1276630432/solver-2657248-1276630432 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657248-1276630432.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.01 1.00 1.00 3/106 11038 /proc/meminfo: memFree=1838564/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=11440 CPUtime=0 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 368 0 0 0 0 0 0 0 20 0 1 0 4335704 11714560 287 1992294400 134512640 137138936 4288382384 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 2860 289 176 642 0 2090 0 [startup+0.019492 s] /proc/loadavg: 1.01 1.00 1.00 3/106 11038 /proc/meminfo: memFree=1838564/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=11852 CPUtime=0.01 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 471 0 0 0 1 0 0 0 20 0 1 0 4335704 12136448 390 1992294400 134512640 137138936 4288382384 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 2963 390 192 642 0 2193 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11852 [startup+0.101501 s] /proc/loadavg: 1.01 1.00 1.00 3/106 11038 /proc/meminfo: memFree=1838564/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=14080 CPUtime=0.09 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 1293 0 0 0 9 0 0 0 20 0 1 0 4335704 14417920 1086 1992294400 134512640 137138936 4288382384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 3520 1086 184 642 0 2876 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14080 [startup+0.300522 s] /proc/loadavg: 1.01 1.00 1.00 3/106 11038 /proc/meminfo: memFree=1838564/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=14328 CPUtime=0.29 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 1419 0 0 0 27 2 0 0 20 0 1 0 4335704 14671872 1159 1992294400 134512640 137138936 4288382384 18446744073709551615 136501679 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 3582 1159 192 642 0 2938 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14328 [startup+0.700565 s] /proc/loadavg: 1.01 1.00 1.00 3/106 11038 /proc/meminfo: memFree=1838564/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=14436 CPUtime=0.69 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 1431 0 0 0 66 3 0 0 21 0 1 0 4335704 14782464 1171 1992294400 134512640 137138936 4288382384 18446744073709551615 134575390 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 3609 1171 192 642 0 2965 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14436 [startup+1.50065 s] /proc/loadavg: 1.01 1.00 1.00 2/107 11039 /proc/meminfo: memFree=1834340/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=14724 CPUtime=1.49 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 1503 0 0 0 145 4 0 0 23 0 1 0 4335704 15077376 1243 1992294400 134512640 137138936 4288382384 18446744073709551615 134575222 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 3681 1243 192 642 0 3037 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14724 [startup+3.10183 s] /proc/loadavg: 1.01 1.00 1.00 2/107 11039 /proc/meminfo: memFree=1833720/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=15500 CPUtime=3.1 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 1697 0 0 0 304 6 0 0 25 0 1 0 4335704 15872000 1437 1992294400 134512640 137138936 4288382384 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 3875 1437 192 642 0 3231 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 15500 [startup+6.30118 s] /proc/loadavg: 1.09 1.02 1.01 2/107 11039 /proc/meminfo: memFree=1831860/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=17224 CPUtime=6.29 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 2142 0 0 0 622 7 0 0 25 0 1 0 4335704 17637376 1882 1992294400 134512640 137138936 4288382384 18446744073709551615 134575390 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 4306 1882 192 642 0 3662 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17224 [startup+12.7019 s] /proc/loadavg: 1.08 1.02 1.00 2/107 11039 /proc/meminfo: memFree=1828140/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=20748 CPUtime=12.69 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 3008 0 0 0 1259 10 0 0 25 0 1 0 4335704 21245952 2748 1992294400 134512640 137138936 4288382384 18446744073709551615 136502641 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 5187 2748 192 642 0 4543 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20748 [startup+25.5013 s] /proc/loadavg: 1.06 1.01 1.00 2/107 11039 /proc/meminfo: memFree=1824792/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=23948 CPUtime=25.49 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 3810 0 0 0 2534 15 0 0 25 0 1 0 4335704 24522752 3550 1992294400 134512640 137138936 4288382384 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 5987 3550 192 642 0 5343 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 23948 [startup+51.1011 s] /proc/loadavg: 1.04 1.01 1.00 2/107 11039 /proc/meminfo: memFree=1823676/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=24956 CPUtime=51.08 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 4076 0 0 0 5082 26 0 0 25 0 1 0 4335704 25554944 3816 1992294400 134512640 137138936 4288382384 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 6239 3816 192 642 0 5595 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 24956 [startup+102.309 s] /proc/loadavg: 1.02 1.01 1.00 2/107 11041 /proc/meminfo: memFree=1818468/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=30172 CPUtime=102.27 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 5384 0 0 0 10183 44 0 0 25 0 1 0 4335704 30896128 5124 1992294400 134512640 137138936 4288382384 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 7543 5124 192 642 0 6899 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 30172 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11043 /proc/meminfo: memFree=1818344/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=30180 CPUtime=162.24 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 5386 0 0 0 16164 60 0 0 25 0 1 0 4335704 30904320 5126 1992294400 134512640 137138936 4288382384 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 7545 5126 192 642 0 6901 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 30180 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11045 /proc/meminfo: memFree=1814004/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=34664 CPUtime=222.23 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 6500 0 0 0 22146 77 0 0 25 0 1 0 4335704 35495936 6240 1992294400 134512640 137138936 4288382384 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 8666 6240 192 642 0 8022 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 34664 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11047 /proc/meminfo: memFree=1812888/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=35616 CPUtime=282.22 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 6743 0 0 0 28122 100 0 0 25 0 1 0 4335704 36470784 6483 1992294400 134512640 137138936 4288382384 18446744073709551615 136504404 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 8904 6483 192 642 0 8260 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 35616 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11047 /proc/meminfo: memFree=1812764/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=35616 CPUtime=342.2 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 6743 0 0 0 34103 117 0 0 25 0 1 0 4335704 36470784 6483 1992294400 134512640 137138936 4288382384 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 8904 6483 192 642 0 8260 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 35616 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11049 /proc/meminfo: memFree=1812764/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=35616 CPUtime=402.19 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 6743 0 0 0 40082 137 0 0 25 0 1 0 4335704 36470784 6483 1992294400 134512640 137138936 4288382384 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 8904 6483 192 642 0 8260 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 35616 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11051 /proc/meminfo: memFree=1812764/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=35624 CPUtime=462.17 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 6746 0 0 0 46062 155 0 0 25 0 1 0 4335704 36478976 6486 1992294400 134512640 137138936 4288382384 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 8906 6486 192 642 0 8262 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 35624 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11053 /proc/meminfo: memFree=1810532/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=37812 CPUtime=522.15 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 7293 0 0 0 52043 172 0 0 25 0 1 0 4335704 38719488 7033 1992294400 134512640 137138936 4288382384 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 9453 7033 192 642 0 8809 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 37812 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11055 /proc/meminfo: memFree=1806316/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=41960 CPUtime=582.14 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 8324 0 0 0 58029 185 0 0 25 0 1 0 4335704 42967040 8064 1992294400 134512640 137138936 4288382384 18446744073709551615 134542776 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 10490 8064 192 642 0 9846 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 41960 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11055 /proc/meminfo: memFree=1805696/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=42524 CPUtime=642.13 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 8468 0 0 0 64012 201 0 0 25 0 1 0 4335704 43544576 8208 1992294400 134512640 137138936 4288382384 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 10631 8208 192 642 0 9987 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 42524 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1805200/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=42508 CPUtime=1121.99 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 8468 0 0 0 111856 343 0 0 25 0 1 0 4335704 43528192 8208 1992294400 134512640 137138936 4288382384 18446744073709551615 134575191 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 10627 8208 192 642 0 9983 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 42508 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11071 /proc/meminfo: memFree=1805076/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=42508 CPUtime=1181.98 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 8468 0 0 0 117831 367 0 0 25 0 1 0 4335704 43528192 8208 1992294400 134512640 137138936 4288382384 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 10627 8208 192 642 0 9983 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 42508 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11071 /proc/meminfo: memFree=1804952/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=42508 CPUtime=1241.97 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 8468 0 0 0 123807 390 0 0 25 0 1 0 4335704 43528192 8208 1992294400 134512640 137138936 4288382384 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 10627 8208 192 642 0 9983 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 42508 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11073 /proc/meminfo: memFree=1804828/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=42508 CPUtime=1301.96 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 8468 0 0 0 129790 406 0 0 25 0 1 0 4335704 43528192 8208 1992294400 134512640 137138936 4288382384 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 10627 8208 192 642 0 9983 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 42508 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11075 /proc/meminfo: memFree=1804828/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=42508 CPUtime=1361.93 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 8468 0 0 0 135772 421 0 0 25 0 1 0 4335704 43528192 8208 1992294400 134512640 137138936 4288382384 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 10627 8208 192 642 0 9983 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 42508 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11077 /proc/meminfo: memFree=1804828/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=42508 CPUtime=1421.92 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 8468 0 0 0 141754 438 0 0 25 0 1 0 4335704 43528192 8208 1992294400 134512640 137138936 4288382384 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 10627 8208 192 642 0 9983 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 42508 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11079 /proc/meminfo: memFree=1804828/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=42508 CPUtime=1481.9 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 8468 0 0 0 147739 451 0 0 25 0 1 0 4335704 43528192 8208 1992294400 134512640 137138936 4288382384 18446744073709551615 134541940 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 10627 8208 192 642 0 9983 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 42508 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11079 /proc/meminfo: memFree=1804828/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=42508 CPUtime=1541.88 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 8468 0 0 0 153720 468 0 0 25 0 1 0 4335704 43528192 8208 1992294400 134512640 137138936 4288382384 18446744073709551615 134542255 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 10627 8208 192 642 0 9983 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 42508 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11081 /proc/meminfo: memFree=1802348/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=45428 CPUtime=1601.87 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 9197 0 0 0 159702 485 0 0 25 0 1 0 4335704 46518272 8937 1992294400 134512640 137138936 4288382384 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 11357 8937 192 642 0 10713 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 45428 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11092 /proc/meminfo: memFree=1801472/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=45424 CPUtime=1661.84 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 9197 0 0 0 165684 500 0 0 25 0 1 0 4335704 46514176 8937 1992294400 134512640 137138936 4288382384 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 11356 8937 192 642 0 10712 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 45424 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11094 /proc/meminfo: memFree=1801604/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=45424 CPUtime=1721.82 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 9198 0 0 0 171668 514 0 0 25 0 1 0 4335704 46514176 8938 1992294400 134512640 137138936 4288382384 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 11356 8938 192 642 0 10712 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 45424 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11096 /proc/meminfo: memFree=1801356/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=45424 CPUtime=1781.8 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 9198 0 0 0 177650 530 0 0 25 0 1 0 4335704 46514176 8938 1992294400 134512640 137138936 4288382384 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 11356 8938 192 642 0 10712 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 45424 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11096 /proc/meminfo: memFree=1801356/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=45424 CPUtime=1791.41 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 9198 0 0 0 178609 532 0 0 25 0 1 0 4335704 46514176 8938 1992294400 134512640 137138936 4288382384 18446744073709551615 136501708 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 11356 8938 192 642 0 10712 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 45424 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11096 /proc/meminfo: memFree=1801356/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=45424 CPUtime=1794.61 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 9198 0 0 0 178928 533 0 0 25 0 1 0 4335704 46514176 8938 1992294400 134512640 137138936 4288382384 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 11356 8938 192 642 0 10712 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (KiB) 45424 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11096 /proc/meminfo: memFree=1801356/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=45424 CPUtime=1796.2 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 9198 0 0 0 179087 533 0 0 25 0 1 0 4335704 46514176 8938 1992294400 134512640 137138936 4288382384 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 11356 8938 192 642 0 10712 0 Current children cumulated CPU time (s) 1796.2 Current children cumulated vsize (KiB) 45424 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11096 /proc/meminfo: memFree=1801356/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=45424 CPUtime=1797.01 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 9198 0 0 0 179167 534 0 0 25 0 1 0 4335704 46514176 8938 1992294400 134512640 137138936 4288382384 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 11356 8938 192 642 0 10712 0 Current children cumulated CPU time (s) 1797.01 Current children cumulated vsize (KiB) 45424 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11096 /proc/meminfo: memFree=1801356/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=45424 CPUtime=1797.41 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 9198 0 0 0 179207 534 0 0 25 0 1 0 4335704 46514176 8938 1992294400 134512640 137138936 4288382384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 11356 8938 192 642 0 10712 0 Current children cumulated CPU time (s) 1797.41 Current children cumulated vsize (KiB) 45424 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11096 /proc/meminfo: memFree=1801356/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=45424 CPUtime=1797.81 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 9198 0 0 0 179247 534 0 0 25 0 1 0 4335704 46514176 8938 1992294400 134512640 137138936 4288382384 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 11356 8938 192 642 0 10712 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 45424 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11096 /proc/meminfo: memFree=1801356/2059040 swapFree=4192956/4192956 [pid=11038] ppid=11036 vsize=45424 CPUtime=1797.91 /proc/11038/stat : 11038 (bsolo_pb10) R 11036 11038 10260 0 -1 4202496 9198 0 0 0 179257 534 0 0 25 0 1 0 4335704 46514176 8938 1992294400 134512640 137138936 4288382384 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11038/statm: 11356 8938 192 642 0 10712 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 45424 Child status: 0 Real time (s): 1798.5 CPU time (s): 1798.01 CPU user time (s): 1792.66 CPU system time (s): 5.34919 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 45548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.66 system time used= 5.34919 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9199 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= 16226 runsolver used 2.73058 second user time and 8.72867 second system time The end
Begin job on node042 at 2010-06-15 21:33:52 IDJOB=2657248 IDBENCH=24974 IDSOLVER=1163 FILE ID=node042/2657248-1276630432 PBS_JOBID= 11172320 Free space on /tmp= 62580 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_004_area_delay.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657248-1276630432/watcher-2657248-1276630432 -o /tmp/evaluation-result-2657248-1276630432/solver-2657248-1276630432 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657248-1276630432.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 45c2f7ac01d7ade9fbe465857931ee2b RANDOM SEED=637457740 node042.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.213 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.42 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.213 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1839092 kB Buffers: 4880 kB Cached: 91356 kB SwapCached: 0 kB Active: 35576 kB Inactive: 120012 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1839092 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4472 kB Writeback: 8 kB AnonPages: 59400 kB Mapped: 15420 kB Slab: 42568 kB PageTables: 4120 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183988 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= 62576 MiB End job on node042 at 2010-06-15 22:03:51