Trace number 3290682

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 NameAnswerCPU timeWall clock time
Sol 2011-04-04SAT 12.4601 12.3004

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F18.cnf
MD5SUM0219a55415ff7fae71350d03c49bcd06
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.15582
Satisfiable
(Un)Satisfiability was proved
Number of variables7794
Number of clauses126826
Sum of the clauses size748100
Maximum clause length55
Minimum clause length1
Number of clauses of size 120
Number of clauses of size 220345
Number of clauses of size 317319
Number of clauses of size 46552
Number of clauses of size 515318
Number of clauses of size over 567272

Solver Data 

12.35/12.28	s SATISFIABLE
12.35/12.28	v 120 139 154 156 160 161 171 172 173 176 177 180 184 187 202 205 206 209 213 252 -273 -292 -1 -3 -7 -8 -18 -19 -20 -23 -24 -27 -31 -34 -49 -52 -53 -56 -60 -99 -5868 -5867 -5866 -5865 -5864 -5863 -5862 -5861 -5860 -5859 -5858 -5857 -5856 -5855 -5854 -5853 -5852 -5851 -6210 -6209 -6208 -6207 -6206 -6205 -6204 -6203 -6202 -6201 -6200 -6199 -6198 -6197 -6196 -6195 -6194 -6193 -972 -971 -970 -969 -968 -967 -966 -965 -964 -963 -962 -961 -960 -959 -958 -957 -956 -955 -1008 -1007 -1006 -1005 -1004 -1003 -1002 -1001 -1000 -999 -998 -997 -996 -995 -994 -993 -992 -991 -1080 -1079 -1078 -1077 -1076 -1075 -1074 -1073 -1072 -1071 -1070 -1069 -1068 -1067 -1066 -1065 -1064 -1063 -1098 -1097 -1096 -1095 -1094 -1093 -1092 -1091 -1090 -1089 -1088 -1087 -1086 -1085 -1084 -1083 -1082 -1081 -1278 -1277 -1276 -1275 -1274 -1273 -1272 -1271 -1270 -1269 -1268 -1267 -1266 -1265 -1264 -1263 -1262 -1261 -1296 -1295 -1294 -1293 -1292 -1291 -1290 -1289 -1288 -1287 -1286 -1285 -1284 -1283 -1282 -1281 -1280 -1279 -1314 -1313 -1312 -1311 -1310 -1309 -1308 -1307 -1306 -1305 -1304 -1303 -1302 -1301 -1300 -1299 -1298 -1297 -1368 -1367 -1366 -1365 -1364 -1363 -1362 -1361 -1360 -1359 -1358 -1357 -1356 -1355 -1354 -1353 -1352 -1351 -1386 -1385 -1384 -1383 -1382 -1381 -1380 -1379 -1378 -1377 -1376 -1375 -1374 -1373 -1372 -1371 -1370 -1369 -1440 -1439 -1438 -1437 -1436 -1435 -1434 -1433 -1432 -1431 -1430 -1429 -1428 -1427 -1426 -1425 -1424 -1423 -1512 -1511 -1510 -1509 -1508 -1507 -1506 -1505 -1504 -1503 -1502 -1501 -1500 -1499 -1498 -1497 -1496 -1495 -1566 -1565 -1564 -1563 -1562 -1561 -1560 -1559 -1558 -1557 -1556 -1555 -1554 -1553 -1552 -1551 -1550 -1549 -1836 -1835 -1834 -1833 -1832 -1831 -1830 -1829 -1828 -1827 -1826 -1825 -1824 -1823 -1822 -1821 -1820 -1819 -1890 -1889 -1888 -1887 -1886 -1885 -1884 -1883 -1882 -1881 -1880 -1879 -1878 -1877 -1876 -1875 -1874 -1873 -1908 -1907 -1906 -1905 -1904 -1903 -1902 -1901 -1900 -1899 -1898 -1897 -1896 -1895 -1894 -1893 -1892 -1891 -1962 -1961 -1960 -1959 -1958 -1957 -1956 -1955 -1954 -1953 -1952 -1951 -1950 -1949 -1948 -1947 -1946 -1945 -2034 -2033 -2032 -2031 -2030 -2029 -2028 -2027 -2026 -2025 -2024 -2023 -2022 -2021 -2020 -2019 -2018 -2017 -2736 -2735 -2734 -2733 -2732 -2731 -2730 -2729 -2728 -2727 -2726 -2725 -2724 -2723 -2722 -2721 -2720 -2719 -4393 -4645 -5707 -5708 -3907 -5653 -361 -7165 -6517 -2053 -2035 -1999 -1981 -1963 -1927 -1909 -1855 -1837 -973 -1639 -451 -7255 -6607 -3043 -3025 -3007 -2989 -2971 -2953 -2935 -2917 -2899 -2539 -2341 -2125 -1643 -1642 -1207 39 -192 -1623 -1641 -975 -974 -4410 -4409 -4408 -4407 -4406 -4405 -4404 -4403 -4402 -4401 -4400 -4399 -4398 -4397 -4396 -4395 -4394 57 28 -1640 -210 -181 -4734 -4733 -4732 -4731 -4730 -4729 -4728 -4727 -4726 -4725 -4724 -4723 -4722 -4721 -4720 -4719 -4718 -4717 -4212 -4211 -4210 -4209 -4208 -4207 -4206 -4205 -4204 -4203 -4202 -4201 -4200 -4199 -4198 -4197 -4196 -4195 -534 -7338 -6690 -3522 -3504 -3486 -3468 -3450 -3342 -3234 -3108 -2964 -2802 -2622 -2424 -2208 -1974 -1722 -1452 -1164 -357 -7161 -6513 -1815 -1797 -1779 -1761 -1743 -1725 -1707 -1689 -1671 -1653 -1635 -1617 -1599 -1581 -987 -1625 -532 -7336 -6688 -3520 -3502 -3484 -3466 -3448 -3340 -3232 -3106 -2962 -2800 -2620 -2422 -2206 -1972 -1720 -1450 -1162 2 -155 -51 -3744 -3743 -3742 -3741 -3740 -3739 -3738 -3737 -3736 -3735 -3734 -3733 -3732 -3731 -3730 -3729 -3728 -3727 196 193 -1872 -1871 -1870 -1869 -1868 -1867 -1866 -1865 -1864 -1863 -1862 -1861 -1860 -1859 -1858 -1857 -1856 -43 -40 -1728 -1727 -1726 -1724 -1723 -1721 -1719 -1718 -1717 -1716 -1715 -1714 -1713 -1712 -1711 -1674 -1673 -1672 -1670 -1669 -1668 -1667 -1666 -1665 -1664 -1663 -1662 -1661 -1660 -1659 -1658 -1657 -429 -7233 -6585 -2715 -2697 -2679 -2661 -2643 -2625 -2607 -2589 -2571 -2553 -2535 -2319 -2103 -1347 -1059 -89 -2556 -2555 -2554 -2552 -2551 -2550 -2549 -2548 -2547 -2546 -2545 -2544 -2543 -2542 -2541 -2540 -6 -1062 -1061 -1060 -1058 -1057 -1056 -1055 -1054 -1053 -1052 -1051 -1050 -1049 -1048 -1047 -1046 -1045 -437 -7241 -6593 -2885 -2867 -2849 -2831 -2813 -2795 -2777 -2759 -2741 -2525 -2327 -2111 -347 -7151 -6503 -1805 -1787 -1769 -1751 -1733 -1697 -1679 -1607 -1589 -1571 -977 -346 -7150 -6502 -1804 -1786 -1768 -1750 -1732 -1696 -1678 -1624 -1606 -1588 -1570 -976 -345 -344 -455 -452 -1209 -7149 -6501 -1803 -1785 -1767 -1749 -1731 -1695 -1677 -1605 -1587 -1569 -7148 -6500 -1802 -1784 -1766 -1748 -1730 -1694 -1676 -1622 -1604 -1586 -1568 -343 -7259 -6611 -3047 -3029 -3011 -2993 -2975 -2957 -2939 -2921 -2903 -2345 -2129 -454 -7256 -6608 -3044 -3026 -3008 -2990 -2972 -2954 -2936 -2918 -2900 -2342 -2126 -7147 -6499 -1801 -1783 -1765 -1747 -1729 -1693 -1675 -1621 -1603 -1585 -1567 -7258 -6610 -3046 -3028 -3010 -2992 -2974 -2956 -2938 -2920 -2902 -2344 -2128 -453 -7257 -6609 -3045 -3027 -3009 -2991 -2973 -2955 -2937 -2919 -2901 -2343 -2127 525 -7761 -7328 -6682 -2001 -2847 -7760 -7759 527 -7763 -7330 -6684 -533 -1481 -2003 -540 526 -537 -539 -7762 -7337 -6689 -3521 -3503 -3485 -3467 -3449 -3341 -3233 -3107 -2963 -2801 -2621 -2423 -2207 -1973 -1451 -1163 -7344 -6696 -3528 -3510 -3492 -3474 -3456 -3348 -3240 -3114 -2970 -2808 -2628 -2430 -2214 -1980 -1458 -1170 -7329 -6683 -1210 -7341 -6693 -3525 -3507 -3489 -3471 -3453 -3345 -3237 -3111 -2967 -2805 -2427 -2211 -1977 -1455 -1167 -7343 -6695 -3527 -3509 -3491 -3473 -3455 -3347 -3239 -3113 -2969 -2807 -2627 -2429 -2213 -1979 -1457 -1169 -535 -7339 -6691 -3523 -3505 -3487 -3469 -3451 -3343 -3235 -3109 -2965 -2803 -2623 -2425 -2209 -1975 -1453 -1165 470 -7273 -6627 -1460 381 -7184 -6538 -363 -327 2199 -7167 -6519 -2055 -2037 -1983 -1965 -1929 -1911 -1839 -7131 -6483 -1533 -1515 -1479 -1461 -1443 -1407 -1389 -1335 -1317 70 -223 -4968 -4967 -4966 -4965 -4964 -4963 -4962 -4961 -4960 -4959 -4958 -4957 -4956 -4955 -4954 -4953 -4952 -4951 -6085 -380 -6536 -2288 -2270 -2252 -2234 -2216 -2198 -2180 -2162 -2144 -2108 -2090 -2072 -1010 -379 -506 6537 -7183 -6535 -2287 -2269 -2251 -2233 -2215 -2197 -2179 -2161 -2143 -2107 -2089 -2071 -1009 -505 -7310 -6662 -3422 -3404 -3386 -3368 -3350 -3332 -3206 -3080 -2774 -2594 -2396 -1136 -7309 -6661 -3421 -3403 -3385 -3367 -3349 -3331 -3205 -3079 -2773 -2593 -2395 -1135 418 -7221 -6575 -1966 -364 -328 -310 -430 -432 2614 -7168 -6520 -2056 -2038 -2002 -1984 -1930 -1912 -1840 -7132 -6484 -1534 -1516 -1480 -1462 -1444 -1408 -1390 -1336 -1318 -7114 -6466 -1246 -1228 -1192 -1174 -1156 -1138 -1120 -1102 -1030 -1012 -7234 -6586 -2716 -2698 -2680 -2662 -2644 -2626 -2608 -2590 -2572 -2536 -2320 -2104 -1618 -1348 -7236 -6588 -2718 -2700 -2682 -2664 -2646 -2610 -2592 -2574 -2538 -2322 -2106 -1620 -1350 93 -246 -5382 -5381 -5380 -5379 -5378 -5377 -5376 -5375 -5374 -5373 -5372 -5371 -5370 -5369 -5368 -5367 -5366 -5365 175 204 88 -22 -241 -1349 -1346 -1345 -1344 -1343 -1342 -1341 -1340 -1339 -1338 -1337 -1334 -1333 -5292 -5291 -5290 -5289 -5288 -5287 -5286 -5285 -5284 -5283 -5282 -5281 -5280 -5279 -5278 -5277 -5276 -5275 -382 -7186 -2290 -2272 -2254 -2236 -2218 -2200 -2182 -2164 -2146 -2110 -2092 -2074 7185 -384 -389 -387 -388 -393 -383 -390 -391 -385 -386 -394 -396 -395 -392 -7188 -6540 -2292 -2274 -2256 -2238 -2220 -2202 -2184 -2166 -2148 -2130 -2112 -2094 -2076 -1572 -1014 -7193 -6545 -2297 -2279 -2261 -2243 -2225 -2189 -2171 -2153 -2135 -2117 -2099 -2081 -1577 -1019 -7191 -6543 -2295 -2277 -2259 -2241 -2223 -2205 -2187 -2169 -2151 -2133 -2115 -2097 -2079 -1575 -1017 -7192 -6544 -2296 -2278 -2260 -2242 -2224 -2188 -2170 -2152 -2134 -2116 -2098 -2080 -1576 -1018 -7197 -6549 -2301 -2283 -2265 -2247 -2229 -2193 -2175 -2157 -2139 -2121 -2085 -1023 -7187 -6539 -2291 -2273 -2255 -2237 -2219 -2201 -2183 -2165 -2147 -2093 -2075 -1013 -7194 -6546 -2298 -2280 -2262 -2244 -2226 -2190 -2172 -2154 -2136 -2118 -2100 -2082 -1578 -1020 -7195 -6547 -2299 -2281 -2263 -2245 -2227 -2191 -2173 -2155 -2137 -2119 -2101 -2083 -1579 -1021 -7189 -6541 -2293 -2275 -2257 -2239 -2221 -2203 -2185 -2167 -2149 -2131 -2113 -2095 -2077 -1573 -1015 -7190 -6542 -2294 -2276 -2258 -2240 -2222 -2204 -2186 -2168 -2150 -2132 -2114 -2096 -2078 -1574 -1016 -7198 -6550 -2302 -2284 -2266 -2248 -2230 -2212 -2194 -2176 -2158 -2140 -2122 -2086 -1582 -1024 -7200 -6552 -2304 -2286 -2268 -2250 -2232 -2196 -2178 -2160 -2142 -2124 -2088 -1584 -1026 -7199 -6551 -2303 -2285 -2267 -2249 -2231 -2195 -2177 -2159 -2141 -2123 -2105 -2087 -1583 -1025 -7196 -6548 -2300 -2282 -2264 -2246 -2228 -2210 -2192 -2174 -2156 -2138 -2120 -2102 -2084 -1580 -1022 -66 -35 315 -7767 -7118 -6472 -459 -441 -369 -333 -457 -458 -456 -1611 -1701 -423 -2601 -308 -307 -309 -7766 -7263 -6615 -3051 -3033 -3015 -2997 -2979 -2961 -2943 -2925 -2907 -2349 -1647 -7245 -6597 -2889 -2871 -2853 -2835 -2817 -2799 -2781 -2763 -2745 -2529 -2331 -1629 -7173 -6525 -2061 -2043 -2007 -1989 -1971 -1935 -1917 -1845 -7137 -6489 -1539 -1521 -1485 -1467 -1449 -1413 -1395 -1323 -7261 -6613 -3049 -3031 -3013 -2995 -2977 -2959 -2941 -2923 -2905 -2347 -1645 -7262 -6614 -3050 -3032 -3014 -2996 -2978 -2960 -2942 -2924 -2906 -2348 -1646 -7260 -6612 -3048 -3030 -3012 -2994 -2976 -2958 -2940 -2922 -2904 -2346 -1644 -7227 -6579 -2709 -2691 -2673 -2655 -2637 -2619 -2583 -2565 -2313 -7112 -6464 -1244 -1226 -1208 -1190 -1172 -1154 -1118 -1100 -1028 -7111 -6463 -1243 -1225 -1189 -1171 -1153 -1117 -1099 -1027 -7113 -6465 -1245 -1227 -1191 -1173 -1155 -1137 -1119 -1101 -1029 -1011 -7765 2091 -4 -7764 64 417 -217 -7220 -6574 -435 -579 2613 -4860 -4859 -4858 -4857 -4856 -4855 -4854 -4853 -4852 -4851 -4850 -4849 -4848 -4847 -4846 -4845 -4844 -4843 218 -7239 -6591 -2883 -2865 -2829 -2811 -2793 -2775 -2757 -2739 -2523 -2325 -2109 -7383 -6735 -3675 -3657 -3603 -3549 -3477 -3387 -3279 -3153 -2667 -2469 -2253 -65 -73 528 -7331 -6685 -1482 -1626 -536 -348 -538 -112 -7340 -6692 -3524 -3506 -3488 -3470 -3452 -3344 -3236 -3110 -2966 -2804 -2624 -2426 -1976 -1454 -1166 -7152 -6504 -1806 -1788 -1770 -1752 -1734 -1698 -1680 -1608 -1590 -978 -7342 -6694 -3526 -3508 -3490 -3472 -3454 -3346 -3238 -3112 -2968 -2806 -2428 -1978 -1456 -1168 12 82 143 -1211 -165 -235 -296 -3924 -3923 -3922 -3921 -3920 -3919 -3918 -3917 -3916 -3915 -3914 -3913 -3912 -3911 -3910 -3909 -3908 168 -5184 -5183 -5182 -5181 -5180 -5179 -5178 -5177 -5176 -5175 -5174 -5173 -5172 -5171 -5170 -5169 -5168 -5167 -6282 -6281 -6280 -6279 -6278 -6277 -6276 -6275 -6274 -6273 -6272 -6271 -6270 -6269 -6268 -6267 -6266 -6265 215 186 -15 -62 -33 -1224 -1223 -1222 -1221 -1220 -1219 -1218 -1217 -1216 -1215 -1214 -1213 -1212 -2070 -2069 -2068 -2067 -2066 -2065 -2064 -2063 -2062 -2060 -2059 -2058 -2057 -2054 -1548 -1547 -1546 -1545 -1544 -1543 -1542 -1541 -1540 -1538 -1537 -1536 -1535 -1532 -1531 -585 -980 -7389 -6741 -3681 -3663 -3609 -3555 -3483 -3393 -3285 -3159 -2475 -1773 419 -7222 -6576 -6581 -1967 -365 -329 2615 -431 -311 -7169 -6521 -2039 -1985 -1931 -1913 -1841 -7133 -6485 -1517 -1463 -1445 -1409 -1391 -1319 -7235 -6587 -2717 -2699 -2681 -2663 -2645 -2609 -2591 -2573 -2537 -2321 -1619 -7115 -6467 -1247 -1229 -1193 -1175 -1157 -1139 -1121 -1103 -1031 473 -7276 -6630 -6633 2561 3101 471 472 90 -7274 -6628 -2595 2559 3099 2145 -507 474 -7275 -6629 -2776 -2830 2560 3100 -243 67 -7311 -6663 -3423 -3405 -3369 -3351 -3333 -3207 -3081 -2397 -2181 -7277 -6631 -6634 -6632 -1986 -1464 -1140 3102 -5328 -5327 -5326 -5325 -5324 -5323 -5322 -5321 -5320 -5319 -5318 -5317 -5316 -5315 -5314 -5313 -5312 -5311 -220 -69 -4914 -4913 -4912 -4911 -4910 -4909 -4908 -4907 -4906 -4905 -4904 -4903 -4902 -4901 -4900 -4899 -4898 -4897 547 -7350 -6704 -979 -1627 -6705 -6707 197 -44 -1746 -1745 -1744 -1742 -1741 -1740 -1739 -1738 -1737 -1736 -1735 121 -349 -274 -7153 -6505 -1807 -1789 -1771 -1753 -1699 -1681 -1609 -1591 -5886 -5885 -5884 -5883 -5882 -5881 -5880 -5879 -5878 -5877 -5876 -5875 -5874 -5873 -5872 -5871 -5870 -5869 -1915 -1393 -3853 54 -207 -4680 -4679 -4678 -4677 -4676 -4675 -4674 -4673 -4672 -4671 -4670 -4669 -4668 -4667 -4666 -4665 -4664 -4663 211 -58 -1998 -1997 -1996 -1995 -1994 -1993 -1992 -1991 -1990 -1988 -1987 -1982 -367 -7171 -6523 -2041 -2005 -1969 -1933 -1843 548 -7351 -1916 -7345 -7346 -1628 -368 -1394 -350 -7172 -6524 -2042 -2006 -1970 -1934 -1844 -7154 -6506 -1808 -1790 -1772 -1754 -1700 -1682 -1610 -1592 -330 -331 -7134 -6486 -1518 -1446 -1410 -1392 -1320 -7135 -6487 -1519 -1483 -1465 -1447 -1411 -1321 -332 -337 -7136 -6488 -1520 -1484 -1466 -1448 -1412 -1322 -7141 -6493 -1525 -1489 -1471 -1417 -1399 -1327 -341 -335 -7145 -6497 -1529 -1493 -1475 -1421 -1403 -1331 -7139 -6491 -1523 -1487 -1469 -1415 -1397 -1325 -541 -6697 -3583 -3565 -3547 -3529 -3439 -3241 -3115 -2809 -2629 -2431 -1459 -29 -1476 -1474 -1473 -1472 -1470 -1468 13 -166 -3942 -3941 -3940 -3939 -3938 -3937 -3936 -3935 -3934 -3933 -3932 -3931 -3930 -3929 -3928 -3927 -3926 -3925 -631 -7435 -6787 -3997 -3979 -3961 -3943 -3889 -3871 -3835 -3817 -3799 -3781 -3763 -3745 -3709 -775 -7579 -6931 -5797 -5779 -5761 -5743 -5725 -5689 -5671 -5473 -5293 -5095 -4879 -4123 -633 -7437 -6789 -3999 -3981 -3963 -3945 -3891 -3873 -3855 -3837 -3819 -3801 -3783 -3765 -3747 -3711 -402 -7206 -6558 -2508 -2490 -2472 -2454 -2436 -2418 -2400 -2382 -2364 -2328 -2310 -1842 -1032 436 2524 -580 -616 -442 -440 -449 -448 -544 -508 -562 -439 -438 -445 2794 -447 -444 -443 -446 7240 -434 6592 -450 -490 -400 -598 2740 -433 -7384 -6736 -3676 -3658 -3604 -3550 -3478 -3388 -3280 -3154 -2848 -2668 -2470 -7420 -6772 -3694 -3640 -3586 -3514 -3424 -3316 -3190 -2884 -2704 -2506 -7246 -6598 -2890 -2872 -2854 -2836 -2818 -2782 -2764 -2746 -2530 -2332 -1630 -7244 -6596 -2888 -2870 -2852 -2834 -2816 -2798 -2780 -2762 -2744 -2528 -2330 -7253 -6605 -2897 -2879 -2861 -2843 -2825 -2789 -2771 -2753 -2339 -1637 -7252 -6604 -2896 -2878 -2860 -2842 -2824 -2788 -2770 -2752 -2338 -1636 -7348 -6700 -3568 -3532 -3442 -3352 -3244 -3118 -2812 -2632 -2434 -543 -7312 -6664 -3406 -3370 -3334 -3208 -3082 -2596 -2398 -7366 -6718 -3622 -3460 -3262 -3136 -2650 -2452 -7243 -6595 -2887 -2869 -2851 -2833 -2815 -2797 -2779 -2761 -2743 -2527 -2329 -7242 -6594 -2886 -2868 -2850 -2832 -2814 -2796 -2778 -2760 -2742 -2526 -38 -7249 -6601 -2893 -2875 -2857 -2839 -2821 -2785 -2767 -2749 -2533 -2335 -1633 103 -7251 -6603 -2895 -2877 -2859 -2841 -2823 -2787 -2769 -2751 -2337 -7248 -6600 -2892 -2874 -2856 -2838 -2820 -2784 -2766 -2748 -2532 -2334 -1632 -7247 -6599 -2891 -2873 -2855 -2837 -2819 -2783 -2765 -2747 -2531 -2333 -1631 -7250 -6602 -2894 -2876 -2858 -2840 -2822 -2786 -2768 -2750 -2534 -2336 -1634 -7238 -6590 -2882 -2864 -2846 -2828 -2810 -2792 -2756 -2738 -2522 -2324 -7254 -6606 -2898 -2880 -2862 -2844 -2826 -2790 -2772 -2754 -2340 -1638 -7294 -6646 -3298 -3226 -3064 -2758 -2578 -2380 -7204 -6556 -2488 -2416 -2362 -2326 -2308 -7402 -6754 -3496 -3172 -2866 -2686 100 -7237 -6589 -2881 -2863 -2845 -2827 -2791 -2755 -2737 -2521 -2323 -105 -104 -7347 -6699 -3585 -3567 -3531 -3441 -3243 -3117 -2631 -2433 -2217 -542 -108 -107 -106 -101 -102 -77 -256 -253 -71 -6698 -3584 -3566 -3548 -3530 -3440 -3242 -3116 -2630 -2432 -5562 -5561 -5560 -5559 -5558 -5557 -5556 -5555 -5554 -5553 -5552 -5551 -5550 -5549 -5548 -5547 -5546 -5545 -5508 -5507 -5506 -5505 -5504 -5503 -5502 -5501 -5500 -5499 -5498 -5497 -5496 -5495 -5494 -5493 -5492 -5491 164 -11 -1152 -1151 -1150 -1149 -1148 -1147 -1146 -1145 -1144 -1143 -1142 -1141 -513 -7317 -6669 -3429 -3411 -3375 -3357 -3339 -3213 -3087 -2403 -318 -7122 -6474 -1254 -1236 -1200 -1182 -1128 -1110 -1038 -984 -551 -3131 -554 -319 -7355 -3593 -3575 -3557 -3539 -3359 -3251 -3125 -2981 -2639 -2441 -1181 -556 -552 -553 -555 -557 -558 -7358 -6710 -3596 -3578 -3560 -3542 -3362 -3254 -3128 -2984 -2642 -2444 -1184 -7123 -6475 -1255 -1237 -1201 -1183 -1129 -1111 -1039 -985 -320 -7360 -6712 -3598 -3580 -3562 -3544 -3364 -3256 -3130 -2986 -2446 -1186 -7356 -6708 -3594 -3576 -3558 -3540 -3360 -3252 -3126 -2982 -2640 -2442 -7357 -6709 -3595 -3577 -3559 -3541 -3361 -3253 -3127 -2983 -2641 -2443 -7359 -6711 -3597 -3579 -3561 -3543 -3363 -3255 -3129 -2985 -2445 -1185 -7361 -6713 -3599 -3581 -3563 -3545 -3365 -3257 -2987 -2447 -1187 -7362 -6714 -3600 -3582 -3564 -3546 -3366 -3258 -3132 -2988 -2448 -1188 -7124 -6476 -1256 -1238 -1202 -1130 -1112 -1040 -986 -322 -7126 -6478 -1258 -1240 -1204 -1132 -1114 -1042 -988 -316 -7120 -1252 -1234 -1198 -1180 -1126 -1108 -1036 -982 7119 981 -477 -321 -323 -317 -324 351 -7281 -3195 -3177 -3141 -3123 -3105 -3069 -2367 -1107 -479 -480 -485 -478 -483 -486 -484 -7125 -6477 -1257 -1239 -1203 -1131 -1113 -1041 -7127 -6479 -1259 -1241 -1205 -1133 -1115 -1043 -989 -7121 -6473 -1253 -1235 -1199 -1127 -1109 -1037 -983 -7128 -6480 -1260 -1242 -1206 -1134 -1116 -1044 -990 -6508 -6510 -531 -549 6507 -405 -621 -567 -495 -603 -370 352 -7283 -6635 -3197 -3179 -3161 -3143 -3089 -3071 -2909 -2567 -2369 -1919 -481 -482 -7284 -6636 -3198 -3180 -3162 -3144 -3090 -3072 -2910 -2568 -2370 -1920 -1398 -7289 -6641 -3203 -3185 -3167 -3149 -3095 -3077 -2915 -2375 -1925 -7282 -3196 -3178 -3160 -3142 -3124 -3088 -3070 -2908 -2566 -2368 -1918 -1396 -109 -7287 -6639 -3201 -3183 -3165 -3147 -3093 -3075 -2913 -2373 -1923 -1401 -7290 -6642 -3204 -3186 -3168 -3150 -3096 -3078 -2916 -2376 -1926 -1404 -7288 -6640 -3202 -3184 -3166 -3148 -3094 -3076 -2914 -2374 -1924 -1402 -7335 -6687 -3519 -3501 -3465 -3447 -3231 -2421 -1161 -7353 -3591 -3573 -3537 -3249 -2439 -1179 -550 7352 -113 -7209 -6561 -2511 -2493 -2457 -2385 -1593 -1035 -7425 -6777 -3699 -3645 -3321 -1809 -1251 -7371 -6723 -3627 -3267 -1755 -1197 -7299 -6651 -3303 -1683 -1125 -7407 -6759 -1791 -1233 -7174 -6526 -2044 -2008 -1936 -1846 -7768 -7155 -6509 -334 -2944 -359 -7285 -6637 -3199 -3181 -3163 -3145 -3091 -3073 -2911 -2569 -2371 -1921 -7286 -6638 -3200 -3182 -3164 -3146 -3092 -3074 -2912 -2570 -2372 -1922 -1400 9 79 -7354 -6706 -3592 -3574 -3556 -3538 -3358 -3250 -2980 -2638 -2440 94 147 -7138 -6490 -1522 -1486 -1414 -1324 -7163 -6515 -1817 -1799 -1781 -1763 -1709 -1691 -1655 -1601 -162 -312 -232 -1968 -247 -300 -7419 -3870 -3869 -3868 -3867 -3866 -3865 -3864 -3863 -3862 -3861 -3860 -3859 -3858 -3857 -3856 -3854 157 159 -7116 -6468 -1248 -1230 -1194 -1176 -1158 -1122 -1104 -5130 -5129 -5128 -5127 -5126 -5125 -5124 -5123 -5122 -5121 -5120 -5119 -5118 -5117 -5116 -5115 -5114 -5113 203 -399 -366 -340 1964 -339 -378 -5400 -5399 -5398 -5397 -5396 -5395 -5394 -5393 -5392 -5391 -5390 -5389 -5388 -5387 -5386 -5385 -5384 -5383 257 -6354 -6353 -6352 -6351 -6350 -6349 -6348 -6347 -6346 -6345 -6344 -6343 -6342 -6341 -6340 -6339 -6338 -6337 -615 529 314 475 -50 -7203 -6555 -2505 -2487 -2451 -2415 -2379 -2361 -2307 -2073 -7170 -6522 -2040 -2004 -1932 -1914 -342 -7144 -6496 -1528 -1492 -1420 -1330 362 524 -416 -560 -7143 -6495 -1527 -1491 -1419 -1329 -7182 -6534 -2052 -2016 -1944 -1854 -6771 -3693 -3639 -3513 -3315 -3189 -2703 -2289 -614 -7332 -6686 3445 -7117 -6471 -3482 -584 -422 -512 1178 -7278 3103 3121 -1853 -1852 -1851 -1850 -1849 -1848 -1847 -1838 83 -7201 -63 1910 -7146 -6498 -1530 -1494 -1422 -1332 -578 -326 -374 -336 6518 325 7166 -338 -375 -372 -596 -398 -373 -376 -377 -371 -488 -7327 -6681 -2000 -2036 3098 -6572 -2702 -2684 -2666 -2648 -2612 -2576 -2558 -2306 -415 6573 -7364 -6716 -3638 -3620 -3602 -3458 -3260 -3134 -2450 -1478 -75 -7418 -6770 -3692 -3674 -3512 -3314 -3188 -2504 -613 -7388 -6740 -3680 -3662 -3608 -3554 -3392 -3284 -3158 -2672 -2474 -7226 -6578 -2708 -2690 -2654 -2636 -2618 -2600 -2582 -2564 -2312 -424 -425 -427 -426 -7316 -6668 -3428 -3410 -3374 -3356 -3338 -3212 -3086 -2402 -236 -397 -7382 -6734 -3656 -3476 -3278 -3152 -2468 -7130 -6482 -1514 -1442 -1406 -1388 -1316 1441 7129 -7178 -6530 -2048 -2012 -1940 -7140 -6492 -1524 -1488 -1416 -1326 -577 6481 -7142 -6494 -1526 -1490 -1418 -1328 -7179 -6531 -2049 -2013 -1941 -7176 -6528 -2046 -2010 -1938 -7400 -6752 -3494 -3296 -3170 -2486 -7202 -6554 -2414 -2378 -2360 -406 -412 -7177 -6529 -2047 -2011 -1939 -7180 -6532 -2050 -2014 -1942 -7181 -6533 -2051 -2015 -1943 -7175 -6527 -2045 -2009 -1937 -7292 -6644 -3224 -3062 -1928 -7219 -6571 -2701 -2683 -2665 -2647 -2611 -2575 -2557 -2305 -7417 -6769 -3691 -3673 -3637 -3511 -3313 -3187 -2503 -7228 -6580 -2710 -2692 -2674 -2656 -2602 -2584 -2314 -1612 -37 -428 -7229 -2711 -2693 -2675 -2657 -2603 -2585 -2315 -1613 -7231 -6583 -2713 -2695 -2677 -2659 -2605 -2587 -2317 -1615 -7230 -6582 -2712 -2694 -2676 -2658 -2604 -2586 -2316 -1614 -5202 -5201 -5200 -5199 -5198 -5197 -5196 -5195 -5194 -5193 -5192 -5191 -5190 -5189 -5188 -5187 -5186 -5185 -6553 -2485 -2467 -2449 -2413 -2377 -2359 -1315 523 -7381 -6733 -3655 -3601 -3475 -3277 -3151 -7210 -6562 -2512 -2494 -2476 -2458 -2404 -2386 -2350 -1594 -407 -7216 -6568 -2518 -2500 -2482 -2464 -2410 -2392 -2356 -1600 -61 -59 -55 -622 -1616 -7232 -6584 -2714 -2696 -2678 -2660 -2606 -2588 -2318 -21 -6680 6679 -559 -595 -7211 -6563 -2513 -2495 -2477 -2459 -2405 -2387 -2351 -1595 -7426 -6778 -3700 -3682 -3646 -3430 -3322 -3052 -1810 -623 76 421 -7363 -6715 -3619 -3457 -3259 -3133 -1477 -597 -7399 -6751 -3493 -3295 -3169 -1513 -7427 -6779 -3701 -3683 -3647 -3431 -3323 -3053 -1811 -229 -7224 2635 2617 -313 420 7225 2563 -30 -7401 -6753 -3621 -3495 -3297 -3171 -2685 -2271 -32 -5076 -5075 -5074 -5073 -5072 -5071 -5070 -5069 -5068 -5067 -5066 -5065 -5064 -5063 -5062 -5061 -5060 -5059 230 -6469 -1249 -1231 -1195 -1177 -1159 -1123 -1105 -1033 1106 6470 -7223 -6577 2616 2562 -74 530 1160 476 -7333 3446 7334 -7279 3104 3122 7280 -401 -7205 -6557 -2507 -2489 -2471 -2453 -2435 -2417 -2399 -2381 -2363 -2309 -414 1034 2311 -410 -409 -7218 -6570 -2520 -2502 -2484 -2466 -2412 -2394 -2358 -1602 5 404 403 -7214 -6566 -2516 -2498 -2480 -2462 -2408 -2390 -2354 -1598 -411 -7213 -6565 -2515 -2497 -2479 -2461 -2407 -2389 -2353 -1597 -36 -158 -7207 2420 2438 2366 7208 -408 -413 -620 -566 -602 -494 -6560 6559 2437 2419 2365 -7215 -6567 -2517 -2499 -2481 -2463 -2409 -2391 -2355 -1596 -3798 -3797 -3796 -3795 -3794 -3793 -3792 -3791 -3790 -3789 -3788 -3787 -3786 -3785 -3784 -3782 189 -7212 -6564 -2514 -2496 -2478 -2460 -2406 -2388 -2352 -7217 -6569 -2519 -2501 -2483 -2465 -2411 -2393 -2357 -7424 -6776 -3698 -3644 -3590 -3518 -3320 -3194 -2510 -1250 -7370 -6722 -3626 -3536 -3464 -3266 -3140 -2456 -1196 -7406 -6758 -3572 -3500 -3302 -3176 -2492 -1232 -7298 -6650 -3248 -3230 -3068 -2384 -1124 -78 -17 -14 -16 -10 -582 -7386 -6738 -3678 -3660 -3606 -3552 -3480 -3390 -3282 -3156 -2670 618 -7421 -6775 3192 3516 2706 -624 -48 -625 125 98 -7428 -6780 -3702 -3684 -3648 -3432 -3324 -3054 -1812 -1818 -1816 -1814 -1813 -7429 -6781 -3703 -3685 -3649 -3433 -3325 -3055 -278 -251 -5958 -5957 -5956 -5955 -5954 -5953 -5952 -5951 -5950 -5949 -5948 -5947 -5946 -5945 -5944 -5943 -5942 -5941 -5472 -5471 -5470 -5469 -5468 -5467 -5466 -5465 -5464 -5463 -5462 -5461 -5460 -5459 -5458 -5457 -5456 -5455 261 -619 -7423 -3697 -3679 -3643 -3589 -3517 -3427 -3319 -3193 -2707 -2509 -630 -626 -628 -627 7422 -629 -87 -7434 -6786 -3708 -3690 -3654 -3438 -3330 -3060 -7430 -6782 -3704 -3686 -3650 -3434 -3326 -3056 -7432 -6784 -3706 -3688 -3652 -3436 -3328 -3058 -7431 -6783 -3705 -3687 -3651 -3435 -3327 -3057 -7433 -6785 -3707 -3689 -3653 -3437 -3329 -3059 -117 545 -6702 -6703 546 3443 3119 2633 6701 -7349 3444 3120 2634 3588 617 -6774 3191 6773 3515 3587 2705 -581 -7385 -6737 -3677 -3659 -3605 -3551 -3479 -3389 -3281 -3155 -2669 -152 3553 583 145 3157 -588 -586 3481 2671 -587 -511 7387 6739 -592 -591 -589 -590 -594 -593 -46 -601 -565 2473 -493 -298 123 -7392 -6744 -3666 -3612 -3396 -3288 -3018 -1776 -7390 -6742 -3664 -3610 -3394 -3286 -3016 -1774 141 96 -7391 -6743 -3665 -3611 -3395 -3287 -3017 -1775 -7315 -6667 -3409 -3391 -3373 -3355 -3337 -3211 -3085 -2599 -2401 -7396 -6748 -3670 -3616 -3400 -3292 -3022 -1780 -7395 -6747 -3669 -3615 -3399 -3291 -3021 -7393 -6745 -3667 -3613 -3397 -3289 -3019 -1777 -7394 -6746 -3668 -3614 -3398 -3290 -3020 -1778 -7398 -6750 -3672 -3618 -3402 -3294 -3024 -1782 -7397 -6749 -3671 -3617 -3401 -3293 -3023 85 -7405 -6757 -3661 -3625 -3571 -3499 -3301 -3175 -2689 -2491 -7369 -6721 -3607 -3535 -3463 -3265 -3139 -2653 -2455 -7297 -6649 -3283 -3247 -3229 -3067 -2581 -2383 -6318 -6317 -6316 -6315 -6314 -6313 -6312 -6311 -6310 -6309 -6308 -6307 -6306 -6305 -6304 -6303 -6302 -6301 -276 -136 -115 -294 -249 -81 -130 -151 -148 -238 -86 -84 -80 -5922 -5921 -5920 -5919 -5918 -5917 -5916 -5915 -5914 -5913 -5912 -5911 -5910 -5909 -5908 -5907 -5906 -5905 259 226 -6246 -6245 -6244 -6243 -6242 -6241 -6240 -6239 -6238 -6237 -6236 -6235 -6234 -6233 -6232 -6231 -6230 -6229 305 -5436 -5435 -5434 -5433 -5432 -5431 -5430 -5429 -5428 -5427 -5426 -5425 -5424 -5423 -5422 -5421 -5420 -5419 138 -5238 -5237 -5236 -5235 -5234 -5233 -5232 -5231 -5230 -5229 -5228 -5227 -5226 -5225 -5224 -5223 -5222 -5221 153 -291 -306 -6192 -6191 -6190 -6189 -6188 -6187 -6186 -6185 -6184 -6183 -6182 -6181 -6180 -6179 -6178 -6177 -6176 -6175 -6462 -6461 -6460 -6459 -6458 -6457 -6456 -6455 -6454 -6453 -6452 -6451 -6450 -6449 -6448 -6447 -6446 -6445 268 -878 -7682 -7034 -6332 -6296 -6116 -6008 -5738 -5576 -4982 -4748 -4496 -4226 636 -7782 -7439 -6793 -5712 -7436 -726 -6794 -5745 -777 -798 -852 -870 -632 -672 -7781 -7530 -6882 -5262 -5244 -5208 -5154 -5136 -5100 -5082 -4830 -4596 -4344 -4074 -7581 -6933 -5799 -5781 -5763 -5727 -5709 -5691 -5673 -5655 -5475 -5295 -5097 -4881 -4647 -4125 -7602 -6954 -5928 -5892 -5838 -5820 -5658 -4416 -4146 -7656 -7008 -6252 -6216 -6090 -5982 -4470 -7674 -7026 -6324 -6288 -6108 -6000 -5730 -5568 -4974 -4740 -4488 -4218 -881 -873 -875 -876 -880 -877 -872 -882 -871 -874 -879 -6788 -3998 -3980 -3962 -3944 -3890 -3872 -3836 -3818 -3800 -3764 -3746 -3710 -776 -7476 -6828 -4560 -4542 -4524 -4506 -4452 -4434 -4380 -4362 -4326 -4308 -4020 -7780 -7561 -7685 -7037 -6335 -6299 -6119 -6011 -5741 -5579 -4985 -4751 -4499 -4229 -7677 -7029 -6327 -6291 -6111 -6003 -5733 -5571 -4977 -4743 -4491 -4221 -7679 -7031 -6329 -6293 -6113 -6005 -5735 -5573 -4979 -4745 -4493 -4223 -7680 -7032 -6330 -6294 -6114 -6006 -5736 -5574 -4980 -4746 -4494 -4224 -7684 -7036 -6334 -6298 -6118 -6010 -5740 -5578 -4984 -4750 -4498 -4228 -7681 -7033 -6331 -6295 -6115 -6007 -5737 -5575 -4981 -4747 -4495 -4225 -7676 -7028 -6326 -6290 -6110 -6002 -5732 -5570 -4976 -4742 -4490 -4220 -7686 -7038 -6336 -6300 -6120 -6012 -5742 -5580 -4986 -4752 -4500 -4230 -7675 -7027 -6325 -6289 -6109 -6001 -5731 -5569 -4975 -4741 -4489 -4219 -7678 -7030 -6328 -6292 -6112 -6004 -5734 -5572 -4978 -4744 -4492 -4222 -7683 -7035 -6333 -6297 -6117 -6009 -5739 -5577 -4983 -4749 -4497 -4227 -7490 -7580 -6932 -5798 -5780 -5762 -5744 -5726 -5690 -5672 -5654 -5474 -5294 -5096 -4880 -4646 -4124 -7779 -7562 -7563 -7454 -7455 -7778 -7777 -635 -6791 -4001 -3983 -3965 -3947 -3893 -3875 -3839 -3821 -3803 -3767 -3749 -3713 -634 6792 -779 -7438 -6790 -4000 -3982 -3964 -3946 -3892 -3874 -3838 -3820 -3802 -3766 -3748 -3712 -778 -5711 -7583 -6935 -5801 -5783 -5765 -5747 -5729 -5693 -5675 -5657 -5477 -5297 -5099 -4883 -4649 -4127 -7582 -6934 -5800 -5782 -5764 -5746 -5728 -5710 -5692 -5674 -5656 -5476 -5296 -5098 -4882 -4648 -4126 -266 -7493 690 -7564 -7491 -7706 -6847 3750 654 -7457 -6811 -7456 -6813 4038 3714 670 -7473 -6827 -673 -679 -683 -678 -684 -682 -675 -6831 -680 -676 -677 -674 -7477 -6829 -4561 -4543 -4525 -4507 -4471 -4453 -4435 -4417 -4381 -4363 -4345 -4327 -4309 -4021 -7483 -6835 -4567 -4549 -4531 -4513 -4477 -4459 -4441 -4423 -4387 -4369 -4351 -4333 -4315 -4027 -7487 -6839 -4571 -4553 -4535 -4517 -4481 -4463 -4445 -4427 -4391 -4373 -4355 -4337 -4319 -4031 -7482 -6834 -4566 -4548 -4530 -4512 -4476 -4458 -4440 -4422 -4386 -4368 -4350 -4332 -4314 -4026 -7488 -6840 -4572 -4554 -4536 -4518 -4482 -4464 -4446 -4428 -4392 -4374 -4356 -4338 -4320 -4032 -7486 -6838 -4570 -4552 -4534 -4516 -4480 -4462 -4444 -4426 -4390 -4372 -4354 -4336 -4318 -4030 -7479 -4563 -4545 -4527 -4509 -4473 -4455 -4437 -4419 -4383 -4365 -4347 -4329 -4311 -4023 -7484 -6836 -4568 -4550 -4532 -4514 -4478 -4460 -4442 -4424 -4388 -4370 -4352 -4334 -4316 -4028 -7480 -6832 -4564 -4546 -4528 -4510 -4474 -4456 -4438 -4420 -4384 -4366 -4348 -4330 -4312 -4024 -7481 -6833 -4565 -4547 -4529 -4511 -4475 -4457 -4439 -4421 -4385 -4367 -4349 -4331 -4313 -4025 -7478 -6830 -4562 -4544 -4526 -4508 -4472 -4454 -4436 -4418 -4382 -4364 -4346 -4328 -4310 -4022 -851 -7655 -7007 -6251 -6215 -6089 -5981 -4469 669 -7472 -6826 -7471 -681 -7485 -6837 -4569 -4551 -4533 -4515 -4479 -4461 -4443 -4425 -4389 -4371 -4353 -4335 -4317 -4029 -849 -7653 -7005 -6249 -6213 -6087 -5979 -4467 -848 -7652 -7004 -6248 -6212 -6086 -5978 -4466 668 -6825 671 -7474 7475 -725 -7529 -6881 -5261 -5243 -5207 -5153 -5135 -5081 -4829 -4595 -4343 -4073 -850 -7654 -7006 -6250 -6214 -6088 -5980 -4468 -859 -861 -862 -864 -863 4465 -860 -7663 -7015 -6259 -6223 -6097 -5989 -5719 -7665 -7017 -6261 -6225 -6099 -5991 -5721 -7666 -7018 -6262 -6226 -6100 -5992 -5722 -7668 -7020 -6264 -6228 -6102 -5994 -5724 -7667 -7019 -6263 -6227 -6101 -5993 -5723 667 847 -7664 -7016 -6260 -6224 -6098 -5990 -5720 -6824 6823 -901 -703 -739 -829 -757 -865 -793 7003 -4015 -649 -721 -855 -265 -853 -854 -856 -857 7651 -858 -937 -685 -919 -883 -811 -7705 -7057 -6427 -6409 -6355 -6139 -6031 -5599 -5005 -4771 -4519 -4249 -7507 -6859 -5041 -5023 -4987 -4969 -4933 -4915 -4861 -4825 -4573 -4321 -4051 -7543 -6895 -5437 -5401 -5347 -5329 -4609 -4357 -4087 -7633 -6985 -6157 -6121 -6103 -5959 -5833 -5527 -5149 -4699 -4447 -4177 -6913 -5635 -5617 -5581 -5563 -5509 -5077 -4627 -4375 -4105 -7669 -7021 -6319 -6283 -5995 -4735 -4483 -4213 -7597 -6949 -5923 -5887 -5815 -4411 -4141 -7453 -6805 -4285 -4267 -4231 -4159 -4069 -4033 -7525 -6877 -5257 -5239 -5203 -5131 -4591 -4339 -7659 -7011 -6255 -6219 -6093 -5985 -5715 -5718 -5717 -5716 -5714 -5713 -7707 -7709 -7657 -7009 -6253 -6217 -6091 -5983 -7658 -7010 -6254 -6218 -6092 -5984 -7660 -7012 -6256 -6220 -6094 -5986 -7661 -7013 -6257 -6221 -6095 -5987 -7662 -7014 -6258 -6222 -6096 -5988 -7741 -7093 -6391 -6067 -4807 -4555 -7489 -6841 -4789 -4753 -4681 -4303 -7723 -7075 -6373 -6247 -6049 -4537 -7687 -7039 -6211 -6013 -4501 -7615 -6967 -5977 -4429 -293 -286 -280 -295 183 212 214 185 688 -6845 689 -6849 -796 652 4306 -7492 -6846 4307 653 -797 -7600 -6952 -5926 -5890 -5836 -5818 -4414 -4144 -6809 4036 4018 -6810 4037 4019 -7601 -6953 -5927 -5891 -5837 -5819 -4415 -4145 -869 -7673 -7025 -6323 -6287 -6107 -5999 -5567 -4973 -4739 -4487 -4217 -795 -7599 -6951 -5925 -5889 -5835 -5817 -4413 -4143 -804 4412 -7608 -6960 -5934 -5898 -5844 -5826 -5664 -4152 794 6950 -4610 -806 -4304 -722 -866 -740 -799 -800 -803 -938 -686 -807 -758 -902 -704 -801 -808 7598 -805 -809 -810 -802 -7610 -6962 -5936 -5900 -5846 -5828 -5666 -4154 -7526 -6878 -5258 -5240 -5204 -5150 -5132 -5078 -4826 -4592 -4340 -4070 -7670 -7022 -6320 -6284 -6104 -5996 -5564 -4970 -4736 -4484 -4214 -7544 -6896 -5438 -5402 -5348 -5330 -4358 -4088 -7603 -6955 -5929 -5893 -5839 -5821 -5659 -4147 -7604 -6956 -5930 -5894 -5840 -5822 -5660 -4148 -7607 -6959 -5933 -5897 -5843 -5825 -5663 -4151 -7742 -7094 -6428 -6392 -6068 -5636 -5042 -4808 -4556 -4286 -6842 -4790 -4772 -4754 -4700 -4682 -4628 -4574 -4034 -7634 -7611 -6963 -5937 -5901 -5847 -5829 -5667 -4155 -6914 -5618 -5600 -5582 -5528 -5510 -4862 -4376 -4106 -7058 -6410 -6356 -6140 -6032 -5006 -4520 -4250 -7508 -6860 -5024 -4988 -4934 -4916 -4322 -4052 -830 -7605 -6957 -5931 -5895 -5841 -5823 -5661 -4149 -7612 -6964 -5938 -5902 -5848 -5830 -5668 -4156 -7609 -6961 -5935 -5899 -5845 -5827 -5665 -4153 -7613 -6965 -5939 -5903 -5849 -5831 -5669 -4157 -7614 -6966 -5940 -5904 -5850 -5832 -5670 -4158 -7606 -6958 -5932 -5896 -5842 -5824 -5662 -4150 760 -6986 -6158 -6122 -5960 -5834 -4448 -4178 -272 -262 -6917 -6918 -6927 -742 4630 761 4108 4378 255 264 242 219 -7546 -6898 -5440 -5404 -5350 -5332 -4612 -4360 -4090 4631 -743 4379 762 4109 191 -111 -741 -7547 -6899 -5441 -5405 -5351 -5333 -4613 -4361 -4091 -7565 -6919 -6920 4110 4632 3822 -744 -2952 -2951 -2950 -2949 -2948 -2947 -2946 -2945 92 -7545 -6897 -5439 -5403 -5349 -5331 -4611 -4359 -4089 -7548 -6900 -5442 -5406 -5352 -5334 -5298 -4614 -4092 -3804 -245 -190 -5364 -5363 -5362 -5361 -5360 -5359 -5358 -5357 -5356 -5355 -5354 -5353 289 222 199 724 -7527 4072 -868 4342 4594 -904 5080 7528 -727 -731 -728 -738 -733 -737 -736 -729 -730 -734 -732 -735 174 -7672 -7024 -6322 -6286 -6106 -5998 -5566 -4972 -4738 -4486 -4216 867 -7708 -7060 -6430 -6412 -6358 -6142 -6034 -5602 -5008 -4774 -4522 -4252 -903 -7531 -6883 -5263 -5245 -5209 -5155 -5137 -5101 -5083 -4831 -4597 -4075 -7535 -6887 -5267 -5249 -5213 -5159 -5141 -5105 -5087 -4835 -4601 -4079 -7532 -6884 -5264 -5246 -5210 -5156 -5138 -5102 -5084 -4832 -4598 -4076 -7542 -6894 -5274 -5256 -5220 -5166 -5148 -5112 -5094 -4842 -4608 -4086 -7537 -6889 -5269 -5251 -5215 -5161 -5143 -5107 -5089 -4837 -4603 -4081 -7541 -6893 -5273 -5255 -5219 -5165 -5147 -5111 -5093 -4841 -4607 -4085 -7540 -6892 -5272 -5254 -5218 -5164 -5146 -5110 -5092 -4840 -4606 -4084 -7533 -6885 -5265 -5247 -5211 -5157 -5139 -5103 -5085 -4833 -4599 -4077 -7534 -6886 -5266 -5248 -5212 -5158 -5140 -5104 -5086 -4834 -4600 -4078 -7538 -6890 -5270 -5252 -5216 -5162 -5144 -5108 -5090 -4838 -4604 -4082 -7536 -6888 -5268 -5250 -5214 -5160 -5142 -5106 -5088 -4836 -4602 -4080 -7539 -6891 -5271 -5253 -5217 -5163 -5145 -5109 -5091 -4839 -4605 -4083 759 5565 4737 4485 -939 -723 7023 -7743 4523 7671 -7059 -6429 -6411 -6357 -6141 -6033 -5601 -5007 -4773 -4521 -4251 -231 -6916 4377 6915 687 -7095 -6393 -6069 -5637 -5259 -5043 -4809 -4557 -4287 -6879 -5241 -5205 -5151 -5133 -5079 -4827 -4593 -4341 -4071 6880 905 -7636 -7509 -6844 4305 651 6843 -831 4629 -7062 -7065 -7063 906 5603 4253 4775 7061 -6808 4035 4017 4107 4215 -7635 -6987 -6159 -6123 -6105 -5961 -5529 -4935 -4701 -4449 -4179 -7064 3966 5604 4254 4776 182 -287 -6921 -6922 889 -7783 -7692 -7046 -7688 -7689 -7047 -7048 637 -7440 3949 167 -888 -7044 -6396 -6378 -6360 -6126 -6018 -5748 -5586 -4992 -4758 -4236 -3948 -924 -887 7045 -7728 -7080 -6414 -6162 -6054 -5784 -5622 -5028 -4794 -4272 -3984 -7691 -7043 -6395 -6377 -6359 -6125 -6017 -5585 -4991 -4757 -4505 -4235 -923 -922 -886 -7727 -7079 -6413 -6161 -6053 -5621 -5027 -4793 -4541 -4271 -7726 -7078 -6376 -6160 -6052 -5620 -5242 -5026 -4792 -4540 -4270 -7690 -7042 -6394 -6124 -6016 -5584 -5206 -4990 -4756 -4504 -4234 -885 -239 -237 -884 -7041 -6375 -6285 -6015 -5583 -4989 -4755 -4503 -4233 -921 -7040 -6374 -6014 -5888 -4502 -4232 -920 -297 -7725 -7077 -6321 -6051 -5619 -5025 -4791 -4539 -4269 -7724 -275 -198 -7076 -6050 -5924 -4538 -4268 267 -299 95 -277 -200 -114 -248 169 269 97 -3006 -3005 -3004 -3003 -3002 -3001 -3000 -2999 -2998 -5418 -5417 -5416 -5415 -5414 -5413 -5412 -5411 -5410 -5409 -5408 -5407 258 301 -116 -250 -745 -3042 -3041 -3040 -3039 -3038 -3037 -3036 -3035 -3034 -5454 -5453 -5452 -5451 -5450 -5449 -5448 -5447 -5446 -5445 -5444 -5443 290 260 304 -7549 -6901 -5335 -5299 -4615 -4093 -3805 -137 -7710 -3420 -3419 -3418 -3417 -3416 -3415 -3414 -3413 -3412 -3408 -3407 907 6361 3967 940 -7097 4810 5260 7096 -832 4558 4288 5638 240 -6988 -5962 -5530 -5152 -4936 -4702 -4450 -4180 201 -234 288 -135 -3384 -3383 -3382 -3381 -3380 -3379 -3378 -3377 -3376 -3372 -3371 908 -7784 -7711 -7066 -746 -7550 -6902 -5336 -5300 -4616 -4094 -3806 -918 -900 -7722 -7074 -6444 -6426 -6372 -6156 -6048 -5778 -5616 -5022 -4788 -4266 -3978 -7704 -7056 -6408 -6390 -6138 -6030 -5760 -5598 -5004 -4770 -4248 -3960 763 -7566 3823 5587 5605 -7586 890 -7693 6362 -926 -7730 -7082 -6416 -6380 -6164 -6056 -5786 -5624 -5030 -4796 -4274 -3986 -837 -7641 -6993 -6165 -6147 -6129 -5967 -5697 -5535 -4941 -4707 -4185 -3897 -838 -7642 -6994 -6166 -6148 -6130 -5968 -5698 -5536 -4942 -4708 -4186 -3898 -712 -7516 -6868 -5050 -5032 -5014 -4996 -4924 -4888 -4870 -4582 -4060 -3772 925 -7083 7081 -927 -932 -930 -931 -934 -935 -929 -936 -933 7729 -928 3985 5623 -943 6415 5785 6379 -7731 -6417 -6381 -6057 -5787 -5625 -5031 -4797 -4275 -3987 -7736 -7088 -6422 -6386 -6170 -6062 -5792 -5630 -5036 -4802 -4280 -3992 -7734 -7086 -6420 -6384 -6168 -6060 -5790 -5628 -5034 -4800 -4278 -3990 -7735 -7087 -6421 -6385 -6169 -6061 -5791 -5629 -5035 -4801 -4279 -3991 -7738 -7090 -6424 -6388 -6172 -6064 -5794 -5632 -5038 -4804 -4282 -3994 -7739 -7091 -6425 -6389 -6173 -6065 -5795 -5633 -5039 -4805 -4283 -3995 -7733 -7085 -6419 -6383 -6167 -6059 -5789 -5627 -5033 -4799 -4277 -3989 -7740 -7092 -6174 -6066 -5796 -5634 -5040 -4806 -4284 -3996 -7737 -7089 -6423 -6387 -6171 -6063 -5793 -5631 -5037 -4803 -4281 -3993 6163 -7732 -7084 -6418 -6382 -6058 -5788 -5626 -4798 -4276 -3988 -7747 -7099 -6433 -6397 -6073 -5803 -5641 -5047 -4813 -4291 -4003 -944 -945 781 302 4795 4273 835 -7748 -7100 -6434 -6398 -6074 -5804 -5642 -5048 -4814 -4292 -4004 -948 -7749 -7101 -6435 -6399 -6075 -5805 -5643 -5049 -4815 -4293 -4005 -7584 -6938 782 5479 638 3841 5767 5749 -149 691 655 -7638 -6992 4183 6127 6145 3895 5695 -6866 -6867 5533 4705 -7752 -7104 -6438 -6402 -6078 -5808 -5646 -5052 -4818 -4296 -4008 -7585 -6939 5768 783 3842 5750 -7441 -6795 -6796 3968 3950 -3636 -3635 -3634 -3633 -3632 -3631 -3630 -3629 -3628 -3624 -3623 -7494 -6848 4759 4777 692 3751 4633 4651 -7458 -6812 4111 3715 4237 656 4255 4039 4129 -7785 -6940 -7495 4778 693 4760 4652 3752 6974 -7459 -6814 4040 4256 4238 4130 3716 -7496 -6850 4653 -817 818 -814 -7621 -6973 -6055 -6037 -6019 -5965 -5677 -5515 -4921 -4687 -4165 -3877 -6975 -816 6020 3878 6038 5678 4166 4688 -7618 -6970 -6070 -5512 -5134 -4918 -4684 -4432 -4162 -813 -284 6903 -7620 -6972 -6072 -6036 -5964 -5676 -5514 -4920 -4686 -4164 -3876 -815 -281 282 163 283 263 179 208 -233 -7617 -6969 -5997 -5511 -4917 -4683 -4431 -4161 -812 747 -7619 -6971 -6071 -6035 -5963 -5513 -4919 -4685 -4433 -4163 -129 -110 -26 -7616 -6968 -5816 -4430 -4160 -6904 -909 -765 4617 -711 -891 5301 -3276 -3275 -3274 -3273 -3272 -3271 -3270 -3269 -3268 -3264 -3263 -3261 -2934 -2933 -2932 -2931 -2930 -2929 -2928 -2927 -2926 91 -1405 -271 -194 -7713 -6363 -6039 -5769 -5607 -5013 -4779 -4257 -3969 -911 -912 -910 7712 -915 -917 -913 -916 -914 -7569 -5589 -5517 -5481 -4869 -4635 -4113 -3825 -772 -768 -766 -769 -7515 -4995 -4923 -4887 -4581 -4059 -3771 -7695 -6021 -5751 -4761 -4239 -3951 -892 -896 -899 -898 -893 -897 -895 -894 7694 -244 -487 254 -7715 -7067 -6437 -6365 -6149 -6041 -5771 -5609 -5015 -4781 -4259 -3971 -7716 -7068 -6366 -6150 -6042 -5772 -5610 -5016 -4782 -4260 -3972 -7714 -6436 -6364 -6040 -5770 -5608 -4780 -4258 -3970 -7719 -7071 -6441 -6369 -6153 -6045 -5775 -5613 -5019 -4785 -4263 -3975 -7721 -7073 -6443 -6371 -6155 -6047 -5777 -5615 -5021 -4787 -4265 -3977 -7717 -7069 -6439 -6367 -6151 -6043 -5773 -5611 -5017 -4783 -4261 -3973 -7720 -7072 -6442 -6370 -6154 -6046 -5776 -5614 -5020 -4786 -4264 -3976 -7718 -7070 -6440 -6368 -6152 -6044 -5774 -5612 -5018 -4784 -4262 -3974 -7576 -6928 -5650 -5596 -5542 -5524 -5488 -4876 -4642 -4120 -3832 -7572 -6924 -5592 -5538 -5520 -5484 -4872 -4638 -4116 -3828 -7570 -5644 -5590 -5518 -5482 -4636 -4114 -3826 -771 -767 -773 -7573 -6925 -5647 -5593 -5539 -5521 -5485 -4873 -4639 -4117 -3829 -7696 -6400 -6022 -5752 -4762 -4240 -3952 -7700 -7052 -6404 -6134 -6026 -5756 -5594 -5000 -4766 -4244 -3956 -7703 -7055 -6407 -6137 -6029 -5759 -5597 -5003 -4769 -4247 -3959 -7702 -7054 -6406 -6136 -6028 -5758 -5002 -4768 -4246 -3958 -7697 -7049 -6401 -6131 -6023 -5753 -5591 -4997 -4763 -4241 -3953 -7701 -7053 -6405 -6135 -6027 -5757 -5595 -5001 -4767 -4245 -3957 -7699 -7051 -6403 -6133 -6025 -5755 -4999 -4765 -4243 -3955 -7698 -7050 -6132 -6024 -5754 -4998 -4764 -4242 -3954 -5346 -5345 -5344 -5343 -5342 -5341 -5340 -5339 -5338 -5337 279 -7291 -6643 -3223 -3061 941 -7575 -5649 -5541 -5523 -5487 -4875 -4641 -4119 -3831 -7571 -6923 -5645 -5537 -5519 -5483 -4871 -4637 -4115 -3827 -7577 -6929 -5651 -5543 -5525 -5489 -4877 -4643 -4121 -3833 -303 -819 -126 -7744 -7098 -946 -949 4811 5639 4559 4289 6431 -833 -947 -7623 -5679 -4689 -4167 -3879 -824 -821 -827 -823 -826 -820 -828 -822 -825 7622 -3222 -3221 -3220 -3219 -3218 -3217 -3216 -3215 -3214 -3210 -3209 -7750 -7102 -6076 -5806 -4816 -4294 -4006 -7753 -7105 -6079 -5809 -5053 -4819 -4297 -4009 -7637 -6989 -6143 -5531 -4937 -4703 -4451 -4181 -7751 -7103 -6077 -5807 -5051 -4817 -4295 -4007 -7628 -6980 -6080 -5972 -5684 -5522 -4928 -4694 -4172 -3884 -7625 -6977 -5969 -5681 -4925 -4691 -4169 -3881 -7631 -6983 -6083 -5975 -5687 -4931 -4697 -4175 -3887 -7627 -6979 -5971 -5683 -4927 -4693 -4171 -3883 -7630 -6982 -6082 -5974 -5686 -4930 -4696 -4174 -3886 -7624 -6976 -5680 -4690 -4168 -3880 -7632 -6984 -6084 -5976 -5688 -5526 -4932 -4698 -4176 -3888 -7626 -6978 -5970 -5682 -4926 -4692 -4170 -3882 -7629 -6981 -6081 -5973 -5685 -4929 -4695 -4173 -3885 -195 -285 5516 5966 7786 764 836 -784 -748 -694 -658 -640 7787 -7567 5588 5606 -774 -770 4112 4634 5480 3824 7568 -7639 -840 5696 6128 -844 -843 -846 7640 -842 -845 6146 -841 3896 -839 4706 4184 5534 -7588 -5302 -4654 -4132 -3844 -786 -788 -785 -787 -791 -792 -790 -789 7587 -7552 -4618 -4096 -3808 7551 -754 -756 -755 -753 -751 -752 -749 -750 -7498 -4042 -3754 7497 -700 -697 -695 -702 -696 -698 -701 -699 -7462 -3718 -659 -662 -661 -7444 -646 -648 -642 -641 -643 -713 7788 -7578 -6930 -5652 -5544 -5490 -4878 -4644 -4122 -3834 -7574 -6926 -5648 -5540 -5486 -4874 -4640 -4118 -3830 -7644 -6996 -5700 -4944 -4710 -4188 -3900 -7648 -7000 -5704 -4948 -4714 -4192 -3904 -7647 -6999 -5703 -4947 -4713 -4191 -3903 -7650 -7002 -5706 -4950 -4716 -4194 -3906 -7646 -6998 -5702 -4946 -4712 -4190 -3902 -7649 -7001 -5705 -4949 -4715 -4193 -3905 -7645 -6997 -5701 -4945 -4711 -4189 -3901 -7643 -6995 -5699 -4943 -4709 -4187 -3899 -7590 -6942 -5304 -4890 -4656 -4134 -3846 -7592 -6944 -5810 -5306 -4892 -4658 -4136 -3848 -7589 -6941 -5303 -4889 -4655 -4133 -3845 -7591 -6943 -5305 -4891 -4657 -4135 -3847 -7595 -6947 -5813 -5309 -4895 -4661 -4139 -3851 -7596 -6948 -5814 -5310 -4896 -4662 -4140 -3852 -7594 -6946 -5812 -5308 -4894 -4660 -4138 -3850 -7593 -6945 -5811 -5307 -4893 -4659 -4137 -3849 -7558 -6910 -4624 -4102 -3814 -7560 -6912 -4626 -4104 -3816 -7559 -6911 -4625 -4103 -3815 -7557 -6909 -4623 -4101 -3813 -7555 -6907 -4621 -4099 -3811 -7556 -6908 -4622 -4100 -3812 -7553 -6905 -4619 -4097 -3809 -7554 -6906 -4620 -4098 -3810 -7504 -6856 -4822 -4588 -4048 -3760 -7501 -6853 -4585 -4045 -3757 -7499 -6851 -4583 -4043 -3755 -7506 -6858 -4824 -4590 -4050 -3762 -7500 -6852 -4584 -4044 -3756 -7502 -6854 -4820 -4586 -4046 -3758 -7505 -6857 -4823 -4589 -4049 -3761 -7503 -6855 -4821 -4587 -4047 -3759 -7463 -6815 -4061 -3719 -660 -663 -664 -665 -7466 -6818 -4298 -4064 -3722 -7465 -6817 -4063 -3721 -7450 -6802 -4012 -3778 -3724 -647 -7452 -6804 -4014 -3780 -3726 -7446 -6798 -3774 -3720 -7445 -6797 -3773 -7447 -6799 -3775 -7517 -6869 -714 7789 4095 3807 -7464 -6816 -4062 -7467 -6819 -4299 -4065 -3723 -666 -7468 -6820 -4300 -4066 -7469 -6821 -4301 -4067 -3725 -7451 -6803 -4013 -3779 -7518 -6870 -715 7790 657 639 -7470 -6822 -4302 -4068 -7519 -6871 -950 -716 -644 7791 -7460 4041 7461 4131 -7442 3717 7443 3753 3843 -645 -7754 -7106 -5054 -4010 -7520 -6872 -3776 -7448 -6800 -951 -717 7792 -7449 -6801 -4011 -3777 -7755 -7107 -5055 -7521 -6873 -952 -718 7793 -7756 -7108 -5056 -7522 -6874 -953 -719 7794 -7757 -7109 -5057 -7523 -6875 -954 -720 -7758 -7110 -5058 -7524 -6876 -150 -3642 -3641 72 132 -564 -563 -225 2235 -7368 -6720 -3534 -3462 -3138 -2652 -7367 -6719 -3533 -3461 -3137 -2651 -4994 -4993 188 228 561 -144 2649 -710 -709 -569 -568 3135 3459 6717 7365 -571 -573 -574 -570 -575 -572 -576 -489 -7514 -5012 -4940 -4922 -4886 -4868 -4580 -4058 -3770 -7513 -6865 -5029 -5011 -4939 -4885 -4867 -4579 -4057 -3769 -7373 -6725 -1757 -7372 -6724 -1756 122 140 -7375 -6727 -1759 -7377 -6729 -7378 -6730 -1762 -7374 -6726 -1758 -7379 -6731 -7376 -6728 -1760 -7380 -6732 -1764 -7293 -6645 -3225 -3063 -2577 -2163 4938 -221 4884 3768 -227 -45 -68 708 834 224 216 780 -7511 -7510 4866 4056 4578 5010 7512 -6991 3894 6144 5532 -942 4182 4704 6990 4971 4828 -6937 5694 3840 4128 4650 5478 5766 6936 -7746 -6432 -5802 -5640 -5046 -4812 -4290 -4002 -170 7745 705 706 -270 -6862 4053 4323 4575 4863 707 6861 -6863 4576 4324 4054 4864 5044 -6864 5009 4325 4865 4577 4055 5045 510 -7313 2598 7314 -516 -521 -519 -517 -518 -520 -515 -522 -514 3354 3084 3336 -600 3426 -492 -7320 -6672 -1704 -7325 -6677 -7323 -6675 -7321 -6673 -1705 -7322 -6674 -1706 -7324 -6676 -1708 -7319 -6671 -1703 -7326 -6678 -1710 -7318 -6670 -1702 134 119 133 -7404 -6756 -3696 -3570 -3498 -3300 -3174 -2688 -7296 -6648 -3318 -3246 -3228 -3066 -2580 -42 3695 2687 6666 3317 2579 599 -509 491 6755 3569 -606 -605 -609 -604 -610 -607 -608 7403 -612 -611 3497 3173 -6665 -3425 -3353 -3335 -3083 -2597 3299 3227 7295 -497 -496 3245 3065 -499 6647 -498 -504 -501 -502 -503 -500 146 -7410 -6762 -3306 -1794 -7409 -6761 -3305 -1793 -7413 -6765 -3309 -7408 -6760 -3304 -1792 -7414 -6766 -3310 -1798 -7411 -6763 -3307 -1795 -7412 -6764 -3308 -1796 -7416 -6768 -3312 -1800 -7415 -6767 -3311 142 124 131 127 -7301 -6653 -1685 -7300 -6652 -1684 128 118 -7303 -6655 -1687 -7302 -6654 -1686 -7308 -6660 -1692 -7305 -6657 -7306 -6658 -1690 -7307 -6659 -7304 -6656 -1688 -47 -1649 6616 -41 460 -6617 -1651 1648 -1650 7769 -461 -353 7770 -7265 7264 -462 -464 -468 -467 -465 -463 -466 -7157 7156 -358 -354 -356 -360 -355 7771 -7266 -6618 -7268 -6620 -1652 -7272 -6624 -1656 -7271 -6623 7775 -7269 -6621 7773 -7267 -6619 -7270 -6622 -1654 -7162 -6514 7774 -7158 -7160 -6512 7772 -7164 -6516 7776 -7159 -6511 650 -6807 4016 4142 6806 178 -25 -1387 -469 -6625 -3097 6626  0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3290682-1303789192/watcher-3290682-1303789192 -o /tmp/evaluation-result-3290682-1303789192/solver-3290682-1303789192 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3290682-1303789192.cnf 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.99 4.16 3.64 4/213 21340
/proc/meminfo: memFree=13839848/32951124 swapFree=67111528/67111528
[pid=21340] ppid=21338 vsize=3448 CPUtime=0 cores=5,7
/proc/21340/stat : 21340 (mono) S 21338 21340 20968 0 -1 4194304 78 0 0 0 0 0 0 0 25 0 1 0 471334822 3530752 32 33554432000 4194304 7232020 140735306071408 18446744073709551615 270333460103 0 2147483391 4096 0 18446744071699199166 0 0 17 5 0 0 0
/proc/21340/statm: 862 32 24 742 0 80 0

[startup+0.098409 s]
/proc/loadavg: 3.99 4.16 3.64 4/213 21340
/proc/meminfo: memFree=13839848/32951124 swapFree=67111528/67111528
[pid=21340] ppid=21338 vsize=108964 CPUtime=0.08 cores=5,7
/proc/21340/stat : 21340 (mono) R 21338 21340 20968 0 -1 4202496 2282 0 0 0 8 0 0 0 25 0 9 0 471334822 111579136 2185 33554432000 4194304 7232020 140735306071408 18446744073709551615 1160963463 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/21340/statm: 27241 2185 975 742 0 19812 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 108964

[startup+0.100411 s]
/proc/loadavg: 3.99 4.16 3.64 4/213 21340
/proc/meminfo: memFree=13839848/32951124 swapFree=67111528/67111528
[pid=21340] ppid=21338 vsize=110036 CPUtime=0.08 cores=5,7
/proc/21340/stat : 21340 (mono) R 21338 21340 20968 0 -1 4202496 2307 0 0 0 8 0 0 0 25 0 9 0 471334822 112676864 2210 33554432000 4194304 7232020 140735306071408 18446744073709551615 6229887 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/21340/statm: 27509 2213 975 742 0 20080 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 110036

[startup+0.300432 s]
/proc/loadavg: 3.99 4.16 3.64 4/213 21340
/proc/meminfo: memFree=13839848/32951124 swapFree=67111528/67111528
[pid=21340] ppid=21338 vsize=116100 CPUtime=0.29 cores=5,7
/proc/21340/stat : 21340 (mono) S 21338 21340 20968 0 -1 4202496 3637 0 0 0 29 0 0 0 18 0 9 0 471334822 118886400 3540 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/21340/statm: 29025 3540 975 742 0 21596 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 116100

[startup+0.700299 s]
/proc/loadavg: 3.99 4.16 3.64 4/213 21340
/proc/meminfo: memFree=13839848/32951124 swapFree=67111528/67111528
[pid=21340] ppid=21338 vsize=202560 CPUtime=0.73 cores=5,7
/proc/21340/stat : 21340 (mono) R 21338 21340 20968 0 -1 4202496 24103 0 0 0 70 3 0 0 18 0 9 0 471334822 207421440 24007 33554432000 4194304 7232020 140735306071408 18446744073709551615 270338077789 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/21340/statm: 50640 24036 996 742 0 43211 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 202560

[startup+1.50113 s]
/proc/loadavg: 3.99 4.16 3.64 5/222 21349
/proc/meminfo: memFree=13716400/32951124 swapFree=67111528/67111528
[pid=21340] ppid=21338 vsize=244756 CPUtime=1.55 cores=5,7
/proc/21340/stat : 21340 (mono) R 21338 21340 20968 0 -1 4202496 36282 0 0 0 151 4 0 0 18 0 9 0 471334822 250630144 36184 33554432000 4194304 7232020 140735306071408 18446744073709551615 1095527565 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/21340/statm: 61189 36184 1023 742 0 53760 0
[pid=21340/tid=21342] ppid=21338 vsize=244756 CPUtime=0 cores=5,7
/proc/21340/task/21342/stat : 21342 (mono) S 21338 21340 20968 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 471334823 250630144 36184 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21343] ppid=21338 vsize=244756 CPUtime=0.04 cores=5,7
/proc/21340/task/21343/stat : 21343 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 471334823 250630144 36184 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21344] ppid=21338 vsize=244756 CPUtime=0.02 cores=5,7
/proc/21340/task/21344/stat : 21344 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 471334823 250630144 36184 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21345] ppid=21338 vsize=244756 CPUtime=0 cores=5,7
/proc/21340/task/21345/stat : 21345 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 471334823 250630144 36184 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21346] ppid=21338 vsize=244756 CPUtime=0 cores=5,7
/proc/21340/task/21346/stat : 21346 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 471334823 250630144 36184 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 5 0 0 0
[pid=21340/tid=21347] ppid=21338 vsize=244756 CPUtime=0.01 cores=5,7
/proc/21340/task/21347/stat : 21347 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 471334823 250630144 36184 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 5 0 0 0
[pid=21340/tid=21348] ppid=21338 vsize=244756 CPUtime=0.01 cores=5,7
/proc/21340/task/21348/stat : 21348 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 471334823 250630144 36184 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 5 0 0 0
[pid=21340/tid=21349] ppid=21338 vsize=244756 CPUtime=0 cores=5,7
/proc/21340/task/21349/stat : 21349 (mono) S 21338 21340 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471334824 250630144 36184 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350207409 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 244756

[startup+3.10079 s]
/proc/loadavg: 3.99 4.16 3.64 5/222 21349
/proc/meminfo: memFree=13684904/32951124 swapFree=67111528/67111528
[pid=21340] ppid=21338 vsize=244884 CPUtime=3.17 cores=5,7
/proc/21340/stat : 21340 (mono) R 21338 21340 20968 0 -1 4202496 36320 0 0 0 313 4 0 0 18 0 9 0 471334822 250761216 36222 33554432000 4194304 7232020 140735306071408 18446744073709551615 1095529935 0 0 4096 545260780 18446744073709551615 0 0 17 7 0 0 0
/proc/21340/statm: 61221 36222 1023 742 0 53792 0
[pid=21340/tid=21342] ppid=21338 vsize=244884 CPUtime=0 cores=5,7
/proc/21340/task/21342/stat : 21342 (mono) S 21338 21340 20968 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 471334823 250761216 36222 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21343] ppid=21338 vsize=244884 CPUtime=0.05 cores=5,7
/proc/21340/task/21343/stat : 21343 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 471334823 250761216 36222 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21344] ppid=21338 vsize=244884 CPUtime=0.02 cores=5,7
/proc/21340/task/21344/stat : 21344 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 471334823 250761216 36222 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 5 0 0 0
[pid=21340/tid=21345] ppid=21338 vsize=244884 CPUtime=0.01 cores=5,7
/proc/21340/task/21345/stat : 21345 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 471334823 250761216 36222 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21346] ppid=21338 vsize=244884 CPUtime=0.01 cores=5,7
/proc/21340/task/21346/stat : 21346 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 471334823 250761216 36222 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21347] ppid=21338 vsize=244884 CPUtime=0.01 cores=5,7
/proc/21340/task/21347/stat : 21347 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 471334823 250761216 36222 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 5 0 0 0
[pid=21340/tid=21348] ppid=21338 vsize=244884 CPUtime=0.01 cores=5,7
/proc/21340/task/21348/stat : 21348 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 471334823 250761216 36222 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 5 0 0 0
[pid=21340/tid=21349] ppid=21338 vsize=244884 CPUtime=0 cores=5,7
/proc/21340/task/21349/stat : 21349 (mono) S 21338 21340 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471334824 250761216 36222 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350207409 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 244884

[startup+6.30119 s]
/proc/loadavg: 3.99 4.16 3.64 5/222 21349
/proc/meminfo: memFree=13681228/32951124 swapFree=67111528/67111528
[pid=21340] ppid=21338 vsize=245140 CPUtime=6.38 cores=5,7
/proc/21340/stat : 21340 (mono) R 21338 21340 20968 0 -1 4202496 36382 0 0 0 634 4 0 0 18 0 9 0 471334822 251023360 36284 33554432000 4194304 7232020 140735306071408 18446744073709551615 1095527621 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/21340/statm: 61285 36284 1023 742 0 53856 0
[pid=21340/tid=21342] ppid=21338 vsize=245140 CPUtime=0.01 cores=5,7
/proc/21340/task/21342/stat : 21342 (mono) S 21338 21340 20968 0 -1 4202560 4 0 0 0 1 0 0 0 15 0 9 0 471334823 251023360 36284 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21343] ppid=21338 vsize=245140 CPUtime=0.05 cores=5,7
/proc/21340/task/21343/stat : 21343 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 471334823 251023360 36284 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21344] ppid=21338 vsize=245140 CPUtime=0.06 cores=5,7
/proc/21340/task/21344/stat : 21344 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 471334823 251023360 36284 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 5 0 0 0
[pid=21340/tid=21345] ppid=21338 vsize=245140 CPUtime=0.02 cores=5,7
/proc/21340/task/21345/stat : 21345 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 471334823 251023360 36284 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21346] ppid=21338 vsize=245140 CPUtime=0.01 cores=5,7
/proc/21340/task/21346/stat : 21346 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 471334823 251023360 36284 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21347] ppid=21338 vsize=245140 CPUtime=0.01 cores=5,7
/proc/21340/task/21347/stat : 21347 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 471334823 251023360 36284 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 5 0 0 0
[pid=21340/tid=21348] ppid=21338 vsize=245140 CPUtime=0.02 cores=5,7
/proc/21340/task/21348/stat : 21348 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 471334823 251023360 36284 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21349] ppid=21338 vsize=245140 CPUtime=0 cores=5,7
/proc/21340/task/21349/stat : 21349 (mono) S 21338 21340 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471334824 251023360 36284 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350207409 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 245140

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

[startup+9.50055 s]
/proc/loadavg: 3.99 4.16 3.64 10/222 21349
/proc/meminfo: memFree=13684324/32951124 swapFree=67111528/67111528
[pid=21340] ppid=21338 vsize=245332 CPUtime=9.61 cores=5,7
/proc/21340/stat : 21340 (mono) R 21338 21340 20968 0 -1 4202496 36805 0 0 0 957 4 0 0 18 0 9 0 471334822 251219968 33124 33554432000 4194304 7232020 140735306071408 18446744073709551615 1095528964 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/21340/statm: 61333 33124 1023 742 0 53904 0
[pid=21340/tid=21342] ppid=21338 vsize=245332 CPUtime=0.02 cores=5,7
/proc/21340/task/21342/stat : 21342 (mono) S 21338 21340 20968 0 -1 4202560 4 0 0 0 2 0 0 0 16 0 9 0 471334823 251219968 33124 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21343] ppid=21338 vsize=245332 CPUtime=0.05 cores=5,7
/proc/21340/task/21343/stat : 21343 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 471334823 251219968 33124 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21344] ppid=21338 vsize=245332 CPUtime=0.06 cores=5,7
/proc/21340/task/21344/stat : 21344 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 471334823 251219968 33124 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 5 0 0 0
[pid=21340/tid=21345] ppid=21338 vsize=245332 CPUtime=0.03 cores=5,7
/proc/21340/task/21345/stat : 21345 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 471334823 251219968 33124 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 5 0 0 0
[pid=21340/tid=21346] ppid=21338 vsize=245332 CPUtime=0.02 cores=5,7
/proc/21340/task/21346/stat : 21346 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 471334823 251219968 33124 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21347] ppid=21338 vsize=245332 CPUtime=0.02 cores=5,7
/proc/21340/task/21347/stat : 21347 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 471334823 251219968 33124 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 5 0 0 0
[pid=21340/tid=21348] ppid=21338 vsize=245332 CPUtime=0.03 cores=5,7
/proc/21340/task/21348/stat : 21348 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 471334823 251219968 33124 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21349] ppid=21338 vsize=245332 CPUtime=0 cores=5,7
/proc/21340/task/21349/stat : 21349 (mono) S 21338 21340 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471334824 251219968 33124 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350207409 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 9.61
Current children cumulated vsize (KiB) 245332

[startup+11.1012 s]
/proc/loadavg: 3.99 4.15 3.64 5/222 21349
/proc/meminfo: memFree=13683332/32951124 swapFree=67111528/67111528
[pid=21340] ppid=21338 vsize=245332 CPUtime=11.24 cores=5,7
/proc/21340/stat : 21340 (mono) R 21338 21340 20968 0 -1 4202496 36805 0 0 0 1120 4 0 0 18 0 9 0 471334822 251219968 33124 33554432000 4194304 7232020 140735306071408 18446744073709551615 1161006513 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/21340/statm: 61333 33124 1023 742 0 53904 0
[pid=21340/tid=21342] ppid=21338 vsize=245332 CPUtime=0.03 cores=5,7
/proc/21340/task/21342/stat : 21342 (mono) S 21338 21340 20968 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 9 0 471334823 251219968 33124 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21343] ppid=21338 vsize=245332 CPUtime=0.05 cores=5,7
/proc/21340/task/21343/stat : 21343 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 471334823 251219968 33124 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21344] ppid=21338 vsize=245332 CPUtime=0.07 cores=5,7
/proc/21340/task/21344/stat : 21344 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 7 0 0 0 15 0 9 0 471334823 251219968 33124 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 5 0 0 0
[pid=21340/tid=21345] ppid=21338 vsize=245332 CPUtime=0.03 cores=5,7
/proc/21340/task/21345/stat : 21345 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 471334823 251219968 33124 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21346] ppid=21338 vsize=245332 CPUtime=0.03 cores=5,7
/proc/21340/task/21346/stat : 21346 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 471334823 251219968 33124 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 5 0 0 0
[pid=21340/tid=21347] ppid=21338 vsize=245332 CPUtime=0.03 cores=5,7
/proc/21340/task/21347/stat : 21347 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 471334823 251219968 33124 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21348] ppid=21338 vsize=245332 CPUtime=0.04 cores=5,7
/proc/21340/task/21348/stat : 21348 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 471334823 251219968 33124 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21349] ppid=21338 vsize=245332 CPUtime=0 cores=5,7
/proc/21340/task/21349/stat : 21349 (mono) S 21338 21340 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471334824 251219968 33124 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350207409 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.24
Current children cumulated vsize (KiB) 245332

[startup+11.9011 s]
/proc/loadavg: 3.99 4.15 3.64 5/222 21349
/proc/meminfo: memFree=13683332/32951124 swapFree=67111528/67111528
[pid=21340] ppid=21338 vsize=245332 CPUtime=12.05 cores=5,7
/proc/21340/stat : 21340 (mono) R 21338 21340 20968 0 -1 4202496 36864 0 0 0 1201 4 0 0 18 0 9 0 471334822 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 6148865 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/21340/statm: 61333 33183 1023 742 0 53904 0
[pid=21340/tid=21342] ppid=21338 vsize=245332 CPUtime=0.03 cores=5,7
/proc/21340/task/21342/stat : 21342 (mono) S 21338 21340 20968 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 9 0 471334823 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21343] ppid=21338 vsize=245332 CPUtime=0.05 cores=5,7
/proc/21340/task/21343/stat : 21343 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 471334823 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21344] ppid=21338 vsize=245332 CPUtime=0.07 cores=5,7
/proc/21340/task/21344/stat : 21344 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 7 0 0 0 16 0 9 0 471334823 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 5 0 0 0
[pid=21340/tid=21345] ppid=21338 vsize=245332 CPUtime=0.03 cores=5,7
/proc/21340/task/21345/stat : 21345 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 471334823 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21346] ppid=21338 vsize=245332 CPUtime=0.04 cores=5,7
/proc/21340/task/21346/stat : 21346 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 471334823 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21347] ppid=21338 vsize=245332 CPUtime=0.03 cores=5,7
/proc/21340/task/21347/stat : 21347 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 471334823 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21348] ppid=21338 vsize=245332 CPUtime=0.04 cores=5,7
/proc/21340/task/21348/stat : 21348 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 471334823 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21349] ppid=21338 vsize=245332 CPUtime=0 cores=5,7
/proc/21340/task/21349/stat : 21349 (mono) S 21338 21340 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471334824 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350207409 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.05
Current children cumulated vsize (KiB) 245332

[startup+12.107 s]
/proc/loadavg: 3.99 4.15 3.64 5/222 21349
/proc/meminfo: memFree=13683580/32951124 swapFree=67111528/67111528
[pid=21340] ppid=21338 vsize=245332 CPUtime=12.25 cores=5,7
/proc/21340/stat : 21340 (mono) R 21338 21340 20968 0 -1 4202496 36864 0 0 0 1221 4 0 0 18 0 9 0 471334822 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 1095528767 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/21340/statm: 61333 33183 1023 742 0 53904 0
[pid=21340/tid=21342] ppid=21338 vsize=245332 CPUtime=0.03 cores=5,7
/proc/21340/task/21342/stat : 21342 (mono) S 21338 21340 20968 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 9 0 471334823 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21343] ppid=21338 vsize=245332 CPUtime=0.05 cores=5,7
/proc/21340/task/21343/stat : 21343 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 471334823 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21344] ppid=21338 vsize=245332 CPUtime=0.07 cores=5,7
/proc/21340/task/21344/stat : 21344 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 7 0 0 0 16 0 9 0 471334823 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 5 0 0 0
[pid=21340/tid=21345] ppid=21338 vsize=245332 CPUtime=0.03 cores=5,7
/proc/21340/task/21345/stat : 21345 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 471334823 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21346] ppid=21338 vsize=245332 CPUtime=0.04 cores=5,7
/proc/21340/task/21346/stat : 21346 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 471334823 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21347] ppid=21338 vsize=245332 CPUtime=0.03 cores=5,7
/proc/21340/task/21347/stat : 21347 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 471334823 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21348] ppid=21338 vsize=245332 CPUtime=0.04 cores=5,7
/proc/21340/task/21348/stat : 21348 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 471334823 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21349] ppid=21338 vsize=245332 CPUtime=0 cores=5,7
/proc/21340/task/21349/stat : 21349 (mono) S 21338 21340 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471334824 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350207409 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 245332

[startup+12.201 s]
/proc/loadavg: 3.99 4.15 3.64 5/222 21349
/proc/meminfo: memFree=13683580/32951124 swapFree=67111528/67111528
[pid=21340] ppid=21338 vsize=245332 CPUtime=12.35 cores=5,7
/proc/21340/stat : 21340 (mono) R 21338 21340 20968 0 -1 4202496 36864 0 0 0 1231 4 0 0 18 0 9 0 471334822 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 1095530779 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/21340/statm: 61333 33183 1023 742 0 53904 0
[pid=21340/tid=21342] ppid=21338 vsize=245332 CPUtime=0.03 cores=5,7
/proc/21340/task/21342/stat : 21342 (mono) S 21338 21340 20968 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 9 0 471334823 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21343] ppid=21338 vsize=245332 CPUtime=0.05 cores=5,7
/proc/21340/task/21343/stat : 21343 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 471334823 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21344] ppid=21338 vsize=245332 CPUtime=0.07 cores=5,7
/proc/21340/task/21344/stat : 21344 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 7 0 0 0 16 0 9 0 471334823 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 5 0 0 0
[pid=21340/tid=21345] ppid=21338 vsize=245332 CPUtime=0.03 cores=5,7
/proc/21340/task/21345/stat : 21345 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 471334823 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21346] ppid=21338 vsize=245332 CPUtime=0.04 cores=5,7
/proc/21340/task/21346/stat : 21346 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 471334823 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21347] ppid=21338 vsize=245332 CPUtime=0.03 cores=5,7
/proc/21340/task/21347/stat : 21347 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 471334823 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21348] ppid=21338 vsize=245332 CPUtime=0.04 cores=5,7
/proc/21340/task/21348/stat : 21348 (mono) S 21338 21340 20968 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 471334823 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350199705 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
[pid=21340/tid=21349] ppid=21338 vsize=245332 CPUtime=0 cores=5,7
/proc/21340/task/21349/stat : 21349 (mono) S 21338 21340 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471334824 251219968 33183 33554432000 4194304 7232020 140735306071408 18446744073709551615 270350207409 0 0 4096 545260780 18446604471128671296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 245332

Child status: 0
Real time (s): 12.3004
CPU time (s): 12.4601
CPU user time (s): 12.4031
CPU system time (s): 0.056991
CPU usage (%): 101.298
Max. virtual memory (cumulated for all children) (KiB): 245332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.4031
system time used= 0.056991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36992
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= 3201
involuntary context switches= 535

runsolver used 0.018997 second user time and 0.054991 second system time

The end

Launcher Data 

Begin job on node143 at 2011-04-26 05:39:52
IDJOB=3290682
IDBENCH=83445
IDSOLVER=1608
FILE ID=node143/3290682-1303789192
RUNJOBID= node143-1303787846-20989
PBS_JOBID= 13157255
Free space on /tmp= 72932 MiB

SOLVER NAME= Sol 2011-04-04
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F18.cnf
COMMAND LINE= mono Main.exe BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290682-1303789192/watcher-3290682-1303789192 -o /tmp/evaluation-result-3290682-1303789192/solver-3290682-1303789192 -C 2400 -W 1300 -M 7680  mono Main.exe HOME/instance-3290682-1303789192.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=1499438799

node143.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.846
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.69
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.846
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	: 5226.15
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.846
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.74
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.846
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.83
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.846
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.75
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.846
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.83
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.846
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.74
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.846
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13840128 kB
Buffers:       2286832 kB
Cached:       15630992 kB
SwapCached:          0 kB
Active:        7284868 kB
Inactive:     11263752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13840128 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           14976 kB
Writeback:           0 kB
AnonPages:      630392 kB
Mapped:          18336 kB
Slab:           496436 kB
PageTables:       6652 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1061808 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= 72932 MiB
End job on node143 at 2011-04-26 05:40:04