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-2657252-1276631480.opb
0.00/0.00	c File size is 874504 bytes.
0.09/0.14	c Highest Coefficient sum: 4768
0.09/0.14	c Parsing was ok!!
0.09/0.14	c Total parsing time: 0.144 s
0.09/0.15	c Var: 9709 Constr: 29891 29891/0/0 Lit: 70931 Watch. Lit: 58838
0.09/0.15	c Obj. Vars: 4768 (49.1091 % of total variables)
0.30/0.40	c Pre-processing Time: 0.399 s
0.39/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.40	c        0   7846    25092    60967    2    50184    8364      0      0 0.40
0.39/0.40	c Switching off lower bounding mode.
0.39/0.41	o 34
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c        0   7846    25093    64791    2    53977    9364      1      0 0.42
0.39/0.48	o 33
1.10/1.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.13	c       28   7846    25122    70242    2    57827    9364     30     57 0.48
1.10/1.13	c      128   7846    25222    71445    2    58027   10301    130    227 0.56
1.10/1.13	c      378   7846    25472    77505    3    58527   11332    380    369 1.02
1.10/1.13	o 32
1.49/1.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.56	c      448   7846    25543    82231    3    62462    9364    451    394 1.14
1.49/1.56	c      549   7846    25644    84888    3    62664   10301    552    414 1.32
1.49/1.56	o 31
102.65/102.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
102.65/102.77	c      673   7846    25769    90968    3    66708    9364    677    430 1.56
102.65/102.77	c      774   7846    25870    94364    3    66910   10301    778    436 1.77
102.65/102.77	c     1024   7846    26120   105109    4    67410   11332   1028    410 2.49
102.65/102.77	c     1500   7846    26596   124809    4    68362   12466   1504    414 3.62
102.65/102.77	c     2313   7846    27409   162156    5    69988   13713   2317    386 5.98
102.65/102.77	c     3633   7846    28729   229208    7    72628   15085   3637    375 9.66
102.65/102.77	c     5714   7846    30810   342615   11    76790   16594   5718    369 15.44
102.65/102.77	c     8938   7846    34034   553581   16    83238   18254   8942    381 23.41
102.65/102.77	c    13874   7846    38970   740584   19    93110   20080  13878    359 38.63
102.65/102.77	c    21381   7846    46477  1173901   25   108124   22089  21385    350 61.06
102.65/102.77	c    32743   7846    43042   998763   23    89878   24298  17950    320 102.31
102.65/102.77	o 29
1797.90/1798.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.90/1798.60	c    32901   7846    43201  1006370   23    93992    9364  18109    320 102.74
1797.90/1798.60	c    33001   7846    29875   311186   10    63546   10301   4783    319 103.17
1797.90/1798.60	c    33252   7846    30126   318518   10    64048   11332   5034    320 103.74
1797.90/1798.60	c    33727   7846    30601   335600   10    64998   12466   5509    320 105.23
1797.90/1798.60	c    34540   7846    31414   377023   12    66624   13713   6322    322 107.24
1797.90/1798.60	c    35860   7846    32734   427777   13    69264   15085   7642    322 111.03
1797.90/1798.60	c    37941   7846    34815   516500   14    73426   16594   9723    321 118.02
1797.90/1798.60	c    41164   7846    38038   702598   18    79872   18254  12946    325 126.46
1797.90/1798.60	c    46101   7846    42975   973022   22    89746   20080  17883    327 140.74
1797.90/1798.60	c    53608   7846    36369   683075   18    76534   22089  11277    322 166.29
1797.90/1798.60	c    64969   7846    47730  1382725   28    99256   24298  22638    324 199.98
1797.90/1798.60	c    82113   7846    47953  1629224   33    99702   26728  22861    318 258.01
1797.90/1798.60	c   107933   7846    36200   521806   14    76196   29401  11108    297 363.21
1797.90/1798.60	c   146766   7846    52902  1701512   32   109600   32342  27810    297 493.04
1797.90/1798.60	c   205118   7846    37477   585190   15    78750   35577  12385    291 702.70
1797.90/1798.60	c   292751   7846    41094   849753   20    85984   39135  16002    281 1040.12
1797.90/1798.60	c   424305   7846    47460  1372978   28    98716   43049  22368    284 1491.80
1797.90/1798.60	c Resources Exceeded
1797.90/1798.60	v -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -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 -x2119 -x2121 -x2123 -x2125 -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 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -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 -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 -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 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -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 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -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 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -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 -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 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -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 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3617 -x3619 -x3621 -x3623 x3625 -x3627 -x3629 -x3630 -x3632 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -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 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x4519 -x4521 -x4523 -x4525 -x4527 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x4771 -x4773 x4775 -x4777 -x4778 -x4780 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -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 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 -x5067 -x5069 -x5071 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095 -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x5119 -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 -x5375 -x5377 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 -x5391 -x5393 -x5395 -x5397 -x5399 -x5401 -x5403 -x5405 -x5407 -x5409 -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435 -x5437 -x5439 -x5441 -x5443 -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467 -x5469 -x5471 -x5473 -x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5495 -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x5509 -x5511 -x5513 -x5515 -x5517 -x5519 -x5521 -x5523 -x5525 -x5527 -x5529 -x5531 -x5532 -x5534 -x5536 -x5538 -x5540 -x5542 -x5544 -x5545 -x5547 -x5549 -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 -x5657 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x5675 -x5677 -x5679 -x5681 -x5683 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x5700 -x5702 -x5704 -x5706 -x5708 -x5710 -x5712 -x5714 -x5716 -x5718 -x5720 -x5722 -x5724 -x5726 -x5728 -x5730 -x5732 -x5734 -x5736 -x5738 -x5739 -x5741 -x5743 -x5745 -x5747 -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x5765 -x5767 -x5769 -x5771 -x5772 -x5774 -x5776 -x5778 -x5780 -x5782 -x5784 -x5786 -x5788 -x5790 -x5792 -x5794 -x5796 -x5798 -x5800 -x5802 -x5804 -x5806 -x5808 -x5810 -x5812 -x5814 x5816 -x5818 -x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 -x5834 -x5836 -x5838 -x5840 -x5842 -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x5856 -x5858 -x5860 -x5861 -x5863 x5865 -x5867 -x5869 -x5871 -x5873 -x5875 -x5876 -x5878 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5891 -x5893 x5895 -x5897 -x5899 -x5901 -x5903 -x5905 -x5907 -x5909 -x5911 -x5913 -x5915 -x5917 -x5919 -x5921 -x5922 -x5924 -x5926 -x5928 -x5930 -x5932 -x5934 -x5936 -x5938 -x5940 -x5942 -x5944 -x5946 -x5948 -x5950 -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x5964 -x5966 -x5968 -x5970 -x5972 -x5974 -x5976 -x5978 -x5980 -x5982 -x5984 -x5986 -x5988 -x5990 -x5992 -x5994 -x5996 -x5998 -x6000 -x6002 -x6004 -x6006 -x6008 -x6010 -x6012 -x6014 -x6016 -x6018 -x6020 -x6022 -x6024 -x6025 -x6027 -x6029 -x6031 -x6033 -x6035 -x6037 -x6039 -x6041 -x6043 -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 -x6071 -x6073 -x6075 -x6077 -x6079 -x6081 -x6083 -x6085 -x6087 -x6089 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 -x6105 -x6107 -x6109 -x6111 -x6113 -x6115 -x6117 -x6119 -x6121 -x6123 -x6125 -x6127 -x6129 -x6131 -x6133 -x6135 -x6137 -x6139 -x6140 -x6142 -x6144 -x6146 -x6148 -x6150 -x6152 -x6154 -x6156 -x6158 -x6160 -x6162 -x6164 -x6166 -x6168 -x6170 -x6172 -x6174 -x6176 -x6178 -x6180 -x6182 -x6183 -x6185 -x6187 -x6189 -x6191 -x6193 -x6195 -x6197 -x6199 -x6201 -x6202 -x6204 -x6206 -x6208 -x6210 -x6212 x6214 -x6216 -x6218 -x6219 -x6221 -x6223 -x6225 -x6227 -x6229 -x6231 -x6233 -x6235 -x6237 -x6239 -x6241 -x6243 -x6245 -x6247 -x6249 -x6251 -x6253 -x6255 -x6257 -x6259 -x6261 -x6263 x6265 -x6267 -x6269 -x6271 -x6273 -x6275 -x6277 -x6279 -x6281 -x6283 -x6285 -x6287 -x6289 -x6291 -x6293 -x6295 -x6297 -x6299 -x6301 -x6303 -x6305 -x6307 -x6309 -x6311 -x6313 -x6315 -x6317 -x6319 -x6321 -x6323 -x6325 -x6327 -x6329 -x6331 -x6333 x6335 -x6337 -x6339 -x6341 -x6343 -x6345 -x6347 -x6349 -x6351 -x6353 -x6355 -x6357 -x6359 -x6361 -x6363 -x6365 -x6367 -x6369 -x6371 -x6373 -x6375 -x6377 -x6379 -x6381 -x6383 -x6385 -x6387 -x6389 -x6391 -x6393 -x6395 -x6397 -x6399 -x6401 -x6403 -x6405 -x6407 -x6409 -x6411 -x6413 -x6415 -x6417 -x6419 -x6421 -x6423 -x6425 -x6427 -x6429 -x6431 -x6433 -x6435 -x6437 -x6439 -x6441 -x6443 -x6445 -x6447 -x6449 -x6451 -x6453 -x6455 -x6457 -x6459 -x6461 -x6463 -x6465 -x6467 -x6469 -x6471 -x6473 -x6475 -x6477 -x6479 -x6481 -x6483 -x6485 -x6487 -x6489 -x6491 -x6493 -x6495 -x6497 -x6499 -x6501 -x6503 -x6505 -x6507 -x6509 -x6511 -x6513 -x6515 -x6517 -x6519 -x6521 -x6523 -x6525 -x6527 -x6529 -x6531 -x6533 -x6535 -x6537 -x6539 x6541 -x6543 -x6545 -x6547 -x6549 -x6551 -x6553 -x6555 -x6557 -x6559 -x6561 -x6563 -x6565 -x6567 -x6569 -x6571 -x6573 -x6575 -x6577 -x6579 -x6581 -x6583 -x6585 -x6587 -x6589 -x6591 -x6593 -x6595 -x6597 -x6599 -x6601 -x6603 -x6605 -x6607 -x6609 -x6611 -x6613 -x6615 -x6617 -x6619 -x6621 -x6623 -x6625 -x6627 -x6629 -x6631 -x6633 -x6635 -x6637 -x6639 -x6641 -x6643 -x6645 -x6647 -x6649 -x6651 -x6653 -x6655 -x6657 -x6659 -x6661 -x6663 -x6665 -x6667 -x6669 -x6671 -x6673 -x6675 -x6677 -x6679 -x6681 -x6683 -x6684 -x6686 -x6688 -x6689 -x6691 -x6693 -x6695 -x6697 -x6699 -x6701 -x6703 -x6705 -x6707 -x6709 -x6711 -x6713 -x6715 -x6717 -x6719 -x6721 -x6723 -x6725 -x6727 -x6729 -x6731 -x6733 -x6735 -x6737 -x6739 -x6741 -x6743 -x6745 -x6747 -x6749 -x6751 -x6753 -x6755 -x6757 -x6759 -x6761 -x6763 -x6765 -x6767 -x6769 -x6771 -x6773 -x6775 -x6777 -x6779 -x6781 -x6783 -x6785 -x6787 -x6789 -x6791 -x6793 -x6795 -x6797 -x6799 -x6801 -x6803 -x6805 -x6807 -x6809 -x6811 -x6813 -x6815 -x6817 -x6819 -x6821 -x6823 -x6825 -x6827 -x6829 -x6831 -x6833 -x6835 -x6837 -x6839 -x6841 -x6843 -x6845 -x6847 -x6849 -x6851 -x6853 -x6855 -x6857 -x6859 -x6861 -x6863 -x6865 -x6867 -x6869 -x6871 -x6873 -x6875 -x6876 -x6878 -x6880 -x6882 -x6884 -x6886 -x6888 -x6890 -x6892 -x6894 -x6896 -x6898 -x6900 -x6902 -x6904 -x6906 -x6908 -x6910 -x6912 -x6914 -x6916 -x6918 -x6920 -x6922 -x6924 -x6926 -x6928 -x6930 -x6932 -x6934 -x6936 -x6938 -x6940 -x6942 -x6944 -x6946 -x6948 -x6950 -x6952 -x6954 -x6956 -x6958 -x6960 -x6962 -x6964 -x6966 -x6968 -x6970 -x6972 -x6974 -x6976 -x6978 -x6980 -x6982 -x6984 -x6986 -x6988 -x6990 -x6992 -x6994 -x6996 -x6998 -x7000 -x7002 -x7004 -x7006 -x7008 -x7010 -x7012 -x7014 -x7016 -x7018 -x7020 -x7022 -x7024 -x7026 -x7028 -x7030 -x7032 -x7034 -x7036 -x7038 -x7040 -x7042 -x7044 -x7046 -x7048 -x7050 -x7052 -x7054 -x7056 -x7058 -x7060 -x7062 -x7064 -x7066 -x7068 -x7070 -x7072 -x7074 -x7076 -x7078 -x7080 -x7082 -x7084 -x7086 -x7088 -x7090 -x7092 -x7094 -x7096 -x7098 -x7100 -x7102 -x7104 -x7106 -x7108 -x7110 -x7112 -x7114 -x7116 -x7118 -x7120 -x7122 -x7124 -x7126 -x7128 -x7130 -x7132 -x7134 -x7136 -x7138 -x7140 -x7142 -x7144 -x7146 -x7148 -x7150 -x7152 -x7154 -x7156 -x7158 -x7160 -x7162 -x7164 -x7166 -x7167 -x7169 -x7171 -x7173 -x7175 -x7177 -x7179 -x7181 -x7183 -x7185 -x7187 -x7189 -x7191 -x7193 -x7195 -x7197 -x7199 -x7201 -x7203 -x7205 -x7207 -x7209 -x7211 -x7213 -x7215 -x7217 -x7219 -x7221 -x7223 -x7224 -x7226 -x7228 -x7230 -x7232 -x7234 -x7236 -x7238 -x7240 -x7242 -x7244 -x7246 -x7248 -x7250 -x7252 -x7254 -x7256 -x7258 -x7260 -x7262 -x7264 -x7266 -x7268 -x7270 -x7272 -x7274 -x7276 -x7278 -x7280 -x7282 -x7284 -x7286 -x7288 -x7290 -x7292 -x7294 -x7296 -x7298 -x7300 -x7302 -x7304 -x7306 -x7308 -x7310 -x7312 -x7314 -x7316 -x7318 -x7320 -x7322 -x7324 -x7326 -x7328 -x7330 -x7332 -x7334 -x7336 -x7338 -x7340 -x7342 -x7344 -x7346 -x7348 -x7350 -x7352 -x7354 -x7356 -x7358 -x7360 -x7362 -x7364 -x7366 -x7368 -x7370 -x7372 -x7374 -x7376 -x7378 -x7380 -x7382 -x7384 -x7386 -x7388 -x7390 -x7391 -x7393 -x7395 -x7397 -x7399 -x7401 -x7403 -x7405 -x7407 -x7409 -x7411 -x7413 -x7415 -x7417 -x7419 -x7421 -x7423 -x7425 -x7427 -x7429 -x7431 -x7433 -x7435 -x7437 -x7439 -x7441 -x7443 -x7445 -x7447 -x7449 -x7451 -x7453 -x7455 -x7457 -x7459 -x7461 -x7463 -x7465 -x7467 -x7469 -x7471 -x7473 -x7475 -x7477 -x7479 -x7481 -x7483 -x7485 -x7487 -x7489 -x7491 -x7493 -x7495 -x7497 -x7499 -x7501 -x7503 -x7505 -x7507 -x7509 -x7511 -x7513 -x7515 -x7517 -x7519 -x7521 -x7523 -x7525 -x7527 -x7529 -x7531 -x7533 -x7535 -x7537 -x7539 -x7541 -x7543 -x7545 -x7547 -x7549 -x7551 -x7553 -x7555 -x7557 -x7559 -x7561 -x7563 -x7565 -x7567 -x7569 -x7571 -x7573 -x7575 -x7577 -x7579 -x7581 -x7583 -x7585 -x7587 -x7589 -x7591 -x7593 -x7595 -x7597 -x7599 -x7601 -x7603 -x7605 -x7607 -x7609 -x7611 -x7613 -x7615 -x7617 -x7619 -x7621 -x7623 -x7625 -x7627 -x7629 -x7631 -x7633 -x7635 -x7637 -x7639 -x7641 -x7643 -x7645 -x7647 -x7649 -x7651 -x7653 -x7655 -x7657 -x7659 -x7661 -x7663 -x7665 -x7667 -x7669 -x7671 -x7673 -x7674 -x7676 -x7678 -x7680 -x7682 -x7684 -x7686 -x7688 -x7690 -x7692 -x7694 -x7696 -x7698 -x7700 -x7702 -x7704 -x7706 -x7708 -x7710 -x7712 -x7714 -x7716 -x7718 -x7720 -x7722 -x7724 -x7726 -x7728 -x7730 -x7732 -x7734 -x7736 -x7738 -x7740 -x7742 -x7744 -x7746 -x7748 -x7750 -x7752 -x7754 -x7756 -x7758 -x7760 -x7762 -x7764 -x7766 -x7768 -x7770 -x7772 -x7774 -x7776 -x7778 -x7780 -x7782 -x7784 -x7786 -x7788 -x7790 -x7792 -x7794 -x7796 -x7798 -x7800 -x7802 -x7804 -x7806 -x7808 -x7810 -x7812 -x7814 -x7816 -x7818 -x7820 -x7822 -x7824 -x7826 -x7828 -x7830 -x7832 -x7834 -x7836 -x7838 -x7840 -x7842 -x7844 -x7846 -x7848 -x7850 -x7852 -x7854 -x7856 -x7858 -x7860 -x7862 -x7864 -x7866 -x7868 -x7870 -x7872 -x7874 -x7876 -x7878 -x7880 -x7882 -x7884 x7886 -x7888 -x7890 -x7892 -x7894 -x7896 -x7898 -x7900 -x7902 -x7904 -x7906 -x7908 -x7910 -x7912 -x7914 -x7916 -x7918 -x7920 -x7922 -x7924 -x7926 -x7928 -x7930 -x7932 -x7934 -x7936 -x7938 -x7940 -x7942 -x7944 -x7946 -x7948 -x7950 -x7952 -x7954 -x7956 -x7958 -x7960 -x7962 -x7964 -x7966 -x7968 -x7970 -x7972 -x7974 -x7976 -x7978 -x7979 -x7981 -x7983 -x7985 -x7987 -x7988 -x7990 -x7991 -x7993 -x7995 -x7997 -x7999 -x8001 -x8003 -x8005 -x8007 -x8009 -x8011 -x8013 -x8015 -x8017 -x8019 -x8021 -x8023 -x8025 -x8027 -x8029 -x8031 -x8033 -x8035 -x8037 -x8039 -x8041 -x8043 -x8045 -x8047 -x8049 -x8051 -x8053 -x8055 -x8057 -x8059 -x8061 -x8063 -x8065 -x8067 -x8068 -x8070 -x8072 -x8074 -x8076 -x8078 -x8080 -x8082 -x8084 -x8086 -x8088 -x8090 -x8092 -x8094 -x8096 -x8098 -x8100 -x8102 -x8104 -x8106 -x8108 -x8110 -x8112 -x8114 -x8116 -x8118 -x8120 -x8122 -x8124 -x8126 -x8128 -x8130 -x8132 -x8134 -x8136 -x8138 -x8140 -x8142 -x8144 -x8146 -x8148 -x8150 -x8152 -x8154 -x8156 -x8157 -x8159 -x8161 -x8163 -x8165 -x8167 -x8169 -x8171 -x8173 -x8175 -x8177 -x8179 -x8181 -x8183 -x8185 -x8187 -x8189 -x8191 -x8193 -x8195 -x8197 -x8199 -x8200 -x8202 -x8204 -x8206 -x8208 -x8210 -x8212 -x8214 -x8216 -x8218 x8220 -x8222 -x8224 -x8226 -x8228 -x8230 -x8232 -x8234 -x8236 -x8238 -x8240 -x8242 -x8244 -x8246 -x8248 -x8250 -x8252 x8254 -x8256 -x8258 -x8260 -x8262 -x8264 -x8266 -x8268 -x8270 -x8272 -x8274 -x8276 -x8278 -x8280 -x8282 -x8284 -x8286 -x8288 -x8290 -x8292 -x8294 -x8296 -x8298 -x8300 -x8302 -x8304 -x8306 -x8308 -x8310 -x8312 -x8314 -x8316 -x8318 -x8320 -x8322 -x8324 -x8326 -x8328 -x8330 x8332 -x8334 -x8336 -x8338 -x8340 -x8342 -x8344 -x8346 -x8348 -x8350 -x8352 -x8354 -x8356 -x8358 -x8360 -x8362 -x8364 -x8366 -x8368 -x8370 -x8372 -x8374 -x8376 -x8378 -x8380 -x8382 -x8384 -x8386 -x8388 -x8390 -x8392 -x8394 -x8396 -x8398 -x8400 -x8402 -x8404 -x8406 -x8408 -x8410 -x8412 -x8414 -x8416 -x8418 -x8420 -x8422 -x8424 -x8426 -x8428 -x8430 -x8432 -x8434 -x8436 -x8438 -x8440 -x8442 -x8444 -x8446 -x8448 -x8450 -x8452 -x8454 -x8456 -x8458 -x8460 -x8462 -x8464 -x8466 -x8468 -x8470 -x8472 -x8474 -x8476 -x8478 -x8480 -x8482 -x8484 -x8486 -x8488 -x8490 -x8492 -x8494 -x8496 -x8498 -x8500 -x8502 -x8504 -x8506 -x8508 -x8510 -x8512 -x8514 -x8516 -x8518 -x8520 -x8522 -x8524 -x8526 -x8528 -x8530 -x8532 -x8534 -x8536 -x8538 -x8540 -x8542 -x8544 -x8546 -x8548 -x8550 -x8552 -x8554 -x8556 -x8558 -x8560 -x8562 -x8564 -x8566 -x8568 -x8570 -x8572 -x8574 -x8576 -x8578 -x8580 -x8582 -x8584 -x8586 -x8588 -x8590 -x8592 -x8594 -x8596 -x8598 -x8600 -x8602 -x8604 -x8606 -x8608 -x8610 -x8612 -x8614 -x8616 -x8618 -x8620 -x8622 -x8624 -x8626 -x8628 -x8630 -x8632 -x8634 -x8636 -x8638 -x8640 -x8642 -x8644 -x8646 -x8648 -x8650 -x8652 -x8654 -x8656 -x8658 -x8660 -x8662 -x8664 -x8666 -x8668 -x8670 -x8672 -x8674 -x8676 -x8678 -x8680 -x8682 -x8684 -x8686 -x8688 -x8690 -x8692 x8694 -x8696 -x8697 -x8699 -x8701 -x8702 -x8704 -x8706 -x8708 -x8710 -x8712 -x8714 -x8716 -x8718 -x8720 -x8722 -x8724 -x8726 -x8728 -x8730 -x8732 -x8734 -x8736 -x8738 -x8740 -x8742 -x8744 -x8746 -x8748 -x8750 -x8752 -x8754 -x8756 -x8758 -x8760 -x8762 -x8764 -x8766 -x8768 -x8770 -x8772 -x8774 -x8776 -x8778 -x8780 -x8782 -x8784 -x8786 -x8788 -x8790 -x8792 -x8794 -x8796 -x8798 -x8800 -x8802 -x8804 -x8806 -x8808 -x8810 -x8812 -x8814 -x8816 -x8818 -x8820 -x8822 -x8824 -x8826 -x8828 -x8830 -x8832 -x8834 -x8836 -x8838 -x8840 -x8842 -x8844 -x8846 -x8848 -x8850 -x8852 -x8854 -x8856 -x8858 -x8860 -x8862 -x8864 -x8866 -x8868 -x8870 -x8872 -x8874 -x8876 -x8878 -x8880 -x8882 -x8884 -x8886 -x8888 -x8890 -x8892 -x8894 -x8896 -x8898 -x8900 -x8902 -x8904 -x8906 -x8908 -x8910 -x8912 -x8914 -x8916 -x8918 -x8920 -x8922 -x8924 -x8926 -x8928 -x8930 -x8932 -x8934 -x8936 -x8938 -x8940 -x8942 -x8944 -x8946 -x8948 -x8950 -x8952 -x8954 -x8956 -x8958 -x8960 -x8962 -x8964 -x8966 -x8968 -x8970 -x8972 -x8974 -x8976 -x8978 -x8980 -x8982 -x8984 -x8986 -x8988 -x8990 -x8992 -x8994 -x8996 -x8998 -x9000 -x9002 -x9004 -x9006 -x9008 -x9010 -x9012 -x9014 -x9016 -x9018 -x9020 -x9022 -x9024 -x9026 -x9028 -x9030 -x9032 -x9034 -x9036 -x9038 -x9040 -x9042 -x9044 -x9046 -x9048 -x9050 -x9052 -x9054 -x9056 -x9058 -x9060 -x9062 -x9064 -x9066 -x9068 -x9070 -x9072 -x9074 -x9076 -x9078 -x9080 -x9082 -x9084 -x9086 -x9088 -x9090 -x9092 -x9094 -x9096 -x9098 -x9100 -x9102 -x9104 -x9106 -x9108 -x9110 -x9112 -x9114 -x9116 -x9118 -x9120 -x9121 -x9123 -x9125 -x9126 -x9128 -x9130 -x9132 -x9134 -x9136 -x9138 -x9140 -x9142 -x9144 -x9146 -x9148 -x9150 -x9152 -x9154 -x9156 -x9158 -x9160 -x9162 -x9164 -x9166 -x9168 -x9170 -x9172 -x9174 -x9176 -x9178 -x9180 -x9182 -x9184 -x9186 -x9188 -x9190 -x9192 -x9194 -x9196 -x9198 -x9200 -x9202 -x9204 -x9206 -x9208 -x9210 -x9212 -x9214 -x9216 -x9218 -x9220 -x9222 -x9224 -x9226 -x9228 -x9230 -x9232 -x9234 -x9236 -x9238 -x9240 -x9242 -x9244 -x9246 -x9248 -x9250 -x9252 -x9254 -x9256 -x9258 -x9260 -x9262 -x9264 -x9266 -x9268 -x9270 -x9272 -x9274 -x9276 -x9278 -x9280 -x9282 -x9284 -x9286 -x9288 x9290 -x9292 -x9294 -x9296 -x9298 -x9300 -x9302 -x9304 -x9306 x9308 -x9310 -x9312 -x9314 -x9316 -x9317 x9318 -x9320 -x9322 -x9324 -x9326 -x9328 -x9330 -x9332 -x9334 -x9336 -x9338 -x9340 -x9342 -x9344 -x9346 -x9348 -x9350 -x9352 -x9354 -x9356 -x9358 -x9360 -x9362 -x9364 -x9366 -x9368 -x9370 -x9372 -x9374 -x9376 -x9378 -x9380 -x9382 -x9384 -x9386 -x9388 -x9390 -x9392 -x9394 -x9396 -x9398 -x9400 -x9402 -x9404 -x9406 -x9408 -x9410 -x9412 -x9414 -x9416 -x9418 -x9420 -x9422 -x9424 -x9426 -x9428 -x9430 -x9432 -x9434 -x9436 -x9438 -x9440 -x9442 -x9444 -x9446 -x9448 -x9450 -x9452 -x9454 -x9456 -x9458 -x9460 -x9462 -x9464 -x9466 -x9468 -x9470 -x9472 -x9474 -x9476 -x9478 -x9480 -x9482 -x9484 -x9486 -x9488 -x9490 -x9492 -x9494 -x9496 -x9498 -x9499 -x9501 -x9503 -x9505 -x9507 x9508 -x9510 -x9512 -x9514 -x9516 -x9518 -x9520 -x9522 -x9524 -x9526 -x9528 -x9530 -x9532 -x9534 -x9536 -x9538 -x9540 -x9542 -x9544 -x9546 -x9548 x9550 -x9552 -x9554 -x9556 -x9558 -x9560 -x9562 -x9564 -x9566 -x9568 -x9570 -x9572 -x9574 -x9576 -x9578 -x9580 -x9582 -x9584 -x9586 -x9588 -x9590 -x9592 -x9594 -x9596 -x9598 x9599 -x9600 -x9602 -x9604 -x9606 -x9608 -x9610 -x9612 -x9614 -x9616 -x9618 -x9620 -x9622 -x9624 -x9626 -x9628 -x9630 -x9632 -x9634 -x9636 -x9638 -x9640 -x9642 -x9644 -x9646 -x9647 -x9649 -x9651 -x9653 -x9655 -x9657 -x9658 -x9660 -x9662 -x9664 -x9666 -x9668 -x9670 -x9672 -x9674 x9676 -x9678 -x9680 -x9681 -x9682 -x9684 -x9686 -x9688 -x9689 -x9691 -x9693 -x9695 -x9696 -x9698 -x9699 -x9701 -x9703 -x9704 -x9706 -x9707 x9708 x9709 -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 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x1 -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 -x2 -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 -x3 -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 -x4 -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 -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 -x5 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x6 -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 -x7 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x8 -x1105 -x1107 -x1109 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -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 -x9 -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 -x10 -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 -x11 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x12 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x13 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1502 -x14 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x15 -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 -x16 -x1644 -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 -x17 -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 -x18 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x19 -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 -x20 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x21 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 x22 x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x23 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x24 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x25 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x26 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x27 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x28 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x29 -x2113 -x2115 -x2117 -x2120 -x2122 -x2124 -x30 -x2127 -x2129 -x31 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x32 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x33 -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 -x34 -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 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -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 -x35 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x36 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x37 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x38 -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 -x39 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2776 -x40 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x41 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x42 -x2822 -x2824 -x2826 -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 -x43 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x44 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x45 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x46 -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 -x47 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x48 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x49 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x50 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3111 -x3113 -x3115 -x3117 -x51 -x3119 -x3121 -x3123 -x3126 -x3128 -x3130 x52 x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x53 -x3146 -x3148 -x3150 -x54 -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 -x55 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x56 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3269 -x3271 -x57 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x58 -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 -x59 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x60 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x61 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x62 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x63 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x64 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x65 -x3480 -x3482 -x3484 -x66 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3513 -x67 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x68 -x3529 -x3531 -x3533 -x3536 -x3538 -x3540 -x69 -x3542 -x3544 -x3546 -x70 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x71 -x3578 -x3580 -x3582 -x3584 -x3587 -x3589 -x72 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x73 -x3605 -x3607 -x3609 -x74 -x3611 -x3613 -x3615 -x3618 -x3620 -x3622 x3624 -x3626 -x3628 -x75 -x3631 -x76 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3777 x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x77 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x78 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x79 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x80 -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 -x81 -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 -x82 -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 -x83 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x84 -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 -x85 -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 -x86 -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 -x87 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 x4774 -x4776 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x88 -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 -x89 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871 -x4873 -x4875 -x4877 -x4879 -x90 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4898 -x4900 -x4902 -x4904 -x4906 -x4908 -x91 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x92 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x4940 -x4942 -x4944 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041 -x5043 -x5045 -x5047 -x93 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5068 -x5070 -x5072 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108 -x94 -x5110 -x5112 -x5114 -x5116 -x5118 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157 -x5159 -x5161 -x5163 -x5165 -x5167 -x5169 -x95 -x5171 -x5173 -x5175 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 -x96 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x97 -x5263 -x5265 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x98 -x5293 -x5295 -x5297 -x5299 -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -x5321 -x99 -x5323 -x5325 -x5327 -x5329 -x5331 -x5333 -x5335 -x100 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 -x5363 -x5365 -x5367 -x5369 -x5371 -x5373 -x5376 -x5378 -x5380 -x5382 -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 -x101 -x5398 -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x102 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 -x5444 -x5446 -x5448 -x5450 -x5452 -x5454 -x5456 -x103 -x5458 -x5460 -x5462 -x5464 -x5466 -x5468 -x5470 -x104 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x105 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x5500 -x5502 -x5504 -x5506 -x5508 -x5510 -x5512 -x5514 -x106 -x5516 -x5518 -x5520 -x5522 -x5524 -x5526 -x5528 -x107 -x5530 -x5533 -x5535 -x5537 -x5539 -x5541 -x108 -x5543 -x5546 -x109 -x5548 -x5551 -x5553 -x5555 -x5557 -x5559 -x5561 -x5563 -x5565 -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 -x5635 -x5637 -x5639 -x5641 -x5643 -x5645 -x5647 -x5649 -x5651 -x5653 -x5655 -x5658 -x5660 -x5662 -x5664 -x5666 -x5668 -x5670 -x110 -x5672 -x5674 -x5676 -x5678 -x5680 -x5682 -x5684 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5701 -x5703 -x5705 -x5707 -x5709 -x5711 -x5713 -x5715 -x5717 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x111 -x5733 -x5735 -x5737 -x5740 -x5742 -x5744 -x5746 -x5748 -x5750 -x5752 -x5754 -x5756 -x5758 -x5760 -x5762 -x5764 -x5766 -x5768 -x5770 -x5773 -x5775 -x5777 -x5779 -x5781 -x5783 -x5785 -x5787 -x5789 -x5791 -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 -x5862 x5864 -x5866 -x5868 -x5870 -x5872 -x5874 -x5877 -x5879 -x5881 -x5883 -x5885 -x5887 -x5889 -x5892 x5894 -x5896 -x5898 -x5900 -x5902 -x5904 -x5906 -x5908 -x5910 -x112 -x5912 -x5914 -x5916 -x5918 -x5920 -x5923 -x5925 -x5927 -x5929 -x5931 -x5933 -x5935 -x5937 -x5939 -x5941 -x5943 -x5945 -x5947 -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 -x5965 -x5967 -x5969 -x5971 -x113 -x5973 -x5975 -x5977 -x5979 -x5981 -x5983 -x5985 -x5987 -x5989 -x5991 -x5993 -x5995 -x5997 -x5999 -x6001 -x114 -x6003 -x6005 -x6007 -x6009 -x6011 -x6013 -x6015 -x6017 -x6019 -x6021 -x6023 -x6026 -x6028 -x6030 -x115 -x6032 -x6034 -x6036 -x6038 -x6040 -x6042 -x6044 -x116 -x6046 -x6048 -x6050 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6068 -x6070 -x6072 -x6074 -x6076 -x6078 -x6080 -x6082 -x6084 -x6086 -x6088 -x6090 -x6092 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106 -x117 -x6108 -x6110 -x6112 -x6114 -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x6128 -x6130 -x6132 -x118 -x6134 -x6136 -x6138 -x6141 -x6143 -x6145 -x6147 -x6149 -x6151 -x6153 -x6155 -x6157 -x6159 -x6161 -x119 -x6163 -x6165 -x6167 -x6169 -x6171 -x6173 -x6175 -x120 -x6177 -x6179 -x6181 -x6184 -x6186 -x6188 -x6190 -x6192 -x6194 -x6196 -x6198 -x6200 -x6203 -x6205 -x6207 -x6209 -x6211 x6213 -x6215 -x6217 -x121 -x6220 -x6222 -x6224 -x6226 -x6228 -x6230 -x6232 -x6234 -x6236 -x6238 -x6240 -x6242 -x6244 -x6246 -x122 -x6248 -x6250 -x6252 -x6254 -x6256 -x6258 -x6260 -x6262 x6264 -x6266 -x6268 -x6270 -x6272 -x6274 -x123 -x6276 -x6278 -x6280 -x6282 -x6284 -x6286 -x6288 -x6290 -x6292 -x6294 -x6296 -x6298 -x6300 -x6302 -x6304 -x6306 -x6308 -x6310 -x6312 -x6314 -x6316 -x6318 -x6320 -x6322 -x6324 -x6326 -x6328 -x6330 -x6332 x6334 -x6336 -x6338 -x6340 -x6342 -x124 -x6344 -x6346 -x6348 -x6350 -x6352 -x6354 -x6356 -x6358 -x6360 -x6362 -x6364 -x6366 -x6368 -x6370 -x6372 -x125 -x6374 -x6376 -x6378 -x6380 -x6382 -x6384 -x6386 -x6388 -x6390 -x6392 -x6394 -x6396 -x6398 -x6400 -x6402 -x126 -x6404 -x6406 -x6408 -x6410 -x6412 -x6414 -x6416 -x127 -x6418 -x6420 -x6422 -x6424 -x6426 -x6428 -x6430 -x6432 -x6434 -x6436 -x6438 -x6440 -x6442 -x6444 -x6446 -x128 -x6448 -x6450 -x6452 -x6454 -x6456 -x6458 -x6460 -x129 -x6462 -x6464 -x6466 -x6468 -x6470 -x6472 -x6474 -x6476 -x6478 -x6480 -x6482 -x6484 -x6486 -x6488 -x6490 -x130 -x6492 -x6494 -x6496 -x6498 -x6500 -x6502 -x6504 -x131 -x6506 -x6508 -x6510 -x6512 -x6514 -x6516 -x6518 -x132 -x6520 -x6522 -x6524 -x6526 -x6528 -x6530 -x6532 -x6534 -x6536 -x6538 x6540 -x6542 -x6544 -x6546 -x6548 -x6550 -x6552 -x6554 -x133 -x6556 -x6558 -x6560 -x6562 -x6564 -x6566 -x6568 -x134 -x6570 -x6572 -x6574 -x6576 -x6578 -x6580 -x6582 -x6584 -x6586 -x6588 -x6590 -x6592 -x6594 -x6596 -x6598 -x135 -x6600 -x6602 -x6604 -x6606 -x6608 -x6610 -x6612 -x136 -x6614 -x6616 -x6618 -x6620 -x6622 -x6624 -x6626 -x137 -x6628 -x6630 -x138 -x6632 -x6634 -x6636 -x6638 -x6640 -x6642 -x6644 -x139 -x6646 -x6648 -x6650 -x6652 -x6654 -x6656 -x6658 -x140 -x6660 -x6662 -x6664 -x141 -x6666 -x6668 -x6670 -x6672 -x6674 -x6676 -x6678 -x142 -x6680 -x6682 -x143 -x6685 -x6687 -x144 -x6690 -x145 -x6692 -x6694 -x6696 -x6698 -x6700 -x6702 -x6704 -x6706 -x6708 -x6710 -x6712 -x6714 -x6716 -x6718 -x6720 -x6722 -x6724 -x6726 -x6728 -x6730 -x6732 -x6734 -x6736 -x6738 -x6740 -x6742 -x6744 -x6746 -x6748 -x6750 -x6752 -x6754 -x6756 -x6758 -x6760 -x6762 -x6764 -x6766 -x6768 -x6770 -x6772 -x6774 -x6776 -x6778 -x6780 -x6782 -x6784 -x6786 -x6788 -x6790 -x6792 -x6794 -x6796 -x6798 -x6800 -x6802 -x6804 -x6806 -x6808 -x6810 -x6812 -x6814 -x6816 -x146 -x6818 -x6820 -x6822 -x6824 -x6826 -x6828 -x6830 -x6832 -x6834 -x6836 -x6838 -x6840 -x6842 -x6844 -x6846 -x6848 -x6850 -x6852 -x6854 -x6856 -x6858 -x6860 -x6862 -x6864 -x6866 -x6868 -x6870 -x6872 -x6874 -x6877 -x6879 -x6881 -x6883 -x6885 -x6887 -x6889 -x6891 -x6893 -x6895 -x6897 -x6899 -x6901 -x6903 -x6905 -x6907 -x6909 -x6911 -x6913 -x6915 -x6917 -x6919 -x6921 -x6923 -x6925 -x6927 -x6929 -x6931 -x6933 -x6935 -x6937 -x6939 -x6941 -x147 -x6943 -x6945 -x6947 -x6949 -x6951 -x6953 -x6955 -x6957 -x6959 -x6961 -x6963 -x6965 -x6967 -x6969 -x6971 -x6973 -x6975 -x6977 -x6979 -x6981 -x6983 -x6985 -x6987 -x6989 -x6991 -x6993 -x6995 -x6997 -x6999 -x7001 -x7003 -x148 -x7005 -x7007 -x7009 -x7011 -x7013 -x7015 -x7017 -x7019 -x7021 -x7023 -x7025 -x7027 -x7029 -x7031 -x7033 -x7035 -x7037 -x7039 -x7041 -x7043 -x7045 -x7047 -x7049 -x7051 -x7053 -x7055 -x7057 -x7059 -x7061 -x7063 -x7065 -x7067 -x7069 -x7071 -x7073 -x7075 -x7077 -x7079 -x7081 -x7083 -x7085 -x7087 -x7089 -x7091 -x7093 -x7095 -x7097 -x7099 -x7101 -x7103 -x7105 -x7107 -x7109 -x7111 -x7113 -x7115 -x7117 -x7119 -x7121 -x7123 -x7125 -x7127 -x7129 -x149 -x7131 -x7133 -x7135 -x7137 -x7139 -x7141 -x7143 -x7145 -x7147 -x7149 -x7151 -x7153 -x7155 -x7157 -x7159 -x7161 -x7163 -x7165 -x7168 -x7170 -x7172 -x7174 -x7176 -x7178 -x7180 -x7182 -x7184 -x7186 -x7188 -x7190 -x150 -x7192 -x7194 -x7196 -x7198 -x7200 -x7202 -x7204 -x7206 -x7208 -x7210 -x7212 -x7214 -x7216 -x7218 -x7220 -x7222 -x7225 -x7227 -x7229 -x7231 -x7233 -x7235 -x7237 -x7239 -x7241 -x7243 -x7245 -x7247 -x7249 -x7251 -x151 -x7253 -x7255 -x7257 -x7259 -x7261 -x7263 -x7265 -x7267 -x7269 -x7271 -x7273 -x7275 -x7277 -x7279 -x7281 -x152 -x7283 -x7285 -x7287 -x7289 -x7291 -x7293 -x7295 -x7297 -x7299 -x7301 -x7303 -x7305 -x7307 -x7309 -x7311 -x7313 -x7315 -x7317 -x7319 -x7321 -x7323 -x7325 -x7327 -x7329 -x7331 -x7333 -x7335 -x7337 -x7339 -x7341 -x7343 -x153 -x7345 -x7347 -x7349 -x7351 -x7353 -x7355 -x7357 -x7359 -x7361 -x7363 -x7365 -x7367 -x7369 -x7371 -x7373 -x7375 -x7377 -x7379 -x7381 -x7383 -x7385 -x7387 -x7389 -x7392 -x7394 -x7396 -x7398 -x7400 -x7402 -x7404 -x154 -x7406 -x7408 -x7410 -x7412 -x7414 -x7416 -x7418 -x7420 -x7422 -x7424 -x7426 -x7428 -x7430 -x7432 -x7434 -x155 -x7436 -x7438 -x7440 -x7442 -x7444 -x7446 -x7448 -x7450 -x7452 -x7454 -x7456 -x7458 -x7460 -x7462 -x7464 -x7466 -x7468 -x7470 -x7472 -x7474 -x7476 -x7478 -x7480 -x7482 -x7484 -x7486 -x7488 -x7490 -x7492 -x7494 -x156 -x7496 -x7498 -x7500 -x7502 -x7504 -x7506 -x7508 -x7510 -x7512 -x7514 -x7516 -x7518 -x7520 -x7522 -x7524 -x157 -x7526 -x7528 -x7530 -x7532 -x7534 -x7536 -x7538 -x7540 -x7542 -x7544 -x7546 -x7548 -x7550 -x7552 -x7554 -x158 -x7556 -x7558 -x7560 -x7562 -x7564 -x7566 -x7568 -x159 -x7570 -x7572 -x7574 -x7576 -x7578 -x7580 -x7582 -x7584 -x7586 -x7588 -x7590 -x7592 -x7594 -x7596 -x7598 -x7600 -x7602 -x7604 -x7606 -x7608 -x7610 -x7612 -x7614 -x7616 -x7618 -x7620 -x7622 -x7624 -x7626 -x7628 -x7630 -x160 -x7632 -x7634 -x7636 -x7638 -x7640 -x7642 -x7644 -x7646 -x7648 -x7650 -x7652 -x7654 -x7656 -x7658 -x7660 -x7662 -x7664 -x7666 -x7668 -x7670 -x7672 -x7675 -x7677 -x7679 -x7681 -x7683 -x7685 -x7687 -x7689 -x161 -x7691 -x7693 -x7695 -x7697 -x7699 -x7701 -x7703 -x7705 -x7707 -x7709 -x7711 -x7713 -x7715 -x7717 -x7719 -x162 -x7721 -x7723 -x7725 -x7727 -x7729 -x7731 -x7733 -x7735 -x7737 -x7739 -x7741 -x7743 -x7745 -x7747 -x7749 -x7751 -x7753 -x7755 -x7757 -x7759 -x7761 -x7763 -x7765 -x7767 -x7769 -x7771 -x7773 -x7775 -x7777 -x7779 -x7781 -x163 -x7783 -x7785 -x7787 -x7789 -x7791 -x7793 -x7795 -x7797 -x7799 -x7801 -x7803 -x7805 -x7807 -x7809 -x7811 -x164 -x7813 -x7815 -x7817 -x7819 -x7821 -x7823 -x7825 -x7827 -x7829 -x7831 -x7833 -x7835 -x7837 -x7839 -x7841 -x165 -x7843 -x7845 -x7847 -x7849 -x7851 -x7853 -x7855 -x166 -x7857 -x7859 -x7861 -x7863 -x7865 -x7867 -x7869 -x7871 -x7873 -x7875 -x7877 -x7879 -x7881 -x7883 x7885 -x7887 -x7889 -x7891 -x7893 -x7895 -x7897 -x7899 -x7901 -x7903 -x7905 -x7907 -x7909 -x7911 -x7913 -x7915 -x167 -x7917 -x7919 -x7921 -x7923 -x7925 -x7927 -x7929 -x168 -x7931 -x7933 -x7935 -x7937 -x7939 -x7941 -x7943 -x7945 -x7947 -x7949 -x7951 -x7953 -x7955 -x7957 -x7959 -x169 -x7961 -x7963 -x7965 -x7967 -x7969 -x7971 -x7973 -x170 -x7975 -x7977 -x7980 -x7982 -x7984 -x7986 -x171 -x7989 -x172 -x7992 -x7994 -x7996 -x7998 -x8000 -x8002 -x8004 -x8006 -x8008 -x8010 -x8012 -x8014 -x8016 -x8018 -x8020 -x8022 -x8024 -x8026 -x8028 -x8030 -x8032 -x8034 -x8036 -x8038 -x8040 -x8042 -x8044 -x8046 -x8048 -x8050 -x173 -x8052 -x8054 -x8056 -x8058 -x8060 -x8062 -x8064 -x8066 -x8069 -x8071 -x8073 -x8075 -x8077 -x8079 -x8081 -x8083 -x8085 -x8087 -x8089 -x8091 -x8093 -x8095 -x8097 -x8099 -x8101 -x8103 -x8105 -x8107 -x8109 -x8111 -x174 -x8113 -x8115 -x8117 -x8119 -x8121 -x8123 -x8125 -x8127 -x8129 -x8131 -x8133 -x8135 -x8137 -x8139 -x8141 -x175 -x8143 -x8145 -x8147 -x8149 -x8151 -x8153 -x8155 -x8158 -x8160 -x8162 -x8164 -x8166 -x8168 -x8170 -x8172 -x8174 -x8176 -x8178 -x8180 -x8182 -x8184 -x8186 -x8188 -x8190 -x8192 -x8194 -x8196 -x8198 -x8201 -x8203 -x8205 -x8207 -x8209 -x8211 -x8213 -x8215 -x8217 x8219 -x8221 -x8223 -x8225 -x8227 -x8229 -x8231 -x8233 -x8235 -x8237 -x8239 -x8241 -x8243 -x8245 -x8247 -x8249 -x8251 x8253 -x8255 -x8257 -x8259 -x8261 -x176 -x8263 -x8265 -x8267 -x8269 -x8271 -x8273 -x8275 -x8277 -x8279 -x8281 -x8283 -x8285 -x8287 -x8289 -x8291 -x8293 -x8295 -x8297 -x8299 -x8301 -x8303 -x8305 -x8307 -x8309 -x8311 -x8313 -x8315 -x8317 -x8319 -x8321 -x8323 -x8325 -x8327 -x8329 x8331 -x8333 -x8335 -x8337 -x177 -x8339 -x8341 -x8343 -x8345 -x8347 -x8349 -x8351 -x8353 -x8355 -x8357 -x8359 -x8361 -x8363 -x8365 -x8367 -x178 -x8369 -x8371 -x8373 -x8375 -x8377 -x8379 -x8381 -x8383 -x8385 -x8387 -x8389 -x8391 -x8393 -x8395 -x8397 -x179 -x8399 -x8401 -x8403 -x8405 -x8407 -x8409 -x8411 -x180 -x8413 -x8415 -x8417 -x8419 -x8421 -x8423 -x8425 -x8427 -x8429 -x8431 -x8433 -x8435 -x8437 -x8439 -x8441 -x181 -x8443 -x8445 -x8447 -x8449 -x8451 -x8453 -x8455 -x182 -x8457 -x8459 -x8461 -x8463 -x8465 -x8467 -x8469 -x183 -x8471 -x8473 -x8475 -x184 -x8477 -x8479 -x8481 -x8483 -x8485 -x8487 -x8489 -x8491 -x8493 -x8495 -x8497 -x8499 -x8501 -x8503 -x8505 -x185 -x8507 -x8509 -x8511 -x8513 -x8515 -x8517 -x8519 -x8521 -x8523 -x8525 -x8527 -x8529 -x8531 -x8533 -x8535 -x186 -x8537 -x8539 -x8541 -x8543 -x8545 -x8547 -x8549 -x187 -x8551 -x8553 -x8555 -x8557 -x8559 -x8561 -x8563 -x8565 -x8567 -x8569 -x8571 -x8573 -x8575 -x8577 -x8579 -x188 -x8581 -x8583 -x8585 -x8587 -x8589 -x8591 -x8593 -x189 -x8595 -x8597 -x8599 -x8601 -x8603 -x8605 -x8607 -x190 -x8609 -x8611 -x8613 -x191 -x8615 -x8617 -x8619 -x8621 -x8623 -x8625 -x8627 -x8629 -x8631 -x8633 -x8635 -x8637 -x8639 -x8641 -x8643 -x192 -x8645 -x8647 -x8649 -x8651 -x8653 -x8655 -x8657 -x193 -x8659 -x8661 -x8663 -x8665 -x8667 -x8669 -x8671 -x194 -x8673 -x8675 -x8677 -x195 -x8679 -x8681 -x8683 -x8685 -x8687 -x8689 -x8691 x196 x8693 -x8695 -x197 -x8698 -x8700 -x198 -x8703 -x199 -x8705 -x8707 -x8709 -x8711 -x8713 -x8715 -x8717 -x8719 -x8721 -x8723 -x8725 -x8727 -x8729 -x8731 -x8733 -x8735 -x8737 -x8739 -x8741 -x8743 -x8745 -x8747 -x8749 -x8751 -x8753 -x8755 -x8757 -x8759 -x8761 -x8763 -x8765 -x200 -x8767 -x8769 -x8771 -x8773 -x8775 -x8777 -x8779 -x8781 -x8783 -x8785 -x8787 -x8789 -x8791 -x8793 -x8795 -x8797 -x8799 -x8801 -x8803 -x8805 -x8807 -x8809 -x8811 -x8813 -x8815 -x8817 -x8819 -x8821 -x8823 -x8825 -x8827 -x201 -x8829 -x8831 -x8833 -x8835 -x8837 -x8839 -x8841 -x8843 -x8845 -x8847 -x8849 -x8851 -x8853 -x8855 -x8857 -x202 -x8859 -x8861 -x8863 -x8865 -x8867 -x8869 -x8871 -x8873 -x8875 -x8877 -x8879 -x8881 -x8883 -x8885 -x8887 -x8889 -x8891 -x8893 -x8895 -x8897 -x8899 -x8901 -x8903 -x8905 -x8907 -x8909 -x8911 -x8913 -x8915 -x8917 -x203 -x8919 -x8921 -x8923 -x8925 -x8927 -x8929 -x8931 -x8933 -x8935 -x8937 -x8939 -x8941 -x8943 -x8945 -x8947 -x204 -x8949 -x8951 -x8953 -x8955 -x8957 -x8959 -x8961 -x8963 -x8965 -x8967 -x8969 -x8971 -x8973 -x8975 -x8977 -x205 -x8979 -x8981 -x8983 -x8985 -x8987 -x8989 -x8991 -x206 -x8993 -x8995 -x8997 -x8999 -x9001 -x9003 -x9005 -x9007 -x9009 -x9011 -x9013 -x9015 -x9017 -x9019 -x9021 -x207 -x9023 -x9025 -x9027 -x9029 -x9031 -x9033 -x9035 -x9037 -x9039 -x9041 -x9043 -x9045 -x9047 -x9049 -x9051 -x208 -x9053 -x9055 -x9057 -x9059 -x9061 -x9063 -x9065 -x209 -x9067 -x9069 -x9071 -x9073 -x9075 -x9077 -x9079 -x9081 -x9083 -x9085 -x9087 -x9089 -x9091 -x9093 -x9095 -x210 -x9097 -x9099 -x9101 -x9103 -x9105 -x9107 -x9109 -x211 -x9111 -x9113 -x9115 -x9117 -x9119 -x9122 -x212 -x9124 -x9127 -x213 -x9129 -x9131 -x9133 -x9135 -x9137 -x9139 -x9141 -x9143 -x9145 -x9147 -x9149 -x9151 -x9153 -x9155 -x214 -x9157 -x9159 -x9161 -x9163 -x9165 -x9167 -x9169 -x9171 -x9173 -x9175 -x9177 -x9179 -x9181 -x9183 -x9185 -x215 -x9187 -x9189 -x9191 -x9193 -x9195 -x9197 -x9199 -x216 -x9201 -x9203 -x9205 -x9207 -x9209 -x9211 -x9213 -x9215 -x9217 -x9219 -x9221 -x9223 -x9225 -x9227 -x9229 -x217 -x9231 -x9233 -x9235 -x9237 -x9239 -x9241 -x218 -x9243 -x9245 -x9247 -x9249 -x9251 -x9253 -x9255 -x219 -x9257 -x9259 -x9261 -x220 -x9263 -x9265 -x9267 -x9269 -x9271 -x9273 -x9275 -x221 -x9277 -x9279 -x9281 -x9283 -x9285 -x9287 x9289 x222 -x9291 -x9293 -x223 -x9295 -x9297 -x9299 -x9301 -x9303 -x9305 x9307 x224 -x9309 -x9311 -x9313 -x225 -x9315 x226 -x9319 -x227 -x9321 -x9323 -x9325 -x9327 -x9329 -x9331 -x9333 -x9335 -x9337 -x9339 -x9341 -x9343 -x9345 -x9347 -x9349 -x9351 -x9353 -x9355 -x9357 -x9359 -x9361 -x9363 -x9365 -x9367 -x9369 -x9371 -x9373 -x9375 -x228 -x9377 -x9379 -x9381 -x9383 -x9385 -x9387 -x9389 -x9391 -x9393 -x9395 -x9397 -x9399 -x9401 -x9403 -x9405 -x229 -x9407 -x9409 -x9411 -x9413 -x9415 -x9417 -x9419 -x9421 -x9423 -x9425 -x9427 -x9429 -x9431 -x9433 -x9435 -x230 -x9437 -x9439 -x9441 -x9443 -x9445 -x9447 -x9449 -x231 -x9451 -x9453 -x9455 -x9457 -x9459 -x9461 -x9463 -x9465 -x9467 -x9469 -x9471 -x9473 -x9475 -x9477 -x9479 -x232 -x9481 -x9483 -x9485 -x9487 -x9489 -x9491 -x9493 -x233 -x9495 -x9497 -x9500 -x9502 -x9504 -x9506 x234 -x9509 -x9511 -x235 -x9513 -x9515 -x9517 -x9519 -x9521 -x9523 -x9525 -x9527 -x9529 -x9531 -x9533 -x9535 -x9537 -x9539 -x9541 x236 -x9543 -x9545 -x9547 x9549 -x9551 -x9553 -x9555 -x237 -x9557 -x9559 -x9561 -x9563 -x9565 -x9567 -x9569 -x238 -x9571 -x9573 -x9575 -x239 -x9577 -x9579 -x9581 -x9583 -x9585 -x9587 -x9589 -x240 -x9591 -x9593 -x9595 x241 -x9597 -x242 -x9601 -x243 -x9603 -x9605 -x9607 -x9609 -x9611 -x9613 -x9615 -x9617 -x9619 -x9621 -x9623 -x9625 -x9627 -x244 -x9629 -x9631 -x9633 -x9635 -x9637 -x9639 -x9641 -x245 -x9643 -x9645 -x9648 -x9650 -x9652 -x9654 -x246 -x9656 -x9659 -x247 -x9661 -x9663 -x9665 -x9667 -x9669 -x9671 -x9673 x248 x9675 -x9677 -x249 -x9679 -x250 -x9683 -x251 -x9685 -x9687 -x9690 -x9692 -x9694 -x252 -x9697 -x253 -x9700 -x9702 -x254 -x9705 -x255 x256 
1798.00/1798.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.00/1798.60	c   34   513192 319462  2007338    65111  2255447  40019    285 1798.00
1798.00/1798.60	c Objective: 29
1798.00/1798.60	s SATISFIABLE
1798.00/1798.60	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-2657252-1276631480/watcher-2657252-1276631480 -o /tmp/evaluation-result-2657252-1276631480/solver-2657252-1276631480 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657252-1276631480.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.02 1.00 1.00 3/106 11078
/proc/meminfo: memFree=1832616/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=19616 CPUtime=0
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 387 0 0 0 0 0 0 0 18 0 1 0 4438960 20086784 305 1992294400 134512640 137138936 4286598560 18446744073709551615 136297622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 4904 305 176 642 0 4046 0

[startup+0.011345 s]
/proc/loadavg: 1.02 1.00 1.00 3/106 11078
/proc/meminfo: memFree=1832616/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=11940 CPUtime=0.01
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 415 0 0 0 1 0 0 0 18 0 1 0 4438960 12226560 333 1992294400 134512640 137138936 4286598560 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 2985 333 181 642 0 2127 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11940

[startup+0.101352 s]
/proc/loadavg: 1.02 1.00 1.00 3/106 11078
/proc/meminfo: memFree=1832616/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=14140 CPUtime=0.09
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 1085 0 0 0 9 0 0 0 18 0 1 0 4438960 14479360 1003 1992294400 134512640 137138936 4286598560 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 3535 1003 311 642 0 2677 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14140

[startup+0.301384 s]
/proc/loadavg: 1.02 1.00 1.00 3/106 11078
/proc/meminfo: memFree=1832616/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=17088 CPUtime=0.3
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 2103 0 0 0 28 2 0 0 18 0 1 0 4438960 17498112 1807 1992294400 134512640 137138936 4286598560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 4272 1807 186 642 0 3628 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 17088

[startup+0.701451 s]
/proc/loadavg: 1.02 1.00 1.00 3/106 11078
/proc/meminfo: memFree=1832616/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=16916 CPUtime=0.7
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 2150 0 0 0 65 5 0 0 18 0 1 0 4438960 17321984 1778 1992294400 134512640 137138936 4286598560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 4229 1778 192 642 0 3585 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 16916

[startup+1.50058 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 11079
/proc/meminfo: memFree=1826036/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=17072 CPUtime=1.49
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 2181 0 0 0 142 7 0 0 19 0 1 0 4438960 17481728 1809 1992294400 134512640 137138936 4286598560 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 4268 1809 192 642 0 3624 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17072

[startup+3.10085 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 11079
/proc/meminfo: memFree=1825664/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=17460 CPUtime=3.09
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 2312 0 0 0 301 8 0 0 23 0 1 0 4438960 17879040 1918 1992294400 134512640 137138936 4286598560 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 4365 1918 192 642 0 3721 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17460

[startup+6.30038 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 11079
/proc/meminfo: memFree=1824672/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=18272 CPUtime=6.29
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 2515 0 0 0 620 9 0 0 25 0 1 0 4438960 18710528 2109 1992294400 134512640 137138936 4286598560 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 4568 2109 192 642 0 3924 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18272

[startup+12.7004 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 11079
/proc/meminfo: memFree=1822812/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=19940 CPUtime=12.69
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 2979 0 0 0 1257 12 0 0 25 0 1 0 4438960 20418560 2549 1992294400 134512640 137138936 4286598560 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 4985 2549 192 642 0 4341 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19940

[startup+25.5016 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 11081
/proc/meminfo: memFree=1818472/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=24196 CPUtime=25.48
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 4052 0 0 0 2533 15 0 0 25 0 1 0 4438960 24776704 3594 1992294400 134512640 137138936 4286598560 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 6049 3594 192 642 0 5405 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24196

[startup+51.1018 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 11081
/proc/meminfo: memFree=1812272/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=30352 CPUtime=51.07
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 5642 0 0 0 5083 24 0 0 25 0 1 0 4438960 31080448 5159 1992294400 134512640 137138936 4286598560 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 7588 5159 192 642 0 6944 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 30352

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11083
/proc/meminfo: memFree=1806196/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=36224 CPUtime=102.26
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 7100 0 0 0 10189 37 0 0 25 0 1 0 4438960 37093376 6617 1992294400 134512640 137138936 4286598560 18446744073709551615 134538608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 9056 6617 192 642 0 8412 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 36224

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11083
/proc/meminfo: memFree=1806072/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=36224 CPUtime=162.23
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 7101 0 0 0 16168 55 0 0 25 0 1 0 4438960 37093376 6618 1992294400 134512640 137138936 4286598560 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 9056 6618 192 642 0 8412 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 36224

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11085
/proc/meminfo: memFree=1801856/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=40420 CPUtime=222.21
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 8182 0 0 0 22151 70 0 0 25 0 1 0 4438960 41390080 7675 1992294400 134512640 137138936 4286598560 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 10105 7675 192 642 0 9461 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 40420

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11087
/proc/meminfo: memFree=1799252/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=43232 CPUtime=282.2
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 8858 0 0 0 28137 83 0 0 25 0 1 0 4438960 44269568 8351 1992294400 134512640 137138936 4286598560 18446744073709551615 134575399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 10808 8351 192 642 0 10164 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 43232

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11089
/proc/meminfo: memFree=1798384/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=43904 CPUtime=342.18
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 9041 0 0 0 34124 94 0 0 25 0 1 0 4438960 44957696 8534 1992294400 134512640 137138936 4286598560 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 10976 8534 192 642 0 10332 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 43904

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11091
/proc/meminfo: memFree=1798260/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=43904 CPUtime=402.16
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 9041 0 0 0 40109 107 0 0 25 0 1 0 4438960 44957696 8534 1992294400 134512640 137138936 4286598560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 10976 8534 192 642 0 10332 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 43904

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11091
/proc/meminfo: memFree=1798260/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=43916 CPUtime=462.14
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 9044 0 0 0 46099 115 0 0 25 0 1 0 4438960 44969984 8537 1992294400 134512640 137138936 4286598560 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 10979 8537 192 642 0 10335 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 43916

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11093
/proc/meminfo: memFree=1796772/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=45432 CPUtime=522.11
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 9438 0 0 0 52085 126 0 0 25 0 1 0 4438960 46522368 8919 1992294400 134512640 137138936 4286598560 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 11358 8919 192 642 0 10714 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 45432

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11104
/proc/meminfo: memFree=1795656/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=45992 CPUtime=582.08
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 9559 0 0 0 58070 138 0 0 25 0 1 0 4438960 47095808 9040 1992294400 134512640 137138936 4286598560 18446744073709551615 134573839 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 11498 9040 192 642 0 10854 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 45992

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11106
/proc/meminfo: memFree=1795656/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=45992 CPUtime=642.07
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 9559 0 0 0 64056 151 0 0 25 0 1 0 4438960 47095808 9040 1992294400 134512640 137138936 4286598560 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 11498 9040 192 642 0 10854 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 45992

[startup+702.301 s]

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

/proc/meminfo: memFree=1779536/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=62088 CPUtime=1121.9
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 13681 0 0 0 111949 241 0 0 25 0 1 0 4438960 63578112 13076 1992294400 134512640 137138936 4286598560 18446744073709551615 134542022 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 15522 13076 192 642 0 14878 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 62088

[startup+1182.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 11120
/proc/meminfo: memFree=1779536/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=62100 CPUtime=1181.89
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 13684 0 0 0 117936 253 0 0 25 0 1 0 4438960 63590400 13079 1992294400 134512640 137138936 4286598560 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 15525 13079 192 642 0 14881 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 62100

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 11122
/proc/meminfo: memFree=1779536/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=62100 CPUtime=1241.87
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 13684 0 0 0 123921 266 0 0 25 0 1 0 4438960 63590400 13079 1992294400 134512640 137138936 4286598560 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 15525 13079 192 642 0 14881 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 62100

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11124
/proc/meminfo: memFree=1779412/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=62100 CPUtime=1301.86
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 13684 0 0 0 129910 276 0 0 25 0 1 0 4438960 63590400 13079 1992294400 134512640 137138936 4286598560 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 15525 13079 192 642 0 14881 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 62100

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11124
/proc/meminfo: memFree=1779412/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=62100 CPUtime=1361.83
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 13684 0 0 0 135894 289 0 0 25 0 1 0 4438960 63590400 13079 1992294400 134512640 137138936 4286598560 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 15525 13079 192 642 0 14881 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 62100

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11126
/proc/meminfo: memFree=1779412/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=62100 CPUtime=1421.82
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 13684 0 0 0 141879 303 0 0 25 0 1 0 4438960 63590400 13079 1992294400 134512640 137138936 4286598560 18446744073709551615 134575245 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 15525 13079 192 642 0 14881 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 62100

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11128
/proc/meminfo: memFree=1779288/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=62100 CPUtime=1481.8
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 13684 0 0 0 147866 314 0 0 25 0 1 0 4438960 63590400 13079 1992294400 134512640 137138936 4286598560 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 15525 13079 192 642 0 14881 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 62100

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 11130
/proc/meminfo: memFree=1779288/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=62100 CPUtime=1541.77
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 13684 0 0 0 153849 328 0 0 25 0 1 0 4438960 63590400 13079 1992294400 134512640 137138936 4286598560 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 15525 13079 192 642 0 14881 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 62100

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11132
/proc/meminfo: memFree=1779288/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=62116 CPUtime=1601.75
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 13688 0 0 0 159837 338 0 0 25 0 1 0 4438960 63606784 13083 1992294400 134512640 137138936 4286598560 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 15529 13083 192 642 0 14885 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 62116

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11132
/proc/meminfo: memFree=1779164/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=62116 CPUtime=1661.73
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 13688 0 0 0 165823 350 0 0 25 0 1 0 4438960 63606784 13083 1992294400 134512640 137138936 4286598560 18446744073709551615 134601122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 15529 13083 192 642 0 14885 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 62116

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11134
/proc/meminfo: memFree=1779164/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=62116 CPUtime=1721.72
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 13688 0 0 0 171811 361 0 0 25 0 1 0 4438960 63606784 13083 1992294400 134512640 137138936 4286598560 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 15529 13083 192 642 0 14885 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 62116

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11136
/proc/meminfo: memFree=1779164/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=62116 CPUtime=1781.69
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 13688 0 0 0 177795 374 0 0 25 0 1 0 4438960 63606784 13083 1992294400 134512640 137138936 4286598560 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 15529 13083 192 642 0 14885 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 62116

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 11136
/proc/meminfo: memFree=1779164/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=62116 CPUtime=1791.3
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 13688 0 0 0 178754 376 0 0 25 0 1 0 4438960 63606784 13083 1992294400 134512640 137138936 4286598560 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 15529 13083 192 642 0 14885 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (KiB) 62116

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11136
/proc/meminfo: memFree=1779164/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=62116 CPUtime=1794.5
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 13688 0 0 0 179073 377 0 0 25 0 1 0 4438960 63606784 13083 1992294400 134512640 137138936 4286598560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 15529 13083 192 642 0 14885 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (KiB) 62116

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11136
/proc/meminfo: memFree=1779164/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=62116 CPUtime=1796.09
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 13688 0 0 0 179232 377 0 0 25 0 1 0 4438960 63606784 13083 1992294400 134512640 137138936 4286598560 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 15529 13083 192 642 0 14885 0
Current children cumulated CPU time (s) 1796.09
Current children cumulated vsize (KiB) 62116

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11136
/proc/meminfo: memFree=1779164/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=62116 CPUtime=1796.89
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 13688 0 0 0 179312 377 0 0 25 0 1 0 4438960 63606784 13083 1992294400 134512640 137138936 4286598560 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 15529 13083 192 642 0 14885 0
Current children cumulated CPU time (s) 1796.89
Current children cumulated vsize (KiB) 62116

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11136
/proc/meminfo: memFree=1779164/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=62116 CPUtime=1797.69
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 13688 0 0 0 179392 377 0 0 25 0 1 0 4438960 63606784 13083 1992294400 134512640 137138936 4286598560 18446744073709551615 134578220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 15529 13083 192 642 0 14885 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 62116

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11136
/proc/meminfo: memFree=1779164/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=62116 CPUtime=1797.9
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 13688 0 0 0 179413 377 0 0 25 0 1 0 4438960 63606784 13083 1992294400 134512640 137138936 4286598560 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 15529 13083 192 642 0 14885 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 62116

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11136
/proc/meminfo: memFree=1779164/2059040 swapFree=4192956/4192956
[pid=11078] ppid=11076 vsize=62116 CPUtime=1798
/proc/11078/stat : 11078 (bsolo_pb10) R 11076 11078 11024 0 -1 4202496 13689 0 0 0 179422 378 0 0 25 0 1 0 4438960 63606784 13084 1992294400 134512640 137138936 4286598560 18446744073709551615 136382014 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11078/statm: 15529 13084 193 642 0 14885 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 62116

Child status: 0
Real time (s): 1798.61
CPU time (s): 1798.01
CPU user time (s): 1794.22
CPU system time (s): 3.78642
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 62116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.22
system time used= 3.78642
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13689
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= 2
involuntary context switches= 4949

runsolver used 3.13252 second user time and 8.32473 second system time

The end

Begin job on node055 at 2010-06-15 21:51:20
IDJOB=2657252
IDBENCH=24978
IDSOLVER=1163
FILE ID=node055/2657252-1276631480
PBS_JOBID= 11172384
Free space on /tmp= 62480 MiB

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

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

MD5SUM BENCH= 11f76d5c4a01da95c686f09380ec8e85
RANDOM SEED=532719790

node055.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.258
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.51
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.258
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1833144 kB
Buffers:         14296 kB
Cached:          88436 kB
SwapCached:          0 kB
Active:          85672 kB
Inactive:        76392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1833144 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4732 kB
Writeback:           0 kB
AnonPages:       59364 kB
Mapped:          15416 kB
Slab:            42040 kB
PageTables:       4080 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181680 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= 62476 MiB
End job on node055 at 2010-06-15 22:21:19