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

OK	27

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876904-1245182830/watcher-1876904-1245182830 -o /tmp/evaluation-result-1876904-1245182830/solver-1876904-1245182830 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876904-1245182830.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 14108
/proc/meminfo: memFree=934728/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=19212 CPUtime=0
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 281 0 0 0 0 0 0 0 18 0 1 0 185880892 19673088 265 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 4804 266 176 640 0 4030 0

[startup+0.0980739 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 14108
/proc/meminfo: memFree=934728/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=14304 CPUtime=0.09
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 1266 0 0 0 9 0 0 0 18 0 1 0 185880892 14647296 1120 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 3576 1120 189 640 0 2932 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14304

[startup+0.101074 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 14108
/proc/meminfo: memFree=934728/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=14304 CPUtime=0.09
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 1266 0 0 0 9 0 0 0 18 0 1 0 185880892 14647296 1120 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 3576 1120 189 640 0 2932 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14304

[startup+0.301113 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 14108
/proc/meminfo: memFree=934728/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=14556 CPUtime=0.29
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 1403 0 0 0 28 1 0 0 19 0 1 0 185880892 14905344 1201 1992294400 134512640 137136520 4294956256 18446744073709551615 134544245 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 3639 1201 198 640 0 2995 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14556

[startup+0.70219 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 14108
/proc/meminfo: memFree=934728/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=14556 CPUtime=0.69
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 1413 0 0 0 68 1 0 0 23 0 1 0 185880892 14905344 1211 1992294400 134512640 137136520 4294956256 18446744073709551615 134574444 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 3639 1211 198 640 0 2995 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14556

[startup+1.50134 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=930624/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=14584 CPUtime=1.49
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 2323 0 0 0 147 2 0 0 25 0 1 0 185880892 14934016 1235 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 3646 1235 198 640 0 3002 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14584

[startup+3.10165 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=930240/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=15060 CPUtime=3.08
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 6920 0 0 0 304 4 0 0 25 0 1 0 185880892 15421440 1354 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 3765 1354 198 640 0 3121 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15060

[startup+6.30126 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 14109
/proc/meminfo: memFree=929216/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=15816 CPUtime=6.29
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 15277 0 0 0 620 9 0 0 25 0 1 0 185880892 16195584 1543 1992294400 134512640 137136520 4294956256 18446744073709551615 134616499 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 3954 1543 198 640 0 3310 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15816

[startup+12.7015 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 14109
/proc/meminfo: memFree=927488/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=17644 CPUtime=12.69
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 31084 0 0 0 1252 17 0 0 25 0 1 0 185880892 18067456 1996 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 4411 1996 198 640 0 3767 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17644

[startup+25.5019 s]
/proc/loadavg: 1.06 1.01 1.00 2/66 14109
/proc/meminfo: memFree=923392/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=21716 CPUtime=25.48
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 59339 0 0 0 2514 34 0 0 25 0 1 0 185880892 22237184 3018 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 5429 3018 198 640 0 4785 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21716

[startup+51.1018 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 14109
/proc/meminfo: memFree=917888/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=27028 CPUtime=51.07
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 103761 0 0 0 5045 62 0 0 25 0 1 0 185880892 27676672 4345 1992294400 134512640 137136520 4294956256 18446744073709551615 134543787 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 6757 4345 198 640 0 6113 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 27028

[startup+102.306 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 14109
/proc/meminfo: memFree=916608/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=28360 CPUtime=102.25
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 117899 0 0 0 10148 77 0 0 25 0 1 0 185880892 29040640 4677 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 7090 4677 198 640 0 6446 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 28360

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=905984/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=38892 CPUtime=162.21
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 197291 0 0 0 16096 125 0 0 25 0 1 0 185880892 39825408 7312 1992294400 134512640 137136520 4294956256 18446744073709551615 136509026 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 9723 7312 198 640 0 9079 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 38892

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=900096/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=44784 CPUtime=222.18
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 229925 0 0 0 22067 151 0 0 25 0 1 0 185880892 45858816 8785 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 11196 8785 198 640 0 10552 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 44784

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=900032/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=44772 CPUtime=282.16
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 229925 0 0 0 28057 159 0 0 25 0 1 0 185880892 45846528 8782 1992294400 134512640 137136520 4294956256 18446744073709551615 134598609 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 11193 8782 198 640 0 10549 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 44772

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=900032/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=44784 CPUtime=342.13
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 229928 0 0 0 34047 166 0 0 25 0 1 0 185880892 45858816 8785 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 11196 8785 198 640 0 10552 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 44784

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=899968/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=44784 CPUtime=402.1
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 229928 0 0 0 40039 171 0 0 25 0 1 0 185880892 45858816 8785 1992294400 134512640 137136520 4294956256 18446744073709551615 136502193 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14108/statm: 11196 8785 198 640 0 10552 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 44784

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=899968/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=44784 CPUtime=462.08
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 229928 0 0 0 46029 179 0 0 25 0 1 0 185880892 45858816 8785 1992294400 134512640 137136520 4294956256 18446744073709551615 136509008 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 11196 8785 198 640 0 10552 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 44784

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=893952/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=50892 CPUtime=522.05
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 262548 0 0 0 52004 201 0 0 25 0 1 0 185880892 52113408 10312 1992294400 134512640 137136520 4294956256 18446744073709551615 134616484 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 12723 10312 198 640 0 12079 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 50892

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=893952/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=50888 CPUtime=582.02
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 262548 0 0 0 57996 206 0 0 25 0 1 0 185880892 52109312 10311 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 12722 10311 198 640 0 12078 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 50888

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=893952/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=50892 CPUtime=641.99
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 262549 0 0 0 63987 212 0 0 25 0 1 0 185880892 52113408 10312 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 12723 10312 198 640 0 12079 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 50892

[startup+702.301 s]

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

/proc/meminfo: memFree=893824/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=50888 CPUtime=1061.76
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 262551 0 0 0 105925 251 0 0 25 0 1 0 185880892 52109312 10311 1992294400 134512640 137136520 4294956256 18446744073709551615 135982500 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 12722 10311 198 640 0 12078 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 50888

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=893824/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=50888 CPUtime=1121.74
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 262551 0 0 0 111916 258 0 0 25 0 1 0 185880892 52109312 10311 1992294400 134512640 137136520 4294956256 18446744073709551615 136500556 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 12722 10311 198 640 0 12078 0
Current children cumulated CPU time (s) 1121.74
Current children cumulated vsize (KiB) 50888

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=893824/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=50888 CPUtime=1181.68
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 262551 0 0 0 117902 266 0 0 25 0 1 0 185880892 52109312 10311 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 12722 10311 198 640 0 12078 0
Current children cumulated CPU time (s) 1181.68
Current children cumulated vsize (KiB) 50888

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=893696/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=50888 CPUtime=1241.65
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 262551 0 0 0 123893 272 0 0 25 0 1 0 185880892 52109312 10311 1992294400 134512640 137136520 4294956256 18446744073709551615 134552016 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 12722 10311 198 640 0 12078 0
Current children cumulated CPU time (s) 1241.65
Current children cumulated vsize (KiB) 50888

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=893696/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=50888 CPUtime=1301.61
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 262551 0 0 0 129883 278 0 0 25 0 1 0 185880892 52109312 10311 1992294400 134512640 137136520 4294956256 18446744073709551615 134607171 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 12722 10311 198 640 0 12078 0
Current children cumulated CPU time (s) 1301.61
Current children cumulated vsize (KiB) 50888

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=893760/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=50712 CPUtime=1361.58
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 262551 0 0 0 135876 282 0 0 25 0 1 0 185880892 51929088 10267 1992294400 134512640 137136520 4294956256 18446744073709551615 134544001 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 12678 10267 198 640 0 12034 0
Current children cumulated CPU time (s) 1361.58
Current children cumulated vsize (KiB) 50712

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=893760/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=50712 CPUtime=1421.55
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 262551 0 0 0 141869 286 0 0 25 0 1 0 185880892 51929088 10267 1992294400 134512640 137136520 4294956256 18446744073709551615 136502397 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 12678 10267 198 640 0 12034 0
Current children cumulated CPU time (s) 1421.55
Current children cumulated vsize (KiB) 50712

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=893760/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=50712 CPUtime=1481.52
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 262551 0 0 0 147859 293 0 0 25 0 1 0 185880892 51929088 10267 1992294400 134512640 137136520 4294956256 18446744073709551615 135982520 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 12678 10267 198 640 0 12034 0
Current children cumulated CPU time (s) 1481.52
Current children cumulated vsize (KiB) 50712

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=893760/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=50712 CPUtime=1541.49
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 262551 0 0 0 153851 298 0 0 25 0 1 0 185880892 51929088 10267 1992294400 134512640 137136520 4294956256 18446744073709551615 134544411 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 12678 10267 198 640 0 12034 0
Current children cumulated CPU time (s) 1541.49
Current children cumulated vsize (KiB) 50712

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=893760/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=50712 CPUtime=1601.46
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 262551 0 0 0 159843 303 0 0 25 0 1 0 185880892 51929088 10267 1992294400 134512640 137136520 4294956256 18446744073709551615 134543646 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 12678 10267 198 640 0 12034 0
Current children cumulated CPU time (s) 1601.46
Current children cumulated vsize (KiB) 50712

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=893760/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=50708 CPUtime=1661.42
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 262551 0 0 0 165835 307 0 0 25 0 1 0 185880892 51924992 10266 1992294400 134512640 137136520 4294956256 18446744073709551615 134607060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14108/statm: 12677 10266 198 640 0 12033 0
Current children cumulated CPU time (s) 1661.42
Current children cumulated vsize (KiB) 50708

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=893760/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=50708 CPUtime=1721.38
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 262551 0 0 0 171827 311 0 0 25 0 1 0 185880892 51924992 10266 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 12677 10266 198 640 0 12033 0
Current children cumulated CPU time (s) 1721.38
Current children cumulated vsize (KiB) 50708

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=893632/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=50708 CPUtime=1781.36
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 262551 0 0 0 177819 317 0 0 25 0 1 0 185880892 51924992 10266 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 12677 10266 198 640 0 12033 0
Current children cumulated CPU time (s) 1781.36
Current children cumulated vsize (KiB) 50708

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=893632/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=50708 CPUtime=1790.96
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 262551 0 0 0 178779 317 0 0 25 0 1 0 185880892 51924992 10266 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 12677 10266 198 640 0 12033 0
Current children cumulated CPU time (s) 1790.96
Current children cumulated vsize (KiB) 50708

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=893632/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=50708 CPUtime=1794.16
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 262551 0 0 0 179098 318 0 0 25 0 1 0 185880892 51924992 10266 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 12677 10266 198 640 0 12033 0
Current children cumulated CPU time (s) 1794.16
Current children cumulated vsize (KiB) 50708

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=893632/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=50708 CPUtime=1795.75
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 262551 0 0 0 179257 318 0 0 25 0 1 0 185880892 51924992 10266 1992294400 134512640 137136520 4294956256 18446744073709551615 134544893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14108/statm: 12677 10266 198 640 0 12033 0
Current children cumulated CPU time (s) 1795.75
Current children cumulated vsize (KiB) 50708

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=893632/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=50708 CPUtime=1797.35
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 262551 0 0 0 179417 318 0 0 25 0 1 0 185880892 51924992 10266 1992294400 134512640 137136520 4294956256 18446744073709551615 136518971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 12677 10266 198 640 0 12033 0
Current children cumulated CPU time (s) 1797.35
Current children cumulated vsize (KiB) 50708

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=893632/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=50708 CPUtime=1797.75
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 262551 0 0 0 179457 318 0 0 25 0 1 0 185880892 51924992 10266 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 12677 10266 198 640 0 12033 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 50708

[startup+1798.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14109
/proc/meminfo: memFree=893632/2055920 swapFree=4178232/4192956
[pid=14108] ppid=14106 vsize=50708 CPUtime=1797.95
/proc/14108/stat : 14108 (bsolo) R 14106 14108 13814 0 -1 4194304 262551 0 0 0 179477 318 0 0 25 0 1 0 185880892 51924992 10266 1992294400 134512640 137136520 4294956256 18446744073709551615 134571834 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14108/statm: 12677 10266 198 640 0 12033 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 50708

Child status: 0
Real time (s): 1798.96
CPU time (s): 1798.01
CPU user time (s): 1794.82
CPU system time (s): 3.19451
CPU usage (%): 99.9475
Max. virtual memory (cumulated for all children) (KiB): 50900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.82
system time used= 3.19451
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262553
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= 3
involuntary context switches= 7841

runsolver used 2.23866 second user time and 3.9454 second system time

The end

Begin job on node91 at 2009-06-16 22:07:10
IDJOB=1876904
IDBENCH=24996
IDSOLVER=699
FILE ID=node91/1876904-1245182830
PBS_JOBID= 9363908
Free space on /tmp= 66444 MiB

SOLVER NAME= bsolo 3.1
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_002_area_delay.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876904-1245182830/watcher-1876904-1245182830 -o /tmp/evaluation-result-1876904-1245182830/solver-1876904-1245182830 -C 1800 -W 2000 -M 1800  bsolo -l2 -t1800 -m1800 HOME/instance-1876904-1245182830.opb

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

MD5SUM BENCH= d6135de924aeb400fc0f7d1c419e5860
RANDOM SEED=1787195818

node91.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        935208 kB
Buffers:         43236 kB
Cached:         975556 kB
SwapCached:       8484 kB
Active:         556988 kB
Inactive:       471900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        935208 kB
SwapTotal:     4192956 kB
SwapFree:      4178232 kB
Dirty:            4460 kB
Writeback:           0 kB
Mapped:          15500 kB
Slab:            77692 kB
Committed_AS:    81220 kB
PageTables:       1364 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876904-1245182830.opb

Free space on /tmp at the end= 66440 MiB
End job on node91 at 2009-06-16 22:37:09