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

OK	27

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657270-1276635795/watcher-2657270-1276635795 -o /tmp/evaluation-result-2657270-1276635795/solver-2657270-1276635795 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657270-1276635795.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.06 1.00 3/106 9050
/proc/meminfo: memFree=1835452/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=11456 CPUtime=0
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 1 0 39183536 11730944 296 1992294400 134512640 137138936 4289215424 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 2864 297 177 642 0 2090 0

[startup+0.040589 s]
/proc/loadavg: 1.00 1.06 1.00 3/106 9050
/proc/meminfo: memFree=1835452/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=12276 CPUtime=0.03
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 618 0 0 0 3 0 0 0 20 0 1 0 39183536 12570624 537 1992294400 134512640 137138936 4289215424 18446744073709551615 136527916 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 3069 537 222 642 0 2295 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12276

[startup+0.101596 s]
/proc/loadavg: 1.00 1.06 1.00 3/106 9050
/proc/meminfo: memFree=1835452/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=14320 CPUtime=0.09
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 1328 0 0 0 9 0 0 0 20 0 1 0 39183536 14663680 1117 1992294400 134512640 137138936 4289215424 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 3580 1117 184 642 0 2936 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14320

[startup+0.30162 s]
/proc/loadavg: 1.00 1.06 1.00 3/106 9050
/proc/meminfo: memFree=1835452/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=14456 CPUtime=0.29
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 1458 0 0 0 27 2 0 0 20 0 1 0 39183536 14802944 1191 1992294400 134512640 137138936 4289215424 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 3614 1191 192 642 0 2970 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14456

[startup+0.701666 s]
/proc/loadavg: 1.00 1.06 1.00 3/106 9050
/proc/meminfo: memFree=1835452/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=14568 CPUtime=0.7
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 1471 0 0 0 67 3 0 0 20 0 1 0 39183536 14917632 1204 1992294400 134512640 137138936 4289215424 18446744073709551615 136296981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 3642 1204 192 642 0 2998 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 14568

[startup+1.50176 s]
/proc/loadavg: 1.00 1.06 1.00 2/107 9051
/proc/meminfo: memFree=1831228/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=14836 CPUtime=1.49
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 1540 0 0 0 146 3 0 0 22 0 1 0 39183536 15192064 1273 1992294400 134512640 137138936 4289215424 18446744073709551615 134543462 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 3709 1273 192 642 0 3065 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14836

[startup+3.10095 s]
/proc/loadavg: 1.00 1.06 1.00 2/107 9051
/proc/meminfo: memFree=1830484/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=15608 CPUtime=3.09
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 1749 0 0 0 304 5 0 0 25 0 1 0 39183536 15982592 1482 1992294400 134512640 137138936 4289215424 18446744073709551615 134543413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 3902 1482 192 642 0 3258 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15608

[startup+6.30132 s]
/proc/loadavg: 1.00 1.06 1.00 2/107 9051
/proc/meminfo: memFree=1828748/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=17172 CPUtime=6.29
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 2121 0 0 0 622 7 0 0 25 0 1 0 39183536 17584128 1854 1992294400 134512640 137138936 4289215424 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 4293 1854 192 642 0 3649 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17172

[startup+12.7011 s]
/proc/loadavg: 1.00 1.06 1.00 2/107 9051
/proc/meminfo: memFree=1825160/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=20584 CPUtime=12.69
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 2985 0 0 0 1259 10 0 0 25 0 1 0 39183536 21078016 2718 1992294400 134512640 137138936 4289215424 18446744073709551615 134542823 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 5146 2718 192 642 0 4502 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20584

[startup+25.5016 s]
/proc/loadavg: 1.00 1.05 1.00 2/107 9051
/proc/meminfo: memFree=1822184/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=23236 CPUtime=25.49
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 3646 0 0 0 2534 15 0 0 25 0 1 0 39183536 23793664 3379 1992294400 134512640 137138936 4289215424 18446744073709551615 134576379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 5809 3379 192 642 0 5165 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23236

[startup+51.1016 s]
/proc/loadavg: 1.00 1.05 1.00 2/107 9051
/proc/meminfo: memFree=1819084/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=26332 CPUtime=51.08
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 4430 0 0 0 5083 25 0 0 25 0 1 0 39183536 26963968 4163 1992294400 134512640 137138936 4289215424 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 6583 4163 192 642 0 5939 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 26332

[startup+102.309 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 9053
/proc/meminfo: memFree=1815736/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=29452 CPUtime=102.27
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 5202 0 0 0 10188 39 0 0 25 0 1 0 39183536 30158848 4935 1992294400 134512640 137138936 4289215424 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 7363 4935 192 642 0 6719 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 29452

[startup+162.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 9055
/proc/meminfo: memFree=1810032/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=35136 CPUtime=162.24
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 6632 0 0 0 16168 56 0 0 25 0 1 0 39183536 35979264 6365 1992294400 134512640 137138936 4289215424 18446744073709551615 136520964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 8784 6365 192 642 0 8140 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 35136

[startup+222.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 9057
/proc/meminfo: memFree=1804948/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=40184 CPUtime=222.23
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 7889 0 0 0 22151 72 0 0 25 0 1 0 39183536 41148416 7622 1992294400 134512640 137138936 4289215424 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 10046 7622 192 642 0 9402 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 40184

[startup+282.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 9057
/proc/meminfo: memFree=1804948/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=40188 CPUtime=282.22
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 7892 0 0 0 28131 91 0 0 25 0 1 0 39183536 41152512 7625 1992294400 134512640 137138936 4289215424 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 10047 7625 192 642 0 9403 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 40188

[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 9059
/proc/meminfo: memFree=1804824/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=40124 CPUtime=342.2
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 7892 0 0 0 34109 111 0 0 25 0 1 0 39183536 41086976 7612 1992294400 134512640 137138936 4289215424 18446744073709551615 136297657 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 10031 7612 192 642 0 9387 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 40124

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9061
/proc/meminfo: memFree=1804824/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=39964 CPUtime=402.18
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 7892 0 0 0 40085 133 0 0 25 0 1 0 39183536 40923136 7572 1992294400 134512640 137138936 4289215424 18446744073709551615 134543126 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 9991 7572 192 642 0 9347 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 39964

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9063
/proc/meminfo: memFree=1804824/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=39964 CPUtime=462.16
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 7892 0 0 0 46058 158 0 0 25 0 1 0 39183536 40923136 7572 1992294400 134512640 137138936 4289215424 18446744073709551615 136504658 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 9991 7572 192 642 0 9347 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 39964

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9065
/proc/meminfo: memFree=1804824/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=39964 CPUtime=522.15
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 7892 0 0 0 52036 179 0 0 25 0 1 0 39183536 40923136 7572 1992294400 134512640 137138936 4289215424 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 9991 7572 192 642 0 9347 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 39964

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9065
/proc/meminfo: memFree=1804824/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=39964 CPUtime=582.13
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 7892 0 0 0 58017 196 0 0 25 0 1 0 39183536 40923136 7572 1992294400 134512640 137138936 4289215424 18446744073709551615 136504503 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 9991 7572 192 642 0 9347 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 39964

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9070
/proc/meminfo: memFree=1803708/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=39964 CPUtime=642.12
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 7892 0 0 0 63997 215 0 0 25 0 1 0 39183536 40923136 7572 1992294400 134512640 137138936 4289215424 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 9991 7572 192 642 0 9347 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 39964

[startup+702.301 s]

################
# More data... #
################

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9076
/proc/meminfo: memFree=1803708/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=39980 CPUtime=822.06
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 7896 0 0 0 81940 266 0 0 25 0 1 0 39183536 40939520 7576 1992294400 134512640 137138936 4289215424 18446744073709551615 136504022 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 9995 7576 192 642 0 9351 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 39980

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9076
/proc/meminfo: memFree=1803708/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=39980 CPUtime=882.04
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 7896 0 0 0 87914 290 0 0 25 0 1 0 39183536 40939520 7576 1992294400 134512640 137138936 4289215424 18446744073709551615 136504219 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 9995 7576 192 642 0 9351 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 39980

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9078
/proc/meminfo: memFree=1803708/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=39980 CPUtime=942.03
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 7896 0 0 0 93889 314 0 0 25 0 1 0 39183536 40939520 7576 1992294400 134512640 137138936 4289215424 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 9995 7576 192 642 0 9351 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 39980

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9080
/proc/meminfo: memFree=1803708/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=39980 CPUtime=1002.01
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 7896 0 0 0 99866 335 0 0 25 0 1 0 39183536 40939520 7576 1992294400 134512640 137138936 4289215424 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 9995 7576 192 642 0 9351 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 39980

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9082
/proc/meminfo: memFree=1803708/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=39980 CPUtime=1061.99
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 7896 0 0 0 105840 359 0 0 25 0 1 0 39183536 40939520 7576 1992294400 134512640 137138936 4289215424 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 9995 7576 192 642 0 9351 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 39980

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9084
/proc/meminfo: memFree=1803708/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=39980 CPUtime=1121.98
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 7896 0 0 0 111815 383 0 0 25 0 1 0 39183536 40939520 7576 1992294400 134512640 137138936 4289215424 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 9995 7576 192 642 0 9351 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 39980

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9084
/proc/meminfo: memFree=1803708/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=39992 CPUtime=1181.96
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 7899 0 0 0 117797 399 0 0 25 0 1 0 39183536 40951808 7579 1992294400 134512640 137138936 4289215424 18446744073709551615 134575629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 9998 7579 192 642 0 9354 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 39992

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9086
/proc/meminfo: memFree=1803708/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=40344 CPUtime=1241.94
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 7985 0 0 0 123778 416 0 0 25 0 1 0 39183536 41312256 7665 1992294400 134512640 137138936 4289215424 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 10086 7665 192 642 0 9442 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 40344

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9088
/proc/meminfo: memFree=1798128/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=45768 CPUtime=1301.94
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 9341 0 0 0 129766 428 0 0 25 0 1 0 39183536 46866432 9021 1992294400 134512640 137138936 4289215424 18446744073709551615 134573808 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 11442 9021 192 642 0 10798 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 45768

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9090
/proc/meminfo: memFree=1798128/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=45764 CPUtime=1361.91
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 9341 0 0 0 135747 444 0 0 25 0 1 0 39183536 46862336 9021 1992294400 134512640 137138936 4289215424 18446744073709551615 136504432 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 11441 9021 192 642 0 10797 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 45764

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9092
/proc/meminfo: memFree=1798128/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=45764 CPUtime=1421.9
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 9341 0 0 0 141732 458 0 0 25 0 1 0 39183536 46862336 9021 1992294400 134512640 137138936 4289215424 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 11441 9021 192 642 0 10797 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 45764

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9092
/proc/meminfo: memFree=1798128/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=45764 CPUtime=1481.88
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 9341 0 0 0 147715 473 0 0 25 0 1 0 39183536 46862336 9021 1992294400 134512640 137138936 4289215424 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 11441 9021 192 642 0 10797 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 45764

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 9094
/proc/meminfo: memFree=1798376/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=45740 CPUtime=1541.87
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 9341 0 0 0 153700 487 0 0 25 0 1 0 39183536 46837760 9016 1992294400 134512640 137138936 4289215424 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 11435 9016 192 642 0 10791 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 45740

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9096
/proc/meminfo: memFree=1798376/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=45740 CPUtime=1601.84
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 9341 0 0 0 159686 498 0 0 25 0 1 0 39183536 46837760 9016 1992294400 134512640 137138936 4289215424 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 11435 9016 192 642 0 10791 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 45740

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9098
/proc/meminfo: memFree=1798252/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=45752 CPUtime=1661.83
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 9344 0 0 0 165667 516 0 0 25 0 1 0 39183536 46850048 9019 1992294400 134512640 137138936 4289215424 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 11438 9019 192 642 0 10794 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 45752

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9100
/proc/meminfo: memFree=1798252/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=45752 CPUtime=1721.82
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 9344 0 0 0 171651 531 0 0 25 0 1 0 39183536 46850048 9019 1992294400 134512640 137138936 4289215424 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 11438 9019 192 642 0 10794 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 45752

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9100
/proc/meminfo: memFree=1798252/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=45752 CPUtime=1781.8
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 9344 0 0 0 177635 545 0 0 25 0 1 0 39183536 46850048 9019 1992294400 134512640 137138936 4289215424 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 11438 9019 192 642 0 10794 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 45752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9102
/proc/meminfo: memFree=1798252/2059040 swapFree=4136500/4192956
[pid=9050] ppid=9048 vsize=45752 CPUtime=1800.11
/proc/9050/stat : 9050 (bsolo_pb10) R 9048 9050 8935 0 -1 4202496 9344 0 0 0 179461 550 0 0 25 0 1 0 39183536 46850048 9019 1992294400 134512640 137138936 4289215424 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9050/statm: 11438 9019 192 642 0 10794 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 45752

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 15
Real time (s): 1800.62
CPU time (s): 1800.13
CPU user time (s): 1794.62
CPU system time (s): 5.50916
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 45768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.62
system time used= 5.50916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9345
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= 2861

runsolver used 2.97455 second user time and 8.51071 second system time

The end

Begin job on node001 at 2010-06-15 23:03:15
IDJOB=2657270
IDBENCH=24996
IDSOLVER=1163
FILE ID=node001/2657270-1276635795
PBS_JOBID= 11172396
Free space on /tmp= 62516 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_002_area_delay.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657270-1276635795/watcher-2657270-1276635795 -o /tmp/evaluation-result-2657270-1276635795/solver-2657270-1276635795 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657270-1276635795.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= d6135de924aeb400fc0f7d1c419e5860
RANDOM SEED=1085164869

node001.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.202
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.40
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.202
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1835988 kB
Buffers:         18040 kB
Cached:         114844 kB
SwapCached:       9628 kB
Active:          90828 kB
Inactive:        55044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1835988 kB
SwapTotal:     4192956 kB
SwapFree:      4136500 kB
Dirty:            4520 kB
Writeback:          16 kB
AnonPages:       11496 kB
Mapped:           9368 kB
Slab:            55476 kB
PageTables:       3948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180984 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= 62512 MiB
End job on node001 at 2010-06-15 23:33:18