Trace number 2656323

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.2 CardSAT30 1798.01 1798.52

General information on the benchmark

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

Verifier Data 

OK	30

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 1.06 2/106 8774
/proc/meminfo: memFree=1841392/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=11440 CPUtime=0
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 38642692 11714560 293 1992294400 134512640 137138936 4294591552 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 2860 293 176 642 0 2090 0

[startup+0.0930969 s]
/proc/loadavg: 0.92 0.98 1.06 2/106 8774
/proc/meminfo: memFree=1841392/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=14080 CPUtime=0.08
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 1287 0 0 0 8 0 0 0 22 0 1 0 38642692 14417920 1080 1992294400 134512640 137138936 4294591552 18446744073709551615 136382014 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 3520 1080 183 642 0 2876 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14080

[startup+0.101098 s]
/proc/loadavg: 0.92 0.98 1.06 2/106 8774
/proc/meminfo: memFree=1841392/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=14080 CPUtime=0.09
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 1292 0 0 0 9 0 0 0 22 0 1 0 38642692 14417920 1085 1992294400 134512640 137138936 4294591552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 3520 1085 184 642 0 2876 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14080

[startup+0.301121 s]
/proc/loadavg: 0.92 0.98 1.06 2/106 8774
/proc/meminfo: memFree=1841392/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=14328 CPUtime=0.29
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 1418 0 0 0 27 2 0 0 22 0 1 0 38642692 14671872 1158 1992294400 134512640 137138936 4294591552 18446744073709551615 136502659 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 3582 1158 192 642 0 2938 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14328

[startup+0.701168 s]
/proc/loadavg: 0.92 0.98 1.06 2/106 8774
/proc/meminfo: memFree=1841392/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=14436 CPUtime=0.69
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 1431 0 0 0 67 2 0 0 24 0 1 0 38642692 14782464 1171 1992294400 134512640 137138936 4294591552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 3609 1171 192 642 0 2965 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14436

[startup+1.50126 s]
/proc/loadavg: 0.92 0.98 1.06 2/107 8775
/proc/meminfo: memFree=1837292/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=14436 CPUtime=1.49
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 1876 0 0 0 146 3 0 0 25 0 1 0 38642692 14782464 1190 1992294400 134512640 137138936 4294591552 18446744073709551615 134578584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 3609 1190 192 642 0 2965 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14436

[startup+3.10145 s]
/proc/loadavg: 0.92 0.98 1.06 2/107 8775
/proc/meminfo: memFree=1836920/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=14660 CPUtime=3.09
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 4856 0 0 0 303 6 0 0 25 0 1 0 38642692 15011840 1246 1992294400 134512640 137138936 4294591552 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 3665 1246 192 642 0 3021 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14660

[startup+6.30083 s]
/proc/loadavg: 0.93 0.98 1.06 2/107 8777
/proc/meminfo: memFree=1836176/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=15284 CPUtime=6.29
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 12940 0 0 0 618 11 0 0 25 0 1 0 38642692 15650816 1402 1992294400 134512640 137138936 4294591552 18446744073709551615 134606995 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 3821 1402 192 642 0 3177 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15284

[startup+12.7006 s]
/proc/loadavg: 0.93 0.98 1.06 2/107 8777
/proc/meminfo: memFree=1834440/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=16976 CPUtime=12.69
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 26108 0 0 0 1249 20 0 0 25 0 1 0 38642692 17383424 1825 1992294400 134512640 137138936 4294591552 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 4244 1825 192 642 0 3600 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16976

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 1.06 2/107 8777
/proc/meminfo: memFree=1830968/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=20440 CPUtime=25.49
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 50098 0 0 0 2515 34 0 0 25 0 1 0 38642692 20930560 2691 1992294400 134512640 137138936 4294591552 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 5110 2691 192 642 0 4466 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20440

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 1.05 2/107 8777
/proc/meminfo: memFree=1824272/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=27112 CPUtime=51.07
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 83774 0 0 0 5052 55 0 0 25 0 1 0 38642692 27762688 4359 1992294400 134512640 137138936 4294591552 18446744073709551615 134602833 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 6778 4359 192 642 0 6134 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 27112

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 1.05 2/107 8779
/proc/meminfo: memFree=1819064/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=32008 CPUtime=102.27
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 112891 0 0 0 10148 79 0 0 25 0 1 0 38642692 32776192 5583 1992294400 134512640 137138936 4294591552 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 8002 5583 192 642 0 7358 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 32008

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 1.04 2/107 8781
/proc/meminfo: memFree=1819064/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=32088 CPUtime=162.25
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 113721 0 0 0 16137 88 0 0 25 0 1 0 38642692 32858112 5603 1992294400 134512640 137138936 4294591552 18446744073709551615 136296964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 8022 5603 192 642 0 7378 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 32088

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 1.04 2/107 8781
/proc/meminfo: memFree=1819064/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=32092 CPUtime=222.23
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 113722 0 0 0 22127 96 0 0 25 0 1 0 38642692 32862208 5604 1992294400 134512640 137138936 4294591552 18446744073709551615 134607609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 8023 5604 192 642 0 7379 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 32092

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 1.03 2/107 8783
/proc/meminfo: memFree=1819064/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=32088 CPUtime=282.22
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 113722 0 0 0 28116 106 0 0 25 0 1 0 38642692 32858112 5603 1992294400 134512640 137138936 4294591552 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 8022 5603 192 642 0 7378 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 32088

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 1.02 2/107 8785
/proc/meminfo: memFree=1818072/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=33028 CPUtime=342.2
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 120611 0 0 0 34100 120 0 0 25 0 1 0 38642692 33820672 5838 1992294400 134512640 137138936 4294591552 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 8257 5838 192 642 0 7613 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 33028

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 1.02 2/107 8787
/proc/meminfo: memFree=1818072/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=33036 CPUtime=402.18
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 120613 0 0 0 40089 129 0 0 25 0 1 0 38642692 33828864 5840 1992294400 134512640 137138936 4294591552 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 8259 5840 192 642 0 7615 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 33036

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 1.01 2/107 8789
/proc/meminfo: memFree=1816212/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=34688 CPUtime=462.17
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 133756 0 0 0 46071 146 0 0 25 0 1 0 38642692 35520512 6253 1992294400 134512640 137138936 4294591552 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 8672 6253 192 642 0 8028 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 34688

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 1.01 2/107 8789
/proc/meminfo: memFree=1807780/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=43100 CPUtime=522.15
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 192123 0 0 0 52028 187 0 0 25 0 1 0 38642692 44134400 8356 1992294400 134512640 137138936 4294591552 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 10775 8356 192 642 0 10131 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 43100

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 8791
/proc/meminfo: memFree=1801456/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=49332 CPUtime=582.13
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 230816 0 0 0 57994 219 0 0 25 0 1 0 38642692 50515968 9914 1992294400 134512640 137138936 4294591552 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 12333 9914 192 642 0 11689 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 49332

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 8793
/proc/meminfo: memFree=1801456/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=49336 CPUtime=642.13
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 230818 0 0 0 63985 228 0 0 25 0 1 0 38642692 50520064 9915 1992294400 134512640 137138936 4294591552 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 12334 9915 192 642 0 11690 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 49336

[startup+702.302 s]

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

/proc/meminfo: memFree=1802944/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=47136 CPUtime=1062
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 230820 0 0 0 105914 286 0 0 25 0 1 0 38642692 48267264 9365 1992294400 134512640 137138936 4294591552 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 11784 9365 192 642 0 11140 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 47136

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 8805
/proc/meminfo: memFree=1802820/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=47136 CPUtime=1121.99
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 230820 0 0 0 111905 294 0 0 25 0 1 0 38642692 48267264 9365 1992294400 134512640 137138936 4294591552 18446744073709551615 134574851 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 11784 9365 192 642 0 11140 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 47136

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 8807
/proc/meminfo: memFree=1802820/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=47136 CPUtime=1181.96
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 230820 0 0 0 117895 301 0 0 25 0 1 0 38642692 48267264 9365 1992294400 134512640 137138936 4294591552 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 11784 9365 192 642 0 11140 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 47136

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 8809
/proc/meminfo: memFree=1802696/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=47136 CPUtime=1241.95
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 230820 0 0 0 123886 309 0 0 25 0 1 0 38642692 48267264 9365 1992294400 134512640 137138936 4294591552 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 11784 9365 192 642 0 11140 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 47136

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 8811
/proc/meminfo: memFree=1797240/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=53020 CPUtime=1301.94
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 261002 0 0 0 129860 334 0 0 25 0 1 0 38642692 54292480 10836 1992294400 134512640 137138936 4294591552 18446744073709551615 136297655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 13255 10836 192 642 0 12611 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 53020

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 8813
/proc/meminfo: memFree=1794388/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=55872 CPUtime=1361.92
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275303 0 0 0 135841 351 0 0 25 0 1 0 38642692 57212928 11549 1992294400 134512640 137138936 4294591552 18446744073709551615 136500294 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 13968 11549 192 642 0 13324 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 55872

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 8813
/proc/meminfo: memFree=1794388/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=55832 CPUtime=1421.91
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 141833 358 0 0 25 0 1 0 38642692 57171968 11539 1992294400 134512640 137138936 4294591552 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 13958 11539 192 642 0 13314 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 55832

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 8815
/proc/meminfo: memFree=1794388/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=55832 CPUtime=1481.89
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 147824 365 0 0 25 0 1 0 38642692 57171968 11539 1992294400 134512640 137138936 4294591552 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 13958 11539 192 642 0 13314 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 55832

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 8817
/proc/meminfo: memFree=1794388/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=55828 CPUtime=1541.87
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 153816 371 0 0 25 0 1 0 38642692 57167872 11538 1992294400 134512640 137138936 4294591552 18446744073709551615 134607579 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 13957 11538 192 642 0 13313 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 55828

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 8819
/proc/meminfo: memFree=1794388/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=55800 CPUtime=1601.86
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 159806 380 0 0 25 0 1 0 38642692 57139200 11531 1992294400 134512640 137138936 4294591552 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 13950 11531 192 642 0 13306 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 55800

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 8821
/proc/meminfo: memFree=1794388/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=55800 CPUtime=1661.83
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 165796 387 0 0 25 0 1 0 38642692 57139200 11531 1992294400 134512640 137138936 4294591552 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 13950 11531 192 642 0 13306 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 55800

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 8830
/proc/meminfo: memFree=1793520/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=55800 CPUtime=1721.8
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 171786 394 0 0 25 0 1 0 38642692 57139200 11531 1992294400 134512640 137138936 4294591552 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 13950 11531 192 642 0 13306 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 55800

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 8832
/proc/meminfo: memFree=1793520/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=55796 CPUtime=1781.79
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 177778 401 0 0 25 0 1 0 38642692 57135104 11530 1992294400 134512640 137138936 4294591552 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 13949 11530 192 642 0 13305 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 55796

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 8832
/proc/meminfo: memFree=1793520/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=55796 CPUtime=1791.39
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 178737 402 0 0 25 0 1 0 38642692 57135104 11530 1992294400 134512640 137138936 4294591552 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 13949 11530 192 642 0 13305 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 55796

[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 8832
/proc/meminfo: memFree=1793520/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=55796 CPUtime=1794.59
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 179056 403 0 0 25 0 1 0 38642692 57135104 11530 1992294400 134512640 137138936 4294591552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 13949 11530 192 642 0 13305 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (KiB) 55796

[startup+1796.7 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 8832
/proc/meminfo: memFree=1793520/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=55796 CPUtime=1796.18
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 179215 403 0 0 25 0 1 0 38642692 57135104 11530 1992294400 134512640 137138936 4294591552 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 13949 11530 192 642 0 13305 0
Current children cumulated CPU time (s) 1796.18
Current children cumulated vsize (KiB) 55796

[startup+1797.5 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 8832
/proc/meminfo: memFree=1793520/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=55796 CPUtime=1796.99
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 179295 404 0 0 25 0 1 0 38642692 57135104 11530 1992294400 134512640 137138936 4294591552 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 13949 11530 192 642 0 13305 0
Current children cumulated CPU time (s) 1796.99
Current children cumulated vsize (KiB) 55796

[startup+1798.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 8832
/proc/meminfo: memFree=1793520/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=55796 CPUtime=1797.78
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 179374 404 0 0 25 0 1 0 38642692 57135104 11530 1992294400 134512640 137138936 4294591552 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 13949 11530 192 642 0 13305 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 55796

[startup+1798.51 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 8832
/proc/meminfo: memFree=1793520/2059040 swapFree=4136500/4192956
[pid=8774] ppid=8772 vsize=55796 CPUtime=1797.99
/proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 179395 404 0 0 25 0 1 0 38642692 57135104 11530 1992294400 134512640 137138936 4294591552 18446744073709551615 134607568 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8774/statm: 13949 11530 192 642 0 13305 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 55796

Child status: 0
Real time (s): 1798.52
CPU time (s): 1798.01
CPU user time (s): 1793.96
CPU system time (s): 4.04838
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 55912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.96
system time used= 4.04838
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275308
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 4681

runsolver used 2.92256 second user time and 8.5367 second system time

The end

Launcher Data 

Begin job on node001 at 2010-06-15 21:33:07
IDJOB=2656323
IDBENCH=24974
IDSOLVER=1162
FILE ID=node001/2656323-1276630387
PBS_JOBID= 11172340
Free space on /tmp= 62516 MiB

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

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

MD5SUM BENCH= 45c2f7ac01d7ade9fbe465857931ee2b
RANDOM SEED=1472771536

node001.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1841920 kB
Buffers:         12460 kB
Cached:         114348 kB
SwapCached:       9628 kB
Active:          86952 kB
Inactive:        52880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1841920 kB
SwapTotal:     4192956 kB
SwapFree:      4136500 kB
Dirty:            4412 kB
Writeback:           0 kB
AnonPages:       11572 kB
Mapped:           9448 kB
Slab:            55520 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182964 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62512 MiB
End job on node001 at 2010-06-15 22:03:05