Trace number 3290820

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 82.7634 80.7091

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F20.cnf
MD5SUM2ee3aaaabe8a89270b338ea6a7bf3762
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark20.1839
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses484053
Sum of the clauses size4133728
Maximum clause length91
Minimum clause length1
Number of clauses of size 134
Number of clauses of size 227746
Number of clauses of size 323112
Number of clauses of size 411940
Number of clauses of size 522180
Number of clauses of size over 5399041

Solver Data 

82.65/80.67	s SATISFIABLE
82.65/80.67	v 8 59 74 101 132 191 192 195 197 202 205 209 210 211 212 213 214 215 218 220 222 223 227 230 232 237 240 277 282 285 289 307 310 314 -198 -249 -264 -291 -322 -1 -2 -5 -7 -12 -15 -19 -20 -21 -22 -23 -24 -25 -28 -30 -32 -33 -37 -40 -42 -47 -50 -87 -92 -95 -99 -117 -120 -124 -5140 -5139 -5138 -5137 -5136 -5135 -5134 -5133 -5132 -5131 -5130 -5129 -5128 -5127 -5126 -5125 -5124 -5123 -5122 -5121 193 194 -6160 -6159 -6158 -6157 -6156 -6155 -6154 -6153 -6152 -6151 -6150 -6149 -6148 -6147 -6146 -6145 -6144 -6143 -6142 -6141 -6460 -6459 -6458 -6457 -6456 -6455 -6454 -6453 -6452 -6451 -6450 -6449 -6448 -6447 -6446 -6445 -6444 -6443 -6442 -6441 -7000 -6999 -6998 -6997 -6996 -6995 -6994 -6993 -6992 -6991 -6990 -6989 -6988 -6987 -6986 -6985 -6984 -6983 -6982 -6981 -7620 -7619 -7618 -7617 -7616 -7615 -7614 -7613 -7612 -7611 -7610 -7609 -7608 -7607 -7606 -7605 -7604 -7603 -7602 -7601 -1200 -1199 -1198 -1197 -1196 -1195 -1194 -1193 -1192 -1191 -1190 -1189 -1188 -1187 -1186 -1185 -1184 -1183 -1182 -1181 -1220 -1219 -1218 -1217 -1216 -1215 -1214 -1213 -1212 -1211 -1210 -1209 -1208 -1207 -1206 -1205 -1204 -1203 -1202 -1201 -1280 -1279 -1278 -1277 -1276 -1275 -1274 -1273 -1272 -1271 -1270 -1269 -1268 -1267 -1266 -1265 -1264 -1263 -1262 -1261 -1320 -1319 -1318 -1317 -1316 -1315 -1314 -1313 -1312 -1311 -1310 -1309 -1308 -1307 -1306 -1305 -1304 -1303 -1302 -1301 -1420 -1419 -1418 -1417 -1416 -1415 -1414 -1413 -1412 -1411 -1410 -1409 -1408 -1407 -1406 -1405 -1404 -1403 -1402 -1401 -1480 -1479 -1478 -1477 -1476 -1475 -1474 -1473 -1472 -1471 -1470 -1469 -1468 -1467 -1466 -1465 -1464 -1463 -1462 -1461 -1560 -1559 -1558 -1557 -1556 -1555 -1554 -1553 -1552 -1551 -1550 -1549 -1548 -1547 -1546 -1545 -1544 -1543 -1542 -1541 -1580 -1579 -1578 -1577 -1576 -1575 -1574 -1573 -1572 -1571 -1570 -1569 -1568 -1567 -1566 -1565 -1564 -1563 -1562 -1561 -1600 -1599 -1598 -1597 -1596 -1595 -1594 -1593 -1592 -1591 -1590 -1589 -1588 -1587 -1586 -1585 -1584 -1583 -1582 -1581 -1620 -1619 -1618 -1617 -1616 -1615 -1614 -1613 -1612 -1611 -1610 -1609 -1608 -1607 -1606 -1605 -1604 -1603 -1602 -1601 -1640 -1639 -1638 -1637 -1636 -1635 -1634 -1633 -1632 -1631 -1630 -1629 -1628 -1627 -1626 -1625 -1624 -1623 -1622 -1621 -1660 -1659 -1658 -1657 -1656 -1655 -1654 -1653 -1652 -1651 -1650 -1649 -1648 -1647 -1646 -1645 -1644 -1643 -1642 -1641 -1680 -1679 -1678 -1677 -1676 -1675 -1674 -1673 -1672 -1671 -1670 -1669 -1668 -1667 -1666 -1665 -1664 -1663 -1662 -1661 -1740 -1739 -1738 -1737 -1736 -1735 -1734 -1733 -1732 -1731 -1730 -1729 -1728 -1727 -1726 -1725 -1724 -1723 -1722 -1721 -1780 -1779 -1778 -1777 -1776 -1775 -1774 -1773 -1772 -1771 -1770 -1769 -1768 -1767 -1766 -1765 -1764 -1763 -1762 -1761 -1820 -1819 -1818 -1817 -1816 -1815 -1814 -1813 -1812 -1811 -1810 -1809 -1808 -1807 -1806 -1805 -1804 -1803 -1802 -1801 -1840 -1839 -1838 -1837 -1836 -1835 -1834 -1833 -1832 -1831 -1830 -1829 -1828 -1827 -1826 -1825 -1824 -1823 -1822 -1821 -1920 -1919 -1918 -1917 -1916 -1915 -1914 -1913 -1912 -1911 -1910 -1909 -1908 -1907 -1906 -1905 -1904 -1903 -1902 -1901 -1980 -1979 -1978 -1977 -1976 -1975 -1974 -1973 -1972 -1971 -1970 -1969 -1968 -1967 -1966 -1965 -1964 -1963 -1962 -1961 -2020 -2019 -2018 -2017 -2016 -2015 -2014 -2013 -2012 -2011 -2010 -2009 -2008 -2007 -2006 -2005 -2004 -2003 -2002 -2001 -2120 -2119 -2118 -2117 -2116 -2115 -2114 -2113 -2112 -2111 -2110 -2109 -2108 -2107 -2106 -2105 -2104 -2103 -2102 -2101 -2180 -2179 -2178 -2177 -2176 -2175 -2174 -2173 -2172 -2171 -2170 -2169 -2168 -2167 -2166 -2165 -2164 -2163 -2162 -2161 -2920 -2919 -2918 -2917 -2916 -2915 -2914 -2913 -2912 -2911 -2910 -2909 -2908 -2907 -2906 -2905 -2904 -2903 -2902 -2901 -3020 -3019 -3018 -3017 -3016 -3015 -3014 -3013 -3012 -3011 -3010 -3009 -3008 -3007 -3006 -3005 -3004 -3003 -3002 -3001 -3080 -3079 -3078 -3077 -3076 -3075 -3074 -3073 -3072 -3071 -3070 -3069 -3068 -3067 -3066 -3065 -3064 -3063 -3062 -3061 -3160 -3159 -3158 -3157 -3156 -3155 -3154 -3153 -3152 -3151 -3150 -3149 -3148 -3147 -3146 -3145 -3144 -3143 -3142 -3141 -3520 -3519 -3518 -3517 -3516 -3515 -3514 -3513 -3512 -3511 -3510 -3509 -3508 -3507 -3506 -3505 -3504 -3503 -3502 -3501 -3580 -3579 -3578 -3577 -3576 -3575 -3574 -3573 -3572 -3571 -3570 -3569 -3568 -3567 -3566 -3565 -3564 -3563 -3562 -3561 -3660 -3659 -3658 -3657 -3656 -3655 -3654 -3653 -3652 -3651 -3650 -3649 -3648 -3647 -3646 -3645 -3644 -3643 -3642 -3641 -3 -4 -1240 -1239 -1238 -1237 -1236 -1235 -1234 -1233 -1232 -1231 -1230 -1229 -1228 -1227 -1226 -1225 -1224 -1223 -1222 -1221 -1260 -1259 -1258 -1257 -1256 -1255 -1254 -1253 -1252 -1251 -1250 -1249 -1248 -1247 -1246 -1245 -1244 -1243 -1242 -1241 55 -245 -6080 -6079 -6078 -6077 -6076 -6075 -6074 -6073 -6072 -6071 -6070 -6069 -6068 -6067 -6066 -6065 -6064 -6063 -6062 -6061 -5041 -9981 -861 -10061 -9261 -6661 -6641 -6621 -6601 -6581 -6561 -6541 -6521 -6501 -6481 -6461 -6421 -6401 -6381 -5741 -5401 -1781 -1321 -521 -9721 -8921 -3621 -3601 -3581 -3541 -3521 -3481 -3461 -3441 -3421 -3161 -2621 -2321 -1281 -381 -9581 -8781 -1521 -1501 -1481 -1441 -1421 -1381 -1361 -1341 -4321 -1881 -3781 -460 -9660 -8860 -2580 -2560 -2540 -2520 -2500 -2480 -2460 -2440 -2420 -2400 -2380 -2360 -2340 -2320 -2300 -2280 -1940 -1282 -1322 -2481 -4681 -3321 -3121 45 -235 -5880 -5879 -5878 -5877 -5876 -5875 -5874 -5873 -5872 -5871 -5870 -5869 -5868 -5867 -5866 -5865 -5864 -5863 -5862 -5861 115 -305 -7280 -7279 -7278 -7277 -7276 -7275 -7274 -7273 -7272 -7271 -7270 -7269 -7268 -7267 -7266 -7265 -7264 -7263 -7262 -7261 119 -309 -7360 -7359 -7358 -7357 -7356 -7355 -7354 -7353 -7352 -7351 -7350 -7349 -7348 -7347 -7346 -7345 -7344 -7343 -7342 -7341 339 -149 -4160 -4159 -4158 -4157 -4156 -4155 -4154 -4153 -4152 -4151 -4150 -4149 -4148 -4147 -4146 -4145 -4144 -4143 -4142 -4141 94 -284 -6860 -6859 -6858 -6857 -6856 -6855 -6854 -6853 -6852 -6851 -6850 -6849 -6848 -6847 -6846 -6845 -6844 -6843 -6842 -6841 -90 -2980 -2979 -2978 -2977 -2976 -2975 -2974 -2973 -2972 -2971 -2970 -2969 -2968 -2967 -2966 -2965 -2964 -2963 -2962 -2961 3543 523 663 -443 -10383 -9722 -8924 -763 -683 -623 -483 -423 -403 -383 -498 -484 -497 -488 -494 -500 -493 -8928 -499 -496 -495 -491 -490 -492 -487 -485 -486 -489 -9862 -9064 -9068 -2483 -1283 -2883 -583 -4463 -463 -503 -9643 -8843 -2563 -2543 -2523 -2503 -2463 -2443 -2423 -2403 -2383 -2363 -2343 -2323 -2303 -2283 -2263 -1923 -10382 -9963 -9163 -4963 -4943 -4903 -4843 -4763 -4663 -4543 -4403 -4243 -4063 -3863 -3403 -2863 -2243 -9883 -9083 -4823 -4803 -4783 -4683 -4583 -4323 -4163 -3983 -3783 -3323 -2783 -9823 -9023 -4523 -4503 -4483 -4443 -4423 -4263 -4103 -3923 -3723 -3263 -2723 -9683 -8883 -3123 -3103 -3083 -3043 -3023 -2983 -2943 -2923 -2583 -9623 -8823 -2223 -2203 -2183 -2143 -2123 -2083 -2063 -2043 -2023 -1983 -1943 -9603 -8803 -1883 -1863 -1843 -1783 -1743 -1703 -1683 -9583 -8783 -1523 -1503 -1483 -1443 -1423 -1383 -1363 -1343 -1323 -9698 -8898 -3138 -3118 -3098 -3058 -3038 -2998 -2958 -2938 -2898 -2598 -2298 -9684 -8884 -3124 -3104 -3084 -3044 -3024 -2984 -2944 -2924 -2884 -2584 -2284 -9697 -8897 -3137 -3117 -3097 -3057 -3037 -2997 -2957 -2937 -2897 -2597 -2297 -9688 -8888 -3128 -3108 -3088 -3048 -3028 -2988 -2948 -2928 -2888 -2588 -2288 -9694 -8894 -3134 -3114 -3094 -3054 -3034 -2994 -2954 -2934 -2894 -2594 -2294 -9700 -8900 -3140 -3120 -3100 -3060 -3040 -3000 -2960 -2940 -2900 -2600 -9693 -8893 -3133 -3113 -3093 -3053 -3033 -2993 -2953 -2933 -2893 -2593 -2293 -9699 -8899 -3139 -3119 -3099 -3059 -3039 -2999 -2959 -2939 -2899 -2599 -2299 -9696 -8896 -3136 -3116 -3096 -3056 -3036 -2996 -2956 -2936 -2896 -2596 -2296 -9695 -8895 -3135 -3115 -3095 -3055 -3035 -2995 -2955 -2935 -2895 -2595 -2295 -9691 -8891 -3131 -3111 -3091 -3051 -3031 -2991 -2951 -2931 -2891 -2591 -2291 -9690 -8890 -3130 -3110 -3090 -3050 -3030 -2990 -2950 -2930 -2890 -2590 -2290 -9692 -8892 -3132 -3112 -3092 -3052 -3032 -2992 -2952 -2932 -2892 -2592 -2292 -9687 -8887 -3127 -3107 -3087 -3047 -3027 -2987 -2947 -2927 -2887 -2587 -2287 -9685 -8885 -3125 -3105 -3085 -3045 -3025 -2985 -2945 -2925 -2885 -2585 -2285 -9686 -8886 -3126 -3106 -3086 -3046 -3026 -2986 -2946 -2926 -2886 -2586 -2286 -9689 -8889 -3129 -3109 -3089 -3049 -3029 -2989 -2949 -2929 -2889 -2589 -2289 -9783 -8983 -4223 -4203 -4183 -4123 -4083 -3883 -3683 -3463 -3223 -2683 -9663 -8863 -2843 -2823 -2803 -2763 -2743 -2703 -2663 -2643 -2623 -2603 -9703 -8903 -3383 -3363 -3343 -3303 -3283 -3243 -3203 -3183 -3163 -10381 662 -9742 -9743 -9861 -9063 -402 -2482 -582 -9602 -8802 -1882 -1862 -1842 -1782 -1742 -1702 -1682 -9782 -8982 -4242 -4222 -4202 -4182 -4162 -4122 -4102 -4082 -3882 -3682 -3462 -3222 -2682 -2382 -2062 -1362 524 -10384 -9723 -8925 -764 -684 -624 -424 -404 -384 -9964 -9164 -4964 -4944 -4904 -4844 -4764 -4664 -4544 -4404 -4244 -4064 -3864 -3404 -2864 -2564 -2244 -9884 -9084 -4824 -4804 -4784 -4684 -4584 -4464 -4324 -4164 -3984 -3784 -3324 -2784 -2484 -9824 -9024 -4524 -4504 -4484 -4444 -4424 -4264 -4104 -3924 -3724 -3264 -2724 -2424 -4581 -2781 -9624 -8824 -2224 -2204 -2184 -2144 -2124 -2084 -2064 -2044 -2024 -1984 -1944 -1924 -9604 -8804 -1884 -1864 -1844 -1784 -1744 -1704 -1684 -9584 -8784 -1524 -1504 -1484 -1444 -1424 -1384 -1364 -1344 -1324 -1284 -2422 -649 -9849 -9049 -4669 -4649 -4629 -4609 -4589 -4569 -4429 -4289 -4129 -3949 -3749 -3529 -3289 -2749 -2449 -2129 -1789 -1429 -453 -9653 -8853 -2573 -2553 -2533 -2513 -2493 -2473 -2453 -2433 -2413 -2393 -2373 -2353 -2333 -2313 -2273 -1933 -2426 -446 -9646 -8846 -2566 -2546 -2526 -2506 -2486 -2466 -2446 -2406 -2386 -2366 -2346 -2326 -2306 -2266 -1926 -2279 -2265 -57 -2319 -2318 -2317 -2316 -2315 -2314 -2312 -2311 -2310 -2309 -2308 -2307 -2305 -2304 -2302 -2301 449 -10389 -9648 -8850 -409 -1287 -4469 -1989 -1285 -2249 -1286 -4549 -1327 -1949 -386 -388 -1288 -2869 -389 -385 -387 -2729 -2789 -382 -2089 -509 -3409 -455 -454 -457 -442 -456 -441 -4689 -3329 -459 -445 -10388 -9609 -8809 -1889 -1869 -1849 -1749 -1709 -1689 -9586 -8786 -1526 -1506 -1486 -1446 -1426 -1386 -1366 -1346 -1326 -9588 -8788 -1528 -1508 -1488 -1448 -1428 -1388 -1368 -1348 -1328 -9589 -8789 -1529 -1509 -1489 -1449 -1389 -1369 -1349 -1329 -1289 -9585 -8785 -1525 -1505 -1485 -1445 -1425 -1385 -1365 -1345 -1325 -9587 -8787 -1527 -1507 -1487 -1447 -1427 -1387 -1367 -1347 -9582 -8782 -1522 -1502 -1482 -1442 -1422 -1382 -1342 -9709 -8909 -3389 -3369 -3349 -3309 -3269 -3249 -3229 -3209 -3189 -3169 -2609 -9655 -8855 -2575 -2555 -2535 -2515 -2495 -2475 -2455 -2435 -2415 -2395 -2375 -2355 -2335 -2275 -1935 -458 -9654 -8854 -2574 -2554 -2534 -2514 -2494 -2474 -2454 -2434 -2414 -2394 -2374 -2354 -2334 -2274 -1934 -9657 -8857 -2577 -2557 -2537 -2517 -2497 -2477 -2457 -2437 -2417 -2397 -2377 -2357 -2337 -2277 -1937 -9642 -8842 -2562 -2542 -2522 -2502 -2462 -2442 -2402 -2362 -2342 -2322 -2282 -2262 -1922 -9656 -8856 -2576 -2556 -2536 -2516 -2496 -2476 -2456 -2436 -2416 -2396 -2376 -2356 -2336 -2276 -1936 -1938 -9641 -8841 -2561 -2541 -2521 -2501 -2461 -2441 -2421 -2401 -2381 -2361 -2341 -2281 -2261 -1921 -9659 -8859 -2579 -2559 -2539 -2519 -2499 -2479 -2459 -2439 -2419 -2399 -2379 -2359 -2339 -1939 -9645 -8845 -2565 -2545 -2525 -2505 -2485 -2465 -2445 -2425 -2405 -2385 -2365 -2345 -2325 -1925 -444 -10387 -9746 -9747 -9749 -9745 -9658 -8858 -2578 -2558 -2538 -2518 -2498 -2478 -2458 -2438 -2418 -2398 -2378 -2358 -2338 -2278 -4470 -56 -462 -9662 -8953 -9644 -8844 -2544 -2524 -2504 -2464 -2444 -2404 -2384 -2364 -2344 -2324 -2264 -10386 -8862 -2862 -2842 -2822 -2802 -2782 -2762 -2742 -2722 -2702 -2662 -2642 -2622 -2602 -2582 -1942 -461 -9905 -2721 -1941 -10385 -9661 -8861 -2861 -2841 -2821 -2801 -2761 -2741 -2701 -2681 -2661 -2641 -2601 -2581 -71 -41 -2000 -1999 -1998 -1997 -1996 -1995 -1994 -1993 -1992 -1991 -1990 -1988 -1987 -1986 -1985 -1982 -1981 43 -233 -5840 -5839 -5838 -5837 -5836 -5835 -5834 -5833 -5832 -5831 -5830 -5829 -5828 -5827 -5826 -5825 -5824 -5823 -5822 -5821 -554 -9754 -8954 -3874 -3854 -3834 -3814 -3794 -3774 -3754 -3734 -3714 -3694 -3674 -3434 -3194 -2654 -2034 -1694 -1334 6 -196 -502 -86 -9705 -9702 -9706 -501 -9708 -9707 -506 -508 -507 67 -504 -505 -5100 -5099 -5098 -5097 -5096 -5095 -5094 -5093 -5092 -5091 -5090 -5089 -5088 -5087 -5086 -5085 -5084 -5083 -5082 -5081 -8902 -3402 -3382 -3362 -3342 -3322 -3302 -3282 -3262 -3242 -3202 -3182 -3162 -2882 -2881 -9701 -8901 -3401 -3381 -3361 -3341 -3301 -3281 -3261 -3241 -3221 -3201 -3181 -8906 -3406 -3386 -3366 -3346 -3326 -3306 -3286 -3266 -3246 -3226 -3206 -3186 -3166 -2606 -8908 -3408 -3388 -3368 -3348 -3328 -3308 -3288 -3268 -3248 -3228 -3208 -3188 -3168 -2608 -8907 -3407 -3387 -3367 -3347 -3327 -3307 -3287 -3267 -3247 -3227 -3207 -3187 -3167 -2607 -257 -9704 -8904 -3384 -3364 -3344 -3304 -3284 -3244 -3224 -3204 -3184 -3164 -2604 -8905 -3405 -3385 -3365 -3345 -3325 -3305 -3285 -3265 -3245 -3225 -3205 -3185 -3165 -2605 -6402 -6320 -6319 -6318 -6317 -6316 -6315 -6314 -6313 -6312 -6311 -6310 -6309 -6308 -6307 -6306 -6305 -6304 -6303 -6302 -6301 -9744 -5281 512 -10392 -9711 -8913 -412 -2492 -432 -2432 -2252 -2272 -3552 -4472 -8914 -1952 -4852 -3472 -452 -3492 -4552 -2572 -2072 -10391 -9612 -8812 -1892 -1872 -1852 -1792 -1752 -1712 -1692 -9632 -8832 -2232 -2212 -2192 -2152 -2132 -2092 -2052 -2032 -1932 -9652 -8852 -2552 -2532 -2512 -2472 -2452 -2412 -2392 -2372 -2352 -2332 -10390 2269 469 -9668 -8870 -629 -769 -480 -2329 -529 -689 -429 -9829 -9029 -4529 -4509 -4489 -4449 -4269 -4109 -3929 -3729 -2429 -9969 -9169 -4969 -4949 -4909 -4849 -4769 -4409 -4249 -4069 -3869 -2569 -9680 -8880 -2880 -2860 -2840 -2820 -2800 -2780 -2760 -2740 -2720 -2700 -2680 -2660 -2640 -2620 -1960 -9729 -8929 -3629 -3609 -3589 -3549 -3489 -3469 -3449 -3429 -2629 -9889 -9089 -4829 -4809 -4789 -4329 -4169 -3989 -3789 -2489 -9629 -8829 -2229 -2209 -2189 -2149 -2069 -2049 -2029 -1929 -464 -9664 -8864 -2844 -2824 -2804 -2764 -2744 -2704 -2684 -2664 -2644 -2624 -2267 38 -228 -5740 -5739 -5738 -5737 -5736 -5735 -5734 -5733 -5732 -5731 -5730 -5729 -5728 -5727 -5726 -5725 -5724 -5723 -5722 -5721 229 251 241 -39 -61 -51 -1959 -1958 -1957 -1956 -1955 -1954 -1953 -1951 -1950 -1948 -1947 -1946 -1945 -2391 -2390 -2389 -2388 -2387 -2200 -2199 -2198 -2197 -2196 -2195 -2194 -2193 -2191 -2190 -2188 -2187 -2186 -2185 -2182 -2181 -589 -9789 -8989 -4229 -4209 -4189 -4089 -3889 -3689 -2689 -451 -9651 -8851 -2571 -2551 -2531 -2511 -2491 -2471 -2451 -2431 -2411 -2371 -2351 -2331 -2271 -1931 550 -9903 -8951 -558 -4550 -1750 -2330 -4850 -557 -555 -556 -1710 -1890 -1790 -9758 -8958 -3878 -3858 -3838 -3818 -3798 -3778 -3758 -3738 -3718 -3698 -3678 -3438 -3198 -2658 -2038 -1698 -1338 -9757 -8957 -3877 -3857 -3837 -3817 -3797 -3777 -3757 -3737 -3717 -3697 -3677 -3437 -3197 -2657 -2037 -1697 -1337 -9755 -8955 -3875 -3855 -3835 -3815 -3795 -3775 -3755 -3735 -3715 -3695 -3675 -3435 -3195 -2655 -2035 -1695 -1335 -475 -9756 -8956 -3876 -3856 -3836 -3816 -3796 -3776 -3756 -3736 -3716 -3696 -3676 -3436 -3196 -2656 -2036 -1696 -1336 -9675 -8875 -2875 -2855 -2835 -2815 -2795 -2775 -2755 -2735 -2715 -2695 -2675 -2635 -2615 -478 -476 -477 -2797 -2737 -9678 -8878 -2878 -2858 -2838 -2818 -2798 -2778 -2758 -2738 -2718 -2698 -2678 -2638 -2618 -479 -9676 -8876 -2876 -2856 -2836 -2816 -2796 -2776 -2756 -2736 -2716 -2696 -2676 -2636 -2616 -2617 -9677 -8877 -2877 -2857 -2837 -2817 -2777 -2757 -2717 -2697 -2677 -2637 -9679 -8879 -2879 -2859 -2839 -2819 -2799 -2779 -2759 -2739 -2719 -2699 -2679 -2659 -2639 -2619 -527 -9727 -8927 -3627 -3607 -3587 -3547 -3527 -3487 -3467 -3447 -3427 -2627 -2327 -540 -537 -528 -534 -538 -535 -539 -9740 -8940 -3640 -3620 -3600 -3560 -3540 -3500 -3480 -3460 -3440 -3180 -9737 -8937 -3637 -3617 -3597 -3557 -3537 -3497 -3477 -3457 -3177 -9728 -3628 -3608 -3588 -3548 -3528 -3488 -3468 -3448 -3428 -2628 -2328 -9734 -8934 -3634 -3614 -3594 -3554 -3534 -3494 -3474 -3454 -3174 -2634 -9738 -8938 -3638 -3618 -3598 -3558 -3538 -3498 -3478 -3458 -3178 -9735 -8935 -3635 -3615 -3595 -3555 -3535 -3495 -3475 -3455 -3175 -536 -9739 -8939 -3639 -3619 -3599 -3559 -3539 -3499 -3479 -3459 -3439 -3179 -58 -9736 -8936 -3636 -3616 -3596 -3556 -3536 -3496 -3476 -3456 -3176 -430 -9630 -8830 -2250 -2230 -2210 -2150 -2130 -2090 -2070 -2050 -2030 -1930 448 -9647 -8849 -408 -2728 -588 -4468 -2788 -2868 -2048 -9608 -8808 -1888 -1868 -1848 -1788 -1748 -1708 -1688 -9788 -8988 -4248 -4228 -4208 -4188 -4168 -4128 -4108 -4088 -3888 -3688 -2688 -2068 -516 -9716 -8916 -3416 -3396 -3376 -3356 -3336 -3316 -3296 -3276 -3256 -3236 -3216 -1296 -518 -517 -520 -9718 -8918 -3418 -3398 -3378 -3358 -3338 -3318 -3298 -3278 -3258 -3238 -3218 -1298 -519 -9717 -8917 -3417 -3397 -3377 -3357 -3337 -3317 -3297 -3277 -3257 -3237 -3217 -1297 -9720 -8920 -3420 -3400 -3380 -3360 -3340 -3320 -3300 -3280 -3260 -3240 -3220 -3200 -1300 -9719 -8919 -3419 -3399 -3379 -3359 -3339 -3319 -3299 -3279 -3259 -3239 -3219 -3199 -1299 2065 425 585 -8826 -685 -625 -525 -405 -434 -422 426 -705 -765 -465 -421 8825 -9784 -8986 -4545 -8987 -4465 -665 -2785 -581 -9885 -9085 -4845 -4825 -4805 -4785 -4685 -4585 -4325 -4165 -3985 -3785 -9825 -9025 -4525 -4505 -4485 -4445 -4425 -4265 -4105 -3925 -3725 -2725 -9725 -3625 -3605 -3585 -3545 -3525 -3485 -3465 -3445 -3425 -2625 9724 -526 3464 -532 -533 -531 -530 -100 -9605 -8805 -1885 -1865 -1845 -1785 -1745 -1705 -1685 -9634 -8834 -2254 -2234 -2214 -2154 -2134 -2094 -2074 -2054 -9622 -8822 -2242 -2222 -2202 -2142 -2122 -2082 -2042 -2022 -2121 -2241 -9625 -8827 -686 -626 -406 -4246 -440 -436 -433 -431 -437 -466 427 -435 -706 -9105 -4905 -4885 -4865 -4705 -4605 -4345 -4185 -4005 -3805 -2805 -703 -9965 -9165 -4965 -4945 -4765 -4665 -4405 -4245 -4065 -3865 -2865 -2245 -9665 -8865 -2845 -2825 -2765 -2745 -2705 -2685 -2665 -2645 -9621 -8821 -2221 -2201 -2141 -2081 -2061 -2041 -2021 -9865 -9065 -4745 -4725 -4565 -4305 -3965 -3765 -2145 -674 -666 -667 -9781 -8981 -4241 -4221 -4201 -4181 -4161 -4121 -4101 -4081 -3881 -3681 -9726 -8926 -3626 -3606 -3586 -3546 -3526 -3486 -3466 -3446 -3426 -2626 584 -9732 -8932 -3632 -3612 -3592 -3532 -3452 -3432 -3172 -2632 -9733 -8933 -3633 -3613 -3593 -3553 -3533 -3493 -3473 -3453 -3433 -3173 -2633 -9731 -8931 -3631 -3611 -3591 -3551 -3531 -3491 -3471 -3451 -3431 -3171 -2631 -9730 -8930 -3630 -3610 -3590 -3550 -3530 -3490 -3470 -3450 -3430 -3170 -2630 -9886 -9086 -4846 -4826 -4806 -4786 -4686 -4586 -4466 -4326 -4166 -3986 -3786 -2786 -9826 -9026 -4546 -4526 -4506 -4486 -4446 -4426 -4266 -4106 -3926 -3726 -2726 -9606 -8806 -1886 -1866 -1846 -1786 -1746 -1706 -1686 -9640 -8840 -2260 -2240 -2220 -2160 -2140 -2100 -2080 -2060 -2040 -9636 -8836 -2256 -2236 -2216 -2156 -2136 -2096 -2076 -2056 -438 -9633 -8833 -2253 -2233 -2213 -2153 -2133 -2093 -2073 -2053 -2033 -9631 -8831 -2251 -2231 -2211 -2151 -2131 -2091 -2071 -2051 -2031 -9637 -8837 -2257 -2237 -2217 -2157 -2137 -2097 -2077 -2057 -439 -9666 -8866 -2866 -2846 -2826 -2806 -2766 -2746 -2706 -2686 -2666 -2646 -9626 -8828 -687 -627 -407 -707 -467 -9635 -8835 -2255 -2235 -2215 -2155 -2135 -2095 -2075 -2055 -9906 -9106 -4906 -4886 -4866 -4706 -4606 -4346 -4186 -4006 -3806 -9103 -4883 -4863 -4703 -4603 -4343 -4003 -3803 -3583 -702 -9874 -9074 -4774 -4754 -4734 -4714 -4694 -4574 -4454 -4314 -3974 -3314 -2774 -1454 -675 -676 -677 -9866 -9066 -4766 -4746 -4726 -4566 -4306 -3966 -3766 -2146 -680 -9867 -9067 -4767 -4747 -4727 -4707 -4687 -4567 -4447 -4307 -3967 -3767 -2767 -2467 -2147 -672 -668 -73 -8985 -8992 -8991 -664 8984 -644 -744 -604 -564 -593 -594 -596 -600 -597 -592 -590 -598 -595 -9638 -8838 -2258 -2238 -2218 -2158 -2138 -2098 -2078 -2058 -9639 -8839 -2259 -2239 -2219 -2159 -2139 -2099 -2079 -2059 -2039 -9887 -9087 -4847 -4827 -4807 -4787 -4587 -4467 -4327 -4167 -3987 -3787 -2787 -2487 -9827 -9027 -4547 -4527 -4507 -4487 -4427 -4267 -4107 -3927 -3727 -2727 -2427 -9607 -8807 -1887 -1867 -1847 -1787 -1747 -1707 -1687 -9907 -9107 -4907 -4887 -4867 -4607 -4347 -4187 -4007 -3807 -2807 -2507 -9667 -8867 -2867 -2847 -2827 -2747 -2707 -2687 -2667 -2647 -9902 -9102 -4902 -4882 -4862 -4782 -4702 -4602 -4482 -4342 -4002 -3802 -3582 -3082 -1841 -9113 -9875 -9075 -4775 -4755 -4735 -4715 -4695 -4575 -4455 -4315 -3975 -3315 -1455 -9876 -9076 -4776 -4756 -4736 -4716 -4696 -4576 -4456 -4316 -3976 -1456 -679 -9877 -9077 -4777 -4757 -4737 -4717 -4697 -4577 -4457 -4317 -3977 -1457 -9880 -9080 -4780 -4760 -4740 -4720 -4700 -4580 -4460 -4320 -3980 -3780 -1460 -9872 -9072 -4772 -4752 -4732 -4712 -4692 -4572 -4452 -4312 -3972 -3772 -3312 -2772 -1452 -9868 -4768 -4748 -4728 -4708 -4688 -4568 -4448 -4308 -3968 -3768 -2768 -2468 -2148 -80 -669 -670 -673 -591 -9864 -4744 -4724 -4704 -4564 -4304 -3964 -3764 -3544 -671 -678 9863 -65 -49 -9844 -9044 -4644 -4624 -4604 -4284 -4124 -3944 -3744 -3524 -9944 -9144 -4924 -4884 -4384 -4224 -4044 -3844 -3624 -9804 -9004 -4364 -4344 -4084 -3904 -3704 -3484 -9764 -8964 -4024 -4004 -3884 -3664 -3444 -9793 -8993 -4253 -4233 -4213 -4193 -4173 -4133 -4113 -4093 -3893 -3693 -3233 -2693 -1373 -599 -9794 -8994 -4254 -4234 -4214 -4194 -4174 -4134 -4114 -4094 -3894 -3234 -2694 -1374 -9796 -8996 -4256 -4236 -4216 -4196 -4176 -4136 -4116 -4096 -3896 -1376 -9800 -9000 -4260 -4240 -4220 -4200 -4180 -4140 -4120 -4100 -3900 -3700 -1380 -9797 -8997 -4257 -4237 -4217 -4197 -4177 -4137 -4117 -4097 -3897 -1377 -9792 -4252 -4232 -4212 -4192 -4172 -4132 -4112 -4092 -3892 -3692 -3232 -2692 -1372 -9790 -8990 -4250 -4230 -4210 -4190 -4170 -4130 -4110 -4090 -3890 -3690 -3230 -2690 -1370 -9798 -8998 -4258 -4238 -4218 -4198 -4178 -4138 -4118 -4098 -3898 -1378 -9795 -8995 -4255 -4235 -4215 -4195 -4175 -4135 -4115 -4095 -3895 -3235 -1375 -9879 -9079 -4779 -4759 -4739 -4719 -4699 -4579 -4459 -4319 -3979 -3779 -1459 -2773 -2771 -2770 -2769 -9869 -9069 -4749 -4729 -4709 -4309 -3969 -3769 -2469 -9870 -9070 -4770 -4750 -4730 -4710 -4690 -4570 -4450 -4310 -3970 -3770 -3310 -2470 -1450 -9873 -9073 -4773 -4753 -4733 -4713 -4693 -4573 -4453 -4313 -3973 -3773 -3313 -1453 -9791 -4251 -4231 -4211 -4191 -4171 -4131 -4111 -4091 -3891 -3691 -3231 -2691 -1371 -9871 -9071 -4771 -4751 -4731 -4711 -4691 -4571 -4451 -4311 -3971 -3771 -3311 -1451 -9878 -9078 -4778 -4758 -4738 -4718 -4698 -4578 -4458 -4318 -3978 -1458 -9799 -8999 -4259 -4239 -4219 -4199 -4179 -4139 -4119 -4099 -3899 -3699 -1379 -150 -147 -76 -10 -103 -14 -107 2066 586 -9785 -766 -9966 -9166 -4966 -4946 -4666 -4406 -4066 -3866 -2246 -545 -8945 -3845 -3825 -3745 -3705 -3685 -3665 -2025 -3701 -543 -88 -544 -1681 549 -542 -541 -8943 -3843 -3823 -3763 -3743 -3703 -3663 -3423 -2922 -2921 -8944 -3824 -3804 -3684 -3424 -9748 -8950 2349 2649 -559 -560 -8942 -3862 -3842 -3822 -3782 -3762 -3742 -3722 -3702 -3662 -3422 -9741 -8941 -3861 -3841 -3821 -3801 -3761 -3741 -3721 -3661 -3081 -113 -9759 -8959 -3879 -3859 -3839 -3819 -3799 -3759 -3739 -3719 -3679 -1699 -1339 -9760 -8960 -3880 -3860 -3840 -3820 -3800 -3760 -3740 -3720 -3680 -1700 -1340 -130 -4901 -704 -9901 -9904 -701 -177 -96 -9104 -4864 -4184 -3584 -9101 -4881 -4861 -4781 -4701 -4601 -4481 -4341 -4001 -151 -121 1927 447 -567 -8848 -4247 8847 -587 -747 -607 -767 -647 -9767 -8967 -4067 -4047 -4027 -3947 -3907 -3887 -3667 -2367 -2047 -154 -9787 -4227 -4207 -4127 -4087 -3687 -2067 9786 -9947 -9147 -4967 -4927 -4647 -4387 -3847 -2547 -2227 -9807 -9007 -4407 -4367 -4287 -3707 -2407 -2087 -9967 -9167 -4947 -4667 -3867 -2567 -2247 -9847 -9047 -4627 -3747 -2447 -2127 -428 -9628 -2248 -2228 -2208 -2128 -2088 -2028 -1928 9627 -54 548 -8949 -4848 -4548 -4588 -3988 -4788 2348 -3928 -4268 -4428 -4488 -642 -9842 -9042 -4662 -4642 -4622 -4582 -4562 -4422 -4282 -3942 -3522 -3022 -622 -9822 -9022 -4542 -4522 -4502 -4462 -4442 -4262 -3922 -621 -9821 -9021 -4541 -4521 -4501 -4461 -4441 -4421 -4261 -3921 -681 -688 -682 -4841 -164 -9881 -9081 -4821 -4801 -3981 -9888 -9088 -4828 -4808 -4328 -3788 -2488 -9882 -9082 -4842 -4822 -4802 -4682 -4322 -3982 -176 127 -317 -603 -602 -9015 -601 -606 -46 -9803 -9802 -9805 -7520 -7519 -7518 -7517 -7516 -7515 -7514 -7513 -7512 -7511 -7510 -7509 -7508 -7507 -7506 -7505 -7504 -7503 -7502 -7501 -9003 -4383 -4363 -4303 -4283 -3903 -3483 -9002 -4402 -4382 -4362 -4302 -3902 -3482 -2982 -9801 -9001 -4401 -4381 -4361 -4301 -4281 -3901 -2981 -1741 -9806 -9006 -4386 -4366 -4286 -4086 -3906 -3706 -2086 -605 -2085 -116 -157 -91 -9005 -4385 -4365 -4285 -4085 -3905 -146 -613 -9813 -9013 -4413 -4393 -4373 -4353 -4333 -4293 -4273 -3913 -3713 -3253 -2713 -1753 -1393 -615 -614 -9815 -4415 -4395 -4375 -4355 -4335 -4295 -4275 -3915 -3255 -1755 -1395 -619 -616 -617 -9814 -9014 -4414 -4394 -4374 -4354 -4334 -4294 -4274 -3914 -3254 -2714 -1754 -1394 -9819 -9019 -4419 -4399 -4379 -4359 -4339 -4299 -4279 -3919 -1759 -1399 -620 -9816 -9016 -4416 -4396 -4376 -4356 -4336 -4296 -4276 -3916 -1756 -1396 -9817 -9017 -4417 -4397 -4377 -4357 -4337 -4297 -4277 -3917 -1757 -1397 -618 -9820 -9020 -4420 -4400 -4380 -4360 -4340 -4300 -4280 -3920 -1760 -1400 -9818 -9018 -4418 -4398 -4378 -4358 -4338 -4298 -4278 -3918 -1758 -1398 710 -9909 -9111 -1690 -9112 -410 3810 -1290 551 -713 -9610 -8810 -1870 -1850 -9710 -9750 -8952 -1791 -4471 -1751 -1851 -4551 -4851 -1891 -9913 -4913 -4893 -4873 -4793 -4613 -4493 -4013 -3813 -3353 -2813 -1853 -1493 -716 -714 -715 -717 -720 -29 -9916 -9116 -4916 -4896 -4876 -4796 -4616 -4496 -4016 -1856 -1496 -719 -718 -9914 -9114 -4914 -4894 -4874 -4794 -4614 -4494 -4014 -3354 -2814 -1854 -1494 -9915 -9115 -4915 -4895 -4875 -4795 -4615 -4495 -4015 -3355 -1855 -1495 -9917 -9117 -4917 -4897 -4877 -4797 -4617 -4497 -4017 -1857 -1497 -9920 -9120 -4920 -4900 -4880 -4800 -4620 -4500 -4020 -1860 -1500 -9919 -9119 -4919 -4899 -4879 -4799 -4619 -4499 -4019 -1859 -1499 -9918 -9118 -4918 -4898 -4878 -4798 -4618 -4498 -4018 -1858 -1498 -34 82 -272 -6620 -6619 -6618 -6617 -6616 -6615 -6614 -6613 -6612 -6611 -6610 -6609 -6608 -6607 -6606 -6605 -6604 -6603 -6602 -26 -1693 -1691 126 355 135 128 374 131 -643 -411 -316 3686 -165 -325 -9962 -762 -761 -318 -184 -321 -9843 -9043 -4643 -4623 -4563 -3943 -3523 -9611 -8811 -1871 -1711 -7500 -7499 -7498 -7497 -7496 -7495 -7494 -7493 -7492 -7491 -7490 -7489 -7488 -7487 -7486 -7485 -7484 -7483 -7482 -7481 546 -4480 -4479 -4478 -4477 -4476 -4475 -4474 -4473 -7581 -7680 -7679 -7678 -7677 -7676 -7675 -7674 -7673 -7672 -7671 -7670 -7669 -7668 -7667 -7666 -7665 -7664 -7663 -7662 -7661 244 359 -9162 -4962 -4942 -4762 -4062 -9961 -9161 -4961 -4941 -4761 -4661 -4061 -7540 -7539 -7538 -7537 -7536 -7535 -7534 -7533 -7532 -7531 -7530 -7529 -7528 -7527 -7526 -7525 -7524 -7523 -7522 -7521 -4860 -4859 -4858 -4857 -4856 -4855 -4854 -4853 -7600 -7599 -7598 -7597 -7596 -7595 -7594 -7593 -7592 -7591 -7590 -7589 -7588 -7587 -7586 -7585 -7584 -7583 -7582 -118 -8947 2026 547 8946 -746 -646 -566 -169 -180 -8948 2027 2347 -727 -9946 -9146 -4926 -4646 -4226 -4046 -3846 -2226 -9846 -9046 -4626 -4126 -3946 -3746 -2126 -9766 -8966 -4026 -3886 -3666 -2046 -4560 -4559 -4558 -4557 -4556 -4555 -4554 -4553 -9927 -9127 -3827 -2527 -2207 470 -9669 -8871 -390 -3270 -3330 -2490 -8874 -2430 -2570 -8872 -690 2810 -4410 2650 -630 -4270 -9590 -8790 -1530 -1510 -1490 -1430 -1390 -1350 -1330 -66 -9890 -9090 -4830 -4810 -4790 -4590 -4330 -3990 -3790 -2790 -9830 -9030 -4530 -4510 -4490 -4430 -3930 -3730 -2730 552 -9751 3192 -1492 -609 -9809 -9009 -4389 -4369 -4349 -3909 -3709 -2709 -2409 -11 -1392 -1391 -628 -9828 -9028 -4528 -4508 -3728 -2428 -691 -3331 -63 -9891 -9091 -4831 -4811 -4791 -4591 -4331 -3991 -3791 -2791 -711 -9911 -4911 -4891 -4871 -4611 -4491 -4351 -4011 -3811 -3351 -2811 -1491 -712 9910 -16 -9912 -4912 -4892 -4872 -4792 -4612 -4492 -4352 -4012 -3812 -3352 -2812 159 -181 -166 -349 187 -8160 -8159 -8158 -8157 -8156 -8155 -8154 -8153 -8152 -8151 -8150 -8149 -8148 -8147 -8146 -8145 -8144 -8143 -8142 -8141 -377 -8720 -8719 -8718 -8717 -8716 -8715 -8714 -8713 -8712 -8711 -8710 -8709 -8708 -8707 -8706 -8705 -8704 -8703 -8702 -8701 -81 -2794 -2793 -2792 158 -608 -348 4332 -9808 -9008 -4408 -4388 -4368 -4348 -4288 -3908 -3708 -2708 -2408 -8140 -8139 -8138 -8137 -8136 -8135 -8134 -8133 -8132 -8131 -8130 -8129 -8128 -8127 -8126 -8125 -8124 -8123 -8122 -8121 612 692 -634 -472 4350 -62 -9811 -1292 -392 9812 3252 -9810 3712 -2732 -9093 -772 -632 -637 3792 3332 -638 -636 -639 -633 -640 9092 631 -635 -732 -572 -652 -752 -9834 -9034 -4534 -4514 -4434 -3934 -3274 -2734 -9672 -2872 -2852 -2832 -2752 -2712 -2672 -2652 -2612 -474 -473 610 -2410 104 155 -9592 -8792 -1532 -1512 -1432 -1352 -1332 -9972 -9172 -4972 -4952 -4672 -4412 -4072 -3872 -3412 -9832 -9032 -4532 -4512 -4432 -4272 -3932 -3732 -3272 -9837 -9037 -4537 -4517 -4437 -3937 108 -9838 -9038 -4538 -4518 -4438 -3938 -9836 -9036 -4536 -4516 -4436 -3936 -9839 -9039 -4539 -4519 -4439 -3939 -9833 -9033 -4533 -4513 -4433 -3933 -3733 -3273 -2733 -9840 -9040 -4540 -4520 -4440 -3940 -391 -162 -771 3731 9831 9031 -9835 -9035 -4535 -4515 -4435 -3935 -3275 -9932 -9132 -4932 -4812 -4632 -4372 -4032 -3832 -3372 -9772 -8972 -4052 -3992 -3952 -3912 -3672 -3212 -9852 -9052 -4652 -4592 -4292 -3752 -3292 -9952 -9152 -4832 -4392 -3852 -3392 -9674 -2874 -2854 -2834 -2754 -2674 -2614 -9673 -8873 -2873 -2853 -2833 -2753 -2673 -2653 -2613 -9011 9010 -9012 611 252 3710 2710 -450 -770 4271 -294 -345 -298 -9591 -8791 -1531 -1511 -1431 -1351 -1331 -1291 -4411 70 -9971 -9171 -4971 -4951 -4671 -4071 -3871 -3411 -2871 3711 -471 77 -9650 -2550 -2530 -2510 -2450 -2370 -2350 -2270 9649 -9970 -9170 -4970 -4950 -4910 -4670 -4070 -3870 -3410 -2870 -780 -778 -779 -7060 -7059 -7058 -7057 -7056 -7055 -7054 -7053 -7052 -7051 -7050 -7049 -7048 -7047 -7046 -7045 -7044 -7043 -7042 -7041 201 -8080 -8079 -8078 -8077 -8076 -8075 -8074 -8073 -8072 -8071 -8070 -8069 -8068 -8067 -8066 -8065 -8064 -8063 -8062 -8061 -7140 -7139 -7138 -7137 -7136 -7135 -7134 -7133 -7132 -7131 -7130 -7129 -7128 -7127 -7126 -7125 -7124 -7123 -7122 -7121 1333 -3793 553 513 -9712 -260 2568 -9671 -2851 -2831 -2751 -2731 -2711 -2671 -2651 -2611 9670 -267 709 4908 -85 -9980 -9180 -4980 -4960 -4680 -4080 -9978 -9178 -4978 -4958 -4678 -4078 -9979 -9179 -4979 -4959 -4679 -4079 393 -693 -10393 -9752 9753 -413 3193 -6380 -6379 -6378 -6377 -6376 -6375 -6374 -6373 -6372 -6371 -6370 -6369 -6368 -6367 -6366 -6365 -6364 -6363 -6362 -6361 275 768 -468 -648 -78 -6520 -6519 -6518 -6517 -6516 -6515 -6514 -6513 -6512 -6511 -6510 -6509 -6508 -6507 -6506 -6505 -6504 -6503 -6502 271 268 -9908 -9110 2809 -569 -749 3809 2509 708 -8794 -773 -3293 8793 -653 1293 -753 -573 -733 -9893 -4833 -4813 -4593 -3993 -3333 -697 -694 -696 -698 9892 -700 -695 -699 -9613 -8813 -1893 -1873 -1793 -1713 -2268 3868 9168 -112 9968 -777 -776 -775 -774 -568 -748 -8868 -2848 -2828 -2808 -2748 -2668 -2648 8869 -9848 -9048 -4668 -4648 -4628 -4608 -3948 -3748 -2448 -9769 -8969 -4049 -4029 -4009 -3669 -2669 -2369 -9949 -9149 -4929 -4889 -3849 -2849 -2549 -9109 9108 3808 -728 2508 -9973 -9173 -4973 -4953 -4673 -4073 -3873 -3413 -9853 -9053 -4653 -4633 -3953 -3753 -1433 -9953 -9153 -4933 -4053 -3853 -3393 -1533 -9773 -8973 -4033 -3673 -3213 -1353 -9933 -9133 -3833 -3373 -1513 -9897 -9097 -4837 -4817 -4597 -3997 -9894 -9094 -4834 -4814 -4594 -3994 -3334 -9896 -9096 -4836 -4816 -4596 -3996 -9898 -9098 -4838 -4818 -4598 -3998 -9900 -9100 -4840 -4820 -4600 -4000 -9895 -9095 -4835 -4815 -4595 -3995 -3335 -9899 -9099 -4839 -4819 -4599 -3999 -3415 -3414 -9977 -9177 -4977 -4957 -4677 -4077 -9976 -9176 -4976 -4956 -4676 -4076 -9975 -9175 -4975 -4955 -4675 -4075 -9974 -9174 -4974 -4954 -4674 -4074 -9768 -8968 -4068 -4048 -4028 -4008 -3668 -2368 -9948 -9148 -4968 -4928 -4888 -3848 -2548 -175 -64 -9928 -9128 -4948 -4868 -3828 -2528 -182 -183 -141 -171 -145 -60 -190 -69 -189 -641 -9841 -9041 -4641 -4621 -4561 -3941 -3021 -742 -743 -170 -93 -9942 -9142 -4922 -4742 -4042 -3622 -3122 -9943 -9143 -4923 -4743 -4043 -3623 -645 -98 -123 -9845 -9045 -4645 -4625 -4125 -3945 -2125 -741 -745 -9945 -148 -4045 -48 -9941 -9141 -4921 -4741 -4041 -9145 -4925 -4225 -2225 -179 -153 -53 -562 -9762 -8962 -4022 -3962 -3442 -2942 -9765 9925 -565 -726 725 -729 -133 724 723 -8965 -4025 -3885 -2045 -9926 -9126 -4206 -3826 -2206 -17 -9924 -9923 -731 -734 -737 -740 -736 4205 -739 -738 -735 -730 2205 -185 -9929 -9129 -4869 -3829 -2829 -2529 -3831 -3830 178 -9125 4204 -9922 3604 -9124 -9921 4723 3603 -563 -136 -44 -1520 -1519 -1518 -1517 -1516 -1515 -1514 -9931 -9131 -4931 -4631 -4511 -4371 -4031 -3371 -9934 -9134 -4934 -4634 -4034 -3374 -1874 -9937 -9137 -4937 -4637 -4037 -1877 -9940 -9140 -4940 -4640 -4040 -1880 -9936 -9136 -4936 -4636 -4036 -1876 152 -9939 -9139 -4939 -4639 -4039 -1879 -9938 -9138 -4938 -4638 -4038 -1878 -9935 -9135 -4935 -4635 -4035 -3375 -1875 -9930 -9130 -4930 -4870 -4630 -4370 -4030 -3370 -2830 52 -83 -68 -368 9682 122 -9763 -8963 -4023 -3963 -3443 -188 -167 -160 -342 -110 -173 -242 -8540 -8539 -8538 -8537 -8536 -8535 -8534 -8533 -8532 -8531 -8530 -8529 -8528 -8527 -8526 -8525 -8524 -8523 -8522 -8521 482 -312 -114 -8020 -8019 -8018 -8017 -8016 -8015 -8014 -8013 -8012 -8011 -8010 -8009 -8008 -8007 -8006 -8005 -8004 -8003 -8002 -8001 -6020 -6019 -6018 -6017 -6016 -6015 -6014 -6013 -6012 -6011 -6010 -6009 -6008 -6007 -6006 -6005 -6004 -6003 -6002 -6001 -9681 -522 3042 -7420 -7419 -7418 -7417 -7416 -7415 -7414 -7413 -7412 -7411 -7410 -7409 -7408 -7407 -7406 -7405 -7404 -7403 -7402 -7401 -8922 -3602 -3542 8923 -510 -8910 -3390 -3350 -3290 -3250 -3210 -3190 -2610 -109 -72 105 -295 3271 -7080 -7079 -7078 -7077 -7076 -7075 -7074 -7073 -7072 -7071 -7070 -7069 -7068 -7067 -7066 -7065 -7064 -7063 -7062 -7061 511 -8912 8911 3191 3251 -651 -571 -751 -9851 -9051 -4651 -4431 -4291 -3951 -3751 -3291 -9771 -8971 -4051 -3931 -3911 -3671 -3211 -9951 -9151 -4531 -4391 -3851 -3391 -163 -138 -168 -514 -9714 -3394 -3294 -3214 -1294 9713 -515 -9715 -8915 -3395 -3295 -3215 -1295 -111 -106 -102 561 8961 -570 -9 -75 -125 -579 -580 -576 -578 -577 -575 9761 -574 -9770 -8970 -4050 -4010 -3950 -3910 -3670 -2670 -1360 -1359 -1358 -1357 -1356 -1355 -1354 -9779 -8979 -4059 -3959 -1719 -9780 -8980 -4060 -3960 -1720 -9776 -8976 -4056 -3956 -1716 -9778 -8978 -4058 -3958 -1718 -9777 -8977 -4057 -3957 -1717 -9775 -8975 -4055 -3955 -1715 -9774 -8974 -4054 -3954 -1714 -142 -137 -139 -144 -481 134 -8881 -3101 -3041 -2941 8882 -324 3850 -89 -7660 -7659 -7658 -7657 -7656 -7655 -7654 -7653 -7652 -7651 -7650 -7649 -7648 -7647 -7646 -7645 -7644 -7643 -7642 -7641 750 1701 186 79 129 27 84 172 9150 4650 650 -36 4890 -755 -759 -754 -760 9950 -758 -757 -756 4390 2850 401 -35 -376 -269 2750 -319 -31 3750 -217 -274 -362 4610 174 9050 4290 -660 -659 -658 -657 -656 -655 9850 -654 -1900 -1899 -1898 -1897 -1896 -1895 -1894 -9955 -9155 -4655 -1535 -9959 -9159 -4659 -1539 -9954 -9154 -4654 -1534 -9960 -9160 -4660 -1540 -9958 -9158 -4658 -1538 -9957 -9157 -4657 -1537 -9956 -9156 -4656 -1536 161 -661 8801 -420 -414 -419 -418 9601 -417 -415 -416 -721 -1861 97 -8700 -8699 -8698 -8697 -8696 -8695 -8694 -8693 -8692 -8691 -8690 -8689 -8688 -8687 -8686 -8685 -8684 -8683 -8682 -8681 259 -6560 -6559 -6558 -6557 -6556 -6555 -6554 -6553 -6552 -6551 -6550 -6549 -6548 -6547 -6546 -6545 -6544 -6543 -6542 -7560 -7559 -7558 -7557 -7556 -7555 -7554 -7553 -7552 -7551 -7550 -7549 -7548 -7547 -7546 -7545 -7544 -7543 -7542 -7541 -1800 -1799 -1798 -1797 -1796 -1795 -1794 -5520 -5519 -5518 -5517 -5516 -5515 -5514 -5513 -5512 -5511 -5510 -5509 -5508 -5507 -5506 -5505 -5504 -5503 -5502 -5501 -6660 -6659 -6658 -6657 -6656 -6655 -6654 -6653 -6652 -6651 -6650 -6649 -6648 -6647 -6646 -6645 -6644 -6643 -6642 -8420 -8419 -8418 -8417 -8416 -8415 -8414 -8413 -8412 -8411 -8410 -8409 -8408 -8407 -8406 -8405 -8404 -8403 -8402 -8401 254 -364 156 -9860 -9060 -1440 -9859 -9059 -1439 -9858 -9058 -1438 -9857 -9057 -1437 -9856 -9056 -1436 -9855 -9055 -1435 -9854 -9054 -1434 -18 -351 -9061 -4721 -3961 9062 -9620 -8820 -9614 -8814 -9619 -8819 -9618 -8818 -9617 -8817 -9615 -8815 -9616 -8816 -9121 -4021 -287 3102 -8460 -8459 -8458 -8457 -8456 -8455 -8454 -8453 -8452 -8451 -8450 -8449 -8448 -8447 -8446 -8445 -8444 -8443 -8442 -8441 -346 -13 10394 -8200 -8199 -8198 -8197 -8196 -8195 -8194 -8193 -8192 -8191 -8190 -8189 -8188 -8187 -8186 -8185 -8184 -8183 -8182 -8181 -140 -143 -6920 -6919 -6918 -6917 -6916 -6915 -6914 -6913 -6912 -6911 -6910 -6909 -6908 -6907 -6906 -6905 -6904 -6903 -6902 -6901 722 -1141 -8100 -8099 -8098 -8097 -8096 -8095 -8094 -8093 -8092 -8091 -8090 -8089 -8088 -8087 -8086 -8085 -8084 -8083 -8082 -8081 -394 10395 -9123 4722 9122 -10341 -9541 -8761 -8721 -8621 -8541 -8321 -8021 -7841 -7421 -7181 -6921 -6341 -6021 -5681 -5321 -9594 -399 -396 -397 9593 -400 -398 -395 10396 -9599 -8799 10399 -9596 -8796 -9597 -8797 10397 -9600 -8800 10400 -9598 -8798 10398 -9595 -8795 -330 -7780 -7779 -7778 -7777 -7776 -7775 -7774 -7773 -7772 -7771 -7770 -7769 -7768 -7767 -7766 -7765 -7764 -7763 -7762 -7761 -216 -5500 -5499 -5498 -5497 -5496 -5495 -5494 -5493 -5492 -5491 -5490 -5489 -5488 -5487 -5486 -5485 -5484 -5483 -5482 -5481 224 219 221 315 226 299 -206 -5300 -5299 -5298 -5297 -5296 -5295 -5294 -5293 -5292 -5291 -5290 -5289 -5288 -5287 -5286 -5285 -5284 -5283 -5282 845 -10405 -10044 -9246 -945 -5044 -5043 -865 -5042 -10041 -10042 -10043 -7145 -864 -5003 -825 -1165 -1105 -7146 -10404 -10145 -9345 -7625 -7565 -7465 -7225 -6725 -9983 -10065 -9265 -6665 -6625 -6585 -6565 -6525 -6485 -6465 -6425 -6405 -6385 -5745 -5405 -5045 -10064 -9264 -6664 -6624 -6584 -6564 -6524 -6484 -6464 -6424 -6404 -6384 -5744 -5404 -863 -10025 -9225 -6045 -6025 -5985 -5965 -5945 -5925 -5905 -5885 -5845 -5805 -5785 -5765 -5365 -5005 -10365 -9565 -8765 -8745 -8645 -8565 -8465 -8345 -8205 -8045 -7865 -7445 -7205 -6945 -5705 -5345 -10305 -9505 -8665 -8585 -8505 -8285 -7985 -7805 -7385 -6885 -5645 -10403 -9985 -10063 -9263 -6663 -6623 -6583 -6563 -6523 -6483 -6463 -6423 -6403 -6383 -5743 -5403 -862 -10402 -10062 -9262 -6662 -6622 -6582 -6562 -6522 -6482 -6462 -6422 -6382 -5742 -5402 -10401 -10363 -10364 -1164 -10283 -10285 -10284 -10222 -10223 -10225 -10224 -10002 -10001 -10003 -10005 -10004 -9564 -8764 -8744 -8644 -8564 -8464 -8344 -8204 -8044 -7864 -7444 -7204 -6944 -6044 -5704 -5344 -1163 -9563 -8763 -8743 -8643 -8563 -8463 -8343 -8203 -8043 -7863 -7443 -7203 -6943 -6043 -5703 -5343 -1162 -10362 -9562 -8762 -8742 -8642 -8562 -8462 -8342 -8202 -8042 -7862 -7442 -7202 -6942 -6042 -5702 -5342 962 -10161 -9363 -9365 -1062 -802 -9364 -9372 -10262 -9462 -8542 -8502 -8482 -8362 -8242 -8102 -7942 -7562 -7102 -6262 -5942 -5602 -5242 -7561 -9202 -5682 -5662 -5642 -5622 -5582 -5562 -5542 -5522 -5462 -5442 -5422 -5382 -5362 -4982 -801 -4981 -10182 -9201 -5701 -5661 -5641 -5621 -5601 -5581 -5561 -5541 -5521 -5461 -5441 -5421 -5381 -5361 -10361 -1161 -10301 -10261 -1061 -10242 -10181 -9561 -8741 -8641 -8561 -8461 -8341 -8201 -8041 -7861 -7441 -7201 -6941 -6041 -5341 -9461 -8501 -8481 -8361 -8241 -8101 -7941 -7101 -6261 -5941 -5241 -10124 -10081 -10082 -10022 -824 -10024 -9224 -6024 -5984 -5964 -5944 -5924 -5904 -5884 -5844 -5804 -5784 -5764 -5364 -5004 -823 -822 -10023 -9223 -6023 -5983 -5963 -5943 -5923 -5903 -5883 -5843 -5803 -5783 -5763 -5363 -9222 -6022 -5982 -5962 -5922 -5902 -5882 -5842 -5802 -5782 -5762 -5002 -821 -10021 -9221 -5981 -5961 -5921 -5901 -5881 -5841 -5801 -5781 -5761 -5001 -10302 -1104 -10304 -10303 -10281 -10282 -10221 -10123 -10083 -9504 -8664 -8584 -8504 -8284 -7984 -7804 -7384 -7144 -6884 -5644 -1103 -9503 -8663 -8583 -8503 -8283 -7983 -7803 -7383 -7143 -6883 -5643 -1102 -7142 -10102 -9502 -8662 -8582 -8282 -7982 -7802 -7382 -6882 -1101 -7141 -9501 -8661 -8581 -8281 -7981 -7801 -7381 -6881 -10106 -10103 963 -10162 -803 -1063 -9203 -5683 -5663 -5623 -5603 -5583 -5563 -5543 -5523 -5463 -5443 -5423 -5383 -4983 -10183 -10263 -9463 -8543 -8483 -8363 -8243 -8103 -7943 -7563 -7103 -6263 -5243 -10241 -10202 -1142 -1143 -10342 -9542 -8722 -8622 -8322 -8022 -7842 -7422 -7182 -6922 -6342 -5322 -10343 -9543 -8723 -8623 -8323 -8023 -7843 -7423 -7183 -6923 -6343 -5323 782 -9183 -942 -902 -247 5142 783 5022 784 5023 842 785 843 -10142 -9342 -7622 -7462 -7222 -6722 -9302 -7162 -7082 -7022 -7002 -6962 -6682 -6102 -901 -6120 -6119 -6118 -6117 -6116 -6115 -6114 -6113 -6112 -6111 -6110 -6109 -6108 -6107 -6106 -6105 -6104 -6103 -6101 262 231 256 253 302 -904 199 -9982 -9184 -943 -9189 5143 -903 -9185 -944 844 5024 -9243 6162 -9984 -9186 -905 786 5025 -9244 6163 -10101 -9301 -7161 -7081 -7021 -7001 -6961 -6681 -946 -10104 -9304 -7184 -7164 -7104 -7084 -7024 -7004 -6964 -6684 -5444 -10143 -9343 -7623 -7463 -7223 -6723 -9303 -7163 -7083 -7023 -7003 -6963 -6683 -10144 -9344 -7624 -7564 -7464 -7224 -6724 -9245 250 -10105 -9305 -7185 -7165 -7105 -7085 -7025 -7005 -6965 -6685 -5445 -10406 -9187 -10066 -906 -1106 -10146 -9346 -7626 -7566 -7466 -7226 -6726 -10122 -9306 -7206 -7186 -7166 -7106 -7086 -7026 -7006 -6966 -6686 -6406 -5786 -5446 -10306 -9506 -8666 -8586 -8506 -8286 -7986 -7806 -7386 -6886 -5986 -5646 10322 -225 -334 -10026 -1123 1122 -1124 -379 -1126 -1125 -5680 -5679 -5678 -5677 -5676 -5675 -5674 -5673 -5672 -5671 -5670 -5669 -5668 -5667 -5666 -5665 -5664 323 333 -7860 -7859 -7858 -7857 -7856 -7855 -7854 -7853 -7852 -7851 -7850 -7849 -7848 -7847 -7846 -7845 -7844 -10323 -9523 -8603 -8423 -8303 -8163 -7823 -6323 -5303 -10321 -1134 -9524 -1137 -1135 -1136 5302 -982 -922 -882 -1139 -1132 -1138 -1130 -1140 -1128 -1127 -1131 -1133 -1129 -300 7822 7621 6322 -10324 -8724 -8604 -8424 -8304 -8164 -7824 -6324 -5304 -8760 -8759 -8758 -8757 -8756 -8755 -8754 -8753 -8752 -8751 -8750 -8749 -8748 -8747 -8746 -10326 -9526 -8726 -8606 -8426 -8306 -8166 -7826 -6626 -6326 -5306 -10325 -9525 -8725 -8605 -8425 -8305 -8165 -7825 -6325 -5305 -10334 -9534 -8734 -8674 -8614 -8434 -8314 -8174 -7834 -7634 -7174 -6634 -6334 -5314 -10337 -9537 -8737 -8677 -8617 -8437 -8317 -8177 -7837 -7637 -7177 -6637 -6337 -5317 -10335 -9535 -8735 -8675 -8615 -8435 -8315 -8175 -7835 -7635 -7175 -6635 -6335 -5315 -10336 -9536 -8736 -8676 -8616 -8436 -8316 -8176 -7836 -7636 -7176 -6636 -6336 -5316 207 -9382 -7962 -7922 -7902 -7882 -7682 -6762 -6182 -5162 -981 -9322 -7362 -7322 -7302 -7282 -7242 -6702 -6122 -5102 -7221 -921 -9282 -6862 -6822 -6802 -6782 -6742 -6082 -5062 -881 -10339 -9539 -8739 -8679 -8619 -8439 -8319 -8179 -7839 -7639 -7179 -6639 -6339 -5319 -10332 -9532 -8732 -8672 -8612 -8432 -8312 -8172 -7832 -7632 -7172 -6632 -6332 -5312 -10338 -9538 -8738 -8678 -8618 -8438 -8318 -8178 -7838 -7638 -7178 -6638 -6338 -5318 -10330 -9530 -8730 -8670 -8610 -8430 -8310 -8170 -7830 -7630 -7170 -6630 -6330 -5310 -10340 -9540 -8740 -8680 -8620 -8440 -8320 -8180 -7840 -7640 -7180 -6640 -6340 -5320 -10328 -9528 -8728 -8668 -8608 -8428 -8308 -8168 -7828 -7628 -7168 -6628 -6328 -5308 -10327 -9527 -8727 -8667 -8607 -8427 -8307 -8167 -7827 -7627 -7167 -6627 -6327 -5307 -10331 -9531 -8731 -8671 -8611 -8431 -8311 -8171 -7831 -7631 -7171 -6631 -6331 -5311 -10333 -9533 -8733 -8673 -8613 -8433 -8313 -8173 -7833 -7633 -7173 -6633 -6333 -5313 -10329 -9529 -8729 -8669 -8609 -8429 -8309 -8169 -7829 -7629 -7169 -6629 -6329 -5309 941 1121 -303 258 -9381 -7961 -7921 -7901 -7881 -7681 -6761 -6181 -5161 -10121 -9321 -7361 -7321 -7301 -7281 -7241 -6701 -6121 -5101 -9281 -6861 -6821 -6801 -6781 -6741 -6721 -6081 -5061 -378 -375 263 -273 -841 -781 9341 -951 -949 248 -958 -954 -1001 -960 -1021 -953 10141 -1041 -950 -959 -947 -1081 -956 -948 -952 -957 -955 -9522 9521 -7240 -7239 -7238 -7237 -7236 -7235 -7234 -7233 -7232 -7231 -7230 -7229 -7228 -7227 -278 261 -9241 -6321 -6281 -6241 -6221 -6201 -6161 -5021 9242 -9181 -5301 -5261 -5221 -5201 -5181 -5141 9182 -10151 -9351 -7571 -7471 -6731 -10149 -9349 -7569 -7469 -6729 -10158 -9358 -7578 -7478 -6738 -10154 -9354 -7574 -7474 -6734 -10201 -9401 -8161 -7701 -10160 -9360 -7580 -7480 -6740 -9421 -8301 -8261 -8221 -7721 -10153 -9353 -7573 -7473 -6733 -9441 -8421 -8381 -7741 -10150 -9350 -7570 -7470 -6730 -10159 -9359 -7579 -7479 -6739 -10147 -9347 -7567 -7467 -6727 -9481 -8601 -7781 -10156 -9356 -7576 -7476 -6736 -10148 -9348 -7568 -7468 -6728 -10152 -9352 -7572 -7472 -6732 -10157 -9357 -7577 -7477 -6737 -10155 -9355 -7575 -7475 -6735 -10125 246 -860 -320 7461 -10060 -9260 -6360 -6300 -6280 -6260 -6240 -6220 -6200 -6180 -6140 -6100 -5400 -5040 961 -964 -9362 9361 7821 -10164 -7784 -7744 -7724 -7704 -7684 -7244 -6744 -6164 -5144 10163 -973 -972 -977 -975 -971 -978 -970 -966 -979 -967 -969 -968 -974 -976 -965 -980 -265 -234 -10173 -9373 -7873 -7813 -7793 -7753 -7733 -7713 -7693 -7253 -7013 -6753 -6473 -6173 -5853 -5153 -10172 -7872 -7812 -7792 -7752 -7732 -7712 -7692 -7252 -7012 -6752 -6472 -6172 -5852 -5152 -10177 -9377 -7877 -7817 -7797 -7757 -7737 -7717 -7697 -7257 -7017 -6757 -6477 -6177 -5857 -5157 -10175 -9375 -7875 -7815 -7795 -7755 -7735 -7715 -7695 -7255 -7015 -6755 -6475 -6175 -5855 -5155 -10171 -9371 -7871 -7811 -7791 -7751 -7731 -7711 -7691 -7251 -7011 -6751 -6471 -6171 -5851 -5151 -10178 -9378 -7878 -7818 -7798 -7758 -7738 -7718 -7698 -7258 -7018 -6758 -6478 -6178 -5858 -5158 -10170 -9370 -7870 -7810 -7790 -7750 -7730 -7710 -7690 -7250 -7010 -6750 -6470 -6170 -5850 -5150 -10166 -9366 -7866 -7786 -7746 -7726 -7706 -7686 -7246 -6746 -6466 -6166 -5846 -5146 -10179 -9379 -7879 -7819 -7799 -7759 -7739 -7719 -7699 -7259 -7019 -6759 -6479 -6179 -5859 -5159 -10167 -9367 -7867 -7807 -7787 -7747 -7727 -7707 -7687 -7247 -7007 -6747 -6467 -6167 -5847 -5147 -10169 -9369 -7869 -7809 -7789 -7749 -7729 -7709 -7689 -7249 -7009 -6749 -6469 -6169 -5849 -5149 -10168 -9368 -7868 -7808 -7788 -7748 -7728 -7708 -7688 -7248 -7008 -6748 -6468 -6168 -5848 -5148 -10174 -9374 -7874 -7814 -7794 -7754 -7734 -7714 -7694 -7254 -7014 -6754 -6474 -6174 -5854 -5154 -10176 -9376 -7876 -7816 -7796 -7756 -7736 -7716 -7696 -7256 -7016 -6756 -6476 -6176 -5856 -5156 -10165 -7785 -7745 -7725 -7705 -7685 -7245 -6745 -6165 -5145 -10180 -9380 -7880 -7820 -7800 -7760 -7740 -7720 -7700 -7260 -7020 -6760 -6480 -5860 -5160 -335 -332 -292 847 -10407 -10046 -9248 -827 -5046 -867 846 -1107 -1167 -907 -10027 -9227 -6047 -6027 -5987 -5967 -5947 -5927 -5907 -5887 -5807 -5787 -5767 -5747 -5367 -5007 -826 -866 787 -10067 -9267 -6667 -6587 -6567 -6527 -6487 -6427 -6407 -6387 -5407 -5047 -10045 -9247 -1166 5026 -10307 -9507 -8587 -8507 -8287 -7987 -7387 -7147 -6887 -5647 -10367 -9567 -8767 -8647 -8567 -8467 -8347 -8207 -8047 -7447 -7207 -6947 -5707 -5347 -10107 -9307 -7187 -7107 -7087 -7027 -6967 -6687 -5447 -9226 -6046 -6026 -5966 -5946 -5926 -5906 -5886 -5806 -5766 -5746 -5366 -5006 -9266 -6666 -6586 -6566 -6526 -6486 -6426 -6386 -5406 -9986 -9188 788 5027 -10227 -10127 -10366 -9566 -8766 -8646 -8566 -8466 -8346 -8206 -8046 -7446 -6946 -5706 -5346 -10087 -10007 -10286 -10126 -10006 -10408 -9987 -9193 -908 -800 -1108 -10108 -9308 -7208 -7188 -7148 -7108 -7088 -7028 -6968 -6688 -6408 -5788 -5448 -10000 -9200 -5360 -5340 -5280 -5260 -5240 -5220 -5200 -5180 -5120 -5080 -5060 -5020 -5000 -10308 -9508 -8588 -8508 -8288 -7988 -7388 -6888 -5988 -5648 -7149 -850 -10050 -9250 -6350 -6290 -6270 -6250 -6230 -6210 -6190 -6130 -6090 -5390 -5030 -859 -853 -851 -856 -857 -852 -855 -858 -854 -10059 -9259 -6359 -6299 -6279 -6259 -6239 -6219 -6199 -6139 -6099 -5399 -5039 -10053 -9253 -6353 -6293 -6273 -6253 -6233 -6213 -6193 -6133 -6093 -5393 -5033 -10051 -9251 -6351 -6291 -6271 -6251 -6231 -6211 -6191 -6131 -6091 -5391 -5031 -10056 -9256 -6356 -6296 -6276 -6256 -6236 -6216 -6196 -6136 -6096 -5396 -5036 -10057 -9257 -6357 -6297 -6277 -6257 -6237 -6217 -6197 -6137 -6097 -5397 -5037 -10052 -9252 -6352 -6292 -6272 -6252 -6232 -6212 -6192 -6132 -6092 -5392 -5032 -10055 -9255 -6355 -6295 -6275 -6255 -6235 -6215 -6195 -6135 -6095 -5395 -5035 -10058 -9258 -6358 -6298 -6278 -6258 -6238 -6218 -6198 -6138 -6098 -5398 -5038 -10054 -9254 -6354 -6294 -6274 -6254 -6234 -6214 -6194 -6134 -6094 -5394 -5034 1004 -10203 -9405 -9406 -1084 -9407 -1024 -1144 -1020 -1044 6204 5184 -9484 -8624 -8484 -8384 -8264 -7964 -7364 -6864 -6284 -5624 -5264 -1083 -1082 -9424 -8324 -8244 -8224 -7904 -7304 -6804 -6224 -5564 -5204 -1023 -10344 -9544 -8544 -8024 -7424 -6924 -6344 -5684 -5324 -10220 -9420 -8220 -8120 -7900 -7300 -6800 -5900 -5560 -10244 -9444 -8364 -7924 -7324 -6824 -6244 -5584 -5224 -1042 -10264 -9483 -8383 -8263 -7963 -7783 -7363 -6863 -6283 -5263 -9482 -8602 -8382 -8262 -7782 -6282 -5262 -9423 -8223 -7903 -7723 -7303 -6803 -6223 -5203 -1022 -328 -9442 -8422 -8222 -7742 -6242 -5222 -372 -331 -9422 -8302 -7722 -6222 -5202 -357 327 -363 1003 -9404 7703 -1043 5183 6203 -10243 -9443 -7923 -7743 -7323 -6823 -6243 -5223 -1145 -329 -10345 -9545 -8625 -8545 -8325 -8025 -7425 -6925 -6345 -5685 -5325 -10287 -10226 1047 -10246 -9448 -9449 6247 5227 -1007 -1147 -1146 203 -10207 -8107 -7887 -7287 -6787 -6207 -5547 -5187 -1010 -1008 -1009 -10347 -9547 -8627 -8547 -8327 -8027 -7427 -6927 -6347 -5687 -5327 -10346 -9546 -8626 -8546 -8326 -8026 -7426 -6926 -6346 -5686 -5326 -10210 -9410 -8210 -8110 -7890 -7290 -6790 -5890 -5550 -5190 -1011 -1016 -1018 -1012 -1014 -10208 -9408 -8208 -8108 -7888 -7288 -6788 -6208 -5888 -5548 -5188 -10209 -9409 -8209 -8109 -7889 -7289 -6789 -6209 -5889 -5549 -5189 848 -10211 -9411 -8211 -8111 -7891 -7291 -6791 -5891 -5551 -5191 -1015 -1017 -1019 -10216 -9416 -8216 -8116 -7896 -7296 -6796 -5896 -5556 -5196 -10218 -9418 -8218 -8118 -7898 -7298 -6798 -5898 -5558 -5198 -10212 -9412 -8212 -8112 -7892 -7292 -6792 -5892 -5552 -5192 -1013 -10214 -9414 -8214 -8114 -7894 -7294 -6794 -5894 -5554 -5194 -10047 -9249 -1168 -868 -828 5028 -10215 -9415 -8215 -8115 -7895 -7295 -6795 -5895 -5555 -5195 -10217 -9417 -8217 -8117 -7897 -7297 -6797 -5897 -5557 -5197 -10219 -9419 -8219 -8119 -7899 -7299 -6799 -5899 -5559 -5199 -10213 -9413 -8213 -8113 -7893 -7293 -6793 -5893 -5553 -5193 -236 -10368 -9568 -8768 -8648 -8568 -8468 -8348 -8048 -7448 -6948 -6668 -6048 -5708 -5348 -10068 -9268 -6588 -6568 -6528 -6488 -6428 -6388 -5748 -5408 -5048 -10028 -9228 -6028 -5968 -5948 -5928 -5908 -5808 -5768 -5368 -5008 -352 336 -10288 -10228 -10086 -10085 789 983 -10409 -9988 -9190 -909 -1109 -9384 -9385 -9386 -9387 -9389 6183 7683 -923 5163 7883 984 9383 -10109 -9309 -7209 -7189 -7109 -7089 -7029 -6969 -6689 -6409 -5789 -5449 -10309 -9509 -8589 -8509 -8289 -7989 -7389 -6889 -5989 -5649 326 -9323 -7283 -7243 -6703 -6123 -5103 -304 200 5164 -924 6184 7884 985 290 -9324 -7284 -6704 -6124 -5464 -5104 -10184 -925 6185 5165 -9325 -7365 -7325 -7305 -7285 -6705 -6125 -5465 -5105 927 -9328 -9288 -9329 -987 887 -1067 6127 7327 928 5107 888 929 10247 -10187 -7967 -7947 -7927 -7907 -6767 -6187 -5527 -5167 -988 -991 -1000 6707 -9289 6087 6827 5067 -10267 -9467 -8487 -8367 -8247 -6267 -5607 -5247 308 -9332 -1068 5108 6128 6708 5068 889 6088 -10128 -9330 5109 -1069 -989 6709 -1048 -296 -10188 -9388 -8028 -7968 -7948 -7928 -7908 -6768 -6188 -5528 -5168 -998 -995 -10191 -9391 -8051 -8031 -7991 -7971 -7951 -7931 -7911 -7031 -6771 -6491 -5531 -5171 -992 -10200 -9400 -8060 -8040 -8000 -7980 -7960 -7940 -7920 -7040 -6780 -6500 -5540 283 -10268 -9468 -8548 -8488 -8368 -8248 -6268 -5608 -5248 -10088 -9290 -10084 5069 -10269 -9469 -8569 -8549 -8489 -8369 -8249 -7949 -6569 -6269 -5949 -5609 -5249 -10189 -8049 -8029 -7969 -7929 -7909 -6769 -6489 -6189 -5529 -5169 -990 -10248 -8388 -8228 -7328 -6828 -6248 -5588 -5228 -1051 -1053 -1055 -1052 -1049 -1059 -1058 -1060 -1057 -1056 -1054 -1050 -7100 -7099 -7098 -7097 -7096 -7095 -7094 -7093 -7092 -7091 -7090 353 361 -10198 -9398 -8058 -8038 -7998 -7978 -7958 -7938 -7918 -7038 -6778 -6498 -5538 -5178 -10195 -9395 -8055 -8035 -7995 -7975 -7955 -7935 -7915 -7035 -6775 -6495 -5535 -5175 -996 -10192 -9392 -8052 -8032 -7992 -7972 -7952 -7932 -7912 -7032 -6772 -6492 -5532 -5172 -1006 10204 -10190 -9390 -8050 -8030 -7990 -7970 -7950 -7930 -7910 -7030 -6770 -6490 -5530 -5170 -993 -10251 -9451 -8471 -8391 -8371 -8231 -7331 -6831 -5931 -5591 -5231 -10253 -9453 -8473 -8393 -8373 -8233 -7933 -7333 -6833 -5933 -5593 -5233 -10255 -9455 -8475 -8395 -8375 -8235 -7335 -6835 -5935 -5595 -5235 -10252 -9452 -8472 -8392 -8372 -8232 -7332 -6832 -5932 -5592 -5232 -10249 -8469 -8389 -8229 -7329 -6829 -6249 -5929 -5589 -5229 -10259 -9459 -8479 -8399 -8379 -8239 -7939 -7339 -6839 -5939 -5599 -5239 -10258 -9458 -8478 -8398 -8378 -8238 -7338 -6838 -5938 -5598 -5238 -10260 -9460 -8480 -8400 -8380 -8240 -7340 -6840 -5940 -5600 -10257 -9457 -8477 -8397 -8377 -8237 -7937 -7337 -6837 -5937 -5597 -5237 -10256 -9456 -8476 -8396 -8376 -8236 -7936 -7336 -6836 -5936 -5596 -5236 -10254 -9454 -8474 -8394 -8374 -8234 -7934 -7334 -6834 -5934 -5594 -5234 -10250 -9450 -8470 -8390 -8370 -8230 -7330 -6830 -5930 -5590 -5230 -10196 -9396 -8056 -8036 -7996 -7976 -7956 -7916 -7036 -6776 -6496 -5536 -5176 -999 -10206 -8106 -7886 -7286 -6786 -6206 -5546 -5186 -306 -1005 805 -10193 -9393 -8053 -8033 -7993 -7973 -7953 -7913 -7033 -6773 -6493 -5533 -5173 -365 -238 -10199 -9399 -8059 -8039 -7999 -7979 -7959 -7919 -7039 -6779 -6499 -5539 -5179 347 313 -10205 -8105 -7885 -6785 -6205 -5545 -5185 804 -9206 4985 806 807 5385 808 5525 380 338 243 8104 -1072 5544 -9205 4984 5384 9204 5524 810 -9207 4986 5386 -9208 -9209 5387 4987 5427 5587 5467 -9210 -9211 -9215 5428 5468 809 4988 5388 1064 -10272 -9472 -8572 -8552 -8512 -8492 -8252 -7112 -6572 -5952 -5612 -5252 -10410 -10009 -9219 -10008 4989 5469 5429 -9465 -884 9464 7944 1065 6264 5604 5244 -1070 -1071 -9284 -6784 -6764 -6084 -5424 -5064 -883 -9466 -885 6265 5245 7945 -1074 -1078 -1075 -1076 5605 -1073 -1077 -1079 -1080 -297 255 204 -10270 -9470 -8570 -8550 -8510 -8490 -8250 -7110 -6570 -5950 -5610 -5250 -10271 -9471 -8571 -8551 -8511 -8491 -8251 -7111 -6571 -5951 -5611 -5251 -281 -9283 -6783 -6763 -6743 -6083 -5063 -9285 -6865 -6825 -6805 -6765 -6085 -5425 -5065 -279 -10274 -9474 -8574 -8554 -8514 -8494 -8254 -7954 -7114 -6574 -5954 -5614 -5254 -10278 -9478 -8578 -8558 -8518 -8498 -8258 -7118 -6578 -5958 -5618 -5258 -10275 -9475 -8575 -8555 -8515 -8495 -8255 -7115 -6575 -5955 -5615 -5255 -10276 -9476 -8576 -8556 -8516 -8496 -8256 -7116 -6576 -5956 -5616 -5256 -10273 -9473 -8573 -8553 -8513 -8493 -8253 -7113 -6573 -5953 -5613 -5253 -10277 -9477 -8577 -8557 -8517 -8497 -8257 -7957 -7117 -6577 -5957 -5617 -5257 -10279 -9479 -8579 -8559 -8519 -8499 -8259 -7119 -6579 -5959 -5619 -5259 -10280 -9480 -8580 -8560 -8520 -8500 -8260 -7120 -6580 -5960 -5620 276 354 366 -370 -367 -270 288 -239 -369 360 311 286 -926 -9326 -7366 -7326 -7306 -6706 -6126 -5466 -5106 9327 1026 -9427 -9428 1027 1028 5206 6226 5566 6227 5567 5207 6807 7307 8227 -9429 1029 6228 5208 5568 6808 7308 -9430 5209 7309 6809 5569 1148 -9549 9548 6348 5328 6928 7428 5688 1149 8328 208 -10348 -9550 -9551 8329 5329 -869 6929 7429 5689 358 10048 -10069 -9269 -6669 -6589 -6529 -6429 -6389 -5749 -5409 -5049 -849 -10129 930 790 -7151 -10049 -6349 -6289 -6229 -6129 -6089 -5389 -5029 -9331 5470 5110 890 -9989 -9191 -910 4990 -1110 -10089 -9291 6710 5070 5430 -10110 -9310 -7210 -7190 -7150 -6970 -6690 -6410 -5790 -5450 -10310 -9510 -8590 -8290 -7390 -6890 -5990 -5650 931 891 811 -10411 -10130 5471 -10090 -9292 -9293 5431 6711 -10010 -9212 -10289 -6030 1046 -10245 -9447 6246 5226 5586 8226 1025 -9426 9425 6225 5205 8245 5565 7905 337 1045 -9446 9445 5225 6245 7925 8365 5585 8225 6029 829 -9230 5009 -9231 9229 5909 5809 5769 5369 986 -10185 5166 -9397 6186 -994 -997 10186 -293 5526 -343 7906 7926 10265 -10194 -9394 -8054 -8034 -7994 -7974 -7914 -7034 -6774 -6494 -5534 -5174 -10197 -8057 -8037 -7997 -7977 -7917 -7037 -6777 -6497 -5537 -5177 340 -1066 -344 -341 -266 -10266 -8486 -8366 -8246 -7946 -6266 -5606 -5246 8485 1085 -9486 9485 8265 -9489 6285 5265 1086 8385 7965 5625 9286 -9487 8266 8386 7966 5266 6286 1088 1087 5626 886 -9495 8268 5268 6288 1089 8628 7368 6868 5628 -9488 8267 5267 6287 8387 7367 6867 5627 -9287 6826 5426 5066 6086 6806 6866 6766 -9490 8269 -9491 1090 5269 -1100 5969 8629 7369 6869 5629 373 280 5270 5630 7370 6870 -10300 -9500 -8660 -8640 -8600 -8280 -7380 -6880 -6600 -5980 -5640 870 -9271 9270 830 5410 -1150 5750 871 6430 6390 5050 6590 -10029 5810 5370 5770 5010 5970 -10350 -8770 -8630 -8330 -7430 -6930 -5690 -5330 -1152 -1160 -1157 -1159 -1155 -1156 -1158 10349 -1154 -1153 -1151 -10070 -9272 -1111 5411 6391 6431 -10352 -9552 -8772 -8632 -8332 -7432 -7192 -6932 -6032 -5692 -5332 -10360 -9560 -8780 -8340 -7440 -7200 -6940 -6040 -5700 -10357 -9557 -8777 -8637 -8337 -7437 -7197 -6937 -6037 -5697 -5337 -10359 -9559 -8779 -8639 -8339 -7439 -7199 -6939 -6039 -5699 -5339 -10355 -9555 -8775 -8635 -8335 -7435 -7195 -6935 -6035 -5695 -5335 -10356 -9556 -8776 -8636 -8336 -7436 -7196 -6936 -6036 -5696 -5336 -10358 -9558 -8778 -8638 -8338 -7438 -7198 -6938 -6038 -5698 -5338 -10354 -9554 -8774 -8634 -8334 -7434 -7194 -6934 -6034 -5694 -5334 -10353 -9553 -8773 -8633 -8333 -7433 -7193 -6933 -6033 -5693 -5333 -10351 -8771 -8631 -8331 -7431 -7191 -6931 -6031 -5691 -5331 -10311 -9511 -8591 -8291 -7391 -6891 -5991 -5651 -301 8769 932 812 1169 -10412 -10131 -9333 5472 -10011 -9213 -9570 9569 1170 5349 5709 6049 7449 6949 8349 8649 -10369 -9571 6670 5350 1171 7450 6950 6050 5710 8650 -10370 -9572 6671 5711 6951 7451 -9232 831 -10030 832 6051 5811 5751 5371 5771 -10031 -9233 5812 5372 911 -9312 -791 9311 -1031 -1091 5451 7211 6971 6691 6411 -9313 5791 -9991 -5351 -5271 -5211 -5111 -5071 -5051 -5011 -4991 -794 -792 -799 -798 -795 -797 -793 -796 9990 -10231 -9431 -8351 -8271 -7311 -6811 -6531 -5911 -5571 -1037 -1034 -1036 -1032 -1039 -10291 -8651 -7371 -6871 -6591 -5971 -5631 -371 -1095 -1098 10290 -1093 -1094 -1096 -1097 -1099 -1092 -9994 -9194 -5354 -5274 -5214 -5114 -5074 -5054 -5014 -4994 -9992 -9192 -5352 -5272 -5212 -5112 -5072 -5052 -5012 -4992 -9999 -9199 -5359 -5279 -5219 -5119 -5079 -5059 -5019 -4999 -9998 -9198 -5358 -5278 -5218 -5118 -5078 -5058 -5018 -4998 -9995 -9195 -5355 -5275 -5215 -5115 -5075 -5055 -5015 -4995 -9997 -9197 -5357 -5277 -5217 -5117 -5077 -5057 -5017 -4997 -9993 -5353 -5273 -5213 -5113 -5073 -5053 -5013 -4993 -9996 -9196 -5356 -5276 -5216 -5116 -5076 -5056 -5016 -4996 6530 -10237 -9437 -8357 -8297 -8277 -7317 -6817 -6537 -5917 -5577 -10234 -9434 -8354 -8294 -8274 -7314 -6814 -6534 -5914 -5574 -1040 -10236 -9436 -8356 -8296 -8276 -7316 -6816 -6536 -5916 -5576 -1038 -10232 -9432 -8352 -8292 -8272 -7312 -6812 -6532 -5912 -5572 -10239 -9439 -8359 -8299 -8279 -7319 -6819 -6539 -5919 -5579 -8599 -8598 -8597 -8596 -8595 -8594 -8593 -8592 -10295 -8655 -8275 -7375 -6875 -6595 -5975 -5635 -10298 -9498 -8658 -8278 -7378 -6878 -6598 -5978 -5638 -10293 -9493 -8653 -8273 -7373 -6873 -6593 -5973 -5633 -10294 -9494 -8654 -7374 -6874 -6594 -5974 -5634 -10296 -9496 -8656 -7376 -6876 -6596 -5976 -5636 -10297 -9497 -8657 -7377 -6877 -6597 -5977 -5637 -10299 -9499 -8659 -7379 -6879 -6599 -5979 -5639 -10292 -9492 -8652 -7372 -6872 -6592 -5972 -5632 1030 -10240 -9440 -8360 -8300 -7320 -6820 -6540 -5920 -5580 -10238 -9438 -8358 -8298 -7318 -6818 -6538 -5918 -5578 9512 -10229 -9435 5210 8270 8350 7310 5910 6810 5570 10230 -1033 -1035 1112 -10233 -9433 -8353 -8293 -7313 -6813 -6533 -5913 -5573 -10235 -8355 -8295 -7315 -6815 -6535 -5915 -5575 -9513 -1172 -872 5652 7392 5992 -356 -10372 -7452 -7212 -6952 -6672 -6052 -5712 -1173 -1178 -1175 -1180 -1176 -1179 10371 -1177 -1174 -10072 -6432 -6412 -6392 -5752 -5412 -876 -878 -877 -874 -875 -873 10071 -879 -880 -10373 -9573 -7453 -7213 -6953 -6673 -6053 -5713 -10378 -9578 -7458 -7218 -6958 -6678 -6058 -5718 -10375 -9575 -7455 -7215 -6955 -6675 -6055 -5715 -10380 -9580 -7460 -7220 -6960 -6680 -6060 -5720 -10376 -9576 -7456 -7216 -6956 -6676 -6056 -5716 -10379 -9579 -7459 -7219 -6959 -6679 -6059 -5719 -10377 -9577 -7457 -7217 -6957 -6677 -6057 -5717 -10374 -9574 -7454 -7214 -6954 -6674 -6054 -5714 -10076 -9276 -6436 -6416 -6396 -5756 -5416 -10078 -9278 -6438 -6418 -6398 -5758 -5418 -10077 -9277 -6437 -6417 -6397 -5757 -5417 -10074 -9274 -6434 -6414 -6394 -5754 -5414 -10075 -9275 -6435 -6415 -6395 -5755 -5415 -10073 -9273 -6433 -6413 -6393 -5753 -5413 -10079 -9279 -6439 -6419 -6399 -5759 -5419 -10080 -9280 -6440 -6420 -6400 -5760 -5420 10413 -1113 -933 -913 -893 -833 -813 10414 -10313 -7393 -7153 -6893 -5993 -5653 -1117 10312 -1115 -1118 -1116 -1119 -1120 -1114 -10133 -6973 -6713 -5813 -5473 -939 -940 -936 -935 -938 -937 -934 10132 -10113 -6693 -5793 -5453 -914 -916 -919 -920 -918 -10093 -5773 -5433 -898 -897 -895 -894 -896 -10033 -5373 -838 -836 10032 -837 -840 -839 -835 -834 -10013 -818 -819 -820 -814 -815 -817 10012 -816 10415 -10317 -9517 -7397 -7157 -6897 -5997 -5657 -10315 -9515 -7395 -7155 -6895 -5995 -5655 -10318 -9518 -7398 -7158 -6898 -5998 -5658 -10316 -9516 -7396 -7156 -6896 -5996 -5656 -10319 -9519 -7399 -7159 -6899 -5999 -5659 -10320 -9520 -7400 -7160 -6900 -6000 -5660 -10314 -9514 -7394 -7154 -6894 -5994 -5654 -10139 -9339 -6979 -6719 -5819 -5479 -10140 -9340 -6980 -6720 -5820 -5480 -10136 -9336 -6976 -6716 -5816 -5476 -10135 -9335 -6975 -6715 -5815 -5475 -10138 -9338 -6978 -6718 -5818 -5478 -10137 -9337 -6977 -6717 -5817 -5477 -10134 -9334 -6974 -6714 -5814 -5474 -10114 -9314 -6694 -5794 -5454 -915 -10116 -9316 -6696 -5796 -5456 -917 -10119 -9319 -6699 -5799 -5459 -10120 -9320 -6700 -5800 -5460 -10118 -9318 -6698 -5798 -5458 -10098 -9298 -5778 -5438 -899 -900 -10097 -9297 -6697 -5777 -5437 -10095 -9295 -6695 -5775 -5435 -10094 -9294 -5774 -5434 -10096 -9296 -5776 -5436 -10038 -9238 -5378 10418 -10036 -9236 -5376 10416 -10037 -9237 -5797 -5377 -10040 -9240 -5780 -5380 10420 -10039 -9239 -5779 -5379 10419 -10035 -9235 -5795 -5375 -10034 -9234 -5374 -10018 -9218 -10019 -5439 -10020 -9220 -5440 -10014 -9214 -10015 -5455 -10017 -9217 -5457 10417 -10016 -9216 7152 6892 -10115 -9315 -10117 -9317 -10099 -9299 -10100 -9300 912 892 -10111 10112 5452 6972 5792 6692 -10091 6712 10092 5772 5432 -1002 -9402 -8162 -7702 -6202 -5182 9403 -350  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-3290820-1303789281/watcher-3290820-1303789281 -o /tmp/evaluation-result-3290820-1303789281/solver-3290820-1303789281 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3290820-1303789281.cnf 

running on 2 cores: 1,3

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

[startup+0 s]
/proc/loadavg: 4.13 4.16 3.68 5/213 21447
/proc/meminfo: memFree=13094212/32951124 swapFree=67111528/67111528
[pid=21447] ppid=21445 vsize=11800 CPUtime=0 cores=1,3
/proc/21447/stat : 21447 (runsolver) R 21445 20968 20968 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 1 0 471343817 12083200 23 33554432000 4194304 5434984 140737188016592 18446744073709551615 4872037 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/21447/statm: 2950 23 3 303 0 2644 0
Current StackSize limit: 10240 KiB


[startup+0.0420751 s]
/proc/loadavg: 4.13 4.16 3.68 5/213 21447
/proc/meminfo: memFree=13094212/32951124 swapFree=67111528/67111528
[pid=21447] ppid=21445 vsize=113136 CPUtime=0.02 cores=1,3
/proc/21447/stat : 21447 (mono) R 21445 21447 20968 0 -1 4202496 2919 0 0 0 2 0 0 0 22 0 9 0 471343817 115851264 2827 33554432000 4194304 7232020 140734606959952 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21447/statm: 28284 2829 975 742 0 20855 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 113136

[startup+0.101033 s]
/proc/loadavg: 4.13 4.16 3.68 5/213 21447
/proc/meminfo: memFree=13094212/32951124 swapFree=67111528/67111528
[pid=21447] ppid=21445 vsize=113200 CPUtime=0.09 cores=1,3
/proc/21447/stat : 21447 (mono) R 21445 21447 20968 0 -1 4202496 3351 0 0 0 8 1 0 0 18 0 9 0 471343817 115916800 3258 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350200975 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21447/statm: 28300 3258 975 742 0 20871 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 113200

[startup+0.30606 s]
/proc/loadavg: 4.13 4.16 3.68 5/213 21447
/proc/meminfo: memFree=13094212/32951124 swapFree=67111528/67111528
[pid=21447] ppid=21445 vsize=119068 CPUtime=0.31 cores=1,3
/proc/21447/stat : 21447 (mono) R 21445 21447 20968 0 -1 4202496 4308 0 0 0 30 1 0 0 18 0 9 0 471343817 121925632 4215 33554432000 4194304 7232020 140734606959952 18446744073709551615 6229887 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21447/statm: 29767 4219 975 742 0 22338 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 119068

[startup+0.700905 s]
/proc/loadavg: 4.13 4.16 3.68 5/213 21447
/proc/meminfo: memFree=13094212/32951124 swapFree=67111528/67111528
[pid=21447] ppid=21445 vsize=129524 CPUtime=0.75 cores=1,3
/proc/21447/stat : 21447 (mono) R 21445 21447 20968 0 -1 4202496 6801 0 0 0 73 2 0 0 18 0 9 0 471343817 132632576 6708 33554432000 4194304 7232020 140734606959952 18446744073709551615 1163948659 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/21447/statm: 32381 6708 975 742 0 24952 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 129524

[startup+1.5008 s]
/proc/loadavg: 4.12 4.16 3.68 11/222 21456
/proc/meminfo: memFree=13064424/32951124 swapFree=67111528/67111528
[pid=21447] ppid=21445 vsize=145936 CPUtime=1.63 cores=1,3
/proc/21447/stat : 21447 (mono) R 21445 21447 20968 0 -1 4202496 10648 0 0 0 160 3 0 0 18 0 9 0 471343817 149438464 10555 33554432000 4194304 7232020 140734606959952 18446744073709551615 1163948526 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21447/statm: 36484 10555 975 742 0 29055 0
[pid=21447/tid=21449] ppid=21445 vsize=145936 CPUtime=0.04 cores=1,3
/proc/21447/task/21449/stat : 21449 (mono) S 21445 21447 20968 0 -1 4202560 4 0 0 0 4 0 0 0 15 0 9 0 471343818 149438464 10555 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21450] ppid=21445 vsize=145936 CPUtime=0.03 cores=1,3
/proc/21447/task/21450/stat : 21450 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 471343818 149438464 10555 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21451] ppid=21445 vsize=145936 CPUtime=0.02 cores=1,3
/proc/21447/task/21451/stat : 21451 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 471343818 149438464 10555 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21452] ppid=21445 vsize=145936 CPUtime=0.05 cores=1,3
/proc/21447/task/21452/stat : 21452 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 471343818 149438464 10555 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21453] ppid=21445 vsize=145936 CPUtime=0.02 cores=1,3
/proc/21447/task/21453/stat : 21453 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 471343818 149438464 10555 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21454] ppid=21445 vsize=145936 CPUtime=0.03 cores=1,3
/proc/21447/task/21454/stat : 21454 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 471343818 149438464 10555 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21455] ppid=21445 vsize=145936 CPUtime=0.04 cores=1,3
/proc/21447/task/21455/stat : 21455 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 471343818 149438464 10555 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21456] ppid=21445 vsize=145936 CPUtime=0 cores=1,3
/proc/21447/task/21456/stat : 21456 (mono) S 21445 21447 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471343819 149438464 10555 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350207409 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 145936

[startup+3.10043 s]
/proc/loadavg: 4.12 4.16 3.68 5/222 21456
/proc/meminfo: memFree=13042724/32951124 swapFree=67111528/67111528
[pid=21447] ppid=21445 vsize=218396 CPUtime=3.36 cores=1,3
/proc/21447/stat : 21447 (mono) R 21445 21447 20968 0 -1 4202496 24830 0 0 0 330 6 0 0 19 0 9 0 471343817 223637504 24737 33554432000 4194304 7232020 140734606959952 18446744073709551615 1163952967 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/21447/statm: 54599 24737 994 742 0 47170 0
[pid=21447/tid=21449] ppid=21445 vsize=218396 CPUtime=0.06 cores=1,3
/proc/21447/task/21449/stat : 21449 (mono) S 21445 21447 20968 0 -1 4202560 4 0 0 0 6 0 0 0 15 0 9 0 471343818 223637504 24737 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21450] ppid=21445 vsize=218396 CPUtime=0.05 cores=1,3
/proc/21447/task/21450/stat : 21450 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 471343818 223637504 24737 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21451] ppid=21445 vsize=218396 CPUtime=0.06 cores=1,3
/proc/21447/task/21451/stat : 21451 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 471343818 223637504 24737 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21452] ppid=21445 vsize=218396 CPUtime=0.08 cores=1,3
/proc/21447/task/21452/stat : 21452 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 471343818 223637504 24737 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21453] ppid=21445 vsize=218396 CPUtime=0.06 cores=1,3
/proc/21447/task/21453/stat : 21453 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 471343818 223637504 24737 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21454] ppid=21445 vsize=218396 CPUtime=0.06 cores=1,3
/proc/21447/task/21454/stat : 21454 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 471343818 223637504 24737 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21455] ppid=21445 vsize=218396 CPUtime=0.08 cores=1,3
/proc/21447/task/21455/stat : 21455 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 8 0 0 0 16 0 9 0 471343818 223637504 24737 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21456] ppid=21445 vsize=218396 CPUtime=0 cores=1,3
/proc/21447/task/21456/stat : 21456 (mono) S 21445 21447 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471343819 223637504 24737 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350207409 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.36
Current children cumulated vsize (KiB) 218396

[startup+6.30084 s]
/proc/loadavg: 4.12 4.16 3.68 7/222 21456
/proc/meminfo: memFree=12805648/32951124 swapFree=67111528/67111528
[pid=21447] ppid=21445 vsize=384424 CPUtime=6.68 cores=1,3
/proc/21447/stat : 21447 (mono) R 21445 21447 20968 0 -1 4202496 71194 0 0 0 657 11 0 0 25 0 9 0 471343817 393650176 71100 33554432000 4194304 7232020 140734606959952 18446744073709551615 270338081390 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21447/statm: 96106 71100 1023 742 0 88677 0
[pid=21447/tid=21449] ppid=21445 vsize=384424 CPUtime=0.1 cores=1,3
/proc/21447/task/21449/stat : 21449 (mono) S 21445 21447 20968 0 -1 4202560 4 0 0 0 10 0 0 0 16 0 9 0 471343818 393650176 71100 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21450] ppid=21445 vsize=384424 CPUtime=0.07 cores=1,3
/proc/21447/task/21450/stat : 21450 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 7 0 0 0 16 0 9 0 471343818 393650176 71100 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21451] ppid=21445 vsize=384424 CPUtime=0.1 cores=1,3
/proc/21447/task/21451/stat : 21451 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 471343818 393650176 71100 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21452] ppid=21445 vsize=384424 CPUtime=0.1 cores=1,3
/proc/21447/task/21452/stat : 21452 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 471343818 393650176 71100 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21453] ppid=21445 vsize=384424 CPUtime=0.09 cores=1,3
/proc/21447/task/21453/stat : 21453 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 471343818 393650176 71100 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21454] ppid=21445 vsize=384424 CPUtime=0.11 cores=1,3
/proc/21447/task/21454/stat : 21454 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 471343818 393650176 71100 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21455] ppid=21445 vsize=384424 CPUtime=0.1 cores=1,3
/proc/21447/task/21455/stat : 21455 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 471343818 393650176 71100 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21456] ppid=21445 vsize=384424 CPUtime=0 cores=1,3
/proc/21447/task/21456/stat : 21456 (mono) S 21445 21447 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471343819 393650176 71100 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350207409 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.68
Current children cumulated vsize (KiB) 384424

[startup+12.7006 s]
/proc/loadavg: 4.10 4.15 3.68 9/222 21456
/proc/meminfo: memFree=12785356/32951124 swapFree=67111528/67111528
[pid=21447] ppid=21445 vsize=384552 CPUtime=13.27 cores=1,3
/proc/21447/stat : 21447 (mono) R 21445 21447 20968 0 -1 4202496 71223 0 0 0 1316 11 0 0 25 0 9 0 471343817 393781248 71129 33554432000 4194304 7232020 140734606959952 18446744073709551615 1097970663 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21447/statm: 96138 71129 1023 742 0 88709 0
[pid=21447/tid=21449] ppid=21445 vsize=384552 CPUtime=0.15 cores=1,3
/proc/21447/task/21449/stat : 21449 (mono) S 21445 21447 20968 0 -1 4202560 4 0 0 0 15 0 0 0 15 0 9 0 471343818 393781248 71129 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21450] ppid=21445 vsize=384552 CPUtime=0.09 cores=1,3
/proc/21447/task/21450/stat : 21450 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 471343818 393781248 71129 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21451] ppid=21445 vsize=384552 CPUtime=0.17 cores=1,3
/proc/21447/task/21451/stat : 21451 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 17 0 0 0 16 0 9 0 471343818 393781248 71129 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21452] ppid=21445 vsize=384552 CPUtime=0.16 cores=1,3
/proc/21447/task/21452/stat : 21452 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 16 0 0 0 16 0 9 0 471343818 393781248 71129 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21453] ppid=21445 vsize=384552 CPUtime=0.12 cores=1,3
/proc/21447/task/21453/stat : 21453 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 12 0 0 0 16 0 9 0 471343818 393781248 71129 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21454] ppid=21445 vsize=384552 CPUtime=0.16 cores=1,3
/proc/21447/task/21454/stat : 21454 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 471343818 393781248 71129 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21455] ppid=21445 vsize=384552 CPUtime=0.18 cores=1,3
/proc/21447/task/21455/stat : 21455 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 18 0 0 0 16 0 9 0 471343818 393781248 71129 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21456] ppid=21445 vsize=384552 CPUtime=0 cores=1,3
/proc/21447/task/21456/stat : 21456 (mono) S 21445 21447 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471343819 393781248 71129 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350207409 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 13.27
Current children cumulated vsize (KiB) 384552

[startup+25.501 s]
/proc/loadavg: 4.08 4.15 3.69 5/222 21457
/proc/meminfo: memFree=12759580/32951124 swapFree=67111528/67111528
[pid=21447] ppid=21445 vsize=384872 CPUtime=26.44 cores=1,3
/proc/21447/stat : 21447 (mono) R 21445 21447 20968 0 -1 4202496 71312 0 0 0 2632 12 0 0 25 0 9 0 471343817 394108928 71218 33554432000 4194304 7232020 140734606959952 18446744073709551615 1097972084 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21447/statm: 96218 71218 1023 742 0 88789 0
[pid=21447/tid=21449] ppid=21445 vsize=384872 CPUtime=0.21 cores=1,3
/proc/21447/task/21449/stat : 21449 (mono) S 21445 21447 20968 0 -1 4202560 4 0 0 0 21 0 0 0 15 0 9 0 471343818 394108928 71218 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21450] ppid=21445 vsize=384872 CPUtime=0.16 cores=1,3
/proc/21447/task/21450/stat : 21450 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 471343818 394108928 71218 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21451] ppid=21445 vsize=384872 CPUtime=0.28 cores=1,3
/proc/21447/task/21451/stat : 21451 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 28 0 0 0 16 0 9 0 471343818 394108928 71218 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21452] ppid=21445 vsize=384872 CPUtime=0.37 cores=1,3
/proc/21447/task/21452/stat : 21452 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 37 0 0 0 15 0 9 0 471343818 394108928 71218 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21453] ppid=21445 vsize=384872 CPUtime=0.18 cores=1,3
/proc/21447/task/21453/stat : 21453 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 18 0 0 0 16 0 9 0 471343818 394108928 71218 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21454] ppid=21445 vsize=384872 CPUtime=0.26 cores=1,3
/proc/21447/task/21454/stat : 21454 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 26 0 0 0 15 0 9 0 471343818 394108928 71218 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21455] ppid=21445 vsize=384872 CPUtime=0.23 cores=1,3
/proc/21447/task/21455/stat : 21455 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 23 0 0 0 15 0 9 0 471343818 394108928 71218 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21456] ppid=21445 vsize=384872 CPUtime=0 cores=1,3
/proc/21447/task/21456/stat : 21456 (mono) S 21445 21447 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471343819 394108928 71218 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350207409 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 26.44
Current children cumulated vsize (KiB) 384872

[startup+51.1009 s]
/proc/loadavg: 4.12 4.15 3.70 5/222 21457
/proc/meminfo: memFree=12726468/32951124 swapFree=67111528/67111528
[pid=21447] ppid=21445 vsize=410416 CPUtime=52.56 cores=1,3
/proc/21447/stat : 21447 (mono) R 21445 21447 20968 0 -1 4202496 77079 0 0 0 5243 13 0 0 25 0 9 0 471343817 420265984 76985 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350200975 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21447/statm: 102604 76985 1024 742 0 95175 0
[pid=21447/tid=21449] ppid=21445 vsize=410416 CPUtime=0.42 cores=1,3
/proc/21447/task/21449/stat : 21449 (mono) R 21445 21447 20968 0 -1 4202560 4 0 0 0 42 0 0 0 15 0 9 0 471343818 420265984 76985 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 0 0 0 -1 1 0 0 0
[pid=21447/tid=21450] ppid=21445 vsize=410416 CPUtime=0.26 cores=1,3
/proc/21447/task/21450/stat : 21450 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 26 0 0 0 16 0 9 0 471343818 420265984 76985 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21451] ppid=21445 vsize=410416 CPUtime=0.36 cores=1,3

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

/proc/21447/task/21454/stat : 21454 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 48 0 0 0 15 0 9 0 471343818 420265984 76985 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21455] ppid=21445 vsize=410416 CPUtime=0.29 cores=1,3
/proc/21447/task/21455/stat : 21455 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 29 0 0 0 15 0 9 0 471343818 420265984 76985 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21456] ppid=21445 vsize=410416 CPUtime=0 cores=1,3
/proc/21447/task/21456/stat : 21456 (mono) S 21445 21447 20968 0 -1 4194368 3 0 0 0 0 0 0 0 15 0 9 0 471343819 420265984 76985 33554432000 4194304 7232020 140734606959952 18446744073709551615 270337771455 0 2138816217 4096 545260780 18446744071562694473 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 52.56
Current children cumulated vsize (KiB) 410416

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

[startup+63.9004 s]
/proc/loadavg: 4.09 4.14 3.70 5/222 21458
/proc/meminfo: memFree=12710336/32951124 swapFree=67111528/67111528
[pid=21447] ppid=21445 vsize=426992 CPUtime=65.63 cores=1,3
/proc/21447/stat : 21447 (mono) R 21445 21447 20968 0 -1 4202496 80088 0 0 0 6550 13 0 0 25 0 9 0 471343817 437239808 79994 33554432000 4194304 7232020 140734606959952 18446744073709551615 1097970085 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21447/statm: 106748 79994 1024 742 0 99319 0
[pid=21447/tid=21449] ppid=21445 vsize=426992 CPUtime=0.53 cores=1,3
/proc/21447/task/21449/stat : 21449 (mono) S 21445 21447 20968 0 -1 4202560 4 0 0 0 53 0 0 0 15 0 9 0 471343818 437239808 79994 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21450] ppid=21445 vsize=426992 CPUtime=0.33 cores=1,3
/proc/21447/task/21450/stat : 21450 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 33 0 0 0 15 0 9 0 471343818 437239808 79994 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21451] ppid=21445 vsize=426992 CPUtime=0.48 cores=1,3
/proc/21447/task/21451/stat : 21451 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 48 0 0 0 16 0 9 0 471343818 437239808 79994 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21452] ppid=21445 vsize=426992 CPUtime=0.53 cores=1,3
/proc/21447/task/21452/stat : 21452 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 53 0 0 0 15 0 9 0 471343818 437239808 79994 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21453] ppid=21445 vsize=426992 CPUtime=0.29 cores=1,3
/proc/21447/task/21453/stat : 21453 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 29 0 0 0 16 0 9 0 471343818 437239808 79994 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21454] ppid=21445 vsize=426992 CPUtime=0.52 cores=1,3
/proc/21447/task/21454/stat : 21454 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 52 0 0 0 15 0 9 0 471343818 437239808 79994 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21455] ppid=21445 vsize=426992 CPUtime=0.31 cores=1,3
/proc/21447/task/21455/stat : 21455 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 31 0 0 0 15 0 9 0 471343818 437239808 79994 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21456] ppid=21445 vsize=426992 CPUtime=0 cores=1,3
/proc/21447/task/21456/stat : 21456 (mono) S 21445 21447 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471343819 437239808 79994 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350207409 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 65.63
Current children cumulated vsize (KiB) 426992

[startup+70.3011 s]
/proc/loadavg: 4.09 4.14 3.70 5/222 21458
/proc/meminfo: memFree=12698356/32951124 swapFree=67111528/67111528
[pid=21447] ppid=21445 vsize=426992 CPUtime=72.17 cores=1,3
/proc/21447/stat : 21447 (mono) R 21445 21447 20968 0 -1 4202496 80508 0 0 0 7204 13 0 0 25 0 9 0 471343817 437239808 78874 33554432000 4194304 7232020 140734606959952 18446744073709551615 1097970078 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21447/statm: 106748 78874 1024 742 0 99319 0
[pid=21447/tid=21449] ppid=21445 vsize=426992 CPUtime=0.58 cores=1,3
/proc/21447/task/21449/stat : 21449 (mono) S 21445 21447 20968 0 -1 4202560 4 0 0 0 58 0 0 0 15 0 9 0 471343818 437239808 78874 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21450] ppid=21445 vsize=426992 CPUtime=0.37 cores=1,3
/proc/21447/task/21450/stat : 21450 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 37 0 0 0 16 0 9 0 471343818 437239808 78874 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21451] ppid=21445 vsize=426992 CPUtime=0.51 cores=1,3
/proc/21447/task/21451/stat : 21451 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 51 0 0 0 15 0 9 0 471343818 437239808 78874 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21452] ppid=21445 vsize=426992 CPUtime=0.6 cores=1,3
/proc/21447/task/21452/stat : 21452 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 60 0 0 0 16 0 9 0 471343818 437239808 78874 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21453] ppid=21445 vsize=426992 CPUtime=0.29 cores=1,3
/proc/21447/task/21453/stat : 21453 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 29 0 0 0 15 0 9 0 471343818 437239808 78874 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21454] ppid=21445 vsize=426992 CPUtime=0.53 cores=1,3
/proc/21447/task/21454/stat : 21454 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 53 0 0 0 15 0 9 0 471343818 437239808 78874 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21455] ppid=21445 vsize=426992 CPUtime=0.34 cores=1,3
/proc/21447/task/21455/stat : 21455 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 34 0 0 0 15 0 9 0 471343818 437239808 78874 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21456] ppid=21445 vsize=426992 CPUtime=0 cores=1,3
/proc/21447/task/21456/stat : 21456 (mono) S 21445 21447 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471343819 437239808 78874 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350207409 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 72.17
Current children cumulated vsize (KiB) 426992

[startup+76.7009 s]
/proc/loadavg: 4.07 4.13 3.71 5/222 21458
/proc/meminfo: memFree=12681528/32951124 swapFree=67111528/67111528
[pid=21447] ppid=21445 vsize=426992 CPUtime=78.69 cores=1,3
/proc/21447/stat : 21447 (mono) R 21445 21447 20968 0 -1 4202496 83426 0 0 0 7855 14 0 0 25 0 9 0 471343817 437239808 81572 33554432000 4194304 7232020 140734606959952 18446744073709551615 1097974322 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21447/statm: 106748 81572 1034 742 0 99319 0
[pid=21447/tid=21449] ppid=21445 vsize=426992 CPUtime=0.6 cores=1,3
/proc/21447/task/21449/stat : 21449 (mono) S 21445 21447 20968 0 -1 4202560 4 0 0 0 60 0 0 0 15 0 9 0 471343818 437239808 81572 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21450] ppid=21445 vsize=426992 CPUtime=0.4 cores=1,3
/proc/21447/task/21450/stat : 21450 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 40 0 0 0 15 0 9 0 471343818 437239808 81572 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21451] ppid=21445 vsize=426992 CPUtime=0.54 cores=1,3
/proc/21447/task/21451/stat : 21451 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 54 0 0 0 16 0 9 0 471343818 437239808 81572 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21452] ppid=21445 vsize=426992 CPUtime=0.63 cores=1,3
/proc/21447/task/21452/stat : 21452 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 63 0 0 0 16 0 9 0 471343818 437239808 81572 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21453] ppid=21445 vsize=426992 CPUtime=0.29 cores=1,3
/proc/21447/task/21453/stat : 21453 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 29 0 0 0 15 0 9 0 471343818 437239808 81572 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21454] ppid=21445 vsize=426992 CPUtime=0.58 cores=1,3
/proc/21447/task/21454/stat : 21454 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 58 0 0 0 15 0 9 0 471343818 437239808 81572 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21455] ppid=21445 vsize=426992 CPUtime=0.35 cores=1,3
/proc/21447/task/21455/stat : 21455 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 35 0 0 0 16 0 9 0 471343818 437239808 81572 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21456] ppid=21445 vsize=426992 CPUtime=0 cores=1,3
/proc/21447/task/21456/stat : 21456 (mono) S 21445 21447 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471343819 437239808 81572 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350207409 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 78.69
Current children cumulated vsize (KiB) 426992

[startup+78.3005 s]
/proc/loadavg: 4.07 4.13 3.71 5/222 21458
/proc/meminfo: memFree=12675080/32951124 swapFree=67111528/67111528
[pid=21447] ppid=21445 vsize=426992 CPUtime=80.32 cores=1,3
/proc/21447/stat : 21447 (mono) R 21445 21447 20968 0 -1 4202496 83431 0 0 0 8018 14 0 0 25 0 9 0 471343817 437239808 81577 33554432000 4194304 7232020 140734606959952 18446744073709551615 1097970085 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21447/statm: 106748 81577 1034 742 0 99319 0
[pid=21447/tid=21449] ppid=21445 vsize=426992 CPUtime=0.6 cores=1,3
/proc/21447/task/21449/stat : 21449 (mono) S 21445 21447 20968 0 -1 4202560 4 0 0 0 60 0 0 0 15 0 9 0 471343818 437239808 81577 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21450] ppid=21445 vsize=426992 CPUtime=0.42 cores=1,3
/proc/21447/task/21450/stat : 21450 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 42 0 0 0 16 0 9 0 471343818 437239808 81577 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21451] ppid=21445 vsize=426992 CPUtime=0.54 cores=1,3
/proc/21447/task/21451/stat : 21451 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 54 0 0 0 15 0 9 0 471343818 437239808 81577 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21452] ppid=21445 vsize=426992 CPUtime=0.64 cores=1,3
/proc/21447/task/21452/stat : 21452 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 64 0 0 0 15 0 9 0 471343818 437239808 81577 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21453] ppid=21445 vsize=426992 CPUtime=0.29 cores=1,3
/proc/21447/task/21453/stat : 21453 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 29 0 0 0 15 0 9 0 471343818 437239808 81577 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21454] ppid=21445 vsize=426992 CPUtime=0.58 cores=1,3
/proc/21447/task/21454/stat : 21454 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 58 0 0 0 15 0 9 0 471343818 437239808 81577 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21455] ppid=21445 vsize=426992 CPUtime=0.35 cores=1,3
/proc/21447/task/21455/stat : 21455 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 35 0 0 0 15 0 9 0 471343818 437239808 81577 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21456] ppid=21445 vsize=426992 CPUtime=0 cores=1,3
/proc/21447/task/21456/stat : 21456 (mono) S 21445 21447 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471343819 437239808 81577 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350207409 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 80.32
Current children cumulated vsize (KiB) 426992

[startup+79.9012 s]
/proc/loadavg: 4.07 4.13 3.71 5/222 21458
/proc/meminfo: memFree=12672352/32951124 swapFree=67111528/67111528
[pid=21447] ppid=21445 vsize=427376 CPUtime=81.95 cores=1,3
/proc/21447/stat : 21447 (mono) R 21445 21447 20968 0 -1 4202496 83643 0 0 0 8181 14 0 0 25 0 9 0 471343817 437633024 81789 33554432000 4194304 7232020 140734606959952 18446744073709551615 1163973253 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21447/statm: 106844 81789 1034 742 0 99415 0
[pid=21447/tid=21449] ppid=21445 vsize=427376 CPUtime=0.6 cores=1,3
/proc/21447/task/21449/stat : 21449 (mono) S 21445 21447 20968 0 -1 4202560 4 0 0 0 60 0 0 0 15 0 9 0 471343818 437633024 81789 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21450] ppid=21445 vsize=427376 CPUtime=0.43 cores=1,3
/proc/21447/task/21450/stat : 21450 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 43 0 0 0 16 0 9 0 471343818 437633024 81789 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21451] ppid=21445 vsize=427376 CPUtime=0.55 cores=1,3
/proc/21447/task/21451/stat : 21451 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 55 0 0 0 16 0 9 0 471343818 437633024 81789 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21452] ppid=21445 vsize=427376 CPUtime=0.64 cores=1,3
/proc/21447/task/21452/stat : 21452 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 64 0 0 0 16 0 9 0 471343818 437633024 81789 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21453] ppid=21445 vsize=427376 CPUtime=0.32 cores=1,3
/proc/21447/task/21453/stat : 21453 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 32 0 0 0 16 0 9 0 471343818 437633024 81789 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21454] ppid=21445 vsize=427376 CPUtime=0.6 cores=1,3
/proc/21447/task/21454/stat : 21454 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 60 0 0 0 16 0 9 0 471343818 437633024 81789 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21455] ppid=21445 vsize=427376 CPUtime=0.36 cores=1,3
/proc/21447/task/21455/stat : 21455 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 36 0 0 0 16 0 9 0 471343818 437633024 81789 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21456] ppid=21445 vsize=427376 CPUtime=0 cores=1,3
/proc/21447/task/21456/stat : 21456 (mono) S 21445 21447 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471343819 437633024 81789 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350207409 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 81.95
Current children cumulated vsize (KiB) 427376

[startup+80.3072 s]
/proc/loadavg: 4.07 4.13 3.71 5/222 21458
/proc/meminfo: memFree=12671484/32951124 swapFree=67111528/67111528
[pid=21447] ppid=21445 vsize=427376 CPUtime=82.35 cores=1,3
/proc/21447/stat : 21447 (mono) R 21445 21447 20968 0 -1 4202496 83643 0 0 0 8221 14 0 0 25 0 9 0 471343817 437633024 81789 33554432000 4194304 7232020 140734606959952 18446744073709551615 1097970308 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21447/statm: 106844 81789 1034 742 0 99415 0
[pid=21447/tid=21449] ppid=21445 vsize=427376 CPUtime=0.6 cores=1,3
/proc/21447/task/21449/stat : 21449 (mono) S 21445 21447 20968 0 -1 4202560 4 0 0 0 60 0 0 0 15 0 9 0 471343818 437633024 81789 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21450] ppid=21445 vsize=427376 CPUtime=0.43 cores=1,3
/proc/21447/task/21450/stat : 21450 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 43 0 0 0 16 0 9 0 471343818 437633024 81789 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21451] ppid=21445 vsize=427376 CPUtime=0.55 cores=1,3
/proc/21447/task/21451/stat : 21451 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 55 0 0 0 16 0 9 0 471343818 437633024 81789 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21452] ppid=21445 vsize=427376 CPUtime=0.64 cores=1,3
/proc/21447/task/21452/stat : 21452 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 64 0 0 0 16 0 9 0 471343818 437633024 81789 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21453] ppid=21445 vsize=427376 CPUtime=0.32 cores=1,3
/proc/21447/task/21453/stat : 21453 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 32 0 0 0 16 0 9 0 471343818 437633024 81789 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21454] ppid=21445 vsize=427376 CPUtime=0.6 cores=1,3
/proc/21447/task/21454/stat : 21454 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 60 0 0 0 16 0 9 0 471343818 437633024 81789 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 3 0 0 0
[pid=21447/tid=21455] ppid=21445 vsize=427376 CPUtime=0.36 cores=1,3
/proc/21447/task/21455/stat : 21455 (mono) S 21445 21447 20968 0 -1 4202560 2 0 0 0 36 0 0 0 16 0 9 0 471343818 437633024 81789 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350199705 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
[pid=21447/tid=21456] ppid=21445 vsize=427376 CPUtime=0 cores=1,3
/proc/21447/task/21456/stat : 21456 (mono) S 21445 21447 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471343819 437633024 81789 33554432000 4194304 7232020 140734606959952 18446744073709551615 270350207409 0 0 4096 545260780 18446604464136636480 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 82.35
Current children cumulated vsize (KiB) 427376

[startup+80.7053 s]
/proc/loadavg: 4.07 4.13 3.71 5/222 21458
/proc/meminfo: memFree=12671484/32951124 swapFree=67111528/67111528
[pid=21447] ppid=21445 vsize=0 CPUtime=82.75 cores=1,3
/proc/21447/stat : 21447 (mono) Z 21445 21447 20968 0 -1 4202524 83801 0 0 0 8260 15 0 0 18 0 2 0 471343817 0 0 33554432000 0 0 0 0 0 0 0 4096 545259520 18446744073709551615 0 0 17 1 0 0 0
/proc/21447/statm: 0 0 0 0 0 0 0
[pid=21447/tid=21454] ppid=21445 vsize=0 CPUtime=0.61 cores=1,3
/proc/21447/task/21454/stat : 21454 (mono) R 21445 21447 20968 0 -1 4203588 2 0 0 0 60 1 0 0 15 0 2 0 471343818 0 0 33554432000 0 0 0 0 0 0 0 4096 545259520 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 82.75
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 80.7091
CPU time (s): 82.7634
CPU user time (s): 82.6014
CPU system time (s): 0.161975
CPU usage (%): 102.545
Max. virtual memory (cumulated for all children) (KiB): 427376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 82.6014
system time used= 0.161975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83801
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= 7681
involuntary context switches= 1893

runsolver used 0.122981 second user time and 0.32695 second system time

The end

Launcher Data 

Begin job on node143 at 2011-04-26 05:41:22
IDJOB=3290820
IDBENCH=83450
IDSOLVER=1608
FILE ID=node143/3290820-1303789281
RUNJOBID= node143-1303787846-20988
PBS_JOBID= 13157255
Free space on /tmp= 72872 MiB

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

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
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:      13094368 kB
Buffers:       2286964 kB
Cached:       15697968 kB
SwapCached:          0 kB
Active:        8024584 kB
Inactive:     11267680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13094368 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           79736 kB
Writeback:           0 kB
AnonPages:     1307104 kB
Mapped:          18348 kB
Slab:           496356 kB
PageTables:       7760 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1730280 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= 72872 MiB
End job on node143 at 2011-04-26 05:42:43