Trace number 3290774

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 330.78 323.311

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F22.cnf
MD5SUM0b29cb9f2e17f3e05b66912497d8cb84
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark45.6781
Satisfiable
(Un)Satisfiability was proved
Number of variables13574
Number of clauses1301188
Sum of the clauses size11462079
Maximum clause length78
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 236373
Number of clauses of size 329573
Number of clauses of size 422594
Number of clauses of size 573414
Number of clauses of size over 51139201

Solver Data 

330.66/323.21	s SATISFIABLE
330.66/323.22	v 8 24 28 47 65 82 113 127 142 143 144 145 150 151 153 241 261 275 276 280 298 315 327 330 331 345 346 360 385 397 400 401 403 -239 -255 -259 -278 -296 -313 -344 -358 -373 -374 -375 -376 -381 -382 -384 -10 -30 -44 -45 -49 -67 -84 -96 -99 -100 -114 -115 -129 -154 -166 -169 -170 -172 -6688 -6687 -6686 -6685 -6684 -6683 -6682 -6681 -6680 -6679 -6678 -6677 -6676 -6675 -6674 -6673 -6672 -6671 -6670 -6669 -6668 -6667 -7040 -7039 -7038 -7037 -7036 -7035 -7034 -7033 -7032 -7031 -7030 -7029 -7028 -7027 -7026 -7025 -7024 -7023 -7022 -7021 -7020 -7019 -7128 -7127 -7126 -7125 -7124 -7123 -7122 -7121 -7120 -7119 -7118 -7117 -7116 -7115 -7114 -7113 -7112 -7111 -7110 -7109 -7108 -7107 -7546 -7545 -7544 -7543 -7542 -7541 -7540 -7539 -7538 -7537 -7536 -7535 -7534 -7533 -7532 -7531 -7530 -7529 -7528 -7527 -7526 -7525 -7942 -7941 -7940 -7939 -7938 -7937 -7936 -7935 -7934 -7933 -7932 -7931 -7930 -7929 -7928 -7927 -7926 -7925 -7924 -7923 -7922 -7921 294 -8316 -8315 -8314 -8313 -8312 -8311 -8310 -8309 -8308 -8307 -8306 -8305 -8304 -8303 -8302 -8301 -8300 -8299 -8298 -8297 -8296 -8295 -8998 -8997 -8996 -8995 -8994 -8993 -8992 -8991 -8990 -8989 -8988 -8987 -8986 -8985 -8984 -8983 -8982 -8981 -8980 -8979 -8978 -8977 347 -9306 -9305 -9304 -9303 -9302 -9301 -9300 -9299 -9298 -9297 -9296 -9295 -9294 -9293 -9292 -9291 -9290 -9289 -9288 -9287 -9286 -9285 -9636 -9635 -9634 -9633 -9632 -9631 -9630 -9629 -9628 -9627 -9626 -9625 -9624 -9623 -9622 -9621 -9620 -9619 -9618 -9617 -9616 -9615 -9658 -9657 -9656 -9655 -9654 -9653 -9652 -9651 -9650 -9649 -9648 -9647 -9646 -9645 -9644 -9643 -9642 -9641 -9640 -9639 -9638 -9637 -9680 -9679 -9678 -9677 -9676 -9675 -9674 -9673 -9672 -9671 -9670 -9669 -9668 -9667 -9666 -9665 -9664 -9663 -9662 -9661 -9660 -9659 398 -9702 -9701 -9700 -9699 -9698 -9697 -9696 -9695 -9694 -9693 -9692 -9691 -9690 -9689 -9688 -9687 -9686 -9685 -9684 -9683 -9682 -9681 399 -9812 -9811 -9810 -9809 -9808 -9807 -9806 -9805 -9804 -9803 -9802 -9801 -9800 -9799 -9798 -9797 -9796 -9795 -9794 -9793 -9792 -9791 404 -9834 -9833 -9832 -9831 -9830 -9829 -9828 -9827 -9826 -9825 -9824 -9823 -9822 -9821 -9820 -9819 -9818 -9817 -9816 -9815 -9814 -9813 405 -9878 -9877 -9876 -9875 -9874 -9873 -9872 -9871 -9870 -9869 -9868 -9867 -9866 -9865 -9864 -9863 -9862 -9861 -9860 -9859 -9858 -9857 407 -1650 -1649 -1648 -1647 -1646 -1645 -1644 -1643 -1642 -1641 -1640 -1639 -1638 -1637 -1636 -1635 -1634 -1633 -1632 -1631 -1630 -1629 -2090 -2089 -2088 -2087 -2086 -2085 -2084 -2083 -2082 -2081 -2080 -2079 -2078 -2077 -2076 -2075 -2074 -2073 -2072 -2071 -2070 -2069 23 31 -2398 -2397 -2396 -2395 -2394 -2393 -2392 -2391 -2390 -2389 -2388 -2387 -2386 -2385 -2384 -2383 -2382 -2381 -2380 -2379 -2378 -2377 -2420 -2419 -2418 -2417 -2416 -2415 -2414 -2413 -2412 -2411 -2410 -2409 -2408 -2407 -2406 -2405 -2404 -2403 -2402 -2401 -2400 -2399 -2508 -2507 -2506 -2505 -2504 -2503 -2502 -2501 -2500 -2499 -2498 -2497 -2496 -2495 -2494 -2493 -2492 -2491 -2490 -2489 -2488 -2487 -2904 -2903 -2902 -2901 -2900 -2899 -2898 -2897 -2896 -2895 -2894 -2893 -2892 -2891 -2890 -2889 -2888 -2887 -2886 -2885 -2884 -2883 -3278 -3277 -3276 -3275 -3274 -3273 -3272 -3271 -3270 -3269 -3268 -3267 -3266 -3265 -3264 -3263 -3262 -3261 -3260 -3259 -3258 -3257 -3542 -3541 -3540 -3539 -3538 -3537 -3536 -3535 -3534 -3533 -3532 -3531 -3530 -3529 -3528 -3527 -3526 -3525 -3524 -3523 -3522 -3521 -3608 -3607 -3606 -3605 -3604 -3603 -3602 -3601 -3600 -3599 -3598 -3597 -3596 -3595 -3594 -3593 -3592 -3591 -3590 -3589 -3588 -3587 -3630 -3629 -3628 -3627 -3626 -3625 -3624 -3623 -3622 -3621 -3620 -3619 -3618 -3617 -3616 -3615 -3614 -3613 -3612 -3611 -3610 -3609 -3938 -3937 -3936 -3935 -3934 -3933 -3932 -3931 -3930 -3929 -3928 -3927 -3926 -3925 -3924 -3923 -3922 -3921 -3920 -3919 -3918 -3917 -3960 -3959 -3958 -3957 -3956 -3955 -3954 -3953 -3952 -3951 -3950 -3949 -3948 -3947 -3946 -3945 -3944 -3943 -3942 -3941 -3940 -3939 -4268 -4267 -4266 -4265 -4264 -4263 -4262 -4261 -4260 -4259 -4258 -4257 -4256 -4255 -4254 -4253 -4252 -4251 -4250 -4249 -4248 -4247 -4818 -4817 -4816 -4815 -4814 -4813 -4812 -4811 -4810 -4809 -4808 -4807 -4806 -4805 -4804 -4803 -4802 -4801 -4800 -4799 -4798 -4797 -5082 -5081 -5080 -5079 -5078 -5077 -5076 -5075 -5074 -5073 -5072 -5071 -5070 -5069 -5068 -5067 -5066 -5065 -5064 -5063 -5062 -5061 -5148 -5147 -5146 -5145 -5144 -5143 -5142 -5141 -5140 -5139 -5138 -5137 -5136 -5135 -5134 -5133 -5132 -5131 -5130 -5129 -5128 -5127 -5170 -5169 -5168 -5167 -5166 -5165 -5164 -5163 -5162 -5161 -5160 -5159 -5158 -5157 -5156 -5155 -5154 -5153 -5152 -5151 -5150 -5149 -5214 -5213 -5212 -5211 -5210 -5209 -5208 -5207 -5206 -5205 -5204 -5203 -5202 -5201 -5200 -5199 -5198 -5197 -5196 -5195 -5194 -5193 -63 -116 -167 -168 -173 -174 -176 -254 -262 -2816 -2815 -2814 -2813 -2812 -2811 -2810 -2809 -2808 -2807 -2806 -2805 -2804 -2803 -2802 -2801 -2800 -2799 -2798 -2797 -2796 -2795 -3982 -3981 -3980 -3979 -3978 -3977 -3976 -3975 -3974 -3973 -3972 -3971 -3970 -3969 -3968 -3967 -3966 -3965 -3964 -3963 -3962 -3961 -5104 -5103 -5102 -5101 -5100 -5099 -5098 -5097 -5096 -5095 -5094 -5093 -5092 -5091 -5090 -5089 -5088 -5087 -5086 -5085 -5084 -5083 -5126 -5125 -5124 -5123 -5122 -5121 -5120 -5119 -5118 -5117 -5116 -5115 -5114 -5113 -5112 -5111 -5110 -5109 -5108 -5107 -5106 -5105 -5236 -5235 -5234 -5233 -5232 -5231 -5230 -5229 -5228 -5227 -5226 -5225 -5224 -5223 -5222 -5221 -5220 -5219 -5218 -5217 -5216 -5215 -5258 -5257 -5256 -5255 -5254 -5253 -5252 -5251 -5250 -5249 -5248 -5247 -5246 -5245 -5244 -5243 -5242 -5241 -5240 -5239 -5238 -5237 -5302 -5301 -5300 -5299 -5298 -5297 -5296 -5295 -5294 -5293 -5292 -5291 -5290 -5289 -5288 -5287 -5286 -5285 -5284 -5283 -5282 -5281 41 -7018 -7017 -7016 -7015 -7014 -7013 -7012 -7011 -7010 -7009 -7008 -7007 -7006 -7005 -7004 -7003 -7002 -7001 -7000 -6999 -6998 -6997 -7194 -7193 -7192 -7191 -7190 -7189 -7188 -7187 -7186 -7185 -7184 -7183 -7182 -7181 -7180 -7179 -7178 -7177 -7176 -7175 -7174 -7173 -272 -7414 -7413 -7412 -7411 -7410 -7409 -7408 -7407 -7406 -7405 -7404 -7403 -7402 -7401 -7400 -7399 -7398 -7397 -7396 -7395 -7394 -7393 -9725 -6513 -6579 -9835 -13179 -9726 -3719 -4049 -12585 -13267 1170 -13556 -13269 -12303 -1126 -13555 -13226 -12258 -9838 -9772 -9750 -9728 -9706 -9596 -8650 -13554 -13553 1169 -13268 -12302 -1125 -13225 -12257 -9837 -9771 -9749 -9727 -9705 -9595 -8649 -1542 -12739 -1541 -12740 -4137 -5259 -532 -12632 -11664 -3128 -3106 -3084 -3062 -3040 -3018 -2996 -2974 -2952 -2930 -2908 -2864 -2842 -2820 -2776 -2754 -2336 -1918 -1478 43 -274 -7458 -7457 -7456 -7455 -7454 -7453 -7452 -7451 -7450 -7449 -7448 -7447 -7446 -7445 -7444 -7443 -7442 -7441 -7440 -7439 -7438 -7437 281 -50 -2530 -2529 -2528 -2527 -2526 -2525 -2524 -2523 -2522 -2521 -2520 -2519 -2518 -2517 -2516 -2515 -2514 -2513 -2512 -2511 -2510 -2509 -465 -12565 -11597 -1873 -1851 -1829 -1807 -1785 -1763 -1741 -1719 -1697 -1675 -1653 -1609 -1587 -1565 -1543 -1521 -1499 -1477 -1455 -1433 80 -311 -8272 -8271 -8270 -8269 -8268 -8267 -8266 -8265 -8264 -8263 -8262 -8261 -8260 -8259 -8258 -8257 -8256 -8255 -8254 -8253 -8252 -8251 257 -6514 -26 -2002 -2001 -2000 -1999 -1998 -1997 -1996 -1995 -1994 -1993 -1992 -1991 -1990 -1989 -1988 -1987 -1986 -1985 -1984 -1983 -1982 -1981 22 -253 -6996 -6995 -6994 -6993 -6992 -6991 -6990 -6989 -6988 -6987 -6986 -6985 -6984 -6983 -6982 -6981 -6980 -6979 -6978 -6977 -6976 -6975 466 -13534 -11599 -686 11598 -464 -4822 -3172 -13533 -12786 -11818 -5262 -5174 -4536 -12564 -11596 -1872 -1850 -1828 -1806 -1784 -1762 -1740 -1718 -1696 -1674 -1652 -1608 -1586 -1564 -1520 -1498 -1476 -1454 -1432 -463 -13532 -12563 -11595 -1871 -1849 -1827 -1805 -1783 -1761 -1739 -1717 -1695 -1673 -1651 -1607 -1585 -1563 -1519 -1497 -1475 -1453 -1431 -13531 -12062 -12067 -11601 -126 -4202 -4201 -4200 -4199 -4198 -4197 -4196 -4195 -4194 -4193 -4192 -4191 -4190 -4189 -4188 -4187 -4186 -4185 -4184 -4183 -4182 -4181 -1937 3176 558 602 -492 -624 -778 -932 -470 -13538 -12657 -11691 -690 -1526 -3638 -2472 -2780 -3704 -12651 -11695 -12701 -11735 -668 -580 -514 -4342 -536 -5948 -712 -800 -844 -12592 -11624 -2318 -2296 -2274 -2252 -2230 -2208 -2186 -2164 -2142 -2120 -2098 -2054 -2032 -2010 -1966 -1944 -1922 -1900 -1438 -12724 -11756 -4496 -4474 -4452 -4430 -4408 -4386 -4364 -4320 -4298 -4276 -4232 -4210 -3880 -3550 -3198 -2824 -2428 -1570 -12878 -11910 -6036 -6014 -5992 -5970 -5926 -5904 -5728 -5552 -5354 -4892 -4628 -4034 -3352 -2978 -2582 -1724 -13032 -12064 -6498 -6476 -6432 -6366 -6278 -6168 -5882 -5706 -5508 -5046 -4782 -3858 -3506 -3132 -2736 -1878 -933 -12570 -11602 -1856 -1834 -1812 -1790 -1768 -1746 -1702 -1680 -1658 -1614 -1592 -1548 -1504 -1482 -1460 -473 -471 -479 -13537 -12790 -11822 -5266 -5178 -4540 -12768 -11800 -5024 -5002 -4980 -4958 -4936 -4914 -4870 -4848 -4826 -4518 -3242 -2868 -12680 -11712 -3836 -3814 -3792 -3770 -3748 -3726 -3682 -3660 -3572 -3154 -12614 -11646 -2714 -2692 -2670 -2648 -2626 -2604 -2560 -2538 -2450 -2362 -2340 -12636 -11668 -3110 -3088 -3066 -3044 -3022 -3000 -2956 -2934 -2912 -2846 -2758 -12812 -11844 -5486 -5464 -5442 -5420 -5398 -5376 -5332 -5310 -4562 -3286 -12900 -11932 -6146 -6124 -6102 -6080 -6058 -5750 -5574 -4650 -4056 -3374 -12944 -11976 -6344 -6322 -6300 -6190 -5794 -5618 -4694 -4100 -3418 -13033 -12065 -6499 -6477 -6433 -6367 -6279 -6169 -6037 -5883 -5707 -5509 -5047 -4783 -4497 -3859 -3507 -3133 -2737 -2319 -1879 -12573 -11605 -1881 -1859 -1837 -1815 -1793 -1771 -1749 -1727 -1705 -1683 -1661 -1617 -1595 -1573 -1551 -1529 -1507 -1485 -1463 -1441 -478 -12571 -11603 -1857 -1835 -1813 -1791 -1769 -1747 -1725 -1703 -1681 -1659 -1615 -1593 -1571 -1549 -1527 -1505 -1483 -1461 -1439 -474 -12579 -11611 -1887 -1865 -1843 -1821 -1799 -1777 -1755 -1733 -1711 -1689 -1667 -1623 -1601 -1579 -1557 -1535 -1513 -1491 -1469 -1447 -13536 -12578 -11610 -1886 -1864 -1842 -1820 -1798 -1776 -1754 -1732 -1710 -1688 -1666 -1622 -1600 -1578 -1556 -1534 -1512 -1490 -1468 -1446 -12574 -11606 -1882 -1860 -1838 -1816 -1794 -1772 -1750 -1728 -1706 -1684 -1662 -1618 -1596 -1574 -1552 -1530 -1508 -1486 -1464 -1442 -13535 -3169 -3171 -539 -12639 -11671 -3135 -3113 -3091 -3069 -3047 -3025 -3003 -2981 -2959 -2937 -2915 -2871 -2849 -2827 -2783 -2761 -2343 -1925 -496 -12596 -11628 -2322 -2300 -2278 -2256 -2234 -2212 -2190 -2168 -2146 -2124 -2102 -2058 -2036 -2014 -1970 -1948 -1926 -1904 -3174 -3175 -3173 -155 -4840 -4839 -4838 -4837 -4836 -4835 -4834 -4833 -4832 -4831 -4830 -4829 -4828 -4827 -4825 -4824 -4823 -4821 -4820 -4819 -4535 -491 -12591 -11623 -2317 -2295 -2273 -2251 -2229 -2207 -2185 -2163 -2141 -2119 -2097 -2053 -2031 -2009 -1965 -1943 -1921 -1899 -1437 486 -11619 -684 -3632 -4050 -2774 -4094 -11637 -4028 -3764 -2466 487 -596 -495 -598 -498 -497 -504 -505 -501 -502 -499 -500 -493 -12784 -11816 -5260 -5172 -4534 -5171 -12586 -11620 -685 -4051 -2467 -597 -11626 -2775 -3633 -3765 -4029 -517 -506 -12696 -11728 -4160 -4138 -4116 -4072 -4006 -3984 -3896 -3874 -3170 -595 -3895 -12595 -11627 -2321 -2299 -2277 -2255 -2233 -2211 -2189 -2167 -2145 -2123 -2101 -2057 -2035 -2013 -1969 -1947 -1903 -12698 -11730 -4162 -4140 -4118 -4096 -4074 -4052 -4030 -4008 -3986 -3898 -3876 -1544 -12598 -11630 -2324 -2302 -2280 -2258 -2236 -2214 -2192 -2170 -2148 -2126 -2104 -2060 -2038 -2016 -1972 -1950 -1928 -1906 -1444 -12597 -11629 -2323 -2301 -2279 -2257 -2235 -2213 -2191 -2169 -2147 -2125 -2103 -2059 -2037 -2015 -1971 -1949 -1927 -1905 -1443 -12604 -11636 -2330 -2308 -2286 -2264 -2242 -2220 -2198 -2176 -2154 -2132 -2110 -2066 -2044 -2022 -1978 -1956 -1934 -1912 -1450 -12605 -2331 -2309 -2287 -2265 -2243 -2221 -2199 -2177 -2155 -2133 -2111 -2067 -2045 -2023 -1979 -1957 -1935 -1913 -1451 -12601 -11633 -2327 -2305 -2283 -2261 -2239 -2217 -2195 -2173 -2151 -2129 -2107 -2063 -2041 -2019 -1975 -1953 -1931 -1909 -503 -12602 -11634 -2328 -2306 -2284 -2262 -2240 -2218 -2196 -2174 -2152 -2130 -2108 -2064 -2042 -2020 -1976 -1954 -1932 -1910 -1448 -12599 -11631 -2325 -2303 -2281 -2259 -2237 -2215 -2193 -2171 -2149 -2127 -2105 -2061 -2039 -2017 -1973 -1951 -1929 -1907 -1445 -12600 -11632 -2326 -2304 -2282 -2260 -2238 -2216 -2194 -2172 -2150 -2128 -2106 -2062 -2040 -2018 -1974 -1952 -1930 -1908 -12593 -11625 -2297 -2275 -2253 -2231 -2209 -2187 -2165 -2143 -2121 -2099 -2055 -2033 -2011 -1967 -1945 -1923 -1901 -494 -12785 -11817 -5261 -5173 -12697 -11729 -4161 -4139 -4117 -4095 -4073 -4007 -3985 -3897 -3875 -12617 -11649 -2739 -2717 -2695 -2673 -2651 -2629 -2607 -2585 -2563 -2541 -2475 -2453 -2431 -2365 -12606 -11638 -2332 -2310 -2288 -2266 -2244 -2222 -2200 -2178 -2156 -2134 -2112 -2068 -2046 -2024 -1980 -1958 -1936 -1914 -1452 -12652 -12695 -11727 -4159 -4115 -4093 -4071 -4027 -4005 -3983 -3873 -12603 -11635 -2329 -2307 -2285 -2263 -2241 -2219 -2197 -2175 -2153 -2131 -2109 -2065 -2043 -2021 -1977 -1955 -1933 -1911 -1449 -2785 -541 -12594 -2320 -2298 -2276 -2254 -2232 -2210 -2188 -2166 -2144 -2122 -2100 -2056 -2034 -2012 -1968 -1946 -1924 -1902 -1440 -12641 -11673 -3137 -3115 -3093 -3071 -3049 -3027 -3005 -2983 -2961 -2939 -2917 -2873 -2851 -2829 -2763 -2345 -1487 -542 -540 -538 -12642 -11674 -3138 -3116 -3094 -3072 -3050 -3028 -3006 -2984 -2962 -2940 -2918 -2874 -2852 -2830 -2786 -2764 -2346 -1488 -543 -12640 -11672 -3136 -3114 -3092 -3070 -3048 -3026 -3004 -2982 -2960 -2938 -2916 -2872 -2850 -2828 -2784 -2762 -2344 -12638 -11670 -3134 -3112 -3090 -3068 -3046 -3024 -3002 -2980 -2958 -2936 -2914 -2870 -2848 -2826 -2782 -2760 -2342 -1484 -545 -12643 -11675 -3139 -3117 -3095 -3073 -3051 -3029 -3007 -2985 -2963 -2941 -2919 -2875 -2853 -2831 -2787 -2765 -2347 -1489 -12645 -11677 -3141 -3119 -3097 -3075 -3053 -3031 -3009 -2987 -2965 -2943 -2921 -2877 -2855 -2833 -2789 -2767 -2349 -548 -12648 -11680 -3144 -3122 -3100 -3078 -3056 -3034 -3012 -2990 -2968 -2946 -2924 -2880 -2858 -2836 -2792 -2770 -2352 -1494 643 -12742 -11776 -3635 -4097 556 -12655 -11689 -688 -11692 -2470 -3768 -2778 -2910 -11693 -2338 -600 557 -11699 -12788 -11820 -5264 -5176 -4538 -12700 -11732 -4164 -4142 -4120 -4098 -4076 -4054 -4032 -4010 -3988 -3900 -3878 -1546 -599 -12656 -11690 -689 -2779 -2911 -11694 -1525 -2471 -3637 -4055 -601 -12699 -11731 -4163 -4141 -4119 -4075 -4053 -4031 -4009 -3987 -3899 -3877 -1545 -12789 -11821 -5265 -5177 -4539 -11733 -4165 -4143 -4121 -4099 -4077 -4033 -4011 -3989 -3901 -3879 -1547 11734 644 -12743 -11777 -3636 -3548 -4956 -1964 645 -2866 3218 -2646 -12744 -11778 -2867 -2647 -3549 -2339 3219 -1524 488 -12587 -11621 -2468 1434 -4888 -934 1 -13034 -12066 -6500 -6478 -6434 -6368 -6280 -6170 -6038 -5884 -5708 -5510 -5048 -4784 -4498 -3860 -3508 -2738 -1880 -935 -232 -6 -13035 -6501 -6479 -6435 -6369 -6281 -6171 -6039 -5885 -5709 -5511 -5049 -4785 -4499 -3861 -3509 -6534 -6533 -6532 -6531 -6530 -6529 -6528 -6527 -6526 -6525 -6524 -6523 -6522 -6521 -6520 -6519 -6518 -6517 -6516 -6515 -1562 -1561 -1560 -1559 -1558 -1555 -1554 -1553 -1550 -750 -12850 -11882 -5876 -5854 -5832 -5810 -5788 -5766 -5744 -5722 -5524 -5326 -4864 -4600 -4314 -3676 -3324 -2950 -2554 -2136 -3675 -860 -12960 -11992 -6426 -6404 -6382 -6294 -6206 -6096 -5964 -5634 -5436 -4974 -4710 -4424 -3786 -3434 -3060 -2664 -2246 728 -12827 -11861 -11870 2114 32 -263 -7216 -7215 -7214 -7213 -7212 -7211 -7210 -7209 -7208 -7207 -7206 -7205 -7204 -7203 -7202 -7201 -7200 -7199 -7198 -7197 -7196 -7195 -509 -12609 -11641 -2731 -2709 -2687 -2665 -2643 -2621 -2599 -2577 -2555 -2533 -2445 -2423 -2357 -2335 -1895 -859 -12959 -11991 -6425 -6403 -6381 -6293 -6205 -6095 -5963 -5809 -5633 -5435 -4973 -4709 -4423 -3785 -3433 -3059 -2663 -2245 -881 -882 -12981 -12013 -6469 -6447 -6315 -6227 -6117 -5985 -5831 -5655 -5457 -4995 -4731 -4445 -3807 -3455 -3081 -2685 -2267 -12982 -12014 -6470 -6448 -6316 -6228 -6118 -5986 -5656 -5458 -4996 -4732 -4446 -3808 -3456 -3082 -2686 -2268 -530 -12630 -11662 -3126 -3104 -3038 -3016 -2994 -2972 -2928 -2906 -2862 -2840 -2818 -2752 -2334 -1916 -550 -12650 -11682 -3146 -3124 -3102 -3080 -3058 -3036 -3014 -2992 -2970 -2948 -2926 -2882 -2860 -2838 -2794 -2772 -2354 -1496 641 -11774 642 2027 -3545 -3721 -3699 -3149 -3809 -12741 -11775 -3634 1588 2028 -6076 -4866 -1522 -3150 -576 -3722 -3282 -3700 -12676 -11708 -3854 -3832 -3810 -3788 -3766 -3744 -3678 -3656 -3568 -3546 -1962 489 -12588 -11622 -687 -2469 -3767 -2777 -3151 2029 -3547 -3723 -1523 -3701 -12787 -11819 -5263 -5175 -4537 -5042 -5 -1540 -1539 -1538 -1537 -1536 -1533 -1532 -1531 -1528 -708 -12808 -11840 -5504 -5482 -5460 -5438 -5416 -5394 -5372 -5350 -5328 -5306 -4558 -4272 -2094 -1654 -863 -12963 -11995 -6429 -6407 -6385 -6297 -6209 -6099 -5967 -5813 -5637 -5439 -4977 -4713 -4427 -3789 -3437 -3063 -2667 -2249 -1809 -529 -12629 -11661 -3125 -3103 -3037 -3015 -2993 -2971 -2949 -2927 -2905 -2861 -2839 -2817 -2773 -2751 -2333 -1915 -537 -12637 -11669 -3111 -3089 -3067 -3045 -3023 -3001 -2979 -2957 -2935 -2913 -2869 -2847 -2825 -2781 -2759 -2341 -547 -12647 -11679 -3143 -3121 -3099 -3077 -3055 -3033 -3011 -2989 -2967 -2945 -2923 -2879 -2857 -2835 -2791 -2769 -2351 -1493 -864 -12964 -11996 -6430 -6408 -6386 -6298 -6210 -6100 -5968 -5814 -5638 -5440 -4978 -4714 -4428 -3790 -3438 -3064 -2668 -2250 -1810 467 -12566 -11600 -2865 -577 -4999 -4867 -5945 1589 -936 -937 -944 -6077 -4955 -2359 -4273 -2337 -4889 1435 -2997 -5417 -3239 -12677 -11709 -3855 -3833 -3811 -3745 -3679 -3657 -3569 -1963 -13036 -12068 -6502 -6480 -6436 -6370 -6282 -6172 -6040 -5886 -5710 -5512 -5050 -4786 -4500 -3862 -3510 -2740 -946 -13037 -12069 -6503 -6481 -6437 -6371 -6283 -6173 -6041 -5887 -5711 -5513 -5051 -4787 -4501 -3863 -3511 -2741 -1883 -13044 -12076 -6510 -6488 -6444 -6378 -6290 -6180 -6048 -5894 -5718 -5520 -5058 -4794 -4508 -3870 -3518 -2748 -1890 -42 -13046 -12078 -6512 -6490 -6446 -6380 -6292 -6182 -6050 -5896 -5720 -5522 -5060 -4796 -4510 -3872 -3520 -2750 -1892 -2353 -2350 -2348 -705 -12805 -11837 -5501 -5479 -5413 -5391 -5369 -5347 -5325 -5303 -4555 -4269 -3631 -3279 -2091 -772 -12872 -11904 -6030 -6008 -5942 -5920 -5898 -5546 -5348 -4886 -4622 -4336 -3698 -3346 -2576 -2158 -620 -12720 -11752 -4492 -4470 -4448 -4426 -4404 -4382 -4360 -4338 -4316 -4294 -4228 -4206 -3194 -2424 -2006 -1566 862 -12961 -872 -873 -875 -877 -867 -869 -876 -871 -874 -878 -880 -866 -870 12962 -868 -879 -865 -664 2248 1808 -510 4712 -12972 -12004 -6438 -6416 -6394 -6306 -6218 -6108 -5976 -5822 -5646 -5448 -4986 -4722 -4436 -4128 -3798 -3446 -2676 -1818 -12973 -12005 -6439 -6417 -6395 -6307 -6219 -6109 -5977 -5823 -5647 -5449 -4987 -4723 -4437 -4129 -3799 -3447 -2677 -1819 -12975 -12007 -6441 -6419 -6397 -6309 -6221 -6111 -5979 -5825 -5649 -5451 -4989 -4725 -4439 -4131 -3801 -3449 -2679 -12977 -12009 -6443 -6421 -6399 -6311 -6223 -6113 -5981 -5827 -5651 -5453 -4991 -4727 -4441 -4133 -3803 -3451 -2681 -1823 -12967 -11999 -6411 -6389 -6301 -6213 -6103 -5971 -5817 -5641 -5443 -4981 -4717 -4431 -4123 -3793 -3441 -2671 -12969 -12001 -6413 -6391 -6303 -6215 -6105 -5973 -5819 -5643 -5445 -4983 -4719 -4433 -4125 -3795 -3443 -12976 -12008 -6442 -6420 -6398 -6310 -6222 -6112 -5980 -5826 -5650 -5452 -4990 -4726 -4440 -4132 -3802 -3450 -3076 -2680 -1822 -12971 -12003 -6415 -6393 -6305 -6217 -6107 -5975 -5821 -5645 -5447 -4985 -4721 -4435 -4127 -3797 -3445 -2675 -1817 -12974 -12006 -6440 -6418 -6396 -6308 -6220 -6110 -5978 -5824 -5648 -5450 -4988 -4724 -4438 -4130 -3800 -3448 -3074 -2678 -12978 -12010 -6422 -6400 -6312 -6224 -6114 -5982 -5828 -5652 -5454 -4992 -4728 -4442 -4134 -3804 -3452 -2682 -1824 -12980 -12012 -6424 -6402 -6314 -6226 -6116 -5984 -5830 -5654 -5456 -4994 -4730 -4444 -4136 -3806 -3454 -2684 -1826 -12966 -11998 -6410 -6388 -6212 -5816 -5640 -4716 -4122 -3440 -12970 -12002 -6414 -6392 -6304 -6216 -6106 -5974 -5820 -5644 -5446 -4984 -4720 -4434 -4126 -3796 -3444 -2674 -12968 -12000 -6412 -6390 -6302 -6214 -6104 -5972 -5818 -5642 -5444 -4982 -4718 -4432 -4124 -3794 -3442 -2672 -1814 -12979 -12011 -6445 -6423 -6401 -6313 -6225 -6115 -5983 -5829 -5653 -5455 -4993 -4729 -4443 -4135 -3805 -3453 -3079 -2683 -1825 -12965 -11997 -6431 -6409 -6387 -6299 -6211 -6101 -5969 -5815 -5639 -5441 -4979 -4715 -4429 -3791 -3439 -3065 -2669 -1811 -12764 -11796 -5020 -4998 -4976 -4954 -4932 -4910 -4844 -4514 -3238 -2050 -1610 38 18 -12610 -11642 -2732 -2710 -2688 -2666 -2644 -2622 -2600 -2578 -2556 -2534 -2446 -2358 -1896 -1456 -57 -123 -269 -249 -7348 -7347 -7346 -7345 -7344 -7343 -7342 -7341 -7340 -7339 -7338 -7337 -7336 -7335 -7334 -7333 -7332 -7331 -7330 -7329 -7328 -7327 -6908 -6907 -6906 -6905 -6904 -6903 -6902 -6901 -6900 -6899 -6898 -6897 -6896 -6895 -6894 -6893 -6892 -6891 -6890 -6889 -6888 -6887 554 -12653 -11687 3216 1500 555 1940 3436 -774 -840 -796 4 -12654 -11688 1501 -2909 -1611 -5373 -4911 -4229 3217 -2645 1941 -511 -709 -4339 -665 -6121 92 -12874 -11906 -6032 -6010 -5988 -5966 -5944 -5922 -5900 -5724 -5548 -4624 -3348 -2160 -1720 -12940 -11972 -6362 -6340 -6318 -6296 -6186 -5790 -5614 -4690 -3414 -2226 -1786 -12896 -11928 -6164 -6142 -6120 -6098 -6054 -5746 -5570 -4646 -3370 -2182 -1742 -235 -12611 -11643 -2733 -2711 -2689 -2623 -2601 -2579 -2557 -2535 -2447 -2425 -1897 -1457 -12809 -11841 -5505 -5483 -5461 -5395 -5351 -5329 -5307 -4559 -3283 -2095 -1655 -12765 -11797 -5043 -5021 -4933 -4845 -4515 -2051 -323 -6600 -6599 -6598 -6597 -6596 -6595 -6594 -6593 -6592 -6591 -6590 -6589 -6588 -6587 -6586 -6585 -6584 -6583 -6582 -6581 -6580 233 237 -8536 -8535 -8534 -8533 -8532 -8531 -8530 -8529 -8528 -8527 -8526 -8525 -8524 -8523 -8522 -8521 -8520 -8519 -8518 -8517 -8516 -8515 354 -2 -1474 -1473 -1472 -1471 -1470 -1467 -1466 -1465 -1462 -1459 -1458 707 -12806 -1961 -663 -714 2093 -4403 4557 -715 -575 -726 -3237 12807 -723 -717 -711 -724 -716 -710 -718 -721 -713 -720 -719 -722 -725 -101 -12763 -11795 -5041 -5019 -4997 -4975 -4953 -4931 -4909 -4887 -4865 -4843 -4513 -4227 -2863 -2049 -12814 -11846 -5488 -5466 -5422 -5400 -5378 -5356 -5334 -5312 -4564 -4278 -3640 -3288 -1660 -12815 -11847 -5489 -5467 -5423 -5401 -5379 -5357 -5335 -5313 -4565 -4279 -3641 -3289 -12675 -11707 -3853 -3831 -3787 -3743 -3677 -3655 -3567 -12826 -11858 -5500 -5478 -5434 -5412 -5390 -5368 -5346 -5324 -4576 -4290 -3652 -3300 -1672 -12823 -11855 -5519 -5497 -5475 -5431 -5409 -5387 -5365 -5343 -5321 -4573 -4287 -3649 -3297 -1669 -12817 -11849 -5491 -5469 -5425 -5403 -5381 -5359 -5337 -5315 -4567 -4281 -3643 -3291 -1663 -12811 -11843 -5507 -5485 -5463 -5419 -5397 -5375 -5353 -5331 -5309 -4561 -4275 -3285 -1657 -12824 -11856 -5498 -5476 -5432 -5410 -5388 -5366 -5344 -5322 -4574 -4288 -3650 -3298 -1670 -12816 -11848 -5490 -5468 -5424 -5402 -5380 -5358 -5336 -5314 -4566 -4280 -3642 -3290 -12810 -11842 -5506 -5484 -5462 -5418 -5396 -5374 -5352 -5330 -5308 -4560 -4274 -3284 -2096 -1656 -12818 -11850 -5514 -5492 -5470 -5426 -5404 -5382 -5360 -5338 -5316 -4568 -4282 -3644 -3292 -1664 -12821 -11853 -5517 -5495 -5473 -5429 -5407 -5385 -5363 -5341 -5319 -4571 -4285 -3647 -3295 -12813 -11845 -5487 -5465 -5421 -5399 -5377 -5355 -5333 -5311 -4563 -4277 -3639 -3287 -12820 -11852 -5516 -5494 -5472 -5428 -5406 -5384 -5362 -5340 -5318 -4570 -4284 -3646 -3294 -2920 -12819 -11851 -5515 -5493 -5471 -5427 -5405 -5383 -5361 -5339 -5317 -4569 -4283 -3645 -3293 -1665 -12822 -11854 -5518 -5496 -5474 -5430 -5408 -5386 -5364 -5342 -5320 -4572 -4286 -3648 -3296 -2922 -1668 -12825 -11857 -5521 -5499 -5477 -5433 -5411 -5389 -5367 -5345 -5323 -4575 -4289 -3651 -3299 -2925 -1671 -162 -108 -11 -861 -11993 -6427 -6405 -6383 -6295 -6207 -6097 -5965 -5811 -5635 -5437 -4711 -4425 -3435 -3061 -2247 -883 11994 -222 -213 -207 -183 -137 -75 68 -12983 -12015 -6471 -6449 -6317 -6229 -6119 -5987 -5833 -5657 -5459 -4733 -4447 -3457 -3083 -2269 -299 2907 -553 -61 -184 -8008 -8007 -8006 -8005 -8004 -8003 -8002 -8001 -8000 -7999 -7998 -7997 -7996 -7995 -7994 -7993 -7992 -7991 -7990 -7989 -7988 -7987 531 -4689 -795 -11685 -3501 -3479 -3413 -3391 -3369 -3347 -3325 -3303 -3281 -3215 -3193 -2753 -1939 -552 -551 11686 -85 -2771 -2768 -2766 -2757 -2756 -2755 2841 -62 -5415 -535 -533 12631 -534 -544 -546 -549 -3 -1919 -5349 -1920 1917 -66 11663 -839 -619 -773 -12895 -11927 -6163 -6141 -6075 -6053 -5899 -5745 -5569 -5371 -4645 -4359 -2995 -2181 -11684 -3500 -3478 -3412 -3390 -3368 -3302 -3280 -3236 -3214 -3192 -3148 -2356 -1938 -2355 -3147 -11683 -3499 -3477 -3411 -3389 -3367 -3345 -3323 -3301 -3235 -3213 -3191 -12634 -2793 -2790 -2788 -12635 -11667 -3131 -3109 -3087 -3043 -3021 -2999 -2977 -2955 -2933 -2845 -2823 -1481 -12633 -11665 -3129 -3107 -3085 -3041 -3019 -2975 -2953 -2931 -2843 -2821 -1479 -11666 -3130 -3108 -3086 -3042 -3020 -2998 -2976 -2954 -2932 -2844 -2822 -1480 -12644 -11676 -3140 -3118 -3096 -3052 -3030 -3008 -2986 -2964 -2942 -2876 -2854 -2832 -12646 -11678 -3142 -3120 -3098 -3054 -3032 -3010 -2988 -2966 -2944 -2878 -2856 -2834 -1492 -12649 -11681 -3145 -3123 -3101 -3057 -3035 -3013 -2991 -2969 -2947 -2881 -2859 -2837 -1495 -179 -12939 -11971 -6361 -6339 -6185 -5943 -5789 -5613 -3039 -2225 -12719 -11751 -4491 -4469 -4381 -4337 -4315 -4293 -4271 -4205 -2819 -2005 -3544 -12873 -11905 -6031 -6009 -5921 -5723 -5547 -4623 -2973 -2159 -72 -12608 -508 -507 -12607 1898 -64 -74 -76 -71 -11640 -2730 -2708 -2642 -2620 -2598 -2532 -2444 -2422 -1894 512 -11639 -2729 -2707 -2641 -2619 -2597 -2575 -2553 -2531 -2465 -2443 -2421 -1893 490 -11645 -578 11644 -622 -798 -468 -515 -516 -776 -1876 -842 2448 -518 -528 -526 -527 2360 -666 -524 -520 -48 -12589 12590 -3702 2030 -3724 -3152 -4890 -2602 -4912 -3570 -2580 -2426 1942 -4230 -12678 -11710 -3856 -3834 -3812 -3746 -3680 -3658 -12722 -11754 -4494 -4472 -4450 -4406 -4384 -4362 -4340 -4318 -4296 -4208 -3196 -2008 -1568 -12898 -11930 -6166 -6144 -6122 -6078 -6056 -5902 -5748 -5572 -4648 -3372 -2184 -1744 -12568 -1854 -1832 -1788 -1766 -1722 -1700 -1678 -1612 -1590 -1502 -1436 -475 -484 -469 -472 -476 -482 -483 -480 -477 -481 12567 -12615 -11647 -2715 -2693 -2649 -2627 -2605 -2583 -2561 -2539 -2473 -2451 -2429 -2363 -12616 -11648 -2716 -2694 -2650 -2628 -2606 -2584 -2562 -2540 -2474 -2452 -2430 -2364 -12876 -11908 -6034 -6012 -5990 -5946 -5924 -5726 -5550 -4626 -3350 -2162 -12942 -11974 -6364 -6342 -6320 -6188 -5792 -5616 -4692 -3416 -2228 -12618 -11650 -2718 -2696 -2652 -2630 -2608 -2586 -2564 -2542 -2476 -2454 -2432 -2366 -12628 -11660 -2728 -2706 -2662 -2640 -2618 -2596 -2574 -2552 -2486 -2464 -2442 -2376 -12626 -11658 -2726 -2704 -2660 -2638 -2616 -2594 -2572 -2550 -2484 -2462 -2440 -2374 -12627 -11659 -2749 -2727 -2705 -2661 -2639 -2617 -2595 -2573 -2551 -2485 -2463 -2441 -2375 -12766 -11798 -5044 -5022 -5000 -4934 -4868 -4846 -4516 -3240 -2052 -12624 -11656 -2746 -2724 -2702 -2658 -2636 -2614 -2592 -2570 -2548 -2482 -2460 -2438 -2372 -12620 -11652 -2742 -2720 -2698 -2654 -2632 -2610 -2588 -2566 -2544 -2478 -2456 -2434 -2368 -2483 -2481 -2480 -2479 -2477 -9 -12575 -11607 -1861 -1839 -1795 -1773 -1751 -1729 -1707 -1685 -1619 -1597 -1575 -1509 -12584 -11616 -1870 -1848 -1804 -1782 -1760 -1738 -1716 -1694 -1628 -1606 -1584 -1518 -12569 -1877 -1855 -1833 -1789 -1767 -1745 -1723 -1701 -1679 -1613 -1591 -1569 -1503 -12572 -11604 -1858 -1836 -1792 -1770 -1748 -1726 -1704 -1682 -1616 -1594 -1572 -1506 -12576 -11608 -1884 -1862 -1840 -1796 -1774 -1752 -1730 -1708 -1686 -1620 -1598 -1576 -1510 -12582 -11614 -1868 -1846 -1802 -1780 -1758 -1736 -1714 -1692 -1626 -1604 -1582 -1516 -12583 -11615 -1891 -1869 -1847 -1803 -1781 -1759 -1737 -1715 -1693 -1627 -1605 -1583 -1517 -12580 -11612 -1888 -1866 -1844 -1800 -1778 -1756 -1734 -1712 -1690 -1624 -1602 -1580 -1514 -12577 -11609 -1885 -1863 -1841 -1797 -1775 -1753 -1731 -1709 -1687 -1621 -1599 -1577 -1511 -12581 -11613 -1889 -1867 -1845 -1801 -1779 -1757 -1735 -1713 -1691 -1625 -1603 -1581 -1515 -941 -13041 -12073 -6507 -6485 -6375 -6287 -6177 -6045 -5891 -5715 -5055 -4791 -4505 -3867 -3515 -2745 -729 -12829 -5701 -5679 -5591 -5525 -5305 -4579 -2929 -2115 12828 -741 -743 -738 -739 -737 -748 -732 -744 -746 -731 -742 -736 -745 -747 -740 -730 -735 -733 -734 -69 640 -12841 -11873 -5713 -5691 -5669 -5625 -5603 -5581 -5559 -5537 -4855 -4591 -4305 -3997 -3667 -3315 -2545 -12843 -11875 -5693 -5671 -5627 -5605 -5583 -5561 -5539 -4857 -4593 -4307 -3999 -3669 -3317 -2547 -12838 -5688 -5666 -5622 -5600 -5578 -5556 -5534 -4852 -4588 -4302 -3994 -3664 -3312 -12839 -11871 -5689 -5667 -5623 -5601 -5579 -5557 -5535 -4853 -4589 -4303 -3995 -3665 -3313 -2543 -12837 -11869 -5687 -5665 -5621 -5599 -5577 -5555 -5533 -4851 -4587 -4301 -3993 -3663 -3311 -12848 -11880 -5698 -5676 -5632 -5610 -5588 -5566 -5544 -4862 -4598 -4312 -4004 -3674 -3322 -12832 -11864 -5704 -5682 -5660 -5594 -5528 -4582 -3306 -2536 -2118 -12844 -11876 -5716 -5694 -5672 -5628 -5606 -5584 -5562 -5540 -4858 -4594 -4308 -4000 -3670 -3318 -12846 -11878 -5696 -5674 -5630 -5608 -5586 -5564 -5542 -4860 -4596 -4310 -4002 -3672 -3320 -12831 -11863 -5703 -5681 -5659 -5615 -5593 -5571 -5549 -5527 -4581 -4295 -3305 -2117 -1677 -12842 -11874 -5714 -5692 -5670 -5626 -5604 -5582 -5560 -5538 -4856 -4592 -4306 -3998 -3668 -3316 -2546 -12836 -11868 -5686 -5664 -5620 -5598 -5576 -5554 -5532 -4850 -4586 -4300 -3992 -3662 -3310 -12845 -11877 -5717 -5695 -5673 -5629 -5607 -5585 -5563 -5541 -4859 -4595 -4309 -4001 -3671 -3319 -2549 -12847 -11879 -5719 -5697 -5675 -5631 -5609 -5587 -5565 -5543 -4861 -4597 -4311 -4003 -3673 -3321 -12840 -11872 -5712 -5690 -5668 -5624 -5602 -5580 -5558 -5536 -4854 -4590 -4304 -3996 -3666 -3314 -12830 -11862 -5702 -5680 -5658 -5636 -5592 -5526 -4580 -3304 -2116 -1676 -12835 -11867 -5685 -5663 -5619 -5597 -5575 -5553 -5531 -4849 -4585 -4299 -3991 -3661 -3309 -12833 -11865 -5705 -5683 -5661 -5617 -5595 -5573 -5551 -5529 -4847 -4583 -4297 -3659 -3307 -2537 -12834 -11866 -5684 -5662 -5596 -5530 -4584 -3990 -3308 -11773 4578 2026 -86 -51 -193 -117 -12 -192 -112 93 -3894 -3893 -3892 -3891 -3890 -3889 -3888 -3887 -3886 -3885 -3884 -3883 -3882 -3881 27 -324 -258 -8558 -8557 -8556 -8555 -8554 -8553 -8552 -8551 -8550 -8549 -8548 -8547 -8546 -8545 -8544 -8543 -8542 -8541 -8540 -8539 -8538 -8537 355 -7106 -7105 -7104 -7103 -7102 -7101 -7100 -7099 -7098 -7097 -7096 -7095 -7094 -7093 -7092 -7091 -7090 -7089 -7088 -7087 -7086 -7085 -124 -4158 -4157 -4156 -4155 -4154 -4153 -4152 -4151 -4150 -4149 -4148 -4147 -4146 -4145 -4144 39 -888 -270 -12988 -12020 -6454 -6234 -5838 -4738 -3462 -7370 -7369 -7368 -7367 -7366 -7365 -7364 -7363 -7362 -7361 -7360 -7359 -7358 -7357 -7356 -7355 -7354 -7353 -7352 -7351 -7350 -7349 -751 -12851 -11883 -5877 -5855 -5767 -5327 -4601 -2951 -2137 -178 -70 -794 -12894 -11926 -6162 -6140 -6074 -6052 -5568 -5370 -4908 -4644 -4358 -3720 -2180 -180 -777 -12877 -11909 -6035 -6013 -5991 -5947 -5925 -5903 -5727 -4891 -4627 -4341 -3703 -3351 -2581 -621 -12721 -11753 -4493 -4471 -4449 -4405 -4383 -4361 -4317 -4207 -3195 -2007 -1567 -7 -573 131 -12673 -11705 -3851 -3829 -3763 -3741 -3697 -3653 -3565 -3543 -1959 -362 -9394 -9393 -9392 -9391 -9390 -9389 -9388 -9387 -9386 -9385 -9384 -9383 -9382 -9381 -9380 -9379 -9378 -9377 -9376 -9375 -9374 -9373 -799 -12899 -11931 -6167 -6145 -6123 -6079 -6057 -5749 -4913 -4649 -4363 -3725 -3373 -2603 662 -12761 -574 -667 -706 4842 2048 -669 -671 -670 -682 -679 -675 -680 -672 -678 -676 -674 12762 -681 -677 -673 -838 386 4512 -83 -12674 -11706 -3852 -3830 -3742 -3654 -3566 -1960 -12767 -11799 -5045 -5023 -5001 -4957 -4935 -4869 -4517 -4231 -3241 -11838 -5502 -5480 -5414 -5392 -5304 -4556 -4270 -2092 11839 156 29 -12769 -11801 -5025 -5003 -4959 -4937 -4915 -4893 -4871 -4519 -4233 -3243 -12771 -11803 -5027 -5005 -4961 -4939 -4917 -4895 -4873 -4521 -4235 -3245 -12770 -11802 -5026 -5004 -4960 -4938 -4916 -4894 -4872 -4520 -4234 -3244 -12782 -11814 -5038 -5016 -4972 -4950 -4928 -4906 -4884 -4532 -4246 -3256 -12779 -11811 -5057 -5035 -5013 -4969 -4947 -4925 -4903 -4881 -4529 -4243 -3253 -12775 -11807 -5053 -5031 -5009 -4965 -4943 -4921 -4899 -4877 -4525 -4239 -3249 -12780 -11812 -5036 -5014 -4970 -4948 -4926 -4904 -4882 -4530 -4244 -3254 -12772 -11804 -5028 -5006 -4962 -4940 -4918 -4896 -4874 -4522 -4236 -3246 -12778 -11810 -5056 -5034 -5012 -4968 -4946 -4924 -4902 -4880 -4528 -4242 -3252 -12776 -11808 -5054 -5032 -5010 -4966 -4944 -4922 -4900 -4878 -4526 -4240 -3250 -12774 -11806 -5052 -5030 -5008 -4964 -4942 -4920 -4898 -4876 -4524 -4238 -3248 -12781 -11813 -5059 -5037 -5015 -4971 -4949 -4927 -4905 -4883 -4531 -4245 -3255 -12777 -11809 -5033 -5011 -4967 -4945 -4923 -4901 -4879 -4527 -4241 -3251 -12773 -11805 -5029 -5007 -4963 -4941 -4919 -4897 -4875 -4523 -4237 -3247 -12938 -11970 -6360 -6338 -6184 -5612 -4952 -4688 -4402 -2224 141 -102 -25 -182 -177 -130 -387 -260 -163 -372 79 279 -683 -9944 -9943 -9942 -9941 -9940 -9939 -9938 -9937 -9936 -9935 -9934 -9933 -9932 -9931 -9930 -9929 -9928 -9927 -9926 -9925 -9924 -9923 -7150 -7149 -7148 -7147 -7146 -7145 -7144 -7143 -7142 -7141 -7140 -7139 -7138 -7137 -7136 -7135 -7134 -7133 -7132 -7131 -7130 -7129 -9614 -9613 -9612 -9611 -9610 -9609 -9608 -9607 -9606 -9605 -9604 -9603 -9602 -9601 -9600 -9599 -9598 -9597 -9594 -9593 -310 -12783 -11815 -4533 -8250 -8249 -8248 -8247 -8246 -8245 -8244 -8243 -8242 -8241 -8240 -8239 -8238 -8237 -8236 -8235 -8234 -8233 -8232 -8231 -8230 -8229 236 647 646 -13539 -12746 -11780 -5267 -12745 -11779 -822 3902 3220 -756 -910 -3177 -3179 -3181 -3178 -12922 -11954 -6256 -5772 -4672 -4078 -3396 -12856 -11888 -5860 -4606 -4012 -3330 -757 -13010 -12042 -4760 -4166 -3484 -3180 -12857 -11889 -5861 -5839 -5795 -5773 -5751 -5729 -4607 -4321 -4013 -3683 -3331 -661 -11793 -5039 -5017 -4951 -4929 -4907 -4885 -4863 -4841 -4511 -4225 -2047 11794 -161 -159 -158 -157 87 618 -318 -12717 2004 4292 -628 -634 -629 -627 -623 -926 -81 -816 -904 12718 4226 -632 4204 128 -636 -633 -630 -635 -637 -638 -625 -631 -626 -8426 -8425 -8424 -8423 -8422 -8421 -8420 -8419 -8418 -8417 -8416 -8415 -8414 -8413 -8412 -8411 -8410 -8409 -8408 -8407 -8406 -8405 349 33 -12728 -11760 -4478 -4456 -4412 -4390 -4368 -4346 -4324 -4214 -3554 -3202 -12734 -11766 -4506 -4484 -4462 -4418 -4396 -4374 -4352 -4330 -4220 -3560 -3208 -12729 -11761 -4479 -4457 -4413 -4391 -4369 -4347 -4325 -4215 -3555 -3203 -2433 -12727 -11759 -4477 -4455 -4411 -4389 -4367 -4345 -4323 -4213 -3553 -3201 -12723 -11755 -4495 -4473 -4451 -4407 -4385 -4319 -4209 -3197 -2427 -13026 -12058 -6492 -6272 -5700 -5040 -4776 -4490 -2312 -3212 -3211 -3210 -3209 -3207 -3206 -3205 -3204 -3200 -3199 -12916 -11948 -6250 -5590 -4930 -4666 -4380 -2202 -13004 -12036 -5678 -5018 -4754 -4468 -2290 -12732 -11764 -4504 -4482 -4460 -4416 -4394 -4372 -4350 -4328 -4218 -3558 -2436 -359 -12736 -11768 -4486 -4464 -4420 -4398 -4376 -4354 -4332 -4222 -3562 -12733 -11765 -4483 -4461 -4417 -4395 -4373 -4351 -4329 -4219 -3559 -2437 -12730 -11762 -4502 -4480 -4458 -4414 -4392 -4370 -4348 -4326 -4216 -3556 -12735 -11767 -4507 -4485 -4463 -4419 -4397 -4375 -4353 -4331 -4221 -3561 -2439 -12737 -11769 -4509 -4487 -4465 -4421 -4399 -4377 -4355 -4333 -4223 -3563 -12738 -11770 -4488 -4466 -4422 -4400 -4378 -4356 -4334 -4224 -3564 -12725 -11757 -4475 -4453 -4409 -4387 -4365 -4343 -4211 -3551 -12731 -11763 -4503 -4481 -4459 -4415 -4393 -4371 -4349 -4327 -4217 -3557 -2435 -12726 -11758 -4476 -4454 -4410 -4388 -4366 -4344 -4322 -4212 -3552 -118 -264 -97 -46 -165 -160 -164 -138 -9328 -9327 -9326 -9325 -9324 -9323 -9322 -9321 -9320 -9319 -9318 -9317 -9316 -9315 -9314 -9313 -9312 -9311 -9310 -9309 -9308 -9307 -4026 -4025 -4024 -4023 -4022 -4021 -4020 -4019 -4018 -4017 -4016 -4015 -4014 -7238 -7237 -7236 -7235 -7234 -7233 -7232 -7231 -7230 -7229 -7228 -7227 -7226 -7225 -7224 -7223 -7222 -7221 -7220 -7219 -7218 -7217 5812 200 752 -431 -11885 -11886 -11890 1698 -749 -759 -761 2138 3326 4602 -760 -768 -762 -770 11884 -10912 -10911 -10910 -10909 -10908 -10907 -10906 -10905 -10904 -10903 -10902 -10901 -10900 -10899 -10898 -10897 -10896 -10895 -10894 -10893 -10892 -10891 -758 13 -12849 -11881 -5875 -5853 -5787 -5765 -5743 -5721 -5523 -4599 -4313 -2135 -12859 -11891 -5863 -5841 -5797 -5775 -5753 -5731 -4609 -3685 -3333 -12861 -11893 -5865 -5843 -5799 -5777 -5755 -5733 -4611 -3687 -3335 -2565 -12860 -11892 -5864 -5842 -5798 -5776 -5754 -5732 -4610 -3686 -3334 -763 -767 -766 -12868 -11900 -5872 -5850 -5806 -5784 -5762 -5740 -4618 -3694 -3342 -769 -12862 -11894 -5888 -5866 -5844 -5800 -5778 -5756 -5734 -4612 -3688 -3336 -764 -765 -12870 -11902 -5874 -5852 -5808 -5786 -5764 -5742 -4620 -3696 -3344 -1343 -12858 -5862 -5840 -5796 -5774 -5752 -5730 -4608 -3684 -3332 -244 -187 -132 -12863 -11895 -5889 -5867 -5845 -5801 -5779 -5757 -5735 -4613 -3689 -3337 -2567 -12867 -11899 -5893 -5871 -5849 -5805 -5783 -5761 -5739 -4617 -3693 -3341 -2571 -12866 -11898 -5892 -5870 -5848 -5804 -5782 -5760 -5738 -4616 -3692 -3340 -12869 -11901 -5895 -5873 -5851 -5807 -5785 -5763 -5741 -4619 -3695 -3343 -12864 -11896 -5890 -5868 -5846 -5802 -5780 -5758 -5736 -4614 -3690 -3338 -2568 -12865 -11897 -5869 -5847 -5803 -5781 -5759 -5737 -4615 -3691 -3339 -2569 -13443 -12475 -11507 -11485 -11463 -11375 -11287 -11177 -11045 -10715 -10517 -10297 -10055 -9505 -9197 -8867 -8141 -7745 -1365 -6798 -6797 -6796 -6795 -6794 -6793 -6792 -6791 -6790 -6789 -6788 -6787 -6786 -6785 -6784 -6783 -6782 -6781 -6780 -6779 -6778 -6777 -13465 -12497 -11551 -11529 -11397 -11309 -11199 -11067 -10913 -10737 -10539 -10319 -10077 -9527 -9219 -8889 -8163 -7767 -6909 35 -266 -7282 -7281 -7280 -7279 -7278 -7277 -7276 -7275 -7274 -7273 -7272 -7271 -7270 -7269 -7268 -7267 -7266 -7265 -7264 -7263 -7262 -7261 909 -13008 -13005 -13007 -13003 -13006 -913 -903 4759 -911 -3857 -921 -915 -914 -919 -917 -924 -922 -916 -920 -923 -918 13009 -912 -826 -824 3483 -13013 -12045 -6457 -6347 -6259 -6149 -6017 -5269 -4763 -4169 -3839 -3487 -12035 -6491 -6337 -6249 -6139 -6007 -5677 -4753 -4467 -2289 152 -13011 -12043 -6455 -6345 -6257 -6147 -6015 -4761 -4167 -3837 -3485 -13021 -12053 -6509 -6465 -6355 -6267 -6157 -6025 -5277 -4771 -4177 -3847 -3495 -2725 -13015 -12047 -6459 -6349 -6261 -6151 -6019 -5271 -4765 -4171 -3841 -3489 -2719 -13014 -12046 -6458 -6348 -6260 -6150 -6018 -5270 -4764 -4170 -3840 -3488 -13019 -12051 -6463 -6353 -6265 -6155 -6023 -5275 -4769 -4175 -3845 -3493 -2723 -13017 -12049 -6505 -6461 -6351 -6263 -6153 -6021 -5273 -4767 -4173 -3843 -3491 -2721 -13024 -12056 -6468 -6358 -6270 -6160 -6028 -5280 -4774 -4180 -3850 -3498 -13022 -12054 -6466 -6356 -6268 -6158 -6026 -5278 -4772 -4178 -3848 -3496 -13016 -12048 -6504 -6460 -6350 -6262 -6152 -6020 -5272 -4766 -4172 -3842 -3490 -13020 -12052 -6508 -6464 -6354 -6266 -6156 -6024 -5276 -4770 -4176 -3846 -3494 -13023 -12055 -6511 -6467 -6357 -6269 -6159 -6027 -5279 -4773 -4179 -3849 -3497 -13018 -12050 -6506 -6462 -6352 -6264 -6154 -6022 -5274 -4768 -4174 -3844 -3492 -2722 -13012 -12044 -6456 -6346 -6258 -6148 -6016 -5268 -4762 -4168 -3838 -3486 -12926 -11958 -6238 -6194 -6062 -5930 -5182 -4676 -4082 -3752 -3400 -12924 -11956 -6236 -6192 -6060 -5928 -5180 -4674 -4080 -3750 -3398 94 -194 -139 -383 -175 -125 -325 -9856 -9855 -9854 -9853 -9852 -9851 -9850 -9849 -9848 -9847 -9846 -9845 -9844 -9843 -9842 -9841 -9840 -9839 -9836 406 -8580 -8579 -8578 -8577 -8576 -8575 -8574 -8573 -8572 -8571 -8570 -8569 -8568 -8567 -8566 -8565 -8564 -8563 -8562 -8561 -8560 -8559 356 3835 110 579 -341 -513 -821 -582 11711 -6343 3571 -583 -755 -843 -589 -594 -931 -593 -592 -587 -591 -588 -887 -590 -105 12679 -585 -584 3153 -586 -581 -8932 -8931 -8930 -8929 -8928 -8927 -8926 -8925 -8924 -8923 -8922 -8921 -8920 -8919 -8918 -8917 -8916 -8915 -8914 -8913 -8912 -8911 -12613 -2735 -2713 -2691 -2625 -2559 -2449 -2361 -525 -523 -522 -519 -521 -56 12612 -12921 -11953 -6277 -6255 -6233 -6189 -5771 -4671 -3747 -3395 -833 -823 -831 -829 -825 -832 -834 -836 -828 -827 -835 -830 -12682 -11714 -3816 -3772 -3728 -3706 -3574 -3156 98 -12683 -11715 -3817 -3773 -3751 -3729 -3707 -3575 -3157 -12855 -11887 -5881 -5859 -5837 -5793 -4605 -3681 -3329 -12943 -11975 -6365 -6321 -4693 -3769 -3417 -12689 -11721 -3823 -3779 -3757 -3735 -3713 -3581 -3163 -12694 -11726 -3828 -3784 -3762 -3740 -3718 -3586 -3168 -13031 -12063 -6497 -6475 -4781 -3505 -12693 -11725 -3871 -3827 -3783 -3761 -3739 -3717 -3585 -3167 -12692 -11724 -3826 -3782 -3760 -3738 -3716 -3584 -3166 -12687 -11719 -3865 -3821 -3777 -3755 -3733 -3711 -3579 -3161 -12691 -11723 -3869 -3825 -3781 -3759 -3737 -3715 -3583 -3165 -12688 -11720 -3866 -3822 -3778 -3756 -3734 -3712 -3580 -3162 -12987 -12019 -6453 -4737 -3813 -3461 -12690 -11722 -3868 -3824 -3780 -3758 -3736 -3714 -3582 -3164 -3732 -3731 -3730 -3727 -12685 -11717 -3819 -3775 -3753 -3709 -3577 -3159 -12684 -11716 -3818 -3774 -3708 -3576 -3158 -107 -12686 -11718 -3864 -3820 -3776 -3754 -3710 -3578 -3160 -12681 -11713 -3815 -3771 -3749 -3705 -3573 -3155 -104 -12625 -11657 -2747 -2703 -2659 -2637 -2615 -2593 -2461 -2373 -12623 -11655 -2701 -2657 -2635 -2613 -2591 -2459 -2371 -12622 -11654 -2744 -2700 -2656 -2634 -2612 -2590 -2458 -2370 -12619 -11651 -2697 -2653 -2631 -2609 -2587 -2455 -2367 -12621 -11653 -2743 -2699 -2655 -2633 -2611 -2589 -2457 -2369 -12933 -11965 -6289 -6245 -6201 -6069 -5937 -5189 -4683 -4089 -3407 -12923 -11955 -6235 -6191 -6059 -5927 -5179 -4673 -4079 -3397 -12931 -11963 -6243 -6199 -6067 -5935 -5187 -4681 -4087 -3405 -12929 -11961 -6285 -6241 -6197 -6065 -5933 -5185 -4679 -4085 -3403 -12925 -11957 -6237 -6193 -6061 -5929 -5181 -4675 -4081 -3399 -12932 -11964 -6288 -6244 -6200 -6068 -5936 -5188 -4682 -4088 -3406 -12934 -11966 -6246 -6202 -6070 -5938 -5190 -4684 -4090 -3408 -12936 -11968 -6248 -6204 -6072 -5940 -5192 -4686 -4092 -3410 -12928 -11960 -6284 -6240 -6196 -6064 -5932 -5184 -4678 -4084 -3402 -12927 -11959 -6239 -6195 -6063 -5931 -5183 -4677 -4083 -3401 -12935 -11967 -6291 -6247 -6203 -6071 -5939 -5191 -4685 -4091 -3409 -12930 -11962 -6286 -6242 -6198 -6066 -5934 -5186 -4680 -4086 -3404 -329 -103 -106 -109 -111 -53 -54 -121 -171 -8668 -8667 -8666 -8665 -8664 -8663 -8662 -8661 -8660 -8659 -8658 -8657 -8656 -8655 -8654 -8653 -8652 -8651 -8648 -8647 332 256 36 -13157 -267 -7304 -7303 -7302 -7301 -7300 -7299 -7298 -7297 -7296 -7295 -7294 -7293 -7292 -7291 -7290 -7289 -7288 -7287 -7286 -7285 -7284 -7283 -7371 89 -320 147 15 -8470 -8469 -8468 -8467 -8466 -8465 -8464 -8463 -8462 -8461 -8460 -8459 -8458 -8457 -8456 -8455 -8454 -8453 -8452 -8451 -8450 -8449 351 285 336 -378 -246 1743 -120 -9746 -9745 -9744 -9743 -9742 -9741 -9740 -9739 -9738 -9737 -9736 -9735 -9734 -9733 -9732 -9731 -9730 -9729 -6842 -6841 -6840 -6839 -6838 -6837 -6836 -6835 -6834 -6833 -6832 -6831 -6830 -6829 -6828 -6827 -6826 -6825 -6824 -6823 -6822 -6821 444 428 797 -4070 -4069 -4068 -4067 -4066 -4065 -4064 -4063 -4062 -4061 -4060 -4059 -4058 -4057 -197 771 -793 -753 11929 3371 -807 -808 -805 -814 -813 -801 -12893 -929 -841 4647 -885 2183 -811 -804 -806 -809 -810 -803 -812 -802 12897 -819 -775 -907 -5747 11903 4335 -789 -790 -792 133 -784 -782 -786 -788 12871 -781 -780 -779 -791 -787 -785 -783 2157 -11925 -6161 -6073 -6051 -5897 -5567 -4643 -4357 -2179 -12853 -5879 -5857 -5835 -5791 -5769 -5725 -4603 -3327 -2139 -1699 -754 12852 -12907 -11939 -6175 -6131 -6087 -5911 -4657 -3381 -12908 -11940 -6176 -6132 -6088 -5912 -4658 -3382 -12905 -11937 -6129 -6085 -5909 -4655 -3379 -12914 -11946 -6138 -6094 -5918 -4664 -3388 -12913 -11945 -6181 -6137 -6093 -5917 -4663 -3387 -12901 -11933 -6125 -6081 -5905 -4651 -3375 -13029 -12061 -6495 -6473 -6363 -6275 -6165 -6033 -4779 -3503 -2315 -1875 -930 -939 -940 -938 -945 -942 -943 -12941 -11973 -6341 -6319 -6187 -4691 -3415 -2227 -1787 -12985 -12017 -6451 -6231 -5989 -4735 -3459 -2271 -1831 -892 -12911 -11943 -6179 -6135 -6091 -5915 -4661 -3385 -12904 -11936 -6128 -6084 -5908 -4654 -3378 -12906 -11938 -6174 -6130 -6086 -5910 -4656 -3380 -12909 -11941 -6133 -6089 -5913 -4659 -3383 -12910 -11942 -6178 -6134 -6090 -5914 -4660 -3384 -12903 -11935 -6127 -6083 -5907 -4653 -3377 -12912 -11944 -6136 -6092 -5916 -4662 -3386 -12902 -11934 -6126 -6082 -5906 -4652 -3376 -12919 -11951 -6253 -6055 -5923 -4669 -3393 -2205 -1765 -12875 -11907 -6011 -5901 -4625 -3349 -2161 -1721 -12039 -6143 -4757 -3481 -2293 -1853 -906 -905 617 -12889 -11921 -6047 -6003 -5959 -4639 -4045 -3363 -12890 -11922 -6004 -5960 -4640 -4046 -3364 -12892 -11924 -6006 -5962 -4642 -4048 -3366 -364 -12884 -11916 -6042 -5998 -5954 -4634 -4040 -3358 -12882 -11914 -5996 -5952 -4632 -4038 -3356 -12886 -11918 -6044 -6000 -5956 -4636 -4042 -3360 -12888 -11920 -6046 -6002 -5958 -4638 -4044 -3362 -12881 -11913 -5995 -5951 -4631 -4037 -3355 -12880 -11912 -5994 -5950 -4630 -4036 -3354 -12879 -11911 -5993 -5949 -4629 -4035 -3353 -12891 -11923 -6049 -6005 -5961 -4641 -4047 -3365 -12887 -11919 -6001 -5957 -4637 -4043 -3361 -12885 -11917 -6043 -5999 -5955 -4635 -4041 -3359 -12883 -11915 -5997 -5953 -4633 -4039 -3357 34 485 -216 -212 -211 -204 -189 -134 -208 -199 -196 -12854 -5880 -5858 -5836 -5770 -4604 -3328 -2558 -2140 -13030 -6496 -6474 -6276 -4780 -3504 -2734 -2316 78 -13039 -12071 -6483 -6373 -4789 -3513 -13040 -12072 -6484 -6374 -4790 -3514 -13038 -12070 -6482 -6372 -4788 -3512 -13045 -12077 -6489 -6379 -4795 -3519 -13042 -12074 -6486 -6376 -4792 -3516 -13043 -12075 -6487 -6377 -4793 -3517 -224 -91 837 -17 -12992 -12024 -6326 -4742 -3466 -214 -209 -88 -14 -215 -12038 -6494 -6450 -6406 -6252 -5856 -4756 -3480 -2292 -1852 -12037 -6493 -6251 -5481 -4755 -3105 -2291 -11750 11749 2003 -9438 -9437 -9436 -9435 -9434 -9433 -9432 -9431 -9430 -9429 -9428 -9427 -9426 -9425 -9424 -9423 -9422 -9421 -9420 -9419 -9418 -9417 -119 -265 -11618 11617 188 -52 -60 -309 3127 -3432 -3431 -3430 -3429 -3428 -3427 -3426 -3425 -3424 -3423 -3422 -3421 -3420 -3419 136 5611 206 191 11969 -847 -853 -849 -858 -855 12937 -852 -856 -851 -848 -857 -850 -122 -846 -854 -845 4401 2223 5941 -11860 727 5545 -231 -227 -202 -20 -185 -77 -7260 -7259 -7258 -7257 -7256 -7255 -7254 -7253 -7252 -7251 -7250 -7249 -7248 -7247 -7246 -7245 -7244 -7243 -7242 -7241 -7240 -7239 389 -419 186 -8228 -8227 -8226 -8225 -8224 -8223 -8222 -8221 -8220 -8219 -8218 -8217 -8216 -8215 -8214 -8213 -8212 -8211 -8210 -8209 -8208 -8207 927 -367 -437 -422 -12947 -11979 -6325 -4697 -4103 -12953 -11985 -6331 -4703 -4109 -12949 -11981 -6327 -4699 -4105 -12958 -11990 -6336 -4708 -4114 -12955 -11987 -6333 -4705 -4111 -12952 -11984 -6330 -4702 -4108 -12956 -11988 -6334 -4706 -4112 -12951 -11983 -6329 -4701 -4107 -12948 -11980 -4698 -4104 -12957 -11989 -6335 -4707 -4113 -12950 -11982 -6328 -4700 -4106 -4110 -4102 -4101 37 -12946 -11978 -6324 -4696 -12954 -11986 -6332 -4704 -12945 -11977 -6323 -4695 11859 4291 2113 -925 -815 -639 -10648 -10647 -10646 -10645 -10644 -10643 -10642 -10641 -10640 -10639 -10638 -10637 -10636 -10635 -10634 -10633 -10632 -10631 -10630 -10629 -10628 -10627 -417 5503 -6557 -12060 -13025 4777 2313 -817 12059 -9504 -9503 -9502 -9501 -9500 -9499 -9498 -9497 -9496 -9495 -9494 -9493 -9492 -9491 -9490 -9489 -9488 -9487 -9486 -9485 -9484 -9483 -11044 -11043 -11042 -11041 -11040 -11039 -11038 -11037 -11036 -11035 -11034 -11033 -11032 -11031 -11030 -11029 -11028 -11027 -11026 -11025 -11024 -11023 -10714 -10713 -10712 -10711 -10710 -10709 -10708 -10707 -10706 -10705 -10704 -10703 -10702 -10701 -10700 -10699 -10698 -10697 -10696 -10695 -10694 -10693 392 -223 -268 -12057 -6359 -6271 -6029 -5699 -4775 -4489 -2311 -12915 -11947 -6183 -5919 -5589 -4665 -4379 -2201 -11771 -4687 -4621 -4577 -4203 -2025 11772 -10649 -10604 -10603 -10602 -10601 -10600 -10599 -10598 -10597 -10596 -10595 -10594 -10593 -10592 -10591 -10590 -10589 -10588 -10587 -10586 -10585 -10584 -10583 -12917 -11949 -6273 -5393 -4667 -3017 -2203 -7326 -7325 -7324 -7323 -7322 -7321 -7320 -7319 -7318 -7317 -7316 -7315 -7314 -7313 -7312 -7311 -7310 -7309 -7308 -7307 -7306 -7305 -225 -210 -195 -140 -217 148 -205 -190 -135 -149 -146 -6733 -181 -73 -379 90 -9768 -9767 -9766 -9765 -9764 -9763 -9762 -9761 -9760 -9759 -9758 -9757 -9756 -9755 -9754 -9753 -9752 -9751 -9748 -9747 402 -321 -8492 -8491 -8490 -8489 -8488 -8487 -8486 -8485 -8484 -8483 -8482 -8481 -8480 -8479 -8478 -8477 -8476 -8475 -8474 -8473 -8472 -8471 352 993 -13092 -12126 -7065 7571 -8583 -971 -1037 -13071 -12103 -7373 -7153 -7043 -13137 -12169 -8495 -8429 -8385 -8363 -8341 -8319 -8275 -7835 -992 -12124 -7812 -7790 -7768 -7746 -7724 -7702 -7680 -7658 -7636 -7614 -7592 -7570 -7548 -7504 -7482 -7460 -7416 -6536 12125 -991 -13091 -12123 -7811 -7789 -7723 -7701 -7679 -7657 -7635 -7613 -7591 -7569 -7547 -7503 -7481 -7459 -7415 -6535 -13158 -1301 -13401 -12433 -11355 -11333 -11311 -11289 -11267 -11135 -11003 -10849 -10673 -10475 -10255 -10013 -9463 -9155 -8825 -8099 -7703 -6845 -1235 -13335 -12367 -10959 -10937 -10915 -10871 -10827 -10805 -10607 -10409 -10189 -9947 -9397 -9089 -8759 -8033 -7637 1213 -13312 -12346 10167 -12347 -13311 -1256 7615 -1257 -1323 -1103 -1147 -13356 -12388 -11112 -11090 -11068 -11046 -11002 -10980 -10804 -10430 -10210 -9968 -9704 -9110 -8780 -8428 -8054 -6800 -9703 282 -13357 -12389 -11113 -11091 -11069 -11047 -10981 -10431 -10211 -9969 -9111 -8781 -8055 -7659 -6801 -13423 -12455 -11443 -11421 -11399 -11377 -11157 -10497 -10277 -10035 -9177 -8847 -8121 -7725 -6867 -13203 -12235 -9573 -9551 -9529 -9507 -9441 -9353 -9331 -8957 -8627 -7901 -7505 -6647 -13247 -12279 -10123 -10101 -10079 -10057 -9991 -9903 -9881 -9001 -8671 -7945 -7549 -6691 -1146 -13246 -12278 -10122 -10100 -10078 -10056 -10034 -10012 -9990 -9946 -9902 -9880 -9000 -8670 -8318 -7944 -6690 -9967 -1255 -13355 -8076 -12387 -11111 -11089 -11001 -10979 -10803 -10429 -10209 -9109 -8779 -8427 -8053 -6799 -1277 -1279 -1278 -8075 -13377 -12409 -11243 -11221 -11155 -11133 -10825 -10451 -10231 -9989 -9439 -9131 -8801 -13379 -12411 -11245 -11223 -11201 -11179 -10651 -10453 -10233 -9133 -8803 -8077 -7681 -13378 -12410 -11244 -11222 -11200 -11178 -11156 -11134 -10826 -10650 -10452 -10232 -9440 -9132 -8802 -1345 -13445 -12477 -11509 -11487 -11465 -10717 -10519 -10299 -9199 -8869 -8143 -7747 -1344 -13444 -12476 -11508 -11486 -11464 -11376 -11288 -10716 -10518 -10298 -9506 -9198 -8868 -8142 -1366 -1367 -13466 -12498 -11552 -11530 -11398 -11310 -10914 -10738 -10540 -10320 -9528 -9220 -8890 -8164 -6910 -13467 -12499 -11553 -11531 -10739 -10541 -10321 -9221 -8891 -8165 -7769 -6911 994 -13093 -12127 -12132 -972 7572 -1038 -13072 -12104 -7374 -7154 -7066 -7044 -13138 -12170 -8584 -8496 -8430 -8386 -8364 -8342 -8320 -8276 -7836 -12134 -13245 -1145 -12277 -10121 -10099 -10033 -10011 -9945 -9901 -9879 -8999 -8669 -8317 -7943 -6689 -1322 -13159 -13422 -12454 -11442 -11420 -11266 -10870 -10496 -10276 -9770 -9176 -8846 -8494 -8120 -6866 -9769 1300 -13399 -12435 -12434 -12441 -1036 -1124 -970 -1302 -1318 -1305 -1317 -1314 -1309 -1313 -1310 -1315 -1303 -1319 -1306 -1320 -1304 -1312 -1307 -1308 -1311 -1316 13400 -13136 -12168 -8582 -8384 -8362 -8340 -8274 -7834 -8581 380 -13224 -12256 -13070 -12102 -7372 -7152 -7064 -7042 -13402 -11356 -11334 -11312 -11290 -11268 -11136 -11004 -10850 -10674 -10476 -10256 -10014 -9464 -9156 -8826 -8100 -7704 -6846 -13418 -12450 -11372 -11350 -11328 -11306 -11284 -11152 -11020 -10866 -10690 -10492 -10272 -10030 -9480 -9172 -8842 -8116 -7720 -6862 -13405 -12437 -11359 -11337 -11315 -11293 -11271 -11139 -11007 -10853 -10677 -10479 -10259 -10017 -9467 -9159 -8829 -8103 -7707 -6849 -13417 -12449 -11371 -11349 -11327 -11305 -11283 -11151 -11019 -10865 -10689 -10491 -10271 -10029 -9479 -9171 -8841 -8115 -7719 -6861 -13414 -12446 -11368 -11346 -11324 -11302 -11280 -11148 -11016 -10862 -10686 -10488 -10268 -10026 -9476 -9168 -8838 -8112 -7716 -6858 -13409 -11363 -11341 -11319 -11297 -11275 -11143 -11011 -10857 -10681 -10483 -10263 -10021 -9471 -9163 -8833 -8107 -7711 -6853 -13413 -12445 -11367 -11345 -11323 -11301 -11279 -11147 -11015 -10861 -10685 -10487 -10267 -10025 -9475 -9167 -8837 -8111 -7715 -6857 -13410 -12442 -11364 -11342 -11320 -11298 -11276 -11144 -11012 -10858 -10682 -10484 -10264 -10022 -9472 -9164 -8834 -8108 -7712 -6854 -13415 -12447 -11369 -11347 -11325 -11303 -11281 -11149 -11017 -10863 -10687 -10489 -10269 -10027 -9477 -9169 -8839 -8113 -7717 -6859 -13403 -11357 -11335 -11313 -11291 -11269 -11137 -11005 -10851 -10675 -10477 -10257 -10015 -9465 -9157 -8827 -8101 -7705 -6847 -13419 -12451 -11373 -11351 -11329 -11307 -11285 -11153 -11021 -10867 -10691 -10493 -10273 -10031 -9481 -9173 -8843 -8117 -7721 -6863 -13406 -12438 -11360 -11338 -11316 -11294 -11272 -11140 -11008 -10854 -10678 -10480 -10260 -10018 -9468 -9160 -8830 -8104 -7708 -6850 -13420 -12452 -11374 -11352 -11330 -11308 -11286 -11154 -11022 -10868 -10692 -10494 -10274 -10032 -9482 -9174 -8844 -8118 -7722 -6864 -13404 -12436 -11358 -11336 -11314 -11292 -11270 -11138 -11006 -10852 -10676 -10478 -10258 -10016 -9466 -9158 -8828 -8102 -7706 -6848 -13412 -12444 -11366 -11344 -11322 -11300 -11278 -11146 -11014 -10860 -10684 -10486 -10266 -10024 -9474 -9166 -8836 -8110 -7714 -6856 -13407 -12439 -11361 -11339 -11317 -11295 -11273 -11141 -11009 -10855 -10679 -10481 -10261 -10019 -9469 -9161 -8831 -8105 -7709 -6851 -13408 -12440 -11362 -11340 -11318 -11296 -11274 -11142 -11010 -10856 -10680 -10482 -10262 -10020 -9470 -9162 -8832 -8106 -7710 -6852 -13411 -12443 -11365 -11343 -11321 -11299 -11277 -11145 -11013 -10859 -10683 -10485 -10265 -10023 -9473 -9165 -8835 -8109 -7713 -6855 -13416 -12448 -11370 -11348 -11326 -11304 -11282 -11150 -11018 -10864 -10688 -10490 -10270 -10028 -9478 -9170 -8840 -8114 -7718 -6860 -450 -391 -286 -436 1080 -449 -442 289 390 -12213 1081 9154 1082 288 247 -58 -13180 -12214 9023 7483 9067 -13181 -12215 -12222 7484 9024 -16 -2690 19 201 226 1168 348 -1764 55 -886 -250 1830 -432 5834 -457 6384 -12301 9022 10254 -818 2624 -12986 -12018 -6452 -6232 -4736 -3460 -2272 -928 -6930 -6929 -6928 -6927 -6926 -6925 -6924 -6923 -6922 -6921 -6920 -6919 -6918 -6917 -6916 -6915 -6914 -6913 -6912 445 884 -10934 -10933 -10932 -10931 -10930 -10929 -10928 -10927 -10926 -10925 -10924 -10923 -10922 -10921 -10920 -10919 -10918 -10917 -10916 -11484 -11483 -11482 -11481 -11480 -11479 -11478 -11477 -11476 -11475 -11474 -11473 -11472 -11471 -11470 -11469 -11468 -11467 -11466 -12918 -11950 -6274 -6230 -6208 -5768 -4668 -3392 -2204 -908 820 -229 -219 2270 -13028 -6472 -6428 -5878 -4778 -3502 -2314 -1874 -228 13027 -898 -890 -894 -896 -897 -899 -901 -900 12984 -889 -895 3458 4734 -891 -893 -902 12016 -230 -40 -1368 -221 -218 -198 4670 3394 2206 -12040 -6254 -4758 -3482 -2712 -2294 12041 12920 11952 -203 -95 -21 -12998 -12030 -4748 -3472 -12990 -12022 -4740 -3464 -12994 -12026 -4744 -3468 -12996 -12028 -4746 -3470 -12997 -12029 -4747 -3471 -12999 -12031 -4749 -3473 -13001 -12033 -4751 -3475 -13000 -12032 -4750 -3474 -12989 -12021 -4739 -3463 -12995 -12027 -4745 -3469 -12991 -12023 -4741 -3465 -12993 -12025 -4743 -3467 -13002 -12034 -4752 -3476 -13468 -12500 -11554 -11532 -11400 -11202 -11070 -10740 -10542 -10322 -10080 -9530 -9222 -8892 -8166 -7770 -220 -59 11823 -1039 691 -13139 -12171 -8585 -8497 -8431 -8387 -8365 -8343 -8321 -8277 -7837 -11824 -603 -559 4541 -8383 -12703 -3903 -605 12702 -615 -610 -607 -609 -608 -611 -613 -612 -614 -606 -616 -604 -12659 -3221 -561 -560 -562 -564 -565 -563 -570 -568 -569 12658 -571 -567 -566 -572 -4544 -4542 -12705 -11737 -3905 -12715 -11747 -3915 -3189 -12710 -11742 -3910 -3184 -12707 -11739 -3907 -12709 -11741 -3909 -3183 -12708 -11740 -3908 -3182 -12711 -11743 -3911 -3185 -12713 -11745 -3913 -3187 -12712 -11744 -3912 -3186 -12714 -11746 -3914 -3188 -12706 -11738 -3906 -12716 -11748 -3916 -3190 -12704 -11736 -3904 -12661 -3223 -12660 -3222 -12662 -3224 -12664 -11696 -3226 -12665 -11697 -3227 -12663 -3225 -12670 -11702 -3232 -12668 -11700 -3230 -12669 -11701 -3231 -12671 -11703 -3233 -12667 -3229 -12666 -11698 -3228 -12672 -11704 -3234 -4543 13540 -692 -648 13541 -12792 12791 -697 -704 -698 -701 -696 -703 -695 -700 -699 -693 -702 -694 -12748 -652 -649 -654 -657 -656 -650 -655 -659 -660 -651 -653 -658 12747 13542 -12797 -11829 -4547 13545 -12804 -11836 -4554 -12798 -11830 -4548 13546 -12801 -11833 -4551 13549 -12796 -11828 -4546 -12803 -11835 -4553 13551 -12795 -11827 -4545 -12800 -11832 -4550 13548 -12799 -11831 -4549 -12793 -11825 -12802 -11834 -4552 13550 -12794 -11826 -12752 -11784 13544 -12749 -11781 -12754 -11786 -12757 -11789 -12756 -11788 -12750 -11782 -12755 -11787 13547 -12759 -11791 -12760 -11792 13552 -12751 -11783 13543 -12753 -11785 -12758 -11790 -1299 -12431 -11353 -11331 -11265 -10847 -10671 -10473 -10253 -9461 -9153 -8823 -8097 -6843 -1387 12432 -448 6844 -13487 -12519 -11573 -11419 -10935 -10759 -10561 -10341 -9549 -9241 -8185 -6931 948 -13047 -12081 6624 -1234 6712 -13334 -12366 -10958 -10936 -10848 -10606 -10408 -10188 -9396 -9088 -8758 -8032 -429 283 -8361 1284 -13560 -13383 -12417 -12419 -12418 -13380 -1130 -13382 -12420 -954 -1042 -976 -13559 -13230 -12262 -9776 -9710 -13054 -12086 -6960 -6938 -6872 -6806 -6762 -6740 -6718 -6696 -6652 -6630 -6608 -6564 -6542 -13142 -12174 -8588 -8500 -8434 -8390 -8368 -8346 -8324 -8280 -7840 -13076 -12108 -7378 -7158 -7070 -7048 -13558 -13557 -12396 -1348 -13448 -12480 -11512 -11490 -11380 -11182 -11050 -10720 -10522 -10302 -10060 -9510 -9202 -8872 -8146 -7750 1349 -12482 -1129 -1346 -1370 -1371 12481 -1041 -1239 -1240 -1369 -1347 -1241 -975 -13447 -953 -13229 -12261 -9775 -9709 -13446 -12478 -11510 -11488 -11378 -11180 -11048 -10718 -10520 -10300 -10058 -9508 -9200 -8870 -8144 -7748 -13470 -12502 -11556 -11534 -11402 -11204 -11072 -10742 -10544 -10324 -10082 -9532 -9224 -8894 -8168 -7772 -13471 -12503 -11557 -11535 -11403 -11205 -11073 -10743 -10545 -10325 -10083 -9533 -9225 -8895 -8169 -7773 -13141 -12173 -8587 -8499 -8433 -8389 -8367 -8345 -8323 -8279 -7839 -13339 -12371 -10963 -10941 -10875 -10831 -10809 -10611 -10413 -10193 -9951 -9401 -9093 -8763 -8037 -7641 -1254 -1243 -1251 -1244 -1252 -1247 -1248 -1250 -1246 -1245 -1253 -1249 -1242 -13340 -12372 -10964 -10942 -10876 -10832 -10810 -10612 -10414 -10194 -9952 -9402 -9094 -8764 -8038 -7642 -13469 -12501 -11555 -11533 -11401 -11203 -11071 -10741 -10543 -10323 -10081 -9531 -9223 -8893 -8167 -7771 -12479 -11511 -11489 -11379 -11181 -11049 -10719 -10521 -10301 -10059 -9509 -9201 -8871 -8145 -7749 -13341 -12373 -10965 -10943 -10877 -10833 -10811 -10613 -10415 -10195 -9953 -9403 -9095 -8765 -8039 -7643 -13075 -12107 -7377 -7157 -7069 -7047 -13053 -12085 -6959 -6937 -6871 -6805 -6761 -6739 -6717 -6695 -6651 -6629 -6607 -6563 -6541 -13270 1171 1172 1084 -13273 -13354 -12386 -10978 -10956 -10890 -10846 -10824 -10626 -10428 -10208 -9966 -9416 -9108 -8778 -8052 -7656 -13343 -12375 -10967 -10945 -10879 -10835 -10813 -10615 -10417 -10197 -9955 -9405 -9097 -8767 -8041 -7645 -13351 -12383 -10975 -10953 -10887 -10843 -10821 -10623 -10425 -10205 -9963 -9413 -9105 -8775 -8049 -7653 -13344 -12376 -10968 -10946 -10880 -10836 -10814 -10616 -10418 -10198 -9956 -9406 -9098 -8768 -8042 -7646 -13352 -12384 -10976 -10954 -10888 -10844 -10822 -10624 -10426 -10206 -9964 -9414 -9106 -8776 -8050 -7654 -13347 -12379 -10971 -10949 -10883 -10839 -10817 -10619 -10421 -10201 -9959 -9409 -9101 -8771 -8045 -7649 -13348 -12380 -10972 -10950 -10884 -10840 -10818 -10620 -10422 -10202 -9960 -9410 -9102 -8772 -8046 -7650 -13350 -12382 -10974 -10952 -10886 -10842 -10820 -10622 -10424 -10204 -9962 -9412 -9104 -8774 -8048 -7652 -13346 -12378 -10970 -10948 -10882 -10838 -10816 -10618 -10420 -10200 -9958 -9408 -9100 -8770 -8044 -7648 -13345 -12377 -10969 -10947 -10881 -10837 -10815 -10617 -10419 -10199 -9957 -9407 -9099 -8769 -8043 -7647 -13353 -12385 -10977 -10955 -10889 -10845 -10823 -10625 -10427 -10207 -9965 -9415 -9107 -8777 -8051 -7655 -13349 -12381 -10973 -10951 -10885 -10841 -10819 -10621 -10423 -10203 -9961 -9411 -9103 -8773 -8047 -7651 -13342 -12374 -10966 -10944 -10878 -10834 -10812 -10614 -10416 -10196 -9954 -9404 -9096 -8766 -8040 -7644 1173 -12304 -1127 -12310 -13271 -12305 -1128 -13183 -12217 -8366 1083 -1040 -7838 9026 -12221 -13272 -12306 -12319 10303 1174 -13227 -12259 -9773 -9707 -13228 -12260 -9774 -9708 -13182 -12216 9025 -13140 -12172 -8586 -8498 -8432 -8388 -8344 -8322 -8278 -12307 -12308 10238 -8493 -1123 -13223 -12255 -1100 -1188 -13200 -12232 -9284 -9262 -9240 -9218 -9196 -9152 -9130 -9086 -9064 -9042 -9020 -8976 -8624 -7898 -7502 -7084 -6644 -13288 -12320 -10384 -10362 -10340 -10318 -10296 -10252 -10230 -10186 -10164 -9900 -9350 -8712 -8360 -7986 -7590 -7172 -6732 -1043 -13143 -12175 -8589 -8501 -8435 -8391 -8369 -8347 -8325 -8281 -7841 1044 -13562 -12177 -1132 -978 -1000 -1088 -1374 -1352 -1286 -1066 -1035 12176 -1396 -956 -13561 -13232 -12264 -9778 -9712 -13078 -12110 -7380 -7160 -7072 -7050 -13100 -7820 -7798 -7776 -7754 -7732 -7688 -7666 -7622 -7600 -7578 -7556 -7512 -7490 -7468 -7424 -6544 -1002 -1008 -1001 -13188 -12220 -9272 -9250 -9228 -9206 -9184 -9140 -9118 -9074 -9052 -9030 -9008 -8964 -8612 -7886 -6632 -1099 -1091 -1095 -1089 -1094 -1092 -1097 -13474 -12506 -11560 -11538 -11406 -11208 -11076 -10746 -10548 -10328 -10086 -9536 -8898 -8172 -13452 -12484 -11516 -11494 -11384 -11186 -11054 -10724 -10526 -10306 -10064 -9514 -8876 -8150 -13386 -11252 -11230 -11164 -10988 -10658 -10460 -10240 -9998 -9448 -8810 -8084 -1293 -1292 -1291 -1287 -1288 -1297 -13166 -12198 -8942 -8854 -8788 -8744 -8722 -8700 -8678 -8634 -7864 -6610 -13135 -12167 -8339 -8273 -7833 -1298 -13496 -12528 -11582 -11428 -11098 -10768 -10570 -10350 -10108 -9558 -8194 -6940 -13056 -12088 -6962 -6874 -6808 -6764 -6742 -6720 -6698 -6654 -6566 -1321 -13102 -7822 -7800 -7778 -7756 -7734 -7690 -7668 -7624 -7602 -7580 -7558 -7514 -7492 -7470 -7426 -6546 -1006 -1003 -1007 -1005 -1009 -1004 -13108 -12140 -7828 -7806 -7784 -7762 -7740 -7696 -7674 -7630 -7608 -7586 -7564 -7520 -7498 -7476 -7432 -6552 -13101 -12133 -7821 -7799 -7777 -7755 -7733 -7689 -7667 -7623 -7601 -7579 -7557 -7513 -7491 -7469 -7425 -6545 -13199 -12231 -9283 -9261 -9239 -9217 -9195 -9151 -9129 -9085 -9063 -9041 -9019 -8975 -8623 -7897 -7501 -7083 -6643 -13191 -12223 -9275 -9253 -9231 -9209 -9187 -9143 -9121 -9077 -9055 -9033 -9011 -8967 -8615 -7889 -7493 -7075 -6635 -1093 -13195 -12227 -9279 -9257 -9235 -9213 -9191 -9147 -9125 -9081 -9059 -9037 -9015 -8971 -8619 -7893 -7497 -7079 -6639 -13189 -9273 -9251 -9229 -9207 -9185 -9141 -9119 -9075 -9053 -9031 -9009 -8965 -8613 -7887 -7073 -6633 -1090 -13194 -12226 -9278 -9256 -9234 -9212 -9190 -9146 -9124 -9080 -9058 -9036 -9014 -8970 -8618 -7892 -7496 -7078 -6638 -1096 -13192 -12224 -9276 -9254 -9232 -9210 -9188 -9144 -9122 -9078 -9056 -9034 -9012 -8968 -8616 -7890 -7494 -7076 -6636 -13197 -12229 -9281 -9259 -9237 -9215 -9193 -9149 -9127 -9083 -9061 -9039 -9017 -8973 -8621 -7895 -7499 -7081 -6641 -1098 -7080 -13393 -12425 -11259 -11237 -11215 -11193 -11171 -10995 -10665 -10467 -10247 -10005 -9455 -8817 -8091 -7695 -13392 -12424 -11258 -11236 -11214 -11192 -11170 -10994 -10664 -10466 -10246 -10004 -9454 -8816 -8090 -7694 -1296 -1294 -13391 -12423 -11257 -11235 -11213 -11191 -11169 -10993 -10663 -10465 -10245 -10003 -9453 -9145 -8815 -8089 -7693 -13387 -11253 -11231 -11209 -11187 -11165 -10989 -10659 -10461 -10241 -9999 -9449 -8811 -8085 -1290 -1289 -13388 -11254 -11232 -11210 -11188 -11166 -10990 -10660 -10462 -10242 -10000 -9450 -9142 -8812 -8086 -13397 -12429 -11263 -11241 -11219 -11197 -11175 -10999 -10669 -10471 -10251 -10009 -9459 -8821 -8095 -7699 1175 1176 -13201 -1102 -13202 -13398 -12430 -11264 -11242 -11220 -11198 -11176 -11000 -10670 -10472 -10010 -9460 -8822 -8096 -7700 -13421 -12453 -11441 -10869 -10495 -10275 -9175 -8845 -8119 -6865 -13106 -12138 -7826 -7804 -7782 -7760 -7738 -7672 -7628 -7606 -7584 -7562 -7518 -7474 -7430 -6550 -13103 -12135 -7823 -7801 -7779 -7757 -7735 -7691 -7669 -7625 -7603 -7581 -7559 -7515 -7471 -7427 -6547 -13107 -12139 -7827 -7805 -7783 -7761 -7739 -7673 -7629 -7607 -7585 -7563 -7519 -7475 -7431 -6551 -1012 -13105 -12137 -7825 -7803 -7781 -7759 -7737 -7671 -7627 -7605 -7583 -7561 -7517 -7495 -7473 -7429 -6549 -13109 -12141 -7829 -7807 -7785 -7763 -7741 -7697 -7675 -7631 -7609 -7587 -7565 -7521 -7477 -7433 -6553 -1010 -13104 -12136 -7824 -7802 -7780 -7758 -7736 -7692 -7670 -7626 -7604 -7582 -7560 -7516 -7472 -7428 -6548 -13193 -12225 -9277 -9255 -9233 -9211 -9189 -9123 -9079 -9057 -9035 -9013 -8969 -8617 -7891 -7077 -6637 -13190 -9274 -9252 -9230 -9208 -9186 -9120 -9076 -9054 -9032 -9010 -8966 -8614 -7888 -7074 -6634 -13196 -12228 -9280 -9258 -9236 -9214 -9192 -9148 -9126 -9082 -9060 -9038 -9016 -8972 -8620 -7894 -6640 -13198 -12230 -9282 -9260 -9238 -9216 -9194 -9150 -9128 -9084 -9062 -9040 -9018 -8974 -8622 -7896 -7500 -7082 -6642 -13396 -12428 -11262 -11240 -11218 -11196 -11174 -10998 -10668 -10470 -10250 -10008 -9458 -8820 -8094 -7698 -13394 -12426 -11260 -11238 -11216 -11194 -11172 -10996 -10666 -10468 -10248 -10006 -9456 -8818 -8092 -13390 -12422 -11256 -11234 -11212 -11190 -11168 -10992 -10662 -10464 -10244 -10002 -9452 -8814 -8088 -13389 -12421 -11255 -11233 -11211 -11189 -11167 -10991 -10661 -10463 -10243 -10001 -9451 -8813 -8087 -1295 -13274 -1131 -12316 -13275 -12309 -12313 -12314 8348 -1101 -12234 -9572 -9550 -9462 -9352 -9330 -8956 -8626 -7900 -6646 -13112 -12144 -7832 -7810 -7788 -7766 -7744 -7678 -7634 -7612 -7568 -7524 -7480 -7436 -6556 -13110 -12142 -7830 -7808 -7786 -7764 -7742 -7676 -7632 -7610 -7588 -7566 -7522 -7478 -7434 -6554 -12336 -12204 -989 -1068 -1067 -12292 -12295 -12160 -13395 -12427 -11261 -11239 -11217 -11195 -11173 -10997 -10667 -10469 -10249 -10007 -9457 -8819 -8093 -13231 -12263 -9777 -9711 -12233 -9571 -9395 -9351 -9329 -8955 -8625 -7899 -6645 -366 -13089 -12121 -7391 -7171 -7061 -13168 -12200 -8944 -8900 -8878 -8856 -8790 -8746 -8724 -8702 -8680 -8636 -7866 -7052 -6612 -13167 -12199 -8943 -8899 -8877 -8855 -8789 -8745 -8723 -8701 -8679 -8635 -7865 -7051 -6611 -1382 421 -13482 -12514 -11568 -11546 -11414 -11084 -10754 -10556 -10336 -10094 -9544 -8906 -8180 10672 1212 -12345 10166 6756 -12352 9066 243 -1353 -13453 -12485 -11517 -11495 -11385 -11055 -10725 -10527 -10307 -10065 -9515 -8151 -1357 -1354 -13457 -12489 -11521 -11499 -11389 -11059 -10729 -10531 -10311 -10069 -9519 -8881 -8155 -1358 -13454 -12486 -11518 -11496 -11386 -11056 -10726 -10528 -10308 -10066 -9516 -8152 -1361 -1356 -1355 -13458 -12490 -11522 -11500 -11390 -11060 -10730 -10532 -10312 -10070 -9520 -8882 -8156 -13461 -12493 -11525 -11503 -11393 -11063 -10733 -10535 -10315 -10073 -9523 -8885 -8159 -13456 -12488 -11520 -11498 -11388 -11058 -10728 -10530 -10310 -10068 -9518 -8880 -8154 -13455 -12487 -11519 -11497 -11387 -11057 -10727 -10529 -10309 -10067 -9517 -8879 -8153 -12287 -316 -8382 -8381 -8380 -8379 -8378 -8377 -8376 -8375 -8374 -8373 -8372 -8371 -8370 242 292 411 -13117 -1198 -13115 -13114 -13298 -12330 -10504 -10438 -10394 -10152 -9910 -9360 -1199 -13299 -12331 -10571 -10549 -10505 -10439 -10395 -10153 -9911 -9361 -6743 -1200 -1204 -1202 -1203 -13300 -12332 -10572 -10550 -10506 -10440 -10396 -10154 -9912 -9362 -6744 -13304 -10576 -10554 -10510 -10444 -10400 -10158 -9916 -9366 -8728 -6748 -1205 -13302 -12334 -10574 -10552 -10508 -10442 -10398 -10156 -9914 -9364 -8726 -6746 -13303 -12335 -10575 -10553 -10509 -10443 -10399 -10157 -9915 -9365 -8727 -6747 -1207 -13305 -12337 -10577 -10555 -10533 -10511 -10445 -10401 -10159 -9917 -9367 -8729 -6749 -1209 -13307 -12339 -10579 -10557 -10513 -10447 -10403 -10161 -9919 -9369 -8731 -6751 -1206 -13309 -12341 -10581 -10559 -10537 -10515 -10449 -10405 -10163 -9921 -9371 -8733 -7611 -6753 -13306 -12338 -10578 -10534 -10512 -10446 -10402 -10160 -9918 -9368 -8730 -6750 1194 -13293 -12327 -974 -1208 -1210 -1201 -1414 -1018 9048 10148 -13074 -12106 -7376 -7156 -7068 -7046 -13308 -12340 -10580 -10558 -10536 -10514 -10448 -10404 -10162 -9920 -9370 -8732 -6752 -13310 -12342 -10582 -10560 -10538 -10516 -10450 -10406 -9922 -9372 -8734 -6754 -13301 -12333 -10573 -10551 -10507 -10441 -10397 -10155 -9913 -9363 -8725 -6745 -13514 -12546 -11578 -11446 -11248 -11116 -10962 -10786 -10368 -10126 -9576 -9268 -8938 -7816 -6958 -13118 -12150 -8190 -8124 -8080 -8058 -8036 -8014 -7970 -7948 -7904 -7882 -7860 -7420 -6562 -1017 -1016 -12149 -8189 -8123 -8079 -8057 -8035 -8013 -7969 -7947 -7903 -7881 -7859 -7419 -6561 -1015 -13116 -12148 -8188 -8122 -8078 -8056 -8034 -8012 -7968 -7946 -7902 -7880 -7858 -7418 -6560 -1014 -1013 -7877 -12147 -8187 -8011 -7967 -7879 -7857 -7417 -6559 1021 -12146 -8186 -8098 -8010 -7966 -7878 -7856 -6558 -13113 -12145 -8031 -8009 -7965 -7855 1085 -13120 -12154 -977 -12163 -1417 -6741 -1197 7973 1022 -304 273 -301 -13184 -12218 9203 9027 -13077 -12109 -7379 -7159 -7071 -7049 -13517 -12549 -11581 -11559 -11515 -11449 -11251 -11119 -10789 -10371 -10129 -9579 -9271 -8941 -7819 -6961 -13297 -12329 -10569 -10547 -10525 -10503 -10459 -10437 -10393 -10151 -9909 -9359 -9051 -8721 -7599 -13121 -12155 -1418 7974 7842 297 995 997 -13095 -988 -13518 -12550 -11450 -11120 -10790 -10372 -10130 -9580 -8590 -13094 -12128 -973 -7067 7573 7485 -1011 996 -13096 -12130 7575 7751 7487 -13088 -12120 -7390 -7170 -7060 -13073 -12105 -7375 -7155 -7045 7063 -986 -985 -13111 -12143 -7831 -7809 -7787 -7765 -7743 -7677 -7633 -7589 -7567 -7523 -7479 -7435 -6555 -12129 -12131 7574 7486 998 7596 969 1079 -13086 -12118 -7388 -7168 -7058 -987 -13085 -12117 -7387 -7167 -7057 -12203 -13097 7576 7686 12101 -1409 -1189 -947 1058 -979 -984 -1233 -981 -1211 -980 -982 -983 -990 7151 13069 7041 -12212 12211 -13087 -12119 -7389 -7169 -7059 -13509 -12541 -10957 -10781 -10363 -9263 -8933 -6953 -13048 1410 -13289 -12321 -10407 -10385 -10143 -9043 -8713 -12079 -6755 -6711 -6623 -6601 12080 -12191 -12195 1059 8604 8692 -1388 -1070 -1071 -1190 8824 8736 6602 -13079 -12111 -7381 -7161 -13084 -12116 -7386 -7166 -7056 -13333 -12365 -10605 -10187 -9087 -8757 -13081 -12113 -7383 -7163 -7053 -12343 -10165 -9065 -8735 12344 -13080 -12112 -7382 -7162 -13082 -12114 -7384 -7164 -7054 -13083 -12115 -7385 -7165 -7055 -13090 -12122 -7392 -7062 1167 1057 949 -12543 -12544 10364 9264 -1415 10782 8934 12542 6954 11354 -326 -1416 -1422 -1420 -1421 -1424 -1426 -1423 -1419 -1427 -12192 8693 -1389 8737 7461 8605 1060 -13488 -12520 -11574 -11332 -10760 -10562 -10342 -9242 -6932 -13170 -12202 -8946 -8902 -8858 -8792 -8748 -8704 -8682 -8638 -7868 -6614 -13171 -8947 -8903 -8859 -8793 -8749 -8705 -8683 -8639 -7869 -6615 -1072 -13290 -12322 -10474 -10386 -10144 -9044 -8714 -6734 337 333 -271 -12300 12299 9021 -12190 12189 -12193 8603 8691 -12082 6713 6625 6603 6537 6757 357 -13515 -12547 -11579 -11513 -11447 -11249 -11117 -10787 -10369 -10127 -9577 -9269 -8939 -7817 426 342 252 452 -8602 -8601 -8600 -8599 -8598 -8597 -8596 -8595 -8594 -8593 -8592 -8591 -13516 -12548 -11580 -11558 -11514 -11448 -11250 -11118 -10788 -10370 -10128 -9578 -9270 -8940 -7818 -13522 -12554 -11586 -11564 -11454 -11124 -10794 -10376 -10134 -9584 -6966 -1425 -13520 -12552 -11584 -11562 -11452 -11122 -10792 -10374 -10132 -9582 -6964 -13521 -12553 -11585 -11563 -11453 -11123 -10793 -10375 -10133 -9583 -8945 -6965 -1429 -1430 -13524 -12556 -11588 -11566 -11456 -11126 -10796 -10378 -10136 -9586 -8948 -6968 -13526 -12558 -11590 -11524 -11458 -11128 -10798 -10380 -10138 -9588 -8950 -6970 -1428 -6971 -13523 -12555 -11587 -11565 -11455 -11125 -10795 -10377 -10135 -9585 -6967 -13519 -12551 -11583 -11561 -11451 -11121 -10791 -10373 -10131 -9581 -6963 -13527 -12559 -11591 -11569 -11459 -11129 -10799 -10381 -10139 -9589 -8951 -13489 -12521 -11575 -10761 -10563 -10343 -9243 -7791 -6933 8694 7462 -1390 8606 -451 -13172 -8904 -8860 -8794 -8750 -8706 -8684 -8640 -7870 -6616 -412 -13525 -12557 -11589 -11567 -11523 -11457 -11127 -10797 -10379 -10137 -9587 -8949 -6969 -13529 -12561 -11593 -11571 -11527 -11461 -11131 -10801 -10383 -10141 -9591 -8953 -6973 -13530 -12562 -11594 -11572 -11528 -11462 -11132 -10802 -10142 -9592 -8954 -6974 -13528 -12560 -11592 -11570 -11526 -11460 -11130 -10800 -10382 -10140 -9590 -8952 -6972 -13490 -12522 -11576 -11422 -11224 -11092 -10938 -10762 -10564 -10344 -10102 -9552 -9244 -7792 -6934 290 409 -461 -459 -1155 -13255 -10109 -10087 -10043 -9977 -9889 -8327 -7953 -6699 -1157 -1159 -13257 -12289 -10111 -10089 -10045 -9979 -9891 -8681 -8329 -7955 -6701 -1161 -1164 -1158 -13259 -12291 -10113 -10091 -10047 -9981 -9893 -8331 -7957 -6703 -1160 -1163 -1162 -13261 -12293 -10115 -10093 -10071 -10049 -9983 -9895 -8685 -8333 -7959 -6705 -13264 -12296 -10118 -10096 -10074 -10052 -9986 -9898 -8688 -8336 -7962 -6708 -1165 -13258 -12290 -10112 -10090 -10046 -9980 -9892 -8330 -7956 -6702 -13260 -10114 -10092 -10048 -9982 -9894 -8332 -7958 -6704 -13263 -10117 -10095 -10051 -9985 -9897 -8687 -8335 -7961 -6707 -13262 -12294 -10116 -10072 -10050 -9984 -9896 -8686 -8334 -7960 -6706 -13265 -12297 -10119 -10097 -10075 -10053 -9987 -9899 -8689 -8337 -7963 -6709 1154 -13253 8326 -12288 -1110 -1220 -1166 13254 7952 9888 -1156 314 -13210 -12242 -9338 -8282 -7908 -13320 -10174 -8392 -8018 -1230 -1226 -1223 -1227 -1221 -1222 -13266 -12298 -10120 -10098 -10076 -10054 -9988 -8690 -8338 -7964 -6710 -13256 -10110 -10088 -10044 -9978 -9890 -8328 -7954 -6700 -13252 -13249 -13330 -12362 -10778 -10756 -10734 -10184 -8754 -8402 -8028 -6774 -13326 -12358 -10774 -10752 -10180 -8398 -8024 -6770 -13323 -12355 -10771 -10749 -10177 -8747 -8395 -8021 -6767 -13327 -12359 -10775 -10753 -10731 -10181 -8751 -8399 -8025 -6771 -1229 -1231 -13321 -12353 -10769 -10747 -10175 -8393 -8019 -6765 -1232 -13322 -12354 -10770 -10748 -10176 -8394 -8020 -6766 -1224 -1228 -1225 -317 -13329 -12361 -10777 -10755 -10183 -8753 -8401 -8027 -6773 -13331 -12363 -10779 -10757 -10735 -10185 -8755 -8403 -8029 -6775 -13332 -12364 -10780 -10758 -10736 -8756 -8404 -8030 -6776 -13324 -12356 -10772 -10750 -10178 -8396 -8022 -6768 -13328 -12360 -10776 -10732 -10182 -8752 -8400 -8026 -6772 -13325 -12357 -10773 -10751 -10179 -8397 -8023 -6769 -1045 -13145 -8503 -8437 -8349 -8283 -7843 -1056 13144 -1054 -1047 -1050 -1049 -1048 -1046 -1053 -1055 -1052 -1051 -7845 -7847 -13156 -12188 -8514 -8448 -8294 -7854 -13154 -12186 -8512 -8446 -8358 -8292 -7852 -13147 -12179 -8505 -8439 -8351 -8285 -13150 -12182 -8508 -8442 -8354 -8288 -7848 -13149 -12181 -8507 -8441 -8353 -8287 -13148 -12180 -8506 -8440 -8352 -8286 -7846 -13146 -12178 -8504 -8438 -8350 -8284 -7844 -13153 -12185 -8511 -8445 -8357 -8291 -7851 -13155 -12187 -8513 -8447 -8359 -8293 -7853 -13152 -12184 -8510 -8444 -8356 -8290 -7850 -13151 -12183 -8509 -8443 -8355 -8289 -7849 -312 343 277 328 361 -13250 -1328 -13428 -12460 -11426 -11404 -11382 -11162 -10502 -10282 -10040 -9182 -8852 -8126 -7730 -1327 -1326 -1324 -13427 -12459 -11425 -11381 -11161 -10501 -10281 -10039 -9181 -8851 -8125 -7729 -1325 -13426 -12458 -11424 -11160 -10874 -10500 -10280 -10038 -9180 -8850 -7728 -6870 -13424 -12456 -11444 -11158 -10872 -10498 -10278 -10036 -9178 -8848 -7726 -6868 -13425 -12457 -11445 -11423 -11159 -10873 -10499 -10279 -10037 -9179 -8849 -7727 -6869 -456 1061 -430 -413 -13160 -12194 8695 -1391 7463 -1073 -1076 -1074 -1078 8607 -1069 305 410 322 -13491 -12523 -11577 -11225 -11093 -10939 -10763 -10565 -10345 -10103 -9553 -9245 -7793 -6935 -13173 -12205 -8905 -8883 -8861 -8795 -8707 -8641 -7871 -6617 -1075 -13176 -12208 -8908 -8886 -8864 -8798 -8710 -8644 -7874 -6620 -1077 -13174 -12206 -8884 -8862 -8796 -8708 -8642 -7872 -6618 -13178 -12210 -8910 -8888 -8866 -8800 -8646 -7876 -6622 -13169 -12201 -8901 -8857 -8791 -8703 -8637 -7867 -6613 8502 -462 -13175 -12207 -8907 -8863 -8797 -8709 -8643 -7873 -6619 -13177 -12209 -8909 -8887 -8865 -8799 -8711 -8645 -7875 -6621 1330 -13429 -12463 -12464 -12473 -1264 10284 10042 8128 -13364 -10218 -9976 -8436 -8062 -1270 -1273 -319 -13370 -12402 -11104 -11082 -10224 -9718 -8068 -6814 -13373 -12405 -11107 -11085 -10227 -9721 -8071 -6817 350 335 284 1262 -13361 -12395 -13358 -12398 -1218 -1108 10216 10986 7664 -13318 -12350 -10766 -10744 -10722 -10656 -10392 -10172 -9072 -8742 -8016 -7620 -1219 -13208 -12240 -9556 -9534 -9512 -9446 -9358 -9336 -8962 -8632 -7906 -7510 435 -13319 -12351 -10767 -10745 -10723 -10657 -10173 -9073 -8743 -8017 -7621 -6763 -424 -9535 1260 -13359 -12393 -12397 -1216 -1106 -1265 1261 10214 9114 10434 7662 -13316 -12348 -10764 -10654 -10610 -10390 -10170 -9070 -8740 -7618 -6760 -1217 -13206 -12238 -9554 -9444 -9400 -9356 -9334 -8960 -8630 -7508 -6650 -13365 -11099 -11077 -10219 -9713 -8063 -6809 -1266 -1267 -13360 -12394 -1107 -377 10215 9115 7663 11051 -1269 -1275 -1274 -1268 -1271 -1272 -13317 -12349 -10765 -10721 -10655 -10391 -10171 -9071 -8741 -8015 -7619 -13366 -11100 -11078 -10220 -9714 -8064 -6810 -1276 -9715 -13367 -12399 -11101 -11079 -10221 -8065 -6811 -13207 -12239 -9555 -9511 -9445 -9357 -9335 -8961 -8631 -7905 -7509 -9724 -9723 -9722 -9720 -9719 -9717 -9716 438 -13369 -12401 -11103 -11081 -10223 -8067 -6813 -13375 -12407 -11109 -11087 -11065 -10229 -8073 -6819 -13374 -12406 -11108 -11086 -11064 -10228 -8072 -6818 -13368 -12400 -11102 -11080 -10222 -8066 -6812 -13371 -12403 -11105 -11083 -11061 -10225 -8069 -6815 -13372 -12404 -11106 -11062 -10226 -8070 -6816 -425 -423 -12311 -300 -13376 -12408 -11110 -11088 -11066 -8074 -6820 -1109 -13209 -12241 -9557 -9513 -9447 -9337 -8963 -8633 -7907 -7511 -6653 -369 -9548 -9547 -9546 -9545 -9543 -9542 -9541 -9540 -9539 -9538 -9537 394 439 9779 1133 1331 -13563 -12266 -1375 -1177 -1111 -1023 -957 12265 -1397 -13430 -12471 -13475 -12507 -11539 -11407 -10329 -8173 -1379 -1377 -1384 -13277 -10351 -10285 -9339 -7975 -6721 -1178 -1185 -1180 -1179 -1183 -1187 -1182 -1184 -1181 -1186 13276 -13211 -12243 -9559 -7909 -6655 -13123 -8195 -8129 -6567 -1033 -1031 -1028 -1032 -1030 -1026 -1027 -1029 -1034 13122 -1024 -1025 -13057 -12089 -6941 -6875 -967 -13497 -12529 -11429 -13479 -12511 -11543 -11411 -10333 -8177 -13477 -12509 -11541 -11409 -10331 -8175 -13484 -12516 -11548 -11416 -10338 -8182 -13278 -10352 -10330 -10286 -9340 -7976 -6722 -13285 -12317 -10359 -10337 -10293 -9347 -7983 -6729 -13280 -12312 -10354 -10332 -10288 -9342 -7978 -6724 -13279 -10353 -10287 -9341 -7977 -6723 -13283 -12315 -10357 -10335 -10313 -10291 -9345 -7981 -6727 -13287 -10361 -10339 -10317 -10295 -9349 -7985 -6731 -13282 -10356 -10334 -10290 -9344 -7980 -6726 -13284 -10358 -10314 -10292 -9346 -7982 -6728 -13281 -10355 -10289 -9343 -7979 -6725 -13286 -12318 -10360 -10316 -10294 -9348 -7984 -6730 -9780 -13133 -12165 -8205 -8183 -8161 -8139 -7919 -6577 -13131 -8203 -8181 -8137 -7917 -6575 -13128 -8200 -8178 -8134 -7914 -6572 -13132 -12164 -8204 -8160 -8138 -7918 -6576 -13130 -12162 -8202 -8158 -8136 -7916 -6574 -13126 -12158 -8198 -8176 -8132 -7912 -6570 -13127 -12159 -8199 -8133 -7913 -6571 -13129 -12161 -8201 -8179 -8157 -8135 -7915 -6573 -13134 -12166 -8206 -8184 -8162 -8140 -7920 -6578 -13124 -12156 -8196 -8174 -8130 -7910 -6568 -13125 -12157 -8197 -8131 -7911 -6569 -13067 -12099 -6951 -6885 -6665 -1359 -1119 -9781 -9782 -295 -12465 -13459 -12491 -11501 -11391 -9521 -13219 -12251 -9567 -6663 302 -1329 -12461 -11427 -11405 -11383 -11163 -10283 -10041 -9183 -8853 -8127 -7731 -6873 12462 -443 -353 -338 -287 1105 -13204 13205 7507 -1149 9333 -1112 -1113 -1114 -1116 -1121 -1115 -1122 -1120 -1118 -1117 -1259 8959 -1215 8629 -12281 -10125 -9993 -9971 -9949 -9905 -9883 -9003 -8673 -7551 -6693 -1148 -13212 -12244 -9560 -6656 -13213 -12245 -9561 -6657 -13214 -12246 -9562 -6658 -13216 -12248 -9564 -6660 -13221 -12253 -9569 -9525 -13215 -12247 -9563 -6659 -13222 -12254 -9570 -9526 -6666 -13220 -12252 -9568 -9524 -6664 -13218 -12250 -9566 -9522 -6662 -13217 -12249 -9565 -6661 -12391 -11115 -10983 -10807 -10433 -10213 -9113 -8783 -7661 -6803 12392 -441 -1281 -1258 -13315 -10785 -10653 -10609 -10389 -10169 -9069 -8739 -7617 -6759 -13248 -12280 -10124 -9992 -9970 -9948 -9904 -9882 -9002 -8672 -7550 -6692 950 -370 -368 -11114 -13381 -12413 -11247 -10829 -10455 -10235 -9443 -9135 -8805 -7683 -1280 -12390 -10982 -10806 -10432 -10212 -9112 -8782 -7660 -6802 -420 -396 1062 -13161 -13049 -12083 6714 6626 -963 -962 -961 -965 -955 -960 6604 -1236 -968 6538 -966 -958 395 440 393 363 238 10830 -12412 -11246 -10828 -10652 -10454 -10234 -9442 -9134 -8804 -7682 8696 -1392 8608 7464 8784 8718 -13063 -12095 -6947 -6881 -964 -13062 -12094 -6946 -6880 -13061 -12093 -6945 -6879 -13065 -12097 -6949 -6883 -13055 -12087 -6939 -6807 -6719 -6697 -6631 -6609 -6565 -6543 -13060 -12092 -6944 -6878 -13336 -12368 -10960 -10608 -10410 -10190 -9398 -9090 -8760 -7638 -13068 -12100 -6952 -6886 -13066 -12098 -6950 -6884 -13058 -12090 -6942 -6876 -959 9399 1238 1282 -447 -365 -13492 -12524 -11226 -11094 -10940 -10566 -10346 -10104 -9246 -7794 -6936 -13064 -12096 -6948 -6882 -234 -418 -13059 -12091 -6943 -6877 1237 -13337 -952 10808 8762 10192 9092 7640 13338 10412 -12415 1283 7684 12414 10984 10236 9136 10456 8806 446 303 -433 -251 -248 -12370 10191 12369 -951 7639 9091 8761 -13052 -12084 -6804 -6738 -6716 -6694 -6628 -6606 -6540 -240 427 334 -12416 10237 11183 10985 7685 9137 -13051 -6957 -6737 -6715 -6649 -6627 -6605 -6539 6648 13050 1192 -245 1193 388 1104 -13291 -12325 10146 -1412 9046 6736 8716 7594 -13292 -12326 -12328 10147 -1413 9047 7595 8717 -7815 10411 9355 9950 -12237 9332 8958 7506 -1214 12236 8628 9354 -13512 -10784 -10366 -9574 -9266 -8936 -7814 -6956 -434 -13513 -12545 -10961 -10367 -9575 -9267 -8937 1150 -13314 -10388 -10168 -9068 -8738 -7616 -6758 13313 -371 -12283 7552 -12285 9004 9884 9972 8674 1151 1153 1152 12282 9906 9994 -12284 -12286 9885 9973 9005 7553 9995 10061 7951 9887 -13251 9974 9886 9996 7554 -1065 -13165 -12197 -8897 -8875 -8809 -8787 -8699 -8677 -8611 -7863 -7467 1063 -13162 -12196 8609 8697 7465 -1393 8873 8675 8807 8785 -13493 -12525 -11491 -11227 -11095 -10567 -10347 -10105 -9247 -8191 -7795 339 1064 -13163 -1394 8698 7466 13164 8786 8808 8676 -13494 -12526 -11536 -11492 -11228 -11096 -10568 -10348 -10106 -9248 -8192 -7796 11229 11097 -416 10349 -1398 10107 9249 999 7797 1285 1395 1263 308 -13498 -12530 -11540 -11430 1087 -13098 7577 7555 7687 7423 13099 -13384 9997 10239 8083 13385 -1405 -1402 -1408 -1401 -1404 13495 12527 -1403 8193 -1400 -1407 -1399 -1406 -13362 13363 10217 8061 9975 10987 7665 -13186 1086 9117 9139 9029 9007 7885 13187 7489 -13505 -12537 -11547 -11437 -13502 -12534 -11544 -11434 -13508 -12540 -11550 -11506 -11440 -13501 -12533 -11433 -13504 -12536 -11502 -11436 -13503 -12535 -11545 -11435 -13500 -12532 -11542 -11432 -13507 -12539 -11549 -11505 -11439 -13499 -12531 -11431 -13506 -12538 -11504 -11438 -13185 -12219 9028 8610 9006 9138 9116 7488 -455 -1411 -13511 -10783 -10365 -9265 -8935 -7813 -6955 13510 -291 1196 -13295 1195 -1020 10150 -7950 13296 9050 10458 10436 7598 8720 9908 -7422 -13294 -1019 10149 10523 9907 10457 9049 7597 10435 8719 -12152 -8170 -8148 -8082 -8060 -7972 -7884 -7862 12153 -13119 -12151 -8147 -8081 -8059 -7971 -7949 -7883 -7861 -7421 414 12504 -293 13449 1372 -1350 -12505 9226 10326 -1364 11206 -1381 -1360 -1363 8896 10084 11074 -1380 -1376 10546 -1351 -1362 -1386 -1378 -1383 -1385 7774 -13450 -11184 -11052 -10524 -10304 -10062 -9204 -8874 -7752 -13464 -12496 -11396 -13481 -12513 -11413 -13460 -12492 -11392 -13463 -12495 -11395 340 -13480 -12512 -11412 -13476 -12508 -11408 415 -13451 -12483 -11493 -11185 -11053 -10305 -10063 -9205 -8149 -7753 -453 -13462 -12494 -11394 -13486 -12518 -11418 -13478 -12510 -11410 -13483 -12515 -11415 -13485 -12517 -11417 13564 -458 -306 -454 -1332 -1134 13565 460 307 -13432 -1333 -1342 13431 -1341 -1335 -1334 -1336 -1337 -1338 -1340 -1339 -13234 -1136 -1135 -1142 -1139 -1137 -1144 -1143 13233 -1138 -1140 -1141 13566 11537 8171 -13433 -13442 -12474 -9790 -13441 -9789 -13435 -12467 -9783 13567 -13434 -12466 -13436 -12468 -9784 13568 -13437 -12469 -9785 13569 -13438 -12470 -9786 13570 -13440 -12472 -9788 -13439 -9787 13571 -13236 -12268 -13235 -12267 -13242 -12274 13572 -13239 -12271 -13237 -12269 -13244 -12276 13574 -13243 -12275 13573 -13238 -12270 -13240 -12272 -13241 -12273 1373 -13472 13473 10327 11075 10085 7775 11207 9227 7593 1191 -12324 10145 6735 12323 9045 10387 8715 408  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-3290774-1303789215/watcher-3290774-1303789215 -o /tmp/evaluation-result-3290774-1303789215/solver-3290774-1303789215 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3290774-1303789215.cnf 

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 3.99 4.15 3.64 6/213 21410
/proc/meminfo: memFree=13849128/32951124 swapFree=67111528/67111528
[pid=21410] ppid=21408 vsize=102536 CPUtime=0 cores=4,6
/proc/21410/stat : 21410 (mono) R 21408 21410 20968 0 -1 4202496 799 0 0 0 0 0 0 0 24 0 8 0 471337313 104996864 707 33554432000 4194304 7232020 140733736503168 18446744073709551615 5666888 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/21410/statm: 25634 721 557 742 0 18205 0
[pid=21410/tid=21411] ppid=21408 vsize=102536 CPUtime=0 cores=4,6
/proc/21410/task/21411/stat : 21411 (mono) S 21408 21410 20968 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 8 0 471337314 104996864 731 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21412] ppid=21408 vsize=102604 CPUtime=0 cores=4,6
/proc/21410/task/21412/stat : 21412 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 8 0 471337314 105066496 740 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21413] ppid=21408 vsize=102604 CPUtime=0 cores=4,6
/proc/21410/task/21413/stat : 21413 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 8 0 471337314 105066496 748 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21414] ppid=21408 vsize=102604 CPUtime=0 cores=4,6
/proc/21410/task/21414/stat : 21414 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 8 0 471337314 105066496 757 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21415] ppid=21408 vsize=102604 CPUtime=0 cores=4,6
/proc/21410/task/21415/stat : 21415 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 8 0 471337314 105066496 757 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21416] ppid=21408 vsize=102604 CPUtime=0 cores=4,6
/proc/21410/task/21416/stat : 21416 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 8 0 471337314 105066496 758 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21417] ppid=21408 vsize=102604 CPUtime=0 cores=4,6
/proc/21410/task/21417/stat : 21417 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 8 0 471337314 105066496 759 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0

[startup+0.00775909 s]
/proc/loadavg: 3.99 4.15 3.64 6/213 21410
/proc/meminfo: memFree=13849128/32951124 swapFree=67111528/67111528
[pid=21410] ppid=21408 vsize=102604 CPUtime=0 cores=4,6
/proc/21410/stat : 21410 (mono) R 21408 21410 20968 0 -1 4202496 919 0 0 0 0 0 0 0 24 0 8 0 471337313 105066496 827 33554432000 4194304 7232020 140733736503168 18446744073709551615 5602999 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/21410/statm: 25651 828 638 742 0 18222 0
[pid=21410/tid=21411] ppid=21408 vsize=102604 CPUtime=0 cores=4,6
/proc/21410/task/21411/stat : 21411 (mono) S 21408 21410 20968 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 8 0 471337314 105066496 828 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21412] ppid=21408 vsize=102604 CPUtime=0 cores=4,6
/proc/21410/task/21412/stat : 21412 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 8 0 471337314 105066496 828 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21413] ppid=21408 vsize=102604 CPUtime=0 cores=4,6
/proc/21410/task/21413/stat : 21413 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 8 0 471337314 105066496 828 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21414] ppid=21408 vsize=102604 CPUtime=0 cores=4,6
/proc/21410/task/21414/stat : 21414 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 8 0 471337314 105066496 828 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21415] ppid=21408 vsize=102604 CPUtime=0 cores=4,6
/proc/21410/task/21415/stat : 21415 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 8 0 471337314 105066496 828 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21416] ppid=21408 vsize=102604 CPUtime=0 cores=4,6
/proc/21410/task/21416/stat : 21416 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 8 0 471337314 105066496 828 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21417] ppid=21408 vsize=102604 CPUtime=0 cores=4,6
/proc/21410/task/21417/stat : 21417 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 8 0 471337314 105066496 828 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 102604

[startup+0.100777 s]
/proc/loadavg: 3.99 4.15 3.64 6/213 21410
/proc/meminfo: memFree=13849128/32951124 swapFree=67111528/67111528
[pid=21410] ppid=21408 vsize=124736 CPUtime=0.09 cores=4,6
/proc/21410/stat : 21410 (mono) R 21408 21410 20968 0 -1 4202496 5803 0 0 0 9 0 0 0 25 0 9 0 471337313 127729664 5705 33554432000 4194304 7232020 140733736503168 18446744073709551615 1074201119 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/21410/statm: 31184 5705 976 742 0 23755 0
[pid=21410/tid=21411] ppid=21408 vsize=124736 CPUtime=0.01 cores=4,6
/proc/21410/task/21411/stat : 21411 (mono) S 21408 21410 20968 0 -1 4202560 4 0 0 0 1 0 0 0 24 0 9 0 471337314 127729664 5705 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21412] ppid=21408 vsize=124736 CPUtime=0 cores=4,6
/proc/21410/task/21412/stat : 21412 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 471337314 127729664 5705 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21413] ppid=21408 vsize=124736 CPUtime=0 cores=4,6
/proc/21410/task/21413/stat : 21413 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 471337314 127729664 5705 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21414] ppid=21408 vsize=124736 CPUtime=0 cores=4,6
/proc/21410/task/21414/stat : 21414 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 471337314 127729664 5705 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21415] ppid=21408 vsize=124736 CPUtime=0 cores=4,6
/proc/21410/task/21415/stat : 21415 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 471337314 127729664 5705 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21416] ppid=21408 vsize=124736 CPUtime=0 cores=4,6
/proc/21410/task/21416/stat : 21416 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 471337314 127729664 5705 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21417] ppid=21408 vsize=124736 CPUtime=0 cores=4,6
/proc/21410/task/21417/stat : 21417 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 471337314 127729664 5705 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 124736

[startup+0.300699 s]
/proc/loadavg: 3.99 4.15 3.64 6/213 21410
/proc/meminfo: memFree=13849128/32951124 swapFree=67111528/67111528
[pid=21410] ppid=21408 vsize=131064 CPUtime=0.29 cores=4,6
/proc/21410/stat : 21410 (mono) R 21408 21410 20968 0 -1 4202496 6685 0 0 0 28 1 0 0 25 0 9 0 471337313 134209536 6587 33554432000 4194304 7232020 140733736503168 18446744073709551615 6182289 0 0 4096 545260780 18446744073709551615 0 0 17 6 0 0 0
/proc/21410/statm: 32766 6587 976 742 0 25337 0
[pid=21410/tid=21411] ppid=21408 vsize=131064 CPUtime=0.01 cores=4,6
/proc/21410/task/21411/stat : 21411 (mono) S 21408 21410 20968 0 -1 4202560 4 0 0 0 1 0 0 0 22 0 9 0 471337314 134209536 6587 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21412] ppid=21408 vsize=131064 CPUtime=0.02 cores=4,6
/proc/21410/task/21412/stat : 21412 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 2 0 0 0 22 0 9 0 471337314 134209536 6587 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21413] ppid=21408 vsize=131064 CPUtime=0 cores=4,6
/proc/21410/task/21413/stat : 21413 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 471337314 134209536 6587 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21414] ppid=21408 vsize=131064 CPUtime=0 cores=4,6
/proc/21410/task/21414/stat : 21414 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 471337314 134209536 6587 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21415] ppid=21408 vsize=131064 CPUtime=0 cores=4,6
/proc/21410/task/21415/stat : 21415 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 471337314 134209536 6587 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21416] ppid=21408 vsize=131064 CPUtime=0.01 cores=4,6
/proc/21410/task/21416/stat : 21416 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 1 0 0 0 18 0 9 0 471337314 134209536 6587 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21417] ppid=21408 vsize=131064 CPUtime=0 cores=4,6
/proc/21410/task/21417/stat : 21417 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 471337314 134209536 6587 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 131064

[startup+0.700657 s]
/proc/loadavg: 3.99 4.15 3.64 6/213 21410
/proc/meminfo: memFree=13849128/32951124 swapFree=67111528/67111528
[pid=21410] ppid=21408 vsize=139448 CPUtime=0.72 cores=4,6
/proc/21410/stat : 21410 (mono) R 21408 21410 20968 0 -1 4202496 8426 0 0 0 71 1 0 0 18 0 9 0 471337313 142794752 8328 33554432000 4194304 7232020 140733736503168 18446744073709551615 1074201480 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/21410/statm: 34862 8328 976 742 0 27433 0
[pid=21410/tid=21411] ppid=21408 vsize=139448 CPUtime=0.02 cores=4,6
/proc/21410/task/21411/stat : 21411 (mono) S 21408 21410 20968 0 -1 4202560 4 0 0 0 2 0 0 0 16 0 9 0 471337314 142794752 8328 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21412] ppid=21408 vsize=139448 CPUtime=0.02 cores=4,6
/proc/21410/task/21412/stat : 21412 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 2 0 0 0 17 0 9 0 471337314 142794752 8328 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21413] ppid=21408 vsize=139448 CPUtime=0.01 cores=4,6
/proc/21410/task/21413/stat : 21413 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 471337314 142794752 8328 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21414] ppid=21408 vsize=139448 CPUtime=0 cores=4,6
/proc/21410/task/21414/stat : 21414 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 471337314 142794752 8328 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21415] ppid=21408 vsize=139448 CPUtime=0 cores=4,6
/proc/21410/task/21415/stat : 21415 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 471337314 142794752 8328 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21416] ppid=21408 vsize=139448 CPUtime=0.03 cores=4,6
/proc/21410/task/21416/stat : 21416 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 471337314 142794752 8328 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21417] ppid=21408 vsize=139448 CPUtime=0 cores=4,6
/proc/21410/task/21417/stat : 21417 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 471337314 142794752 8328 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 139448

[startup+1.50051 s]
/proc/loadavg: 3.99 4.14 3.65 6/222 21419
/proc/meminfo: memFree=13808764/32951124 swapFree=67111528/67111528
[pid=21410] ppid=21408 vsize=156408 CPUtime=1.61 cores=4,6
/proc/21410/stat : 21410 (mono) R 21408 21410 20968 0 -1 4202496 13330 0 0 0 159 2 0 0 18 0 9 0 471337313 160161792 13232 33554432000 4194304 7232020 140733736503168 18446744073709551615 1074177518 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/21410/statm: 39102 13232 976 742 0 31673 0
[pid=21410/tid=21411] ppid=21408 vsize=156408 CPUtime=0.05 cores=4,6
/proc/21410/task/21411/stat : 21411 (mono) S 21408 21410 20968 0 -1 4202560 4 0 0 0 5 0 0 0 15 0 9 0 471337314 160161792 13232 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21412] ppid=21408 vsize=156408 CPUtime=0.03 cores=4,6
/proc/21410/task/21412/stat : 21412 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 471337314 160161792 13232 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21413] ppid=21408 vsize=156408 CPUtime=0.04 cores=4,6
/proc/21410/task/21413/stat : 21413 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 471337314 160161792 13232 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21414] ppid=21408 vsize=156408 CPUtime=0.04 cores=4,6
/proc/21410/task/21414/stat : 21414 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 471337314 160161792 13232 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21415] ppid=21408 vsize=156408 CPUtime=0.02 cores=4,6
/proc/21410/task/21415/stat : 21415 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 471337314 160161792 13232 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21416] ppid=21408 vsize=156408 CPUtime=0.05 cores=4,6
/proc/21410/task/21416/stat : 21416 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 471337314 160161792 13232 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21417] ppid=21408 vsize=156408 CPUtime=0.03 cores=4,6
/proc/21410/task/21417/stat : 21417 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 471337314 160161792 13232 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21419] ppid=21408 vsize=156408 CPUtime=0 cores=4,6
/proc/21410/task/21419/stat : 21419 (mono) S 21408 21410 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471337314 160161792 13232 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350207409 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 156408

[startup+3.10118 s]
/proc/loadavg: 3.99 4.14 3.65 12/222 21419
/proc/meminfo: memFree=13783236/32951124 swapFree=67111528/67111528
[pid=21410] ppid=21408 vsize=190136 CPUtime=3.4 cores=4,6
/proc/21410/stat : 21410 (mono) R 21408 21410 20968 0 -1 4202496 21225 0 0 0 336 4 0 0 17 0 9 0 471337313 194699264 21127 33554432000 4194304 7232020 140733736503168 18446744073709551615 1074177388 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/21410/statm: 47534 21127 976 742 0 40105 0
[pid=21410/tid=21411] ppid=21408 vsize=190136 CPUtime=0.11 cores=4,6
/proc/21410/task/21411/stat : 21411 (mono) S 21408 21410 20968 0 -1 4202560 4 0 0 0 11 0 0 0 16 0 9 0 471337314 194699264 21127 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21412] ppid=21408 vsize=190136 CPUtime=0.09 cores=4,6
/proc/21410/task/21412/stat : 21412 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 471337314 194699264 21127 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21413] ppid=21408 vsize=190136 CPUtime=0.09 cores=4,6
/proc/21410/task/21413/stat : 21413 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 9 0 0 0 16 0 9 0 471337314 194699264 21127 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21414] ppid=21408 vsize=190136 CPUtime=0.08 cores=4,6
/proc/21410/task/21414/stat : 21414 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 471337314 194699264 21127 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21415] ppid=21408 vsize=190136 CPUtime=0.07 cores=4,6
/proc/21410/task/21415/stat : 21415 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 7 0 0 0 15 0 9 0 471337314 194699264 21127 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21416] ppid=21408 vsize=190136 CPUtime=0.1 cores=4,6
/proc/21410/task/21416/stat : 21416 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 471337314 194699264 21127 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21417] ppid=21408 vsize=190136 CPUtime=0.08 cores=4,6
/proc/21410/task/21417/stat : 21417 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 8 0 0 0 16 0 9 0 471337314 194699264 21127 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21419] ppid=21408 vsize=190136 CPUtime=0 cores=4,6
/proc/21410/task/21419/stat : 21419 (mono) S 21408 21410 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471337314 194699264 21127 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350207409 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 190136

[startup+6.30057 s]
/proc/loadavg: 3.99 4.14 3.65 6/222 21420
/proc/meminfo: memFree=13712020/32951124 swapFree=67111528/67111528
[pid=21410] ppid=21408 vsize=249144 CPUtime=7 cores=4,6
/proc/21410/stat : 21410 (mono) R 21408 21410 20968 0 -1 4202496 36104 0 0 0 692 8 0 0 18 0 9 0 471337313 255123456 36006 33554432000 4194304 7232020 140733736503168 18446744073709551615 1074192736 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/21410/statm: 62286 36006 976 742 0 54857 0
[pid=21410/tid=21411] ppid=21408 vsize=249144 CPUtime=0.23 cores=4,6
/proc/21410/task/21411/stat : 21411 (mono) S 21408 21410 20968 0 -1 4202560 4 0 0 0 23 0 0 0 15 0 9 0 471337314 255123456 36006 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21412] ppid=21408 vsize=249144 CPUtime=0.2 cores=4,6
/proc/21410/task/21412/stat : 21412 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 20 0 0 0 16 0 9 0 471337314 255123456 36006 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21413] ppid=21408 vsize=249144 CPUtime=0.19 cores=4,6
/proc/21410/task/21413/stat : 21413 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 19 0 0 0 15 0 9 0 471337314 255123456 36006 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21414] ppid=21408 vsize=249144 CPUtime=0.17 cores=4,6
/proc/21410/task/21414/stat : 21414 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 471337314 255123456 36006 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21415] ppid=21408 vsize=249144 CPUtime=0.17 cores=4,6
/proc/21410/task/21415/stat : 21415 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 471337314 255123456 36006 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0

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

/proc/21410/task/21415/stat : 21415 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 145 0 0 0 15 0 9 0 471337314 1397977088 260504 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21416] ppid=21408 vsize=1365212 CPUtime=1.24 cores=4,6
/proc/21410/task/21416/stat : 21416 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 124 0 0 0 15 0 9 0 471337314 1397977088 260504 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21417] ppid=21408 vsize=1365212 CPUtime=1.83 cores=4,6
/proc/21410/task/21417/stat : 21417 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 183 0 0 0 16 0 9 0 471337314 1397977088 260504 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21419] ppid=21408 vsize=1365212 CPUtime=0 cores=4,6
/proc/21410/task/21419/stat : 21419 (mono) S 21408 21410 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471337314 1397977088 260504 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350207409 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 289.04
Current children cumulated vsize (KiB) 1365212

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

[startup+307.101 s]
/proc/loadavg: 4.21 4.17 3.78 5/222 21498
/proc/meminfo: memFree=12766064/32951124 swapFree=67111528/67111528
[pid=21410] ppid=21408 vsize=1365212 CPUtime=314.29 cores=4,6
/proc/21410/stat : 21410 (mono) R 21408 21410 20968 0 -1 4202496 341990 0 0 0 31387 42 0 0 25 0 9 0 471337313 1397977088 261632 33554432000 4194304 7232020 140733736503168 18446744073709551615 1081999781 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/21410/statm: 341303 261632 1036 742 0 333874 0
[pid=21410/tid=21411] ppid=21408 vsize=1365212 CPUtime=2.05 cores=4,6
/proc/21410/task/21411/stat : 21411 (mono) S 21408 21410 20968 0 -1 4202560 4 0 0 0 205 0 0 0 16 0 9 0 471337314 1397977088 261632 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21412] ppid=21408 vsize=1365212 CPUtime=1.77 cores=4,6
/proc/21410/task/21412/stat : 21412 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 177 0 0 0 15 0 9 0 471337314 1397977088 261632 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21413] ppid=21408 vsize=1365212 CPUtime=1.91 cores=4,6
/proc/21410/task/21413/stat : 21413 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 191 0 0 0 16 0 9 0 471337314 1397977088 261632 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21414] ppid=21408 vsize=1365212 CPUtime=1.99 cores=4,6
/proc/21410/task/21414/stat : 21414 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 199 0 0 0 16 0 9 0 471337314 1397977088 261632 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21415] ppid=21408 vsize=1365212 CPUtime=1.62 cores=4,6
/proc/21410/task/21415/stat : 21415 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 162 0 0 0 15 0 9 0 471337314 1397977088 261632 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21416] ppid=21408 vsize=1365212 CPUtime=1.27 cores=4,6
/proc/21410/task/21416/stat : 21416 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 127 0 0 0 15 0 9 0 471337314 1397977088 261632 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21417] ppid=21408 vsize=1365212 CPUtime=1.91 cores=4,6
/proc/21410/task/21417/stat : 21417 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 191 0 0 0 15 0 9 0 471337314 1397977088 261632 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21419] ppid=21408 vsize=1365212 CPUtime=0 cores=4,6
/proc/21410/task/21419/stat : 21419 (mono) S 21408 21410 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471337314 1397977088 261632 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350207409 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 314.29
Current children cumulated vsize (KiB) 1365212

[startup+313.507 s]
/proc/loadavg: 4.19 4.16 3.78 5/222 21498
/proc/meminfo: memFree=12751804/32951124 swapFree=67111528/67111528
[pid=21410] ppid=21408 vsize=1365212 CPUtime=320.79 cores=4,6
/proc/21410/stat : 21410 (mono) R 21408 21410 20968 0 -1 4202496 343089 0 0 0 32037 42 0 0 25 0 9 0 471337313 1397977088 262731 33554432000 4194304 7232020 140733736503168 18446744073709551615 1082003642 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/21410/statm: 341303 262731 1036 742 0 333874 0
[pid=21410/tid=21411] ppid=21408 vsize=1365212 CPUtime=2.05 cores=4,6
/proc/21410/task/21411/stat : 21411 (mono) S 21408 21410 20968 0 -1 4202560 4 0 0 0 205 0 0 0 16 0 9 0 471337314 1397977088 262731 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21412] ppid=21408 vsize=1365212 CPUtime=1.81 cores=4,6
/proc/21410/task/21412/stat : 21412 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 181 0 0 0 16 0 9 0 471337314 1397977088 262731 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21413] ppid=21408 vsize=1365212 CPUtime=1.91 cores=4,6
/proc/21410/task/21413/stat : 21413 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 191 0 0 0 15 0 9 0 471337314 1397977088 262731 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21414] ppid=21408 vsize=1365212 CPUtime=1.99 cores=4,6
/proc/21410/task/21414/stat : 21414 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 199 0 0 0 16 0 9 0 471337314 1397977088 262731 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21415] ppid=21408 vsize=1365212 CPUtime=1.62 cores=4,6
/proc/21410/task/21415/stat : 21415 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 162 0 0 0 15 0 9 0 471337314 1397977088 262731 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21416] ppid=21408 vsize=1365212 CPUtime=1.27 cores=4,6
/proc/21410/task/21416/stat : 21416 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 127 0 0 0 15 0 9 0 471337314 1397977088 262731 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21417] ppid=21408 vsize=1365212 CPUtime=2 cores=4,6
/proc/21410/task/21417/stat : 21417 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 200 0 0 0 16 0 9 0 471337314 1397977088 262731 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21419] ppid=21408 vsize=1365212 CPUtime=0 cores=4,6
/proc/21410/task/21419/stat : 21419 (mono) S 21408 21410 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471337314 1397977088 262731 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350207409 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 320.79
Current children cumulated vsize (KiB) 1365212

[startup+319.901 s]
/proc/loadavg: 4.18 4.16 3.79 5/222 21498
/proc/meminfo: memFree=12709768/32951124 swapFree=67111528/67111528
[pid=21410] ppid=21408 vsize=1365212 CPUtime=327.27 cores=4,6
/proc/21410/stat : 21410 (mono) R 21408 21410 20968 0 -1 4202496 347959 0 0 0 32685 42 0 0 25 0 9 0 471337313 1397977088 267601 33554432000 4194304 7232020 140733736503168 18446744073709551615 1082003560 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/21410/statm: 341303 267601 1036 742 0 333874 0
[pid=21410/tid=21411] ppid=21408 vsize=1365212 CPUtime=2.06 cores=4,6
/proc/21410/task/21411/stat : 21411 (mono) S 21408 21410 20968 0 -1 4202560 4 0 0 0 206 0 0 0 15 0 9 0 471337314 1397977088 267601 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21412] ppid=21408 vsize=1365212 CPUtime=1.81 cores=4,6
/proc/21410/task/21412/stat : 21412 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 181 0 0 0 15 0 9 0 471337314 1397977088 267601 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21413] ppid=21408 vsize=1365212 CPUtime=1.94 cores=4,6
/proc/21410/task/21413/stat : 21413 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 194 0 0 0 16 0 9 0 471337314 1397977088 267601 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21414] ppid=21408 vsize=1365212 CPUtime=1.99 cores=4,6
/proc/21410/task/21414/stat : 21414 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 199 0 0 0 16 0 9 0 471337314 1397977088 267601 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21415] ppid=21408 vsize=1365212 CPUtime=1.7 cores=4,6
/proc/21410/task/21415/stat : 21415 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 170 0 0 0 16 0 9 0 471337314 1397977088 267601 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21416] ppid=21408 vsize=1365212 CPUtime=1.27 cores=4,6
/proc/21410/task/21416/stat : 21416 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 127 0 0 0 15 0 9 0 471337314 1397977088 267601 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21417] ppid=21408 vsize=1365212 CPUtime=2 cores=4,6
/proc/21410/task/21417/stat : 21417 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 200 0 0 0 15 0 9 0 471337314 1397977088 267601 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21419] ppid=21408 vsize=1365212 CPUtime=0 cores=4,6
/proc/21410/task/21419/stat : 21419 (mono) S 21408 21410 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471337314 1397977088 267601 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350207409 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 327.27
Current children cumulated vsize (KiB) 1365212

[startup+321.501 s]
/proc/loadavg: 4.16 4.16 3.79 5/222 21498
/proc/meminfo: memFree=12704312/32951124 swapFree=67111528/67111528
[pid=21410] ppid=21408 vsize=1365212 CPUtime=328.87 cores=4,6
/proc/21410/stat : 21410 (mono) R 21408 21410 20968 0 -1 4202496 347975 0 0 0 32845 42 0 0 25 0 9 0 471337313 1397977088 267617 33554432000 4194304 7232020 140733736503168 18446744073709551615 1081999781 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/21410/statm: 341303 267617 1036 742 0 333874 0
[pid=21410/tid=21411] ppid=21408 vsize=1365212 CPUtime=2.06 cores=4,6
/proc/21410/task/21411/stat : 21411 (mono) S 21408 21410 20968 0 -1 4202560 4 0 0 0 206 0 0 0 15 0 9 0 471337314 1397977088 267617 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21412] ppid=21408 vsize=1365212 CPUtime=1.81 cores=4,6
/proc/21410/task/21412/stat : 21412 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 181 0 0 0 15 0 9 0 471337314 1397977088 267617 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21413] ppid=21408 vsize=1365212 CPUtime=1.94 cores=4,6
/proc/21410/task/21413/stat : 21413 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 194 0 0 0 16 0 9 0 471337314 1397977088 267617 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21414] ppid=21408 vsize=1365212 CPUtime=1.99 cores=4,6
/proc/21410/task/21414/stat : 21414 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 199 0 0 0 16 0 9 0 471337314 1397977088 267617 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21415] ppid=21408 vsize=1365212 CPUtime=1.7 cores=4,6
/proc/21410/task/21415/stat : 21415 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 170 0 0 0 16 0 9 0 471337314 1397977088 267617 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21416] ppid=21408 vsize=1365212 CPUtime=1.27 cores=4,6
/proc/21410/task/21416/stat : 21416 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 127 0 0 0 15 0 9 0 471337314 1397977088 267617 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21417] ppid=21408 vsize=1365212 CPUtime=2 cores=4,6
/proc/21410/task/21417/stat : 21417 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 200 0 0 0 15 0 9 0 471337314 1397977088 267617 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21419] ppid=21408 vsize=1365212 CPUtime=0 cores=4,6
/proc/21410/task/21419/stat : 21419 (mono) S 21408 21410 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471337314 1397977088 267617 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350207409 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 328.87
Current children cumulated vsize (KiB) 1365212

[startup+322.307 s]
/proc/loadavg: 4.16 4.16 3.79 5/222 21498
/proc/meminfo: memFree=12704188/32951124 swapFree=67111528/67111528
[pid=21410] ppid=21408 vsize=1365212 CPUtime=329.77 cores=4,6
/proc/21410/stat : 21410 (mono) R 21408 21410 20968 0 -1 4202496 347975 0 0 0 32935 42 0 0 25 0 9 0 471337313 1397977088 267617 33554432000 4194304 7232020 140733736503168 18446744073709551615 1081999679 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/21410/statm: 341303 267617 1036 742 0 333874 0
[pid=21410/tid=21411] ppid=21408 vsize=1365212 CPUtime=2.12 cores=4,6
/proc/21410/task/21411/stat : 21411 (mono) S 21408 21410 20968 0 -1 4202560 4 0 0 0 212 0 0 0 16 0 9 0 471337314 1397977088 267617 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21412] ppid=21408 vsize=1365212 CPUtime=1.81 cores=4,6
/proc/21410/task/21412/stat : 21412 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 181 0 0 0 15 0 9 0 471337314 1397977088 267617 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21413] ppid=21408 vsize=1365212 CPUtime=1.95 cores=4,6
/proc/21410/task/21413/stat : 21413 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 195 0 0 0 16 0 9 0 471337314 1397977088 267617 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21414] ppid=21408 vsize=1365212 CPUtime=1.99 cores=4,6
/proc/21410/task/21414/stat : 21414 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 199 0 0 0 15 0 9 0 471337314 1397977088 267617 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21415] ppid=21408 vsize=1365212 CPUtime=1.7 cores=4,6
/proc/21410/task/21415/stat : 21415 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 170 0 0 0 16 0 9 0 471337314 1397977088 267617 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21416] ppid=21408 vsize=1365212 CPUtime=1.3 cores=4,6
/proc/21410/task/21416/stat : 21416 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 130 0 0 0 16 0 9 0 471337314 1397977088 267617 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21417] ppid=21408 vsize=1365212 CPUtime=2.09 cores=4,6
/proc/21410/task/21417/stat : 21417 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 209 0 0 0 16 0 9 0 471337314 1397977088 267617 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21419] ppid=21408 vsize=1365212 CPUtime=0 cores=4,6
/proc/21410/task/21419/stat : 21419 (mono) S 21408 21410 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471337314 1397977088 267617 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350207409 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 329.77
Current children cumulated vsize (KiB) 1365212

[startup+323.101 s]
/proc/loadavg: 4.16 4.16 3.79 5/222 21498
/proc/meminfo: memFree=12704188/32951124 swapFree=67111528/67111528
[pid=21410] ppid=21408 vsize=1365212 CPUtime=330.56 cores=4,6
/proc/21410/stat : 21410 (mono) R 21408 21410 20968 0 -1 4202496 347990 0 0 0 33014 42 0 0 25 0 9 0 471337313 1397977088 267632 33554432000 4194304 7232020 140733736503168 18446744073709551615 1082000132 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/21410/statm: 341303 267632 1036 742 0 333874 0
[pid=21410/tid=21411] ppid=21408 vsize=1365212 CPUtime=2.12 cores=4,6
/proc/21410/task/21411/stat : 21411 (mono) S 21408 21410 20968 0 -1 4202560 4 0 0 0 212 0 0 0 16 0 9 0 471337314 1397977088 267632 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21412] ppid=21408 vsize=1365212 CPUtime=1.81 cores=4,6
/proc/21410/task/21412/stat : 21412 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 181 0 0 0 15 0 9 0 471337314 1397977088 267632 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21413] ppid=21408 vsize=1365212 CPUtime=1.95 cores=4,6
/proc/21410/task/21413/stat : 21413 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 195 0 0 0 16 0 9 0 471337314 1397977088 267632 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21414] ppid=21408 vsize=1365212 CPUtime=1.99 cores=4,6
/proc/21410/task/21414/stat : 21414 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 199 0 0 0 15 0 9 0 471337314 1397977088 267632 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21415] ppid=21408 vsize=1365212 CPUtime=1.7 cores=4,6
/proc/21410/task/21415/stat : 21415 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 170 0 0 0 16 0 9 0 471337314 1397977088 267632 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21416] ppid=21408 vsize=1365212 CPUtime=1.3 cores=4,6
/proc/21410/task/21416/stat : 21416 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 130 0 0 0 16 0 9 0 471337314 1397977088 267632 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 6 0 0 0
[pid=21410/tid=21417] ppid=21408 vsize=1365212 CPUtime=2.09 cores=4,6
/proc/21410/task/21417/stat : 21417 (mono) S 21408 21410 20968 0 -1 4202560 2 0 0 0 209 0 0 0 16 0 9 0 471337314 1397977088 267632 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350199705 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
[pid=21410/tid=21419] ppid=21408 vsize=1365212 CPUtime=0 cores=4,6
/proc/21410/task/21419/stat : 21419 (mono) S 21408 21410 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471337314 1397977088 267632 33554432000 4194304 7232020 140733736503168 18446744073709551615 270350207409 0 0 4096 545260780 18446604453946914816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 330.56
Current children cumulated vsize (KiB) 1365212

[startup+323.305 s]
/proc/loadavg: 4.16 4.16 3.79 5/214 21498
/proc/meminfo: memFree=13736828/32951124 swapFree=67111528/67111528
[pid=21410] ppid=21408 vsize=0 CPUtime=330.77 cores=4,6
/proc/21410/stat : 21410 (mono) Z 21408 21410 20968 0 -1 4202524 348272 0 0 0 33030 47 0 0 18 0 1 0 471337313 0 0 33554432000 0 0 0 0 0 0 0 4096 545259520 18446744073709551615 0 0 17 4 0 0 0
/proc/21410/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 330.77
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 323.311
CPU time (s): 330.78
CPU user time (s): 330.303
CPU system time (s): 0.476927
CPU usage (%): 102.31
Max. virtual memory (cumulated for all children) (KiB): 1365212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 330.303
system time used= 0.476927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 348272
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= 9518
involuntary context switches= 2712

runsolver used 0.584911 second user time and 1.20882 second system time

The end

Launcher Data 

Begin job on node143 at 2011-04-26 05:40:17
IDJOB=3290774
IDBENCH=83447
IDSOLVER=1608
FILE ID=node143/3290774-1303789215
RUNJOBID= node143-1303787846-20987
PBS_JOBID= 13157255
Free space on /tmp= 72876 MiB

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

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

MD5SUM BENCH= 0b29cb9f2e17f3e05b66912497d8cb84
RANDOM SEED=995823031

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:      13849284 kB
Buffers:       2286916 kB
Cached:       15689716 kB
SwapCached:          0 kB
Active:        7270480 kB
Inactive:     11266440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13849284 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           70776 kB
Writeback:           0 kB
AnonPages:      559496 kB
Mapped:          18336 kB
Slab:           498084 kB
PageTables:       6612 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   989172 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= 72892 MiB
End job on node143 at 2011-04-26 05:45:40