Trace number 3462883

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2SAT28 1798.01 1797.97

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_015_area_delay.opb
MD5SUM90acfb7d1c18536583ef7e2a90905f54
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark10.3694
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables7798
Total number of constraints24318
Number of constraints which are clauses24318
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 3790
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3790
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3790
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462883-1307179865.opb
0.00/0.00	c File size is 716495 bytes.
0.02/0.05	c Highest Coefficient sum: 3790
0.02/0.05	c Parsing was ok!!
0.02/0.05	c Total parsing time: 0.048 s
0.02/0.05	c Var: 7798 Constr: 24318 24318/0/0 Lit: 58611 Watch. Lit: 48026
0.02/0.05	c Obj. Vars: 3790 (48.6022 % of total variables)
0.09/0.13	c Pre-processing Time: 0.132 s
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   6569    20052    49404    2    40104    6684      0      0 0.13
0.09/0.13	c Switching off lower bounding mode.
0.09/0.14	o 29
541.40/541.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
541.40/541.42	c        5   6569    20062    52674    2    43275    7684     10     35 0.14
541.40/541.42	c      105   6569    20177    57890    2    43505    8453    125    312 0.34
541.40/541.42	c      355   6569    20452    67424    3    44055    9299    400    375 0.94
541.40/541.42	c      830   6569    21163    83438    3    45477   10229   1111    491 1.69
541.40/541.42	c     1644   6569    22093   125125    5    47337   11252   2041    447 3.67
541.40/541.42	c     2965   6569    23549   203039    8    50249   12378   3497    430 6.88
541.40/541.42	c     5047   6569    25733   377401   14    57766   13616   5681    404 12.49
541.40/541.42	c     8270   6569    28993   489512   16    64286   14978   8941    382 21.63
541.40/541.42	c    13207   6569    34134   844474   24    77716   16476  14082    367 35.98
541.40/541.42	c    20713   6569    30037   818254   27    63225   18124   9985    348 59.39
541.40/541.42	c    32074   6569    29375   597637   20    61901   19937   9323    348 92.12
541.40/541.42	c    49219   6569    33762  1097155   32    73822   21931  13710    338 145.32
541.40/541.42	c    75039   6569    31956  1152462   36    76472   24125  11904    321 233.41
541.40/541.42	c   113873   6569    41500  2777970   66   101866   26538  21448    313 363.24
541.40/541.42	o 28
1797.93/1797.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1797.96	c   167717   6569    42720  1868695   43    94890    7684  22668    309 541.44
1797.93/1797.96	c   167817   6569    24031   370703   15    51214    8453   3979    309 541.74
1797.93/1797.96	c   168068   6569    24404   379060   15    51960    9299   4352    309 542.17
1797.93/1797.96	c   168544   6569    25004   396336   15    53160   10229   4952    310 543.13
1797.93/1797.96	c   169358   6569    25863   436780   16    54878   11252   5811    310 545.15
1797.93/1797.96	c   170678   6569    27262   508384   18    57676   12378   7210    311 548.76
1797.93/1797.96	c   172760   6569    29469   659100   22    65238   13616   9417    311 554.57
1797.93/1797.96	c   175983   6569    32847   873871   26    71994   14978  12795    312 562.97
1797.93/1797.96	c   180920   6569    28104   688913   24    59360   16476   8052    312 578.11
1797.93/1797.96	c   188426   6569    36266  1586820   43    85092   18124  16214    313 600.57
1797.93/1797.96	c   199788   6569    35582  1496409   42    83758   19937  15530    314 635.20
1797.93/1797.96	c   216932   6569    39996  1583562   39    83144   21931  19944    315 687.28
1797.93/1797.96	c   242751   6569    37591  1267996   33    81483   24125  17539    317 763.63
1797.93/1797.96	c   281583   6569    31829  1185108   37    69937   26538  11777    314 894.53
1797.93/1797.96	c   339935   6569    38251  1108654   28    79654   29192  18199    315 1077.58
1797.93/1797.96	c   427567   6569    49965  2790389   55   103082   32112  29913    309 1383.25
1797.93/1797.96	c Resources Exceeded
1797.93/1797.96	v -x232 -x234 -x236 x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -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 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -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 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -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 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -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 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -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 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -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 -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 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -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 -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 -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 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -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 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 -x4899 -x4901 -x4903 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x4933 -x4935 -x4937 -x4939 -x4941 -x4943 -x4945 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -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 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -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 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 x5145 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157 -x5159 -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x5299 -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -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 -x5395 -x5397 -x5399 -x5401 -x5403 -x5405 -x5407 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -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 -x5533 -x5535 -x5537 -x5539 -x5541 -x5543 -x5545 -x5547 -x5549 -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 -x5657 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x5675 -x5677 -x5679 -x5681 -x5683 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x5701 -x5703 -x5705 -x5707 -x5709 -x5711 -x5713 -x5715 -x5717 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x5733 x5735 -x5737 -x5739 -x5741 -x5743 -x5745 -x5747 -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x5765 -x5767 -x5769 -x5771 -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 -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 -x5965 -x5967 -x5969 -x5971 -x5973 -x5975 -x5977 -x5979 -x5981 -x5983 -x5985 -x5987 -x5989 -x5991 -x5993 -x5995 -x5997 -x5998 -x6000 -x6002 -x6004 -x6006 -x6008 -x6010 -x6012 -x6014 -x6016 -x6018 -x6020 -x6022 -x6023 -x6025 -x6027 -x6029 -x6031 -x6033 -x6035 -x6037 -x6039 -x6041 -x6043 -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 -x6071 -x6073 -x6075 -x6077 -x6079 -x6081 -x6083 -x6085 -x6087 -x6089 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 -x6105 -x6107 -x6109 -x6111 -x6113 -x6115 -x6117 -x6119 -x6121 -x6123 -x6125 -x6127 -x6129 -x6131 -x6133 -x6135 -x6137 -x6139 -x6141 -x6143 -x6145 -x6147 -x6149 -x6151 -x6153 -x6155 -x6157 -x6159 -x6161 -x6163 -x6165 -x6167 -x6169 -x6171 -x6173 -x6175 -x6177 -x6179 -x6181 -x6183 -x6185 -x6187 -x6189 -x6191 -x6193 -x6195 -x6197 -x6199 -x6201 -x6203 -x6205 -x6207 -x6209 -x6211 -x6213 -x6215 -x6217 -x6219 -x6221 -x6223 -x6225 -x6227 -x6229 -x6231 -x6233 -x6235 -x6237 -x6239 -x6241 -x6243 -x6245 -x6247 -x6249 -x6251 -x6253 -x6255 -x6257 -x6259 -x6261 -x6263 -x6265 -x6267 -x6269 -x6271 -x6273 -x6275 -x6277 -x6279 -x6281 -x6283 -x6285 -x6287 -x6289 -x6291 -x6293 -x6295 -x6297 -x6299 -x6301 -x6303 -x6305 -x6307 -x6309 -x6311 -x6313 -x6315 -x6317 -x6319 -x6321 -x6323 -x6325 -x6327 -x6329 -x6331 -x6333 -x6335 -x6337 -x6339 -x6341 -x6343 -x6345 -x6347 -x6349 -x6351 -x6353 -x6355 -x6357 -x6359 -x6361 -x6363 -x6365 -x6367 -x6369 -x6371 -x6373 -x6375 -x6377 -x6379 -x6381 -x6383 -x6385 -x6387 -x6389 -x6391 -x6393 -x6395 -x6397 -x6399 -x6401 -x6403 -x6405 -x6407 -x6409 -x6411 -x6413 -x6415 -x6417 -x6419 -x6421 -x6423 -x6425 -x6427 -x6429 -x6431 -x6433 -x6435 -x6437 -x6439 -x6441 -x6443 -x6445 -x6447 -x6449 -x6451 -x6453 -x6455 -x6457 -x6459 -x6461 -x6463 -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 -x6685 -x6687 -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 -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 -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 -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 -x7131 -x7133 -x7135 -x7137 -x7139 -x7141 -x7143 -x7145 -x7147 -x7149 -x7151 -x7153 -x7155 -x7157 -x7159 -x7161 -x7163 -x7165 -x7167 -x7169 -x7171 -x7173 -x7175 -x7177 -x7179 -x7181 -x7183 -x7185 -x7187 -x7189 -x7191 -x7193 -x7195 -x7197 -x7199 -x7201 -x7203 -x7205 -x7207 -x7209 -x7211 -x7213 -x7215 -x7217 -x7219 -x7221 -x7223 -x7225 -x7227 -x7229 -x7231 -x7233 -x7235 -x7237 -x7239 -x7241 -x7243 -x7245 -x7247 -x7249 -x7251 -x7253 -x7255 -x7257 -x7259 -x7261 -x7263 -x7265 -x7267 -x7269 -x7271 -x7273 -x7275 -x7277 -x7279 -x7281 -x7283 -x7285 -x7287 -x7289 -x7291 -x7293 -x7295 -x7297 -x7299 -x7301 -x7303 -x7305 -x7307 -x7309 -x7311 -x7313 -x7315 -x7317 -x7319 -x7321 -x7323 -x7325 -x7327 -x7329 -x7331 -x7333 -x7335 -x7337 -x7339 -x7341 -x7343 -x7345 -x7347 -x7349 -x7351 -x7353 -x7355 -x7357 -x7359 -x7361 -x7363 -x7365 -x7367 -x7369 -x7371 -x7373 -x7375 -x7377 -x7379 -x7381 -x7383 -x7385 -x7387 -x7389 -x7391 -x7393 -x7395 -x7397 -x7399 -x7401 -x7403 -x7405 -x7407 -x7409 -x7411 -x7413 -x7415 x7416 -x7418 -x7420 -x7422 -x7424 -x7426 -x7428 -x7430 -x7432 -x7434 -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 -x7496 -x7498 -x7500 -x7502 -x7504 -x7506 -x7508 -x7510 -x7512 -x7514 -x7516 -x7518 -x7520 -x7522 -x7524 -x7526 x7528 -x7530 -x7532 -x7534 -x7536 -x7538 -x7540 -x7542 -x7544 -x7546 -x7548 -x7550 -x7552 -x7554 -x7556 -x7558 -x7560 -x7562 -x7564 -x7566 -x7568 -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 -x7632 -x7634 -x7636 -x7638 -x7640 -x7642 -x7644 -x7646 -x7648 -x7650 -x7652 -x7654 -x7656 x7658 -x7660 -x7662 -x7664 -x7666 -x7668 -x7670 -x7672 -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 -x231 -x233 -x235 x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x1 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x2 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x3 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 x315 -x317 -x319 -x321 -x323 -x325 -x4 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x5 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x6 -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 -x7 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x8 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x9 -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 -x10 -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 -x11 -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 -x12 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x13 -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 -x14 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x15 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x16 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x17 -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 -x18 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x19 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x20 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x21 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x22 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x23 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x24 -x1105 -x1107 -x1109 -x25 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x26 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x27 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x28 -x1169 -x1171 -x1173 -x29 -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 -x30 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x31 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x32 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x33 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x34 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x35 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 x36 x1369 -x1371 -x1373 -x37 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x38 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x39 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x40 -x1433 -x1435 -x1437 -x41 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x42 -x1453 -x1455 -x1457 x43 x1459 -x1461 -x1463 -x44 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x45 -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 -x46 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x47 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x48 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x49 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -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 -x50 -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 -x51 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x52 -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 -x53 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -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 -x54 -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 -x55 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x56 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x57 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x58 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x59 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x60 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x61 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x62 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x63 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x64 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x65 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x66 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x67 -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 -x68 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x69 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x70 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x71 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 x72 -x3387 -x3389 -x3391 -x3393 -x3395 x3397 -x3399 -x73 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x74 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x75 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x76 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x77 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x78 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x79 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x80 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -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 -x81 -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 -x82 -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 -x83 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x84 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x85 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x3963 -x86 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x87 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x88 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x89 -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 -x90 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x91 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x92 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x93 -x4171 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x94 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x95 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 x4239 -x4241 -x96 -x4243 -x4245 -x4247 -x97 -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 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x98 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x99 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x100 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x101 -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 -x102 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x103 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x104 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x105 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x106 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x107 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x4782 -x4784 -x108 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x109 -x4800 -x4802 -x4804 -x4806 -x4808 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x110 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x111 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x112 -x4858 -x4860 -x4862 -x113 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x4898 -x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x114 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x115 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x116 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x117 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x118 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x119 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x120 -x5058 -x5060 -x121 -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x122 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x123 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x124 -x5120 -x5122 -x5124 -x125 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x126 -x5140 -x5142 x5144 x127 -x5146 -x5148 -x5150 -x128 -x5152 -x129 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176 -x5178 -x5180 -x5182 -x130 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 -x5202 -x5204 -x5206 -x5208 -x5210 -x5212 -x131 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x132 -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 -x133 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 -x5398 -x5400 -x5402 -x5404 -x5406 -x5409 -x5411 -x5413 -x134 -x5415 -x5417 -x5419 -x5421 -x5423 -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 -x135 -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 -x136 -x5566 -x5568 -x5570 -x5572 -x5574 -x5576 -x5578 -x5580 -x5582 -x5584 -x5586 -x5588 -x5590 -x5592 -x5594 -x137 -x5596 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x138 -x5626 -x5628 -x5630 -x5632 -x5634 -x5636 -x5638 -x139 -x5640 -x5642 -x5644 -x5646 -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5660 -x5662 -x5664 -x5666 -x5668 -x5670 -x5672 -x5674 -x5676 -x5678 -x5680 -x5682 -x5684 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 -x140 -x5702 -x5704 -x5706 -x5708 -x5710 -x5712 -x5714 -x5716 -x5718 -x5720 -x5722 -x5724 -x5726 -x5728 -x5730 -x5732 x5734 -x5736 -x5738 -x5740 -x5742 -x5744 -x5746 -x5748 -x5750 -x5752 -x5754 -x5756 -x5758 -x5760 -x141 -x5762 -x5764 -x5766 -x5768 -x5770 -x5772 -x5774 -x142 -x5776 -x5778 -x5780 -x5782 -x5784 -x5786 -x5788 -x5790 -x5792 -x5794 -x5796 -x5798 -x5800 -x5802 -x5804 -x143 -x5806 -x5808 -x5810 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 x5824 -x5826 -x5828 -x5830 -x5832 -x144 -x5834 -x5836 -x5838 -x145 -x5840 -x5842 -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x5856 -x5858 -x5860 -x5862 -x5864 -x5866 -x5868 -x5870 -x5872 -x5874 -x5876 -x5878 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 -x5904 -x5906 -x5908 -x5910 -x5912 -x5914 -x5916 -x5918 -x5920 -x5922 -x5924 -x5926 -x5928 -x5930 -x5932 -x5934 -x5936 -x5938 -x5940 -x5942 -x5944 -x5946 -x5948 -x5950 -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x5964 -x146 -x5966 -x5968 -x5970 -x5972 -x5974 -x5976 -x5978 -x5980 -x5982 -x5984 -x5986 -x5988 -x5990 -x5992 -x5994 -x5996 -x5999 -x6001 -x6003 -x6005 -x6007 -x6009 -x6011 -x6013 -x6015 -x6017 -x6019 -x6021 -x147 -x6024 -x6026 -x6028 -x6030 -x6032 -x6034 -x6036 -x6038 -x6040 -x6042 -x6044 -x6046 -x6048 -x6050 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6068 -x6070 -x6072 -x6074 -x6076 -x6078 -x6080 -x6082 -x6084 -x148 -x6086 -x6088 -x6090 -x6092 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106 -x6108 -x6110 -x6112 -x6114 -x149 -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x6128 -x6130 -x6132 -x6134 -x6136 -x6138 -x6140 -x6142 -x6144 -x6146 -x6148 -x6150 -x6152 -x6154 -x6156 -x6158 -x6160 -x6162 -x6164 -x6166 -x6168 -x6170 -x6172 -x6174 -x6176 -x150 -x6178 -x6180 -x6182 -x6184 -x6186 -x6188 -x6190 -x6192 -x6194 -x6196 -x6198 -x6200 -x6202 -x6204 -x6206 -x151 -x6208 -x6210 -x6212 -x6214 -x6216 -x6218 -x6220 -x6222 -x6224 -x6226 -x6228 -x6230 -x6232 -x6234 -x6236 -x152 -x6238 -x6240 -x6242 -x6244 -x6246 -x6248 -x6250 -x153 -x6252 -x6254 -x6256 -x6258 -x6260 -x6262 -x6264 -x6266 -x6268 -x6270 -x6272 -x6274 -x6276 -x6278 -x6280 -x6282 -x6284 -x6286 -x6288 -x6290 -x6292 -x6294 -x6296 -x6298 -x6300 -x6302 -x6304 -x6306 -x6308 -x6310 -x6312 -x154 -x6314 -x6316 -x6318 -x6320 -x6322 -x6324 -x6326 -x6328 -x6330 -x6332 -x6334 -x6336 -x6338 -x6340 -x6342 -x155 -x6344 -x6346 -x6348 -x6350 -x6352 -x6354 -x6356 -x6358 -x6360 -x6362 -x6364 -x6366 -x6368 -x6370 -x6372 -x156 -x6374 -x6376 -x6378 -x6380 -x6382 -x6384 -x6386 -x157 -x6388 -x6390 -x6392 -x6394 -x6396 -x6398 -x6400 -x6402 -x6404 -x6406 -x6408 -x6410 -x6412 -x6414 -x6416 -x158 -x6418 -x6420 -x6422 -x6424 -x6426 -x6428 -x6430 -x159 -x6432 -x6434 -x6436 -x6438 -x6440 -x6442 -x6444 -x160 -x6446 -x6448 -x6450 -x161 -x6452 -x6454 -x6456 -x6458 -x6460 -x6462 -x6464 -x6466 -x6468 -x6470 -x6472 -x6474 -x6476 -x6478 -x6480 -x6482 -x6484 -x6486 -x6488 -x6490 -x6492 -x6494 -x6496 -x6498 -x6500 -x6502 -x6504 -x6506 -x6508 -x6510 -x6512 -x162 -x6514 -x6516 -x6518 -x6520 -x6522 -x6524 -x6526 -x6528 -x6530 -x6532 -x6534 -x6536 -x6538 -x6540 -x6542 -x163 -x6544 -x6546 -x6548 -x6550 -x6552 -x6554 -x6556 -x6558 -x6560 -x6562 -x6564 -x6566 -x6568 -x6570 -x6572 -x6574 -x6576 x6578 -x6580 -x6582 -x6584 -x6586 -x164 -x6588 -x6590 -x6592 -x6594 -x6596 -x6598 -x6600 -x6602 -x6604 -x6606 -x6608 -x6610 -x6612 -x6614 -x6616 -x165 -x6618 -x6620 -x6622 -x6624 -x6626 -x6628 -x6630 -x166 -x6632 -x6634 -x6636 -x6638 -x6640 -x6642 -x6644 -x167 -x6646 -x6648 -x6650 -x168 -x6652 -x6654 -x6656 -x6658 -x6660 -x6662 -x6664 -x6666 -x6668 -x6670 -x6672 -x6674 -x6676 -x6678 -x6680 -x169 -x6682 -x6684 -x6686 -x6688 -x6690 -x6692 -x6694 -x170 -x6696 -x6698 -x6700 -x6702 -x6704 -x6706 -x6708 -x171 -x6710 -x6712 -x6714 -x172 -x6716 -x6718 -x6720 -x6722 -x6724 -x6726 -x6728 -x173 -x6730 -x6732 -x6734 -x174 -x6736 -x6738 -x6740 -x175 -x6742 -x176 -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 -x177 -x6806 -x6808 -x6810 -x6812 -x6814 -x6816 -x6818 -x6820 -x6822 -x6824 -x6826 -x6828 -x6830 -x6832 -x6834 -x178 -x6836 -x6838 -x6840 -x6842 -x6844 -x6846 -x6848 -x6850 -x6852 -x6854 -x6856 -x6858 -x6860 -x6862 -x6864 -x179 -x6866 -x6868 -x6870 -x6872 -x6874 -x6876 -x6878 -x6880 -x6882 -x6884 -x6886 -x6888 -x6890 -x6892 -x6894 -x180 -x6896 -x6898 -x6900 -x6902 -x6904 -x6906 -x6908 -x181 -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 -x182 -x6972 -x6974 -x6976 -x6978 -x6980 -x6982 -x6984 -x6986 -x6988 -x6990 -x6992 -x6994 -x6996 -x6998 -x7000 -x183 -x7002 -x7004 -x7006 -x7008 -x7010 -x7012 -x7014 -x7016 -x7018 -x7020 -x7022 -x7024 -x7026 -x7028 -x7030 -x184 -x7032 -x7034 -x7036 -x7038 -x7040 -x7042 -x7044 -x185 -x7046 -x7048 -x7050 -x7052 -x7054 -x7056 -x7058 -x7060 -x7062 -x7064 -x7066 -x7068 -x7070 -x7072 -x7074 -x186 -x7076 -x7078 -x7080 -x7082 -x7084 -x7086 -x7088 -x187 -x7090 -x7092 -x7094 -x7096 -x7098 -x7100 -x7102 -x188 -x7104 -x7106 -x7108 -x189 -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 -x7168 -x7170 -x190 -x7172 -x7174 -x7176 -x7178 -x7180 -x7182 -x7184 -x7186 -x7188 -x7190 -x7192 -x7194 -x7196 -x7198 -x191 -x7200 -x7202 -x7204 -x7206 -x7208 -x7210 -x7212 -x7214 -x7216 -x7218 -x7220 -x7222 -x7224 -x7226 -x7228 -x192 -x7230 -x7232 -x7234 -x7236 -x7238 -x7240 -x7242 -x193 -x7244 -x7246 -x7248 -x7250 -x7252 -x7254 -x7256 -x7258 -x7260 -x7262 -x7264 -x7266 -x7268 -x7270 -x7272 -x194 -x7274 -x7276 -x7278 -x7280 -x7282 -x7284 -x195 -x7286 -x7288 -x7290 -x7292 -x7294 -x7296 -x7298 -x196 -x7300 -x7302 -x7304 -x197 -x7306 -x7308 -x7310 -x7312 -x7314 -x7316 -x7318 -x7320 -x7322 -x7324 -x7326 -x7328 -x7330 -x7332 -x7334 -x198 -x7336 -x7338 -x7340 -x7342 -x7344 -x7346 -x7348 -x199 -x7350 -x7352 -x7354 -x7356 -x7358 -x7360 -x7362 -x200 -x7364 -x7366 -x201 -x7368 -x7370 -x7372 -x7374 -x7376 -x7378 -x7380 -x202 -x7382 -x7384 -x7386 -x203 -x7388 -x7390 -x7392 -x204 -x7394 -x7396 -x7398 -x7400 -x7402 -x7404 -x7406 -x7408 -x7410 -x7412 -x7414 -x7417 -x7419 -x7421 -x7423 -x7425 -x7427 -x7429 -x7431 -x7433 -x7435 -x7437 -x7439 -x7441 -x7443 -x7445 -x7447 -x7449 -x205 -x7451 -x7453 -x7455 -x7457 -x7459 -x7461 -x7463 -x7465 -x7467 -x7469 -x7471 -x7473 -x7475 -x7477 -x7479 -x206 -x7481 -x7483 -x7485 -x7487 -x7489 -x7491 -x7493 -x7495 -x7497 -x7499 -x7501 -x7503 -x7505 -x7507 -x7509 -x207 -x7511 -x7513 -x7515 -x7517 -x7519 -x7521 -x7523 -x7525 x7527 -x7529 -x7531 -x7533 -x7535 -x7537 -x7539 -x7541 -x7543 -x7545 -x7547 -x7549 -x7551 -x7553 -x208 -x7555 -x7557 -x7559 -x7561 -x7563 -x7565 -x7567 -x209 -x7569 -x7571 -x7573 -x7575 -x7577 -x7579 -x7581 -x210 -x7583 -x7585 -x7587 -x211 -x7589 -x7591 -x7593 -x7595 -x7597 -x7599 -x7601 -x7603 -x7605 -x7607 -x7609 -x7611 -x7613 -x7615 -x7617 -x212 -x7619 -x7621 -x7623 -x7625 -x7627 -x7629 -x7631 -x213 -x7633 -x7635 -x7637 -x7639 -x7641 -x7643 -x7645 -x214 -x7647 -x7649 -x7651 -x7653 -x7655 x7657 -x7659 -x7661 -x7663 -x7665 -x215 -x7667 -x7669 -x7671 -x216 -x7673 -x7675 -x7677 -x217 -x7679 -x218 -x7681 -x7683 -x7685 -x7687 -x7689 -x7691 -x7693 -x7695 -x7697 -x7699 -x7701 -x7703 -x7705 -x219 -x7707 -x7709 -x7711 -x7713 -x7715 -x7717 -x7719 x220 -x7721 -x7723 x7725 -x7727 -x7729 -x7731 -x7733 -x221 -x7735 -x7737 x7739 -x7741 -x7743 -x7745 -x7747 -x7749 -x7751 -x7753 -x222 -x7755 -x7757 x223 x7759 -x7761 x7763 x224 -x7765 -x225 -x7767 -x7769 -x7771 -x7773 -x7775 -x7777 x7779 -x7781 x7783 -x7785 -x7787 -x7789 -x226 -x7791 x227 x7793 -x7795 -x228 x7797 x229 x230 
1797.93/1797.96	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1797.96	c   30   550600 324015  1993611    39325  1347647  19273    306 1798.00
1797.93/1797.96	c Objective: 28
1797.93/1797.96	s SATISFIABLE
1797.93/1797.96	c Total time: 1798 s

Verifier Data 

OK	28

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462883-1307179865/watcher-3462883-1307179865 -o /tmp/evaluation-result-3462883-1307179865/solver-3462883-1307179865 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462883-1307179865.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.05 2.05 2.01 2/473 2097
/proc/meminfo: memFree=20351424/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=11648 CPUtime=0 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 354 0 0 0 0 0 0 0 25 0 1 0 829586209 11927552 308 33554432000 134512640 137138936 4289946384 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 2945 309 178 642 0 2126 0

[startup+0.026929 s]
/proc/loadavg: 2.05 2.05 2.01 2/473 2097
/proc/meminfo: memFree=20351424/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=13040 CPUtime=0.02 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 773 0 0 0 2 0 0 0 25 0 1 0 829586209 13352960 727 33554432000 134512640 137138936 4289946384 18446744073709551615 136525321 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 3260 729 258 642 0 2441 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13040

[startup+0.100917 s]
/proc/loadavg: 2.05 2.05 2.01 2/473 2097
/proc/meminfo: memFree=20351424/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=15536 CPUtime=0.09 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 1656 0 0 0 9 0 0 0 25 0 1 0 829586209 15908864 1435 33554432000 134512640 137138936 4289946384 18446744073709551615 136520996 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 3884 1435 185 642 0 3240 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15536

[startup+0.300931 s]
/proc/loadavg: 2.05 2.05 2.01 2/473 2097
/proc/meminfo: memFree=20351424/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=15704 CPUtime=0.29 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 1762 0 0 0 27 2 0 0 25 0 1 0 829586209 16080896 1499 33554432000 134512640 137138936 4289946384 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 3926 1499 192 642 0 3282 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15704

[startup+0.700867 s]
/proc/loadavg: 2.05 2.05 2.01 2/473 2097
/proc/meminfo: memFree=20351424/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=15704 CPUtime=0.69 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 1991 0 0 0 67 2 0 0 25 0 1 0 829586209 16080896 1505 33554432000 134512640 137138936 4289946384 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 3926 1505 192 642 0 3282 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15704

[startup+1.50079 s]
/proc/loadavg: 2.05 2.05 2.01 3/474 2098
/proc/meminfo: memFree=20345464/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=15796 CPUtime=1.49 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 6733 0 0 0 145 4 0 0 25 0 1 0 829586209 16175104 1528 33554432000 134512640 137138936 4289946384 18446744073709551615 134607001 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 3949 1528 192 642 0 3305 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15796

[startup+3.1005 s]
/proc/loadavg: 2.05 2.05 2.01 3/474 2098
/proc/meminfo: memFree=20344332/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=16200 CPUtime=3.09 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 17209 0 0 0 304 5 0 0 25 0 1 0 829586209 16588800 1629 33554432000 134512640 137138936 4289946384 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 4050 1629 192 642 0 3406 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16200

[startup+6.30083 s]
/proc/loadavg: 2.04 2.04 2.01 3/474 2098
/proc/meminfo: memFree=20343100/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=17200 CPUtime=6.29 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 41256 0 0 0 620 9 0 0 25 0 1 0 829586209 17612800 1879 33554432000 134512640 137138936 4289946384 18446744073709551615 136511209 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 4300 1879 192 642 0 3656 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17200

[startup+12.7007 s]
/proc/loadavg: 2.04 2.04 2.01 3/474 2099
/proc/meminfo: memFree=20339576/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=20252 CPUtime=12.69 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 88016 0 0 0 1253 16 0 0 25 0 1 0 829586209 20738048 2620 33554432000 134512640 137138936 4289946384 18446744073709551615 134551130 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 5063 2620 192 642 0 4419 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20252

[startup+25.5006 s]
/proc/loadavg: 2.03 2.04 2.01 3/474 2099
/proc/meminfo: memFree=20336584/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=23276 CPUtime=25.49 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 181506 0 0 0 2519 30 0 0 25 0 1 0 829586209 23834624 3398 33554432000 134512640 137138936 4289946384 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 5819 3398 192 642 0 5175 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23276

[startup+51.1011 s]
/proc/loadavg: 2.02 2.04 2.00 3/474 2100
/proc/meminfo: memFree=20327392/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=32584 CPUtime=51.09 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 324612 0 0 0 5060 49 0 0 25 0 1 0 829586209 33366016 5725 33554432000 134512640 137138936 4289946384 18446744073709551615 134541945 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 8146 5725 192 642 0 7502 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 32584

[startup+102.317 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 2101
/proc/meminfo: memFree=20324640/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=36164 CPUtime=102.3 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 386168 0 0 0 10174 56 0 0 25 0 1 0 829586209 37031936 6620 33554432000 134512640 137138936 4289946384 18446744073709551615 134607001 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 9041 6620 192 642 0 8397 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 36164

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 2103
/proc/meminfo: memFree=20321636/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=37840 CPUtime=162.29 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 438199 0 0 0 16163 66 0 0 25 0 1 0 829586209 38748160 7027 33554432000 134512640 137138936 4289946384 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 9460 7027 192 642 0 8816 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 37840

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 2104
/proc/meminfo: memFree=20313420/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=46316 CPUtime=222.29 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 544043 0 0 0 22148 81 0 0 25 0 1 0 829586209 47427584 9146 33554432000 134512640 137138936 4289946384 18446744073709551615 134606997 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 11579 9146 192 642 0 10935 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 46316

[startup+282.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/474 2106
/proc/meminfo: memFree=20309660/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=49952 CPUtime=282.29 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 580311 0 0 0 28139 90 0 0 25 0 1 0 829586209 51150848 10061 33554432000 134512640 137138936 4289946384 18446744073709551615 134599698 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 12488 10061 192 642 0 11844 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 49952

[startup+342.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/474 2107
/proc/meminfo: memFree=20305160/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=54432 CPUtime=342.3 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 634869 0 0 0 34131 99 0 0 25 0 1 0 829586209 55738368 11187 33554432000 134512640 137138936 4289946384 18446744073709551615 134550932 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 13608 11187 192 642 0 12964 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 54432

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/474 2109
/proc/meminfo: memFree=20299920/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=59528 CPUtime=402.3 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 757843 0 0 0 40115 115 0 0 25 0 1 0 829586209 60956672 12461 33554432000 134512640 137138936 4289946384 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 14882 12461 192 642 0 14238 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 59528

[startup+462.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/474 2111
/proc/meminfo: memFree=20300624/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=59524 CPUtime=462.3 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 757843 0 0 0 46113 117 0 0 25 0 1 0 829586209 60952576 12460 33554432000 134512640 137138936 4289946384 18446744073709551615 136500394 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 14881 12460 192 642 0 14237 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 59524

[startup+522.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/474 2112
/proc/meminfo: memFree=20300592/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=59528 CPUtime=522.3 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 757843 0 0 0 52109 121 0 0 25 0 1 0 829586209 60956672 12460 33554432000 134512640 137138936 4289946384 18446744073709551615 134541938 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 14882 12460 192 642 0 14238 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 59528

[startup+582.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/474 2114
/proc/meminfo: memFree=20299932/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=59408 CPUtime=582.3 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 757843 0 0 0 58104 126 0 0 25 0 1 0 829586209 60833792 12430 33554432000 134512640 137138936 4289946384 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 14852 12430 192 642 0 14208 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 59408

[startup+642.301 s]

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

/proc/meminfo: memFree=20300408/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=59392 CPUtime=1062.32 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 757843 0 0 0 106079 153 0 0 25 0 1 0 829586209 60817408 12426 33554432000 134512640 137138936 4289946384 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 14848 12426 192 642 0 14204 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 59392

[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 2155
/proc/meminfo: memFree=20313368/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=59396 CPUtime=1122.32 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 757846 0 0 0 112075 157 0 0 25 0 1 0 829586209 60821504 12428 33554432000 134512640 137138936 4289946384 18446744073709551615 136504280 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 14849 12428 192 642 0 14205 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 59396

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 2211
/proc/meminfo: memFree=20305864/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=59396 CPUtime=1182.31 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 757846 0 0 0 118071 160 0 0 25 0 1 0 829586209 60821504 12428 33554432000 134512640 137138936 4289946384 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 14849 12428 192 642 0 14205 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 59396

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 2212
/proc/meminfo: memFree=20301108/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=62668 CPUtime=1242.32 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 782591 0 0 0 124065 167 0 0 25 0 1 0 829586209 64172032 13246 33554432000 134512640 137138936 4289946384 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 15667 13246 192 642 0 15023 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 62668

[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/474 2214
/proc/meminfo: memFree=20290176/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=71800 CPUtime=1302.32 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 860214 0 0 0 130053 179 0 0 25 0 1 0 829586209 73523200 15529 33554432000 134512640 137138936 4289946384 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 17950 15529 192 642 0 17306 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 71800

[startup+1362.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/474 2216
/proc/meminfo: memFree=20287788/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=71800 CPUtime=1362.32 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 860214 0 0 0 136049 183 0 0 25 0 1 0 829586209 73523200 15529 33554432000 134512640 137138936 4289946384 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 17950 15529 192 642 0 17306 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 71800

[startup+1422.32 s]
/proc/loadavg: 2.06 2.04 2.00 3/474 2217
/proc/meminfo: memFree=20286772/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=71812 CPUtime=1422.33 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 860251 0 0 0 142046 187 0 0 25 0 1 0 829586209 73535488 15531 33554432000 134512640 137138936 4289946384 18446744073709551615 134606958 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 17953 15531 192 642 0 17309 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 71812

[startup+1482.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/474 2219
/proc/meminfo: memFree=20286004/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=71812 CPUtime=1482.32 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 860252 0 0 0 148040 192 0 0 25 0 1 0 829586209 73535488 15532 33554432000 134512640 137138936 4289946384 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 17953 15532 192 642 0 17309 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 71812

[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/474 2220
/proc/meminfo: memFree=20286848/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=71812 CPUtime=1542.33 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 860252 0 0 0 154036 197 0 0 25 0 1 0 829586209 73535488 15532 33554432000 134512640 137138936 4289946384 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 17953 15532 192 642 0 17309 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 71812

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/474 2222
/proc/meminfo: memFree=20283592/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=75652 CPUtime=1602.33 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 863893 0 0 0 160032 201 0 0 25 0 1 0 829586209 77467648 16484 33554432000 134512640 137138936 4289946384 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 18913 16484 192 642 0 18269 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 75652

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 2224
/proc/meminfo: memFree=20283568/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=75652 CPUtime=1662.32 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 863893 0 0 0 166027 205 0 0 25 0 1 0 829586209 77467648 16484 33554432000 134512640 137138936 4289946384 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 18913 16484 192 642 0 18269 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 75652

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 2225
/proc/meminfo: memFree=20283188/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=75492 CPUtime=1722.33 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 863893 0 0 0 172024 209 0 0 25 0 1 0 829586209 77303808 16452 33554432000 134512640 137138936 4289946384 18446744073709551615 134599733 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 18873 16452 192 642 0 18229 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 75492

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 2227
/proc/meminfo: memFree=20281544/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=75492 CPUtime=1782.33 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 863893 0 0 0 178020 213 0 0 25 0 1 0 829586209 77303808 16452 33554432000 134512640 137138936 4289946384 18446744073709551615 134602885 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 18873 16452 192 642 0 18229 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 75492

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 2227
/proc/meminfo: memFree=20281544/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=75492 CPUtime=1785.53 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 863893 0 0 0 178340 213 0 0 25 0 1 0 829586209 77303808 16452 33554432000 134512640 137138936 4289946384 18446744073709551615 134575279 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 18873 16452 192 642 0 18229 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 75492

[startup+1791.92 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 2227
/proc/meminfo: memFree=20282536/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=75492 CPUtime=1791.95 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 863893 0 0 0 178981 214 0 0 25 0 1 0 829586209 77303808 16452 33554432000 134512640 137138936 4289946384 18446744073709551615 134606703 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 18873 16452 192 642 0 18229 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 75492

[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 2227
/proc/meminfo: memFree=20282536/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=75492 CPUtime=1795.14 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 863893 0 0 0 179300 214 0 0 25 0 1 0 829586209 77303808 16452 33554432000 134512640 137138936 4289946384 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 18873 16452 192 642 0 18229 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 75492

[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 2236
/proc/meminfo: memFree=20281140/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=75492 CPUtime=1796.73 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 863893 0 0 0 179459 214 0 0 25 0 1 0 829586209 77303808 16452 33554432000 134512640 137138936 4289946384 18446744073709551615 134618506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 18873 16452 192 642 0 18229 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 75492

[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 2236
/proc/meminfo: memFree=20280768/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=75492 CPUtime=1797.53 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 863893 0 0 0 179539 214 0 0 25 0 1 0 829586209 77303808 16452 33554432000 134512640 137138936 4289946384 18446744073709551615 134599216 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 18873 16452 192 642 0 18229 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 75492

[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 2236
/proc/meminfo: memFree=20280768/32950928 swapFree=61858088/67111528
[pid=2097] ppid=2095 vsize=75492 CPUtime=1797.93 cores=0,2,4,6
/proc/2097/stat : 2097 (bsolo) R 2095 2097 678 0 -1 4202496 863893 0 0 0 179579 214 0 0 25 0 1 0 829586209 77303808 16452 33554432000 134512640 137138936 4289946384 18446744073709551615 134543413 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2097/statm: 18873 16452 192 642 0 18229 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 75492

Child status: 0
Real time (s): 1797.97
CPU time (s): 1798.01
CPU user time (s): 1795.86
CPU system time (s): 2.15167
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 75652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.86
system time used= 2.15167
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 863894
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= 5
involuntary context switches= 2913

runsolver used 8.62169 second user time and 18.5182 second system time

The end

Launcher Data 

Begin job on node125 at 2011-06-04 11:31:05
IDJOB=3462883
IDBENCH=24981
IDSOLVER=1955
FILE ID=node125/3462883-1307179865
RUNJOBID= node125-1307174917-1663
PBS_JOBID= 13508829
Free space on /tmp= 73788 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_015_area_delay.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462883-1307179865/watcher-3462883-1307179865 -o /tmp/evaluation-result-3462883-1307179865/solver-3462883-1307179865 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462883-1307179865.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 90acfb7d1c18536583ef7e2a90905f54
RANDOM SEED=442996066

node125.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5266.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      20351712 kB
Buffers:        357184 kB
Cached:        3510900 kB
SwapCached:       3616 kB
Active:        8895080 kB
Inactive:      3360536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      20351712 kB
SwapTotal:    67111528 kB
SwapFree:     61858088 kB
Dirty:            4696 kB
Writeback:          20 kB
AnonPages:     8385500 kB
Mapped:          34908 kB
Slab:           214216 kB
PageTables:      61948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 130054880 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73784 MiB
End job on node125 at 2011-06-04 12:01:04